[論文レビュー] Schrödinger maximal function estimates via the pseudoconformal transformation

Ciprian Demeter, Shaoming Guo|arXiv (Cornell University)|Aug 27, 2016

Mathematical Analysis and Transform Methods被引用数 14

ひとこと要約

この論文は、物理空間における解の集合のサイズを拡大するために擬等角変換を用いることで、シュレーディンガー方程式の解の逐次 essentially everywhere 収束におけるソボレフ正則性指数 $ s $ の鋭鋭下界の別証明を提供する。周波数空間におけるスケーリングされた格子上に台を持つ初期データを構成し、多次元ディリクレの原理を用いた数論的推定を適用することで、最大関数ノルムが任意の $ R^s $ よりも速く増大することを示し、既知の閾値 $ s < \frac{n}{2(n+2)} $ の鋭さを確認する。本手法は、ガリレオ対称性や時空並進不変性を用いる従来の手法とは対照的である。

ABSTRACT

We present an alternative way to recover the recent result from \cite{LR} using the pseudoconformal transformation.

研究の動機と目的

• シュレーディンガー解の逐次 essentially everywhere 収束におけるソボレフ正則性指数 $ s $ の鋭い下界に対する新たな証明を提供すること。
• 既知の閾値 $ s < \frac{n}{2(n+2)} $ が鋭いことを示すために、$ L^2 $-ベースの $ R^s $-増大推定を満たさない初期データを構成すること。
• 物理空間における小さな集合で大きな解をとる解を、測度が1と同程度の大きな物理的集合で大きな解をとるものに写像するために、擬等角変換を用いること。
• 特に、多次元ディリクレの原理の定量的版を用いて、スケーリングされた格子点の周波数空間における分布を制御すること。

提案手法

• 擬等角変換を用いて、$ L^2 $ 初期データノルムが同等のシュレーディンガー方程式の解を関連させ、小さな集合で大きな解をとる解を、大きな物理的集合で大きな解をとるものに変換すること。
• 高周波数振動をモデル化するため、$ R_k \to \infty $ となるようにスケーリングされた帯状領域 $ |\xi| \sim R_k $ 上に台を持つ初期データ $ f_k $ を構成すること。
• 多次元ディリクレの原理の定量的形を適用し、$ p\{R_k^{\sigma}x_i\} $ が整数部分に近くなるような整数 $ p $ を見つけることにより、格子全体での位相の整合性を保証すること。
• スケーリングされた集合 $ X/T $（$ X $ はスケーリングされた $ \mathbb{Z}^n $ の小さな近傍）が、数論的密度推定を用いて測度が1と同程度になるようにできるという事実を活用すること。
• 擬等角変換を用いて、$ X \times T $ 上での解の大きな $ L^\infty $-ノルム行動を、大きな物理的集合 $ Y $ 上での大きな $ L^2 $-ノルム行動に移すことにより、最大関数ノルムが $ R_k^s $ よりも速く増大することを保証すること。
• キー推定 $ \| \sup_{0<t\lesssim R_k} |e^{it\Delta}v_k| \|_{L^2(B(0,R_k))} \gtrsim R_k^{\sigma n/2} \|v_k\|_{L^2} $（$ \sigma < \frac{1}{n+2} $）を確立し、望ましい発散を導出すること。

実験結果

リサーチクエスチョン

• RQ1 シュレーディンガー解の逐次 essentially everywhere 収束におけるソボレフ正則性指数の鋭い下界 $ s < \frac{n}{2(n+2)} $ は、擬等角変換を用いて再現可能か？
• RQ2 周波数支持が高周波数帯状領域上にある初期データを構成することは可能か。その場合、最大関数の解が $ s < \frac{n}{2(n+2)} $ に対して任意の $ R^s $ よりも速く増大するか？
• RQ3 擬等角変換は、物理空間における小さな集合で大きな解をとるものを、どのように大きな集合に拡大可能にするか。また、その拡大を保証するための数論的条件は何か？
• RQ4 多次元ディリクレの原理は、スケーリングされた格子点の分布を制御し、位相の整合性と測度の拡大を達成するために果たす役割は何か？

主な発見

• 任意の $ s < \frac{n}{2(n+2)} $ に対して、$ R_k \to \infty $ および $ f_k \in L^2({\mathbb{R}}^n) $ で $ \widehat{f_k} $ が $ |\xi| \sim R_k $ 上に台を持つような列が存在し、$ k \to \infty $ のとき比 $ \frac{\| \sup_{0<t\lesssim 1} |e^{it\Delta}f_k| \|_{L^2(B(0,1))}}{R_k^s \|f_k\|_{L^2}} \to \infty $ となることが示された。
• 本構成では、初期に小さな集合 $ X \times T $ で大きな解をとるものを、測度が1と同程度の集合 $ Y \subset \mathbb{R}^n $ に写像する擬等角変換を用いることで、最大関数ノルムが $ R_k^s $ よりも速く増大することを保証している。
• 鍵となる数論的要素は、多次元ディリクレの原理の定量的版であり、$ [4^{-n-1}N, N+2] $ 内の整数 $ p $ が存在し、$ \max_i \| p y_i \| \leq N^{-1/n} $ を満たすような $ y_i \in [0,1]^n $ の集合が測度 $ \frac{3}{4} $ 以上であることを保証する。
• 適切な格子およびスケーリング条件の下で、集合 $ \frac{X}{T} \cap [0,1]^n $ の測度が $ \frac{1}{2} $ 以上であることが示され、これは擬等角写像による物理空間における拡大を示している。
• 証明により、$ s = \frac{n}{2(n+2)} $ が、最大関数の $ L^2 $-ベースの増大推定が成り立たないという意味で鋭い閾値であることが確認された。