[논문 리뷰] Stability Estimates for an Inverse Hyperbolic Initial Boundary Value Problem with Unknown Boundaries

Sergio Vessella|arXiv (Cornell University)|2014. 07. 02.

Numerical methods in inverse problems참고 문헌 25인용 수 11

한 줄 요약

이 논문은 유한 시간 동안의 경계 측정값(파동 방정식 해와 그 법선 도함수)을 이용해 도메인 경계의 미지 부분을 복원하는 역 초구형 문제에 대해 로그 안정성 추정을 수립한다. FBI 변환 기법, 정량적 유일 연속성 추정, 그리고 삼구역 부등식을 결합하여, 사전 정규성 및 기하적 제약 조건 하에서 두 도메인 간 하우스도르프 거리가 측정 오차의 로그 함수로 유계임을 증명한다. 이 결과는 관측 시간 $ T $ 가 충분히 크지만 유한한 경우에 성립한다.

ABSTRACT

In this paper we prove stability estimates of logarithmic type for an inverse problem consisting in the determination of unknown portions of the boundary of a domain in $\\mathbb{R}^n$, from a knowledge, in a finite time observation, of overdetermined boundary data for initial boundary value problem for anisotropic wave equation.

연구 동기 및 목표

• 파동 방정식 해의 유한 시간 경계 측정값(해와 그 법선 도함수)을 이용해 도메인 경계의 미지 부분을 복원하는 역문제에 대한 안정성 추정을 수립하기 위해.
• 타원형 및 방산형 문제에 비해 초구형 역문제에서는 안정성 결과가 부족한 점을 다루기 위해.
• 사전 기하학적 및 정규성 가정 하에서 측정된 코시 데이터에 대한 미지 경계의 연속적 의존성을 입증하기 위해.
• 제시된 조건 하에서 로그 안정성이 최적이며, 존의 반례와 일치함을 보여주기 위해.

제안 방법

• 초구형 파동 방정식을 확장된 도메인에서의 이阶 타원 방정식으로 변환하기 위해 푸리에-브로스-아고린체르(Fourier-Bros-Iagolnitzer, FBI) 변환을 적용하여 코시 문제 추정의 적용을 가능하게 한다.
• 알-라트리프-로우버그-베르트리에([Al-R-Ro-Ve])에서 유도된 타원 방정식의 코시 문제에 대한 안정성 추정을 이용해 공통 부분 도메인 내에서 해의 차이를 제어한다.
• 베르트리에([Ve3])에서 확립한 파동 방정식에 대한 정량적 강한 유일 연속성 추정을 활용하여, 미지 경계 근처에서 해의 소멸 속도를 유계로 제한한다.
• 형상 함수가 $ e^{2\tau |X|^{-\beta}} $ 형태인 가중치를 갖는 정밀한 삼구역 부등식을 적용하여 조화 함수 유사 해의 감쇠 추정을 유도한다.
• 에너지 추정을 겹치는 링형 영역에서 국소화하기 위해 기울기 및 헤시안 노름이 통제된 컷오프 함수 $ \eta $ 를 도입한다.
• 카치오피올리 유형 부등식과 에너지 추정을 결합하여 측정 오차 및 사전 자료에 관한 최종 로그 안정성 추정을 유도한다.

실험 결과

연구 질문

• RQ1 유한 시간 경계 측정값(파동 방정식 해와 그 법선 도함수)을 이용해 도메인의 미지 경계 부분을 안정적으로 재구성할 수 있는가?
• RQ2 제한된 자료 하에서 초구형 역문제의 최적 안정성 비율은 무엇인가?
• RQ3 정량적 유일 연속성 추정은 초구형 방정식에 어떻게 적응되어야 하며, 미지 경계 근처에서 해의 감쇠를 제어할 수 있는가?
• RQ4 도메인과 계수에 대한 기하학적 및 정규성 가정이 안정성 추정에 얼마나 영향을 미치는가?
• RQ5 제시된 가정 하에서 로그 안정성이 최선의 비율이며, 기존 알려진 반례와 일치하는가?

주요 결과

• 미지 경계를 가진 두 도메인 간 하우스도르프 거리는 코시 데이터의 측정 오차의 로그 함수로 유계이다.
• 안정성 추정은 존의 초구형 역문제 반례를 고려할 때 최적이며, 로그 형식이다.
• 도메인, 미지 경계, 경계 데이터에 대한 사전 가정과 충분히 크지만 유한한 관측 시간 $ T $ 에서 결과가 성립한다.
• 증명은 FBI 변환, 정량적 유일 연속성 추정, 지수 가중치를 갖는 정밀한 삼구역 부등식의 새로운 조합에 기반한다.
• 최종 안정성 추정은 계수 행렬 $ A(x) $ 의 사전 정규성, 도메인 기하학, 측정 오차에 의존하지만, 오차 크기에 대한 다항식 의존성은 갖지 않는다.
• 추정은 균일한 성격을 가지며, $ T $ 가 충분히 크다면 측정 오차 크기에 관계없이 동일한 안정성 상수가 적용된다.