<p>The acoustic scattering problem is to find <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(u=u^f(x,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>=</mo> <msup> <mi>u</mi> <mi>f</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfying <Equation ID="Equ31"> <EquationSource Format="TEX">\(\begin{aligned}&amp;u_{tt}-\Delta u+qu=0, \qquad (x,t) \in {\mathbb {R}}^3 \times (-\infty ,0); \\&amp;u \mid _{|x|&lt;-t} =0 , \qquad t&lt;0\;\\&amp;\lim _{s \rightarrow \infty } s\,u((s+\tau )\,\omega ,-s)=f(\tau ,\omega ), \qquad (\tau ,\omega ) \in \Sigma :=[0,\infty )\times S^2; \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <msub> <mi>u</mi> <mrow> <mi mathvariant="italic">tt</mi> </mrow> </msub> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mi>q</mi> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="2em" /> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi>∞</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>;</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mi>u</mi> <msub> <mo>∣</mo> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo>&lt;</mo> <mo>-</mo> <mi>t</mi> </mrow> </msub> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="2em" /> <mi>t</mi> <mo>&lt;</mo> <mn>0</mn> <mspace width="0.277778em" /> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>s</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <mi>s</mi> <mspace width="0.166667em" /> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo>+</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>ω</mi> <mo>,</mo> <mo>-</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="2em" /> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi mathvariant="normal">Σ</mi> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mi>S</mi> <mn>2</mn> </msup> <mo>;</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with a real valued compactly supported potential <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(q\in L_\infty (\mathbb {R}^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <msub> <mi>L</mi> <mi>∞</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and a control <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f \in \mathscr {F}:=L_2(\Sigma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mi mathvariant="script">F</mi> <mo>:</mo> <mo>=</mo> <msub> <mi>L</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathscr {F}^\xi := \{f\in \mathscr {F}\,|\,\,f\big |_{0\leqslant \tau \leqslant \xi }=0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="script">F</mi> <mi>ξ</mi> </msup> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>f</mi> <mo>∈</mo> <mi mathvariant="script">F</mi> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>f</mi> <msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mrow> <mn>0</mn> <mo>⩽</mo> <mi>τ</mi> <mo>⩽</mo> <mi>ξ</mi> </mrow> </msub> <mo>=</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathscr {H}:=L_2(\mathbb {R}^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mo>:</mo> <mo>=</mo> <msub> <mi>L</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathscr {H}^\xi :=\{y\in \mathscr {H}\,|\,\,y\big |_{|x|&lt;\xi }=0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="script">H</mi> <mi>ξ</mi> </msup> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>y</mi> <mo>∈</mo> <mi mathvariant="script">H</mi> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>y</mi> <msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo>&lt;</mo> <mi>ξ</mi> </mrow> </msub> <mo>=</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\xi &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. For the (delayed) controls <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f\in \mathscr {F}^\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi mathvariant="script">F</mi> <mi>ξ</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, the <i>reachable set</i> is <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathscr {U}^\xi :=\{u^f(\cdot , 0)\,|\,\,f\in \mathscr {F}^\xi \}\subset \mathscr {H}^\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="script">U</mi> <mi>ξ</mi> </msup> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <msup> <mi>u</mi> <mi>f</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>f</mi> <mo>∈</mo> <msup> <mi mathvariant="script">F</mi> <mi>ξ</mi> </msup> <mo stretchy="false">}</mo> </mrow> <mo>⊂</mo> <msup> <mi mathvariant="script">H</mi> <mi>ξ</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, whereas <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathscr {D}^\xi :=\mathscr {H}^\xi \ominus \mathscr {U}^\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="script">D</mi> <mi>ξ</mi> </msup> <mo>:</mo> <mo>=</mo> <msup> <mi mathvariant="script">H</mi> <mi>ξ</mi> </msup> <mo>⊖</mo> <msup> <mi mathvariant="script">U</mi> <mi>ξ</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is the <i>defect</i> (unreachable) subspace. The paper provides a characterization of the set <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathscr {D}^\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="script">D</mi> <mi>ξ</mi> </msup> </math></EquationSource> </InlineEquation>. We say that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(a\in \mathscr {H}^\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <msup> <mi mathvariant="script">H</mi> <mi>ξ</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is a <i>q-polyharmonic</i> function of the order <i>n</i> if the relation <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((-\Delta +q)^n\, a=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo>+</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> <mspace width="0.166667em" /> <mi>a</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> holds for <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(|x|&gt;\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo>&gt;</mo> <mi>ξ</mi> </mrow> </math></EquationSource> </InlineEquation>, and write <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(a\in \mathscr {A}^\xi _n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <msubsup> <mi mathvariant="script">A</mi> <mi>n</mi> <mi>ξ</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. Our main result is the relation <Equation ID="Equ32"> <EquationSource Format="TEX">\(\begin{aligned}{\mathscr {D}}^\xi \,=\overline{\mathrm{span\,}\{\mathscr {A}^\xi _n\,|\,\,n\ge 1\}},\qquad \xi &gt;0,\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mi>ξ</mi> </msup> <mspace width="0.166667em" /> <mo>=</mo> <mover> <mrow> <mrow> <mi mathvariant="normal">span</mi> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">{</mo> <msubsup> <mi mathvariant="script">A</mi> <mi>n</mi> <mi>ξ</mi> </msubsup> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>n</mi> <mo>≥</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> <mo>¯</mo> </mover> <mo>,</mo> <mspace width="2em" /> <mi>ξ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where bar denotes the closure in <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathscr {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>. It basically concludes the study ofcontrollability of the acoustical dynamical system governed by the locally perturbed wave equation in <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>. Bibliography: 9 titles.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

ON CONTROLLABILITY OF THE ACOUSTIC SCATTERING DYNAMICAL SYSTEM IN \({\mathbb {R}^3}\)

  • M. I. Belishev,
  • A. F. Vakulenko

摘要

The acoustic scattering problem is to find \(u=u^f(x,t)\) u = u f ( x , t ) satisfying \(\begin{aligned}&u_{tt}-\Delta u+qu=0, \qquad (x,t) \in {\mathbb {R}}^3 \times (-\infty ,0); \\&u \mid _{|x|<-t} =0 , \qquad t<0\;\\&\lim _{s \rightarrow \infty } s\,u((s+\tau )\,\omega ,-s)=f(\tau ,\omega ), \qquad (\tau ,\omega ) \in \Sigma :=[0,\infty )\times S^2; \end{aligned}\) u tt - Δ u + q u = 0 , ( x , t ) R 3 × ( - , 0 ) ; u | x | < - t = 0 , t < 0 lim s s u ( ( s + τ ) ω , - s ) = f ( τ , ω ) , ( τ , ω ) Σ : = [ 0 , ) × S 2 ; with a real valued compactly supported potential \(q\in L_\infty (\mathbb {R}^3)\) q L ( R 3 ) and a control \(f \in \mathscr {F}:=L_2(\Sigma )\) f F : = L 2 ( Σ ) . Let \(\mathscr {F}^\xi := \{f\in \mathscr {F}\,|\,\,f\big |_{0\leqslant \tau \leqslant \xi }=0\}\) F ξ : = { f F | f | 0 τ ξ = 0 } , \(\mathscr {H}:=L_2(\mathbb {R}^3)\) H : = L 2 ( R 3 ) , \(\mathscr {H}^\xi :=\{y\in \mathscr {H}\,|\,\,y\big |_{|x|<\xi }=0\}\) H ξ : = { y H | y | | x | < ξ = 0 } , \(\xi >0\) ξ > 0 . For the (delayed) controls \(f\in \mathscr {F}^\xi \) f F ξ , the reachable set is \(\mathscr {U}^\xi :=\{u^f(\cdot , 0)\,|\,\,f\in \mathscr {F}^\xi \}\subset \mathscr {H}^\xi \) U ξ : = { u f ( · , 0 ) | f F ξ } H ξ , whereas \(\mathscr {D}^\xi :=\mathscr {H}^\xi \ominus \mathscr {U}^\xi \) D ξ : = H ξ U ξ is the defect (unreachable) subspace. The paper provides a characterization of the set \(\mathscr {D}^\xi \) D ξ . We say that \(a\in \mathscr {H}^\xi \) a H ξ is a q-polyharmonic function of the order n if the relation \((-\Delta +q)^n\, a=0\) ( - Δ + q ) n a = 0 holds for \(|x|>\xi \) | x | > ξ , and write \(a\in \mathscr {A}^\xi _n\) a A n ξ . Our main result is the relation \(\begin{aligned}{\mathscr {D}}^\xi \,=\overline{\mathrm{span\,}\{\mathscr {A}^\xi _n\,|\,\,n\ge 1\}},\qquad \xi >0,\end{aligned}\) D ξ = span { A n ξ | n 1 } ¯ , ξ > 0 , where bar denotes the closure in \(\mathscr {H}\) H . It basically concludes the study ofcontrollability of the acoustical dynamical system governed by the locally perturbed wave equation in \(\mathbb {R}^3\) R 3 . Bibliography: 9 titles.