[论文解读] 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 型估计。它确立了两个主要结果：一个涉及 Triebel-Lizorkin 与 Besov 范数的尺度临界插值不等式，以及一个针对 $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.

研究动机与目标

• 解决关于 $D^s(fg)$ 的 $L^\infty$-端点 Kato-Ponce 不等式是否对所有 $s>0$ 成立的开放问题。
• 建立作为证明完整 $L^\infty$-端点不等式中间步骤的双线性估计。
• 将经典的 Gagliardo-Nirenberg 插值推广到涉及分数阶导数与 $L^\infty$ 范数的双线性情形。
• 将 Kato-Ponce 不等式与 $s > 2n+1$ 情形下的双线性 Calderón-Zygmund 理论联系起来。
• 提供避免低阶导数的定量估计，同时保持对 $L^p$ 与 $L^\infty$ 范数的精确依赖关系。

提出的方法

• 通过 Littlewood-Paley 投影 $\Delta_j$ 使用 dyadic 频率分解来定义齐次 Besov 空间 $\dot{B}^{0,\infty}_{\infty}$。
• 在 $\dot{B}^{0,\infty}_{\infty}$ 范数下，对 $D^r f$、$D^s f$ 与 $D^t f$ 使用插值理论，插值指数为 $\alpha = \frac{t-s}{t-r}$ 与 $\beta = \frac{s-r}{t-r}$。
• 采用双线性 paraproduct 分解 $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)$ 的傅里叶级数展开，其系数满足 $c_{s,m} = O((1+|m|)^{-n-s})$，以控制算子范数。
• 通过缩放论证 $f_\lambda(x) = f(\lambda x)$ 优化 dyadic 尺度，推导出 $L^\infty$ 中的精确估计。
• 依赖于函数的分解 $F = F_0 + G + F_1$，其 $BMO$ 与 $L^p$ 范数有界，其中 $\|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 能否在 $\dot{B}^{0,\infty}_{\infty}$ 中通过插值 $D^r f$ 与 $D^t f$ 来建立 $D^s(fg)$ 在 $L^\infty$ 中的双线性 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 证明了 $\|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$，其中 $0 \leq r < s < t$，且 $\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}$。