[論文レビュー] Optimal constants and extremisers for some smoothing estimates

Neal Bez, Mitsuru Sugimoto|arXiv (Cornell University)|Jun 22, 2012

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

ひとこと要約

本稿は、重み関数が同次的である場合、振動積分作用素のスペクトル分解を用いて、分散方程式における滑らかさ推定式の最適定数の明示的公式を確立し、極値関数を特徴づける。シュレーディンガー型方程式に対して最適定数を明示的に得る。径対称性とベッセル関数の解析を用いて極値初期データを同定し、$ L^2 $-ベースの滑らかさ推定における最適性に関する長年の未解決問題を解消する。

ABSTRACT

We establish new results concerning the existence of extremisers for a broad class of smoothing estimates of the form $\|ψ(| abla|) \exp(itϕ(| abla|)f \|_{L^2(w)} \leq C\|f\|_{L^2}$, where the weight $w$ is radial and depends only on the spatial variable; such a smoothing estimate is of course equivalent to the $L^2$-boundedness of a certain oscillatory integral operator $S$ depending on $(w,ψ,ϕ)$. Furthermore, when $w$ is homogeneous, and for certain $(ψ,ϕ)$, we provide an explicit spectral decomposition of $S^*S$ and consequently recover an explicit formula for the optimal constant $C$ and a characterisation of extremisers. In certain well-studied cases when $w$ is inhomogeneous, we obtain new expressions for the optimal constant.

研究の動機と目的

• 径数重みおよび分散流れに対して、$ L^2 $-ベースの滑らかさ推定式 $ \|w(|x|)^{1/2}\psi(|\nabla|)e^{it\phi(|\nabla|)}f\|_{L^2_{t,x}} \leq C\|f\|_{L^2} $ の最適定数 $ C $ を特定すること。
• このような推定式で等号が成立する極値初期データ $ f $ を特徴づけること。
• 従来、特定のケース（例：タイプ[B]または[C]）に限られていた最適定数の既知の結果を、径数および正則性の仮定の下で一般の $ (w, \psi, \phi) $ のクラスに拡張すること。
• 重み $ w $ が同次的である場合に、作用素 $ S^*S $ のスペクトル分解を提供し、これにより $ C $ と極値関数の明示的計算を可能にすること。
• 最適定数の公式における上限が達成されるかどうかという未解決問題、特に非同次的重みの場合を解消すること。

提案手法

• Bessel関数と重み $ w $ を含む $ \alpha_k(\varrho) $ を用いた公式 $ \mathbf{C}_d = \left(2\pi \sup_{k,\varrho} \alpha_k(\varrho)\right)^{1/2} $ を用いて最適定数 $ \mathbf{C}_d(w,\psi,\phi) $ を導出する。
• 径対称性とフーリエ-ベッセル変換を用い、$ S^*S $ の構造を活かして問題を $ \alpha_k(\varrho) $ の1次元的解析に還元する。
• 重みが同次的である場合に $ S^*S $ のスペクトル分解を適用し、$ \alpha_k(\varrho) $ が $ \varrho $ に関して定数となることを示し、これにより $ C $ の正確な計算が可能になることを示す。
• 漸近展開および単調性の議論を用いて、特に $ d=3 $ および $ d=5 $ の場合に $ \alpha_k(\varrho) $ の挙動を解析し、上限の位置を特定する。
• ベッセル関数 $ J_{\nu} $ を含む積分恒等式、特に $ \int_0^\infty J_\nu(r\varrho)^2 r w(r) dr $ を用いて $ \alpha_k(\varrho) $ を明示的に評価する。
• 振動的重みを用いた反例（例：$ w(r) = r^{-2}(\mu - \cos r) $）を構成し、$ \alpha_0(\varrho) $ の上限が $ \varrho=0 $ や $ \varrho=\infty $ で達成されない可能性があり、また $ \mathbf{C}_d $ が $ \sup \alpha_0(\varrho) $ を超えることがあることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかさ推定における最適定数 $ \mathbf{C}_d(w,\psi,\phi) $ がその上限に達する条件は何か？また、その上限は有限か？
• RQ2 重み $ w $ が同次的である場合、最適定数は明示的に計算可能か？そのスペクトル構造は何か？
• RQ3 最適定数と関数 $ \alpha_k(\varrho) $ の正確な関係は何か？分散関係 $ \phi $ および滑らかさ関数 $ \psi $ に依存するか？
• RQ4 極値初期データが径対称でない場合、あるいは $ \alpha_k(\varrho) $ の上限が一意でない場合があるか？
• RQ5 公式 $ \mathbf{C}_d = (2\pi \sup \alpha_0(\varrho))^{1/2} $ は常に成り立つか？反例はあるか？

主な発見

• $ d=3 $ に対して、$ (w,\psi,\phi) = ((1+r^2)^{-1}, (1+r^2)^{1/4}, r^2) $ の場合、最適定数は $ \mathbf{C}_3 = \pi^{1/2} $ であり、$ \varrho=0 $ で達成され、$ \alpha_0(0) = \frac{1}{2} $ である。
• $ d=5 $ に対して、同じ $ (w,\psi,\phi) $ の場合、最適定数は $ \mathbf{C}_5 = (\pi/2)^{1/2} $ である。これは $ \sup \alpha_0(\varrho) = \frac{1}{4} $ が $ \varrho \to \infty $ の極限で達成されるためである。
• 重み $ w $ が同次的である場合、作用素 $ S^*S $ はスペクトル分解をもち、$ \alpha_k(\varrho) $ は $ \varrho $ に関して定数となる。これにより、$ \sup_k \alpha_k(\varrho) $ を用いて $ C $ を明示的に得られる。
• $ d=5 $ に対して、$ (w,\psi,\phi) = ((1+r^2)^{-1}, (1+r^2)^{1/4}, r^2) $ の場合、最適定数は $ \mathbf{C}_5 = (2\pi \alpha_0(\varrho_0))^{1/2} $ であり、$ \varrho_0 $ は $ \Upsilon(\varrho_0) = 0 $ を満たし、$ \alpha_0(\varrho_0) = \alpha $ を得る。
• $ w(r) = r^{-2}(\mu - \cos r) $、$ \psi(r) = 1 $、$ \phi(r) = r^2 $、$ d=3 $ の反例では、$ \sup \alpha_0(\varrho) = \mu/2 $ が区間上で達成され、$ N $ が大きいとき $ \alpha_1(\varrho_0) > 1/\pi $ となる。これは $ \mathbf{C}_d = (2\pi \sup \alpha_0)^{1/2} $ が成り立たないことを示唆する。
• $ (w,\psi,\phi) = (\frac{1}{2}N\chi_{I(N)}(r), r^{1/2}, r^2) $ の場合、$ \sup \alpha_0(\varrho) \leq 1/\pi $ であるが、$ N $ が大きいとき $ \alpha_1(\varrho_0) > 1/\pi $ となる。これは $ \mathbf{C}_d $ が $ \sup \alpha_0 $ のみで決定されないことを示し、公式の単純な拡張が誤りであることを証明する。