[論文レビュー] Guided Dynamical Systems and Applications to Functional and Partial Differential Equations

Orr Moshe Shalit|ArXiv.org|Nov 26, 2005

Numerical methods for differential equations参考文献 16被引用数 3

ひとこと要約

本学位論文は、関数方程式および偏微分方程式を分析するためのフレームワークとして、誘導付き力学系を導入する。特に、コーシー型関数方程式および第二部分特徴的双曲型境界値問題の解の存在と一意性に焦点を当てる。主たる貢献は、誘導付き力学系の $\lambda$-最小性に基づく、一意的可解性の必要十分条件の特定であり、力学系理論および関数解析を用いて先行研究を拡張する。

ABSTRACT

In this thesis we introduce the concept of a guided dynamical system, and exploit this idea to solve various problems in functional equations and PDE's. Our main results are 1) a necessary and sufficient condition for unique-solvability of an initial value functional equation, 2) a proof of the overdeterminedness of a large class of functional equations and 3) a necessary and sufficient condition for unique-solvability of a boundary value problem for a third order, hyperbolic PDE.

研究の動機と目的

• 誘導付き力学系を用いた理論的枠組みを構築し、関数方程式および偏微分方程式を分析すること。
• コンパクト空間上での形 $ f(x) - \sum_{i=1}^N a_i(x)f(\delta_i(x)) = h(x) $ の関数方程式の解の一意性を扱うこと。
• 力学系の性質を用いて、コーシー型方程式の過剰決定性に関する結果を拡張すること。
• 境界上の力学系のダイナミクスを用いて、第二部分特徴的双曲型PDEの可解性に対する必要十分条件を提供すること。
• 複数の生成子および一般化された $\mathcal{P}$-配置をもつ系へ、吸引子および可解性に関する先行結果を一般化すること。

提案手法

• 写像 $ \delta_i: X \to X $ と誘導集合 $ \Lambda_i $ を備えた誘導付き力学系 $ (X, \delta, \Lambda) $ を定義し、標準的力学系を一般化する。
• 可解性および一意性を特徴付けるために、$ \Lambda $-弱吸引子および $ \Lambda $-最小性の概念を導入する。
• 関数解析的道具を用いる。特に、空間 $ C(X) $、有界線形作用素、作用素のインデックスを用いて解空間を分析する。
• パネアの方法を用いて、双曲型PDEの境界値問題をコーシー型関数方程式に還元し、境界上での誘導系ダイナミクスを適用する。
• 最大原理および一意性定理を、軌道構造と誘導集合に結びついた条件下で関数方程式に適用する。
• 一般化された $ \mathcal{P} $-配置において、$ \Lambda $-弱吸引子の存在と $ \Lambda $-最小性が同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 写像 $ \delta_i $ にどのような力学的条件が満たされると、関数方程式 $ f(x) - \sum_{i=1}^N a_i(x)f(\delta_i(x)) = h(x) $ が一意的に可解となるか？
• RQ2 複数の生成子をもつ関数方程式において、$ \Lambda $-弱吸引子の存在は、解の可解性および一意性とどのように関係するか？
• RQ3 誘導付き力学系のどの力学的性質が、一般化された $ \mathcal{P} $-配置における初期値問題の一意的可解性を保証するか？
• RQ4 コーシーの関数方程式の解がいつ過剰決定となるか。これは軌道構造を用いてどのように特徴づけられるか？
• RQ5 第二部分特徴的双曲型PDE $ (m\partial_x + n\partial_y)\partial_x\partial_y u = 0 $ に対して、一意的可解性を保証する必要十分条件は何か？

主な発見

• 定理 2.3.5 は、一般化された $ \mathcal{P} $-配置における初期値問題の一意的可解性に関して、誘導付き力学系の $ \Lambda $-最小性が必要十分条件であることを確立する。
• 命題 2.3.4 は、一般化された $ \mathcal{P} $-配置において、$ \Lambda $-弱吸引子の存在が $ \Lambda $-最小性と同値であることを証明する。
• 定理 3.1.1 は、コーシーの関数方程式 $ f(x+y) = f(x) + f(y) $ の連続解が、四角形 $ \{(x,y): |x| + |y| \leq 1\} $ の境界上で一意に決定されることを示し、単純な力学系による証明を提供する。
• 定理 4.1.2 は、境界上での誘導系のダイナミクスと第二部分特徴的双曲型PDEの一意的可解性との間の明確な関係を確立する。
• 命題 4.2.2 および 4.2.5 は、従来の結果が存在しなかった領域において、力学系の性質に基づく新たな十分条件を提供する。
• 本研究の結果は、パネアおよび他の研究者らの先行研究を一般化し、$ N=2 $ から一般の $ N $ へ拡張するとともに、十分条件のみであったものを必要十分条件に置き換える。