[論文レビュー] Solvability of the boundary value problem for some differential--difference equations

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

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

ひとこと要約

本稿は、有限区間における非自己共役微分差分方程式の境界値問題のフレドホルム可解性（インデックスゼロ）について、必要十分条件を確立する。一般化解が (0, N+1) で滑らかであるための必要十分条件は、右辺および境界データが作用素の核に関して特定の直交性条件を満たすことであると示し、先行研究における未解決問題を解消する。

ABSTRACT

Solvability and smoothness of generalized solutions to boundary value problems for not self-adjoint differential-difference equations are studied. Necessary and sufficient conditions of Fredholmian solvability (with index zero) are established. Smoothness of generalized solutions is considered in terms of index of the corresponding differential--difference operator.

研究の動機と目的

• 有限区間における非自己共役微分差分方程式の境界値問題のフレドホルム可解性（インデックスゼロ）について、特に整数区間長の場合に、必要十分条件を確立すること。
• 微分差分作用素のインデックスを用いて、一般化解の滑らかさを特徴づけること。特に、滑らかさが失われる可能性がある部分区間においても有効であるように。
• 従来の結果（十分条件や非整数区間長に限局した結果）を拡張し、整数長区間における完全な特徴づけを提供すること。
• 解空間の構造を分析し、内部領域 (0, N+1) における解の滑らかさを保証する直交性条件を導出すること。

提案手法

• 区間 (0, N+1) 上のソボレフ空間および L2 空間において解析を実施し、各 s = 1, ..., N+1 に対して部分区間 Qs = (s−1, s) への領域の分割を用いる。
• 係数 bj を用いた畳み込みにより定義される差分作用素 R を導入し、同型写像 U を通じて LN+12(Q1) 上の列に上へ持ち上げることで、その作用を研究する。
• スペクトル理論および余因子 Bik と行列式 det R1 ≠ 0, det R2 = 0 の性質を用いて、作用素 RQ と行列 R1 の関係を分析し、フレドホルム性を検討する。
• 重み付きソボレフ空間 Wkγ(0, N+1) を導入し、行列 R2 の線形従属性から導かれる係数 γ1i および γ2i を用いた境界条件を導入することで、一般化解空間を特徴づける。
• 主要な技術的アプローチとして、導出された γ 条件のもとで、RQ が ˚Wk(0, N+1) から Wkγ(0, N+1) への同型写像であることを、行列のランクおよび基底の議論を用いて証明する。
• 非同次問題の場合、問題は BkRw = f0 + (Rψ)′′ に帰着され、ここで BkR はインデックス −2(k+1) のフレドホルム作用素であり、可解性はその核に対する直交性によって決定される。

実験結果

リサーチクエスチョン

• RQ1 有限区間（整数長）における非自己共役微分差分方程式の境界値問題のフレドホルム可解性（インデックスゼロ）について、必要十分条件は何か？
• RQ2 右辺や境界データが滑らかでない場合でも、一般化解が内部領域 (0, N+1) で滑らかであるための条件は何か？
• RQ3 差分作用素の係数行列の構造（特に det R1 ≠ 0, det R2 = 0）が、解の可解性および正則性にどのように影響するか？
• RQ4 解が区間 (0, N+1) で滑らかであるためには、右辺および境界データが満たすべき直交性条件は何か？
• RQ5 微分差分作用素のインデックスと一般化解の滑らかさの関係は何か？

主な発見

• 本稿は、整数長区間における非自己共役微分差分方程式の境界値問題のフレドホルム可解性（インデックスゼロ）について、必要十分条件を確立し、先行研究における未解決問題を解消した。
• 作用素 RQ は、行列 R2 の行の線形従属性から導かれる特定の係数 γ1i および γ2i を用いることで、˚Wk(0, N+1) から Wkγ(0, N+1) への連続的かつ全単射な写像である。
• 非同次問題において、一般化解 y ∈ Wk+2(−N, 2N+1) が存在するための必要十分条件は、右辺 f および境界データが 2(k+1) 個の直交性条件 (f, Gj)Wk(−N,2N+1) = 0 を満たすことである。ここで Gj は線形独立なベクトル値関数である。
• 作用素 LB: Wk+2(−N, 2N+1) → Wk(−N, 2N+1) はインデックス −2(k+1) のフレドホルム作用素であり、dim ker(LB) = 0 であるため、直交性制約のもとで一意可解である。
• 境界関数 f1 および f2 が G11 および G2N+1 が線形独立であるように選ばれる場合、D(LA) = Wk+2(−N, 2N+1) が成り立ち、解が全区間で完全に滑らかになることが保証される。
• 一般化解が (0, N+1) で滑らかであることは、滑らかなデータだけでなく、データと関連作用素の核との間の特定の直交性条件が満たされている場合にも保たれる。これは、解がそうでない場合に滑らかさを失う可能性があるにもかかわらず有効である。