[论文解读] Sharp Sobolev trace inequalities for higher order derivatives

Qiaohua Yang|arXiv (Cornell University)|Jan 13, 2019

Nonlinear Partial Differential Equations参考文献 26被引用 5

一句话总结

本文利用双曲空间上的散射理论和广义泊松核，建立了欧氏单位球面与上半空间上高阶导数的精确索博列夫迹不等式。通过散射理论与广义泊松核，推导出极值函数的显式公式，并计算了Case与Chang引入的适配度量，将经典结果如Lebedev-Milin不等式与Beckner型不等式推广至分数阶GJMS算子等高阶微分算子。

ABSTRACT

Motivated by a recent work of Ache and Chang concerning the sharp Sobolev trace inequality and Lebedev-Milin inequalities of order four on the Euclidean unit ball, we derive such inequalities on the Euclidean unit ball for higher order derivatives. By using, among other things, the scattering theory on hyperbolic spaces and the generalized Poisson kernel, we obtain the explicit formulas of extremal functions of such inequations. Moreover, we also derive the sharp trace Sobolev inequalities on half spaces for higher order derivatives. Finally, we compute the explicit formulas of adapted metric, introduced by Case and Chang, on the Euclidean unit ball, which is of independent interest.

研究动机与目标

• 将精确索博列夫迹不等式推广至欧氏单位球面与上半空间上的高阶导数。
• 利用散射理论与广义泊松核，推导这些不等式极值函数的显式公式。
• 在欧氏单位球面上显式计算Case与Chang引入的适配度量，该结果本身具有独立意义。
• 将Beckner型不等式与Lebedev-Milin不等式推广至如分数阶GJMS算子等高阶微分算子。
• 通过共形不变性与高阶微分算子，建立球面与上半空间上迹不等式的等价性。

提出的方法

• 利用双曲空间上的散射理论，分析高阶微分算子的结构及其边界行为。
• 应用广义泊松核，将函数从边界调和延拓至单位球内部。
• 利用索博列夫型不等式的共形不变性，关联球面、球体与上半空间上的不等式。
• 通过递推微分与特殊函数恒等式，推导高阶扩展在Neumann与Dirichlet边界条件下的显式公式。
• 应用格林公式与分部积分，将高阶梯度的$L^2$-范数与含分数阶拉普拉斯算子的边界积分相联系。
• 利用$rac{ abla^{m+1}U_m}{ ext{norm}}$的谱定义及算子$rac{ abla^{m+1}U_m}{ ext{norm}}$，通过$rac{ abla^{m+1}U_m}{ ext{norm}}$-范数推导出精确常数。

实验结果

研究问题

• RQ1 在欧氏单位球面上，高阶导数的精确索博列夫迹不等式是什么？它们如何推广经典不等式如Lebedev-Milin不等式？
• RQ2 如何利用散射理论与泊松核，显式刻画这些高阶迹不等式的极值函数？
• RQ3 Case与Chang在欧氏单位球面上引入的适配度量的结构是什么？它与高阶共形不变量有何关系？
• RQ4 高阶GJMS算子与分数阶拉普拉斯算子如何影响迹不等式的精确性与等号成立条件？
• RQ5 通过共形不变性，上半空间上的迹不等式与单位球面上相应不等式之间的确切关系是什么？

主要发现

• 本文在欧氏单位球面与上半空间上建立了高阶导数的精确迹不等式，将Beckner与Lebedev-Milin的结果推广至分数阶GJMS算子。
• 极值函数的显式公式为$c(\rho^2 + |x - x_0|^2)^{-\frac{n - 2\tilde{\nu}}{2}}$，其中$\tilde{\nu}$对应算子的阶数。
• 在欧氏单位球面上，适配度量被显式计算，并表明其与边界共形结构及高阶算子理论相关。
• 迹不等式中的精确常数仅由形如$c(\rho^2 + |x - x_0|^2)^{-\frac{n - 2\tilde{\nu}}{2}}$的函数实现，确认了极值函数的唯一性。
• 通过伽马函数恒等式，证明Neumann边界条件$\frac{\nabla^{2k}U_m}{\text{norm}}|_{y=0}$与$\frac{\nabla^{2k}f}{\text{norm}}$成比例。
• 本文证明了上半空间上$(m+1)$阶梯度的$L^2$-范数等于含$(m + \frac{1}{2})$阶分数阶拉普拉斯算子的边界积分，从而得到精确常数。