[논문 리뷰] An Illustrated Guide of the Modern Approaches of Hamilton-Jacobi Equations and Control Problems with Discontinuities

Guy Barles, Emmanuel Chasseigne|arXiv (Cornell University)|2018. 12. 21.

Stochastic processes and financial applications참고 문헌 91인용 수 10

한 줄 요약

이 삽화 가이드는 불연속성과 함께 현대적인 해밀턴-자코비 방정식 및 제어 문제에 대한 접근 방식을 제시하며, 점성 해법, 비교 원리, 그리고 계층 기반 프레임워크를 통한 불연속 해밀턴 함수의 처리에 중점을 둡니다. 이는 고차원 불연속성, 경계 조건, 접합 문제에 대한 기법들을 통합하여 체계적이고 교육적인 접근을 제공하며, 단순화된 증명과 개념적 명료성을 제공합니다.

ABSTRACT

This version is the last version of our book project on Hamilton-Jacobi Equations and Control Problems with discontinuities. Compared to the third version (online in december 2022), we have improved Part V (Stratified solutions for state-constraints problems) and Part VI on the applications but also the stability results for stratified solutions; we have rewritten a large part of the introduction and added guidelines for the reader. As in the previous versions, we have incorporated new results and examples, changed some points-of-view, detailed some proofs and corrected several mistakes. Version 3 had 550 pages, this one 630.As the third version, it is composed of six parts: Part I is still a toolbox with key results which are used in all the other parts. The study of the simplest case, i.e. the case of a co-dimension 1 discontinuity, is now split in two parts: in Part II, we only consider control problems and the associated Bellman Equations are treated by using only the classical notion of viscosity solutions. In this part, the methods are a combinations of control and pdes techniques. On the contrary, Part III describes purely pdes approaches which are inspired by the literature on Hamilton Jacobi Equations on networks and which can handle the case of non-convex Hamiltonians. In this part, we present two notions of solutions, namely flux-limited and junction viscosity solutions, and we study in detail their properties by providing comparison and stability results. We also show that they are ``almost'' equivalent when both make sense, i.e. for quasi-convex Hamiltonians. Part IV concerns stratified problems in $\R^N$, i.e. problems with discontinuities of any co-dimensions: the main change compared to the previous version is the introduction of a notion of ``weak'' stratified (sub)solution. In Part V, we address the case of stratified problems in bounded or unbounded domains with state-constraints, allowing very surprising applications as well as singular boundary conditions. Finally, in Part VI we describe some applications to KPP (Kolmogorov-Petrovsky-Piskunov) type problems and we discuss possible extensions to problems with jumps and to ``stratified networks''.Even if we consider this version as being the final one, all comments are welcome!

연구 동기 및 목표

• 불연속 해밀턴 함수를 가진 해밀턴-자코비 방정식에 대한 현대적 접근 방식을 통합하고 명확히 하여 제어 문제의 맥락에서 다루는 것.
• 고차원 불연속성(고차원 불연속성 포함)이 있는 문제에 대해 비교 원리와 점성 해법 기법을 단순화하고 체계화하는 것.
• 네트워크 기반 접근 방식을 다차원 및 계층적 설정으로 확장하여 경계 문제 및 상태 제약 문제를 포함하는 것.
• 기존 문헌을 개선하여 더 명확한 서술과 개념적 통찰을 제공하는 자가 포함된, 지속적으로 발전하는 참고 자료를 제공하는 것.
• 특히 키르히호프 형 조건을 포함한 복잡한 경계값 문제를 다룰 수 있는 계층적 프레임워크의 강건성을 입증하는 것.

제안 방법

• 독자의 배경과 목표에 따라 책을 읽는 데 도움이 되도록 '생존 키트' 방식을 채택하여 책의 시작부터 읽을 필요 없이 접근할 수 있도록 하는 것.
• 다양한 프레임워크에서 공통적으로 사용되는 기술적 도구(예: 비교 원리, 장벽 구성 등)를 모아서 전용 Part I '기본 결과'를 마련하는 것.
• 특히 유량 제한 해법과 접합 해법에 대해 해를 정당화하기 위해 퇄소 점성 방법을 적용하는 것.
• 계층적 프레임워크를 사용하여 유클리드 공간 내 임의의 고차원 불연속성 집합을 다루며, 네트워크 모델을 일반화하는 것.
• 초평면 불연속성에 대해 이시의 해법 개념을 도입하고 분석하여 고전적 점성 해법 접근 방식의 한계를 해결하는 것.
• 접합 문제에 대해 린스-수가니디스 프레임워크를 활용하고 이를 다영역 및 경계에 부착된 구성으로 확장하는 것.

실험 결과

연구 질문

• RQ1 해밀턴-자코비 방정식에서 불연속 해밀턴 함수를 다룰 수 있도록 점성 해법 이론을 어떻게 적응시킬 수 있는가?
• RQ2 초평면 또는 계층 다양체를 가로지르는 불연속성이 있는 HJB 방정식에 대해 비교 원리가 성립하는 최소 조건은 무엇인가?
• RQ3 HJB 방정식에 대한 네트워크 기반 접근 방식은 일반화된 손실 없이 고차원 불연속성 구조로 일반화될 수 있는가?
• RQ4 경계 조건과 전달 조건은 불연속 계수를 가진 HJB 방정식의 잘 정의성에 어떻게 영향을 미치는가?
• RQ5 계층적 프레임워크는 접합 문제, 상태 제약 문제, 특이 경계 조건을 가진 문제의 처리를 어느 정도 통합할 수 있는가?

주요 결과

• 저자들은 다양한 불연속성 유형에 걸쳐 비교 원리를 통합적으로 다루는 체계적인 프레임워크를 구축하여 점성 해법을 불연속성이 존재하는 상황에서 효과적으로 적용함을 입증함.
• 유량 제한 해법이 단순화된 비교 논증을 통해 유도될 수 있음을 보여주며, 임베르트와 몬뇌의 이전에 비해 더 기술적인 증명을 개선함.
• 계층적 접근 방식은 접합 문제를 다차원 불연속성 집합으로 일반화하여 유클리드 공간 내 임의의 고차원 불연속성 문제를 다룰 수 있음을 입증함.
• 이 프레임워크는 경계 조건과 키르히호프 형 전달 조건을 자연스럽게 수용하며, 탱커 문제 및 관련 확장 사례를 통해 이를 입증함.
• 이시의 해법 개념을 사용함으로써 초평면을 가로지르는 불연속성 발생 시 고전적 점성 해법 접근 방식의 문제점을 해결함.
• 책의 온라인 형식이 지속적으로 발전함에 따라 증명, 개념, 서술 방식이 계속해서 개선되어 시간이 지남에 따라 명확성과 정확성이 향상됨.