[논문 리뷰] Interior regularity of fully nonlinear degenerate elliptic equations, I: Bellman equations with constant coefficients

Wei Zhou|arXiv (Cornell University)|2013. 02. 28.

Advanced Mathematical Modeling in Engineering참고 문헌 5인용 수 4

한 줄 요약

이 논문은 상수 계수를 가진 확률적 최적제어 문제의 가치 함수에 대해 내부 $C^{k,1}$-정규성을 확립하며, 종료 및 주기적 수익이 $C^{k,1}$일 경우 가치 함수가 국소적으로 이 정규성을 유지함을 증명한다. 주요 기여는 일반적인 구조적 가정 하에 퇴화된 벨만 방정식(몽주-암페르 및 헤시안 유형 방정식 포함)에 대해 새로운 $C^{1,1}$-정규성 결과를 도출한 것이다.

ABSTRACT

This is the first of a series of papers on the interior regularity of fully nonlinear degenerate elliptic equations. We consider a stochastic optimal control problem in which the diffusion coefficients, drift coefficients and discount factor are independent of the spacial variables. Under suitable assumptions, for $k=0,1$, when the terminal and running payoffs are globally $C^{k,1}$, we obtain the $C^{k,1}$-smoothness of the value function, which yields the existence and uniqueness of the solution to the associated Dirichlet problem for the degenerate Bellman equation.

연구 동기 및 목표

• 상수 확산, 이동 및 할인 계수를 가진 확률적 최적제어 문제에 대해 가치 함수의 내부 $C^{k,1}$-정규성을 확립한다.
• 확산 계수의 비비선형성 없이도 두 번째 순서 타원형 편미분방정식의 퇴화성과 완전 비선형적 구조에 도전한다.
• 수익 함수의 최소한의 정규성 가정 하에 해의 일阶 및 이阶 도함수에 대해 날카운 내부 추정치를 제공한다.
• 몽주-암페르 방정식과 같은 헤시안에 대해 직교 동치에 대해 불변인 완전 비선형 퇴화 타원형 방정식의 정규성 이론을 확장한다.
• 경계 데이터가 $C^{k,1}$이더라도 전역 $C^{k,1}$ 정규성이 보장되지 않음을 보여내어 일반적으로 내부 정규성이 달성 가능한 최적의 결과임을 밝힌다.

제안 방법

• 도메인 $D \subset \mathbb{R}^d$ 내에서 시간 동질성 확률적 제어 문제의 가치 함수를 분석하며, 이토 확산 및 제어 동역학에 상수 계수를 가진다.
• 이토의 공식과 가치 함수의 확률적 표현을 이용한 정규성 추정치 유도를 위한 비확률적 방법을 사용한다.
• 주어진 수익 함수의 볼록성 조건을 다루기 위해 이차 보정 항을 통한 변형 기법을 적용하여 볼록성 가정 하에 $C^{1,1}$-정규성을 확보한다.
• 동적 프로그래밍 원리를 적용하여 상수 계수를 가진 퇴화된 벨만 방정식을 유도한다.
• 출구 시간과 출구 분포를 포함한 비교 논증 및 모멘트 추정치의 조합을 통해 일阶 및 이阶 도함수에 대한 내부 추정치를 확립한다.
• 하위레벨 집합 경계 근처에서 이阶 도함수의 성장률을 제어하기 위해 $\overline{\mathrm{B}}(x,\xi)$ 및 $\mathrm{B}_1(x,\xi)$를 포함한 장벽 함수 기법을 활용한다.

실험 결과

연구 질문

• RQ1 상수 계수를 가진 확률적 제어 문제의 가치 함수가 도메인 내부에서 언제 $C^{1,1}$-정규성을 가지는가?
• RQ2 확산 계수의 비비선형성을 가정하지 않고도 퇴화된 벨만 방정식에 대해 내부 $C^{1,1}$-정규성을 확립할 수 있는가?
• RQ3 주기적 및 종료 수익 함수의 정규성 특성이 가치 함수의 정규성에 어떻게 영향을 미치는가?
• RQ4 퇴화된 벨만 방정식의 해에 대해 일阶 및 이阶 도함수에 대한 날카운 내부 추정치는 무엇인가?
• RQ5 경계 데이터의 $C^{k,1}$-정규성은 내부로 얼마나 전파될 수 있으며, 왜 전역 정규성이 보장되지 않는가?

주요 결과

• 만약 $f^\alpha, g \in C^{0,1}(\bar{D})$이면, 가치 함수 $v \in C^{0,1}_{\text{loc}}(D) \cap C^0(\bar{D})$이며, 이는 내부 $C^{0,1}$-정규성을 증명한다.
• 만약 $f^\alpha \in C^{0,1}(\bar{D})$, $g \in C^{1,1}(\bar{D})$, 그리고 어떤 $K$에 대해 $f^\alpha + K|x|^2$가 $D$ 내에서 볼록하면, 이차 보정 항을 추가한 후 $v$는 볼록이 된다.
• 확산 항의 약한 비비선형성 조건 하에서 $v \in C^{1,1}_{\text{loc}}(D) \cap C^{0,1}(\bar{D})$이며, 이 클래스 내에서 벨만 방정식은 유일한 해를 가진다.
• 일阶 및 이阶 도함수에 대한 내부 추정치가 제공된다: $\|Dv\|_{C^{0,1}(B_r(x))} \leq N \cdot \frac{1}{\text{dist}(x,\partial D)} \|v\|_{L^\infty}$, 날카운 폭발 비율을 포함한다.
• 이阶 도함수 추정치는 $|(-v)_{(\xi)(\xi)}(x)| \leq N \overline{\mathrm{B}}(x,\xi)$를 만족하며, $\overline{\mathrm{B}}(x,\xi)$는 경계 근처에서의 성장률을 제어한다.
• 이 결과는 최적임을 보여주며, $C^{k,1}$ 경계 데이터가 전역 $C^{k,1}$ 정규성을 유도하지 않기 때문에 내부 정규성이 일반적으로 달성 가능한 최고의 결과임을 의미한다.