Recovery of coefficients for a convection-diffusion equation from partial data

기술 요약: 부분 데이터를 이용한 대류-확산 방정식의 계수 회복

문제 정의
본 논문은 부분 경계 측정으로부터 시간 의존적인 0차 계수(포텐셜, $q$)와 1차 계수(대류장, $A$)를 유일하게 결정하는 역문제를 다룬다. 지배 방정식은 다음과 같다:
$$\partial_t u - \Delta u + A(t, x) \cdot \nabla u + q(t, x)u = 0$$
여기서 $Q = (0, T) \times \Omega$는 시공간 실린더이며, $\Omega \subset \mathbb{R}^n$ ($n \geq 2$)은 $C^2$ 경계를 가진 유계 영역이다. 가용 데이터는 부분 디리클레-투-노이만(Dirichlet-to-Neumann, DN) 맵 $\Lambda(A, q)$이다. 이는 디리클레 경계 데이터 $g$를 경계의 부분집합 $U \subset \Sigma = (0, T) \times \partial\Omega$로 제한된 노이만 플럭스 $\partial_\nu u$로 매핑한다. 여기서 $U$는 $\Omega$의 폐쇄 외부의 점 $x_0$에서 바라본 "조사된(illuminated)" 경계 부분 $\Gamma_-(x_0)$의 근방이다.

고유성을 방해하는 근본적인 장애물으로 **게이지 불변성(gauge invariance)**이 식별되었다. DN 맵은 경계에서 그 노멀 미분(normal derivative)이 0인 함수 $\phi$에 대하여 $(A, q) \mapsto (A + 2\nabla \phi, q - (\partial_t \phi - \Delta \phi + |\nabla \phi|^2 + A \cdot \nabla \phi))$라는 변환 하에서 변하지 않는다. 따라서 본 연구의 주된 목표는 $(A, q)$의 게이지 클래스(gauge class)를 회복하는 것이며, 추가적인 가정 하에 계수 자체를 회복하는 것이다.

방법론
저자들은 시간 의만한 계수를 갖는 포물선형 방정식에 대해 부분 데이터 결과를 확장하는 프레임워크를 개발한다. 이 방법론은 다음 세 가지 핵심 기둥에 의존한다:

1. 기하 광학(Geometric Optics, GO) 해: 특수 형태의 기하 광학 파동을 사용하여 포물선형 방정식과 그 수반 방정식(adjoint equation)의 특수해를 구성한다:
   $$u_\tau(t, x) = e^{\theta_\tau(t, x)} [c_+(t, x) + R_{+, \tau}(t, x)]$$
   $$v_\tau(t, x) = e^{-\theta_\tau(t, x)} [c_-(t, x) + R_{-, \tau}(t, x)]$$
   여기서 $\tau$는 큰 매개변수이다. 선형 가중치를 활용했던 기존의 포물선형 방정식 관련 연구들과 달리, 본 논문은 위상 함수 $\theta_\tau(t, x) = \tau^2 t + \tau \psi(x)$에 비선형 가중치를 사용한다. 여기서 $\psi(x) = |x - y|$는 $\Omega$ 외부의 점 $y$를 나타낸다. 이러한 선택은 가중치가 에이클레 방정식(eikonal equation) $|\nabla \psi|^2 = 1$을 만족하도록 하며 부분 데이터의 사용을 용이하게 한다.

2. 비선형 카를레만 추정치(Nonlinear Carleman Estimates): GO 해의 비선형 위상은 비선형 가중치를 갖는 카를레만 추정치를 요구한다는 점이 중요한 기술적 난관이다. 저자들은 가변 1차 계수를 갖는 포물선형 연산자에 대한 새로운 계열의 카를레만 추정치를 유도한다. 이 추정치들은 $\theta_\tau$와 그 음의 값을 위한 것으로 구축되었으며, 타원형 설정에서 알려진 "제한 카를레만 가중치(limiting Carleman weights)"의 포물선형 유사체 역할을 한다. 이 추정치들은 나머지 항 $R_{\pm, \tau}$를 제어하여 $\tau \to \infty$일 때 이들이 충분히 감소하도록 보장한다.

