[논문 리뷰] Point measurements for a Neumann-to-Dirichlet map and the Calder\'on problem in the plane

Nuutti Hyvönen, Petteri Piiroinen외 1명|arXiv (Cornell University)|2012. 04. 02.

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

한 줄 요약

이 논문은 경계 근처에서의 도전성 균일성 가정 하에, 이방성 및 등방성 L∞ 도전성에 대해 2차원에서 점 측정값인 단일 경계점에서의 비스위프 데이터 도함수를 이용하여 노이만-디리클레 사상이 유일하게 결정됨을 보여준다. 주요 기여는 단일 경계점에서의 점별 분포 전류 자극만을 사용하여 캘러드론 문제에 대한 새로운 국소 유일성 결과를 도출한 것이다.

ABSTRACT

This work considers properties of the Neumann-to-Dirichlet map for the conductivity equation under the assumption that the conductivity is identically one close to the boundary of the examined smooth, bounded and simply connected domain. It is demonstrated that the so-called bisweep data, i.e., the (relative) potential differences between two boundary points when delta currents of opposite signs are applied at the very same points, uniquely determine the whole Neumann-to-Dirichlet map. In two dimensions, the bisweep data extend as a holomorphic function of two variables to some (interior) neighborhood of the product boundary. It follows that the whole Neumann-to-Dirichlet map is characterized by the derivatives of the bisweep data at an arbitrary point. On the diagonal of the product boundary, these derivatives can be given with the help of the derivatives of the (relative) boundary potentials at some fixed point caused by the distributional current densities supported at the same point, and thus such point measurements uniquely define the Neumann-to-Dirichlet map. This observation also leads to a new, truly local uniqueness result for the so-called Calder\'on inverse conductivity problem.

연구 동기 및 목표

• 최소한의 경계 측정값을 사용하여 2차원 캘러드론 역도전도 문제에 대한 새로운 국소 유일성 결과를 확립하기 위해.
• 특히 단일 경계점에서의 비스위프 데이터 도함수인 점 측정값이 노이만-디리클레 사상을 유일하게 특징지울 수 있는지 조사하기 위해.
• 비스위프 데이터의 해석적 계속성을 복소 평면에서의 해석적 함수로 간주하여 국소 데이터로부터 재구성 가능함을 탐색하기 위해.
• 노이만-디리클레 사상이 단일 경계점에서의 분포 전류 밀도에 의해 유도된 반응을 통해 유일하게 결정됨을 보여주기 위해.
• 경계 근처에서의 도전성 균일성 가정 하에, 부분 데이터 결과의 적용 범위를 덜 규칙적인 도전성(L∞)으로 확장하기 위해.

제안 방법

• 비스위프 데이터를 정의: 동일한 점들에 대해 반대 부호의 델타 전류를 적용했을 때 두 경계점 간의 상대 잠재차로 정의한다.
• 일반적인 단순연결 영역 D에서 단위 원판으로 문제를 이전하기 위해 등각 사상(conformal mapping)을 사용하여 복소 해석 기법을 적용할 수 있도록 한다.
• 해석적 계속성을 적용하여 비스위프 데이터가 C²에서 ∂D × ∂D의 근방에서 해석 함수로 확장됨을 보인다.
• 모든 비스위프 데이터가 임의의 고정된 점 (z₁, z₂) ∈ ∂D × ∂D에서의 도함수에 의해 완전히 결정됨을 도출한다.
• 대각선 (z, z)에 沿한 도함수를 분석하고, 이들이 노이만-디리클레 연산자와 단일 경계점 z에 지지된 분포 전류를 포함하는 내적과 대응됨을 보인다.
• 편광 항등식을 사용하여, f, g가 단일 경계점 z에 지지된 분포 공간에 속할 때의 형태 ⟨f, (Λσ − Λ₁)g⟩인 점 측정값으로부터 전체 노이만-디리클레 사상을 복원한다.

실험 결과

연구 질문

• RQ1 단일 경계점에서의 상대 잠재차의 점 측정값을 통해 노이만-디리클레 사상이 유일하게 재구성될 수 있는가?
• RQ2 두 복소 변수에서의 비스위프 데이터의 해석적 확장을 통해 단일 점에서의 국소 도함수만으로도 전체 재구성이 가능한가?
• RQ3 부분 데이터 조건 하에서 캘러드론 문제를 어느 정도까지 해결할 수 있는가, 특히 국소 경계 측정값만 가용할 경우에 대해?
• RQ4 경계 근처에서의 도전성 균일성 가정이 역문제의 유일성과 안정성에 어떤 영향을 미치는가?
• RQ5 부드러운 도전성에서 유일성이 보장되는 동일한 조건 하에서 L∞ 도전성이 점 측정값에 의해 유일하게 결정될 수 있는가?

주요 결과

• 경계 근처에서 σ ≡ 1임을 가정할 경우, 임의의 대칭적인 이방성 도전성 σ ∈ L∞(D, R²×²)에 대해 σ ≥ cI > 0 이면 비스위프 데이터가 노이만-디리클레 사상을 유일하게 결정한다.
• 2차원에서 비스위프 데이터는 ∂D × ∂D의 근방에서 두 복소 변수의 해석 함수로 확장된다.
• 모든 비스위프 데이터는 임의의 고정된 점 (z₁, z₂) ∈ ∂D × ∂D에서의 도함수에 의해 완전히 결정된다.
• 비스위프 데이터의 대각선 (z, z)에 沿한 도함수는 노이만-디리클레 연산자와 단일 경계점 z에 지지된 분포 전류를 포함하는 내적과 대응된다.
• 노이만-디리클레 사상은 단일 경계점 z ∈ ∂D에서의 분포 전류 밀도에 의해 유도된 상대 경계 잠재차의 도함수에 의해 유일하게 결정된다.
• 캘러드론 문제에 대한 새로운 국소 유일성 결과가 확립되었다: L∞ 도전성은 경계 근처에서의 균일성 가정 하에 단일 경계점에서의 점 측정값에 의해 유일하게 결정된다.