[논문 리뷰] The Calder\'{o}n inverse problem for isotropic quasilinear conductivities

Cătălin I. Cârstea, Ali Feizmohammadi외 3명|arXiv (Cornell University)|2021. 03. 10.

Numerical methods in inverse problems참고 문헌 48인용 수 33

한 줄 요약

이 논문은 $ n \geq 3 $ 차원에서 비선형 등방성 도전도 방정식에 대한 Calderón 역문제의 전역 유일성을 확립한다. 고차 선형화를 통해 Dirichlet-to-Neumann 사상의 정보를 추출함으로써, 비선형 도전도 미분의 복원 문제를 이방성 제품의 완전성 성질로 환원하며, 이는 복소 기하학적 옹호(geometric optics) 해의 진폭이 2차원 평면 근처에 집중됨을 이용해 증명된다. 핵심 결과는 Dirichlet-to-Neumann 데이터가 전역 비선형 도전도 함수를 유일하게 결정한다는 것이다.

ABSTRACT

We prove a global uniqueness result for the Calder\'{o}n inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to a completeness property for certain anisotropic products of solutions to the linearized equation. The completeness property is established using complex geometric optics solutions to the linearized conductivity equation, whose amplitudes concentrate near suitable two dimensional planes.

연구 동기 및 목표

• 비선형 등방성 도전도에 대해 Calderón 역문제의 전역 유일성 문제를 해결하기 위해.
• 원래 선형 등방성 도전도에 대해 고려된 고전적 Calderón 문제를 도전도가 해와 그 기울기에 의존하는 비선형 설정으로 확장하기 위해.
• 최소한의 정규성 조건 하에서 Dirichlet-to-Neumann 사상이 전역 비선형 도전도 함수를 유일하게 결정함을 입증하기 위해.
• 고차 선형화 기법을 개발하고 적용하여 비선형 역문제를 선형화된 방정식의 해의 곱에 대한 완전성 문제로 환원하기 위해.

제안 방법

• 비선형 Dirichlet-to-Neumann 사상의 고차 선형화를 수행하여 비선형 도전도의 미분 정보를 추출한다.
• 도전도의 대칭 텐서 값의 미분 복원 문제를 선형화된 도전도 방정식의 해의 이방성 곱의 완전성 성질로 환원한다.
• 진폭이 2차원 평면 근처에 집중되는 복소 기하학적 옹호(CGO) 해를 사용하여 적분 항등식을 통해 텐서 성분을 탐지한다.
• 네 개의 CGO 해 곱이 한 레이어 근처에 국소화됨을 이용하여 푸리에 분석을 적용함으로써, 적분이 0이면 텐서가 0이 됨을 보인다.
• 실수 바나흐 공간 간의 $ C^\infty $ 매핑에 대해 은직함수정리(implicit function theorem)를 적용하여 경계값에 대한 정규성 조건 하에서 Dirichlet 문제의 잘 정의됨을 입증한다.
• 직교된 위상 평면과 실수부가 0인 특수한 CGO 해를 철저히 구성하여 적분 항등식에 대해 테스트함으로써 해의 곱의 완전성을 증명한다.

실험 결과

연구 질문

• RQ1 차원 $ n \geq 3 $ 에서 Dirichlet-to-Neumann 사상이 비선형 등방성 도전도를 유일하게 결정할 수 있는가?
• RQ2 고차 선형화 기법을 통해 경계 측정치로부터 도전도 함수의 전체 테일러 전개를 복원할 수 있는가?
• RQ3 진폭이 국소화된 복소 기하학적 옹호 해를 사용하여 선형화된 방정식의 이방성 곱의 완전성을 확립할 수 있는가?
• RQ4 Calderón 문제에서 전역 유일성을 유지하기 위해 도전도 함수에 요구되는 최소 정규성 조건은 무엇인가?

주요 결과

• 홀로모르피크 의존성 조건 (H1), (H2) 하에서, $ \Omega \times \mathbb{C} \times \mathbb{C}^n $ 에서 Dirichlet-to-Neumann 사상이 비선형 도전도 $ \gamma $ 를 유일하게 결정하며, 이는 정리 1.1을 증명한다.
• $ \rho $ 와 $ \mu $ 에 대해 $ C^\infty $ 의존성을 가지는 실수값 도전도의 경우, 경계 데이터는 $ (0,0) $ 에서의 $ \gamma $ 의 모든 편미분을 유일하게 결정하며, 이는 정리 1.3에 기록되어 있다.
• 이방성 해 곱의 완전성 성질(제안 1.2)은 복소 기하학적 옹호 해를 사용하여 증명되며, 이들의 진폭이 2차원 평면 근처에 집중됨으로써 레이를 沿해 푸리에 변환이 0이 됨을 이끌어낸다.
• 증명은 특정 위상과 진폭 행동을 갖는 CGO 해를 구성함에 기반하며, 이로 인해 네 개의 이러한 해 곱이 선 근처에 국소화되어 푸리에 분석을 통해 텐서가 0이 됨을 유추할 수 있다.
• 실수 바나흐 공간 간의 $ C^\infty $ 매핑에 대해 은직함수정리를 적용하여 Dirichlet 문제의 잘 정의됨이 입증되며, 이는 경계 데이터에 대한 해의 해석적·매끄러운 의존성을 보장한다.
• 이 방법은 $ \rho $ 에 대해 매끄럽고 $ \mu $ 에 대해 실해석적인 도전도로 확장 가능하며, 0 근처의 테일러 계수로부터 해석적 계속을 통해 도전도 함수의 전체 복원이 가능하다.