[논문 리뷰] Partial Data Inverse Problems for Maxwell Equations via Carleman Estimates

Francis J. Chung, Petri Ola외 2명|arXiv (Cornell University)|2015. 02. 05.

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

한 줄 요약

이 논문은 3차원 적합한 리만다이니안 다양체 위에서 시간 조화 맥스웰 방정식의 부분 데이터 역문제에 대해 카르레만 추정을 사용하여 유일성을 확립한다. 극한 카르레만 가중치와 경계의 일부에서의 측정값을 활용하여, 저자들은 전자기 매질 매개변수 $\varepsilon$ 와 $\mu$ 가 유일하게 결정됨을 증명하며, 스칼라 역문제 기법을 벡터 값 맥스웰 시스템으로 확장한다.

ABSTRACT

In this article we consider an inverse boundary value problem for the time-harmonic Maxwell equations. We show that the electromagnetic material parameters are determined by boundary measurements where part of the boundary data is measured on a possibly very small set. This is an extension of earlier scalar results of Bukhgeim-Uhlmann and Kenig-Sjöstrand-Uhlmann to the Maxwell system. The main contribution is to show that the Carleman estimate approach to scalar partial data inverse problems introduced in those works can be carried over to the Maxwell system.

연구 동기 및 목표

• 스칼라 방정식에서의 부분 데이터 역문제 결과를 스칼라 방정식에서의 부분 데이터 역문제 결과를 벡터 값 맥스웰 시스템으로 확장하기.
• 경계의 일부에서의 측정값으로부터 전자기 매질 매개변수 $\varepsilon$ 와 $\mu$ 의 유일성을 확립하기.
• 이전에 스칼라 역문제에 사용된 카르레만 추정 접근법을 시간 조화 맥스웰 방정식에 적응시키기.
• 경계의 일부에서의 부분 캐시 데이터 집합 $C^{\Gamma_1,\Gamma_2}$ 가 $\Gamma_1 = \partial M$ 이고 $\Gamma_2 \subset \partial M$ 이며 극한 카르레만 가중치에 의해 정의될 때 $\varepsilon$ 와 $\mu$ 를 유일하게 결정함을 증명하기.
• 맥스웰 방정식에 대한 전체 데이터 유일성 결과를 컴acts 3차원 리만다이니안 다양체 위의 부분 데이터 설정으로 일반화하기.

제안 방법

• 저자들은 경계 데이터가 국소화된 해를 제어하기 위해 맥스웰 시스템에 맞게 조정된 카르레만 추정을 사용한다.
• 부분 캐시 데이터 집합 $C^{\Gamma_1,\Gamma_2}$ 는 $\Gamma_1$ 에서 컴팩트 지지를 가진 전기장의 해의 경계 탄성 트레이스 집합으로 정의된다.
• 분석은 적합한 다양체 위에서 극한 카르레만 가중치 $\varphi(x) = x_1$ 의 존재에 의존하며, 이는 복소 기하학적 옵티컬 해의 구성에 허용한다.
• 경계 법선 좌표계는 미분 형식이 경계 근처에서의 행동을 분석하고 상대적 및 절대적 경계 값들을 정의하는 데 사용된다.
• 헤지 스타, 외부 도함수, 공도함수를 포함하는 부분 적분 공식이 경계 적분 항등식을 유도하는 데 적용된다.
• 소벨로프 공간 내의 조밀성 추론과 근사 기법이 부드러운 형식에서 $H^2$ 와 $H_\Delta$-정규 해로 결과를 확장하는 데 사용된다.

실험 결과

연구 질문

• RQ1 스칼라 역문제에서 사용된 카르레만 추정 방법이 부분 데이터를 가진 벡터 값 맥스웰 시스템으로 확장 가능한가?
• RQ2 전기장이 전체 경계에서 지정되고 자기장이 경계의 부분에서 측정될 때, 전자기 매질 매개변수 쌍 $(\varepsilon, \mu)$ 는 부분 경계 측정값에 의해 유일하게 결정되는가?
• RQ3 적합한 다양체 위에서 극한 카르레만 가중치의 존재가 부분 데이터 맥스웰 역문제의 유일성에 기여하는가?
• RQ4 극한 카르레만 가중치에 의해 정의된 앞면 $F_\varphi$ 는 $\varepsilon$ 와 $\mu$ 의 재구성에 어떤 역할을 하는가?
• RQ5 비연속 해에 대해 소벨로프 공간 내에서 미분 형식의 경계 트레이스를 엄밀하게 정의하고 제어할 수 있는가?

주요 결과

• 경계의 일부에서의 부분 캐시 데이터 집합 $C^{\Gamma_1,\Gamma_2}$ 가 $\Gamma_1 = \partial M$ 이고 $\Gamma_2 \subset \partial M$ 이며 극한 카르레만 가중치의 앞면에 의해 정의될 때, 전자기 매질 매개변수 $\varepsilon$ 와 $\mu$ 는 유일하게 결정된다.
• 결과는 $C^3$ 계수를 가진 컴팩트한 3차원 적합한 리만다이니안 다양체 위에서 성립하며, 조건 $\mathrm{Re}(\varepsilon) > 0$, $\mathrm{Re}(\mu) > 0$, 그리고 $\omega$ 가 공진 주파수일 수 없다는 조건을 만족한다.
• 증명은 카르레만 추정을 통한 복소 기하학적 옵티컬 해의 구성과 부분 적분 및 소벨로프 공간 쌍대성에 의한 경계 트레이스 분석에 기반한다.
• $E$ 와 $H$ 의 경계 값은 음의 순서 소벨로프 공간에서 잘 정의되어 있으며, 이는 $H^2$ 와 $H_\Delta$-정규 해로의 트레이스 항등식 확장을 가능하게 한다.
• 소벨로프 공간 내에서 부드러운 형식의 조밀성은 트레이스 사상이 해 공간 위에서 잘 정의되고 연속적임을 보장한다.
• 이 방법은 이전의 스칼라 방정식 결과들(예: 부크헤임-울만, 켄니그-시오스트란드-울만)을 맥스웰 시스템으로 일반화하여, 전자기학에서 부분 데이터 역문제에 대한 새로운 프레임워크를 수립한다.