On General Linear Degenerate Elliptic PDE Systems

기술 요약: 일반 선형 퇴화 타원형 PDE 시스템에 관하여

문제 정의
본 논문은 엄격하게 볼록한 유계 영역 $\Omega \subset \mathbb{R}^n$ 상의 상수 계수를 갖는 선형 퇴화 타원형 편미분 방정식(PDE) 시스템의 해의 존재성, 유일성 및 부분 정칙성을 다룬다. 시스템은 다음과 같다:
$$\sum_{\beta=1}^N \sum_{i,j=1}^n A_{\alpha i \beta j} D^2_{ij} u_\beta + \sum_{\beta=1}^N \sum_{i=1}^n B_{\alpha \beta i} D_i u_\beta + \sum_{\beta=1}^N C_{\alpha \beta} u_\beta = f_\alpha \quad \text{in } \Omega,$$
여기서 디리클레 경계 조건은 $\partial\Omega$에서 $u=0$이다. 여기서 $u: \Omega \to \mathbb{R}^N$는 미지 벡터 함수이며, $f \in L^2(\Omega, \mathbb{R}^N)$는 소스 항이다. 계수 텐서 $A: \mathbb{R}^{Nn} \to \mathbb{R}^{Nn}$는 대칭적이고 비음의 정부호(non-negative definite)이지만, 엄격하게 타원형이거나 심지어 엄격한 rank-one 볼록성(rank-one convexity)을 갖는다고 가정하지 않는다.

저자들은 엄격한 타원성이 결여될 경우, 표준적인 분포 해(distributional solutions)가 존재하지 않을 수 있으며, 설령 존재하더라도 고전적인 트레이스 의미에서의 경계 조건을 만족할 만큼의 정칙성을 갖추지 못할 수 있음(즉, $u$가 $W^{1,1}_{loc}$에 속하지 않을 수 있음)을 강조한다. 또한, 저차 항(1차 항 $B$ 및 0차 항 $C$)의 포함은 변분 형식(variational formulations)과 관련하여 이전의 순수 2차 퇴화 시스템 연구들과는 다른 본질적인 복잡성을 야기한다.

방법론 및 구조적 가정
퇴화성과 표준적인 타원성 결여를 극복하기 위해, 저자들은 특정 구조적 가정과 맞춤형 해의 개념을 도입한다:

1. 공간의 분해:

   • $\Pi$: $\mathbb{R}^{Nn}$ 내에서 $A$의 영공간(nullspace)의 직교 보공간.
   • $\Sigma$: $\Pi$에 포함된 rank-one 방향들의 투영들의 선형 스팬(linear span).
   • 저자들은 $\Pi$가 rank-one 방향들에 의해 생성된다고 가정한다(이는 스칼라 케이스나 1차원에서는 자동으로 만족되지만, 일반적인 벡터 케이스에서는 (SH)와 같은 특정한 구조적 가설을 요구한다).

2. 계수 제약 조건:

   • $C$ (0차 항): $\Sigma$와 교환 법칙을 만족해야 하며, $C = C^\top \leq 0$ (비양의 정부호)이고, $\Sigma$에서 $\Sigma$로 매핑되어야 한다.
   • $B$ (1차 항): $B = \Sigma B \Pi = \Sigma B = B \Pi$를 만족해야 하며, 대칭성 $B_{\alpha \beta i} = B_{\beta \alpha i}$를 가져야 한다. 이 대칭성은 매우 중요하다. 저자들은 보조정리 2.3을 통해, 이 조건 하에서 $\int B_{\alpha \beta i} D_i u_\beta u_\alpha$ 항이 $W^{1,2}_0$ 내의 함수들에 대해 0이 되어, 변분 설정에서 1차 항이 강성(coercivity)을 방해하는 것을 방지함을 입증한다.

3. 적응된 분포 해 (Adapted Distributional Solutions):
   표준적인 소볼레프 공간은 불충분하므로, 저자들은 $u$를 $\phi \in C^\infty_c(\Omega, \Sigma)$에 대한 약형식(weak formulation)을 만족하는 $D'(\Omega, \Sigma) \cap L^2(\Omega, \Sigma)$의 원소로 정의한다. 이 정의는 해의 공간을 $\Sigma$로 제한하고 테스트 함수를 시스템의 구조와 호환되는 방향으로 제한함으로써 퇴화를 존중한다.

