[論文レビュー] W^{2,1}_p Solvability for Parabolic Poincare Problem

Lubomira G. Softova|arXiv (Cornell University)|Jul 29, 2003

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

ひとこと要約

この論文は、境界ベクトル場が至る所内向きでない場合の退化する放物型斜交微分問題（ポアンカレ問題）に対して、$W^{2,1}_p$-可解性を確立する。境界ベクトル場を非接線的になるように摂動する正則化技術を用い、すべての $p \in (1,\infty)$ に対して $W^{2,1}_p(Q)$ 内で一意な強い可解性を証明する。これは、最大原理やベクトル場に対する追加の構造的条件を要しない、事前推定とコンパクト性の議論に依拠するものである。

ABSTRACT

We study Poincaré problem for a linear uniformly parabolic operator $¶$ in a cylinder $Q=Ω imes (0,T).$ The boundary operator $\B$ is defined by an oblique derivative with respect to a tangential vector field $ł$ defined on the lateral boundary $S.$ The coefficients of $¶$ are supposed to be $VMO$ away from the set of tangency $E$ and to possess higher regularity in $x$ near to $E.$ A unique strong solvability result is obtained in $W^{2,1}_p(Q)$ for all $p\in (1,\infty).$

研究の動機と目的

• 退化する放物型斜交微分問題に対して、$W^{2,1}_p(Q)$ 内での強い可解性を確立すること。
• 接線集合近辺での正則性の損失に対処するため、接線集合の近傍でデータに高い正則性を課すこと。
• 最大原理やベクトル場に対する追加の幾何的制約を必要としない、退化問題への可解性理論の拡張。
• ベクトル場が境界を越えて符号を変えることのない中立的接触を有する放物型ポアンカレ問題に対する統一的アプローチの提供。

提案手法

• ベクトル場 $\ell(x,t)$ を $\varepsilon \nu(x)$ を加えることで正則化し、各 $\varepsilon > 0$ に対して非接線的問題を得る。
• 積分表現とグロンウォール型不等式を用いて、$\varepsilon$ に依存しない $W^{2,1}_p(Q)$ 内の一様事前推定を導出する。
• ソボレフ空間におけるコンパクト性の議論を用い、正則化解 $u^\varepsilon$ の弱収束極限 $u$ を $W^{2,1}_p(Q)$ 内で抽出する。
• 接線集合の近傍 $\Sigma$ におけるトレース理論と $V^2_p(\Sigma)$ 内の収束を用いて、極限がトレースの意味で元の境界条件を満たすことを検証する。
• VMO係数とシャピロ＝ロパティンスキー条件を満たす境界作用素を有する正則問題に対する既知の可解性結果を活用する。
• $L^p$ および $V^1_p$ ノルムにおける $u^\varepsilon$ の $u$ への収束を確立し、$u$ が弱い意味で元のPDEおよび境界条件を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル場が至る所内向きでない中立的接触を有する放物型ポアンカレ問題に対して、$W^{2,1}_p(Q)$ 内での強い可解性を確立できるか？
• RQ2 正則化による $\ell_\varepsilon = \ell + \varepsilon \nu$ のアプローチが、解の $W^{2,1}_p$ ノルムに対して $\varepsilon$ に依存しない一様推定を与えるか？
• RQ3 最大原理を用いずに、ベクトル場に対する追加の幾何的または正則性条件を課すことなく、一意可解性を証明できるか？
• RQ4 解の接線集合近辺での振る舞いがデータに必要な正則性にどのように影響するか、そしてこれは $L^p$-ベースのノルムでどのように定量化できるか？

主な発見

• すべての $p \in (1,\infty)$ に対して、中立的接触を有する退化ケースであっても、問題は $W^{2,1}_p(Q)$ 内で一意に可解である。
• 追加の仮定を要しないで、データ $f$、$\varphi$ および作用素の構造からのみ、解の $W^{2,1}_p(Q)$ 内の事前推定が導出される。
• 正則化技術により、$\varepsilon$ に依存しない $W^{2,1}_p(Q)$ 内の一様バインディングが正則化解 $u^\varepsilon$ に対して保証される。
• 正則化解 $u^\varepsilon$ の $\varepsilon \to 0$ における極限は $W^{2,1}_p(Q)$ に属し、トレースの意味で元のPDEおよび境界条件を満たす。
• 境界作用素 $\mathcal{B}_\varepsilon u^\varepsilon$ の $\mathcal{B}u$ への $V^1_p(\Sigma)$ 内での収束が確立され、トレース条件が成立することが確認される。
• 最大原理に依存せず、すべての $p \in (1,\infty)$ に一様に適用可能な方法であり、従来の手法の制限を克服する。