[논문 리뷰] Global uniqueness in inverse boundary value problems for Navier-Stokes equations and Lamé system in two dimensions

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|2013. 09. 06.

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

한 줄 요약

이 논문은 2차원에서 나비에-스토크스 방정식과 등방성 라메 시스템에 대한 역경계값 문제의 전역 유일성을 확립한다. 점성 계수와 라메 계수는 소형성 가정 없이 도메인 경계에서의 딜리클레-노이만 맵을 통해 유일하게 결정됨을 증명한다. 이 방법은 시스템을 약하게 결합된 형태로 분해한 후 복소 기하학적 옹호 해를 구성함으로써, 캐르레만 추정을 사용하여 계수를 유일하게 복원할 수 있도록 한다.

ABSTRACT

We consider inverse boundary value problems for the Navier-Stokes equations and the isotropic Lamé system in two dimensions. The uniqueness without any smallness assumptions on unknown coefficients, which is called global uniqueness, was longstanding open problems for the Navier-Stokes equations and the isotropic Lamé system in two dimensions. We prove the global uniqueness for both inverse boundary value problems. Our methodology are common for both systems and the key is the construction of complex geometric optics solutions after decoupling the systems into weakly coupling systems.

연구 동기 및 목표

• 2D 나비에-스토크스 방정식에 대한 역경계값 문제에서 오랫동안 미해결이었던 전역 유일성 문제를 해결한다.
• 2D 등방성 라메 시스템에서 라메 계수를 딜리클레-노이만 맵으로부터 전역적으로 유일하게 특정하는 문제를 확립한다.
• 복소 기하학적 옹호 해와 캐르레만 추정을 기반으로 한 통합된 방법론을 나비에-스토크스 및 라메 시스템에 모두 적용할 수 있도록 개발한다.
• 모르는 계수에 대한 소형성 또는 해석적 가정을 제거하고, 오직 하오더 또는 소보레프 정규성 조건만으로도 유일성을 확보한다.

제안 방법

• 나비에-스토크스 및 라메 시스템을 복소 기하학적 옹호 해를 구성하기 쉽게 하기 위해 약하게 결합된 형태로 분해한다.
• 이상적 전개와 진동하는 위상 함수를 사용하여 분해된 시스템에 대한 복소 기하학적 옹호 해를 구성한다.
• 해와 딜리클레-노이만 데이터를 조합하여 계수(점성 계수 μ 및 라메 계수 λ, μ)에 대한 두 번째 순서의 PDE 시스템을 유도한다.
• 결과로 얻어진 시스템에 가중치 함수 φs를 갖는 캐르레만 추정을 적용하여 계수 도함수의 L² 노름을 제어한다.
• 캐르레만 추정을 통해 계수의 차가 식히지 않으면 모순이 발생함을 도출함으로써, 계수의 유일성을 증명한다.
• 분석을 局소화하고 계수의 전역 복원을 보장하기 위해 도메인의 유한 부분덮개를 구성한다.

실험 결과

연구 질문

• RQ1 2D 나비에-스토크스 방정식에서 점성 계수 μ가 소형성 가정 없이 딜리클레-노이만 맵으로부터 유일하게 결정될 수 있는가?
• RQ2 2D 등방성 라메 시스템에서 라메 계수(λ, μ)의 전역 유일성은 경계 측정을 통해 달성 가능한가?
• RQ3 복소 기하학적 옹호와 캐르레만 추정을 기반으로 한 통합적 접근법이 나비에-스토크스 및 라메 시스템에 모두 적용 가능한가?
• RQ4 μ와 λ에 대해 어떤 정규성 조건이 역경계값 문제에서 전역 유일성을 보장하는 데에 충분한가?

주요 결과

• 2D 나비에-스토크스 역문제에 대한 전역 유일성이 확립되었다: 딜리클레-노이만 맵 Λμ₁과 Λμ₂가 일치하면, Ω 내에서 μ₁ = μ₂임을 보였다. 소형성 또는 해석적 가정 없이도 성립한다.
• 2D 등방성 라메 시스템에 대한 전역 유일성이 증명되었다: Λμ₁,λ₁ = Λμ₂,λ₂이면, Ω 내에서 μ₁ = μ₂ 및 λ₁ = λ₂임을 보였다.
• 이 방법은 시스템을 분해한 후 복소 기하학적 옹호 해를 구성함으로써, 계수에 대한 두 번째 순서의 PDE 시스템을 도출하는 데에 의존한다.
• 결과로 얻어진 시스템에 가중치 함수 φs를 갖는 캐르레만 추정을 적용하여 계수 도함수의 L² 노름을 제어하고, 계수의 차가 반드시 0이 되어야 한다는 결론을 이끌어냈다.
• 유한 부분덮개 논법을 사용하여 분석을 국소화하고, 경계 데이터로부터 계수의 전역 복원을 보장한다.
• 계수에 대해 C¹⁰ 정규성 조건이 성립하면 결과가 유지되며, 이는 해의 구성과 추정에 충분하다.