Inverse Problems for the Monge--Ampère Equation: Linearization and Nonlinear Recovery

기술 요약: 몽-암페르 방정식에 대한 역문제: 선형화 및 비선형 회복

문제 정의
본 연구는 다음과 같은 완전 비선형 몽-암페르(Monge–Ampère) 방정식에 대한 역경계값 문제를 조사한다:
$$\det D^2 u = a(x, u, \nabla u) \quad \text{in } \Omega,$$
여기서 $\Omega \subset \mathbb{R}^n$은 유계 영역이며, $a$는 미지의 비선형성이다. 칼데론 문제(전기 임피던스 단층 촬영)에서 영감을 받아, 저자들은 주어진 엄격한 볼록 배경해(strictly convex background solution) $\Phi$를 따라 비선형성 $a$의 "제트(jet)"를 경계 측정으로부터 회복할 수 있는지 묻는다. 구체적인 목표는 비선형 코시 데이터 세트를 사용하여 $(x, \Phi(x), \nabla \Phi(x))$ 궤적을 따르는 $a$의 $(x, z, p)$에 대한 미분값들을 결정하는 것이다.

준선형(semilinear) 또는 준선형(quasilinear) 방정식과 달리, 완전 비선형 방정식은 일반적으로 정형화된 디리클레-투-뉴먼(Dirichlet-to-Neumann, DN) 사상을 갖지 않으며 선형 역문제와 자연스럽게 연결되지 않는다. 몽-암페르 방정식은 그 완전 비선형성으로 인해 독특한 도전을 제기하지만, 저자들은 헤시안(Hessian)의 여인수 행렬(cofactor matrix)을 통한 발산 구조(divergence structure)를 활용하여 체계적인 프레임워크를 구축한다.

방법론
저자들은 엄격한 볼록 배경해 $\Phi$ 주변에서의 고차 선형화 프레임워크를 개발한다. 이 접근 방식은 다음 세 단계로 진행된다:

1. 국소적 적정성 및 매끄러운 의존성:
   저자들은 먼저 $\Phi|_{\partial \Omega}$에 인접한 경계 데이터에 대한 디리클레 문제의 국소적 적정성을 확립한다. 저자들은 해 연산자(solution operator) $S: \eta \mapsto u_\eta$가 경계 데이터에 대해 매끄럽게($C^k$) 변화함을 증명한다. 이를 통해 해 연산자의 고차 프레(Fréchet) 미분에 대한 명시적인 공식을 유도할 수 있다.

2. 코시 데이터의 선형화:
   비선형 코시 데이터 세트는 $\Phi|_{\partial \Omega}$ 근처의 경계 데이터 $\eta$와 쌍 $(\eta, \partial_\nu u_\eta|_{\partial \Omega})$의 모임으로 정의된다. 저자들은 이 비선형 데이터 세트의 1차 변동이 선형화된 방정식을 지배하는 선형 타원형 연산자 $L_\Phi$의 코시 데이터 세트와 일치함을 보여준다:
   $$L_\Phi v = \text{div}(C_\Phi \nabla v) - b_\Phi \cdot \nabla v - q_\Phi v = 0,$$
   여기서 계수들은 배경해와 비선형성에 의해 결정된다:

• $C_\Phi = \text{cof } D^2 \Phi$ (헤시안의 여인수 행렬),
• $b_\Phi = \nabla_p a(x, \Phi, \nabla \Phi)$,
• $q_\Phi = \partial_z a(x, \Phi, \nabla \Phi)$.

결정적으로, 이 선형화된 연산자의 주부분(principal part)은 여인수 행렬 $C_\Phi$에 의해 결정되는 비등방성(anisotropic) 성질을 갖는다.

3. 축소 및 고차 항등식:
   알레산드리니 유형(Alessandrini-type)의 항등식을 사용하여, 저자들은 두 비선형 코시 데이터 세트가 같으면 그에 대응하는 선형화된 DN 맵도 동일하다는 축소 원리를 확립한다. 이는 비선형 역문제를 연산자 $L_\Phi$에 대한 비등방성 칼데론 유형 역문제로 축소시킨다.

