Considérons le système suivant sur L2(0,1) :
⎩⎨⎧∂t∂y(x,t)=∂x2∂2y(x,t),y(0,t)=y(1,t)=0,z(t)=∫01c(x)y(x,t)dx,0<x<1, t>0,t>0,t>0,
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-semi-groupe 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).