[논문 리뷰] Reconstruction of a source domain from the Cauchy data: II. Three dimensional case

Masaru Ikehata|arXiv (Cornell University)|2021. 07. 12.

Numerical methods in inverse problems참고 문헌 15인용 수 3

한 줄 요약

이 논문은 고정된 파수 번호에서 헬름홀츠 방정식에 의해 지배되는 3차원 역원천 및 장애물 문제에 대해 캐비티 방법을 확장한다. 복소 기하학적 옹도 해법과 진동 적분을 사용하는 프레임워크를 구축하여 원뿔 특이성을 가진 원천 영역의 지지역을 재구성하며, 삼각형 원뿔 및 원형 원뿔 특이성에서 핵심적인 복소 계수의 영이 아님을 증명한다. 주요 기여는 단일 코시 데이터로부터 원천 영역의 기하학적 구조와 강도를 명시적인 재구성 공식으로 제공하는 것으로, 파수 번호와 원천의 정규성 조건 하에서 유효하다.

ABSTRACT

This paper is concerned with reconstruction issue of some typical inverse problems and consists of three parts. First a framework of the enclosure method for an inverse source problem governed by the Helmholtz equation at a fixed wave number in three dimensions is introduced. It is based on the nonvanishing of the coefficient of the leading profile of an oscillatory integral over a domain having a conical singularity. Second an explicit formula of the coefficient for a domain having a circular cone singularity and its implication under the framework are given. Third, an application under the framework to an inverse obstacle problem governed by an inhomogeneous Helmholtz equation at a fixed wave number in three dimensions is given.

연구 동기 및 목표

• 단일 코시 데이터만을 사용하여 3차원에서 헬름홀츠 방정식에 대한 역원천 및 장애물 문제를 다루기.
• 미지의 원천 영역의 기하학적 및 물리적 정보를 추출하기 위한 캐비티 방법 기반 프레임워크 개발.
• 진동 적분을 통한 원뿔 영역에서 발생하는 복소 계수의 영이 아님을 증명하여 재구성에 필수적인 조건 확보.
• 기하학적 및 정규성 조건 하에서 지지함수와 원천 강도에 대한 명시적 재구성 공식 수립.
• 이전의 2차원 결과를 원뿔 특이성이 있는 3차원 영역로 확장.

제안 방법

• 원천 영역를 탐사하기 위해 $ v \sim e^{x \cdot z} $ 형태의 복소 기하학적 옹도(CGO) 해법을 사용하며, 여기서 $ z = \tau(\omega + i\vartheta) $ 이고 $ \tau \to \infty $ 이다.
• 진동 적분 $ \int_D \rho(x) e^{\tau x \cdot (\omega + i\vartheta)} dx $ 이 $ \tau \to \infty $ 일 때의 점근적 행동을 분석하여 주요 계수를 식별한다.
• 정점 $ p $ 와 밑면 $ Q $ 를 가진 원뿔 영역에서의 진동 적분의 주요 프로파일을 기술하는 복소 상수 $ C(p,\omega)(\delta, Q, \vartheta) $ 를 도입한다.
• 3차원에서 삼각형 원뿔에 대해 $ C(p,\omega)(\delta, Q, \vartheta) $ 가 영이 아님을 증명하여 데이터로부터 식별 가능함을 보장한다.
• 지표 함수와 그 도함수를 사용하여 지지함수 $ h_D(\omega) $ 와 곱 $ \tilde{\rho}(p(\omega)) u(p(\omega)) V(\theta) $ 에 대한 명시적 재구성 공식을 유도한다.
• 비균일한 헬름홀츠 방정식에 이 프레임워크를 적용하여 경계에서의 코시 데이터로부터 원천 영역과 강도를 재구성할 수 있다.

실험 결과

연구 질문

• RQ1 헬름홀츠 방정식에 의해 지배되는 3차원 역원천 문제에 대해 캐비티 방법을 2차원에서 어떻게 3차원으로 확장할 수 있는가?
• RQ2 3차원에서 원뿔 영역에 대한 진동 적분의 점근 전개에서 주요 계수의 영이 아님을 보장하는 조건은 무엇인가?
• RQ3 단일 코시 데이터로부터 원뿔 특이성을 가진 원천 영역의 지지함수를 어떻게 재구성할 수 있는가?
• RQ4 지표 함수와 그 도함수를 사용하여 원천 강도와 기하학적 구조에 대한 명시적 공식을 어떻게 도출할 수 있는가?
• RQ5 파수 번호 $ k $ 는 원천 영역과 그 성질의 재구성 가능성에 어떻게 영향을 미치는가?

주요 결과

• 3차원에서 임의의 삼각형 원뿔에 대해 진동 적분의 주요 프로파일을 지배하는 복소 계수 $ C(p,\omega)(\delta, Q, \vartheta) $ 는 영이 아니다.
• 지표 함수 $ I_{\omega,\vartheta} $ 를 사용하여 지지함수 $ h_D(\omega) = p(\omega) \cdot \omega $ 의 명시적 재구성 공식이 $ \lim_{\tau \to ∞} \frac{I'_{\omega,\vartheta_j}(\tau)}{I_{\omega,\vartheta_j}(\tau)} $ 의 극한을 통해 도출된다.
• 원천 강도, 해의 값, 입체각을 조합한 곱 $ \tilde{\rho}(p(\omega)) u(p(\omega)) V(\theta) $ 는 식 (4.7), (4.8), (4.9)를 사용하여 코시 데이터로부터 재구성 가능하다.
• $ \omega \approx n $ 인 조건 하에서, 정점 곳의 법선 벡터일 때 함수 $ I(\omega, \vartheta) $ 는 $ \omega = n $ 이면 일정하고, 그 외에는 일정하지 않으며, 이는 법선 방향을 식별할 수 있음을 보여준다.
• 작은 $ k $ 에 대해 원천 영역 내에서 $ |u(x)| $ 의 명시적 하한을 도출하여 재구성에 필요한 조건 $ |u(p(\omega))| > 0 $ 가 만족됨을 보장한다.
• 적절한 가정 하에서 $ \tilde{\rho}(p(\omega)) $ 가 실수이면, 복소 해 $ u(p(\omega)) $ 의 위상은 $ 2\pi $ 모듈로로 복구 가능하여 원천 강도의 완전한 재구성이 가능하다.