[論文レビュー] Asymptotics of solutions for nonlocal elliptic problems in plane bounded domains

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

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

ひとこと要約

本稿は、境界と交差する非局所項を有する有界平面領域における2階非局所楕円型問題の解の漸近的挙動を確立する。重み付きコンドラチェフ空間とモデル問題のスペクトル解析を用いて、漸近展開における係数の明示的公式を導出し、これらが右辺上の汎関数を通じて全域的な領域データに依存することを示す。これにより、一般化解の滑らかさ解析が可能となる。

ABSTRACT

The paper is devoted to the study of asymptotic behavior of solutions for nonlocal elliptic problems in weighted spaces. We deal with the most difficult case where the support of nonlocal terms intersects with the boundary of a plane bounded domain. In this situation, a general form of the asymptotics is investigated and coefficients in the asymptotics are calculated.

研究の動機と目的

• 非局所項が領域境界と交差する有界平面領域における非局所楕円型問題の解の漸近的挙動を分析すること。
• 非局所項の台が領域境界と交差する、最も困難な場合に注目し、潜在的なべき乗特異性を解消すること。
• 重み付きコンドラチェフ空間における解の漸近展開における係数の明示的公式を導出すること。
• 異なる重み付き空間における非局所問題の指数の間の関係を確立すること。
• 漸近係数が右辺上の汎関数として表され、局所的特異点近傍の振る舞いだけでなく、全域的な領域データに依存することを示すこと。

提案手法

• 特異点近傍の特異性を扱うために、重み付きソボレフ空間（コンドラチェフ空間）における非局所楕円型問題を定式化する。
• 角領域およびR²\{0}におけるモデル問題の固有値・固有関数を用いて、漸近展開の構造を解析する。
• 重み付き空間における双対性を用いて、随伴問題理論を適用し、漸近係数の表現公式を導出する。
• 切り捨て関数と極限操作を用いて、特異点近傍における解の振る舞いを分布的ペアリングを通じて全域的データに結びつける。
• 特別な右辺を有する随伴方程式の特定解を構成し、係数を明示的に計算する。
• モデル問題のスペクトル特性を活用して、同一非局所問題の異なる重み付き空間における指数を結ぶ公式を確立する。

実験結果

リサーチクエスチョン

• RQ1 非局所項が有界領域の境界と交差する非局所楕円型問題の解は、どのように漸近的に振る舞うか？
• RQ2 このような特異ケースにおける解の漸近展開の一般形は何か？ また、係数はどのように明示的に計算できるか？
• RQ3 漸近係数は問題の右辺にどのように依存するか？ その依存関係は局所的か、グローバルなデータに依存するか？
• RQ4 モデル問題のスペクトルデータを用いて、非局所楕円型問題の指数を異なる重み付き関数空間間で関連付けることができるか？
• RQ5 角領域におけるモデル問題の固有値・固有関数は、漸近展開の構造を決定づける役割を果たすか？

主な発見

• 特異集合𝒦 ⊂ G の近傍における解の漸近展開は、u ∼ c₁r^{iλ₁}ψ₁ + c₂r^{iλ₂}ψ₂ + ... の形を取り、ここでλ₁, λ₂はモデル問題の固有値である。
• 漸近展開における係数c₁およびc₂は、ペアリングとして与えられる：c₂ = ⟨{f, f_σ}, i𝒴₁⟩ および c₁ = ⟨{f, f_σ}, i(𝒴₁ − A₁₂𝒴₂)⟩ であり、𝒴₁, 𝒴₂は随伴問題の解である。
• 係数c₁を補正する定数A₁₂は、解の振る舞いを含む極限によって計算され、λ₁ ≠ λ₂のときには0である。
• 漸近係数は、局所的特異点近傍の情報だけでなく、右辺上の汎関数を通じて全域的な領域データに依存する。
• 本手法により、異なる重み付き空間における非局所問題の指数の間の関係が確立され、モデル問題のスペクトルデータが活用される。
• 一般化解がW²₁(G)に属する場合、漸近展開の係数が消えるならば滑らかであることが確認され、正則性の基準が得られる。