[論文レビュー] Smoothness of generalized solutions for nonlocal elliptic problems on the plane

Pavel Gurevich|arXiv (Cornell University)|Apr 21, 2014

Differential Equations and Boundary Problems被引用数 3

ひとこと要約

本稿では、境界に交差する非局所項を有する有界な平面領域上での非局所楕円型問題の一般化解が、第二階ソボレフ空間 $W_2^2$ に属するための必要十分条件を確立する。非局所項が境界と交差する際に生じる特異性を分析することで、非局所作用素と右辺に一貫性条件を導入し、重み付きソボレフ空間における漸近解析および角領域におけるモデル問題を用いて滑らかさを保証する。

ABSTRACT

We study smoothness of generalized solutions of nonlocal elliptic problems in plane bounded domains with piecewise smooth boundary. The case where the support of nonlocal terms can intersect the boundary is considered. We announce conditions that are necessary and sufficient for any generalized solution to possess an appropriate smoothness (in terms of Sobolev spaces). The proofs are given in the forthcoming paper.

研究の動機と目的

• 境界付近の特異性が生じる可能性がある有界な平面領域上での非局所楕円型問題の一般化解が、$W_2^2(G)$ に属するための条件を特定すること。
• 非局所項の台が境界と交差する非局所楕円型理論における根本的課題に取り組むこと。これは、解にべき則的特異性を引き起こす。
• 特に領域の角点付近での正則性を保つために、非局所作用素と境界データの構造を同定すること。
• 同次および非同次非局所境界条件の両方を扱う枠組みを確立し、特徴点近傍での変数係数を含むこと。
• 第二階楕円型方程式に対するディリクレ問題からの結果を一般非局所条件へ拡張し、高階方程式への一般化を検討すること。

提案手法

• 境界 $\partial G$ 上の角点の有限集合 $\mathcal{K}$ を導入し、$\partial G \setminus \mathcal{K}$ を滑らかな曲線 $\Gamma_i$ に分解する。
• 非局所項が $\mathcal{K}$ 近傍に台を持つ非局所作用素 $\mathbf{B}_i^1$ と $\mathbf{B}_i^2$ を定義する。ここで $\mathbf{B}_i^1$ は境界曲線を内部に写す微分同相 $\Omega_{is}$ を介して作用する。
• 各 $g_j \in \mathcal{K}$ の近傍で局所座標変換を適用し、領域を平面角 $K_j = \{ r>0, |\omega| < \omega_j \}$ に変換し、極座標での解析を可能にする。
• 重み付きソボレフ空間における関数への非局所作用素の作用の挙動に関する一貫性条件 (11) を導入し、解の正則性を保証する。
• 角領域におけるモデル問題と重み付き $L^2$-ソボレフ空間における漸近展開を用いて、$W_2^2$-正則性の必要十分条件を導出する。
• 条件 4 およびその弱化版である条件 $4'$ を確立し、角点における跡と微分の一致性を非局所作用素が保つことで、解の滑らかさを保証する。

実験結果

リサーチクエスチョン

• RQ1 非局所作用素と境界データにどのような条件が課されると、非局所楕円型問題の一般化解 $u \in W_2^1(G)$ が $W_2^2(G)$ に属することが保証されるか？
• RQ2 境界の角点付近に台を持つ非局所項は、解の正則性にどのように影響を与えるか？特異性を防ぐためにどのような構造的制約が必要か？
• RQ3 特に微分同相とその逆写像の合成を含む非局所作用素の一貫性条件は、$W_2^2$-正則性を保証するために果たす役割は何か？
• RQ4 滑らかさの要件を、グローバルな領域構造とは独立して、角点付近での非局所作用素の挙動に関する条件に簡略化できるか？
• RQ5 非同次非局所条件と同次条件の結果を比較すると、同次の場合における許容関数および許容ベクトルの意義は何か？

主な発見

• 非局所楕円型問題の一般化解 $u \in W_2^1(G)$ が $W_2^2(G)$ に属するための必要十分条件は、非局所作用素と右辺が一貫性条件 (11) を満たすことである。この条件は、角点における跡と微分の正則性を保証する。
• 非同次非局所データ $\{f_0, f_i\} \in L_2(G) \times \mathcal{S}_2^{3/2}(\partial G)$ を持つ解に対して、条件 4 は $W_2^2$-正則性の必要十分条件である。ここで $\mathcal{S}_2^{3/2}(\partial G)$ は一貫性条件を満たすデータの空間である。
• 条件 4 が成立しない場合、$L_2(G) \times \mathcal{S}_2^{3/2}(\partial G)$ に属するデータを持つ一般化解が $W_2^2(G)$ に属さない例が存在し、条件 4 の必要性が証明される。
• 同次非局所条件の場合、条件 $4'$（条件 4 の弱化版）が $W_2^2$-正則性の必要十分条件として機能する。
• 条件 $4'$ が成立しない場合、同次非局所データを持つにもかかわらず、$W_2^1(G) \setminus W_2^2(G)$ に属する一般化解が存在する。
• 本結果は、角領域におけるモデル問題の漸近解析に基づき、重み付きソボレフ空間における非局所問題の可解性に依存しており、主要な結果は [11]、[2]、[12] に依拠する。