[논문 리뷰] Global Uniqueness for an Inverse Stochastic Hyperbolic Equation with Three Unknowns

Qi Lü, Xu Zhang|arXiv (Cornell University)|2011. 07. 17.

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

한 줄 요약

이 논문은 스트로크 하이퍼볼릭 방정식에 대한 새로운 전역 칼레만 추정을 유도하여, 랜덤 힘 강도 $ g $, 초기 변위 $ z_0 $, 초기 속도 $ z_1 $의 세 개의 미지수를 포함하는 역확률 하이퍼볼릭 문제에 대해 전역 유일성을 확립한다. 주요 결과는 경계에서의 영속적 플럭스와 종단 시점에서의 영속적 변위가 거의 확실히 0이면, $ g = 0 $, $ z_0 = 0 $, $ z_1 = 0 $임을 보여주며, 적절한 기하학적 및 정규성 조건 하에서 역문제가 유일하게 해결됨을 시사한다.

ABSTRACT

This paper is addressed to an inverse stochastic hyperbolic equation with three unknowns, i.e., a source term, an initial displacement and an initial velocity. The global uniqueness is proved by a new global Carleman estimate for the stochastic hyperbolic equation. It is found that both the formulation of stochastic inverse problems and the tools to solve them differ considerably from their deterministic counterpart.

연구 동기 및 목표

• 스트로크 하이퍼볼릭 역문제에서 랜덤 힘 강도 $ g $, 초기 변위 $ z_0 $, 초기 속도 $ z_1 $의 세 개의 미지수에 대해 전역 유일성을 다루는 것.
• 부분 경계 관측값 $ \partial z/\partial\nu|_{(0,T)\times\Gamma_0} $ 과 종단 변위 $ z(T) $ 로부터 미지수들이 유일하게 결정될 수 있는 조건을 설정하는 것.
• 다양한 소음 항을 포함한 하이퍼볼릭 방정식에 특화된 도구를 개발하여 결정론적 및 스트로크 역문제 간 격차를 메우는 것.
• 경계 플럭스와 종단 상태가 모두 0이면, 모든 미지수들이 거의 확실히 0이 됨을 증명하여 전역 유일성을 확보하는 것.

제안 방법

• 다양한 소음 항을 포함한 스트로크 하이퍼볼릭 방정식에 대해 새로운 전역 칼레만 추정을 유도하여 문제의 스트로크 성격을 다룰 수 있도록 한다.
• 스트로크 과정 $ z $, 시간 도함수 $ z_t $, 공간 기울기들을 포함하는 가중 에너지 항등식을 도입하며, 가중 함수 $ \theta $ 와 매개수 $ \lambda $ 를 사용한다.
• 가중 에너지 항등식에 이토 공식을 적용하여, $ dz_t $, $ (b^{ij}z_{x_i})_{x_j} $, 그리고 소음 항 $ (b_4 z + g)dB(t) $ 를 포함하는 스트로크 적분 항등식을 도출한다.
• 경계 조건 $ z = 0 $ on $ \Sigma $ 를 이용하여 경계 적분 항을 단순화하고, 법선 도함수 $ \partial z/\partial\nu $ 를 분리한다.
• 스트로크 미분 방정식의 구조와 칼레만 추정을 활용하여, $ \lambda^3 z^2 $, $ \lambda |\nabla z|^2 $, $ \lambda z_t^2 $, $ g^2 $ 를 포함하는 가중 에너지의 하한을 확립한다.
• 칼레만 추정을 경계 플럭스와 종단 상태가 0이라는 가정과 결합하여, 모든 미지수가 거의 확실히 0임을 유도한다.

실험 결과

연구 질문

• RQ1 스트로크 하이퍼볼릭 시스템에서 부분 경계 관측값과 종단 상태 데이터로부터 랜덤 힘 강도 $ g $, 초기 변위 $ z_0 $, 초기 속도 $ z_1 $ 가 유일하게 결정될 수 있는가?
• RQ2 경계의 부분집합 $ \Gamma_0 \subset \Gamma $ 에서 법선 도함수 $ \partial z/\partial\nu $ 가 0이고 종단 상태 $ z(T) = 0 $ 이면, 세 개의 미지수가 거의 확실히 0이 되는가?
• RQ3 특히 다항 소음 항 $ g dB(t) $ 를 포함하는 스트로크 하이퍼볼릭 방정식의 스트로크 성격이 결정론적 경우와 비교해 역문제의 유일성에 어떤 영향을 미치는가?
• RQ4 스트로크 역문제를 다루기 위해 필요한 새로운 분석 도구는 무엇이며, 기존의 결정론적 방법과 어떻게 다를까?
• RQ5 스트로크 하이퍼볼릭 방정식에 대해 경계 및 종단 데이터에 따라 해와 그 도함수를 제어할 수 있는 전역 칼레만 추정을 구성할 수 있는가?

주요 결과

• 역스트로크 하이퍼볼릭 문제의 전역 유일성이 확립됨: 만약 $ \partial z/\partial\nu = 0 $ on $ (0,T) \times \Gamma_0 $ 이고 $ z(T) = 0 $ in $ G $ 이 거의 확실히 성립하면, $ g = 0 $, $ z_0 = 0 $, $ z_1 = 0 $ in $ G $ 이 거의 확실히 성립한다.
• 스트로크 하이퍼볼릭 방정식에 대한 새로운 전역 칼레만 추정이 도출되었으며, 이는 경계 및 종단 데이터에 따라 $ z_t $, $ \nabla z $, $ z $ 의 가중 $ L^2 $-노름과 함께 소음 강도 $ g $ 를 제어한다.
• 가중 함수 $ \theta $, 큰 매개수 $ \lambda $, 스트로크 이토 공식을 정교하게 선택하여, $ \lambda^3 z^2 $, $ \lambda |\nabla z|^2 $, $ \lambda z_t^2 $, $ g^2 $ 를 포함하는 하한을 확보하는 추정이 구성되었다.
• 경계 조건 $ z = 0 $ on $ \Sigma $ 를 통해 경계 적분 항이 단순화되어, 법선 도함수 $ \partial z/\partial\nu $ 가 분리되고 에너지 추정에 사용될 수 있게 되었다.
• 경계 플럭스와 종단 상태가 0이므로, 추정에 의해 $ \mathbb{E} \int_G \theta^2 (\lambda |z_1|^2 + \lambda |\nabla z_0|^2 + \lambda^3 |z_0|^2) dx = 0 $ 이 도출되며, 이로부터 $ z_0 = z_1 = 0 $ a.s. 를 유도한다.
• 항 $ \mathbb{E} \int_Q (T-t) \theta^2 g^2 dx dt = 0 $ 는 $ g = 0 $ 이 거의 확실히 $ Q $ 에서 성립함을 의미하여, 전역 유일성의 증명이 완료된다.