[논문 리뷰] Forward-Backward Evolution Equations and Applications

Jiongmin Yong|arXiv (Cornell University)|2015. 08. 14.

Stability and Controllability of Differential Equations인용 수 4

한 줄 요약

이 논문은 두 가지 방법인 분리법과 계속성 방법을 통해 전진-후진 진화 방정식(FBEEs)의 잘 정의됨을 확립한다. 리아푸노프 연산자를 도입하여 균일한 사전 추정치를 도출함으로써 일반적인 조건 하에서 미약한 해의 존재성과 유일성을 보장한다. 이는 PDE의 최적 제어 문제에 응용된다.

ABSTRACT

Well-posedness is studied for a special system of two-point boundary value problem for evolution equations which is called a forward-backward evolution equation (FBEE, for short). Two approaches are introduced: A decoupling method with some brief discussions, and a method of continuation with some substantial discussions. For the latter, we have introduced Lyapunov operators for FBEEs, whose existence leads to some uniform a priori estimates for the mild solutions of FBEEs, which will be sufficient for the well-posedness. For some special cases, Lyapunov operators are constructed. Also, from some given Lyapunov operators, the corresponding solvable FBEEs are identified.

연구 동기 및 목표

• 무한차원 최적 제어 이론의 최적성 시스템에 기인하여, 전진-후진 진화 방정식(FBEEs)으로 알려진 두점 경계값 문제의 잘 정의됨을 확립하는 것.
• FBEEs의 미약한 해의 존재성과 유일성을 증명하기 위한 두 가지 분석적 접근법인 분리법과 계속성 방법을 개발하는 것.
• 균일한 사전 추정치를 도출하기 위해 필수적인 리아푸노프 연산자를 도입하고 활용하는 것. 이는 시간 영역이나 리프시츠 상수에 제한 없이 잘 정의됨을 증명하는 데에 중요하다.
• 주어진 리아푸노프 연산자를 통해 해결 가능한 FBEEs를 식별하고, 특수 케이스(예: 선형 FBEEs)에 대해 이러한 연산자를 구성하는 것.
• 이론이 파라볼릭 PDE를 포함한 구체적인 최적 제어 문제에 어떻게 적용 가능한지 보여주며, 유일한 해가 존재하는 조건을 검증하는 것.

제안 방법

• 논문은 리아푸노프 연산자를 도입함으로써 계속성 방법을 사용한다. 이 연산자는 FBEEs의 미약한 해에 대한 균일한 사전 추정치를 도출하는 데 사용된다.
• 특수 케이스(예: 선형 FBEEs)에 대해 리아푸노프 연산자를 구성하며, 그 존재성이 잘 정의됨을 위한 필요한 추정치를 보장한다.
• 이 접근법은 미약한 해의 적분 표현식에 기반한다: $ y(t) = e^{At}x + \int_0^t e^{A(t-s)}b(s,y(s),\psi(s))ds $ 와 $ \psi(t) = e^{A^*(T-t)}h(y(T)) + \int_t^T e^{A^*(s-t)}g(s,y(s),\psi(s))ds $.
• 계속성 방법은 타원형 PDE 이론과 FBSDEs에서 유도되었으며, 동치성 추론을 통해 해결 가능한 FBEE를 일반적인 FBEE와 연결한다.
• 분리법은 짧게 다루어지며, 불변 임베딩에서 영감을 얻어, 분리 필드를 통해 시스템을 단일 방정식으로 축소하는 것을 목표로 한다.
• 이론은 파라볼릭 PDE 최적 제어 문제에 적용되며, 최적성 시스템이 리아푸노프 연산자 프레임워크를 통해 유일한 해가 존재하는 조건을 만족함을 보여준다.

실험 결과

연구 질문

• RQ1 시간 영역의 길이나 리프시츠 상수에 관계없이 전진-후진 진화 방정식이 유일한 미약한 해를 갖는 일반적인 조건은 무엇인가?
• RQ2 FBEEs에 대해 리아푸노프 연산자를 어떻게 구성할 수 있으며, 이는 균일한 사전 추정치를 도출하는 데 어떤 역할을 하는가?
• RQ3 계속성 방법은 FBEEs에 효과적으로 적용될 수 있는가? 그러한 연산자가 존재하기 위한 조건는 무엇인가?
• RQ4 리아푸노프 연산자의 존재성과 해당 FBEE의 해가 존재하는 것 사이의 관계는 무엇인가?
• RQ5 이론적 프레임워크는 파라볼릭 방정식과 이차 비용 함수를 포함한 PDE를 포함한 구체적인 최적 제어 문제에 어떻게 적용될 수 있는가?

주요 결과

• FBEEs에 대해 리아푸노프 연산자가 존재하면, 그에 따른 미약한 해에 대해 균일한 사전 추정치가 보장되며, 이는 잘 정의됨을 보장하는 데에 충분하다.
• 선형 FBEEs의 경우, 리아푸노프 연산자를 명시적으로 구성할 수 있으며, 해밀토니안의 적절한 볼록성 조건 하에서는 유일한 해가 보장된다.
• 파라볼릭 PDE 최적 제어 예제에서, 최적성 시스템은 조건 $ \begin{pmatrix}0&I\\I&0\end{pmatrix}\mathbb{B} + \mathbb{B}\begin{pmatrix}0&I\\I&0\end{pmatrix} \leq 0 $ 를 만족하며, 이는 $ N $ 이 충분히 크고 $ \psi $ 가 유계일 경우 유일한 해가 존재함을 암시한다.
• 조건 $ Q_{yy}(y) \geq \|F_y(y)\|(\|G_y(\cdot)\|_\infty + \|Q_y(\cdot)\|_\infty T) + \delta $ 가 어떤 $ \delta > 0 $ 에 대해 성립할 경우, FBEE는 유일한 미약한 해를 갖는다.
• 계속성 방법과 리아푸노프 연산자를 결합함으로써, 작은 시간 영역이나 작은 리프시츠 상수를 요구하지 않는 잘 정의됨 결과를 도출할 수 있다.
• 이 프레임워크는 대칭적이거나 반대칭 연산자가 아닌 일반적인 생성자 $ A $, 특히 미분 연산자를 포함한 유계가 아닌 경우에도 적용 가능하여, 이전의 제한된 경우를 초월한다.