[논문 리뷰] Recovering a Potential from Cauchy Data via Complex Geometrical Optics Solutions

Hoài-Minh Nguyên, Daniel Spirn|arXiv (Cornell University)|2014. 03. 10.

Numerical methods in inverse problems참고 문헌 21인용 수 7

한 줄 요약

이 논문은 복소 기하학적 옹알(CGO) 해를 사용하여 표준 소볼레프 공간에서 코시 데이터로부터 잠재력 $ q $ 를 복원하는 데 있어 새로운 유일성 결과를 확립한다. 고급 함수 공간을 피하고자 한다. $ W^{2,d/2} $ 클래스에 대한 유일성에 대한 새로운 증명을 제공하며, 3차원에서 $ 3/2 < s < 2 $ 인 $ W^{s,3/s} $ 도전성에 대해 새로운 결과를 도입한다. 이는 정교한 추정과 소볼레프 부등식을 통해 이전 작업을 확장한 것이다.

ABSTRACT

This paper is devoted to the problem of recovering a potential $q$ in a domain in $\mathbb{R}^d$ for $d \geq 3$ from the Dirichlet to Neumann map. This problem is related to the inverse Calderón conductivity problem via the Liouville transformation. It is known from the work of Haberman and Tataru [11] and Nachman and Lavine [17] that uniqueness holds for the class of conductivities of one derivative and the class of $W^{2,d/2}$ conductivities respectively. The proof of Haberman and Tataru is based on the construction of complex geometrical optics (CGO) solutions initially suggested by Sylvester and Uhlmann [22], in functional spaces introduced by Bourgain [2]. The proof of the second result, in the work of Ferreira et al. [10], is based on the construction of CGO solutions via Carleman estimates. The main goal of the paper is to understand whether or not an approach which is based on the construction of CGO solutions in the spirit of Sylvester and Uhlmann and involves only standard Sobolev spaces can be used to obtain these results. In fact, we are able to obtain a new proof of uniqueness for the Calderón problem for 1) a slightly different class as the one in [11], and for 2) the class of $W^{2,d/2}$ conductivities. The proof of statement 1) is based on a new estimate for CGO solutions and some averaging estimates in the same spirit as in [11]. The proof of statement 2) is on the one hand based on a generalized Sobolev inequality due to Kenig et al. [14] and on another hand, only involves standard estimates for CGO solutions [22]. We are also able to prove the uniqueness of a potential for 3) the class of $W^{s, 3/s}$ ($\supsetneqq W^{2, 3/2}$) conductivities with $3/2 &lt; s &lt; 2$ in three dimensions. As far as we know, statement 3) is new.

연구 동기 및 목표

• 표준 소볼레프 공간에서 고전적인 복소 기하학적 옹알(CGO) 방법이 코시 데이터로부터 잠재력 $ q $ 를 복원할 수 있는지 여부를 규명하는 것.
• 가장 표준적인 CGO 추정만을 사용하여 $ W^{2,d/2} $ 도전성 클래스에서 캘러존 문제의 유일성에 대한 새로운 증명을 제공하는 것.
• 3차원에서 $ 3/2 < s < 2 $ 인 $ W^{s,3/s} $ 도전성 클래스로 유일성을 확장하는 것.
• 리우빌 변환을 통해 역잠재력 문제와 역캘러존 도전성 문제 사이의 연결을 설정하는 것.
• 가중치 공간이나 카르레만 추정에 의존하지 않고, 평균화와 소볼레프 유형 부등식을 사용하여 기존 결과를 향상시키는 것.

제안 방법

• 시브릴라스와 우할만의 방법을 활용하여 $ L^p $ 및 소볼레프 공간에 적응시킨 슈뢰딩거 방정식 $ \Delta v - qv = 0 $ 의 CGO 해를 구성하는 것.
• 하바르만과 타타루의 영감을 얻은 평균화 기법을 사용하여 낮은 정(regularity) 잠재력을 다루기 위해 CGO 해에 대한 새로운 추정을 적용하는 것.
• 켄니그, 폰체, 바르가스의 일반화된 소볼레프 부등식을 적용하여 주파수 영역에서 잠재력의 $ L^2 $-노름을 통제하는 것.
• 리우빌 변환을 사용하여 잠재력 복원 문제를 도전성에 대한 역캘러존 문제와 연결하는 것.
• 횔더 부등식과 커플라션 추정을 적용하여 잠재력의 푸리에 변환의 $ L^2 $-노름을 통제하는 것.
• 조화 함수와 폭발 수열을 사용한 모순 증명을 통해 경계에서 도전성의 점별 등가성 $ \gamma_1 = \gamma_2 $ a.e. on $ \partial\Omega $ 를 확립하는 것.

실험 결과

연구 질문

• RQ1 표준 소볼레프 공간에서 고전적인 CGO 방법을 사용하여 $ q \in L^{d/2} $ 잠재력을 코시 데이터로부터 복원할 수 있는가?
• RQ2 가중치 공간이나 카르레만 추정을 사용하지 않고도 $ W^{2,d/2} $ 클래스에서 캘러존 문제의 유일성을 증명할 수 있는가?
• RQ3 CGO 해를 사용한 $ L^2 $-기반 추정에서 잠재력 복원의 최적 정규성 클래스는 무엇인가?
• RQ4 CGO 접근법을 3차원에서 $ 3/2 < s < 2 $ 인 $ W^{s,3/s} $ 도전성으로 확장할 수 있는가?
• RQ5 평균화와 소볼레프 부등식의 사용은 역잠재력 문제에서 유일성의 정규성 임계값을 어떻게 향상시키는가?

주요 결과

• 논문은 표준 소볼레프 공간 추정과 CGO 해만을 사용하여 $ W^{2,d/2} $ 도전성 클래스에서 캘러존 문제의 유일성에 대한 새로운 증명을 제공한다.
• 3차원에서 $ 3/2 < s < 2 $ 인 $ W^{s,3/s} $ 도전성에 대해 새로운 유일성 결과를 확립하였으며, 이는 이 클래스에서 처음으로 이루어지는 결과이다.
• $ W^{2,d/2} $ 경우의 증명은 일반화된 소볼레프 부등식과 표준 CGO 추정에 기반하며, 가중치 공간이나 카르레만 추정이 필요로 하지 않는다.
• CGO 해에 대한 새로운 추정을 유도하여 하바르만과 타타루의 작업 정신을 계승한 평균화 접근을 가능하게 하였다.
• 경계 결정 결과는 조화 함수와 폭발 수열을 사용한 모순 증명을 통해 증명되었으며, $ \gamma_1 = \gamma_2 $ a.e. on $ \partial\Omega $ 를 보였다.
• 저자들은 라빈과 나흐먼의 $ L^{d/2} $ 결과가 하바르만과 타타루의 $ W^{1,\infty} $ 결과에 의해 함의되지 않으며, 그 반대도 성립하지 않음을 확인하였으며, 이는 그들의 접근의 독창성을 강조한다.