[論文レビュー] On Neumann and oblique derivatives boundary conditions for nonlocal elliptic equations

Guy Barles, Christine Georgelin+1 more|Feb 22, 2013

Advanced Mathematical Modeling in Engineering被引用数 5

ひとこと要約

本稿は、滑らかでない、非有界あるいは非凸な領域においても適用可能な、非局所的楕円型偏微分方程式（PDE）に対する粘性解の厳密な枠組みを確立する。境界条件は領域の補集合全体にわたって定義されており、Neumann型および斜交微分境界条件を含む。非局所方程式のための新しい粘性解の定義を導入し、比較原理を用いて一意性を証明し、全空間問題への領域のペナルティ化によって存在性を示す。

ABSTRACT

Inspired by the penalization of the domain approach of Lions & Sznitman, we give a sense to Neumann and oblique derivatives boundary value problems for nonlocal, possibly degenerate elliptic equations. Two different cases are considered: (i) homogeneous Neumann boundary conditions in convex, possibly non-smooth and unbounded domains, and (ii) general oblique derivatives boundary conditions in smooth, bounded, and possibly non-convex domains. In each case we give apropriate definitions of viscosity solutions and prove uniqueness of solutions of the corresponding boundary value problems. We prove that these boundary value problems arise in the penalization of the domain limit from whole space problems and obtain as a corollary the existence of solutions of these problems.

研究の動機と目的

• 滑らかでない、非有界あるいは非凸な境界を持つ領域における、非局所的で退化する可能性のある楕円型PDEに対して、Neumannおよび斜交微分境界条件を定義し、厳密に形式化すること。
• 解が全空間で定義される必要がある非局所的設定において、境界条件を領域の補集合全体にわたって定義する古典的境界条件の概念を拡張すること。
• 領域およびベクトル場に関する適切な構造的・幾何的仮定のもとで、比較原理を確立し、粘性解の一意性を証明すること。
• これらの境界値問題の解が、全空間問題へのペナルティ化による近似の極限として得られることを示し、近似による存在性を証明すること。

提案手法

• 非局所作用素 $\mathcal{I}[u]$ の構造を用いて、領域の補集合全体に境界条件を課した非局所PDEのための粘性解の新しい定義を導入する。
• Lions & Sznitman のインスピレーションを受けて、領域のペナルティ化アプローチを適用し、境界条件が $\mathbb{R}^N$ 上に定義された問題にペナルティ項を加えた極限として現れるようにする。
• 非局所作用素に適応された粘性解の枠組みを用い、下位解と上位解の間の比較原理に依存する。
• 畳み込みによる正則化技術を用いて、$\gamma(x)$ の方向における方向微分係数が制御された滑らかな試験関数を構成する。
• ベクトル場 $-\gamma(x)$ の特徴線法を用いて、外部から境界に到達可能かどうかを分析し、境界条件が適切に定義されていることを保証する。
• 特徴線常微分方程式 $\dot{X}_x(t) = -\gamma(X_x(t))$ の解が局所リプシッツ連続であることを示し、バリア関数の構成および正則性の証明の根拠とする。

実験結果

リサーチクエスチョン

• RQ1 解が領域外の値に依存する非局所的楕円型PDEに対して、Neumann型境界条件をどのように意味的に定義できるか？
• RQ2 領域およびベクトル場 $\gamma(x)$ にどのような条件を課すと、境界条件 $Du(x)\cdot\gamma(x) = g(x)$ が $\Omega^c$ で適切に定義され、一意解が得られるか？
• RQ3 領域のペナルティ化アプローチを非局所的方程式の斜交微分境界条件に拡張可能か？また、その結果として解の存在が得られるか？
• RQ4 どのような幾何的および正則性仮定のもとで、このような境界条件を備えた非局所PDEに対して比較原理が成立するか？
• RQ5 粘性解の性質を検証するために、$\gamma(x)$ の方向における方向微分係数が制御された滑らかな試験関数をどのように構成できるか？

主な発見

• 本稿は、滑らかでない、非有界あるいは非凸な領域においても有効な、非局所的楕円型PDEのNeumannおよび斜交微分境界条件に対する粘性解の新しい定義を確立する。
• 退化楕円性および構造的仮定 (1.3)、(1.5)、境界条件 (BC1)–(BC3) の下で、粘性解の一意性が証明される。
• 解は全空間問題へのペナルティ化の極限として得られ、境界値問題が自然にこのような近似から生じることを示し、近似による存在性が証明される。
• 特徴線常微分方程式 $\dot{X}_x(t) = -\gamma(X_x(t))$ の解が (BC1) および (BC2) の下で局所リプシッツ連続であることが示され、バリア関数の構成が可能になる。
• 畳み込みによる正則化により、コンパクト集合上で $\gamma \cdot D w_\varepsilon \geq 1$ を満たす滑らかな関数 $w_\varepsilon$ が得られ、これは粘性解の検証に不可欠である。
• 比較原理を $\overline{G}$ および $\underline{G}$ を用いて定義された下位解と上位解に適用し、$\overline{u} = \underline{u} = u$ を結論づけることで、一意性および近似の収束が証明される。