[논문 리뷰] Infinite Dimensional Control Problems with Positivity State Constraints: a Banach Lattice Approach

Alessandro Calvia, Salvatore Federico외 1명|arXiv (Cornell University)|2020. 09. 23.

Stochastic processes and financial applications참고 문헌 23인용 수 1

한 줄 요약

이 논문은 긍정성 상태 제약 조건이 있는 무한차원 최적 제어 문제를 다루기 위해 바나흐 격자 프레임워크를 제안하며, 무한차원 페르로-프로베니우스 정리를 활용하여 보조 문제의 HJB 방정식을 명시적으로 해석하고, 원래 문제의 최적 궤적을 도출한다—기존의 L² 설정을 넘어서는 새로운 접근 방식을 제공한다.

ABSTRACT

This paper is devoted to studying a family of deterministic optimal control problems in an infinite dimension. The difficult feature of such problems is the presence of positivity state constraints, which arise very often in economic applications (our main motivation). To deal with such constraints we set up the problem in a Banach space with a Riesz space structure (i.e., a Banach lattice) and not necessarily reflexive, like $\mathcal{C}^0$. In this setting, which seems to be new in this context, we are able, using a type of infinite-dimensional Perron-Frobenius Theorem, to find explicit solutions of the HJB equation associated to a suitable auxiliary problem and to use such results to get information about the optimal paths of the starting problem. This was not possible to perform in the previously used infinite-dimensional setting where the state space was an $\mathrm{L}^2$ space.

연구 동기 및 목표

• 경제적 응용에서 흔한 긍정성 상태 제약 조건을 포함한 무한차원 최적 제어 문제의 도전 과제를 다루기 위해.
• 비반사적 바나흐 격자(예: C⁰)를 사용하는 새로운 수학적 프레임워크를 개발하기 위해.
• 상태 공간의 구조와 해밀턴-자코비-벨리만(HJB) 방정식의 가역성 간의 관계를 수립하기 위해.
• 스펙트럼 이론적 도구를 활용하여 보조 문제의 HJB 방정식에 대한 명시적 해를 도출하기 위해.
• 이러한 해를 활용하여 원래 제약 조건이 있는 제어 문제의 최적 제어 경로를 유도하기 위해.

제안 방법

• 순서 이론적 분석이 가능한 리에스 공간 구조를 갖춘 바나흐 격자 공간에서 제어 문제를 수립하기 위해.
• HJB 방정식에 등장하는 선형 연산자의 스펙트럼 성질을 분석하기 위해 무한차원 페르로-프로베니우스 정리의 응용을 위해.
• 격자 구조 덕분에 명시적 해를 갖는 보조 최적 제어 문제를 구성하기 위해.
• 보조 문제의 해를 활용하여 원래 문제의 가치 함수와 최적 궤적을 특성화하기 위해.
• 바나흐 격자의 순서 구조를 활용하여 해 과정 전반에 걸쳐 긍정성 제약 조건을 유지하기 위해.
• 쌍대성 및 비교 원리를 통해 보조 문제의 해와 원래 문제의 최적 경로 간의 연결 고리를 수립하기 위해.

실험 결과

연구 질문

• RQ1 L² 공간 대신 바나흐 격자 프레임워크를 사용할 경우, 무한차원 최적 제어 문제에서의 긍정성 제약 조건를 효과적으로 관리할 수 있는가?
• RQ2 무한차원 페르로-프로베니우스 정리는 이러한 설정에서 HJB 방정식을 어떻게 해결하는 데 응용될 수 있는가?
• RQ3 상태 공간의 어떤 구조적 성질이 제약 조건이 존재하는 상황에서 HJB 방정식의 명시적 해를 가능하게 하는가?
• RQ4 기존의 L² 공식화에 비해 바나흐 격자 구조는 제어 문제의 해법 가능성에 어떤 방식으로 향상되는가?
• RQ5 보조 문제의 해는 어떻게 원래 제약 조건이 있는 제어 문제의 최적 제어 경로를 정보 제공하는가?

주요 결과

• 바나흐 격자 구조의 사용은 이전의 L² 기반 프레임워크에서는 불가능했던 보조 문제의 HJB 방정식에 대한 명시적 해를 가능하게 한다.
• 무한차원 페르로-프로베니우스 정리는 주요 고유함수와 관련된 해 구조를 특성화하는 핵심 분석 도구를 제공한다.
• 원래 문제의 최적 제어 경로는 순서 이론적 및 비교적 추론을 통해 보조 문제의 해를 활용하여 도출된다.
• 상태 공간의 반사성 여부에 관계없이 긍정성 상태 제약 조건을 효과적으로 처리할 수 있으며, 이는 C⁰ 유형 공간으로의 적용 범위를 넓힌다.
• 기존의 변분 기법이 부드러움이나 반사성 부족으로 인해 실패하는 상황에서도 최적 궤적을 식별하는 구성적 방법을 제공한다.
• 결과적으로 상태 공간의 격자 구조가 이전에는 도달할 수 없었던 명시적 해를 해방하는 데 핵심적인 역할을 한다.