Inverse problems for semilinear elliptic PDE with a general nonlinearity $a(x,u)$

기술적 요약: 일반적인 비선형성을 갖는 준선형 타원형 편미분방정식의 역문제

문제 제기
본 논문은 경계에서의 해 측정을 통해 준선형 타원형 방정식
$$\Delta u + a(x, u) = 0 \quad \text{in } \Omega,$$
내의 일반적인 비선형성 $a(x, u)$를 복원하는 역문제를 다룬다. 영역 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) 은 $C^\infty$ 경계를 갖는 유계 영역이다. 비선형성 $a$는 $k \ge 3$에 대해 $C^k(\mathbb{R}, C^{2,\alpha}(\Omega))$에 속한다고 가정한다. 이용 가능한 데이터는 고정된 해 $w$의 근방에 있는 해 $u$에 대한 쌍 $(u|_{\partial\Omega}, \partial_\nu u|_{\partial\Omega})$의 집합으로 정의되는 코시 데이터 집합 (또는 그 국소 버전) 이다.

핵심 질문은 코시 데이터가 함수 $a(x, z)$를 유일하게 결정하는지 여부이다. 저자들은 기존 문헌이 제한적인 조건 하에서 유일성을 확립했음을 지적한다:

1. 1 차 선형화 방법 (예: [Isa93], [IS94]) 은 일반적으로 잘-제정성 (well-posedness) 과 최댓값 원리를 보장하기 위해 $a(x, 0)=0$ 및 $\partial_u a(x, u) \le 0$과 같은 부호 조건을 요구한다.
2. 고차 선형화 방법 (예: [FO20], [LLLS21a]) 은 부호 조건을 제거했으나, 종종 $u \equiv 0$이 해가 되는 것 ($a(x, 0)=0$) 과 0 에서 선형화된 연산자가 잘-제정되어 있음 (0 이 디리클레 고유값이 아님) 을 가정한다. 이러한 방법들은 일반적으로 $a$의 $u$에 대한 테일러 급수를 복원하며, $a$를 완전히 복원하기 위해서는 실해석성 (real-analyticity) 이 필요하다.

방법론
저자들은 기존 연구의 제한적인 가정 (특히 서론의 (1.2)–(1.3) 및 (1.4)–(1.5) 가정) 을 피하는 프레임워크를 개발한다. 방법론은 세 가지 주요 기술적 기둥에 의존한다:

1. 매끄러운 해 사상 (Solution Maps) 의 구성:
   접근법의 핵심은 고정된 해 $w$ 근처의 비선형 방정식의 해를 선형화된 방정식의 해를 사용하여 매개화하는 매끄러운 사상을 구성하는 것이다. $q(x) = \partial_u a(x, w)$라 하자. 선형화된 방정식은 $\Delta v + qv = 0$이다.

   • 선형화된 연산자 $\Delta + q$가 잘-제정되지 않을 수 있음 (0 이 고유값일 수 있음) 에 따라, 저자들은 프레드홀름 이론을 활용한다. 그들은 핵 (kernel) $N_q$와 뉴먼 데이터 $\partial_\nu N_q$로 이루어진 유한 차원의 장애물을 처리하기 위해 핵의 직교 여집합으로 투영하는 해 연산자를 정의한다.
   • 암시적 함수 정리와 고정점 논증 (Lemma 2.3) 을 사용하여, 저자들은 $V_q$ (선형화된 방정식의 해 공간) 에서 $W_a$ (비선형 방정식의 해 다양체) 로 가는 $C^{k-1}$ 사상 $S_{a,w}$를 구성한다. 이 사상은 $S_{a,w}(v) = w + v + O(\|v\|^2)$를 만족한다.

2. 정량적 안정성과 두 번째 해 사상:
   두 개의 서로 다른 비선형성 $a_1$과 $a_2$를 비교하기 위해, 저자들은 두 번째 해 사상을 구성한다. 국소 코시 데이터 집합의 포함 관계 $C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$가 주어지면, $w$에 가까운 첫 번째 방정식의 모든 해 $u_1$에 대해 동일한 코시 데이터를 갖는 두 번째 방정식의 해 $u_2$가 존재함을 보인다.

   • 핵심적으로, 그들은 $u_2$가 $a_1$의 선형화된 방정식의 매개변수 $v$에 대해 매끄럽게 의존함을 증명한다. 이는 카를만 추정 (Carleman estimates) 을 활용하여 준선형 방정식의 해가 그 코시 데이터에 의해 안정적으로 결정됨을 보여주는 정량적 추정 (Lemma 3.3) 을 확립함으로써 달성된다.
   • 이를 통해 $S_{a_1, w}$와 동일한 선형화된 해 $v$로 매개화되는 사상 $T_{a_2, w}$를 구성할 수 있으며, 두 사상 모두 동일한 경계 데이터를 공유하도록 보장한다.

