[論文レビュー] A counterexample to the uniqueness result of Cox and Thompson

А. Г. Рамм|ArXiv.org|Aug 17, 2001

Numerical methods in inverse problems参考文献 6被引用数 5

ひとこと要約

本稿は、逆散乱理論における積分方程式に関してコックスとトマスン（1970年）の論文における一意性の主張に対して反例を提示する。$ S = \{0\} $、$ T = \{2\} $、$ \gamma_0 = -6 $ という特定のケースを構築することで、$ r = R $ のとき、$ R $ はワロンスキー関数に類似した関数の正の根であるとし、方程式が非自明な解 $ u_2(s) $ を持つことを示した。これにより、一意性の結果が無効となり、関連する理論的議論も揺るがされる。

ABSTRACT

A counterexample is given to the uniqueness result given in the paper by J.Cox and K.Thompson, "Note on the uniqueness of the solution of an equation of interest in inverse scattering problem", J. Math.Phys., 11, N3, (1970), 815-817.

研究の動機と目的

• 固定エネルギーデータを用いた逆散乱理論の中心的となる積分方程式の解の一意性を主張するものに反論すること。
• コックスとトマスン（1970年）が主張するように、方程式 (1.1) の解がすべての $ r > 0 $ に対して自明でないとは限らないことを示すこと。
• コックスとトマスン（1970年）およびその一意性の主張に依存する関連研究における理論的基盤を無効にすること。
• ベッセル＝リッカティ関数とワロンスキー式解析を用いて、特定のパrameter設定下で非自明な解が存在することを明示的に構成すること。
• 他の研究（例：[2], [5]）における類似方程式についても、ある $ r > 0 $ に対して一般に一意性が成立しないことを示すこと。

提案手法

• 単一要素集合 $ S = \{0\} $、$ T = \{2\} $ を選択し、方程式 (1.2) から $ \gamma_0 = -6 $ を計算することで、与えられた制約を満たす。
• 核関数 $ g(s,t) = -6u_0(t)v_0(s) $ を $ s > t $ に対して定義し、ここで $ u_0 $、$ v_0 $ は正則および不規則なベッセル＝リッカティ関数である。
• 方程式 (1.1) に微分作用素 $ d^2 + 1 $ を作用させることで、常微分方程式 $ (d^2 + 1)h = 6s^{-2}h $ に変換し、これに $ u_2(s) $ が解として含まれることを示す。
• 積分項に対して2回にわたる部分積分を適用し、ワロンスキー恒等式 $ u_0 v_0' - u_0' v_0 = 1 $ を利用し、関数 $ p(r) = v_0(r)u_2'(r) - v_0'(r)u_2(r) $ を導入する。
• 関数 $ p(r) $ の漸近的挙動を分析する：$ r \to 0 $ のとき $ p(r) \to -r^2/5 $、$ r \to \infty $ のとき $ p(r) \to 1 $ であり、連続性と正の根 $ R > 0 $ の存在を示す。
• $ p(r) = 0 $ のとき、解 $ u_2(s) $ が方程式 (1.1) を満たすことが示され、$ r = R $ における非自明な可解性が証明される。

実験結果

リサーチクエスチョン

• RQ1 コックスとトマスンが主張するように、方程式 (1.1) はすべての $ r > 0 $ に対して自明な解しか持たないのか？
• RQ2 特定の $ S $、$ T $、$ \gamma_m $ の選択下で、非自明な解が存在し、一意性の主張に反するのか？
• RQ3 ワロンスキーに類似した関数 $ p(r) $ は、非自明な解の存在を決定づける役割を果たすのか？
• RQ4 どの $ r > 0 $ の値に対して解 $ u_2(s) $ が方程式 (1.1) を満たすのか？また、この条件はパrameterの変動に対して安定なのか？
• RQ5 この場合における一意性の失敗が、[3] および [4] における関連する逆散乱議論の妥当性にどの程度影響を及えるのか？

主な発見

• 方程式 (1.1) に対して、$ r = R $ のとき非自明な解 $ u_2(s) $ が存在する。ここで $ R $ は $ p(R) = 0 $ を満たす正の実数である。
• 関数 $ p(r) = v_0(r)u_2'(r) - v_0'(r)u_2(r) $ は $ (0, \infty) $ 上で連続であり、$ r \to 0 $ のとき $ p(r) \to -r^2/5 $、$ r \to \infty $ のとき $ p(r) \to 1 $ であるため、ある $ R > 0 $ でゼロとなることが保証される。
• 解 $ u_2(s) $ が方程式 (1.1) を満たすことは、$ p(r) = 0 $ であることに限り依存する。これにより、非自明な可解性の明確な条件が確立される。
• 反例はコックスとトマスン（1970年）の一意性主張を無効にし、特定の $ r > 0 $ に対して非自明な解が存在することを示しており、彼らの主張とは対照的である。
• この結果は、この一意性に依存する理論的枠組み [4] が、このような反例の存在によって揺るがされることを示唆する。
• 一意性の失敗は孤立した現象ではない。[2] や [5] における類似方程式についても、ある $ r > 0 $ に対して一般に一意性が成立しないことが判明し、文脈全体にわたる広範な問題を示している。