[논문 리뷰] Uniqueness results for convex Hamilton-Jacobi equations under $p>1$ growth conditions on data

Francesca Da Lio, Olivier Ley|ArXiv.org|2008. 10. 08.

Mathematical Biology Tumor Growth참고 문헌 24인용 수 11

한 줄 요약

이 논문은 데이터의 $p>1$ 성장 조건 하에서 초등가 파라볼릭 해밀턴-자코비-벨만 방정식에 대한 점성 해의 존재성과 유일성을 확립한다. 해밀토니안에서 명시적인 상한을 피하는 새로운 점성 해의 정의를 도입함으로써, 저자들은 무한대에서 최대 $o(1+|x|^p)$ 정도로 증가하는 해에 대해 비교 원리를 증명하였으며, 이는 확산 계수의 제어에 대해 유계가 아닐 경우에도 확장되어, 유계가 아닌 확률적 제어 문제와 역방향 확률 미분 방정식으로의 응용을 가능하게 한다.

ABSTRACT

Unbounded stochastic control problems may lead to Hamilton-Jacobi-Bellman equations whose Hamiltonians are not always defined, especially when the diffusion term is unbounded with respect to the control. We obtain existence and uniqueness of viscosity solutions growing at most like $o(1+|x|^p)$ at infinity for such HJB equations and more generally for degenerate parabolic equations with a superlinear convex gradient nonlinearity. If the corresponding control problem has a bounded diffusion with respect to the control, then our results apply to a larger class of solutions, namely those growing like $O(1+|x|^p)$ at infinity. This latter case encompasses some equations related to backward stochastic differential equations.

연구 동기 및 목표

• 확산 계수가 제어에 대해 유계가 아닐 경우에도 적용 가능한, 열화된 파라볼릭 HJB 방정식의 점성 해에 대한 비교 및 유일성 결과를 확장하는 것.
• 제어 집합이 유계가 아닐 경우 해밀토니안이 무한이 될 수 있는 도전 과제를 다루는 것.
• 데이터에 대한 $p>1$ 성장 조건 하에서 무한대에서 최대 $o(1+|x|^p)$ 정도로 증가하는 해에 대해 존재성과 유일성을 확립하는 것.
• 이차 성장에서 일반적인 $p>1$ 성장으로 결과를 일반화하고, 역방향 확률 미분 방정식(BCDEs)에의 응용을 포함하는 것.
• 해밀토니안에서 명시적인 상한을 피하는 새로운 점성 해의 정의를 제공함으로써, $H$가 연속적이지 않을 경우에도 분석이 가능하게 하는 것.

제안 방법

• 해밀토니안 정의에서 명시적인 상한을 피하는 새로운 점성 해의 정의를 도입하여, $H$가 무한일 경우에도 잘 정의된 해를 허용하는 것.
• 성장 조절을 위해 장벽 함수 $h(x) = \overline{C}(1 + |x|^p)$ 를 사용한 변형된 시험 함수 방법을 적용하는 것.
• 변수의 두 배화 기법을 사용하며, 수정된 시험 함수 $\Phi(x,t) = C\varphi(t)h(x)$ 를 사용하며, $\varphi$ 는 특정한 상미분방정식을 만족하는 것.
• 최대 원리에 기반한 비교 원리 추론을 수행하며, $Dh$, $D^2h$, 및 $\sigma\sigma^T$ 의 추적에 대한 추정을 사용하는 것.
• 비선형성 $f$ 의 성장을 $p$-성장 조건을 통해 통제하고, 쌍대 지수 $p'$ 를 사용하여 $f$ 내의 기울기 항을 유계화하는 것.
• 연산자 $\Phi$ 에 적용되었을 때 양수성을 확보하기 위해 $C$, $L$, $\tau$ 의 매개변수를 고정하는 것으로, 비교 원리에 필요한 부등식을 증명하는 것.

실험 결과

연구 질문

• RQ1 확산 계수가 제어에 대해 유계가 아닐 경우, 해밀토니안이 무한이 될 수 있는 열화된 파라볼릭 HJB 방정식의 점성 해에 대해 유일성이 확보될 수 있는가?
• RQ2 예를 들어 $b$, $\sigma$, $\ell$ 의 성장률과 같은 데이터에 대한 조건은 무엇이어야 하며, 이는 무한대에서 최대 $o(1+|x|^p)$ 정도로 증가하는 해에 대해 존재성과 유일성을 보장하는가?
• RQ3 제어가 무한일 경우 해밀토니안이 연속적이지 않게 되는 경우를 다룰 수 있도록 점성 해의 개념을 어떻게 재정의할 수 있는가?
• RQ4 역방향 확률 미분 방정식(BCDEs)에서 유도된 방정식으로의 결과 확장은 어느 정도까지 가능한가?
• RQ5 표준적인 $O(1+|x|^p)$ 클래스가 해밀토니안의 폭주로 인해 충분하지 않을 경우, $p$-성장 조건을 만족하는 해에 대해 비교 원리를 어떻게 증명할 수 있는가?

주요 결과

• 해밀토니안에서 명시적인 상한을 피하는 새로운 점성 해의 정의가 도입되었으며, 이는 $H$가 무한일 경우에도 해의 정의가 가능하게 한다.
• 데이터에 대한 $p>1$ 성장 조건 하에서, 무한대에서 최대 $o(1+|x|^p)$ 정도로 증가하는 해에 대해 비교 원리가 성립한다.
• 초등가 파라볼릭 HJB 방정식에 대해 초등가 볼록 기울기 비선형성과 제어에 대해 유계가 아닌 확산을 갖는 경우, 점성 해의 존재성과 유일성이 확립된다.
• 결과는 유계가 아닌 확률적 제어 문제에 적용 가능하며, 역방향 확률 미분 방정식(BCDEs)과 관련된 방정식으로까지 확장된다.
• 제어에 대해 유계인 확산을 갖는 경우, 결과는 $O(1+|x|^p)$ 정도로 증가하는 해로까지 확장되며, 고전적인 확률적 선형 제곱 문제를 포함한다.
• 증명은 정밀하게 구성된 장벽 함수와 매개변수 선택에 의존하며, 이는 변형된 시험 함수에 대한 미분 연산자의 양수성을 보장하여 비교 원리의 타당성을 검증한다.