[論文レビュー] On the boundary Strichartz estimates for wave and Schrödinger equations

Zihua Guo, Ji Li+2 more|arXiv (Cornell University)|May 3, 2018

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

ひとこと要約

本稿は、高次元（$ d > d_a $）における波動方程式およびシュレーディンガー方程式について、臨界正則性 $ s = \frac{d-a}{2} $ における $ L_t^2L_x^\infty $ ストリッカーツ推定が失敗することを、安定なレヴィ過程を用いて示している。この失敗は、時間積分ではなく周波数の和算に起因する。一方で、球対称平均化された $ L_t^2L_x^\infty $ 推定および角運動量の滑らかさを含むストリッカーツ推定が、臨界正則性で成り立つことを証明しており、分散方程式における端点推定の洗練された枠組みを提供する。

ABSTRACT

We consider the $L_t^2L_x^r$ estimates for the solutions to the wave and Schrödinger equations in high dimensions. For the homogeneous estimates, we show $L_t^2L_x^\infty$ estimates fail at the critical regularity in high dimensions by using stable Lévy process in $\R^d$. Moreover, we show that some spherically averaged $L_t^2L_x^\infty$ estimate holds at the critical regularity. As a by-product we obtain Strichartz estimates with angular smoothing effect. For the inhomogeneous estimates, we prove double $L_t^2$-type estimates.

研究の動機と目的

• 高次元（$ d > d_a $）における波動およびシュレーディンガー方程式について、臨界正則性 $ s = \frac{d-a}{2} $ における $ L_t^2L_x^\infty $ ストリッカーツ推定が成り立つかどうかという未解決問題を解消すること。
• 特に、周波数の和算が原因であることを示唆する安定レヴィ過程を用いて、臨界正則性における $ L_t^2L_x^\infty $ 推定の失敗を確立すること。
• 標準推定が失敗するにもかかわらず、球対称平均化された $ L_t^2L_x^\infty $ 推定および角運動量滑らかさ付きストリッカーツ推定が臨界正則性で成り立つことを証明し、欠落した端点推定の代替を提供すること。
• 新しい二重 $ L_t^2 $ 型の非同次ストリッカーツ推定を導出し、特定のスケーリングおよびノルム条件の下でその推定が失敗するための基準を提示すること。

提案手法

• 高次元 $ \mathbb{R}^d $ における $ a $-安定レヴィ過程を用いて、臨界正則性 $ s = \frac{d-a}{2} $ における $ L_t^2L_x^\infty $ 推定の反例を構成し、[14]および[21]の手法を一般化する。
• $ TT^* $ 法および補間技法を適用して $ q > 2 $ における $ L_t^2L_x^\infty $ 推定を証明するが、端点 $ q = 2 $ では周波数の和算に起因して失敗することを示す。
• 球対称ノルム $ \mathcal{L}_\rho^\infty L_\omega^2 $ を導入し、標準推定が失敗する場合でも臨界 $ L_t^2L_x^\infty $ 推定が成り立つ、洗練された空間を定義する。
• 角運動量滑らかさ付きストリッカーツ推定を証明する。具体的には、ある $ \epsilon > 0 $ に対して $ \| \Lambda_\omega^\epsilon e^{itD^a}f \|_{L_t^2 \mathcal{L}_\rho^\infty L_\omega^2} \lesssim \|f\|_{L^2} $ が成り立つことを示し、角度方向の正則性が向上していることを示す。
• Fourier乗数 $ \mathcal{F}^{-1}(|\xi|^\alpha \sigma^\gamma e^{-\sigma|\xi|^a/2}) $ が $ \sigma \to 0^+ $ のときの挙動を用いて、非同次ストリッカーツ推定の失敗に関する一般基準を導出する。特定のノルムペアで発散することを示す。
• この基準を適用して、$ \| \int_0^t e^{i(t-s)D^a}f(s)ds \|_{L^p_t \mathcal{L}_r^\infty L_\omega^1} \lesssim \| D^{d-a}f \|_{L^{q'}_t \mathcal{L}_r^1 L_\omega^\infty} $ などの推定が、径対称 $ f $ に対しても失敗することを証明する。

実験結果

リサーチクエスチョン

• RQ1 高次元（$ d > d_a $）における波動およびシュレーディンガー方程式について、臨界正則性 $ s = \frac{d-a}{2} $ における $ L_t^2L_x^\infty $ ストリッカーツ推定は成り立つか？
• RQ2 臨界正則性における $ L_t^2L_x^\infty $ 推定の失敗は、時間積分に起因するのか、それとも周波数の和算に起因するのか？
• RQ3 標準推定が失敗するにもかかわらず、球対称平均化された $ L_t^2L_x^\infty $ 推定または角運動量滑らかさ付きストリッカーツ推定を臨界正則性で確立できるか？
• RQ4 非同次ストリッカーツ推定が失敗する条件は何か？一般基準を導出できるか？

主な発見

• 高次元（$ d > d_a $）において、臨界正則性 $ s = \frac{d-a}{2} $ における $ L_t^2L_x^\infty $ 推定は失敗する。端点推定 $ (q,p) = (2,\infty) $ が許容可能であるにもかかわらず、周波数の和算が発散するためである。
• 失敗は対数的ではなく、 dyadic 周波数アニュラスにおける和の発散に起因する。これは $ a $-安定レヴィ過程を用いて示された。
• 球対称平均化された $ L_t^2L_x^\infty $ 推定は臨界正則性で成り立つ。具体的には $ \| e^{itD^a}f \|_{L_t^2 \mathcal{L}_\rho^\infty L_\omega^2} \lesssim \|f\|_{L^2} $ であり、欠落した端点推定の代替を提供する。
• 角運動量滑らかさ付きストリッカーツ推定が確立された：ある $ \epsilon > 0 $ に対して $ \| \Lambda_\omega^\epsilon e^{itD^a}f \|_{L_t^2 \mathcal{L}_\rho^\infty L_\omega^2} \lesssim \|f\|_{L^2} $ が成り立ち、角度方向の正則性が向上していることを示す。
• 非同次ストリッカーツ推定の失敗に関する一般基準が導出された：Fourier乗数 $ \mathcal{F}^{-1}(|\xi|^\alpha \sigma^\gamma e^{-\sigma|\xi|^a/2}) $ および $ \mathcal{F}^{-1}(|\xi|^\beta \sigma^{-\gamma} e^{-\sigma|\xi|^a/2}) $ が $ \sigma \to 0^+ $ のとき有界でない場合、推定は失敗する。
• この基準により、$ \| \int_0^t e^{i(t-s)D^a}f(s)ds \|_{L^p_t \mathcal{L}_r^\infty L_\omega^1} \lesssim \| D^{d-a}f \|_{L^{q'}_t \mathcal{L}_r^1 L_\omega^\infty} $ などの推定が、径対称 $ f $ に対しても失敗することが示された。これは、角度および半径方向のノルムにおける十分な可積分性が欠落しているためである。