[논문 리뷰] Stable determination outside a cloaking region of two time-dependent coefficients in an hyperbolic equation from Dirichlet to Neumann map

Mourad Bellassoued, Ben Aicha Ibtissem|arXiv (Cornell University)|2016. 05. 11.

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

한 줄 요약

이 논문은 $ n \geq 2 $ 차원에서 시간에 의존하는 두 계수—소산 항과 포텐셜 항—의 동시 복원에 대한 안정성 추정을 초래한다. 하이퍼볼릭 파동 방정식의 딜리클레-노이만 맵을 통해, 복잡한 기하학적 옵티컬 해법과 해석적 계속 기법을 사용하여, 은폐 영역 외부에서 안정적인 재구성을 입증한다. 데이터가 풍부해질수록 더 큰 부분집합에서 개선된 복원이 가능하며, 계수에 대해 $ C^2 $ 및 $ C^1 $ 정규성 조건을 가정한다.

ABSTRACT

In this paper, we treat the inverse problem of determining two time-dependent coefficients appearing in a dissipative wave equation, from measured Neumann boundary observations. We establish in dimension $n\geq 2$, stability estimates with respect to the Dirichlet-to-Neumann map of these coefficients provided that are known outside a cloaking regions. Moreover, we prove that it can be stably recovered in larger subsets of the domain by enlarging the set of data

연구 동기 및 목표

• 시간에 의존하는 두 계수를 초래하는 파동 방정식의 역문제를 다루며, 경계 측정치로부터 계수를 식별하는 것.
• 영역의 영향력에 의한 고유한 복원이 불가능한 은폐 영역 외부에서 계수의 안정성 추정을 수립하는 것.
• 경계 데이터 집합을 확대하면 공간 도메인의 더 큰 부분집합에서 안정적인 복원이 가능하다는 것을 보여주는 것.
• 시간에 의존하지 않는 계수에 대한 기존 결과를 시간에 의존하는 경우로 확장하기 위해 고급 분석 기법을 사용하는 것.
• 하이퍼볼릭 설정에서 $ a(x,t) $ 및 $ b(x,t) $의 복원에 대해 로그 유형의 안정성 추정을 제시하며, 시간에 의존하지 않는 경우의 이전 결과를 확장하는 것.

제안 방법

• 초기 조건이 도메인 내에서 제어 가능한 특수한 해를 생성하기 위해 복잡한 기하학적 옵티컬 해법을 사용하여 하이퍼볼릭 방정식의 해를 구성한다.
• 시간과 공간에 따라 변화하는 가중치 함수를 포함하는 카르멘 추정을 적용하여 안정성 부등식을 유도한다.
• 해석적 계속 기법과 세 원판 정리(Hadamard의)를 사용하여 작은 간격에서의 경계를 더 큰 영역으로 확장한다.
• 해석적 함수 이론과 보간 부등식(예: 보조정리 A.1 및 A.2)을 사용하여 간격 위에서 해석적 함수의 상한 노름을 제어한다.
• 겹치는 구를 이용한 커버링 추론을 통해 복소 평면의 전체 간격 $[-1,1]$으로 국소 추정을 확장한다.
• 딜리클레-노이만 맵의 구조를 활용하여 경계 측정치와 내부 계수 정보 사이의 관계를 설정한다.

실험 결과

연구 질문

• RQ1 소산 파동 방정식에서 시간에 의존하는 두 계수를 딜리클레-노이만 맵을 통해 안정적으로 복원할 수 있는가?
• RQ2 경계 데이터가 주어졌을 때, 시간-공간 영역에서 $ a(x,t) $ 및 $ b(x,t) $의 안정적 복원이 가능한 최대 영역은 어디인가?
• RQ3 경계 데이터 집합을 풍부하게 하면 계수의 안정적 복원이 가능한 영역의 크기에 어떤 영향을 미치는가?
• RQ4 은폐 영역—$ \Omega $에서의 뒤로 향한 빛의 원뿔로 정의됨—은 계수 식별의 가능성을 제한하는 데 어떤 역할을 하는가?
• RQ5 시간에 의존하는 계수에 대해 하이퍼볼릭 설정에서 로그 유형의 안정성 추정을 수립할 수 있는가? 이는 이전의 시간에 의존하지 않는 경우의 결과를 확장하는가?

주요 결과

• 은폐 영역 외부에서 $ a(x,t) $ 및 $ b(x,t) $의 복원에 대해 로그 유형의 안정성 추정이 수립되며, 이는 $ \Omega $에서의 뒤로 향한 빛의 원뿔로 정의된다.
• 경계 데이터 집합이 풍부해질수록 계수는 더 큰 부분집합에서 안정적으로 복원될 수 있다.
• 증명은 복잡한 기하학적 옵티컬 해법을 구성하고, 작은 데이터 세트에서의 경계를 해석적 계속 기법을 통해 더 큰 영역으로 확장함에 의존한다.
• 핵심 기술적 결과는 하이퍼볼릭의 세 원판 정리(Hadamard의)를 사용하여 간격 위의 국소 $ L^\infty $-노름 추정을 $[-1,1]$ 전체에 대한 전역 추정으로 확장하는 것이다.
• 메서드는 $ \|\varphi\|_{L^\infty([-1,1])} \leq N \|\varphi\|_{L^\infty(I)}^\gamma M^{1-\gamma} $ 형태의 안정성 추정을 도출하며, 여기서 $ \gamma \in (0,1) $이며, 이는 로그 안정성을 보장한다.
• 이 결과는 $ a(x,t) $에 대해 $ C^2 $ 정규성, $ b(x,t) $에 대해 $ C^1 $ 정규성 조건을 만족하며, $ n \geq 2 $ 차원에서 유효하며, 경계 $ \Gamma $ 가 매끄럽다.