동적계획원리의 점성해석 프레임워크와 그 응용

초록

본 논문은 동적계획원리(DPP)와 연계된 근사 연산자에 대해, 측정가능성 가정을 배제한 새로운 점성해(solution) 개념을 제시한다. 고전적인 엄격 초해와 점성 하해 사이의 비교 원리를 입증하고, 이를 통해 존재성, 안정성, 그리고 근사 스킴이 수렴하는 PDE의 점성해와의 수렴성을 최소한의 가정으로 확보한다. 또한, 제한된 PDE 해가 평균값 공식의 비대칭 전개를 만족함을 보이며, 다양한 국소·비국소·비선형 방정식에 적용 가능함을 사례를 통해 확인한다.

상세 분석

이 연구는 기존 DPP 이론에서 가장 큰 걸림돌이었던 ‘측정가능성’ 문제를 근본적으로 회피한다는 점에서 혁신적이다. 저자들은 연산자 A₍ρ₎(x,φ,s)가 두 번째 변수에 대해 비증가, 세 번째 변수에 대해 비감소이며, 각 (x,φ)마다 유일한 영점 s₀을 갖는다는 최소한의 구조적 가정만을 둔다. 이러한 가정 하에 A₍ρ₎와 대응되는 평균값 연산자 a(x,φ)=s₀을 정의하고, DPP를 ‘암시적’ 형태 A(x,u,u(x))=0 혹은 ‘명시적’ 형태 u(x)=a(x,u) 로 기술한다. 점성해의 정의는 고전적인 PDE 점성해와 동일하게, 부드러운 시험함수와의 접촉을 이용해 하·상해를 정의한다. 핵심은 고전적인 엄격 초해(또는 엄격 하해)와 점성 하해(또는 상해) 사이에 비교 원리를 증명함으로써, 상한·하한의 존재만으로도 Perron 방법을 적용해 존재성을 확보한다는 점이다. 이 과정에서 측정가능성은 전혀 요구되지 않으며, 함수 공간 X를 ‘유계 함수’ 정도로만 제한한다. 또한, 저자들은 엄격 초해를 구성하기 위해 제한 PDE의 부드러운 해와 일치하도록 A₍ρ₎의 일관성(Consistency) 조건을 활용한다. 이를 통해 ρ에 독립적인 상·하한을 얻어, ρ→0⁺ 일 때 DPP 해 u₍ρ₎가 제한 PDE의 점성해 u로 수렴함을 Barles‑Souganidis 프레임워크보다 약한 가정으로 증명한다. 마지막으로, 평균값 공식 A₍ρ₎(x,u,u(x)+o(ρ))=0 이 제한 PDE의 점성해와 동등함을 보이며, 이는 ‘비대칭 전개(asymptotic expansion)’라는 형태로 정리된다. 논문 전반에 걸쳐 비선형 p‑라플라시안, Monge‑Ampère, Bellman 방정식 등 다양한 사례를 제시하고, 기존 문헌에서 측정가능성 문제로 남아 있던 공백을 메운다. 전체적으로, 점성해 개념을 DPP에 확장함으로써, 존재·유일·수렴·구조적 해석을 일관된 이론 체계 안에 통합한 점이 가장 큰 공헌이라 할 수 있다.