[論文レビュー] Solvability of nonlocal elliptic problems in Sobolev spaces

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

Differential Equations and Boundary Problems参考文献 11被引用数 12

ひとこと要約

本稿は、非局所項が境界と交差する場合を含め、ソボレフ空間における2m次非局所楕円型問題のフレドホルム可解性の必要十分条件を確立する。フレドホルム性は係数の符号と次数lの偶奇に依存し、境界上の接続点付近で解がべき乗特異性を示す可能性があることが示された。

ABSTRACT

We study elliptic equations of order $2m$ with nonlocal boundary-value conditions in plane angles and in bounded domains, dealing with the case where the support of nonlocal terms intersects the boundary. We establish necessary and sufficient conditions under which nonlocal problems are Fredholm in Sobolev spaces and, respectively, in weighted spaces with small weight exponents. We also obtain an asymptotics of solutions to nonlocal problems near the conjugation points on the boundary, where solutions may have power singularities.

研究の動機と目的

• 非局所項の台が境界と交差する場合のソボレフ空間における非局所楕円型問題のフレドホルム可解性の必要十分条件を確立すること。
• べき乗特異性が生じる可能性がある接続点付近における解の構造を分析すること。
• 重み付きソボレフ空間における重み指数が特異挙動を正則化する役割を調査すること。
• 関連固有値問題のさまざまなスペクトル条件の下で、有界領域における非局所問題のフレドホルム性を特定すること。
• 係数の符号と次数lの偶奇に基づく、可解性の完全な分類を提示すること。

提案手法

• 小さな重み指数を有する重み付きソボレフ空間を用いた、有界領域および平面角における非局所楕円型問題の解析。
• モデル作用素L̃p(λ)の固有値が直線Imλ = 1−l−2mに0個または1個しか持たない場合の非局所作用素に対する右正則化子の構成。
• 接続点付近における解の漸近展開を用いてべき乗特異性を特徴付ける。
• コーナー点における特異挙動を扱うためにコンドラチェフの重み付き空間理論の応用。
• 正則化技術を用いて非局所問題をフレドホルム積分方程式に還元する。
• 線形従属性の確認とフレドホルム失敗の特定のための行列のランク解析。

実験結果

リサーチクエスチョン

• RQ1 非局所項が境界と交差する2m次非局所楕円型問題が、ソボレフ空間でフレドホルム的であるための条件は何か？
• RQ2 非局所係数b₁とb₂の符号は、問題のフレドホルム性にどのように影響するか？
• RQ3 境界に角を持つ接続点付近で、非局所項が台を持つ場合、解の漸近的挙動はいかなるものか？
• RQ4 次数lの偶奇は、非局所問題のフレドホルム可解性にどのように影響するか？
• RQ5 滑らかなデータと滑らかな領域境界を持つにもかかわらず、解がべき乗特異性を示す場合の条件は何か？

主な発見

• 作用素L_B: W_B^{l+2}(G) → W^l(G) は、lが偶数のとき、b₁b₂ > 0 または b₁ = b₂ = 0 であればフレドホルム的である。
• lが奇数のとき、作用素L_B は、b₁ = b₂ = 0 である場合に限りフレドホルム的である。非ゼロ係数を有する非局所項はフレドホルム性を破る。
• 非局所問題の解は、データと領域が滑らかであっても、境界上の接続点付近でべき乗特異性を示す可能性がある。
• lが奇数でb₁, b₂がともにゼロでない場合、境界条件行列の線形従属性によりフレドホルム性が失われる。
• 特異点付近における解の漸近的構造は、直線Imλ = 1−l−2mに沿ったモデル作用素L̃p(λ)のスペクトル特性によって決定される。
• 非局所問題におけるべき乗特異性を有する解を正則化するために、小さな重み指数を有する重み付きソボレフ空間が不可欠である。