[논문 리뷰] Inverse problems for $p$-Laplace type equations under monotonicity assumptions

Chang‐Yu Guo, Manas Kar외 1명|arXiv (Cornell University)|2016. 02. 08.

Numerical methods in inverse problems참고 문헌 25인용 수 8

한 줄 요약

이 논문은 비선형 딜리클레-투-노이만 맵을 이용하여 $p$-라플라스 유형 방정식에서 도전도 $\sigma$ 를 특정하는 역문제의 유일성을 확립한다. 단조성 조건($\sigma_1 \geq \sigma_2$) 하에, 두 차원에서는 단조성 부등식과 유일 연속성 원리를 통해 동일한 DN 맵이 존재할 경우 도전도가 거의 어디서나 동일하다는 것을 증명한다. 고차원에서는 도전도가 상수에 가까운 경우에 유일성이 성립한다.

ABSTRACT

We consider inverse problems for $p$-Laplace type equations under monotonicity assumptions. In two dimensions, we show that any two conductivities satisfying $σ_1 \geq σ_2$ and having the same nonlinear Dirichlet-to-Neumann map must be identical. The proof is based on a monotonicity inequality and the unique continuation principle for $p$-Laplace type equations. In higher dimensions, where unique continuation is not known, we obtain a similar result for conductivities close to constant.

연구 동기 및 목표

• 단조성 조건 하에서 $p$-라플라스 유형 방정식에 대한 역도전도 문제를 해결하기 위해.
• 비선형 딜리클레-투-노이만 맵 $\Lambda_\sigma$ 로부터 도전도 $\sigma$ 의 유일성을 확립하기 위해.
• 선형화가 실패하는 비선형 설정으로 캘러존 문제를 확장하기 위해.
• 유일 연속성이 알려져 있지 않은 고차원에서의 도전을 해결하기 위해, 도전도를 상수에 가까운 것으로 제한함으로써 고차원 문제에 대한 결과를 도출하기 위해.

제안 방법

• 단조성 부등식을 사용하여 $\sigma_1 \geq \sigma_2$ 라는 가정 하에 DN 맵을 비교한다.
• 두 차원에서 $p$-라플라스 유형 방정식에 대해 유일 연속성 원리를 적용한다.
• 복소해석학과 준정칙 사상들을 활용하여 $\mathbb{C}$ 내의 $p$-조화함수를 분석한다.
• 중량이 부여된 $q$-조화 쌍대 함수를 사용하여 해의 국소적 $W^{1,2}$ 정규성을 확립한다. 여기서 $\frac{1}{p} + \frac{1}{q} = 1$ 이다.
• 준등각 사상과 허들러 연속 함수를 이용하여 해의 표현을 구성한다.
• 복소도함수 $\partial_{\bar{z}}F$ 의 구조를 분석하여 유계 계수를 가진 벨트라미 유형 방정식을 유도한다.

실험 결과

연구 질문

• RQ1 두 차원에서 단조성 조건 $\sigma_1 \geq \sigma_2$ 하에 비선형 딜리클레-투-노이만 맵 $\Lambda_\sigma$ 로부터 도전도 $\sigma$ 가 거의 어디서나 유일하게 결정될 수 있는가?
• RQ2 유일 연속성 원리가 $p$-라플라스 방정식에 적용될 경우, $\sigma_1 \geq \sigma_2$ 조건 하에 두 차원에서 유일성이 보장되는가?
• RQ3 유일 연속성이 알려져 있지 않은 고차원에서, 도전도가 상수에 가까운 작은 변화를 겪을 경우 유일성이 여전히 성립하는가?
• RQ4 단조성 부등식을 사용하여 비선형 역문제에서 사전 추정 또는 포함 영역 탐지에 응용할 수 있는가?
• RQ5 복소수 형태로 표현된 $p$-조화함수의 정규성과 구조는 역문제의 해법에 어떤 영향을 미치는가?

주요 결과

• 두 차원에서는 $\sigma_1 \geq \sigma_2$ 이고 $\Lambda_{\sigma_1} = \Lambda_{\sigma_2}$ 이면, 거의 어디서나 $\sigma_1 = \sigma_2$ 이다.
• 이 증명은 단조성 부등식과 $p$-라플라스 유형 방정식에 대한 유일 연속성 원리에 기반한다.
• 고차원에서는 도전도 $\sigma$ 가 상수 함수에 충분히 가까운 경우에 유일성이 성립한다.
• 해의 구조는 준정칙 사상과 $|q_1| + |q_2| < 1$ 인 형태의 복소미분방정식 $\partial_{\bar{z}}F = q_1 \partial_z F + q_2 \overline{\partial_z F} + H(z,F)$ 를 통해 분석된다.
• 중량이 부여된 쌍대 $q$-조화 방정식을 사용하여 $F$ 의 국소적 $W^{1,2}_{\text{loc}}$ 정규성을 확립하였으며, 이는 복소해석학 접근법의 타당성을 보장한다. 여기서 $q > 2$ 이다.
• 만약 $u$ 가 열린 집합에서 상수이면, $F_a \equiv 0$ 이면 $u$ 는 전역적으로 상수이다. 이는 $p$-라플라스 프레임워크 하에서 해의 강한 강성(rigidity)을 확인한다.