Existence results for quasimonotone elliptic systems with growth up to critical exponents

기술 요약: 임계 지수까지의 성장을 갖는 준단조적 타원형 계의 존재성 결과

문제 정의
본 논문은 경계가 $C^{0,1}$인 유계 영역 $\Omega \subset \mathbb{R}^N$ ($N \ge 2$)에서 정의된 결합된 준선형 타원형 계의 약해(weak solution)의 존재성을 조사한다. 이 계는 미분 방정식 내부와 경계 조건 모두에 존재하는 비선형성을 포함한다:
$$\begin{cases} -\Delta u_1 + c_1(x)u_1 = f_1(x, u_1, u_2), & \text{in } \Omega, \\ -\Delta u_2 + c_2(x)u_2 = f_2(x, u_1, u_2), & \text{in } \Omega, \\ \frac{\partial u_1}{\partial \eta} = g_1(x, u_1, u_2), & \text{on } \partial\Omega, \\ \frac{\partial u_2}{\partial \eta} = g_2(x, u_1, u_2), & \text{on } \partial\Omega. \end{cases}$$
계수 $c_i$는 $L^\infty(\Omega)$에 속하며, 비선형성 $f_i$와 $g_i$는 **준단조성 조건(quasimonotonicity condition)**을 만족하는 카라테오도리 함수(Carathéodory functions)이다. 즉, $f_1$과 $g_1$은 $u_2$에 대해 비감소하고, $f_2$와 $g_2$는 $u_1$에 대해 비감소한다.

본 연구의 주요 수학적 과제는 이러한 비선형성의 성장이다. 임계 소볼레프 지수(critical Sobolev exponents)로부터 성장이 제한되었던 기존 연구들과 달리, 본 연구는 비선형성이 적절한 쌍대 르베그 공간(dual Lebesgue spaces)에서의 임계 소볼레프 지수까지의 성장을 보이는 것을 허용한다. 구체적으로, 도메인 항의 성장은 $L^{\frac{2N}{N+2}}(\Omega)$로, 경계 항의 성장은 $L^{\frac{2(N-1)}{N}}(\partial\Omega)$로 제어된다.

방법론
저자들은 하해(subsolution)-상해(supersolution) 방법, 조른의 보조정리(Zorn's lemma), 그리고 **카토의 부등식(Kato's inequality)**의 조합을 사용한다. 증명 전략은 다음과 같이 진행된다:

1. 스칼라 예비 단계: 저자들은 먼저 비선형 경계 조건을 갖는 단일 방정식에 대한 카토의 부등식을 확립하여, 두 하해의 최댓값(및 두 상해의 최솟값)이 여전히 하해(또는 상해)가 됨을 입증한다. 또한, 임계 성장을 갖는 스칼라 방정식에 관한 기존의 존재성 결과인 Mavinga, Myers, Nkashama [15]를 인용한다.
2. 해 집합의 구성: 주어진 하해 쌍 $(\underline{u}_1, \underline{u}_2)$와 상해 쌍 $(\overline{u}_1, \overline{u}_2)$에 의해 결정되는 정렬된 구간 내에서 하해들의 집합 $\mathcal{J}$를 정의한다.
3. 반복적 구성: 고정된 하해에 대하여, 각 성분에 대한 스칼라 방정식을 풀음으로써 새로운 하해를 구성한다. 이때 준단조성을 활용하여 순서 관계가 유지되도록 한다.
4. 조른의 보조정리 적용: 임계 성장과 관련된 컴팩트성(compactness)의 결여를 다루기 위해, 저자들은 하해들의 부분 순서 집합을 정의하고 조른의 보례를 적용한다. 저자들은 $H^1(\Omega)$에서의 약 컴팩트성, 공간의 반성(reflexivity), 그리고 하해 및 상해에 의해 제공되는 성장 조건을 활용한 르베그 지배 수렴 정리(Lebesgue dominated convergence theorem)를 사용하여, 이 집합의 모든 사슬(chain)이 상계를 가짐을 입증한다.
5. 최대성 및 최소성: 이 집합의 극대 원소(maximal element)가 계의 해임을 보인다. 해의 최솟값을 사용하는 유사한 논증을 통해 최소 해(minimal solution)의 존재성을 확립한다.

주요 결과
주요 정리(정리 1.1)는 만약 정렬된 하해와 상해 쌍이 존재하고, 비선형성이 지정된 성장 조건(H1 및 H2)을 만족한다면 다음을 확립한다:

• 시스템은 해당 정렬된 구간 내에 적어도 하나의 약해를 갖는다.
• 해당 구간 내에 **최소 약해(minimal weak solution)**와 **최대 약해(maximal weak solution)**가 존재한다.
• 구간 내의 다른 모든 약해는 최소 해에 의해 하계가 정해지고 최대 해에 의해 상계가 정해진다.

또한, 저자들은 비선형성에 더 강한 단조성 조건(구체적으로 $f_i + k_i u_i$와 $g_i + k_i u_i$가 비감소한다는 조건)이 부과될 경우, 최소 해와 최대 해를 단조 반복 수열을 통해 구성적으로 얻을 수 있음을 언급한다.

의의 및 주장
본 논문은 임계 성장을 갖는 스칼라 방정식에 대해 이미 확립된 이론([15])을 결합된 준단조적 계와 비선형 경계 조건으로 확장한다고 주장한다. 저자들은 기존 문헌의 시스템들이 일반적으로 임계 소볼레프 지수보다 엄격히 낮은 성장을 가정했다는 점을 강조한다. 쌍대 르베그 공간에서의 임계 지수까지의 성장을 허용함으로써, 본 연구는 결합된 계에 대한 이론적 공백을 해결한다.

이 연구의 의의는 화학 반응, 생물학적 과정, 또는 생태학적 역학 등 도메인 내부와 경계 모두에서 상호작용이 일어나는 응용 분야에서, 유계되지 않은 해와 덜 정규적인 데이터를 다룰 수 있다는 점에 있다. 증명은 임계 성장에 의해 요구되는 비구성적 접근 방식(조른의 보조정리)에 의존하며, 이는 하임계(sub-critical) 사례에서 사용되는 순수 반복법과 구별된다. 특정 매개변수 의존적 비선형성을 갖는 시스템에 대해 하해와 상해를 구성하는 예시를 제공함으로써, 이론적 틀의 적용 가능성을 확인한다.