[論文レビュー] A remark on an endpoint Kato-Ponce inequality

Loukas Grafakos, Diego Maldonado+1 more|arXiv (Cornell University)|Nov 18, 2013

Advanced Mathematical Physics Problems参考文献 13被引用数 20

ひとこと要約

本稿は、$L^\infty$におけるKato-Ponce不等式の端点ケースを検討し、積の分数階微分に関する双線形Gagliardo-Nirenberg型推移不等式を証明する。主な結果は2つである：(1) Triebel-LizorkinおよびBesovノルムを含むスケール臨界の補間不等式、(2) $s > 2n+1$ に対して双線形Calderón-Zygmund理論を用いた改良された推移不等式であり、両者とも未解決の$L^\infty$-端点Kato-Ponce予想の解決に向けた一歩を提供する。

ABSTRACT

This note introduces bilinear estimates intended as a step towards an $L^\infty$-endpoint Kato-Ponce inequality. In particular, a bilinear version of the classical Gagliardo-Nirenberg interpolation inequalities for a product of functions is proved.

研究の動機と目的

• $s>0$ に対して $D^s(fg)$ の $L^\infty$-端点Kato-Ponce不等式が成り立つかどうかという未解決問題に取り組む。
• 完全な $L^\infty$-端点不等式を証明するための中間段階として、双線形推移不等式を確立する。
• 古典的なGagliardo-Nirenberg補間を、分数階微分と $L^\infty$ ノルムを含む双線形設定に拡張する。
• $s > 2n+1$ に対して、Kato-Ponce不等式と双線形Calderón-Zygmund理論を結びつける。
• 下位の次数微分を避けるが、$L^p$ および $L^\infty$ ノルムに対する鋭い依存関係を保つ定量的推移不等式を提供する。

提案手法

• Littlewood-Paley射影 $\Delta_j$ を用いたdyadic周波数分解により、斉次Besov空間 $\dot{B}^{0,\infty}_{\infty}$ を定義する。
• 指数 $\alpha = \frac{t-s}{t-r}$ および $\beta = \frac{s-r}{t-r}$ を用いて、$\dot{B}^{0,\infty}_{\infty}$ ノルムにおいて $D^r f$, $D^s f$, $D^t f$ の間で補間を適用する。
• 双線形パラプロダクト分解 $D^s(fg) = T_1(D^s f, g) + T_2(f, D^s g) + T_3(D^s f, g)$ を用い、$T_1, T_2, T_3$ は双線形Calderón-Zygmund作用素である。
• $\Phi_{(s)}(\xi) = |\xi|^s \tilde{\Phi}(\xi)$ のFourier級数展開の係数 $c_{s,m} = O((1+|m|)^{-n-s})$ を用いて作用素ノルムを制御する。
• $f_\lambda(x) = f(\lambda x)$ を用いたスケーリング議論により、dyadicスケール上で最適化を行い、$L^\infty$ における鋭い推移不等式を導出する。
• 有界なBMOおよび $L^p$ ノルムを持つ関数に対して $F = F_0 + G + F_1$ の分解を用い、$\|F_0\|_{L^p} \lesssim \|D^\varepsilon F\|_{L^p}$, $\|G\|_{BMO} \lesssim \|F\|_{BMO}$, $\|F_1\|_{L^\infty} \lesssim \|F\|_{L^p}$ を満たす。

実験結果

リサーチクエスチョン

• RQ1 すべての $s>0$ に対して、端点Kato-Ponce不等式 $\|D^s(fg)\|_{L^\infty} \lesssim \|D^s f\|_{L^\infty}\|g\|_{L^\infty} + \|D^s g\|_{L^\infty}\|f\|_{L^\infty}$ が成り立つか？
• RQ2 $D^r f$, $D^t f$ を $\dot{B}^{0,\infty}_{\infty}$ ノルムで補間することで、$L^\infty$ における $D^s(fg)$ の双線形Gagliardo-Nirenberg不等式を確立できるか？
• RQ3 $s > 2n+1$ の場合、$L^{p_1}$, $L^{p_2}$, $L^\infty$ ノルムを用いて、$D^s(fg)$ の $L^\infty$ ノルムを下位の微分を含まずに制御できるか？
• RQ4 Kato-Ponce不等式と双線形Calderón-Zygmund理論の間には、$L^\infty$-端点領域で関連があるか？
• RQ5 スケーリングと補間を用いて、$\|D^s f\|_{L^{p_1}}$, $\|D^{s+\varepsilon} f\|_{L^{p_1}}$, $\|g\|_{L^{p_2}}$ に対する鋭い依存関係を最適化できるか？

主な発見

• 定理1は、$0 \leq r < s < t$ に対して、$\|D^s(fg)\|_{L^\infty} \lesssim \|D^r f\|_{\dot{B}^{0,\infty}_{\infty}}^\alpha \|D^t f\|_{\dot{B}^{0,\infty}_{\infty}}^\beta \|g\|_{L^\infty} + \|f\|_{L^\infty} \|D^r g\|_{\dot{B}^{0,\infty}_{\infty}}^\alpha \|D^t g\|_{\dot{B}^{0,\infty}_{\infty}}^\beta$ を証明する。ここで $\alpha = \frac{t-s}{t-r}$, $\beta = \frac{s-r}{t-r}$ である。
• 定理1は、より弱い不等式 $\|D^s(fg)\|_{L^\infty} \lesssim \|D^r f\|_{L^\infty}^\alpha \|D^t f\|_{L^\infty}^\beta \|g\|_{L^\infty} + \|f\|_{L^\infty} \|D^r g\|_{L^\infty}^\alpha \|D^t g\|_{L^\infty}^\beta$ を含意しており、これは線形Gagliardo-Nirenberg補間と整合的である。
• $s > 2n+1$ の場合、定理2は $\|D^s(fg)\|_{L^\infty} \lesssim \|D^s f\|_{L^{p_1}}^{1-\frac{n}{p\varepsilon}} \|D^{s+\varepsilon} f\|_{L^{p_1}}^{\frac{n}{p\varepsilon}} \|g\|_{L^{p_2}} + \|f\|_{L^{p_1}} \|D^s g\|_{L^{p_2}}^{1-\frac{n}{p\varepsilon}} \|D^{s+\varepsilon} g\|_{L^{p_2}}^{\frac{n}{p\varepsilon}} + \|D^s f\|_{L^\infty} \|g\|_{L^\infty} + \|f\|_{L^\infty} \|D^s g\|_{L^\infty}$ を確立する。ここで $\frac{n}{p} = n(\frac{1}{p_1} + \frac{1}{p_2}) < \varepsilon < 1$ である。
• 両定理における隠れた定数は、それぞれ $r,s,t,n$ または $s,n,\varepsilon,p_1,p_2$ のみに依存し、$f,g$ とは無関係である。
• 定理2の証明では、関数を $L^p$, BMO, $L^\infty$ の部分に分解し、双線形Calderón-Zygmund作用素が $L^p$ および BMO で有界であることに依存している。
• $f_\lambda(x) = f(\lambda x)$ を用いたスケーリング議論により、$\lambda$ に関して最適化が可能となり、最終的な推移不等式における最適補間指数 $\frac{n}{p\varepsilon}$ が得られる。