고차 미분을 위해, 저자들은 선형화된 방정식의 해와 그 켤레(adjoint)의 곱을 포함하는 적분 항등식을 유도한다. 이러한 곱의 적절한 밀도 가정이 존재할 때, 이 항등식들은 배경 제트를 따른 $a$의 고차 미분값들을 회복할 수 있게 한다.

주요 결과

• 1차 회복: 만약 두 비선형성 $a_1$과 $a_2$가 배경해 $\Phi$ 근처에서 동일한 비선형 코시 데이터 세트를 생성한다면, 그들의 대응하는 선형화된 DN 맵은 일치한다. 결과적으로, $\partial_z a(x, \Phi, \nabla \Phi)$와 $\nabla_p a(x, \Phi, \nabla \Phi)$는 비등방성 칼데론 문제의 자연스러운 게이지 불변성(경계 고정 미분동형사상)까지 고려했을 때 배경 제트를 따라 결정된다.
• 고차 회복: 배경해가 고정되어 있고 ($\Phi_1 = \Phi_2 = \Phi$) 낮은 차수의 $a$의 미분값들이 이미 일치한다고 알려진 경우, 고차 선형화 항등식은 $d^k_{(z,p)} a(x, \Phi, \nabla \Phi)$의 고차 미분값들을 회복할 수 있게 한다. 이는 선형화된 방정식과 그 켤레 방정식의 해의 곱에 대한 밀도 성질에 의존한다.
• 구체적 응용:
  • 준선형(Semilinear) 경우: $a$가 $\nabla u$에 독립적인 경우(준선형), 선형화된 연산자는 슈뢰딩거 방정식으로 축소된다. $n \ge 3$ 차원에서 이는 이차 배경($\Phi(x) = |x|^2/2$)에 대해 $\partial_z a$의 1차 미분에 대한 유일성을 제공한다.
  • 최적 운송(Optimal Transport): 최적 운송에서 발생하는 비선형성, 특히 평형 상태 $\Phi(x) = |x|^2/2$의 경우, 선형화된 방정식은 표준 등방성 전도도 방정식으로 축소된다. 이는 고전적인 칼데론 문제와의 직접적인 연결을 확립하며, 운송 밀도를 회복할 수 있게 한다.
  • 역원천 문제(Inverse Source Problems): $a(x, u, \nabla u) = f(x)$인 경우, 이 문제는 소스 항 $f(x)$를 회복하는 문제로 귀결되며, 이는 엄격한 볼록 함수들의 여인수 행렬 클래스의 강성(rigidity) 특성과 연결된다.

의의 및 주장
본 논문은 경계 측정의 관점에서 완전 비선형 몽-암페르 방정식에 대한 역문제에 대한 최초의 체계적인 연구를 제공한다고 주장한다. 주요 기여는 방정식의 완전 비선형성에도 불구하고, 고차 선형화를 통해 비선형 역문제가 일련의 선형 비등방성 역문제로 체계적으로 축소될 수 있음을 입증한 것이다.

저자들은 자신의 접근 방식이 완전 비선형 PDE와 선형 역문제 사이의 간극을 메우며, 몽-암페르 연산자의 특정한 발산 구조를 활용한다는 점을 강조한다. 비선형성의 전체 회복 여부는 연관된 비등방성 칼데론 문제의 가해성(solvability)에 달려 있으나(이는 일반 차원에서 추가적인 기하학적 가정 없이는 여전히 미해결 상태이다), 본 논문은 비선형 데이터가 선형화된 계수를 자연스러운 게이지 내에서 결정한다는 것을 입증한다. 또한, 특정 기하학적 설정(예: 이차 배경) 및 구조적 가정(준선형성 또는 최적 운송 평형) 하에서, 배경 궤적을 따른 $a$의 테일러 전개를 완전히 회복하는 무조건적 유일성 결과를 얻을 수 있음을 보여준다.