[논문 리뷰] Partial Cauchy Data for General Second-Order Elliptic Operators in Two Dimensions

Oleg Imanuvilov, Günther Uhlmann외 1명|arXiv (Cornell University)|2010. 10. 27.

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

한 줄 요약

이 논문은 경계의 임의의 열린 부분집합에서 부분 코시 데이터를 측정할 경우, 일반적인 2차 타원형 연산자의 계수들이 자연스러운 기하학적 및 게이지 불변성—예를 들어, 등각 불변성, 게이지 변환, 미분형 불변성—을 제외하고는 유일하게 결정됨을 증명한다. 핵심 결과는 자기장의 커플링과 전기 포텐셜이 자기 슈뢰딩거 연산자의 부분 딜리클-투-노이만 데이터로부터 유일하게 결정됨을 보여준다.

ABSTRACT

We consider the inverse problem of determining the coefficients of a general second-order elliptic operator in two dimensions by measuring the corresponding Cauchy data on an arbitrary open subset of the boundary. We show that one can determine the coefficients of the operator up to natural obstructions such as conformal invariance, gauge transformations and diffeomorphism invariance. We use the main result to prove that the curl of the magnetic field and the electric potential are uniquely determined by measuring partial Cauchy data associated to the magnetic Schroedinger equation measured on an arbitrary open subset of the boundary. We also show that any two of the three coefficients of a second order elliptic operator whose principal part is the Laplacian, are uniquely determined by their partial Cauchy data.

연구 동기 및 목표

• 2차원에서 일반적인 2차 타원형 연산자의 계수들이 경계의 임의의 열린 부분집합에서 부분 코시 데이터로 얼마나 유일하게 복원될 수 있는지 규명하는 것.
• 유일한 복원을 방해하는 자연스러운 불변성—예를 들어, 등각 불변성, 게이지 변환, 미분형 불변성—을 규명하는 것.
• 자기 슈뢰딩거 방정식에서 자기장의 커플링과 전기 포텐셜이 부분 코시 데이터로부터 유일하게 결정됨을 증명하는 것.
• 라플라스 주된 항을 갖는 2차 타원형 연산자의 세 계수 중 두 개가 부분 코시 데이터로부터 유일하게 결정됨을 보여주는 것.

제안 방법

• 매우 높은 주파수를 갖는 진동하는 위상과 함께 복소 기하광학(CGO) 해를 사용하여 타원 방정식의 특수한 해를 구성하는 것.
• 주파수 매개변수가 무한으로 갈 때의 점근 분석을 적용하여 계수 차이에 대한 정보를 추출하는 것.
• 해의 차이에 대한 카르레만 추정과 적분 항등식을 활용하여 점근 전개를 유도하는 것.
• 복소 좌표에서 라플라스-벨트라미 연산자의 구조를 활용하여 계량과 일阶항을 다루는 것.
• 계량의 역과 복소 도함수 $ \partial/\partial z $, $ \partial/\partial \overline{z} $를 사용하여 연산자의 파라메트릭스를 구성하는 것.
• 경계 항을 경계 추론 정리와 부분 적분을 통해 분석하여 점근 전개에서 계수 기여를 분리하는 것.

실험 결과

연구 질문

• RQ1 2차원에서 일반적인 2차 타원형 연산자의 계수들이 경계의 임의의 열린 부분집합에서 부분 코시 데이터로 얼마나 유일하게 결정될 수 있는가?
• RQ2 계수의 유일한 복원을 방해하는 자연스러운 불변성은 무엇이며, 이는 역문제에 어떻게 영향을 미치는가?
• RQ3 자기 슈뢰딩거 방정식에서 자기장의 커플링과 전기 포텐셜은 부분 코시 데이터로부터 유일하게 복원될 수 있는가?
• RQ4 라플라스 주된 항을 갖는 2차 타원형 연산자의 세 계수 중 두 개는 부분 코시 데이터로부터 유일하게 결정되는가?
• RQ5 게이지 변환, 등각 불변성, 미분형 변환은 부분 코시 데이터 집합의 동치성에 어떻게 영향을 미치는가?

주요 결과

• 2차원에서 일반적인 2차 타원형 연산자의 계수들은 경계의 임의의 열린 부분집합에서 부분 코시 데이터를 측정할 경우, 등각 불변성, 게이지 변환, 미분형 불변성을 제외하고는 유일하게 결정된다.
• 자기 슈뢰딩거 방정식에서 자기장의 커플링과 전기 포텐셜은 임의의 열린 경계 부분집합에서 부분 코시 데이터로 유일하게 결정된다.
• 라플라스 주된 항을 갖는 2차 타원형 연산자의 세 계수 중 두 개는 부분 코시 데이터로부터 유일하게 결정된다.
• 주요 결과는 복소 기하광학 해의 점근 분석을 통해 확립되며, 코시 데이터가 동일할 경우 계수의 차이가 0이 되어야 한다는 것을 보여준다.
• 이 증명은 특정한 진동 행동을 갖는 해를 구성하고 주파수가 무한으로 갈 때의 점근 전개에서 주요 항을 분석하는 데 의존한다.
• 유도된 점근 공식은 도메인과 경계에 대한 적분을 포함하며, 주요 항은 계수의 차이 $ A_1 - A_2 $, $ B_1 - B_2 $, $ q_1 - q_2 $를 캡처한다. 데이터 동치 조건 하에서 이들은 0이 된다.