[論文レビュー] A criterion for continuity in a parameter of solutions to generic boundary-value problems for higher-order differential systems

Vladimir Mikhailets, Aleksandr Murach+1 more|arXiv (Cornell University)|Oct 25, 2016

Differential Equations and Boundary Problems参考文献 16被引用数 5

ひとこと要約

本稿は、複素空間 $C^{(n+r)}$ における一般の高階線形境界値問題の解のパラメータに関する連続性について、構成的基準を確立する。既存の連続性の十分条件が必要条件でもあることが証明され、パラメータの変化に伴う解の収束度の両側推定が得られる。

ABSTRACT

We consider the most general class of linear boundary-value problems for ordinary differential systems, of order $r\geq1$, whose solutions belong to the complex space $C^{(n+r)}$, with $0\leq n\in\mathbb{Z}$. The boundary conditions can contain derivatives of order $l$, with $r\leq l\leq n+r$, of the solutions. We obtain a constructive criterion under which the solutions to these problems are continuous with respect to the parameter in the normed space $C^{(n+r)}$. We also obtain a two-sided estimate for the degree of convergence of these solutions.

研究の動機と目的

• パラメータに関してノルム空間 $C^{(n+r)}$ における一般の高階微分境界値問題の解の連続性について、必要十分条件を確立すること。
• 従来の結果がこのような問題におけるパラメータ連続性の十分条件しか提供していなかったのを拡張すること。
• パラメータが極限に近づく際の解の収束度の両側推定を導出すること。
• すべての古典的および非古典的境界条件（$n+r$ 階までの導関数を含むものも含む）を含めるためにフレームワークを一般化すること。
• $C^{(n+r)}$ 以外の関数空間（例えばソボレフ空間）に応用可能な基盤を提供すること。

提案手法

• $n \geq 0$ および $r \geq 1$ を満たす $C^{(n+r)}$ に値をとる $r$ 階微分系の一般クラスの線形境界値問題を定式化する。
• 境界条件を $Bz = q$ の形にモデル化し、$B: (C^{(n+r)})^m \to \mathbb{C}^{rm}$ は任意の連続線形作用素とする。
• バナッハ空間における連続的に微分可能な関数の空間における強作用素位相解析を用いて、収束性および逆作用素の可逆性を研究する。
• シュードァー基底の構成を用いて、強作用素位相において任意の作用素を有限次元作用素で近似する。
• バナッハ＝スタインハウスの定理を用いて、無限次元バナッハ空間間の有界線形作用素空間における強位相での逆作用素写像 $T \mapsto T^{-1}$ の至る所での不連続性を示す。
• 摂動下での逆作用素のノルム挙動を分析することで、収束度の両側推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 パラメータに依存する高階微分境界値問題の解が $C^{(n+r)}$ ノルムで連続となる条件は何か？
• RQ2 従来知られていたパラメータ連続性の十分条件が、必要条件でもあるか？
• RQ3 パラメータの変化に伴って解の収束度を定量的に推定するにはどうすればよいか？
• RQ4 強作用素位相は、解作用素の連続性および可逆性を特徴付ける上で果たす役割は何か？
• RQ5 このフレームワークは、$C^{(n+r)}$ 以外の関数空間へも拡張可能か？

主な発見

• 本稿は、一般の高階境界値問題の解がパラメータに関して $C^{(n+r)}$ ノルムで連続となるための必要十分条件を確立する。
• 従来知られていた連続性の十分条件が、必要条件でもあることが示され、パラメータ連続性の特徴付けが完全化される。
• 解の収束度の両側推定が得られ、パラメータが極限に近づく際の解の収束速度が定量的に評価される。
• 無限次元バナッハ空間間の有界線形作用素空間における強作用素位相で、逆作用素写像 $T \mapsto T^{-1}$ が至る所で不連続であることが示される。
• $\mathcal{L}(X,Y)$ において、有限次元作用素の集合は強作用素位相で列的に稠密であることが示され、逆写像が不可能な作用素に対しても同様の稠密性が成立する。
• 結果はソボレフ空間などの他の関数空間へ一般化可能であり、多点問題、グリーン行列、分布係数を伴うスペクトル理論の研究に基盤を提供する。