[논문 리뷰] Variational inequalities on unbounded domains for zero-sum singular-controller vs. stopper games

Andrea Bovo, Tiziano De Angelis외 1명|arXiv (Cornell University)|2022. 03. 11.

Stochastic processes and financial applications인용 수 4

한 줄 요약

이 논문은 변분부등식의 최소-최대 구조, 장애물 제약 조건, 기울기 제약 조건을 갖는 미분방정식을 사용하여, 유계가 아닌 영역에서 단일 컨트롤러와 스토퍼 사이의 0-합 스토크라스틱 게임에 대한 가치의 존재성과 최적 전략을 확립한다. 주요 기여는 계수의 유계성이나 균일 타원성 조건 없이도, 파라볼릭 변분부등식의 소벨레프 공간 내 최대해로서 가치가 존재한다는 것을 증명하는 것이다.

ABSTRACT

We study a class of zero-sum games between a singular-controller and a stopper over finite-time horizon. The underlying process is a multi-dimensional (locally non-degenerate) controlled stochastic differential equation (SDE) evolving in an unbounded domain. We prove that such games admit a value and provide an optimal strategy for the stopper. The value of the game is shown to be the maximal solution, in a suitable Sobolev class, of a variational inequality of `min-max' type with obstacle constraint and gradient constraint. Although the variational inequality and the game are solved on an unbounded domain we do not require boundedness of either the coefficients of the controlled SDE or of the cost functions in the game.

연구 동기 및 목표

• 비유계 영역에서의 단일 컨트롤러와 스토퍼를 포함하는 0-합 스토크라스틱 게임에 대한 가치의 존재성을 확립하는 것.
• 최소-최대 구조를 갖는 변분부등식의 해로서 가치 함수를 소벨레프 공간 내 최대해로 특성화하는 것.
• 비유계 영역에서 장애물 제약 조건과 기울기 제약 조건을 동시에 갖는 변분부등식을 해결하는 데 도전하는 것.
• SDE 계수나 보상 함수의 유계성 조건 없이도 통합된 분석적 및 확률적 프레임워크를 개발하는 것.
• 미래의 자유경계 문제 및 컨트롤러-스토퍼 게임에서의 안장점 분석을 위한 기초를 마련하는 것.

제안 방법

• 장애물 제약 조건 $ u \geq g $ 와 기울기 제약 조건 $ |\nabla u|_d \leq f $ 를 갖는 '최소-최대' 유형의 파라볼릭 변분부등식으로 게임을 수립한다.
• 장애물 제약 조건과 기울기 제약 조건을 동시에 다루기 위해 페널리제이션 기법을 사용한다.
• 에반스의 분석 도구와 새로운 확률적 추정을 활용하여, 페널화된 PDE의 소벨레프 노름에 대한 균일한 유계성을 확립한다.
• 유계 영역에서의 근사해를 구성하고, 국소화 및 정지시간 기반의 추론을 통해 이를 비유계 영역으로 확장한다.
• 고정점 이론과 컴팩턴스를 활용하여, 유계 및 비유계 영역에서 페널화된 문제의 해의 존재성과 유일성을 증명한다.
• 샤에퍼의 고정점 정리를 적용하여, 완전히 결합된 변분부등식 시스템의 해 존재성을 확보한다.

실험 결과

연구 질문

• RQ1 비유계 영역에서 단일 컨트롤러와 스토퍼 사이의 0-합 스토크라스틱 게임은 가치 함수를 갖는가?
• RQ2 가치 함수는 최소-최대 구조를 갖는 변분부등식의 소벨레프 공간 내 최대해로 특성화될 수 있는가? 이때 장애물 및 기울기 제약 조건이 두 개 존재한다.
• RQ3 SDE 계수나 보상 함수의 유계성 조건 없이도 이러한 변분부등식을 해결할 수 있는가?
• RQ4 장애물 제약 조건과 기울기 제약 조건을 동시에 다루는 페널리제이션 방법을 통해 해를 구성할 수 있는가?
• RQ5 스토퍼의 최적 정지 시간은 자유경계 표현을 갖는가? 이를 통해 단일 제어 문제로 재구성 가능하는가?

주요 결과

• 게임은 가치를 갖는다. 이는 최소-최대 구조를 갖는 변분부등식 (1.4)의 적절한 소벨레프 클래스 내 최대해로서 존재한다.
• 가치 함수는 $[0,T) \times \mathbb{R}^d$ 거의 모든 곳에서 변분부등식을 만족하며, 종료 조건 $ u(T,x) = g(T,x) $ 를 갖는다.
• 해는 장애물 제약 조건 $ u \geq g $ 와 기울기 제약 조건 $ |\nabla u|_d \leq f $ 를 동시에 다루는 페널리제이션 방법을 통해 구성된다.
• 계수의 유계성 또는 균일 타원성 조건 없이도, 페널화된 해의 소벨레프 노름에 대한 균일한 유계성이 확립된다.
• 최적 정지 시간 $ \tau_* $ 가 명시적으로 특성화되어 있으며, 이는 가치 함수가 접촉집합 $ \{v = g\} $ 에서 흡수를 갖는 단일 제어 문제로 재구성 가능하게 한다.
• 페널화된 PDE의 해의 존재성과 유일성이, 유계 및 비유계 영역 모두에서 엄밀히 증명되었으며, 향후 분석의 기초를 제공한다.