[논문 리뷰] Stability of the Calder\'on problem for less regular conductivities

Pedro Caro, Andoni García외 1명|arXiv (Cornell University)|2012. 05. 11.

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

한 줄 요약

이 논문은 $n \geq 3$ 차원에서 $C^{1,\varepsilon}(\overline{\Omega})$ 공간에 속하는 전도도를 갖는 Calderón 문제에 대해 로그형 안정성 추정을 확립한다. Haberman과 Tataru의 영감을 받은 정교화된 복소 기하학적 옹크터(CGO) 구성 방법을 사용하여, 이는 이전 결과들보다 더 낮은 정규성 조건을 필요로 한다. 핵심 결과는 두 전도도의 $C^{0,\delta}$-노름이 그들의 딜리클레-투-노이만 맵 차이의 역수의 로그의 거듭제곱에 의해 유계임을 보여주며, 이는 $H^{n/2+\varepsilon}$ 정규성 조건이 필요 없음을 의미한다.

ABSTRACT

In these notes we prove log-type stability for the Calder\\'on problem with conductivities in $ C^{1,\\varepsilon}(\\bar{\\Omega}) $. We follow the lines of a recent work by Haberman and Tataru in which they prove uniqueness for $ C^1(\\bar{\\Omega}) $.

연구 동기 및 목표

• 이전에 고려된 바보다 덜 정규적인 전도도를 갖는 역전도도 문제의 안정성 추정을 확립하는 것.
• Heck(2011)의 안정성 결과를 $H^{n/2+\varepsilon}$ 정규성 조건을 제거함으로써 확장하는 것.
• 리프시츠 경계 조건 하에서 $C^{1,\varepsilon}(\overline{\Omega})$ 전도도에 대해 $C^{0,\delta}(\overline{\Omega})$-노름에서의 안정성 확보.
• 경계 데이터를 통한 $L^\infty$ 제어가 필요 없이, 보간법과 Morrey 임bedding이 전도도의 $L^\infty$-노름을 제어할 수 있음을 보여주는 것.

제안 방법

• Haberman과 Tataru(2011)의 복소 기하학적 옹크터(CGO) 해 구성 방법을 $C^{1,\varepsilon}$ 전도도에 적응시키기.
• CGO 구성에서 잔여항을 제어하기 위해 1차 도함수의 $L^2$-모듈러스 연속성을 사용하기.
• 레베그 공간에서의 보간법을 적용하여 경계 측정치를 통해 전도도의 $L^\infty$-노름을 유계로 제한하기.
• Morrey의 임베딩 정리를 활용하여, 소볼레프 노름을 통해 전도도 차이의 $C^{0,\delta}$-노름을 제어하기.
• $\overline{\Omega}$ 에서 $\mathbb{R}^n$ 으로의 전도도 확장을 구성하여 등연속성과 경계 의존성을 유지하기.
• CGO 잔여항 유계화와 도함수의 $L^2$-모듈러스 연속성의 조합을 통해 안정성 추정을 유도하기.

실험 결과

연구 질문

• RQ1 차원 $n \geq 3$ 에서 $C^{1,\varepsilon}(\overline{\Omega})$ 전도도를 갖는 Calderón 문제에 대해 로그형 안정성을 확립할 수 있는가?
• RQ2 보간법과 Morrey 임베딩을 사용함으로써 $H^{n/2+\varepsilon}(\Omega)$ 정규성 조건을 제거할 수 있는가?
• RQ3 전도도의 기울기의 $L^2$-모듈러스 연속성이 CGO 해의 잔여항을 제어하는 데 사용될 수 있는가?
• RQ4 $C^{1,\varepsilon}$ 전도도를 $\mathbb{R}^n$ 으로 확장할 때 등연속성과 도함수의 $L^2$-모듈러스 연속성이 유지되는가?
• RQ5 Brown의 리프시츠 경계에서 기울기를 복원하는 방법을 $C^1$ 전도도에 대해 확장하여 안정성을 확보할 수 있는가?

주요 결과

• 논문은 로그형 안정성 추정을 확립한다: $\|\gamma_1 - \gamma_2\|_{C^{0,\delta}(\overline{\Omega})} \lesssim \left(\log \|\Lambda_{\gamma_1} - \Lambda_{\gamma_2}\|^{-1}\right)^{-\varepsilon^2(1-\delta)/(3n^2)}$ 이며, 이는 $C^{1,\varepsilon}(\overline{\Omega})$ 전도도에 대해 성립한다.
• 안정성 상수는 $n$, $\Omega$, $M$, $\delta$, $\varepsilon$ 에만 의존하며, $C^{1,\varepsilon}$-노름으로 유계이면서 0에서 멀리 떨어진 전도도의 전체 클래스에 대해 일관되게 유지된다.
• Heck(2011) 결과에서의 $H^{n/2+\varepsilon}$ 정규성 조건은 보간법과 Morrey 임베딩을 통해 경계 데이터를 통한 $L^\infty$-노름 제어를 통해 제거된다.
• 전도도 차이의 $C^{0,\delta}$-노름은 $W^{1,n/(1-\delta)}$-노름에 의해 제어되며, 이는 CGO 구성과 잔여항 추정을 통해 유계로 유지된다.
• 이 방법은 도함수의 $L^2$-모듈러스 연속성이 안정성 속도를 결정하는 핵심 요소임을 보여주며, 도함수의 모듈러스 연속성에 대한 더 강한 정규성 가정이 지수를 향상시킬 수 있음을 시사한다.
• 저자들은 Brown의 방법을 확장하거나 $\mathbb{R}^n$-확장을 통해 $L^2$-모듈러스 연속성을 유지하는 문제를 열려 있는 문제로 지적하며, 이는 향후 개선 가능성을 시사한다.