Non-smooth unobservable states in control problem for the wave equation in {\mathbb R}^3 (corrected)

arXiv1311.6131MaRDI QIDQ6246724FDOQ6246724

M. I. Belishev, Aleksei F. Vakulenko

Publication date: 24 November 2013

Abstract: The paper deals with a dynamical system �egin{align*} &u_{tt}-Delta u=0, qquad (x,t) in {mathbb R}^3 imes (-infty,0) \ &u mid_{|x|<-t} =0 , qquad t<0\ &lim_{s o infty} su((s+ au)omega,-s)=f( au,omega), qquad ( au,omega) in [0,infty) imes S^2,, end{align*} where

u = u^{f} (x, t)

is a solution ({it wave}),

f i n c a l F : = L_{2} l e f t ([0, i n f t y); L_{2} l e f t (S^{2} i g h t) i g h t)

is a {it control}. For the reachable sets

{c a l U}^{x} i : = u^{f} (c d o t, - x i), |,, f i n c a l F,, (x i g e q s l a n t 0)

, the embedding

{c a l U}^{x} i s u b s e t {c a l H}^{x} i : = y i n L_{2} ({m a t h b b R}^{3}), |,,, y |_{| x | < x i} = 0

holds, whereas the subspaces

{c a l D}^{x} i : = {c a l H}^{x} i o m i n u s {c a l U}^{x} i

of unreachable ({it unobservable}) states are nonzero for

x i > 0

. There was a conjecture motivated by some geometrical optics arguments that the elements of

{c a l D}^{x} i

are

C^{i} n f t y

-smooth with respect to

| x |

. We provide rather unexpected counterexamples of

h i n {c a l D}^{x} i

with

m s i n g, s u p p, h s u b s e t x i n {m a t h b b R}^{3} |,, | x | = x i_{0} > x i

.

Mathematics Subject Classification ID

Control/observation systems governed by partial differential equations (93C20)

This page was built for publication: Non-smooth unobservable states in control problem for the wave equation in ${\mathbb R}^3$ (corrected)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6246724)