Considérons le système suivant sur L2(0,1) :
∂t∂y(x,t)=∂x2∂2y(x,t),0<x<1, t>0,
y(0,t)=y(1,t)=0,t>0,
z(t)=∫01c(x)y(x,t)dx,t>0.(1)
où c(x)=1[1−ϵ,1](x), et ϵ>0 est tel que 0<1−ϵ<1.
- Réécrire ce système sous la forme
y′(t)=Ay(t),
z(t)=Cy(t)
- Préciser l'espace d'état Y et l'espace de sorties Z.
- Montrer que A est un opérateur spectral de Riesz. En déduire que A engendre un C0-semigroupe S(t) sur Y. Donner l'expression de ce semi-groupe.
- Montrer que C∈L(Y,Z).
- Étudier l'observabilité approchée du système (1) sur [0,T].