[論文レビュー] Time decay for the bounded mean oscillation of solutions of the Schrödinger and wave equations

Stephen Montgomery-Smith|ArXiv.org|Apr 7, 1997

Advanced Mathematical Physics Problems参考文献 6被引用数 31

ひとこと要約

本稿は、3次元波動方程式およびシュレーディンガー方程式の $ L^2 $ 初期データに対する解の BMO ノルムの時間減衰に関する、Strichartz 型不等式の予想に対する反例を構成する。ブラウン運動に基づく確率的手法を用いて、双対的命題 $ (B^{*}_{3,H_{1},2}) $ が成立しないことを示し、これにより提案された $ (B_{3,{\rm BMO},2}) $ 不等式が成り立たないことが示され、Strichartz 不等式の BMO 空間への自然な拡張が誤りであることが否定される。

ABSTRACT

Let $u(x,t)$ be the solution of the Schrödinger or wave equation with $L_2$ initial data. We provide counterexamples to plausible conjectures involving the decay in $t$ of the $\BMO$ norm of $u(t,\cdot)$. The proofs make use of random methods, in particular, Brownian motion. (Since this paper was written, the unsolved problem remaining in this paper has been solved by Keel and Tao.)

研究の動機と目的

• 3次元波動方程式およびシュレーディンガー方程式の解の BMO ノルムの時間減衰が、Strichartz 型不等式を満たすかどうかを調査すること。
• 既知の $ L^∞ $-に基づく Strichartz 評価の弱化版である $ (B_{3,{\rm BMO},2}) $ が、波動およびシュレーディンガー方程式に対して成り立つという予想を検証すること。
• $ H_1 $-値関数との積分を含む、波動方程式に対して成り立つかどうかを検証する双対的命題 $ (B^{*}_{3,H_{1},2}) $ の有効性を確認すること。
• ブラウン運動を用いた確率的反例を構成することで、$ (B_{3,{\rm BMO},2}) $ 予想が誤りであることを否定すること。

提案手法

• 双対性の性質を利用して、確率的構成に適した $ (B^{*}_{3,H_{1},2}) $ の双対命題に注目する。
• ランダムな波動プロファイル $ f_t(x) = \alpha_t g(x - p_t) $ を定義する。ここで $ p_t = (t, b_t, b_t') $ は3次元ブラウン運動のパスであり、$ \alpha_t \in L^2(\mathbb{R}) $ である。
• フーリエ変換を用いて、解の $ L^2 $ ノルムを、波動伝搬作用素に関連するカーネル $ K_{s-t}(x-y) $ を含む積分として表現する。
• ブラウン運動の増分の特性関数を用いて、期待値 $ \mathbb{E}[\exp(i(p_s - p_t) \cdot \zeta)] $ を計算し、周波数空間におけるガウス的減衰を導入する。
• 時間に関する畳み込み作用素を、周波数空間における積分を含む $ \hat{L}(\omega) $ として表されるフーリエ乗数として分析する。この乗数は、$ |\hat{g}(\zeta)|^2 / |\zeta|^2 $ を含む周波数空間の積分として表現される。
• 適切な領域 $ U \subset \mathbb{R}^3 $ における $ k_1(0,\zeta) $ の積分が発散することを示し、これにより乗数 $ \hat{L} $ が有界でないことが証明され、$ L^2(\mathbb{R}) $ 上で作用素が有界でないことが示される。

実験結果

リサーチクエスチョン

• RQ1 3次元波動方程式の $ L^2 $ 初期データを持つ解 $ u(t,\cdot) $ に対して、$ \|u(t,\cdot)\|_{{\rm BMO}} \in L^2_t $ が成り立つか？
• RQ2 $ \left\| \int_{\mathbb{R}} B_t f_t \, dt \right\|_2 \leq c \left( \int_{\mathbb{R}} \|f_t\|_{{H_1}}^2 \, dt \right)^{1/2} $ が、すべての $ f_t \in L^2_t(H_1) $ に対して成り立つか？
• RQ3 ブラウン運動を用いた確率的構成により、$ (B_{3,{\rm BMO},2}) $ 予想に対する反例を構成できるか？
• RQ4 ランダム波動カーネルに関連するフーリエ乗数は、$ L^2(\mathbb{R}) $ 上で有界でないか？
• RQ5 適切な集合 $ U \subset \mathbb{R}^3 $ に対して、積分 $ \int_U k_1(0,\zeta) \, d\zeta $ は発散するか？

主な発見

• $ (B^{*}_{3,H_{1},2}) $ は偽である。関連する畳み込み作用素 $ L $ は $ L^2(\mathbb{R}) $ 上で有界でないため。
• $ (B^{*}_{3,H_{1},2}) $ の失敗は、3次元波動方程式の解に対して、予想された $ (B_{3,{\rm BMO},2}) $ 評価が成立しないことを示唆する。
• ランダムプロファイル $ f_t(x) = \alpha_t g(x - p_t) $ を用いて計算された解の $ L^2 $ ノルムの期待値は、すべての $ \alpha_t \in L^2(\mathbb{R}) $ に対して有界でない。これは不等式が成り立たないことを示している。
• 集合 $ U = \{ \zeta : \sqrt{\zeta_2^2 + \zeta_3^2} \leq \zeta_1 \leq 1 \} $ に対して、積分 $ \int_U k_1(0,\zeta) \, d\zeta $ は発散する。これは乗数の非有界性を示すのに十分である。
• 区間 $ [-1,1]^3 \times [-1,1] $ 上で定義され、$ x_1 \in [-1,1] $ で符号が交互に変わるボックス関数 $ g(x) $ を用いることで、$ U $ 上で $ |\hat{g}(\zeta)|^2 / |\zeta|^2 $ が下から有界である非退化な関数が得られ、発散がキャンセル効果によるものではないことが保証される。
• 発散は、円柱座標系における $ r \to 0 $ 近傍でのカーネルの特異性に起因し、被積分関数が $ 1/r $ のように振る舞い、径方向積分で対数的発散を示す。