An H-convergence-based implicit function theorem for homogenization of nonlinear non-smooth elliptic systems

기술적 요약: 비선형 비매끄러운 타원계 동질화에 관한 H-수렴 기반의 암시적 함수 정리

문제 제기
본 논문은 다음과 같은 형태의 준선형 2 차 타원계에 대한 경계값 문제의 동질화를 다룹니다:
$$\partial_{x_i} \left( a_{ij}^{\alpha\beta}(\varepsilon, x)\partial_{x_j}u^\beta(x) + f_i^\alpha(x, u(x)) \right) = 0 \quad \text{in } \Omega,$$
이는 동질 경계 조건을 따릅니다. 여기서 $\varepsilon > 0$은 작은 동질화 매개변수이며, $\Omega \subset \mathbb{R}^N$은 유계 리프시츠 영역이고, 확산 텐서 $a_{ij}^{\alpha\beta}(\varepsilon, \cdot)$는 레전드르 타원성 조건을 만족합니다. 비선형성 $f_i^\alpha$는 $C(\Omega; \mathbb{R}^n)$에서 $L^{p_0}(\Omega)$ ($p_0 > N$) 로 가는 매핑으로서 $C^1$-매끄러운 것으로 가정됩니다.

확산 텐서들은 $\varepsilon \to 0$일 때 동질화된 텐서 $\hat{a}_{ij}^{\alpha\beta}$로 H-수렴한다고 가정됩니다. 핵심 문제는 비퇴화 약해 $u_0$가 존재하는 동질화된 문제 (1.9) 의 근방에서 진동하는 문제 (1.1) 에 대한 약해 $u_\varepsilon$의 존재성과 국소 유일성을 확립하는 것이며, 구체적으로 강한 수렴 $\|u_\varepsilon - u_0\|_\infty \to 0$을 증명하는 것입니다.

방법론
저자는 고전적인 암시적 함수 정리가 아닌, 특이 섭동과 동질화에 적합하도록 변형된 일반화된 암시적 함수 정리 접근법을 사용합니다. 다루는 핵심적인 어려움은 진동하는 문제에 대한 선형화 연산자들이 균일 연산 노름에 대해 수렴하는 것이 아니라 H-수렴의 약한 의미로만 수렴한다는 점이며, 이로 인해 고전적 정리의 직접적인 적용이 불가능합니다.

방법론은 다음과 같은 단계를 거칩니다:

1. 추상적 설정: 경계값 문제를 적절한 바나흐 공간에서 연산자 방정식 $A_\varepsilon u + DF(u) = 0$으로 재형식화합니다.
2. 근사 해: 반복의 시작점으로 동질화된 해 $u_0$를 사용하는 것 (필요한 특정 노름에서의 정칙성 또는 수렴성 부재로 인해 실패함) 대신, 저자는 선형 문제 $A_\varepsilon \bar{u}_\varepsilon + DF(u_0) = 0$에 의해 정의된 근사 해족 $\bar{u}_\varepsilon$을 구성합니다.
3. 고정점 논증: R.J. Magnus 에 기반한 일반화된 암시적 함수 정리가 적용됩니다. 증명은 근사 해에 의해 정의된 반복열에 대한 바나흐 고정점 정리를 활용합니다.
4. 함수 공간 선택: 바나흐 공간 $U$와 $V$의 선택은 차원 $N$과 확산 텐서의 구조에 따라 결정되며 매우 중요합니다:
   • 경우 $N=2$: 증명은 $p > 2$인 소보레프 공간 $W^{1,p}_0(\Omega; \mathbb{R}^n)$ (메이어스 타입 추정) 을 활용합니다.
   • 경우 삼각형계 ($a_{ij}^{\alpha\beta} = 0$ for $\alpha > \beta$): 증명은 $\lambda > N-2$인 소보레프 - 모리 공간 $W^{1,2,\lambda}_0(\Omega; \mathbb{R}^n)$을 활용합니다. 이는 표준 소보레프 포함 관계가 실패하거나 동질화된 텐서가 삼각형 구조를 잃는 경우에도 매끄럽지 않은 데이터를 처리할 수 있게 합니다.
