Optimal regularity at the free boundary in one-dimensional first-order mean field games

기술적 요약: 1 차원 1 계 평균장 게임의 자유 경계에서의 최적 정칙성

문제 제기
본 논문은 컴팩트 지지 (compactly supported) 밀도와 멱함수 결합 (power coupling) 을 갖는 1 차원 1 계 평균장 게임 (MFG) 의 해의 정칙성을 다룬다. 이 시스템은 다음 해밀턴 - 야코비 방정식과 연속 방정식에 의해 지배된다:
$$\begin{cases} -u_t + \frac{1}{2}u_x^2 = m^\theta & \text{in } \mathbb{R} \times (0, T), \\ m_t - (m u_x)_x = 0 & \text{in } \mathbb{R} \times (0, T), \end{cases}$$
여기서 $\theta > 0$, $m$은 에이전트 밀도, $u$는 가치 함수이다. 본 연구는 밀도 $m$이 컴팩트 지지를 갖는 영역, 즉 양의 위상 ($m>0$) 과 영위상 (zero phase) 사이에 자유 경계가 생성되는 체제에 초점을 맞춘다. 핵심 질문은 밀도가 소멸하는 인터페이스에서 가치 함수 $u$, 압력 $p = m^\theta$, 그리고 자유 경계 곡선 자체의 날카로운 정칙성 (sharp regularity) 을 결정하는 것이다.

이전 연구는 해가 유한한 전파 속도를 가지며 자유 경계가 $C^{1,1}$임을 입증하였다. 그러나 자유 경계를 가로지르는 압력과 가치 함수의 정확한 정칙성은 여전히 미해결 상태였다. 논문은 명시적인 자기유사 (self-similar) 바렌블라트 (Barenblatt) 형 해의 경우, 압력은 경계를 가로지르며 리프시츠 (Lipschitz) 연속이지만 $C^1$은 아니며, 가치 함수는 $C^{1,1/2}$이지만 그보다 매끄럽지 않음을 지적한다. 목표는 이러한 상한이 날카롭고, 초기 데이터에 대한 표준적인 비퇴화 가정 하에 일반적으로 달성됨을 증명하는 것이다.

방법론
증명은 라그랑주 좌표를 통해 진행되며, 자유 경계 문제를 퇴화 타원형 방정식의 내부 정칙성 문제로 변환하기 위해 특이한 변수 변환을 활용한다.

1. 라그랑주 형식화: 시스템은 초기 좌표 $y$를 갖는 특성 사상 (characteristic map) $\gamma(y,t)$를 사용하여 재구성된다. 자유 경계는 라그랑주 공간에서 고정된 끝점 $y=0$과 $y=b$에 해당한다. 흐름 $\gamma$는 시공간 퇴화 타원형 방정식을 만족한다:
   $$\gamma_{tt} + \theta p_0 \gamma_y^{-(2+\theta)} \gamma_{yy} = p_0' \gamma_y^{-(1+\theta)}.$$
   여기서 퇴화는 끝점에서 초기 압력 $p_0(y) \sim y$가 선형적으로 소멸함으로써 발생한다.

2. 특이 변수 변환: 퇴화를 처리하기 위해 저자는 제곱근 거리 좌표 $y = r^2/4$를 도입한다. 이 변환은 $p_0$의 선형 소멸을 $r$에서의 2 차 거동으로 변환한다. 결과적으로 퇴화는 유효 차원 $N = 4 + 2/\theta$에서의 방사형 가중치 $W(r) \sim r^{N-1}$로 재해석된다. 방정식은 $N$차원에서의 방사형 야코비안을 모방하는 가중치를 갖는 발산형 (divergence-form) 방정식이 된다.

