Liouville theorem for fully nonlinear elliptic equations with the small oscillation and the periodicity in $x$ and the periodic right hand term

이 논문은 $x$에 대한 작은 진동과 주기성을 가진 완전 비선형 타원형 방정식에서, 2 차 성장 해가 2 차 다항식과 주기 함수의 합으로 표현될 수 있음을 증명하여 기존 선형 및 완전 비선형 방정식의 리우빌 정리를 일반화합니다.

핵심

1. 배경: 혼란스러운 도시와 규칙적인 패턴

상상해 보세요. 우리가 사는 세상은 거대한 도시 ($\mathbb{R}^n$) 입니다. 이 도시에는 '지형 (우주)'이 있는데, 이 지형은 매끄럽지 않고 곳곳에 작은 요철 (울퉁불퉁함) 이 있습니다.

• 방정식 $F(D^2u, x) = f(x)$: 이 방정식은 "이 지형이 어떻게 생겼을 때, 우리가 원하는 모양을 만들 수 있을까?"를 묻는 질문입니다.
• $f(x)$ (오른쪽 항): 이 도시의 날씨나 기후라고 생각하세요. 이 논문에서는 이 기후가 **주기적 (Periodic)**이라고 합니다. 즉, 서울의 날씨가 10km 이동하면 다시 서울과 똑같아지는 것처럼, 이 도시의 기후는 일정 간격마다 반복됩니다.
• $F$ (연산자): 이 도시의 지형 법칙입니다. 보통은 법칙이 일정하지만, 이 논문에서는 "법칙이 위치에 따라 아주 조금씩 달라질 수 있다"고 가정합니다. 하지만 그 변화가 **매우 작다 (Small Oscillation)**는 것이 핵심 전제입니다.

2. 문제: 거대한 산을 만들 때 (2 차 함수 성장)

우리는 이 도시 전체에 걸쳐 **거대한 산 (해 $u$)**을 만들어야 합니다.

• 2 차 함수 성장 (Quadratic Growth): 이 산은 너무 높지 않고, 너무 낮지도 않습니다. 마치 **포물선 (Parabola)**처럼 중심에서 멀어질수록 부드럽게 올라가는 형태여야 합니다. ($|x|^2$ 비례)

핵심 질문:
"이 도시의 기후가 반복되고, 지형 법칙이 조금씩 들쭉날쭉할 때, 우리가 만든 거대한 산은 결국 매끄러운 포물선과 **작은 요철 (주기적인 패턴)**의 합으로 표현될 수 있을까?"

3. 이 논문의 발견 (리우빌 정리)

저자 양리춘 (Lichun Liang) 은 **"그렇다!"**라고 답합니다.

"비록 도시의 법칙이 조금씩 흔들리더라도, 충분히 큰 규모에서 보면 그 산은 결국 '매끄러운 포물선' 위에 '작은 주기적인 요철'이 얹혀진 형태일 뿐이다."

이를 수학적 용어로 풀이하면:

• 매끄러운 포물선 ($\frac{1}{2}x^T Ax + b \cdot x + c$): 거시적인 전체적인 모양 (큰 그림).
• 작은 요철 ($v(x)$): 미시적인 반복되는 패턴 (주기 함수).
• 결론: $u(x) = (\text{큰 포물선}) + (\text{작은 주기적 요철})$

4. 창의적인 비유: "거친 직물과 매끄러운 실크"

이 논문의 결과를 더 쉽게 이해하기 위해 직물을 생각해 보세요.

• 상황: 아주 거칠고 울퉁불퉁한 직물 (지형 법칙 $F$) 이 있습니다. 하지만 이 직물의 무늬는 일정하게 반복됩니다 (주기성).
• 작업: 이 직물 위에 거대한 돗자리 (해 $u$) 를 펴서 매끄럽게 만들려고 합니다.
• 발견: 돗자리를 아주 멀리서 (거시적으로) 보면, 그것은 **완벽하게 매끄러운 실크 천 (포물선)**처럼 보입니다. 하지만 가까이서 (미시적으로) 보면, 실크 천 위에 **작은 무늬 (주기 함수)**가 새겨져 있는 것을 알 수 있습니다.
• 중요한 조건: 이 논문의 핵심은 "직물의 거칠기 (진동, Oscillation) 가 아주 작아야 한다"는 것입니다. 만약 직물이 너무 거칠면 (진동이 크면), 멀리서 봐도 매끄러운 실크처럼 보이지 않고 뒤틀릴 수 있습니다. 하지만 진동이 작다면, 결국 큰 흐름은 포물선이라는 결론이 나옵니다.

5. 왜 이 연구가 중요한가요?

이 논문은 기존에 알려진 두 가지 중요한 사실을 하나로 통합하고 확장했습니다.

1. 선형 방정식 (Linear Equations): 이미 알려진 결과로, 법칙이 단순할 때만 성립했습니다.
2. 비선형 방정식 (Nonlinear Equations): 법칙이 복잡할 때는 증명하기 어려웠습니다.

