[논문 리뷰] Local Lipschitz regularity for functions satisfying a time-dependent dynamic programming principle

Jeongmin Han|arXiv (Cornell University)|2018. 12. 03.

Optimization and Variational Analysis참고 문헌 19인용 수 5

한 줄 요약

이 논문은 정규화된 포아르부릭 $p$-라플라시안과 연결된 시간에 따라 변하는 동적 프로그래밍 원리(DPP)를 만족하는 함수에 대해 국소 내부 리프시츠 정규성을 확립한다. 게임 이론적 및 비교적 접근을 통해, 해들이 $|u_\epsilon(x,t) - u_\epsilon(z,s)| \leq C(\|u_\epsilon\|_{\infty})(|x-z| + |t-s|^{1/2} + \epsilon)$ 를 만족함을 증명하며, 이는 이전 연구에서 $2 < p < \infty$로 국한되었던 정규성 결과를 $1 < p < \infty$ 전 범위로 확장한다.

ABSTRACT

We prove in this article that functions satisfying a dynamic programming principle have a local interior Lipschitz type regularity. This DPP is partly motivated by the connection to the normalized parabolic $p$-Laplace operator.

연구 동기 및 목표

• 시간에 따라 변하는 DPP를 만족하는 함수에 대해 리프시츠 정규성 결과를 $2 < p < \infty$의 경우에서 전체 범위인 $1 < p < \infty$로 확장한다.
• 정규화된 포아르부릭 $p$-라플라시안에 기반한 시간에 따라 변하는 DPP의 해에 대해 국소 내부 리프시츠 유형의 정규성을 확립한다.
• 이전의 게임 이론적 접근 방식의 한계를 극복하기 위해 분석적 비교 기법을 적응하여 $p$의 전체 범위를 다룰 수 있도록 한다.
• 공간과 시간에서 해의 진동에 대한 정량적 추정을 제공하며, 매개수 $\epsilon$에 대한 의존성을 포함한다.
• 정규성 분석을 통해 이산 DPP와 연속적인 정규화된 포아르부릭 $p$-라플라스 방정식 사이의 격차를 메운다.

제안 방법

• 해의 공간과 시간에서의 진동을 제어하기 위해 두 보조 함수 간의 비교를 사용한다.
• 초기 추정은 DPP의 구조를 활용하여 $u_\epsilon$의 시간 진동을 공간 진동과 연결한다.
• 함수를 $f_1$과 $f_2$로 분할함으로써 공간적 및 시간적 변동을 별도로 분석할 수 있도록 분리한다.
• 핵심 추정은 허더 유형의 경계를 사용하고, 반복적인 비교 기법을 통해 이를 리프시츠 유형의 경계로 향상시킨다.
• DPP는 포물형 실린더에서 분석되며, 시간 단계 $\epsilon^2/2$와 공간 단계 $\epsilon$이 방정식에 명시적으로 포함되어 있다.
• 최종 추정의 상수는 도메인 반경 $r$, 매개수 $\alpha$, 차원 $n$에만 의존하여 $\epsilon$에 관계없이 균일한 제어를 보장한다.

실험 결과

연구 질문

• RQ1 정규화된 포아르부릭 $p$-라플라시안과 연결된 시간에 따라 변하는 DPP를 만족하는 함수에 대해 $1 < p < \infty$일 때 리프시츠 정규성을 어떻게 확립할 수 있는가?
• RQ2 이전의 게임 이론적 또는 분석적 방법에 어떤 수정이 필요하여 $2 < p < \infty$에서 $1 < p < \infty$로 정규성 결과를 확장할 수 있는가?
• RQ3 DPP의 시간에 따라 변하는 구조는 공간적 정규성과 시간적 정규성 간의 상호작용에 어떻게 영향을 미치는가?
• RQ4 직접적인 게임 이론적 대칭성이 없는 상황에서 비교 기법을 효과적으로 사용하여 리프시츠 유형의 추정을 유도할 수 있는가?
• RQ5 리프시츠 상수는 공간 거리, 시간 차이, 그리고 매개수 $\epsilon$에 대해 정확히 어떻게 의존하는가?

주요 결과

• 시간에 따라 변하는 DPP의 해 $u_\epsilon$는 포물형 실린더 내의 $(x,t), (z,s)$에 대해 국소 내부 리프시츠 유형 추정을 만족한다: $|u_\epsilon(x,t) - u_\epsilon(z,s)| \leq C\|u_\epsilon\|_{\infty}(|x-z| + |t-s|^{1/2} + \epsilon)$.
• 추정에서 상수 $C$는 도메인 반경 $r$, 매개수 $\alpha$, 공간 차원 $n$에만 의존하여 $\epsilon$에 관계없이 균일성을 확보한다.
• 허더 유형 추정을 반복적인 비교 기법과 결합하여, 공간 변수에서의 정규성을 허더에서 리프시츠로 향상시켰다.
• 시간 정규성은 포물형 스케일링과 일치하는 순서 $|t-s|^{1/2}$임을 보였다.
• 증명 기법은 이전 연구에서 $2 < p < \infty$로 국한되었던 것과 달리, 전체 범위 $1 < p < \infty$를 성공적으로 다룰 수 있었다.
• 추정에 명시적인 $\epsilon$에 대한 의존성이 포함되어 있으며, $\epsilon \to 0$일 때 정규성이 향상됨을 보여주며, DPP가 PDE의 이산 근사로 기능하는 것과 일치한다.