[論文レビュー] An inverse spectral problem for second-order functional-differential pencils with two delays

Sergey Buterin, M.A. Malyugina+1 more|arXiv (Cornell University)|Oct 27, 2020

Spectral Theory in Mathematical Physics参考文献 17被引用数 4

ひとこと要約

本稿は、2つの定数遅れを有する2階関数微分型ペンシルの逆スペクトル問題を解き、共通の境界条件を共有する2つのスペクトルから係数を回復する一意性を証明し、構成的アルゴリズムを提供する。主な貢献は、解法の必要十分条件と完全な再構成手順の確立であり、遅れを伴う作用素分野における長年の未解決問題を解決する。

ABSTRACT

We consider a second order functional-differential pencil with two constant delays of the argument and study the inverse problem of recovering its coefficients from the spectra of two boundary value problems with one common boundary condition. The uniqueness theorem is proved and a constructive procedure for solving this inverse problem along with necessary and sufficient conditions for its solvability is obtained. Moreover, we give a survey on the contemporary state of the inverse spectral theory for operators with delay. The pencil under consideration generalizes Sturm-Liouville-type operators with delay, which allows us to illustrate essential results in this direction, including recently solved open questions.

研究の動機と目的

• 2つの定数遅れを有する2階関数微分型ペンシルの逆スペクトル問題を扱い、遅れを伴うSturm–Liouville作用素を一般化する。
• 共通の境界条件を共有する2つの境界値問題のスペクトルから、微分ペンシルの係数を特定する。
• 逆問題の可解性に必要な十分条件を確立し、構成的再構成手順を提供する。
• 特に、潜在関数の一意性と同定可能性に関する点で、遅れ作用素の逆スペクトル理論における未解決問題を解決する。

提案手法

• 微分方程式にスペクトルパラメータを含む、2つの定数遅れを有するSturm–Liouville型作用素として関数微分型ペンシルを定式化する。
• 境界値問題に関連する特性関数の漸近展開を導出し、スペクトルデータを分析する。
• 変換された関数を用いてスペクトルデータの積分表現を導出し、スペクトルと係数を結びつける補助関数を導入する。
• スペクトルと係数を含む方程式系を構築し、スペクトルデータから潜在関数を回復可能にする。
• 変換法を用いて問題をRegge型問題に還元し、特性関数表現の利用を可能にする。
• スペクトルデータを用いて積分方程式系を通じて係数を再構成し、導出された条件下で解が一意であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2つの定数遅れを有する2階関数微分型ペンシルの係数は、共通の境界条件を共有する2つの境界値問題のスペクトルから、一意に再構成可能か？
• RQ2 この逆スペクトル問題の可解性に必要な十分条件は何か？
• RQ3 遅れがπ/2未満の場合、特に(0, π/2)の範囲で、潜在関数の一意性結果は依然有効か？
• RQ4 2つの異なる遅れがある場合、2つの境界値問題のスペクトルは、2つの潜在関数を一意に特定可能か？
• RQ5 異なる潜在関数が同じスペクトルを生成する場合があり、逆問題における一意性が成立しないケースは存在するか？

主な発見

• 本稿は、共通の境界条件を共有する2つのスペクトルから、2つの定数遅れを有する2階関数微分型ペンシルの係数を回復する逆スペクトル問題について、一意性定理を証明する。
• スペクトルデータと特性関数の積分表現に基づく、逆問題を解くための構成的手続きが提供される。
• 逆問題の可解性に必要な十分条件が導出され、これらの条件が満たされる場合に限り再構成が可能であることが保証される。
• 本稿は、(0, π/2)における遅れに対して、2つのスペクトルのみから潜在関数を一意に決定できないことを示すことで、長年の未解決問題を解決する。これは、1パrameter族の同スペクトル潜在関数を有する反例によって示される。
• 反例は、異なる遅れに対しても、2つの境界値問題のスペクトルが個々の潜在関数を一意に特定できない可能性があることを示しており、[19]および[20]における以前の主張を反証する。
• 本稿は、潜在関数の一意性の部分領域が、従来最大であると考えられていたが、実際には改善不能であることを示している。これは、同じスペクトルを生成する異なる潜在関数の1パラメータ族の存在によって裏付けられる。