[論文レビュー] A discrete Hardy's Uncertainty Principle and discrete evolutions

Aingeru Fernández-Bertolin|arXiv (Cornell University)|May 30, 2015

Mathematical Analysis and Transform Methods被引用数 1

ひとこと要約

本稿は複素解析を用いて、離散版のハーディーの不確定性原理を確立し、離散シュレーディンガー方程式および熱方程式の解が2つの異なる時刻であまりに速く減衰することは、解が恒等的にゼロでない限り不可能であることを示している。主な結果は鋭い減衰条件である：離散熱方程式に関しては、初期データと時間発展後のデータがパラメータ $α + β < 2$ を満たすように修正ベッセル関数 $I_k(x)$ の形で減衰するならば、解は恒等的にゼロとなり、この条件は最適である。

ABSTRACT

In this paper we give a discrete version of Hardy's uncertainty principle, by using complex variable arguments, as in the classical proof of Hardy's principle. Moreover, we give an interpretation of this principle in terms of decaying solutions to the discrete Schr\"odinger and heat equations.

研究の動機と目的

• 複素変数関数論的手法を用いて、ハーディーの不確定性原理を離散的設定に拡張すること。
• 離散シュレーディンガー方程式および熱方程式の解の減衰特性を分析すること。
• このような解が恒等的にゼロでなければならない鋭い条件を確立すること。
• 明示的な例を用いて、減衰閾値の最適性を示すこと。
• フーリエ係数と空間的減衰の両方を精密に制御する、連続不確定性原理の離散的類似を提供すること。

提案手法

• 複素解析的手法、特にフラグメン＝リンデレフおよびリウヴィルの定理を用いて、離散格子上での不確定性原理を導出する。
• 離散フーリエ係数を修正ベッセル関数 $I_k(x)$ と関連づけ、これらがガウス関数の離散的類似として機能することを示す。
• $[-\pi/h, \pi/h]$ 上で周期関数を定義し、それを複素平面に解析接続して整関数の性質を活用する。
• 離散フーリエ変換を用いて、列データと周期関数を結びつけ、物理的領域および周波数領域における減衰を制御する。
• シュレーディンガー方程式および熱方程式の時間発展を用いて、初期データと発展後のデータを関連づけ、減衰条件を不確定性制約に翻訳する。
• 閾値条件を満たさない場合に非自明な関数が減衰仮定を満たすことを示す明示的例を構成し、境界の鋭さを証明する。

実験結果

リサーチクエスチョン

• RQ1 複素解析を用いて、ハーディーの不確定性原理を離散シュレーディンガー方程式および熱方程式に厳密に拡張できるか？
• RQ2 初期データおよび発展後データに課される、離散解が恒等的にゼロでなければならない正確な減衰条件は何か？
• RQ3 離散不確定性原理は、連続的類似と比較して、鋭さおよび閾値パラメータの点でどのように異なるか？
• RQ4 閾値条件が厳密に満たされない場合に、減衰仮定を満たす非自明な解は存在するか？
• RQ5 離散熱方程式における減衰条件 $\alpha + \beta < 2$ の鋭さは、明示的構成により証明できるか？

主な発見

• 離散熱方程式に関して、初期データと発展後データがそれぞれ $I_k(\alpha/h^2)/I_0(\alpha/h^2)$ および $I_k(\beta/h^2)/I_0(\beta/h^2)$ のように減衰するならば、$\alpha + \beta < 2$ のとき解は恒等的にゼロとなる。
• 条件 $\alpha + \beta < 2$ は鋭い：$\alpha + \beta = 2$ のとき、$g_h(z) = C e^{r/h^2 \cos(zh)}$ のような非ゼロ解が存在し、減衰仮定を満たす。
• $\alpha + \beta > 2$ のとき、減衰条件を満たす唯一の解はゼロ関数である。
• 複素解析的表現において $rs < 1$ のとき、減衰仮定を満たす非ゼロ関数が存在し、閾値がタイトであることを確認する。
• 時間発展を用いた離散熱方程式の解として、非ゼロ解の明示的構成がなされ、減衰条件は仮定を破らずに任意に近づけることができる。
• 解が減衰境界を飽和させるように構成されることにより、この方法は離散不確定性原理が鋭いことを証明し、$\alpha + \beta < 2$ を緩和できないことを示している。