Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

Abstract

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ¹₀ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R ^T_m ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ^∞₀ (Ω^T). Examples of a ∈ C ^∞₀ , a ∈ R ^T_m , are presented.