[論文レビュー] 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作用素を含む高階作用素へ一般化すること。
• 共形不変性および高階微分作用素を用いて、球面上の境界値不等式と半空間上の境界値不等式の等価性を確立すること。

提案手法

• 双曲空間上の散乱理論を用いて、高階微分作用素の構造および境界における挙動を分析する。
• 一般化されたポアソン核を用いて、関数を境界から単位球内部へ調和的拡張する。
• ソボレフ型不等式の共形不変性を用いて、球面、球体、および半空間上の不等式を関連付ける。
• 再帰的微分および特殊関数の恒等式を用いて、高階拡張のノイマンおよびディリクレ境界条件の明示的公式を導出する。
• グリーンの公式および部分積分を用いて、高階勾配の$L^2$ノルムを分数ラプラシアンを含む境界積分と関連付ける。
• 演算子$ \frac{\nabla^{m+1}U_m}{\text{norm}} $のスペクトル的定義と$ \frac{\nabla^{m+1}U_m}{\text{norm}} $-ノルムを用いて、$ \frac{\nabla^{m+1}U_m}{\text{norm}} $-ノルムによる鋭い定数を導出する。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド単位球上での高階微分作用素に対する鋭いソボレフ境界値不等式は何か？ そして、Lebedev-Milin型の古典的不等式はどのように一般化されるか？
• RQ2 散乱理論およびポアソン核を用いて、これらの高階境界値不等式の極値関数を明示的に特徴づける方法は何か？
• RQ3 CaseとChangによって導入されたユークリッド単位球上での適応計量の構造は何か？ そして、高階共形不変量とどのように関係するか？
• RQ4 高階GJMS作用素および分数ラプラシアンは、境界値不等式の鋭さおよび等号成立条件にどのように影響を与えるか？
• RQ5 共形不変性を用いて、半空間上の境界値不等式と単位球上の対応する不等式との正確な関係は何か？

主な発見

• 本稿は、分数GJMS作用素を含む高階作用素へ一般化されたBecknerおよびLebedev-Milinの結果を拡張し、ユークリッド単位球および半空間上での高階微分作用素に対する鋭い境界値不等式を確立する。
• 極値関数の明示的公式は$ 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}} $の形に限って達成され、極値関数の一意性が確認された。
• ガンマ関数の恒等式を用いて、ノイマン境界条件$ \frac{\nabla^{2k}U_m}{\text{norm}}|_{y=0} $が$ \frac{\nabla^{2k}f}{\text{norm}} $に比例することが示された。
• 本稿は、半空間上での$(m+1)$階勾配の$L^2$ノルムが、$(m + 1/2)$階分数ラプラシアンを含む境界積分に等しいことを証明し、鋭い定数が得られることを示した。