3. 축의 제거 가능성: 중요한 단계는 유효 차원 $N > 2$이므로 가중 소볼레프 공간에서 "방사형 축"($r=0$) 이 제거 가능함을 확립하는 것이다. 이를 통해 해는 추가적인 경계 조건을 부과하지 않고 축을 가로질러 짝수 반사 (even reflection) 로 확장될 수 있다. 따라서 문제는 가중 타원형 방정식에 대한 짝수 해의 내부 정칙성을 연구하는 문제로 축소된다.

4. 정칙성 부스트 (Regularity Bootstrap):

   • 접선 정칙성: 최근의 짝수 해에 대한 가중 슈라더 (Schauder) 추정 (Sire–Terracini–Vita) 을 사용하여, 축에서의 해의 흔적이 시간적으로 매끄럽다 ($C^\infty$) 는 것을 확립한다. 이는 자유 경계 곡선 $\gamma_L(t)$와 $\gamma_R(t)$가 매끄러움을 의미한다.
   • 법선 정칙성: 공간 변수에서의 정칙성을 회복하기 위해 저자는 "정칙 - 특이 하강 (regular-singular descent)"을 활용한다. 원래 라그랑주 변수 $y$에서 방정식을 분석함으로써, 문제는 정칙 - 특이 상미분 방정식 (ODE) 구조로 축소된다. 특이 동차 해의 비적분 가능성은 해가 소스 항의 정칙성을 계승하도록 보장하여, 고차 법선 도함수를 유도할 수 있게 한다.

주요 기여 및 결과
본 논문은 초기 압력 $p_0$에 대한 표준적인 비퇴화 가정 (구체적으로 $p_0$가 경계에서 선형적으로 소멸하고 $C^{1,\sigma}$임) 하에 다음과 같은 최적 정칙성 결과 (정리 1.1) 를 확립한다:

• 자유 경계 매끄러움: 자유 경계 곡선 $\gamma_L(t)$와 $\gamma_R(t)$는 시간적으로 $C^\infty$이다.
• 압력 정칙성: 압력 $p = m^\theta$는 자유 경계를 가로지르며 전역적으로 리프시츠 연속 ($W^{1,\infty}$) 이다. 양의 위상 내부에서 초기 압력 $p_0$가 $C^{\ell,\sigma}$라면, $p$는 자유 경계까지 $C^{\ell,\sigma}$이다.
• 가치 함수 정칙성: 가치 함수 $u$는 전역적으로 $C^{1,1/2}$이다. 양의 위상 내부에서 $p_0$가 $C^{\ell,\sigma}$라면, $u$는 자유 경계까지 $C^{\ell+1,\sigma}$이다.
• 날카로움 (Sharpness): 이러한 결과는 $p$에 대한 리프시츠 상한과 $u$에 대한 $C^{1,1/2}$ 상한이 날카로우며 개선될 수 없음을 확인하며, 명시적인 자기유사 해의 거동과 일치한다.

의의
본 논문은 [4] 에서 미해결 상태로 남아있던 컴팩트 지지를 갖는 1 계 MFG 의 정칙성에 관한 미해결 문제를 해결한다. 이는 이러한 MFG 들과 다공성 매질 방정식 (PME) 사이의 깊은 구조적 유사성을 보여준다. PME 에서와 마찬가지로 압력의 선형 소멸과 비퇴화 가정은 자유 경계 정칙성을 주도한다. 그러나 논문은 MFG 맥락에서 PME 의 포물형 소산이 해밀턴 - 야코비/연속 구조로 대체됨을 강조한다.

주요 방법론적 기여는 MFG 로부터 발생한 퇴화 타원형 문제에 대한 짝수 해의 가중 슈라더 추정을 성공적으로 적용한 것이다. 자유 경계 퇴화를 더 높은 유효 차원에서의 제거 가능한 방사형 축으로 해석함으로써, 저자는 자유 경계 문제와 퇴화 방정식의 내부 정칙성 이론 사이의 간극을 연결한다. 이는 경계에서 밀도가 소멸하는 시스템에서 최적 정칙성을 확립하기 위한 엄밀한 틀을 제공한다.