이 논문은 **"법칙이 조금씩 변해도 (작은 진동), 그리고 법칙이 복잡해도 (비선형), 여전히 큰 그림은 포물선이다"**라고 증명했습니다.

이는 **재료 과학 (복합재료의 거시적 성질 예측)**이나 기후 모델링에서, 작은 규모의 복잡한 변동을 무시하고 큰 규모의 흐름을 예측할 때 매우 유용한 이론적 근거가 됩니다.

6. 요약: 한 문장으로 정리

"작은 요철이 반복되는 복잡한 세상에서, 거대한 산을 쌓을 때 그 산의 전체적인 모양은 결국 매끄러운 포물선 위에 작은 무늬가 얹혀진 것과 같다."

이 논문은 그 '작은 무늬'가 얼마나 작아야 하는지, 그리고 그 '매끄러운 포물선'이 어떻게 결정되는지를 수학적으로 완벽하게 증명해낸 것입니다.

기술 요약

이 논문은 리춘 량 (Lichun Liang) 에 의해 작성된 것으로, 전 공간 ($\mathbb{R}^n$) 과 외부 영역 (exterior domains) 에서 정의된 완비 비선형 타원형 편미분방정식 (Fully Nonlinear Elliptic Equations) 에 대한 이중 다항식 성장 (Quadratic Growth) 해의 존재성과 리우빌 (Liouville) 정리를 연구합니다. 특히, 방정식의 계수와 우변 (Right-hand side) 이 주기적 (Periodic) 인 경우를 다루며, $x$에 대한 연산자 $F$의 진동 (Oscillation) 이 "작다"는 가정 하에 결과를 일반화합니다.

다음은 논문의 기술적 요약입니다.

---

1. 연구 문제 (Problem Statement)

본 논문은 다음과 같은 형태의 완전 비선형 타원형 방정식을 다룹니다.
$$F(D^2u(x), x) = f(x), \quad x \in \mathbb{R}^n$$
여기서 주요 조건은 다음과 같습니다:

• 주기성 (Periodicity): 우변 $f(x)$와 연산자 $F(M, x)$는 $x$에 대해 주기적입니다 ($f(x+z)=f(x)$, $F(M, x+z)=F(M, x)$, $z \in \mathbb{Z}^n$).
• 균일 타원성 (Uniform Ellipticity): 연산자 $F$는 균일하게 타원적입니다 (조건 H1).
• 오목성 (Concavity): $F$는 $M$ (Hessian 행렬) 에 대해 오목합니다 (조건 H3).
• 작은 진동 (Small Oscillation): $x$에 대한 $F$의 진동 $\beta(x, x_0)$이 작다는 조건이 부과됩니다. 이는 $F$가 $x$에 대해 거의 일정한 계수를 가진 선형 방정식에 가깝거나, 주기적 변동이 미미함을 의미합니다.
• 해의 성장: 해 $u(x)$는 $|x|^2$ 이하의 2 차 다항식 성장을 가집니다 ($|u(x)| \le C(1+|x|^2)$).

핵심 질문: 이러한 조건 하에서 해 $u(x)$는 2 차 다항식과 주기 함수의 합으로 표현될 수 있는가? (즉, $u(x) = \frac{1}{2}x^T Ax + b \cdot x + c + v(x)$ 형태인가?)

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 기법을 활용하여 문제를 해결했습니다.

1. 연속성 방법 (Method of Continuity):

   • 존재성 정리 (Theorem 1.2) 를 증명하기 위해 연속성 방법을 사용했습니다.
   • $C^{2, \alpha}$ 공간과 주기 함수 공간 $T$ (평균값이 0 인 연속 주기 함수) 를 정의하고, 매개변수 $t \in [0, 1]$에 따른 해의 집합이 열려 있고 닫혀 있음을 보였습니다.
   • 이를 위해 Evans-Krylov 이론과 내부 $W^{2,p}$ 추정을 활용했습니다.

2. 매끄러운 근사 (Smooth Approximation) 및 몰리피케이션 (Mollification):

   • $F$와 $f$가 매끄럽지 않은 경우 ($C^0$ 또는 $C^\alpha$), 매끄러운 함수로 근사하여 해를 구성한 후 극한을 취하는 방식을 사용했습니다 (Corollary 1.3).
   • 진동 조건 (1.4) 을 만족하면 점근적 $W^{2,p}$ 추정이 성립함을 보였습니다.

3. 동질화 연산자 (Homogenization Operator, $\bar{F}$):

   • 주기적인 미세 구조를 평균화하여 정의된 새로운 연산자 $\bar{F}$를 도입했습니다.
   • $\bar{F}(A) = \alpha$는 $F(A + D^2v, x) = f(x) - \bar{f} + \alpha$를 만족하는 주기 함수 $v$가 존재할 때의 상수 $\alpha$로 정의됩니다.
   • $\bar{F}$는 원래 연산자 $F$와 동일한 타원성 상수와 오목성을 유지함을 증명했습니다 (Lemma 2.2).

