[論文レビュー] Local boundedness, maximum principles, and continuity of solutions to infinitely degenerate elliptic equations

Lyudmila Korobenko, Cristian Rios+2 more|arXiv (Cornell University)|Jun 30, 2015

Nonlinear Partial Differential Equations参考文献 7被引用数 4

ひとこと要約

本稿は、非有界係数を伴う無限に退化する楕円型方程式の弱解について、退化幾何における新規のPoincaréおよびOrlicz-Sobolev不等式を用いて、局所有界性、最大原理、連続性を確立する。特に、$ f_{k,\sigma}(x) = |x| \left(\ln(k) \frac{1}{|x|}\right)^\sigma $ で定義される対数的退化条件の下で、解が有界でありかつ連続であることを示し、これにより、やや非線形性と退化性が小さい非線形方程式の弱擬楕体性を証明する。

ABSTRACT

We develop subrepresentation inequalities for infinitely degenerate metrics, and obtain corresponding Poincare and Sobolev inequalities. We then derive conditions on the degenerate metric under which weak solutions to associated infinitely degenerate equations with rough coefficients are locally bounded, satisfy a maximum principle, or are continuous. As an application we obtain W-hypoellipticity of certain infinitely degenerate quasilinear equations with smooth coefficients having mild nonlinearities and degeneracies.

研究の動機と目的

• 非有界係数を伴う無限に退化する楕円型方程式のDe Giorgi-Moser型正則性理論を構築すること。
• 楕円型性が点において無限の順序で0に退化するような状況において、古典的な解の局所有界性および連続性理論を拡張すること。
• 弱解が局所的に有界である、最大原理を満たす、あるいは連続である条件を特定すること、特に $ f_{k,\sigma}(x) = |x| (\ln(k)/|x|)^\sigma $ のような退化形態に対して。
• このような退化性と滑らかなデータを伴う特定の非線形方程式に対して、弱擬楕体性（すべての弱解が滑らかである）を証明すること。
• 反例を用いて結果の鋭さを示し、理論を3次元に拡張すること。

提案手法

• 無限に退化するベクトル場の幾何に特化した部分表現不等式を構築する。
• 退化計量 $ f_{k,\sigma} $ に関連する平面および高次元におけるPoincaréおよびOrlicz-Sobolev不等式を導出する。
• これらの不等式を仮定したもとで、抽象的なMoserおよびDe Giorgi反復法を適用し、古典的手法を退化系に一般化する。
• A-測地線およびA-弧長を用いて退化計量の内在的幾何を定義し、積分およびノルム推定を可能にする。
• 3次元におけるKusuoka-Stroock作用素に理論を適用し、特定の退化条件の下で有界でない弱解の存在を証明する。
• 極座標および座標変換を用いて回転対称性を分析し、非定数の径方向解が存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 係数行列 $ A \sim \begin{pmatrix} 1 & 0 \\ 0 & f_{k,\sigma}(x)^2 \end{pmatrix} $ を持つ方程式 $ \text{div}(A(x,y,u)\nabla u) = \varphi(x,y) $ の弱解が、$ k $ と $ \sigma $ のどのような条件下で局所的に有界となるか？
• RQ2 この無限に退化する設定において、弱下解に対して最大原理が成立するのはいつか？
• RQ3 同じ退化条件のもとで弱解の連続性を確立できるか？また、Orlicz-Sobolev不等式はその際に果たす役割は何か？
• RQ4 解が有界または連続でなくなる可能性がある、退化の鋭い閾値（$ \sigma $ および $ k $ に関して）は何か？
• RQ5 理論は3次元に拡張可能か？Kusuoka-Stroock作用素にどのような含意があるか？

主な発見

• 方程式 $ \partial_x^2 u + f_{k,\sigma}(x)^2 \partial_y^2 u = \varphi(x,y) $ の解は、$ \sigma > 1 $ かつ $ k \geq e $ のとき局所的に有界であり、反例によりその鋭さが示された。
• 最大原理は $ \sigma > 1 $ のとき弱下解に対して成立し、この条件下で内球不等式が確立された。
• 弱解は $ \sigma > 1 $ のとき連続であり、Bombieri型反復および半ハーナック不等式を用いて証明された。
• 3次元において、Kusuoka-Stroock作用素 $ \partial_x^2 + \partial_y^2 + f(x)^2 \partial_z^2 $ が擬楕体的であるための必要十分条件は $ \lim_{x \to 0} x \ln f(x) = 0 $ であり、この条件は鋭い。
• 退化計量の非一様性と矛盾するため、径方向構造は非定数径方向解をもたない。
• $ \sigma \leq 1 $ のとき、不連続な弱解の明示的例が構成され、$ \sigma > 1 $ 条件の鋭さが裏付けられた。