[論文レビュー] Convexity Properties of Discrete Schrödinger evolutions and Hardy's Uncertainty Principle

Aingeru Fernández-Bertolin|arXiv (Cornell University)|Jun 11, 2015

Mathematical Analysis and Transform Methods参考文献 14被引用数 3

ひとこと要約

本稿は、2つの時刻におけるさまざまな離散的ガウス型減衰条件を満たす離散シュレーディンガー方程式の解について、対数凸性の性質を確立する。自由の場合には複素解析を、ポテンシャルがある場合には摂動的対数凸性の議論を用いて、ハーディーの不確定性原理の離散版を証明し、2つの時刻で解が速く減衰する場合、解は恒等的にゼロでなければならないことを示す。鋭い減衰閾値は修正ベッセル関数を含む。

ABSTRACT

In this paper we give log-convexity properties for solutions to discrete Schrödinger equations with different discrete versions of Gaussian decay at two different times. For free evolutions, we use complex analysis arguments to derive these properties, while in a perturbative setting we use a preliminar log-convexity result in order to get these properties. Then, by proving a Carleman inequality we conclude, in one of the cases under study, a discrete version of Hardy's Uncertainty Principle.

研究の動機と目的

• 対数凸性の技法を用いて、ハーディーの不確定性原理を離散シュレーディンガー設定に拡張すること。
• さまざまな離散的ガウス型減衰仮定の下での解の対数凸性の性質を分析すること、特に修正ベッセル関数と指数的重みを含むこと。
• 摂動的設定におけるカルレマン不等式と対数凸性を組み合わせることで、鋭い離散不確定性原理を確立すること。
• 連続的および離散的不確定性原理の間のギャップを埋めるために、ガウス型減衰の正しい離散的類似物を特定すること。

提案手法

• 自由な離散的シュレーディンガー方程式に対して、複素解析とフーリエ級数を用いて対数凸性を導出する。
• 時間に依存する有界なポテンシャルを扱うために、線形指数的重みを用いた初期の対数凸性結果を適用する。
• 誤差項を制御するため、切り捨て関数と重み付きエネルギー推定を導入する。
• 解の局所化のために、指数的重み $ e^{2\mu|j + Rt(1-t)e_1|^2} $ を用いた一連の重み付き $ L^2 $ ノルムを用いる。
• 補題 4.1 を適用して、重み付きエネルギーをポテンシャルおよび切り捨て関数の微分の項で評価する。
• 反復的減衰推定と $ R \to \infty $ における漸近的解析を用いて、解が恒等的にゼロであることを強制する。

実験結果

リサーチクエスチョン

• RQ1 2つの時刻におけるさまざまな離散的ガウス型減衰条件の下で、離散シュレーディンガー方程式の解について、対数凸性の性質を確立できるか？
• RQ2 修正ベッセル関数を含む鋭い減衰閾値を持つ離散的ハーディーの不確定性原理は成立するか？
• RQ3 古典的な複素解析的証明を、離散的設定にどのように適応できるか？
• RQ4 修正ベッセル関数 $ I_j(\alpha) $ は、離散解の鋭い減衰閾値を特徴付ける上で果たす役割は何か？
• RQ5 時間に依存する有界なポテンシャルを伴う摂動的ケースは、連続的ケースと同様の対数凸性枠組みで取り扱えるか？

主な発見

• 本稿は、離散シュレーディンガー方程式の解が $ |u_j(0)| \leq I_j(\alpha) $ および $ |u_j(1)| \leq I_j(\beta) $ を満たし、$ \alpha + \beta < 2 $ であるならば、$ u \equiv 0 $ であることを証明し、ハーディーの不確定性原理の離散版を確立する。
• 自由な場合、複素解析とフーリエ級数を用いて対数凸性が導かれる。これにより、与えられた減衰条件のもとで解が有界のままであることが保証される。
• 有界な時間に依存するポテンシャルを伴う摂動的設定では、初期の対数凸性結果が用いられ、同様の減衰に基づく消滅結果が得られる。
• 証明は、解の成長を制御できるように注意深く選ばれた重み関数 $ e^{2\mu|j + Rt(1-t)e_1|^2} $ を用いたカルレマン不等式に依存する。
• $ R \to \infty $ における漸近的解析により、$ \|u(0)\|_{\ell^2} \leq N_{\lambda,V,\epsilon}(e^{-C(\lambda,\epsilon)R^2} + e^{-\lambda\epsilon^2(1-\epsilon)^4R^2/16}) $ が得られ、これにより $ u \equiv 0 $ となる。
• 多次元の場合の鋭い減衰閾値は、積 $ \prod_{k=1}^d I_{j_k}(\alpha) $ を含むと予想される。これは1次元の結果の一般化である。