3. 선형화와 밀도 논증:

   • 1 차: $u_1(v)$와 $u_2(v)$에 대한 방정식을 매개변수 $v$에 대해 미분하고 쌍대 선형화된 방정식의 해에 대해 적분함으로써, 저자들은 $\partial_u a_1 - \partial_u a_2$와 관련된 적분 항등식을 유도한다. 해 사상의 전단사성 (bijectivity) 과 해들의 곱의 밀도 (Runge 근사) 를 사용하여, 비선형성의 1 차 도함수가 일치해야 함을 결론짓는다.
   • 고차: $k$번 미분함으로써, 하차 도함수들이 일치한다고 가정할 때 $k$차 도함수에 대한 유사한 항등식을 유도한다.

주요 기여 및 결과

• 정리 1.1 (공통 해 근처의 유일성): 두 비선형성 $a_1$과 $a_2$가 공통 해 $w$를 공유하고 그들의 국소 코시 데이터 집합이 포함 조건을 만족하면, 작은 $\lambda$에 대해 $a_1(x, w(x) + \lambda) = a_2(x, w(x) + \lambda)$가 성립한다. 이 결과는 $\partial_u a$에 대한 부호 조건이나 $a(x, 0)=0$이라는 가정을 요구하지 않고 일반적인 비선형성에 대해 성립한다.
• 정리 1.3 (게이지까지의 유일성): $a_1$과 $a_2$가 공통 해를 공유하지 않는 경우, 코시 데이터는 게이지 변환을 통해 $a_1$에 대한 $a_2$를 결정한다. 구체적으로, $a_1(x, w_1(x) + \lambda) = T_\phi a_2(x, w_1(x) + \lambda)$이며, 여기서 $T_\phi a(x, u) = \Delta \phi + a(x, u + \phi)$이고 $\phi = w_2 - w_1$은 동일한 경계 데이터를 갖는 두 방정식의 유일한 해들 사이의 차이이다. 이는 이 게이지 불변성까지 비선형성을 정확하게 복원한다.
• 정리 1.4 (잘-제정성 없이의 고차 선형화): 저자들은 배경 해에서의 선형화된 방정식이 잘-제정되지 않은 경우 (즉, 0 이 디리클레 고유값이 아님을 가정하지 않음) 에도 고차 선형화를 적용할 수 있음을 보인다. 하차 도함수들이 일치한다면, $k$차 도함수는 선형화된 방정식의 해들의 곱에 대한 직교 조건을 만족함을 보인다.

의의 및 주장
본 논문은 부호 조건 (예: $\partial_u a \le 0$) 과 배경 해가 0 이어야 하거나 선형화된 연산자가 가역적이어야 한다는 요구 사항을 제거함으로써 기존 결과를 개선한다고 주장한다.

• 종종 제한된 도달 가능 집합 내에서만 비선형성을 복원하거나 부호 조건을 요구하는 1 차 선형화 결과와 달리, 본 연구는 고정된 해 $w$의 전체 근방에서 유일성 (게이지까지) 을 확립한다.
• 일반적으로 $u=0$에서의 $a$의 테일러 급수만 복원하여 (완전한 복원을 위해 해석성 필요) 고차 선형화 결과와 달리, 본 연구는 해석성을 가정하지 않고 $z = w(x)$ 근처에서 비선형성 $a(x, z)$ 자체를 복원한다.
• 이 방법은 프레드홀름 이론을 통해 유한 차원 핵을 신중하게 처리함으로써, 스펙트럼 장애 (고유값) 가 존재하는 경우에도 선형 해로 비선형 해를 국소적으로 매개화하는 "좋은" 해 사상을 구성하는 데 의존한다.

저자들은 결과가 일반적인 비선형성에 대해 유효하며, 공통 해가 존재하지 않을 때 관찰된 게이지 불변성은 이전 연구들 (예: [Sun10]) 과 일관됨을 지적한다. 이 연구는 선형화된 연산자가 특이할 수 있는 더 넓은 범위의 준선형 타원형 방정식에 역문제 기법의 적용 가능성을 확장한다.