[논문 리뷰] Stability result for elliptic inverse periodic coefficient problem by partial Dirichlet-to-Neumann map

Mourad Choulli, Yavar Kian외 1명|arXiv (Cornell University)|2016. 01. 20.

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

한 줄 요약

이 논문은 유한한 횡단면을 가진 무한 원통형 파동구에서 경계의 약간 초과한 반 이상에서 부분적인 딜리클-투-노이만 데이터를 측정함으로써 1주기 잠재력을 복원하는 역문제에 대해 로그-로그 안정성 추정을 수립한다. 푸리에 분석과 복소 기하학적 옹호 해법을 사용하여, 측정 오차에 대해 이중 로그 의존성을 가지며, 심지어 노이만 데이터가 경계의 부분집합으로 제한되어 있을 경우에도 $ H^{-1} $-노름에서 잠재력이 안정적으로 결정됨을 증명한다.

ABSTRACT

We study the inverse problem of identifying a periodic potential perturbation of the Dirichlet Laplacian acting in an infinite cylindrical domain, whose cross section is assumed to be bounded. We prove log-log stable determination of the potential with respect to the partial Dirichlet-to-Neumann map, where the Neumann data is taken on slightly more than half of the boundary of the domain.

연구 동기 및 목표

• 유한한 횡단면을 가진 파동구에서 부분적인 경계 측정값을 통해 1주기 잠재력을 식별하는 역문제를 다루는 것.
• 무한 도메인, 특히 무한 원통형 파동구에서 역계수 문제에 대한 안정성 추정을 수립하는 것.
• 유한한 도메인에서의 부분 데이터 안정성 결과를 무한 도메인으로 확장하고, 특히 주기적 계수에 대해 적용하는 것.
• 경계의 약간 초과한 반 이상의 부분집합에서 측정된 노이만 데이터로부터 잠재력이 안정적으로 복원될 수 있음을 증명하는 것.
• 측정 오차에 대한 재구성 오차의 의존성을 정량화하는 로그-로그 유형의 안정성 추정을 유도하는 것.

제안 방법

• 주기적 방향 $ x_1 $ 에서의 푸리에 분해를 사용하여 3차원 문제를 $ k \in \mathbb{Z} $ 를 매개변수로 하는 2차원 문제의 집합으로 환원한다.
• 파동구의 구조와 주기적 구조를 고려하여 조정된 슈뢰딩거 방정식 $ (-\Delta + V)v = 0 $ 에 대한 복소 기하학적 옹호(Complex Geometric Optics, CGO) 해를 구성한다.
• 경계의 부분집합 $ G \subset \partial\Omega $ 에서 정의된 부분적인 딜리클-투-노이만 맵 $ \Lambda_V $ 를 사용한다. 여기서 $ G $ 는 경계의 $ \xi $-그림자 면의 이웃 영역이다.
• 카르멘 추정과 에너지 추정을 사용하여 두 잠재력 $ V_1 $ 과 $ V_2 $ 에 대응하는 해의 차이에 대한 $ L^2 $-추정을 유도한다.
• 쌍대성 원리를 적용하여 측정 집합에서 해의 차이의 $ L^2 $-노름과 잠재력 차이의 $ H^{-1} $-노름을 연결한다.
• CGO 앵색에서의 매개변수(주파수 $ \rho $, 스케일링 $ r $)를 최적화하여 지수 성장 및 감쇠 항을 균형 잡고, 이중 로그 안정성 추정에 이를 이끌어낸다.

실험 결과

연구 질문

• RQ1 무한 파동구에서 경계의 약간 초과한 반 이상에서 부분적인 딜리클-투-노이만 데이터를 측정함으로써, $ L^\infty(\Omega) $ 에 속하는 주기적 잠재력 $ V $ 는 안정적으로 복원될 수 있는가?
• RQ2 노이만 데이터가 경계의 부분집합으로 제한되어 있을 경우, 주기적 잠재력을 식별하는 역문제에 대한 최적의 안정성 추정은 무엇인가?
• RQ3 경계 데이터가 불완전하고 도메인이 무한할 경우, 안정성은 측정 오차에 어떻게 의존하는가?
• RQ4 이전의 유한 도메인 결과를 확장하여, 무한 원통형 영역에서 주기적 계수에 대해 로그-로그 안정성 추정을 수립할 수 있는가?
• RQ5 일조 영역과 그림자 영역의 기하학적 구조는 역문제의 안정성에 어떤 역할을 하는가?

주요 결과

• 논문은 로그-로그 유형의 안정성 추정을 수립한다: $ \|V\|_{H^{-1}(\check{\Omega})} \leq C (\ln |\ln \gamma|)^{-1} $, 여기서 $ \gamma = \|\Lambda_{V_2,\theta} - \Lambda_{V_1,\theta}\| $ 이고, 측정 오차가 작을 경우에 성립한다.
• 이 안정성 추정은 노이만 데이터가 $ \xi $-그림자 면의 이웃 영역인 집합 $ G $ 에서 측정된다는 가정 하에 성립하며, 이는 총 경계의 반 이상을 약간 초과한다.
• 파동구의 구조와 주기성이 무한 도메인에서의 해의 행동을 효과적으로 제어할 수 있어, 도메인의 비유한성에 대해 결과가 강건하다.
• 핵심적인 기술적 혁신은 측정 집합에서 제어된 $ L^2 $-노름을 가지는 CGO 해의 구성과 지수 가중치의 최적 매개변수 선택에 있다.
• 최종 안정성 추정은 카르멘 추정에서 지수 항을 균형 잡고 주파수 매개변수 $ \rho $ 에 대해 최적화함으로써 유도되며, 이로 인해 측정 오차에 대해 이중 로그 의존성이 나타난다.
• 안정성 추정의 상수 $ C $ 는 횡단면 $ \omega $ 의 기하학, 잠재력의 $ L^\infty $-상한 $ M_+ $, 측정 영역 $ G' $ 에만 의존하며, 잠재력 자체에는 영향을 받지 않는다.