[論文レビュー] Uniform bounds via regularity estimates for elliptic PDE with critical growth in the gradient

Boyan Sirakov|arXiv (Cornell University)|Sep 15, 2015

Nonlinear Partial Differential Equations参考文献 11被引用数 6

ひとこと要約

本稿では、粘性解に対する一様な楕円型完全非線形PDEの、勾配における臨界的二次的成長をもつものについて、新規の境界成長補題と半ハルナック不等式を用いて一様な事前境界を確立する。主な貢献は、再スケーリングや背理法に依存しない堅牢な手法であり、係数が連続でない場合でも解の存在と非一意性を示すことができ、ラプラシアンを超えて一般のイサース作用素へと先行研究を拡張する。

ABSTRACT

We prove non-uniqueness and study the behaviour of viscosity solutions of a class of uniformly elliptic fully nonlinear equations of Hamilton-Jacobi-Bellman-Isaacs type, with quadratic growth in the gradient. The crucial a priori bound for the solutions is proved through an argument which uses a boundary growth lemma, and consequences such as boundary "half"-Harnack inequalities, which are of independent interest. Our results are new even for linear equations.

研究の動機と目的

• 一様な楕円型PDEの粘性解について、勾配における臨界的二次的成長をもつものに対して一様な事前境界を確立すること。これは、一次および二次の項のスケーリングが一致するため、臨界的である。
• 零次項係数c(x)が正である場合のディリクレ問題における非一意性の未解決問題を解消すること。これは、ラプラシアンや厳密に正のμ(x)に制限された先行研究を拡張するものである。
• ラプラシアン構造に依存しない手法を開発すること。これにより、一様な強調性と係数の有界性にのみ依存し、一般のイサース作用素へと結果を一般化する。
• 再スケーリングや背理法の議論を避けることで、最小限の正則性仮定（不連続な主要係数を含む）のもとで解の存在と非一意性を示す。

提案手法

• 境界成長補題を用いて、解が境界付近でどのように振る舞うかを制御し、解と境界までの距離の比の下界を確立する。
• 半ハルナック不等式（境界「半」ハルナック）を、境界付近でのサブスオリューションの局所的制御を可能とする主要な技術的道具として導出する。
• 元のPDEから導かれる二つの片側不等式系に、境界弱ハルナック不等式（BWHI）と境界強最大原理（BQSMP）を適用する。
• 変換v = μ⁻¹(1 - e^{μu})を用いて、右辺が有界となる形に元の不等式を変形し、境界における標準的なリプシッツ推定が可能になるようにする。
• 積分推定と重み付きルベーグ空間における補間を用いて、再スケーリング、背理法、極限への移行に依存せず、直接的かつ堅牢な境界性の証明を行う。
• v₁とv₂からなる系にこの手法を適用し、v₁が勾配項を制御し、v₂が零次項を制御する。主なステップは、対数的成長を用いてv₂をv₁で有界化することである。

実験結果

リサーチクエスチョン

• RQ1 係数の連続性やラプラシアン構造を仮定しない状況下で、勾配における臨界的二次的成長をもつ一様な楕円型PDEの粘性解に対して、一様な事前境界を確立できるか？
• RQ2 c(x) > 0 のとき、このような方程式のディリクレ問題が複数の解をもつのはどのような条件下か？
• RQ3 事前境界の必要条件である、c(x)とμ(x)の台が球内で重なること——これは[15]で示されたもの——が、これまでに研究された場合を越えて一般に十分条件であるか？
• RQ4 再スケーリングや背理法を用いずに、事前境界を証明できるか。また、この手法は一般のイサース作用素へと拡張可能か？
• RQ5 不等式−Δv₂ ≤ f₂(x,v₂)における係数d(x) = c(x)u(x)の鋭い正則性閾値は何か。v₂が有界であることを保証するには？

主な発見

• 一般の一様楕円型イサース作用素をもつ、勾配における二次的成長をもつPDEのディリクレ問題の粘性解について、最小限の係数仮定のもとで一様な事前境界を確立した。
• 境界は、強調性定数、係数のL∞有界性、および∫_B c^ε dxの下界にのみ依存する。ε > 0 は次元に依存する。
• c(x) ≡ c₀ > 0 が小さく、M(x) = μ₀I かつ μ₀ > 0 である場合、解の非一意性が証明された。これは、先行研究を一般の作用素へと拡張するものである。
• 再スケーリング、背理法、極限操作を避けることで、有界性の直接的かつ堅牢な証明が得られた。
• [15]で示された必要条件——supp(c) ∩ supp(μ)が球を含む——が、次元n ≤ 4の場合、または境界付近での追加の成長条件が満たされる場合、一般に十分条件であることが示された。
• バゼスの強最大原理により、μが負の場合に有界でないサブスオリューションが存在しないことが証明され、したがって、有界でないサブスオリューションの列が存在しないことが保証され、結果として有界性が保証される。