<p>We provide necessary and sufficient geometric conditions for the exact observability of the Schrödinger equation with inverse-square potentials on the half-line. These conditions are derived from a Logvinenko-Sereda type theorem for generalized Fourier transform. Specifically, the generalized Fourier transform associated with the Schrödinger operator with inverse-square potentials on the half-line is the well-known Hankel transform. We present a necessary and sufficient condition for a subset <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>, such that a function whose Hankel transform is supported in a given interval can be bounded in the <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-norm from above by its restriction to <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>, with a constant independent of the position of the interval.</p>

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

Uncertainty Principle and Geometric Condition for the Observability of Schrödinger Equations

  • Longben Wei,
  • Zhiwen Duan,
  • Hui Xu

摘要

We provide necessary and sufficient geometric conditions for the exact observability of the Schrödinger equation with inverse-square potentials on the half-line. These conditions are derived from a Logvinenko-Sereda type theorem for generalized Fourier transform. Specifically, the generalized Fourier transform associated with the Schrödinger operator with inverse-square potentials on the half-line is the well-known Hankel transform. We present a necessary and sufficient condition for a subset \(\Omega \) Ω , such that a function whose Hankel transform is supported in a given interval can be bounded in the \(L^2\) L 2 -norm from above by its restriction to \(\Omega \) Ω , with a constant independent of the position of the interval.