3. 적분 항등식 및 X-선 변환(X-ray Transform): 두 DN 맵의 차이로부터 유도된 적분 항등식에 GO 해를 삽ận함으로써, 미지 계수와 관련된 항들을 분리해낸다. $\tau \to \infty$ 극한을 취하면 나머지 항들이 제거되며, 주 부분(principal parts) $c_\pm$를 포함하는 적분 항등식이 남는다. 이 항등식들은 계수의 차이(구체적으로 $A$의 솔레노이달 성분과 포텐셜 $q$)의 X-선 변환이 조사된 영역을 통과하는 직선 상에서 0임을 함의함을 보여준다. 이후 컴팩트 지지 분포에 대한 X-선 변환의 유일성을 이용하여 계수를 회복한다.

주요 결과

• 정리 2.1 (게이지 클래스 유일성): 두 계수 집합 $(A_1, q_1)$과 $(A_2, q_2)$가 동일한 부분 DN 맵을 생성하고 측면 경계 $\Sigma$에서 일치한다면, 이들은 동일한 게이지 클래스에 속한다. 즉, 경계에서 0이 되는 게이지 함수 $\phi$가 존재하여 $(A_2, q_2) = S_\phi(A_1, q_1)$를 만족한다. 이 결과는 시간 의존적 계수에 대해 성립하며, 측정 영역이 조사된 경계로 제한된 경우에도 유효하여 기존의 타원형 결과를 포물선형 사례로 확장한다.
• 정리 2.2 (포텐셜 회복): 대류장이 $A$로 알려져 있고 고정되어 있다면, 포텐셜 $q$는 부분 DN 맵에 의해 유일하게 결정된다. 이는 $q_1 - q_2$의 X-선 변환이 0임을 보임으로써 증명된다.
• 따름정리 2.3 (대류장 회복): 포텐셜 $q$가 알려져 있다면, 대류장 $A$는 (경계 조건 $A|_\Sigma$를 제외하고) 부분 DN 맵에 의해 유일하게 결정된다.
• 따름정리 2.4 (포커-플랑크 방정식): 제로 차 항이 대류장의 발산(divergence)인 포커-플랑크 방정식의 경우, $A$가 충분히 매끄럽다면 벡터장 $A$는 부분 DN 맵으로부터 유일하게 결정된다.

의의 및 주장
본 논문은 조사된 경계 부분으로 제한된 부분 경계 데이터를 사용하여, 포물선형 방정식에서 시간 의존적인 대류 및 포텐셜 계수를 동시에 회복하는 문제에 대해 최초의 긍정적인 답변을 제공한다고 주장한다. 이 구성은 이전에 타원형 방정식(예: [San+07; KSU07])에서만 연구되었던 설정이다.

저자들은 시간 의존성이 기존 문헌에서 사용된 타원형 또는 스펙트럼 문제로의 축소를 방해한다는 어려움을 극ها克服하는 접근법을 강조한다. 주요 기여는 비선형 가중치를 갖는 카를레만 추정치의 개발이다. 저자들은 선형 가중치를 갖는 카를레만 추정치가 포물선형 역문제에 사용되어 왔음을 언급하며(예: [CK18b]), 비선형 가중치로의 확장이 독창적임을 밝힌다. 또한 이 새로운 계열의 추정치는 독립적인 관심 대상이며, 관측 집합과 자극 집합을 동시에 제한하는 등의 추가적인 응용을 가능하게 할 것이라고 주장한다.

본 연구는 계수를 전체 공간으로 확장하는 새로운 근사 기법을 통해 계수의 정칙성(regularity) 가정을 완화하고, 2차원 케이스(KLL24에서 다루지 않았던 부분)를 포함함으로써 기존 문헌을 개선한다. 결과는 부분 데이터 프레임워크를 타원형에서 포물선형 설정으로 엄밀하게 확장하여, 자연스러운 게이지 변환에 대한 유일성을 확립한 것이다.