[논문 리뷰] Phaseless inverse scattering problems in 3-d

Michael V. Klibanov|arXiv (Cornell University)|2013. 03. 05.

Numerical methods in inverse problems참고 문헌 29인용 수 4

한 줄 요약

이 논문은 파동장의 위상이 측정되지 않고 진폭만 측정되는 3차원 위상 불완전 역산열 문제에 대해 유일성 정리를 수립한다. 시간 도메인 공식화와 산란된 파동 데이터의 푸리에 변환으로 유도된 볼테라 적분방정식을 활용하여, 유한한 매질의 부드러움 조건 하에서도 소스 점의 이웃 영역에서의 위상 불완전 측정값만으로도 유한한 도메인 $ \Omega $ 내의 포텐셜 $ q(x) $ 가 유일하게 결정됨을 증명한다.

ABSTRACT

Uniqueness theorems are proved for 3-d inverse scattering problems in the frequency domain under the assumption that only the modulus of the complex valued wave field is measured, while the phase is unknown.

연구 동기 및 목표

• 3차원 포텐셜 $ q(x) $ 를 파동장의 위상 정보 없이 진폭 측정값으로 복원하는 문제에 도전한다. 이는 오랫동안 미해결이었던 역산열 문제이다.
• 위상 회복의 한계를 극복하기 위해, 위상 대신 $ |u(x,x_0,k)|^2 $ 의 진폭만 알려진 경우에도 유일성을 증명한다.
• 포텐셜과 해에 대해 현실적인 부드러움 조건($ C^2 $ 또는 $ C^4 $) 하에서 유일성 결과를 수립하며, 최소한의 부드러움 조건을 가정하지 않는다.
• 이전에 위상 정보가 필요로 했던 1차원에서의 위상 불완전 역산열 이론을 3차원으로 확장한다.
• 콤팩트 지원이 있는 도메인 $ \Omega $ 내에서 포텐셜 $ q(x) $ 를 소스 점 근처의 국소적 진폭 데이터만으로 복원할 수 있는 프레임워크를 제공한다.

제안 방법

• 콤팩트 지원이 있는 포텐셜 $ q(x) \in C^m(\mathbb{R}^3) $, $ m=2 $ 또는 $ 4 $ 를 가진 슈뢰딩거 방정식을 사용하여 주파수 도메인에서 역산열 문제를 공식화한다.
• 역 푸리에 변환을 통해 주파수 도메인 문제를 시간 도메인 문제로 변환하여, 소스 항을 포함한 쌍곡형 파동 방정식을 도출한다.
• 시간 도메인 공식화를 활용하여 인과성과 지지 집합 조건을 이용해 산란된 파동과 그 도함수를 포함하는 볼테라 적분방정식을 유도한다.
• 시공간 표면 $ S \times (0,\infty) $ 에서의 경계 데이터를 가진 쌍곡형 방정식에 대한 유일성 정리를 적용하여, 측정된 진폭이 일치할 경우 $ q_1(x) = q_2(x) $ 가 $ \Omega $ 에서 성립함을 보장한다.
• 측정된 $ |u(x,x_0,k)|^2 $ 가 일치하면 산란된 파동의 푸리에 변환도 일치하므로, 시간 도메인 해 $ V_1 = V_2 $ 가 경계에서 동일하다는 것을 이용한다.
• 해의 시간 도함수와 고차 도함수를 활용하여 제2종 볼테라 적분방정식을 구성하고, 산란된 파동이 두 포텐셜에 대해 동일해야 하므로 $ q_1 = q_2 $ 라는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 3차원 영역 내의 포텐셜 $ q(x) $ 는 위상 정보 없이도 파동장의 진폭만으로 유일하게 복원될 수 있는가?
• RQ2 측정 영역이 전체 원형장 패턴이 아닌 소스 점 $ x_0 $ 근처의 이웃 영역으로 제한된 경우에도 역산열 문제의 유일성이 유지되는가?
• RQ3 포텐셜에 대해 $ C^2 $ 또는 $ C^4 $ 부드러움 조건이 성립할 경우, 최소한의 부드러움 조건을 가정하지 않더라도 유일성이 확립될 수 있는가?
• RQ4 위상 불완전 데이터만 제공될 경우 시간 도메인 방법을 사용하여 포텐셜을 회복할 수 있는가?
• RQ5 측정 영역과 데이터(진폭만)에 어떤 조건이 필요하면, 두 개의 다른 포텐셜이 동일한 측정 강도를 생성할 수 없도록 보장할 수 있는가?

주요 결과

• 두 포텐셜 $ q_1 $ 과 $ q_2 $ 에 대해 측정된 진폭 $ |u(x,x_0,k)|^2 $ 가 동일할 경우, 위상 정보가 없더라도 $ \Omega $ 내에서 포텐셜 $ q(x) $ 가 유일하게 결정된다.
• 유일성 결과는 $ q(x) $ 에 대해 $ C^2 $ 또는 $ C^4 $ 부드러움 조건 하에서도 성립하며, $ m=4 $ 를 선택하면 기존의 쌍곡형 방정식에 대한 유일성 정리와의 호환성을 확보한다.
• 증명은 주파수 도메인 문제를 시간 도메인 문제로 변환하는 데 의존하며, 이로 인해 측정된 진폭 데이터가 시간 도메인 해 $ V_1 = V_2 $ 가 경계 $ S \times (0,\infty) $ 에서 동일하다는 것을 이끌어낸다.
• 시간 도메인 해의 동일성은 산란된 파동과 그 도함수가 일치함을 의미하며, 이는 유일한 해를 가지는 볼테라 적분방정식을 이끌어내고, 이에 따라 포텐셜이 동일해야 한다는 결론을 이끌어낸다.
• 유한한 시간 간격이 존재할 경우에도 결과는 그대로 유지되며, 이는 $ T > \text{diam}(G_1)/2 $ 를 만족할 경우 실용적인 측정 창을 허용한다.
• 결론들에 따르면, 소스 표면 $ S $ 상의 고정된 점 $ y \neq y_0 $ 에서의 단일 측정값 $ |u(y,y_0,k)|^2 $ 만으로도 파동장과 따라서 포텐셜이 유일하게 결정된다.