[논문 리뷰] Recovery of a source term or a speed with one measurement and applications

Plamen Stefanov, Günther Uhlmann|arXiv (Cornell University)|2011. 03. 06.

Numerical methods in inverse problems참고 문헌 13인용 수 4

한 줄 요약

이 논문은 비등방성 매질에서 단일 경계 측정을 통해 소스 항이나 음속을 복원하는 데 있어 날카운 유일성 및 안정성 조건을 수립한다. 카르레만 추정과 기하적 고려—특히 엄격한 볼록 표면의 층상 구조—를 조합하여, 최소한의 기하학적 및 정규성 조건 하에서 음속이 고유하고 안정적으로 재구성될 수 있음을 증명한다. 이는 열음향단층촬영에 직접적인 응용을 가진다.

ABSTRACT

We study the problem of recovery the source $a(t,x)F(x)$ in the wave equation in anisotropic medium with $a$ known so that $a(0,x) ot=0$ with a single measurement. We use Carleman estimates combined with geometric arguments and give sharp conditions for uniqueness. We also study the non-linear problem of recovery the sound speed in the equation $u_{tt} -c^2(x)Δu =0$ with one measurement. We give sharp conditions for stability, as well. An application to thermoacoustic tomography is also presented.

연구 동기 및 목표

• 비등방성 매질에서 파동방정식의 소스 항 $ a(t,x)F(x) $ 를 단일 경계 측정을 통해 고유하게 복원할 수 있는 날카운 조건을 수립한다.
• 카르레만 추정 기반의 역문제 해법의 적용 가능성을 넓히기 위해, 특히 엄격한 볼록 표면의 층상 구조를 통한 기하학적 조건으로 조건을 재구성한다.
• 음속 $ c(x) $ 를 단일 측정으로 복원하는 역문제에 대해 국소적 및 전역적 안정성 추정을 증명하며, 유계 $ C^k $-노름 조건 하에서 균일한 상한을 확보한다.
• 이전의 날카롭지 않은 준볼록성 및 볼록성 조건을 개선하기 위해 기하학적 프레임워크를 제공한다.
• 결과를 열음향단층촬영에 적용하여, 초기 압력 데이터의 경계 측정을 통해 음속 $ c(x) $ 가 안정적으로 복원될 수 있음을 보여준다.

제안 방법

• 문제의 기하학적 특성에 맞추어 시간에 의존하는 가중치 함수를 사용하는 카르레만 추정을 적용하여, 단일 전역 준볼록 함수에 의존하지 않는다.
• 경계에서 내부로 정보를 전파하기 위해, 엄격한 볼록 수준집합 $ ext{dist}(x, ar{ heta}) = s $ 의 가속적 고유계속성 방법을 적용하며, 여기서 $ s \to 0 $ 이다.
• 기하학적 층상 구조를 활용: 경계 $ ar{ heta} $ 가 엄격히 볼록하고, 수준집합이 거리 $ T $ 까지 엄격히 볼록성을 유지한다면, $ F = 0 $ 이다.
• 비선형 역문제인 $ c(x) $ 복원을 선형 문제로 환원: $ a = \nabla \tilde{u} $ 를 고려하여 $ F = \tilde{c}^2 - c^2 $ 를 복원하는 선형화 및 파동방정식의 구조를 활용한다.
• 디리클레-노이만 맵 $ B $ 와 그 매개수 $ Q $ 를 활용하며, 조건 (51) 하에서 $ B $ 가 순수한 기하학적 양의 0차 미분연산자이며 타원형 주요 기호를 가짐을 보여준다.
• 콤���트 편차 추론을 통한 안정성 확립: $ F $ 를 위한 해 연산자는 유계이며 콤팩트 오차 항을 포함하며, 프레드홀름 유형 추정을 이끌어내어 데이터의 소규모 변동에 대해 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 파동방정식 $ u_{tt} - c^2(x)\nabla \nabla u = a(t,x)F(x) $ 에서 소스 항 $ F(x) $ 가 단일 경계 측정을 통해 고유하게 복원될 수 있는 기하학적 및 분석적 조건은 무엇인가?
• RQ2 음속 $ c(x) $ 는 구간 $ [0,T] \times \bar{\theta} $ 에서 파동 해의 단일 측정을 통해 안정적으로 복원될 수 있는가? 그리고 $ T $ 와 기하학적 조건에 대한 날카운 조건은 무엇인가?
• RQ3 카르레만 추정의 준볼록성 조건을 엄격한 볼록 표면을 이용한 기하학적 층상 조건으로 대체할 수 있는가? 이는 이전의 날카롭지 않은 가정을 개선하는 데 기여하는가?
• RQ4 역문제 $ c(x) $ 의 안정성은 어떻게 되며, 안정성 상수는 $ c $ 와 $ \tilde{c} $ 의 정규성 및 유계성에 어떻게 의존하는가?
• RQ5 결과는 열음향단층촬영에 적용될 수 있는가? 초기 압력 데이터로부터 $ c(x) $ 의 복원에서 안정성은 어떻게 되는가?

주요 결과

• 경계 $ \bar{\theta} $ 의 콜라르 이웃 영역에서 $ F $ 의 고유성이 확립되며, $ \text{dist}(x, \bar{\theta}) \to s \to 0 $ 이 엄격한 볼록 수준집합을 유도할 경우, $ T $ 가 충분히 작을 때 성립한다.
• 조건 $ T \to 0 $ 는 날카롭다: $ s \to 0 $ 일 때 수준집합 $ \text{dist}(x, \bar{\theta}) = s $ 가 엄격히 볼록하지 않다면 고유성은 실패할 수 있다.
• 음속 $ c(x) $ 를 위한 역문제의 안정성은 콤팩트 편차 추론을 통해 증명된다: $ \tilde{u}_{tt} $ 가 $ u_{tt} $ 와 가까울 경우 $ \tilde{c} $ 는 $ L^2(K) $ 에서 $ c $ 와 가까워진다.
• 안정성 추정 $ \norm{\tilde{c} - c}_{L^2(K)} \to C \norm{\tilde{u}_{tt} - u_{tt}}_{L^2([0,T] \times \bar{\theta})} $ 는 $ k > n/2 $ 일 때 $ C^k $-유계성과 $ c $ 의 타원성 조건 하에서 균일하게 성립한다.
• 해 $ u $ 는 $ f \to H^{k+1} $ 이고 $ c \to C^k $, $ k > n/2 $ 일 때 $ C^2([0,T]; C^2(\bar{\theta})) $ 에 속하여 경계 데이터가 잘 정의되기 위해 충분한 정규성을 확보한다.
• 이 방법은 열음향단층촬영에 적용 가능하다: 동일한 기하학적 및 정규성 조건 하에서 초기 압력 데이터의 단일 측정을 통해 음속 $ c(x) $ 가 안정적으로 복원될 수 있다.