5. 정칙성 도구: 증명들은 매끄럽지 않은 데이터를 가진 선형 타원계에 대한 최대 정칙성 추정 (메이어스 및 모리 추정) 에 크게 의존하여 선택된 함수 공간에서 필요한 컴팩트성과 연속성 속성을 보장합니다.

주요 기여 및 결과
주요 결과는 정리 1.1로, $u_0$가 동질화된 문제의 비퇴화 약해 (즉, 선형화된 동질화 연산자가 가역임) 일 때, 충분히 작은 $\varepsilon$에 대해 원래 문제에 대한 유일한 약해 $u_\varepsilon$가 존재하여 $\|u_\varepsilon - u_0\|_\infty < \delta$를 만족하고 $\varepsilon \to 0$일 때 $\|u_\varepsilon - u_0\|_\infty \to 0$임을 명시합니다.

구체적인 기술적 기여는 다음과 같습니다:

• 정칙성 가정의 완화: 결과는 영역 경계 $\partial\Omega$, 확산 계수 $a_{ij}^{\alpha\beta}$, 비선형성 $f$, 또는 해 $u_0$의 추가적인 정칙성을 요구하지 않고 성립합니다. 이는 매끄럽지 않은 데이터 ($L^\infty$ 계수) 를 수용합니다.
• 전역 유일성 불필요: 정리는 비선형 문제에 대한 해의 전역 유일성을 가정하지 않고 $u_0$ 근방에서의 국소 유일성을 확립합니다.
• 비삼각형 동질화 처리: 삼각형계 (조건 1.8) 의 경우, 저자는 동질화된 텐서 $\hat{a}_{ij}^{\alpha\beta}$가 일반적으로 삼각형이 아니라고 지적합니다. 소보레프 - 모리 공간의 사용은 이러한 구조의 상한 손실에도 불구하고 증명이 진행되도록 합니다.
• 강한 $L^\infty$ 수렴: 결과는 동질화 이론에서 전형적인 약한 $H^1$ 수렴보다 더 강한 $L^\infty$ 노름에서의 수렴을 보장합니다.
• 홀더 연속성: 부수적 결과 (주석 1.7) 로서, 해 $u_\varepsilon$가 홀더 연속임을 보입니다.

의의 및 주장
본 논문은 이 결과가 $f$가 $u$에 무관한 선형 경우에도 새로운 것이라고 주장합니다. 선형 경우, Lax-Milgram 보조정리는 $W^{1,2}_0$에서의 유일한 약해 존재성을 보장하지만, 매끄럽지 않은 데이터 하에서 H-수렴 시 해가 $L^\infty$에 속하거나 $L^\infty$에서 강하게 수렴한다는 것은 즉시 명확하지 않습니다.

저자는 이 접근법이 보정자 (correctors) 를 포함하는 점근적 전개가 아닌 선형화를 통해 구성된 근사 해를 활용함으로써 특이 섭동 이론과 동질화 이론 간의 간극을 메운다고 강조합니다. 이는 매끄러운 연산자와 $u_0$에 대한 추가적인 정칙성 가정의 필요성을 피합니다.

본 논문은 매끄럽지 않은 데이터로 인해 $\|u_\varepsilon - u_0\|_\infty \to 0$에 대한 수렴 속도를 제공하지 않는다고 명시적으로 밝히며, 매끄러운 데이터가 $O(\varepsilon)$ 또는 $O(\varepsilon^\omega)$와 같은 속도를 허용하는 경우와 대비시킵니다. 이 연구는 비선형계의 매끄럽지 않고 비주기적인 동질화에 대한 기초적인 존재성 및 국소 유일성 결과로 제시됩니다.