[논문 리뷰] General Existence of Solutions to Dynamic Programming Principle

Qing Liu, Armin Schikorra|arXiv (Cornell University)|2013. 07. 07.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 7

한 줄 요약

이 논문은 게임 이론적 PDE 근사에서 발생하는 이산 동적계획법 원리(DPPs)에 대한 일반적인 해 존재성 이론을 수립한다. 이는 이산 설정에 적응된 페론 유형의 방법을 사용한다. 주요 기여는 비선형 PDE, 예를 들어 무한대 라플라스 연산자, 평균 곡률 흐름, p-라플라스 연산자에 대해 표준 점성 해 те오리가 직접 적용되지 않을 경우에도 DPP의 해 존재성을 보장하는 통합된 프레임워크를 제공하는 것이다.

ABSTRACT

We provide an alternative approach to the existence of solutions to dynamic programming equations arising in the discrete game-theoretic interpretations for various nonlinear partial differential equations including the infinity Laplacian, mean curvature flow and Hamilton-Jacobi type. Our general result is similar to Perron's method but adapted to the discrete situation.

연구 동기 및 목표

• 게임 이론적 PDE 근사에서 발생하는 이산 동적계획법 방정식(DPPs)에 대한 일반적인 해 존재 결과를 제공한다.
• 기존 접근법이 특정 PDE의 구조에 의존하는 데에 한계가 있는 바, 페론의 방법을 이산 설정으로 확장한다.
• 무한대 라플라스 연산자, 평균 곡률 흐름, p-라플라스 연산자 등 다양한 비선형 PDE에 대한 DPP를 통합적으로 다룬다.
• 연속체 근사에 독립적으로, DPP 연산자에 대한 최소한의 구조적 가정만으로도 해의 존재성을 확보한다.
• 적분 또는 가측 함수 공간이 포함될 경우, 하위해와 상위해의 닫힘성과 유계성 문제를 다룬다.

제안 방법

• DPP 연산자를 포함한 점별 부등식을 통해 하위해와 상위해를 정의함으로써, 페론의 방법을 이산 동적계획법 방정식에 적용한다.
• 모든 하위해의 점별 Supremum으로서 가장 큰 하위해를 정의하고, 모든 상위해의 Infimum으로서 가장 작은 상위해를 정의한다.
• 최대 원리의 근거로, 가장 큰 하위해가 도메인의 모든 점에서 DPP를 만족할 경우 그 자체가 해가 됨을 증명한다.
• 이산 최대 원리를 통해 하위해와 상위해의 유계성을 확보함으로써, 경계 데이터에 대한 균일한 상한을 확보한다.
• 비교 원리를 사용하여 해의 유일성을 보장하며, 임의의 하위해가 임의의 상위해보다 위로 제한됨을 증명한다.
• 특정 DPP에 대해 방법을 검증한다. 이는 무한대 라플라스 연산자에 대한 '당신의 전투' 게임(DPP), 평균 곡률 흐름을 위한 포물선 DPP, 그리고 p-라플라스 연산자에 대한 적분 기반 DPP를 포함한다.

실험 결과

연구 질문

• RQ1 연속체 근사나 특정 PDE의 구조에 의존하지 않는, 이산 동적계획법 방정식에 대한 일반적인 해 존재 이론을 개발할 수 있는가?
• RQ2 게임 이론적 PDE 근사에서 나타나는 이산적이고 국소적이지 않은 연산자에 대해 페론의 방법을 어떻게 적응시킬 수 있는가?
• RQ3 하위해의 점별 Supremum이 DPP의 해가 되는 조건은 무엇인가?
• RQ4 하위해/상위해 집합의 유계성과 닫힘성을 보장하기 위해 DPP 연산자에 대해 필요한 최소한의 가정은 무엇인가?
• RQ5 p-라플라스 연산자에 대한 적분 기반 DPP에 대해, 이 방법을 가측 함수를 포함하는 경우로 확장할 수 있는가?

주요 결과

• 모든 하위해의 점별 Supremum으로 정의된 가장 큰 하위해는 도메인 내부의 모든 점에서 DPP 부등식을 만족할 경우 DPP의 해가 된다.
• 이산 최대 원리가 성립한다: 임의의 하위해는 경계 데이터의 Supremum보다 위로 제한되고, 임의의 상위해는 경계 데이터의 Infimum보다 아래로 제한된다.
• 비교 원리가 성립할 경우 DPP의 해는 유일하다. 이는 변형을 통한 근사와 균일 수렴을 통해 증명된다.
• 무한대 라플라스 연산자에 대해 '당신의 전투' DPP를 통해 이 방법이 적용되며, 이 경우 값 함수는 $ u^\varepsilon(x) = \frac{1}{2}\sup_{B_\varepsilon(x)}u^\varepsilon + \frac{1}{2}\inf_{B_\varepsilon(x)}u^\varepsilon $ 를 $ \Omega $ 내에서 만족한다.
• 평균 곡률 흐름을 모델링하는 포물선 DPP로의 접근이 가능하며, 이 경우 DPP는 시간 진전 단계를 포함하고 $ u(x,t) = T[u(x,t-\varepsilon^2)] $ 를 만족한다.
• p-라플라스 연산자에 대한 적분과 Sup-Inf 항을 포함하는 DPP에 대해서는 적절한 가정 하에 존재성이 보장되나, 가측성 제약으로 인해 해 집합의 닫힘성은 추가 분석이 필요하다.