[論文レビュー] Well-posedness and conditioning of 3rd and higher order two-point initial-boundary value problems

David A. Smith|arXiv (Cornell University)|Dec 21, 2012

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

ひとこと要約

本稿は、高次初期境界値問題（IBVP）の適切な定式化に関する先行研究における重大な見落としを是正し、良好な条件付け（well-conditioning）と適切な定式化（well-posedness）を区別することによって、問題が適切に定式化されるための条件を明確にした。問題が適切に定式化されるのは、特定の比の全体性と減衰性（良好な条件付け）が満たされるとともに、PDE特徴方程式行列Δ_PDEの零点が特定の漸近的分布を満たす場合に限ることを示した。主な貢献は、3次非ロビン型問題を、条件付けと零点分布に基づき6つのクラス（I–IVc）に完全に分類し、そのうち時間方向を前向き・後向きの両方で適切に定式化できるのは唯一クラス（IVb）であるということである。

ABSTRACT

We discuss initial-boundary value problems of arbitrary spatial order subject to arbitrary boundary conditions. We formalise the concept of the conditioning of such a problem and show that it represents a necessary criterion for well-posedness. The other requirement for well-posedness, the convergence of certain series, is also analysed. We illustrate these results with a full classification of 3rd order problems having non-Robin boundary conditions. Part of this work is devoted to correcting an oversight in the author's earlier work Well-posed two-point initial-boundary value problems with arbitrary boundary conditions in volume 152 of Math. Proc. Camb. Philos. Soc.

研究の動機と目的

• 高次初期境界値問題（IBVP）の適切な定式化分析において、これまでに見過ごされていた収束条件を是正すること、特に3次以上PDEの文脈において。
• 適切な定式化のための必要条件としての『条件付け』の概念を明確に定式化し、解の級数収束とは区別すること。
• 非ロビン境界条件を有する3次IBVPを、前向きおよび逆向き時間方向における適切な定式化の有無に基づき完全に分類すること。
• 先行研究（特に[5]）の結果を是正・精緻化することにより、適切な定式化の主張をより正確な『良好な条件付け』の概念に置き換え、必要な十分条件を調整すること。

提案手法

• 特定の関数の全体性および境界関数型とPDE特徴方程式行列の比の減衰性に基づき、『良好に条件付けられた』IBVPの形式的定義を導入する。
• Hille–Yosida定理の枠組みを用いて、適切な定式化の必要十分条件を導出し、PDE特徴方程式行列Δ_PDEの零点の漸近的分布に注目する。
• 複素解析および留数理論を用いて、解を級数および閉曲線積分で表現し、適切な定式化のためにはこれらの級数の収束が必要であることを示す。
• 特徴方程式の再パラメータライゼーションを用いてΔ_PDE(ρ)の零点の漸近的挙動を分析し、大きなkに対するρ³の実部を推定する。
• 零点分布が条件(1.2)を満たすかどうか（a=iまたはa=-iの場合）、およびその時間方向における良好な条件付けの有無に基づき、3次非ロビン問題を6つのクラス（I–IVc）に分類する。
• 明示的な漸近展開を導出し、-iρ³およびiρ³の実部の符号を評価することで、解の級数収束の有無を検証し、分類の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 高次初期境界値問題の適切な定式化の正しい必要十分条件は何か？ かつ、従来の主張とどのように異なるか？
• RQ2 なぜ、メロモルフィック関数の減衰性が適切な定式化を示すとされたのかが失敗したのか？ さらに必要な条件は何か？
• RQ3 非ロビン境界条件を有する3次IBVPを、条件付けと零点分布に基づき体系的にどのように分類できるか？
• RQ4 どのクラスの3次問題が積分項を含まずに解の表現が可能か？ それらはどのように特徴づけられるか？
• RQ5 級数収束の見落としに起因するため、先行研究（例：[5, 定理1.1, 1.4, 1.5]）の修正はどのようなものが必要か？

主な発見

• 問題が適切に定式化されるのは、良好に条件付けられており、かつPDE特徴方程式行列Δ_PDE(ρ)の零点が漸近的条件(1.2)を満たす場合に限る。すなわち、dist(σ_k, E) = O(k^{-(n-1)}))である。
• 3次非ロビン問題において、前向きおよび逆向きの両時間方向で適切に定式化されるのは、唯一クラス（IVb）である。これは、a=iおよびa=-iの両方で零点分布条件を満たし、かつ両時間方向で良好に条件付けられているためである。
• クラス（II）および（III）の問題は、片方の時間方向でのみ適切に定式化され、その解は級数表現では表せない。これらは積分表現を必要とする。
• β > 1を含む反例では、正の時間において解の級数が収束しない。これは、大きなkに対して-iρ³の実部が負であるため、収束が破綻する。
• [5, 定理1.1]の修正版では、逆時間問題Π'が適切に定式化されているのではなく、良好に条件付けられている必要があり、かつ前向き・逆向き問題の両方で良好な条件付けが同値である必要がある。
• 解の表現式（式(1.8)および(1.9)）の係数は、追加の閉曲線積分項と修正された留数和を含む必要があり、式(A.2)に示すように修正されるべきである。