[논문 리뷰] A counterexample to the uniqueness result of Cox and Thompson

А. Г. Рамм|ArXiv.org|2001. 08. 17.

Numerical methods in inverse problems참고 문헌 6인용 수 5

한 줄 요약

이 논문은 Cox와 Thompson의 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.

연구 동기 및 목표

• 고정 에너지 데이터를 포함하는 역산산 이론의 중심이 되는 적분방정식의 해에 대한 유일성 주장에 도전하기 위해.
• Cox와 Thompson(1970)이 주장한 lin형식 (1.1)의 해가 모든 $ r > 0 $ 에서 반드시 자명한 해일 것이라고 보고된 바를 뒤집기 위해.
• Cox와 Thompson(1970)의 이론적 기초와 이 유일성 주장에 의존하는 관련 연구들의 이론적 기초를 무너뜨리기 위해.
• 베셀-리카티 함수와 와이언스키안 분석을 사용하여 특정 매개변수 조건에서 비자명한 해가 존재하는 명시적 예를 구성하기 위해.
• 다른 논문들(예: [2], [5])의 유사한 방정식들도 일부 $ r > 0 $ 에서 일반적인 유일성이 결여되어 있음을 보여주기 위해.

제안 방법

• 단일 원소 집합 $ S = \{0\} $, $ T = \{2\} $을 선택하고, 식 (1.2)로부터 $ \gamma_0 = -6 $를 계산하여 주어진 조건을 만족시키기 위해.
• 정규 및 비정규 베셀-리카티 함수인 $ u_0 $, $ v_0 $를 사용하여 $ s > t $ 인 경우 커널 $ g(s,t) = -6u_0(t)v_0(s) $를 정의하기 위해.
• 식 (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 $ 이면 해 $ u_2(s) $가 식 (1.1)을 만족함을 증명함으로써, $ r = R $ 에서 비자명한 해 존재성을 입증하기 위해.

실험 결과

연구 질문

• RQ1 Cox와 Thompson이 주장한 lin형식 (1.1)은 모든 $ r > 0 $ 에서 자명한 해만을 갖는가?
• RQ2 특정 선택된 $ S $, $ T $, $ \gamma_m $ 조건 하에서, 유일성 주장에 어긋나는 비자명한 해가 존재할 수 있는가?
• RQ3 와이언스키안 유사 함수 $ p(r) $ 는 비자명한 해 존재성의 결정에 어떤 역할을 하는가?
• RQ4 어떤 $ r > 0 $ 값들에 대해 해 $ u_2(s) $ 가 식 (1.1)을 만족하는가? 이 조건은 매개변수 변화에 대해 안정적인가?
• 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 $ 이라는 조건과 동치이며, 이는 비자명한 해 존재성의 정확한 조건을 제시한다.
• 반례는 Cox와 Thompson(1970)의 유일성 주장이 무효화되었음을 보여주며, 일부 $ r > 0 $ 에서 비자명한 해가 존재함을 입증한다. 이는 그들의 주장과 정면으로 배치된다.
• 이 결과는 이 유일성에 의존하는 [4]의 이론적 프레임워크가 이러한 반례 존재성으로 인해 흔들림을 겪는다는 것을 암시한다.
• 유일성 실패는 국한된 현상이 아니며, [2]와 [5]의 유사한 방정식들 역시 일부 $ r > 0 $ 에서 일반적인 유일성이 결여되어 있음을 보여주며, 문헌 전반에 걸쳐 넓은 문제를 암시한다.