[论文解读] 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 $ 时，该方程存在一个非平凡解 $ u_2(s) $，其中 $ R $ 是一个与朗斯基安相关的函数的正根，从而否定了唯一性结果，并动摇了相关理论论证的基础。

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.

研究动机与目标

• 挑战科克斯与汤普森在固定能量数据下关于逆散射理论核心积分方程解的唯一性声称。
• 证明积分方程 (1.1) 的解对于所有 $ r > 0 $ 并不一定是平凡的，这与科克斯与汤普森（1970）的断言相悖。
• 推翻科克斯与汤普森（1970）及其依赖该唯一性声明的相关研究中的理论基础。
• 构造一个显式例子，表明在特定参数选择下存在非平凡解，方法包括贝塞尔-里卡蒂函数与朗斯基安分析。
• 表明其他文献（如 [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) $ 作为解。
• 对积分项两次分部积分，利用朗斯基安恒等式 $ 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 $。
• 建立当 $ 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)，且该条件在参数变化下是否稳定？
• RQ5 本例中唯一性的失效在多大程度上影响了 [3] 与 [4] 中相关逆散射论证的有效性？

主要发现

• 当 $ r = R $ 时，方程 (1.1) 存在非平凡解 $ u_2(s) $，其中 $ R $ 是满足 $ p(R) = 0 $ 的正实数。
• 函数 $ p(r) = v_0(r)u_2'(r) - v_0'(r)u_2(r) $ 在 $ (0, \infty) $ 上连续，且满足 $ p(r) \to -r^2/5 $（当 $ r \to 0 $）与 $ p(r) \to 1 $（当 $ r \to \infty $），从而保证在某处存在零点 $ R > 0 $。
• 解 $ u_2(s) $ 满足方程 (1.1) 当且仅当 $ p(r) = 0 $，从而确立了非平凡可解性的精确条件。
• 该反例否定了科克斯与汤普森（1970）的唯一性声明，表明在某些 $ r > 0 $ 下存在非平凡解，与他们的断言相悖。
• 该结果意味着依赖于该唯一性的理论框架（如 [4]）因此类反例的存在而受到动摇。
• 唯一性的失效并非孤立事件；[2] 与 [5] 中的类似方程在某些 $ r > 0 $ 下同样缺乏普遍唯一性，表明文献中存在更广泛的问题。