[論文レビュー] The Variable Coefficient Thin Obstacle Problem: Carleman Inequalities

Herbert Koch, Angkana Rüland+1 more|arXiv (Cornell University)|Jan 19, 2015

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

ひとこと要約

本稿は、可変係数薄障害問題を解析するための、新しいカルレマン推定量に基づくアプローチを導入し、$W^{1,p}$係数（$p > n+1$）のもとで解のほぼ最適なホルダー正則性を確立する。この手法により、消える順序の下半連続性、一様な成長上限・下限、コンパクトネス（吹き出し列による）、同次吹き出し極限が得られ、$p \geq 2(n+1)$ の場合、対数補正を含む$C^{1,1/2}$型正則性が得られる。

ABSTRACT

In this article we present a new strategy of addressing the (variable coefficient) thin obstacle problem. Our approach is based on a (variable coefficient) Carleman estimate. This yields semi-continuity of the vanishing order, lower and uniform upper growth bounds of solutions and sufficient compactness properties in order to carry out a blow-up procedure. Moreover, the Carleman estimate implies the existence of homogeneous blow-up limits along certain sequences and ultimately leads to an almost optimal regularity statement. As it is a very robust tool, it allows us to consider the problem in the setting of Sobolev metrics, i.e. the coefficients are only $W^{1,p}$ regular for some $p>n+1$. These results provide the basis for our further analysis of the free boundary, the optimal ($C^{1,1/2}$-) regularity of solutions and a first order asymptotic expansion of solutions at the regular free boundary which is carried out in a follow-up article in the framework of $W^{1,p}$, $p>2(n+1)$, regular coefficients.

研究の動機と目的

• 古典的な$C^{1,\gamma}$係数仮定を超えて、可変係数薄障害問題のための堅牢な解析的枠組みを構築すること。
• 係数が$W^{1,p}$（$p > n+1$）に限る場合の解の正則性推定を確立することにより、標準的な$C^{1,\gamma}$設定を超えること。
• 消える順序、吹き出し極限、自由境界の挙動を研究するための、新たな柔軟なツール（カルレマン不等式）を提供すること。
• 自由境界の後続解析および$W^{1,p}$正則性における解の漸近展開の基礎を築くこと。

提案手法

• 中心的な手法は、定数係数バージョンから導かれた可変係数カルレマン不等式を、摂動的技法によって適応したものである。
• カルレマン推定量を用いて、解の消える順序の上半連続性および一様な上界・下界の成長評価を証明する。
• $L^2$正規化された吹き出し列のコンパクトネスを確立し、特定の部分列に沿って同次吹き出し極限を構成可能にする。
• 従来の周波数関数手法に代わる、PDEに基づくアプローチを導入し、係数摂動に対してより高い柔軟性を提供する。
• 解と計量に対して反射技法を適用し、奇関数・偶関数拡張により境界値問題を内部楕円的推定量に還元する。
• 反射された問題にホルダー連続係数をもつ内部正則性推定量を適用し、勾配の上限と勾配のホルダー連続性を導く。

実験結果

リサーチクエスチョン

• RQ1 係数が$W^{1,p}$（$p > n+1$）に限る場合、薄障害問題の解にどのような正則性を確立できるか？
• RQ2 弱い係数正則性のもとで、解の消える順序はどのように振る舞い、下半連続性を示すか？
• RQ3 可変係数設定でも同次吹き出し極限が得られるか？また、それらは解の構造に何を明らかにするか？
• RQ4 勾配の最適正則性は何か？また、係数の可積分性にどのように依存するか？
• RQ5 正則性推定に現れる対数補正はどのように生じるか？また、係数の可積分性指数$p$にどのように依存するか？

主な発見

• 解の消える順序は上半連続である。自由境界構造を理解する上で重要な一歩である。
• 解は一様な上界・下界の成長評価を満たし、自由境界付近での制御された挙動を保証する。
• $L^2$正規化された吹き出し列は前コンパクトであり、同次極限プロファイルの抽出が可能である。
• 特定の部分列に沿って、吹き出し極限は同次的であり、消える順序が2未満の場合は分類が可能である。
• $p \in (n+1, 2(n+1))$ の場合、$w$の勾配は $|\nabla w(x) - \nabla w(y)| \leq C(\gamma) \|w\|_{L^2(B_1^+)} |x-y|^\gamma$ を満たし、$\gamma = 1 - \frac{n+1}{p}$ である。
• $p \in [2(n+1), \infty]$ の場合、勾配は $|\nabla w(x) - \nabla w(y)| \leq C \|w\|_{L^2(B_1^+)} |x-y|^{1/2} \ln(|x-y|)^2$ を満たし、$\epsilon \to 0$ のとき$C^{1,1/2-\epsilon}$推定に対数的損失が現れる。