A game-theoretical interpretation for a doubly nonlinear parabolic equation

1. 연구 배경 및 문제 제기

• 주요 대상: 이 논문은 이중 비선형 열 방정식 (Doubly Nonlinear Parabolic Equation) 의 해를 게임 이론적 관점에서 해석하는 것을 목표로 합니다. 대상 방정식은 다음과 같습니다.
  $$|\partial_t u|^{p-2}\partial_t u - \Delta_p u = 0$$
  여기서 $p > 2$이며, $\Delta_p u = \nabla \cdot (|\nabla u|^{p-2}\nabla u)$는 표준적인 $p$-라플라시안입니다.
• 이중 비선형성: 이 방정식의 특징은 확산이 $p$-라플라시안에 의해 주도되는 동시에, 시간 미분 항이 $|\partial_t u|^{p-2}\partial_t u$라는 비선형 항을 통해 방정식에 등장한다는 점입니다.
• 연구 목적:
  1. 유계 영역 (Bounded domains) 과 전체 공간 ($\mathbb{R}^d$) 에서의 디리클레 (Dirichlet) 문제 및 코시 (Cauchy) 문제를 다룹니다.
  2. 해당 편미분 방정식 (PDE) 의 점근적 평균값 공식 (Asymptotic Mean Value Formula, AMVF) 을 유도합니다.
  3. 이 공식을 바탕으로 Dynamic Programming Principle (DPP) 을 수립하고, 이를 확률적 제로섬 게임 (Stochastic Zero-Sum Game) 과 연결합니다.
  4. 게임의 가치 (Value) 가 PDE 의 점근적 해 (Viscosity Solution) 로 수렴함을 증명합니다.

2. 방법론 및 핵심 도구

가. 새로운 점근적 평균값 공식 (AMVF)

기존의 $p$-라플라시안에 대한 평균값 공식 (예: [13] 등) 은 기울기가 0 인 점 ($\nabla \phi = 0$) 에서 정의되지 않거나, $p$-라플라시안의 부호를 사전에 알아야 한다는 한계가 있었습니다. 저자들은 이를 극복하기 위해 새로운 AMVF 를 도입했습니다.

• 핵심 아이디어:
  • 기하평균을 산술평균의 하한 (infimum) 으로 표현하는 수학적 보조정리 (Lemma 2.3) 를 활용합니다: $a^\alpha b^{1-\alpha} = \inf_{c>0} \{ \alpha c^{1-\alpha}a + (1-\alpha)c^{-\alpha}b \}$.
  • 이를 통해 $p$-라플라시안의 부호와 관계없이, 기울기가 0 인 경우에도 유효한 단일 대수적 표현식을 유도합니다.
  • 새로운 평균값 연산자 $A_\epsilon[\phi](x)$는 다음과 같이 정의됩니다 (간략화):
    $$A_\epsilon[\phi](x) \approx \frac{1}{2} \max \left[ \inf_{c} (\dots), \phi(x) \right] + \frac{1}{2} \min \left[ \sup_{c} (\dots), \phi(x) \right]$$
    여기서 $c$는 특정 구간 $[m(\epsilon), M(\epsilon)]$에서 선택되며, 이는 확률적 게임에서의 파라미터 선택과 대응됩니다.

나. 점근적 전개 (Asymptotic Expansion)

• $C^2$ 및 $C^3$ 함수에 대해 $A_\epsilon[\phi]$의 전개를 수행하여 다음과 같은 관계를 증명합니다:
  $$A_\epsilon[\phi](x, t) = \phi\left(x, t + \frac{\epsilon^2}{2}\right) + \frac{\epsilon^2}{2} \left( (\Delta_p \phi)^{\frac{1}{p-1}} - \partial_t \phi \right) + o(\epsilon^2)$$
• 특히, 기울기가 0 인 점에서도 오차 항이 발산하지 않도록 $C^2$ 함수에 대한 새로운 오차 추정식 (Theorem 3.5) 을 제시하여 점근적 해의 특성을 엄밀하게 다룹니다.

다. 게임 이론적 해석 (Game Theoretical Interpretation)

