[論文レビュー] Isoperimetric Inequalities and Sharp Estimate for Positive Solution of Sublinear Elliptic Equations

Qiuyi Dai, Renchu He+1 more|arXiv (Cornell University)|Mar 19, 2010

Nonlinear Partial Differential Equations参考文献 16被引用数 3

ひとこと要約

本稿は、シュワルツ対称化と再配分技法を用いて、非線形楕円型方程式の正の解に対する鋭い等周不等式を確立する。$ L^{q+1} $-ノルムと解の本質的上界が、同じ体積の球上での解を用いた式によって上から抑えられ、等号が成立するのは領域が球である場合に限る。これにより、対称化と球上でのモデル問題との比較を用いた鋭い推定が得られる。

ABSTRACT

In this paper, we prove some isoperimetric inequalities and give a sharp bound for the positive solution of sublinear elliptic equations.

研究の動機と目的

• 有界領域における非線形楕円型方程式の正の解の $ L^{k} $-ノルムおよび本質的上界に対する鋭い上界を導出すること。
• $ 0 < q < 1 $ における $ -\Delta u = u^q $ の解に対する、等周型不等式を確立し、固有関数型対称化手法を非線形問題へ拡張すること。
• 最良の上界が、領域 $ \Omega $ が球である場合にかつその場合にのみ達成されることを証明し、対称性による極値性を特徴づけること。
• Chiti らの固有関数対称化の技法（例：Chiti の研究）を、非線形方程式の正の解の文脈へ一般化すること。

提案手法

• 元の領域 $ \Omega $ を同じ体積の球 $ \Omega^* $ にシュワルツ対称化することで、測度を保ちながら比較を可能にする。
• 比較解として、$ \Omega^* $ 上の補助問題 $ -\Delta h = h^q $ in $ \Omega^* $, $ h = 0 $ on $ \partial\Omega^* $ を構成する。
• $ u $ と $ h $ の減少再配分を比較する再配分法を適用し、Chiti の研究で知られている鋭い不等式を活用する。
• 正規化とスケーリングを用いた不等式の導出： $ u $ の $ L^k $-ノルムおよび $ \mathrm{ess} \sup $ は、$ u $ の $ L^{q+1} $-ノルムにスケーリングされた $ h $ のノルムによって制御される。
• ファーバー＝クラーハン型不等式およびグリーン関数の推定を用いて $ h $ の最大値を評価し、領域体積に明示的な依存性を導く。
• $ S_q(\Omega) = \|u\|_{L^{q+1}(\Omega)}^{q-1} $ の関数的を用いて、領域間でのノルムの関係を確立し、対称化の下での単調性を示す。

実験結果

リサーチクエスチョン

• RQ1 有界領域 $ \Omega $ における $ -\Delta u = u^q $ の正の解の $ L^k $-ノルムに対する鋭い上界は、その $ L^{q+1} $-ノルムを用いてどのように表されるか？
• RQ2 解の最大点での値は、$ L^{q+1} $-ノルムの関数として上から抑えられ、等号が成立するのは $ \Omega $ が球である場合に限るか？
• RQ3 非線形楕円型方程式の解に対する等周不等式は、ラプラシアンの固有関数に知られているものとどのように比較できるか？
• RQ4 シュワルツ対称化と球上での径対称解との比較が、非線形問題に対する鋭い推定を導く際に果たす役割は何か？
• RQ5 推定の鋭さは領域の対称性によって特徴づけられるか？また、等号が成立するのはどのような条件下か？

主な発見

• 解 $ u $ の $ L^k $-ノルムは、$ \int_\Omega u^k dx \leq C(q,k,\Omega^*) \|u\|_{L^{q+1}(\Omega)}^{\sigma_1} $ を満たし、ここで $ \sigma_1 = \frac{2(1+q)k + (1-q^2)n}{n+2 - (n-2)q} $ であり、等号が成立するのは $ \Omega $ が球である場合に限る。
• $ u $ の本質的上界は、$ \max_x u(x) \leq C(q,\Omega^*) \|u\|_{L^{q+1}(\Omega)}^{\sigma_2} $ で抑えられ、ここで $ \sigma_2 = \frac{2(1+q)}{n+2 - (n-2)q} $ であり、等号が成立するのは $ \Omega $ が球である場合に限る。
• 定数 $ C(q,\Omega^*) $ は、$ \Omega^* $ 上で定義された対称化問題を満たす $ h $ を用いて $ \max_{x\in\Omega^*} h(x) / \|h\|_{L^{q+1}(\Omega^*)}^{\sigma_2} $ として定義され、グリーン関数の推定により明示的に計算可能である。
• $ \Omega^* $ 上の $ h $ の最大値は、$ \left[ \frac{ |\Omega| }{ \omega_n (2n)^{n/2} } \right]^{2/((1-q)n)} $ で抑えられ、これにより $ \|u\|_{L^\infty} $ の体積依存的な鋭い上界が得られる。
• $ k \geq q+1 $ の仮定の下で、$ u $ の $ L^k $-ノルムは $ h $ のそれ以下、すなわち $ \int_\Omega u^k dx \leq \int_{\Omega^*} h^k dx $ が成り立ち、等号が成立するのは $ \Omega $ が球である場合に限る。
• 推定の鋭さは、対称化比較における等号条件により証明され、これは $ \Omega $ が球である場合にのみ成立するため、径対称領域の極値性が確認される。