4. 증명 전략 (점성 소멸법, Vanishing Viscosity):
   증명은 점성 소멸 근사를 사용한다. 퇴화된 시스템은 다음과 같은 엄격하게 타원형 시스템으로 근사된다:
   $$\sum (A_{\alpha i \beta j} + \varepsilon \delta_{\alpha \beta} \delta_{ij}) D^2_{ij} u^\varepsilon_\beta + \dots = f_\alpha.$$
   근사에 사용된 근사 모델들이 변분법(예: [7])에 의존했던 것과 달리, 여기서는 $B$ 항의 존재로 인해 직접적인 변분 형식을 구성할 수 없다($B$ 항은 소멸 없이 표준적인 오일러-라그랑주 방정식에서 유도될 수 없기 때문이다). 대신 저자들은 $W^{1,2}_0(\Omega, \mathbb{R}^N)$ 공간 상에서 Lax-Milgram 정리를 활용한다.

   • 강성(Coercivity): $A$의 비음성, $C$의 비양성, 그리고 $B$-항 적분의 소멸(보조정리 2.3)을 사용하여 확립된다.
   • 컴팩트성(Compactness): 퇴화된 부분 푸앵카레 부등식(보조정리 2.1)을 사용하여 균등 추정치를 도출한다. 이는 $\|\Sigma u\|_{L^2}$를 $\|\Pi Du\|_{L^2}$에 의해 유계로 만든다.
   • 극한 통과(Limit Passage): 근사 해들의 부분열은 극한 $u$로 수렴한다. 경계 조건은 $\Omega$의 엄격한 볼록성과 $\Pi$의 rank-one 생성 성질 덕분에 유효한 퇴화된 부분 트레이스 연산자(보조정리 2.2)를 통해 처리된다.

주요 결과
주요 정리(정리 1.2)는 다음을 확립한다:

1. 존재성 및 유일성: 임의의 $f \in L^2(\Omega, \Sigma)$에 대하여, $u \in L^2(\Omega, \Sigma)$인 유일한 적응된 분포 해 $u$가 존재한다.
2. 경계 조건 만족: 해는 강한 의미에서 $u=0$을 만족한다. 구체적으로, $u = 0$ $\mathcal{H}^{n-1}$-거의 모든 곳에서 성립한다(여기서 $\mathcal{H}^{n-1}$은 $(n-1)$차 하우스도르프 측도이다).
3. 부분 정칙성: $u$가 완전히 미분 가능하지 않을 수 있지만, 그 분포 미분 $Du$는 부분 정칙성을 갖는다. 구체적으로, 임의의 rank-one 방향 $\eta \otimes a \in \Pi$에 대한 그래디언트의 투영은 $L^2$ 함수로서 존재한다:
   $$D_a(\eta \cdot u) \in L^2(\Omega).$$

의의 및 범위
본 논문은 $B \equiv 0, C \equiv 0$인 경우를 다루었던 저자의 이전 연구(Katzourakis, 2016)를 확장한다고 주장한다. 저차 항의 포함은 기술적으로 매우 까다로운 문제로 언급되는데, 퇴화된 설정에서는 이러한 항들을 표준적인 변분 근사로 다룰 수 없기 때문이다. 저자들은 특히 $B$의 대칭성과 $\Pi$의 rank-one 생성 성질과 같은 구조적 가정이 문제의 가해성(solvability)과 유일성을 보장하기 위해 필수적임을 강조한다.

이 연구는 전전형 비선형 PDE 시스템의 일반화된 해와 $L^\infty$에서의 변분법이라는 더 넓은 맥락 안에 위치한다. 본 논문은 고전적인 타원성이 실패하는 특정 클래스의 선형 퇴화 타원형 PDE를 해결하기 위한 엄밀한 프레임워크를 제공하며, 계수가 퇴화 구조와 관련된 특정 대수적 호환 조건을 충족할 때 가능하다. 본 논문은 새로운 응용이나 실험적 제안을 제시하기보다는, 이 특정 클래스의 PDE에 대한 이론적 존재성 및 정칙성 이론에 엄격히 집중한다.