<p>Given a selfadjoint magnetic Schrödinger operator <Equation ID="Equ55"> <EquationSource Format="TEX">\(\begin{aligned} H = ( i \partial + A(x) )^2 + V(x) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>H</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mi>∂</mi> <mo>+</mo> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(L^{2}(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, with <i>V</i>(<i>x</i>) strictly subquadratic and <i>A</i>(<i>x</i>) strictly sublinear, we prove that the flow <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(u(t)=e^{-itH}u(0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>i</mi> <mi>t</mi> <mi>H</mi> </mrow> </msup> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfies an Amrein–Berthier type inequality <Equation ID="Equ56"> <EquationSource Format="TEX">\(\begin{aligned} \Vert u(t)\Vert _{L^{2}}\lesssim _{E,F,T,A,V} \Vert u(0)\Vert _{L^{2}(E^{c})} + \Vert u(T)\Vert _{L^{2}(F^{c})}, \qquad 0\le t\le T \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> </msub> <msub> <mo>≲</mo> <mrow> <mi>E</mi> <mo>,</mo> <mi>F</mi> <mo>,</mo> <mi>T</mi> <mo>,</mo> <mi>A</mi> <mo>,</mo> <mi>V</mi> </mrow> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>E</mi> <mi>c</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>+</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>F</mi> <mi>c</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>,</mo> <mspace width="2em" /> <mn>0</mn> <mo>≤</mo> <mi>t</mi> <mo>≤</mo> <mi>T</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for all compact sets <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(E,F \subset \mathbb {R}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>,</mo> <mi>F</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. In particular, if both <i>u</i>(0) and <i>u</i>(<i>T</i>) are compactly supported, then <i>u</i> vanishes identically. Under different assumptions on the operator, which allow for time–dependent coefficients, the result extends to sets <i>E</i>,&#xa0;<i>F</i> of finite measure. We also consider a few variants for Schrödinger operators with singular coefficients, metaplectic operators, and we include applications to control theory.</p>

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

A dynamical Amrein-Berthier uncertainty principle

  • Piero D’Ancona,
  • Diego Fiorletta

摘要

Given a selfadjoint magnetic Schrödinger operator \(\begin{aligned} H = ( i \partial + A(x) )^2 + V(x) \end{aligned}\) H = ( i + A ( x ) ) 2 + V ( x ) on \(L^{2}(\mathbb {R}^n)\) L 2 ( R n ) , with V(x) strictly subquadratic and A(x) strictly sublinear, we prove that the flow \(u(t)=e^{-itH}u(0)\) u ( t ) = e - i t H u ( 0 ) satisfies an Amrein–Berthier type inequality \(\begin{aligned} \Vert u(t)\Vert _{L^{2}}\lesssim _{E,F,T,A,V} \Vert u(0)\Vert _{L^{2}(E^{c})} + \Vert u(T)\Vert _{L^{2}(F^{c})}, \qquad 0\le t\le T \end{aligned}\) u ( t ) L 2 E , F , T , A , V u ( 0 ) L 2 ( E c ) + u ( T ) L 2 ( F c ) , 0 t T for all compact sets \(E,F \subset \mathbb {R}^{n}\) E , F R n . In particular, if both u(0) and u(T) are compactly supported, then u vanishes identically. Under different assumptions on the operator, which allow for time–dependent coefficients, the result extends to sets EF of finite measure. We also consider a few variants for Schrödinger operators with singular coefficients, metaplectic operators, and we include applications to control theory.