[논문 리뷰] An inverse anisotropic conductivity problem induced bytwisting a homogeneous cylindrical domain

Mourad Choulli, Éric Soccorsi|arXiv (Cornell University)|2012. 09. 25.

Numerical methods in inverse problems참고 문헌 27인용 수 5

한 줄 요약

이 논문은 기하학적 비틀림에 의해 유도된 비등방성 도전도 텐서를 가진 비틀린 무한 원통형 파동도자에서의 역비등방성 도전도 문제를 연구한다. 도전도 텐서는 함수 α(x₃)에 의해 매개변수화된 기하학적 비틀림에 기인한다. 변수의 변화를 통해 문제를 직선 파동도자로 변환함으로써, α가 일정하거나 알려진 상수에 매우 가까운 경우, 도전도 텐서를 도전도-노먼(DoN) 매핑으로부터 리만스테이블리티를 증명한다.

ABSTRACT

We consider the inverse problem of determining the unknown function $α: \mathbb{R} ightarrow \mathbb{R}$ from the DN map associated to the operator $\mbox{div}(A(x',α(x\_3)) abla \cdot)$ acting in the infinite straight cylindrical waveguide $Ω=ω imes \mathbb{R}$, where $ω$ is a bounded domain of $\mathbb{R}^2$. Here $A=(A\_{ij}(x))$, $x=(x',x\_3) \in Ω$, is a matrix-valued metric on $Ω$ obtained by straightening a twisted waveguide. This inverse anisotropic conductivity problem remains generally open, unless the unknown function $α$ is assumed to be constant. In this case we prove Lipschitz stability in the determination of $α$ from the corresponding DN map. The same result remains valid upon substituting a suitable approximation of the DN map, provided the function $α$ is sufficiently close to some {\it a priori} fixed constant.

연구 동기 및 목표

• 비틀린 무한 원통형 파동도자에서 기하학적 비틀림에 의해 유도된 비등방성 도전도 문제를 연구한다.
• 비틀림 속도를 나타내는 미지의 함수 α(x₃)가 도전도-노먼(DoN) 매핑으로부터 유일하게 재구성될 수 있는지 확인한다.
• α가 일정하거나 알려진 상수에 매우 가까운 경우, α의 재구성에 대한 안정도 추정을 수립한다.
• 변수의 변화를 통해 비틀린 영역에서의 DoN 매핑과 직선 파동도자에서의 변환된 DoN 매핑 간의 관계를 분석한다.
• 비유한, 기하학적으로 변형된 영역에서 비등방성 도전도를 갖는 전통적인 단조성 기반 역문제 프레임워크를 확장한다.

제안 방법

• 비틀린 파동도자 Ω_θ의 경계값 문제를 미분형사 φ_θ(x) = T_θ(x₃)(x′, x₃)를 통해 직선 파동도자 Ω로 변환한다. 여기서 T_θ는 회전 행렬이다.
• 메트릭 변환에 기반하여 A(x′, α(x₃)) = A₀(x′, α(x₃)) 형태의 비등방성 도전도 텐서 A₀를 유도하며, A₀는 x′와 t = α(x₃)로 명시적으로 기술된다.
• 직선 파동도자 Ω의 경계에서 f ↦ A∇u·ν로 정의되는 DoN 매핑 Λ_α를 정의한다. 여기서 u는 Ω 내부에서 div(A∇u) = 0 를 만족하고, u|∂Ω = f 를 만족한다.
• Lax-Milgram 보조정리를 사용하여 f ∈ Ḣ¹/²(∂Ω) 인 경우 H¹(Ω) 내에 해의 존재성과 유일성을 확보함으로써 DoN 매핑이 잘 정의됨을 보장한다.
• 비틀린 도메인 ∂Ω_θ와 직선 도메인 ∂Ω 사이의 경계 공간 간의 동형사상 관계를 I_θ와 J_θ 연산자를 통해 설정한다. 이는 비틀린 도메인과 직선 도메인 간 경계 데이터를 상호 변환한다.
• 비틀린 도메인에서의 DoN 매핑이 직선 도메인에서의 Λ_α와 유니타리 동치임을 증명함으로써, 직선 도메인에서의 분석이 가능해지며, 이는 Λ_α = J_θ* Λ̃_θ J_θ 관계에 의해 달성된다.

실험 결과

연구 질문

• RQ1 비틀린 원통형 파동도자에서 비등방성 도전도에 관련된 도전도-노먼(DoN) 매핑으로부터 미지의 비틀림 함수 α(x₃)가 유일하게 결정될 수 있는가?
• RQ2 유도된 도전도 텐서 A₀(x′, t)에 대해 표준 단조성 조건 ∂_t A₀(x,t) ≥ cI 가 성립하는가? 만약 그렇지 않다면, 안정도는 여전히 확보될 수 있는가?
• RQ3 α가 일정하거나 알려진 상수에 매우 가까운 경우, 도전도-노먼(DoN) 매핑으로부터 α의 재구성에 대해 리만스테이블리티가 달성 가능한가?
• RQ4 도전도 텐서의 기하학적 유도 비등방성은 역문제의 단사성과 안정성에 어떤 영향을 미치는가?
• RQ5 변수의 변화를 통해 비틀린 도메인에서의 DoN 매핑을 직선 도메인에서 등가적으로 분석할 수 있으며, 이는 역문제 이론에 어떤 함의를 갖는가?

주요 결과

• 비틀린 파동도자에서의 역비등방성 도전도 문제는 변수 비등방성 도전도 텐서 A₀(x′, α(x₃))를 갖는 직선 파동도자에서의 문제와 동치이다.
• DoN 매핑 Λ_α는 Ḣ¹/²(∂Ω) 에서 그 쌍대 공간 Ḣ⁻¹/²(∂Ω) 로의 유계성과 잘 정의되어 있음을 보장하며, 수학적 일관성을 확보한다.
• α가 일정한 경우, 논문은 DoN 매핑으로부터 α의 재구성에 대해 리만스테이블리티를 확립한다.
• α가 알려진 상수에 매우 가까운 경우, DoN 매핑이 적절한 근사로 대체되더라도 안정도 결과는 그대로 유지된다.
• 비틀린 도메인과 직선 도메인 간의 변환은 역문제의 본질적 구조를 유지하므로, 직선 도메인에서 표준 도구를 사용할 수 있다.
• 현재 설정에서 단조성 조건 ∂_t A₀ ≥ cI 가 존재하지 않기 때문에 새로운 접근이 필요하며, 이는 저자들이 기하학적 변환과 소규모 변화에 대한 안정도 분석을 통해 달성한다.