4. 블로우다운 (Blow-down) 기법:

   • 리우빌 정리 (Theorem 1.7) 증명에서 핵심적인 기법입니다.
   • $u_R(x) = u(Rx)/R^2$로 스케일링된 해의 수열을 고려하여 $R \to \infty$일 때의 극한 행동을 분석했습니다.
   • 이 극한 함수가 2 차 동차 다항식 $Q(x) = \frac{1}{2}x^T Ax$가 됨을 보였고, 이를 통해 원래 해의 2 차 항을 결정했습니다.

5. 차분 연산자와 최대 원리 (Difference Argument & Maximum Principle):

   • Caffarelli 와 Li 의 Monge-Ampère 방정식 연구에서 차용한 기법을 사용하여, 2 차 차분 몫 (second order difference quotients) $\Delta^2_e u$가 유계임을 보였습니다.
   • 이를 통해 해가 2 차 다항식과 주기 함수의 합으로 분해됨을 증명했습니다.

3. 주요 결과 (Key Results)

1. 주기적 데이터에 대한 존재성 정리 (Theorem 1.2 & Corollary 1.3):

   • $F$의 진동이 작을 때 (조건 1.4), 임의의 대칭 행렬 $A$에 대해 $F(A+D^2v, x) - \alpha = f(x) - \bar{f}$를 만족하는 유일한 주기 함수 $v$와 상수 $\alpha$가 존재합니다.
   • 이는 $F$와 $f$가 매끄럽지 않아도 성립합니다.

2. 동질화 연산자의 성질 (Lemma 2.2):

   • 정의된 동질화 연산자 $\bar{F}$는 $F$와 동일한 균일 타원성과 오목성을 가집니다. 이는 리우빌 정리에서 $\bar{F}(A) = \bar{f}$를 만족하는 $A$의 존재성을 보장합니다.

3. 리우빌 정리 (Theorem 1.7):

   • 주요 결론: $F(D^2u, x) = f(x)$의 2 차 성장 해 $u$는 다음과 같이 표현됩니다:
     $$u(x) = \frac{1}{2}x^T Ax + b \cdot x + c + v(x)$$
     여기서 $A$는 $\bar{F}(A) = \int_{[0,1]^n} f(x) dx$를 만족하는 행렬이고, $v$는 평균값이 0 인 주기 함수입니다.
   • 이는 기존 선형 방정식 ($a_{ij}D_{ij}u=0$) 과 $x$에 무관한 비선형 방정식 ($F(D^2u)=f$) 에 대한 리우빌 정리를 일반화한 것입니다.

4. 외부 영역에서의 점근적 행동 (Theorem 1.9 & 1.11):

   • 외부 영역 ($\mathbb{R}^n \setminus \Omega$) 에서 디리클레 문제의 해가 존재하며, 무한대에서 2 차 다항식 + 주기 함수 형태로 수렴함을 보였습니다.
   • 특히 $\Lambda/\lambda < n-1$일 때, 오차 항이 $|x|^{1-(n-1)\lambda/\Lambda}$로 감소하는 정밀한 점근적 추정식을 유도했습니다.

4. 공헌 및 의의 (Contributions & Significance)

• 일반화 (Generalization): 기존에 알려진 선형 방정식 (Avellaneda-Lin, Li-Wang) 이나 $x$에 무관한 비선형 방정식 (Li-Liang, Caffarelli-Li) 의 리우빌 정리를, $x$에 의존하는 완전 비선형 방정식으로 확장했습니다.
• 약한 조건 (Weak Assumptions): $F$와 $f$의 매끄러움 (Smoothness) 요구사항을 완화하고, 대신 $x$에 대한 진동 (Oscillation) 이 작다는 조건을 통해 해의 구조를 규명했습니다. 이는 실제 물리적 모델에서 계수가 불연속이거나 매끄럽지 않은 경우에도 적용 가능성을 높였습니다.
• 동질화 이론과의 연결: 주기적 계수를 가진 비선형 방정식의 해가 거시적으로는 동질화된 연산자 $\bar{F}$를 따르는 2 차 다항식 구조를 가진다는 것을 엄밀하게 증명함으로써, 동질화 이론 (Homogenization Theory) 과 리우빌 정리의 연결고리를 강화했습니다.
• 외부 영역 문제 해결: 전 공간뿐만 아니라 외부 영역에서의 점근적 거동과 오차 추정을 제공하여, 유한 영역에서의 수치 해석이나 물리적 경계 조건 문제에도 이론적 기반을 제공했습니다.

5. 결론

이 논문은 주기적 데이터를 가진 완전 비선형 타원형 방정식에서 2 차 성장 해의 구조가 "2 차 다항식 + 주기 함수"로 단순화됨을 증명했습니다. 이는 $x$에 대한 계수의 진동이 작을 때, 복잡한 비선형성과 주기적 변동이 해의 거시적 구조를 바꾸지 않으며, 동질화된 연산자에 의해 지배됨을 보여줍니다. 이 결과는 편미분방정식 이론, 특히 동질화 및 리우빌 정리의 분야에서 중요한 진전을 이룬 것으로 평가됩니다.