[論文レビュー] Elliptic problems in the sense of Lawruk with boundary operators of higher orders in refined Sobolev scale

Tetiana Kasirenko, Iryna Chepurukhina|arXiv (Cornell University)|Apr 2, 2018

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

ひとこと要約

本稿は、無限遠における漸近的変化が遅い関数を用いたホルマンダー空間に基づく、より細分化されたソボレフスケールにおける、ラウルクの意味での楕円型境界値問題を、高階の境界作用素を伴って考察する。関連する有界作用素のフレドホルム性を確立し、一般化解に関する局所的事前推定を証明し、これらの空間における正則性および連続性条件を導出し、古典的結果をより一般化された関数パrameterフレームワークへと拡張する。

ABSTRACT

In a refined Sobolev scale, we investigate an elliptic boundary-value problem with additional unknown functions in boundary conditions for which the maximum of orders of boundary operators is grater than or equal to the order of the elliptic equation. This scale consists of inner product Hörmander spaces whose order of regularity is given by a real number and a function varying slowly at infinity in the sense of Karamata. We prove a theorem on the Fredholm property of a bounded operator corresponding to this problem in the refined Sobolev scale. For the generalized solutions to the problem, we establish a local a priory estimate and prove a theorem about their regularity in Hörmander spaces. We find sufficient conditions under which given generalized derivatives of the solutions are continuous.

研究の動機と目的

• ラウルクの意味での楕円型境界値問題の理論を、関数パrameterを有するホルマンダー空間に基づくより細分化されたソボレフスケールへと拡張すること。
• 楕円型方程式の次数以上に境界作用素の最大次数が等しい場合、これは従来のホルマンダー空間では研究されていなかったが、それらのケースを扱うこと。
• このような問題に関連する作用素のフレドホルム性を、より細分化されたスケールにおいて確立すること。
• ホルマンダー空間における一般化解について、局所的事前推定および正則性結果を導出すること。
• 一般化導関数が連続となる十分条件を特定し、古典的解の条件を含むこと。

提案手法

• 高階の境界作用素を伴う境界条件に追加の未知関数を含む楕円型境界値問題を形式化し、高階の境界作用素に対して一般化されたグリーンの公式を用いる。
• 実数および無限遠における漸近的変化が遅い関数（カラマタの意味で）をパrameterとする、ヒルベルト空間からなるより細分化されたソボレフスケールを用いる。
• 関数パrameterを用いた補間理論を適用して、古典的ソボレフ空間からより細分化されたスケールを構成する。
• 適切なホルマンダー空間のペアにおいて、作用素の有界性およびコンパクト作用素をmodulo した逆可換性を分析することで、作用素のフレドホルム性を証明する。
• 問題の構造およびより細分化されたスケールの性質を用いて、一般化解の局所的事前推定を導出する。
• 作用素およびその随伴作用素の写像性質を分析することで、ホルマンダー空間における解の正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 高階の境界作用素を伴うラウルク型楕円型境界値問題に関連する作用素が、より細分化されたソボレフスケールにおいていつフレドホルム的となるか。
• RQ2 関数パrameterを有するホルマンダー空間における一般化解について、どのように局所的事前推定を確立できるか。
• RQ3 一般化解はより細分化されたソボレフスケールにおいてどのような正則性を有するか。また、それらが連続的微分可能であるための条件は何か。
• RQ4 一般化導関数が連続となる十分条件は何か。また、解が古典的解であるとはどのような場合か。
• RQ5 これらの結果は、ソボレフ空間における楕円型問題の古典的理論を、漸近的変化が遅い関数を用いたより一般化されたホルマンダー空間の設定へとどのように拡張するか。

主な発見

• 高階の境界作用素を伴う楕円型境界値問題に対応する有界作用素は、ホルマンダー空間に基づくより細分化されたソボレフスケールにおいてフレドホルム的である。
• 一般化解についての局所的事前推定が確立され、より細分化されたスケールにおけるデータの性質に基づいて解のノルムを制御できる。
• 一般化解がホルマンダー空間において正則性を有することを示し、その正則性レベルはデータの滑らかさおよび問題の構造に依存する。
• 一般化導関数が連続となる十分条件が特定され、古典的正則性結果がより細分化されたスケールへと拡張された。
• ホルマンダー空間の関数パrameterに基づいて、問題の古典的解となるための新しい十分条件が提供される。
• 本稿の結果は、ソボレフ空間およびホルマンダー空間における楕円型問題に関する先行研究を一般化し、特に高階の境界作用素を伴う問題に対して拡張している。