[論文レビュー] Parameter-dependent one-dimensional boundary-value problems in Sobolev spaces

Yevheniia Hnyp, Vladimir Mikhailets+1 more|arXiv (Cornell University)|Apr 12, 2017

Differential Equations and Boundary Problems参考文献 7被引用数 22

ひとこと要約

本稿は、Sobolev空間におけるパラメータに依存する1次元境界値問題の解の連続性について、構成的で必要十分な基準を確立し、パラメータが0に近づく際、解がSobolevノルムで連続のままであることを証明する。さらに、解が元の非摂動問題に近づく収束速度について、両側からの見積もりを提供し、一般のパラメータに依存する境界条件をもつ新しい種類の多点境界値問題への応用も示す。

ABSTRACT

We consider the most general class of linear boundary-value problems for higher-order ordinary differential systems whose solutions and right-hand sides belong to the corresponding Sobolev spaces. For parameter-dependent problems from this class, we obtain a constructive criterion under which their solutions are continuous in the Sobolev space with respect to the parameter. We also obtain a two-sided estimate for the degree of convergence of these solutions to the solution of the nonperturbed problem. These results are applied to a new broad class of parameter-dependent multipoint boundary-value problems.

研究の動機と目的

• パラメータに依存する線形境界値問題の解の連続性について、Sobolev空間内での必要十分条件を確立すること。
• 従来は十分条件としてのみ知られていた結果を拡張し、Sobolevノルム内での連続性のための必要条件を証明すること。
• パラメータが0に近づく際の解の収束速度について、両側からの見積もりを導出すること。
• 導出された基準を、一般のパラメータに依存する境界条件をもつ新しい種類の多点境界値問題に適用すること。
• Sobolev空間枠組み内での高階系および複素数値関数への一般化を図ること。

提案手法

• 解と右辺が複素Sobolev空間 $W_p^n$ に属する高階常微分方程式系の一般クラスを定式化する。
• 解のSobolev空間上での任意の連続線形作用素による境界条件の導入により、一般性を確保し、Greenの公式や形式的随伴作用素に依存しない。
• Sobolev空間におけるコンパクト性および連続性の議論を用い、点評価の見積もりにあたり、$W_p^{n+r}$ が Hölder空間 $C^{n+r-1,1/q}$ に連続的に埋め込まれることを活用する。
• ラグランジュの中間値定理とノルム見積もりを用いて、摂動された点における関数値の差を制御し、境界作用素の収束を保証する。
• Banach-Steinhaus定理を用いて、$ε \to 0^+$ の際に、パラメータに依存する境界作用素 $B(\varepsilon)$ の一様有界性を証明する。
• 係数の収束条件および評価点の点ごとの摂動に関する条件を用いて、すべての $y \in (C^\infty)^m$ に対して $B(\varepsilon)y \to By$ が $\mathbb{C}^{rm}$ 内で成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 パラメータに依存する境界値問題の解作用素が、パラメータに関してSobolev空間ノルムで連続となる条件は何か？
• RQ2 従来知られていた連続性の十分条件が、必要条件でもあると示せるか？
• RQ3 パラメータ $\varepsilon \to 0^+$ の際、解が非摂動問題に収束する定量的レートは何か？
• RQ4 一般枠組みを、パラメータに依存する係数および評価点をもつ多点境界値問題にどのように適用できるか？
• RQ5 Sobolev空間を超える他の関数空間への結果の拡張は、どの程度可能か？

主な発見

• パラメータ $\varepsilon$ に関して、Sobolev空間 $W_p^{n+r}$ 内での解の連続性について、構成的で必要十分な基準が確立された。
• 導出された条件下で、解作用素 $y(\cdot, \varepsilon)$ は、$ε \to 0^+$ の際に $(W_p^{n+r})^m$ のノルムで $ε$ に関して連続である。
• 収束速度について、両側からの見積もりが得られた：ある $C > 0$ に対して $\|y(\cdot, \varepsilon) - y(\cdot, 0)\|_{n+r,p} \leq C \varepsilon^{1/q}$ が成り立ち、$q$ はHölder指数に関連する。
• 境界作用素 $B(\varepsilon)$ が $B(0)$ に、$W_p^{n+r}$ 上の作用素ノルムで収束することが証明された。これは、滑らかな関数に関して一様に成り立つ。
• 結果は、$ε$-依存する評価点および係数をもつ、新しい種類の多点境界値問題に適用され、明示的な十分条件が得られた。
• 係数の収束および点ごとの摂動に関する条件が、Sobolevノルム内での解の連続性に関して、両方必要かつ十分であることが分析によって確認された。