Documente Academic
Documente Profesional
Documente Cultură
Septembre 2005
ii
Contents
iii
iv CONTENTS
Part I
Contrôlabilité en dimension
finie
1
Chapter 1
Contrôlabilité et
observabilité
où
T0 = température extérieure,
T1 = température dans la ”jacket” du four,
T2 = température de l’intérieur du four,
ai = les surfaces,
3
4 CHAPTER 1. CONTRÔLABILITÉ ET OBSERVABILITÉ
y1 = T1 − T0,
y2 = T2 − T0 .
Comme les coefficients ci sont non nuls, on peut définir les matrices A et B par:
a1 r1 +a2 r2 r1 a1 −1
− c c c1
A= 1
r1 a1
1
r1 a1 ,B = ,
c2 − c2 0
et le système s’écrit
y 0 (t) = A y(t) + B u(t).
1.2 Définitions
Définition 1.2.2 On dira que le système (1.1) est contrôlable au temps T > 0,
si pour tout a ∈ H et tout b ∈ H, il existe une fonction de contrôle u ∈
L2 (0, T ; U ) telle que:
y(T ; a, u) = b .
On dit aussi que la paire (A, B) est contrôlable au temps T > O.
y(t, u) = Lt u,
L2 (0, t; U ) → H
Lt : Rt (1.3)
u → 0 S(t, s) B (s)u(s) ds
Démonstration:
Soit a, b ∈ H deux états quelconques. L’équation en u :
y(T, a, u) = b (1.4)
H → L2 (0, T ; U )
L∗T : ,
x → L∗T x = v
où B ∗ (t) (resp. S ∗ (t, s) ) est la matrice adjointe de B(t) (resp. S(t, s)). Donc:
Démonstration:
Il suffit de remarquer que L∗T est injectif si et seulement si
B ∗ w = 0 dans (0, T )
1.3. LE GRAMIEN DE CONTRÔLABILITÉ 7
QT := LT L∗T
Z T
= S(T, s) B(s) B ∗ (s) S ∗ (T, s) ds , T >0 (1.7)
0
QT ∈ L(Rn ) et
Z T
2
hQT v , vi = |B ∗ (s) S ∗ (T, s) x|2 ds = kL∗T xk ≥ 0 , ∀x ∈ Rn .
0
On notera
Uad (a, b) = {u ∈ U, y(T, a, u) = b} .
Le théorème suivant établit l’existence d’un u ∈ Uad (a, b) qui minimise la fonc-
tionnelle J sur Uad (a, b).
vérifie
y(T, a, PT (a, b)) = b.
De plus,
Z T
2
kPT (a, b)(s)kU ds = min J(u)
0 u∈Uad (a,b)
2
−1
=
QT 2 (S(T, 0)a − b)
.
Preuve.
(i) Montrons que PT (a, b) ∈ Uad (a, b). Calculons y(T, a, PT (a, b)).
Q−1 −1
= T (S(T, 0)a − b), QT QT (S(T, 0)a − b)
= Q−1
T (S(T, 0)a − b)), S(T, 0)a − b)
2
−1
=
QT 2 (S(T, 0)a − b))
.
= − Q−1
T (S(T, 0)a − b)), LT u
Q−1
= T (S(T, 0)a − b)), S(T, 0)a − b
2
−1
= QT 2 (S(T, 0)a − b)
Z T
2
= kPT (a, b)(s)kU ds.
0
1.4. CONTRÔLABILITÉ ET INÉGALITÉ D’OBSERVABILITÉ 9
Donc
Z T Z T Z T
2 2 2
ku(s)kU ds = kPT (a, b)(s)kU ds + ku(s) − PT (a, b)(s)kU ds
0 0 0
Z T
2
≤ kPT (a, b)(s)kU ds.
0
où A(t) ∈ L(H), C(t) ∈ L(H, C) pour tout t ∈ (0, T ) est dit observable si pour
tout a ∈ H, a 6= 0, il existe t > 0 tel que
w(t) = Cz(t, a) 6= 0,
C(t)z(t, a) = 0, ∀t ∈ (0, T ) ⇒ a = 0.
S’il existe T > 0 tel que pour tout a ∈ H\ {0} , il existe t ∈ [0, T ] tel que
w(t) = Cz(t, a) 6= 0, alors le système est dit observable au temps T > 0. On dit
aussi que la paire (A, C) est observable au temps T > 0.
On définit la matrice d’observabilité par
Z T
RT = S ∗ (s, 0)C ∗ (s)C(s)S(s, 0)ds.
0
H → L2 ([0, T ]; C)
FT : .
a → Cz(., a)
Ceci revient à
Z T
2 2
|z(0| ≤ c kCz(t)kC dt, où z est solution de z 0 = A(t)z.
0
On introduit la fonctionnelle
rg[A |B ] = n. (1.9)
Démonstration: Pi=n−1
Une remarque préliminaire: Si p(λ) = det(λI − A) = λn − i=0 αi λi ,
d’après le théorème de Cayley-Hamilton, on a p(A) = 0. D’où
i=n−1
X
An = αi Ai ,
i=0
B ∗ v = 0 , [0, T ]
v 0 = A∗ v, [0, T ]
v(0) = x
x∗ .Ai B = 0 ∀i ∈ N.
On en déduit que
x∗ .etA B = 0 ∀t ∈ (0, T )
puis que le système (1.10) admet une solution non triviale avec la donnée
finale x(= x∗∗ ).
rg 1
a1 = 2 ⇔ r1 a1 6= 0
0 r1 c2 c1
CT : H → L2 ([0, T ]; U )
(1.11)
b 7−→ PT (0, b) = L∗T Q−1
T b
où k est l’exposant minimal tel que rg[B, AB, ..., Ak B] = n et γ une constante
réelle positive.
Lemme 1.5.6
2
kCT k =
Q−1
.
T
et on en déduit que
2
kCT k =
Q−1
.
T
Considérons la suite de sous-espaces vectoriels:
Ei Aj B = 0, ∀j < i ≤ k.
De plus
I = E0 + ... + Ek
H = Rn = ⊕j=kj=0 R(Ej ),
Sk = ⊕j=k
j=0 R(Ej ).
On pose alors
i=k
X
Γ = ΓT = i!T k−i Ei .
i=0
On a
Z 1
T −(2k+1) ΓQT Γ = [T −k ΓS(T s)B][T −k ΓS(T s)B]∗ ds.
0
1.5. SYSTÈMES LINÉAIRES CONSTANTS. 15
i=k X
X sj
= i!T j−i Ei Aj B,
i=0 j≥0
j!
j
Mais, en utilisant Ek A B = 0, ∀j < i ≤ k, on déduit
i=k X
X sj
T −k ΓS(T s)B = i!T j−i Ei Aj B.
i=0 j≥i
j!
i=k
X
≤ kBk (ekAk − 1) i!.
i=0
Donc,
T −k ΓS(T s)B = P (s) + O(T ).
D’où,
[T −k ΓS(T s)B][T −k ΓS(T s)B]∗ = [P (s) + T R1 (T, s)][P (s) + T R1 (T, s)]∗
= P (s)P ∗ (s) + T R2 (T, s),
où
R2 (T, s) = R1 (T, s)P (s)∗ + P (s)R1 (T, s)∗ + T R1 (T, s) R1 (T, s)∗ .
Cet opérateur est borné, donc
T −(2k+1) ΓQT Γ = W + O(T ),
R1
où O(T ) = T 0
R2 (T, s)ds = T R3 (T ) et
Z 1
W = P (s)P ∗ (s)ds
0
k
X 1
W = Ej Aj BB ∗ A∗i Ei∗ .
j,i=0
j+i
16 CHAPTER 1. CONTRÔLABILITÉ ET OBSERVABILITÉ
Preuve:
Pour x ∈ Rn , on a Ei x ∈ Si = Si−1 + R(Ai B). Donc
Ei x = Ai By + x0 , x0 ∈ Si−1 .
= 0,
(W + T R3 (T ))−1 = W −1 (I + T W −1 R3 (T ))−1
= W −1 + T R4 (T ).
où
≤ W −1 W −1 R3 (I + T W −1 R3 )−1
|R4 (T )|
−1
W R3
≤ W −1
(I − T |W −1 R3 |)
2
≤ c W −1 .
1.5. SYSTÈMES LINÉAIRES CONSTANTS. 17
D’où
T (2k+1) Γ−1 Q−1
T Γ
−1
= W −1 + T R4 (T ).
Donc
T (2k+1) Q−1
T = ΓW
−1
Γ + T R5 (T ),
où R5 (T ) est borné pour T suffisamment petit.
Donc
2
kCT k = T −(2k+1)
Γ0 W −1 Γ0
+ O(T ).
Mais
Ek W −1 Ek
= max{ x, Ek W −1 Ek x ; |x| = 1}
= max{ x, W −1 x ; Ek x = x}
−1
=
W|R(E
.
k)
−1
comme R(Ek ) 6= {0}, du fait de la minimalité de k,
W|R(E
=6 0. Posant
k)
−1
γ = Γ0 W Γ0 , on trouve (1.12).
det[A |B ] 6= 0.
det[A |B ] = b33 a213 a21 + a13 a22 a23 − a23 a11 a13 − a223 a12 .
On peut remarquer que cette dernière condition ne porte pas sur les coefficients
de la troisième ligne de la matrice A.
B0 = B
d
Bi = ABi−1 − Bi−1 , i ≥ 1.
dt
qui est définie tant que les matrices sont dérivables.
fn (t)
tout t ∈ [0, T ]. On considère le système différentiel
0
y = A(t)y + f (t), t ∈ (0, T )
(17)
y(t0 ) = y0 ∈ Rn , t0 ∈ [0, T ).
On a
Théorème .0.4 Supposons que aij , fk ∈ L1loc (0, t). Alors il existe une unique
fonction M ∈ AC([0, T ], L(Rn )) (3 ) telle que
dM
(
(t) = A(t)M (t) p. p. [0, T ]
dt
M (0) = I.
De plus,
1. Pour tout t ∈ [0, T ], M (t) est inversible.
2. L’unique solution (absolument) continue de (17) est donnée par la formule:
Z t
y(t) = M (t)M (t0 )−1 y0 + M (t)M (s)−1 f (s)ds, t ∈ [0, T ].
t0
21
22 ANNEXE: SYSTÈMES DIFFÉRENTIELS
Par définition de S, on a:
S(t, t) = I ∀ t ∈ [0, T ]
S(t, r)S(r, s) = S(t, s) ∀ (t, r, s) ∈ [0, T ]3
S(t, r) = S(r, t)−1 ∀ (t, r) ∈ [0, T ]2 .
∗
On peut enfin établir que S(s, t)∗ = M (t)−1 M (s)∗ est la matrice résolvante
du système adjoint
ϕ0 = −A(t)∗ ϕ,
t ∈ (0, T )
ϕ(t0 ) = ϕ0 ∈ Rn , t0 ∈ [0, T ).
Dans le cas particulier où A est une matrice à coefficients constants, il est
bien connu que
S(t, s) = e(t−s)A , ( t, s) ∈ [0, T ]2 .
Bibliography
23