Non elle a pas l'air d'être fausse.
La solution générale à l'équa diff,
X'(t)=[0 0 -3b;1 0 -(4b+3);0 1 -(b+4)]X(t)+[-a;(a-1);1]e(t)
c'est (en reprenant les notations):
X(t) = exp(At)(X0 + Integrale[t':0->t; exp(-At'B*e(t'])
Et d'après ce qu'on trouve sur le web, la gouvernabilité, c'est la possibilité de trouver une commande e(t) telle que X(0) = X0 et X(T)=XT pour tout T,X0,XT
C'est à dire:
Integrale[t':0->T; exp(-At'B*e(t'] = exp(-AT)XT - X0
Soit p, le plus petit entier telle que la famille {B,AB,A^2B,...,A^pB} soit liée. (p existe et vaut au moins n où n est la dimension - ici n=3)
Alors pour tout q>=p, A^qB est une combinaison linéaire des p vecteurs {B,AB,...,A^(p-1)}
En conséquence, quel que soit e(t), Integrale[t':0->T; exp(-At'B*e(t'] sera aussi une telle combinaison linéraire (par définition de l'exponentielle de matrice).
Le système ne sera donc gouvernable que si p=n, c'est à dire si la famille {B,AB,...,A^(p-1)} est libre.
Inversement si la famille est libre on peut montrer qu'on peut trouver la commande qui va bien.
Donc dans le cas présent il faut bien trouver pour quelles de valeurs de a et b, [B,AB,A^2B] est différent de 0.
Mais le déterminant a vraiment pas l'air cool pour ce pb.
Message édité par verdoux le 10-05-2003 à 19:20:59