[论文解读] Sharp pointwise estimates for functions in the Sobolev spaces Hs(Rn)

Linéia Schütz, Juliana S. Ziebel+2 more|arXiv (Cornell University)|Feb 5, 2016

Nonlinear Partial Differential Equations参考文献 6被引用 6

一句话总结

本文在 $ s > n/2 $ 的条件下，确定了 Sobolev 空间 $ H^s(\mathbb{R}^n) $ 中函数在 Gagliardo-Nirenberg 本质范数不等式中的最优常数 $ K(n,s) $。通过傅里叶分析与尺度变换方法，推导出涉及 Gamma 函数与正弦项的闭式表达式，并利用极值函数与 Young 不等式证明其最小性。

ABSTRACT

We obtain the optimal value of the constant K(n,s) in the Sobolev-Nirenberg-Gagliardo inequality $ \|\,u\,\|_{L^{\infty}(\mathbb{R}^{n})} \leq K(n,s) \,\|\, u \,\|_{L^{2}(\mathbb{R}^{n})}^{1 - n/(2s)} \|\, u \,\|_{\dot{H}^{s}(\mathbb{R}^{n})}^{n/(2s)} $ where $ s > n/2 $.

研究动机与目标

• 确定在 $ H^m(\mathbb{R}^n) $（$ m > n/2 $）上，针对 $ L^{\frac{2m}{2m-n}} $ 类型点态估计的 Gagliardo-Nirenberg 不等式中最优（最小）常数 $ K(n,s) $。
• 将最优常数从整数阶 Sobolev 空间 $ H^m(\mathbb{R}^n) $ 推广至任意实数阶空间 $ H^s(\mathbb{R}^n) $（$ s > n/2 $），而不仅限于整数 $ s = m $。
• 通过构造实现等号的极值函数，证明所推导常数的最优性。
• 通过提供该基本不等式中最优常数的精确值，填补文献中长期存在的空白。

提出的方法

• 利用傅里叶变换将齐次范数 $ \|u\|_{\dot{H}^s(\mathbb{R}^n)} $ 表示为 $ \int_{\mathbb{R}^n} |\xi|^{2s} |\hat{u}(\xi)|^2 d\xi $ 的形式。
• 通过变换 $ u_\lambda(x) = u(\lambda x) $ 应用尺度不变性，推导出依赖于参数 $ \lambda > 0 $ 的不等式族。
• 对所得表达式在 $ \lambda $ 上进行最小化，以 $ n $、$ s $ 及特殊函数表示最优常数 $ K(n,s) $。
• 利用 Young 不等式将 $ H^s $-范数控制在 $ L^2 $ 与 $ \dot{H}^s $-范数乘积的范围内，建立关键比较关系。
• 构造特定极值函数 $ \hat{w}(\xi) = c / (1 + |\xi|^{2s}) $ 以验证不等式中等号成立，从而证明最优性。
• 推导出包含 Gamma 函数 $ \Gamma(n/2) $、正弦函数 $ \sin(\pi n / (2s)) $，以及 $ (n/(2s - n)) $ 与 $ (2s/(2s - n)) $ 的有理幂次的 $ K(n,s) $ 显式公式。

实验结果

研究问题

• RQ1 在 $ H^m(\mathbb{R}^n) $（$ m > n/2 $）中，Gagliardo-Nirenberg 不等式中最优常数 $ K(n,m) $ 的精确值是什么，当右侧涉及 $ \|u\|_{L^2}^{1 - n/(2m)} \|D^m u\|_{L^2}^{n/(2m)} $ 时？
• RQ2 如何将最优常数从整数阶 Sobolev 空间 $ H^m(\mathbb{R}^n) $ 推广至任意实数阶空间 $ H^s(\mathbb{R}^n) $（$ s > n/2 $）？
• RQ3 所提出的常数 $ K(n,s) $ 真的是最优的吗？是否存在更小的常数也能对所有 $ u \in H^s(\mathbb{R}^n) $ 成立？
• RQ4 傅里叶变换在刻画实现不等式等号的极值函数方面起到什么作用？
• RQ5 最优常数能否以包含已知特殊函数（如 Gamma 函数与正弦函数）的闭式表达？

主要发现

• 在 $ H^m(\mathbb{R}^n) $（$ m > n/2 $）中，Gagliardo-Nirenberg 不等式的最优常数由如下显式公式给出： $$ K(n,m) = (4\pi)^{-n/4} \left( \frac{n}{2} \Gamma\left(\frac{n}{2}\right) \right)^{-1/2} \left( \frac{\sin(\pi n / (2m))}{\pi n / (2m)} \right)^{-1/2} \left( \frac{n}{2m - n} \right)^{-n/(4m)} \left( \frac{2m}{2m - n} \right)^{1/2}. $$
• 对于 $ s > n/2 $，广义不等式 $ \|u\|_{L^\infty(\mathbb{R}^n)} \leq K(n,s) \|u\|_{L^2}^{1 - n/(2s)} \|u\|_{\dot{H}^s}^{n/(2s)} $ 的最优常数由相同公式给出，仅将 $ m $ 替换为 $ s $，表明结果可推广至非整数 $ s $。
• 极值函数 $ \hat{w}(\xi) = c / (1 + |\xi|^{2s}) $ 实现了不等式中的等号，证明常数 $ K(n,s) $ 确实是最优的。
• 该常数 $ K(n,s) $ 在最小性意义上是最优的，即不存在更小的常数能对所有 $ u \in H^s(\mathbb{R}^n) $ 成立，这一点由 Young 不等式链中等号成立所证实。
• 当 $ n=1, m=2 $ 时，最优常数给出 $ \|u\|_{L^\infty(\mathbb{R})} \leq \frac{\sqrt[4]{2}}{\sqrt[8]{27}} \|u\|_{L^2}^{3/4} \|D^2 u\|_{L^2}^{1/4} $，且该界为最优。
• 当 $ n=2, m=2 $ 时，最优常数给出 $ \|u\|_{L^\infty(\mathbb{R}^2)} \leq \frac{1}{2} \|u\|_{L^2}^{1/2} \|D^2 u\|_{L^2}^{1/2} $，且该界为最优。