[논문 리뷰] Reconstruction of less regular conductivities in the plane

Kim Knudsen, Alexandru Tamasan|ArXiv.org|2001. 10. 26.

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

한 줄 요약

이 논문은 두 차원에서 등방성 도전도를 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$의 정규성 조건을 만족시키며, 딜리클레-노이만 맵을 이용하여 재구성하는 알고리즘을 제시한다. 도전도 방정식을 일阶계 시스템으로 환원하고, 역산산 이론에서의 $\overline{\partial}$-방법을 적용함으로써, 이전 연구에 비해 향상된 정규성 조건 하에서 정확한 재구성을 달성한다.

ABSTRACT

We study the inverse conductivity problem of how to reconstruct an isotropic electrical conductivity distribution $γ$ in an object from static electrical measurements on the boundary of the object. We give an exact reconstruction algorithm for the conductivity $γ\in C^{1+ε}(\ol \Om)$ in the plane domain $Ω$ from the associated Dirichlet to Neumann map on $\partial \Om.$ Hence we improve earlier reconstruction results. The method used relies on a well-known reduction to a first order system, for which the $\ol\partial$-method of inverse scattering theory can be applied.

연구 동기 및 목표

• 경계 측정치로부터 두 차원에서 등방성 전기 도전도 분포를 재구성하는 알고리즘을 개발하는 것.
• 이전 결과에 비해 정확한 재구성에 필요한 정규성 조건을 초과하여, 특히 나흐만의 $C^{1,1}$ 조건을 개선하는 것.
• 역산산 이론에서의 $\overline{\partial}$-방법을 더 낮은 정규성 조건을 요구하는 일阶계 시스템 형태로 적응시키는 것.
• 도전도 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$ 이며 $\gamma \geq c > 0$ 를 만족할 때, 엄밀한 재구성 절차를 확립하는 것.
• 나흐만의 알고리즘과 유사한 구조를 갖는 구체적인 방법을 제공함으로써, 더 약한 매끄러움 조건 하에서도 적용 가능하도록 하는 것.

제안 방법

• 도전도 방정식 $\nabla \cdot \gamma \nabla u = 0$ 을 변수 변경을 통해 일阶계 시스템으로 환원하여, $\overline{\partial}$-방법의 적용을 가능하게 한다.
• 일阶계 시스템과 관련된 역산산 문제에 대해 $\overline{\partial}$-방법을 적용하고, 복소 기하학적 옹골해법을 활용한다.
• 경계 적분 방정식을 사용하여 딜리클레-노이만 맵 $\Lambda_\gamma$ 로부터 산란 데이터를 구성하고, 도전도를 더 큰 영역으로 확장한다.
• 복소 평면에서 $\overline{\partial}$-오ператор를 포함하는 적분 방정식을 풀어 산란 변환과 관련된 해를 복구한다.
• 산란 해와 $\overline{\partial}$-문제의 해 $\tilde{m}_+$ 를 이용해 도전도를 $\gamma(z) = \operatorname{Re} \tilde{m}_+(z,0)$ 의 공식으로 재구성한다.
• 프레드홀름 대안과 의사해석 함수의 성질을 이용하여 $\overline{\partial}$-방정식의 해가 존재하고 유일하며 허더 연속임을 정당화한다.

실험 결과

연구 질문

• RQ1 두 차원에서의 역도전도 문제는 $C^{1,1}$ 이하의 정규성 조건을 갖는 도전도에 대해서도 해결될 수 있는가?
• RQ2 $\overline{\partial}$-방법가 일阶계 시스템에 적응시켜 도전도의 정규성 요구 조건을 얼마나 낮출 수 있는가?
• RQ3 경계에서의 딜리클레-노이만 맵 $\Lambda_\gamma$ 로부터 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$ 를 구체적인 알고리즘으로 재구성할 수 있는가?
• RQ4 일阶계 시스템으로의 환원이 역산산 기반 재구성에서 해의 존재성과 정규성 요구 조건에 어떤 영향을 미치는가?
• RQ5 $C^{1+\epsilon}$ 정규성 조건 하에서 재구성 공식 $\gamma(z) = \operatorname{Re} \tilde{m}_+(z,0)$ 가 엄밀히 정당화될 수 있는가?

주요 결과

• 논문은 유계이고 매끄러운 영역 $\Omega \subset \mathbb{R}^2$ 에 대해 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$ 가 딜리클레-노이만 맵 $\Lambda_\gamma$ 로 정확히 재구성될 수 있음을 입증한다.
• 재구성 알고리즘은 이전의 방법에서 두 번째 도함수를 요구하는 것과는 달리, 일阶계 시스템 형태로 환원함으로써 정규성 요구 조건을 낮춘다.
• $\overline{\partial}$-방법는 $L^q$-적분 가능 계수를 갖는 시스템에 적용되었으며, 관련된 적분 방정식의 해가 $L^q(\mathbb{R}^2)$ 에서 존재하고 유일함이 입증되었다.
• 해 $\tilde{m}_+(z,k)$ 는 고정된 $z$ 에 대해 $k$ 에 대해 허더 연속이며, 정규성 $C^\alpha(\mathbb{R}^2)$ 를 $\alpha = 1 - (1/r + 1/q)$ 를 만족한다.
• 도전도는 산란 데이터와 $\overline{\partial}$-해를 기반으로 $\gamma(z) = \operatorname{Re} \tilde{m}_+(z,0)$ 의 공식으로 재구성된다.
• 이 방법은 나흐만의 알고리즘과 유사한 구조를 갖지만, $C^{1,1}$ 보다 엄밀히 더 약한 정규성 가정 하에서도 적용 가능하다.