[論文レビュー] Fractional conformal Laplacians and fractional Yamabe problems

María del Mar González, Jie Qing|arXiv (Cornell University)|Dec 2, 2010

Nonlinear Partial Differential Equations参考文献 25被引用数 21

ひとこと要約

本稿は、漸近的に双曲的計量の散乱作用素を退化する楕円型境界値問題のディリクレ・ツー・ノイマン作用素に結びつけることで、分数級ヤマベ問題を定式化し、解を求める。正規化された散乱作用素 $ P_\ho^{\hat{h}} $ を用いて分数級の共形ラプラシアンを確立し、分数級ヤマベ汎関数 $ I_\gamma[\hat{h}] $ の最小化解の存在を証明するとともに、$ \theta_{n,\gamma} $ の符号に依存する臨界閾値を特定する。これにより、古典的および境界ヤマベ問題が非局所的共形幾何学へと拡張され、新規の最大原理とトレースソボレフ不等式が得られる。

ABSTRACT

Based on the relations between scattering operators of asymptotically hyperbolic metrics and Dirichlet-to-Neumann operators of uniformly degenerate elliptic boundary value problems, we formulate fractional Yamabe problems that include the boundary Yamabe problem studied by Escobar. We observe an interesting Hopf type maximum principle together with interplays between analysis of weighted trace Sobolev inequalities and conformal structure of the underlying manifolds, which extend the phenomena displayed in the classic Yamabe problem and boundary Yamabe problem.

研究の動機と目的

• 漸近的に双曲的多様体上の共形幾何学と散乱理論を用いて、古典的および境界ヤマベ問題を分数級に一般化すること。
• 漸近的に双曲的計量の散乱作用素に関連する非局所作用素として、分数級共形ラプラシアン $ P_\\gamma^{\\hat{h}} $ を確立すること。
• 古典ヤマベ汎関数に類似した分数級ヤマベ汎関数 $ I_\gamma[\hat{h}] $ を定式化し、定数分数級曲率 $ Q_\gamma^{\hat{h}} $ を持つ計量を最小化することを目的とする。
• 重み付きトレースソボレフ不等式と共形不変性の関係を、退化する楕円型境界問題の文脈で分析すること。
• ブロー・アップ解析とテスト関数の構成を用いて、定数 $ \theta_{n,\gamma} $ の符号条件を満たす場合に分数級ヤマベ問題の解の存在を証明すること。

提案手法

• $ \gamma \in (0,1) $ の場合に、メロモルフィック族 $ S(s) $ を用いて定義される正規化された散乱作用素 $ P_\gamma[g^+, \hat{h}] $ を用いて、共形分数ラプラシアンを定義する。
• 形態 $ -\text{div}(\rho^a \nabla U) + E(\rho)U = 0 $ の退化する楕円型偏微分方程式（$ X^{n+1} $ 内）における散乱作用素とディリクレ・ツー・ノイマン作用素の対応関係を確立する。ここで $ a = 1 - 2\gamma $ である。
• 分数ラプラシアンの基底状態 $ w_1 $ を用いて、スケーリングとカットオフを施したテスト関数 $ V_\mu $ を構成し、エネルギー汎関数 $ \mathcal{K}(V_\mu, X) $ をテストする。
• 境界付近 $ B_\epsilon^+ $、アニュラス領域 $ B_{2\epsilon}^+ \setminus B_\epsilon^+ $、および全領域において、重み付き $ L^2 $ ノルムとトレース不等式を用いてエネルギーを計算する。
• ガンマ関数と曲率項を用いて、ブロー・アップの議論に重要な符号行動を決定する定数 $ \theta_{n,\gamma} $ を導出する。
• 精密なブロー・アップ解析と漸近的推定を適用し、$ \theta_{n,\gamma} < 0 $ のとき $ \mathcal{K}(V_\mu, X) < \Lambda(S^n, [g_c]) \left[ \int_M (w_\mu)^{2^*} dv_{\hat{h}} \right]^{2/2^*} $ を示し、最小化解の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 古典ヤマベ問題は、漸近的に双曲的多様体上での共形幾何学と散乱理論を用いて、分数級に拡張可能であろうか？
• RQ2 分数級共形ラプラシアン $ P_\gamma^{\hat{h}} $ は、退化する楕円型境界値問題のディリクレ・ツー・ノイマン作用素とどのように関係するか？
• RQ3 重み付きトレースソボレフ不等式は、分数級ヤマベ問題の可解性にどのような役割を果たすか？
• RQ4 どのような幾何的または解析的条件下で、汎関数 $ I_\gamma[\hat{h}] $ は定数分数級曲率 $ Q_\gamma^{\hat{h}} $ を持つ最小化解を許容するか？
• RQ5 分数級ヤマベ問題における解の存在を支配する非局所的最大原理または曲率閾値は存在するか？

主な発見

• 分数級ヤマベ問題は、汎関数 $ I_\gamma[\hat{h}] = \frac{\int_M w P_\gamma^{\hat{h}} w \, dv_{\hat{h}}}{\left( \int_M w^{2n/(n-2\gamma)} \, dv_{\hat{h}} \right)^{(n-2\gamma)/n}} $ の最小化として定式化され、古典ヤマベ汎関数を一般化する。
• 分数級共形ラプラシアン $ P_\gamma^{\hat{h}} $ は、主記号 $ \sigma(P_\gamma^{\hat{h}}) = \sigma(( -\Delta_{\hat{h}} )^\gamma) $ を持つ共形共変作用素として特定され、ラプラシアンの共形パワーを拡張する。
• 重要なエネルギー推定として、$ \mathcal{K}(V_\mu, X) \leq \Lambda(S^n, [g_c]) \left[ \int_M (w_\mu)^{2^*} dv_{\hat{h}} \right]^{2/2^*} + \theta_{n,\gamma} \|\pi\|^2 \mu^2 \int_{\mathbb{R}^n} |\hat{w}_1(\xi)|^2 |\xi|^{2(\gamma-1)} d\xi + \mu^2 o(1) + c\mu^3 $ が得られ、ここで $ \theta_{n,\gamma} $ は明示的に定義される。
• $ \theta_{n,\gamma} < 0 $ のとき、テスト関数 $ V_\mu $ のエネルギーはモデル汎関数の下限を厳密に下回り、$ I_\gamma[\hat{h}] $ の最小化解の存在を示唆する。
• 本結果により非局所的最大原理が確立され、背景計量が umbilic でなく $ \theta_{n,\gamma} < 0 $ のとき、分数級ヤマベ問題は解を有することが確認され、境界ヤマベ問題が分数級に拡張されたことが示される。
• 解析により、ヤマベ定数が正で、共形コン pact アインシュタイン条件の下で、$ \gamma \in (0,1) $ のとき $ P_\gamma^{\hat{h}} $ のグリーン関数が正であることが確認される。