[논문 리뷰] The Calder\'on problem for quasilinear elliptic equations

Claudio Muñoz, Günther Uhlmann|arXiv (Cornell University)|2018. 06. 25.

Numerical methods in inverse problems참고 문헌 11인용 수 9

한 줄 요약

이 논문은 잠재력 $ s $ 와 그 기울기 $ p $ 에 대해 비선형적으로 의존하는 도전도 계수 $ a(x, s, p) $ 의 유일성을 확립한다. 이는 Dirichlet-to-Neumann (DN) 매ap이 이러한 도전도 계수를 유일하게 결정한다는 것을 보여줌으로써 이루어지며, 경계 테스트 함수를 통한 복소해석적 선형화와 DN 매핑의 해석적 계속을 사용한다. 이 방법은 $ \mathbb{C}^{n+1} $ 에서 해석 함수의 유일 연속성 원리를 통해 DN 매핑의 동일성이 도전도 계수의 동일성으로 이어짐을 증명한다.

ABSTRACT

In this paper we show uniqueness of the conductivity for the quasilinear Calder\'on's inverse problem. The nonlinear conductivity depends, in a nonlinear fashion, of the potential itself and its gradient. Under some structural assumptions on the direct problem, a real-valued conductivity allowing a small analytic continuation to the complex plane induces a unique Dirichlet-to-Neumann (DN) map. The method of proof considers some complex-valued, linear test functions based on a point of the boundary of the domain, and a linearization of the DN map placed at these particular set of solutions.

연구 동기 및 목표

• Dirichlet-to-Neumann (DN) 매핑으로부터 준선형 도전도 $ a(x, s, p) $ 를 복원하는 역문제를 해결하기 위해.
• 이전의 선형적이고 등방성 역문제 결과를 $ x $, $ u $, 및 $ \nabla u $ 에 따라 의존하는 완전한 준선형 케이스로 확장하기 위해.
• 도전도와 직접 문제에 대한 최소한의 구조적 가정 하에서 유일성을 확립하기 위해.
• 비선형성과 기울기 의존성에 기인한 문제들을 극복하기 위해 복소수 해와 해석적 계속 기반의 새로운 방법을 개발하기 위해.

제안 방법

• 경계 점 소스를 기반으로 한 복소수 해 $ u_{s,p} $ 를 도입하며, $ s \in \mathbb{R} $ 와 $ p \in \mathbb{C}^n $ 에 따라 매개변수화하여 DN 매핑을 선형화한다.
• 복소수 $ p $ 에 대해 확장된 DN 매핑 $ \tilde{\Gamma}_{a,s,p} $ 를 정의하며, 이는 $ (s,p) \in \mathbb{R} \times A(r_0) $ 에서 해석적임을 보장하여 해석적 계속을 가능하게 한다.
• 선형화된 DN 매핑 $ \tilde{\Gamma}^\ell_{a,s,p} $ 가 $ (s,p) $ 에 대해 해석적임을 이용하고, 리만의 두 번째 확장 정리를 적용하여 낮은 차원의 해석적 집합에서의 동일성을 전체 영역으로 확장한다.
• 도전도 $ a $ 가 원점 근처에서 해석적임과 동시에 DN 매핑이 $ a $ 에 대해 해석적으로 의존함을 이용하여, 실수 매개변수에서의 동일성을 복소수 매개변수로 전파한다.
• $ \mathbb{C}^{n+1} $ 에서 해석 함수의 유일 연속성 성질을 적용하여, 복소해석적 부분다양체에서의 동일성으로부터 $ a_1 $ 과 $ a_2 $ 의 전역적 동일성을 도출한다.
• 편미분 이론을 통해 준선형 문제를 선형화된 DN 매핑으로 환원하며, DN 매핑의 동일성이 그들의 선형화된 형태의 동일성을 이끌어냄을 보여준다.

실험 결과

연구 질문

• RQ1 Dirichlet-to-Neumann 매핑은 잠재력 $ s $ 와 그 기울기 $ p $ 에 대해 비선형적으로 의존하는 준선형 도전도 $ a(x, s, p) $ 를 유일하게 결정할 수 있는가?
• RQ2 역문제의 해법 가능성과 유일성을 보장하기 위해 도전도 $ a $ 와 직접 문제에 대해 필요한 구조적 가정은 무엇인가?
• RQ3 복소해석적 방법을 어떻게 활용하여 실수 기반의 역문제 결과를 준선형 케이스로 확장할 수 있는가?
• RQ4 해석적 계속 기법을 사용하여 DN 매핑으로부터 $ a(x, s, p) $ 를 전역적으로 복원하는 것이 가능한가?
• RQ5 도전도 $ a $ 의 비선형성과 기울기 의존성은 표준 선형화 기법을 얼마나 방해하는가?

주요 결과

• 두 도전도 $ a_1 $ 과 $ a_2 $ 가 모든 실수 경계 데이터에 대해 동일한 DN 매핑을 유도할 경우, 해석성과 구조적 가정 하에서 $ a_1 \equiv a_2 $ 는 $ \mathbb{R} \times \mathbb{R}^n $ 의 원점 근처에서 성립함을 증명한다.
• 핵심 단계는 선형화된 DN 매핑 $ \tilde{\Gamma}^\ell_{a,s,p} $ 가 $ (s,p) \in \mathbb{R} \times A(r_0) $ 에서 해석적임을 보여주는 것으로, 이는 실수 축에서 복소 영역으로의 해석적 계속을 가능하게 한다.
• 실수 경계 데이터에서의 DN 매핑 동일성은 복소해석적 확장을 통해 $ \tilde{\Gamma}_{a,s,p} $ 의 동일성으로 이어지고, 이는 선형화된 DN 매핑의 동일성으로 이어진다.
• 리만의 두 번째 확장 정리를 적용하여, $ \mathbb{C}^{n+1} $ 에서 코드림이 2인 집합에서의 동일성이 전체 영역 $ \mathbb{R} \times B_{r_0}(0) $ 으로 확장됨을 보였다.
• 결과는 도전도 $ a $ 가 원점 근처에서 실해석적이며, 직접 문제의 해와 유일성 보장에 필요한 표준 구조 조건을 만족할 경우에 성립한다.
• 이 방법은 DN 매핑을 포함하는 적분 공식을 통한 $ a $ 의 구조적 복원을 가능하게 하며, 예를 들어 $ a(0,p) = \lim_{\theta \to 0} \int_\theta^1 \cdots d\eta $ 와 같은 공식이 DN 자료로부터 유도됨을 보여준다.