• 게임 규칙: 두 명의 플레이어 (Player I: 최대화, Player II: 최소화) 가 참여하는 제로섬 게임입니다.
  1. 매 라운드마다 동전 던지기 (공정 동전) 를 통해 플레이어 I 이 이동할지, Player II 가 파라미터 $c$를 선택할지 결정합니다.
  2. Player I 의 선택: 위치를 유지하거나 (시간만 감소), Player II 가 선택한 $c$에 따라 다음 위치를 결정합니다.
  3. Player II 의 선택: Player I 이 이동할 때, Player II 는 $c \in [m(\epsilon), M(\epsilon)]$을 선택합니다.
  4. 확률적 이동: 선택된 $c$에 따라, 확률 $\alpha$로는 Player I 이 반구 내에서 임의의 점을 선택하고, 확률 $1-\alpha$로는 "소음 있는 당기다 (Tug-of-War with noise)" 게임이 수행되어 다음 위치가 결정됩니다.
• 종료 조건: 게임은 공간이 영역 밖으로 나가거나 시간이 0 이하가 될 때 종료되며, 이때의 보상은 초기 조건 $u_0$ 또는 경계 조건 $g$에 의해 결정됩니다.

3. 주요 결과 (Main Results)

가. 동적 계획법 원리 (DPP) 와 해의 존재성

• 유도된 AMVF 를 기반으로 DPP 방정식 $u_\epsilon(x, t) = A_\epsilon[u_\epsilon](x, t - \epsilon^2/2)$을 수립했습니다.
• 유계 영역: 균일한 외부 볼 조건 (Uniform exterior ball condition) 을 만족하는 유계 영역에서 DPP 의 해 $u_\epsilon$의 존재성과 유일성을 증명했습니다 (Theorem 2.8).
• 전체 공간: 전체 공간 $\mathbb{R}^d$에서도 해의 존재성이 보장되며, 초기 데이터가 지수적으로 감소할 경우 전체 수열의 수렴성이 확보됩니다 (Theorem 2.10).

나. 점근적 수렴성 (Convergence)

• 주요 정리 (Theorem 4.12, 6.9): $\epsilon \to 0+$ 일 때, DPP 의 해 $u_\epsilon$은 해당 PDE 의 점근적 해 (Viscosity Solution) 로 균일하게 수렴합니다.
  • 유계 영역에서는 경계 조건과 초기 조건을 만족하는 유일한 점근적 해로 수렴합니다.
  • 전체 공간에서는 초기 데이터가 지수적으로 감소할 때 전체 수열이 수렴하며, 그렇지 않을 경우 부분 수열을 통해 점근적 해로 수렴함을 보입니다.

다. 게임 가치의 일치

• Theorem 5.1: 위에서 정의한 확률적 게임은 가치 (Value) 를 가지며, 이 가치는 DPP 의 해 $u_\epsilon$과 정확히 일치합니다. 즉, 게임의 최적 전략에 따른 기대 보상이 PDE 의 근사 해가 됩니다.

4. 의의 및 기여 (Significance)

1. 이중 비선형 방정식의 게임 이론적 해석 확장: 기존에 $p$-조화 함수 (p-harmonic functions) 나 표준 열 방정식에 적용되던 게임 이론적 접근법을, 시간 미분과 공간 미분이 모두 비선형인 이중 비선형 열 방정식으로 확장했습니다.
2. 기울기 0 점 (Critical Points) 의 처리: 기존 AMVF 들이 직면했던 기울기가 0 인 점에서의 정의 불능 문제를 해결했습니다. 새로운 AMVF 와 오차 추정식은 $\nabla u = 0$인 경우에도 유효하여, 점근적 해의 특성을 더 강력하게 보장합니다.
3. 수치적 방법론의 기초 제공: DPP 는 PDE 를 이산화하는 명시적 오일러 스킴 (Explicit Euler scheme) 으로 해석될 수 있습니다. 이는 비선형 열 방정식의 수치 해법 개발에 새로운 게임 기반 접근법을 제시합니다.
4. 전체 공간에서의 수렴성 분석: 전체 공간에서의 PDE 해의 유일성이 아직 열려있는 문제 (Open problem) 인 상황에서, DPP 를 통한 수렴성 분석을 통해 점근적 해의 존재성을 확보하고, 초기 데이터의 감쇠 조건 하에서 전체 수열의 수렴성을 증명했습니다.

5. 결론

이 논문은 $p$-라플라시안을 포함한 이중 비선형 열 방정식에 대해 새로운 점근적 평균값 공식을 개발하고, 이를 바탕으로 확률적 게임과 동적 계획법 원리를 연결했습니다. 이를 통해 PDE 의 점근적 해가 두 플레이어 간의 최적 전략을 가진 게임의 가치로 해석될 수 있음을 rigorously 증명하였으며, 이는 비선형 편미분 방정식 이론과 확률론, 게임 이론 간의 깊은 연관성을 다시 한번 입증하는 중요한 성과입니다.