[논문 리뷰] Existence, uniqueness, and global regularity for degenerate elliptic obstacle problems in mathematical finance

Panagiota Daskalopoulos, Paul M. N. Feehan|arXiv (Cornell University)|2011. 09. 06.

Stochastic processes and financial applications참고 문헌 53인용 수 13

한 줄 요약

이 논문은 수학 금융 분야에서 발생하는 탈선 타입 타원형 장애 문제에 대한 해의 존재성, 유일성 및 전역적 정칙성을 확립한다. 특히 헤스턴 확률적 변동성 모델을 대상으로 하며, 가중 치르비셰프 공간을 사용하여 반타원형 도메인에서 탈선 타입 타원형 헤스턴 연산자와 관련된 변분부등식 및 장애 문제의 $ H^2 $ 및 허더 정칙성을 증명한다.

ABSTRACT

The Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance, is a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order degenerate elliptic partial differential operator whose coefficients have linear growth in the spatial variables and where the degeneracy in the operator symbol is proportional to the distance to the boundary of the half-plane. With the aid of weighted Sobolev spaces, we prove existence, uniqueness, and global regularity of solutions to stationary variational inequalities and obstacle problems for the elliptic Heston operator on unbounded subdomains of the half-plane. In mathematical finance, solutions to obstacle problems for the elliptic Heston operator correspond to value functions for perpetual American-style options on the underlying asset.

연구 동기 및 목표

• 탈선 타입 타원형 장애 문제에 대한 해의 존재성, 유일성 및 전역적 정칙성을 확립하는 것.
• 경계에서의 탈선성을 갖는 확산 과정의 대표적 모델로 헤스턴 확률적 변동성 모델을 분석하는 것.
• 가중 치르비셰프 공간을 활용하여 반타원형 도메인에서의 정칙성 이론을 비유한 영역으로 확장하는 것.
• 장애 문제의 해를 영구적 아메리칸 스타일 옵션의 가치 함수와 연결하는 것.
• 가중 노름과 경계 추적 연산자를 사용하여 탈선 경계 근처에서의 해의 행동을 해결하는 것.

제안 방법

• 선형 성장 계수와 제곱근 탈선성을 갖는 타원형 헤스턴 연산자를 포함하는 변분부등식으로 장애 문제를 수식화한다.
• 특히 $ y = 0 $ 근처에서 확산 계수가 0이 되는 경계에서의 탈선성을 다루기 위해 가중 치르비셰프 공간을 적용한다.
• 에너지 추정과 헤스턴 연산자와 관련된 이차형식을 사용하여 도함수에 대한 사전 경계를 유도한다.
• Lax-Milgram 정리와 페널티 기법을 사용하여 강제성과 비강제성 모두에 대해 변분부등식의 존재성과 유일성을 증명한다.
• 하디 부등식과 가중 경계 추적 연산자를 사용하여 탈선 경계 $ ar{ ho}_0 $ 근처의 행동을 통제한다.
• 코크스-인거솔-로즈 방정식의 명시적 해를 분석하여 가중 $ L^2 $-기반 공간에서의 경계 정칙성과 유일성을 설명한다.

실험 결과

연구 질문

• RQ1 반타원형 도메인에서 탈선 타입 타원형 헤스턴 연산자에 대한 장애 문제에 대해 해가 존재하는 조건은 무엇인가?
• RQ2 헤스턴 변분부등식의 해에 대한 전역적 정칙성, 특히 $ H^2 $ 및 허더 공간에서의 정칙성은 어떻게 되는가?
• RQ3 가중 치르비셰프 공간은 헤스턴 연산자의 경계 $ y = 0 $ 근처에서의 탈선성을 어떻게 해결하는가?
• RQ4 해의 행동은 탈선 경계 근처에서 어떻게 되며, 이는 경계 조건의 타당성에 어떤 영향을 미치는가?
• RQ5 소스 함수가 거듭제곱 가중 측도를 갖는 $ L^2 $에 속할 경우, 헤스턴 장애 문제의 해에 대해 유일성과 정칙성을 확립할 수 있는가?

주요 결과

• 비강제성 조건이 적용되는 경우에도, 가중 치르비셰프 공간 내에서 헤스턴 연산자에 대한 변분부등식의 해는 존재하고 유일하다.
• 강제성과 비강제성 모두에 대해 해에 대한 전역적 $ H^2 $ 정칙성이 확립되어, 가중 측도에 대해 두 번째 도함수의 적분 가능성을 보장한다.
• 해는 전역적 허더 연속성을 보이며, 정칙성은 가중 매개수 $ eta $ 에 의해 제어된다. $ 0 < eta < 1 $ 일 때 $ H^2 $ 정칙성이 성립한다.
• 동차 헤스턴 방정식($ f = 0 $)의 해는 $ H^1(bR_+, rak{m}) $ 내에서 유일하며, $ c_1 = c_2 = 0 $ 이면 $ u eq 0 $ 가 될 수 없고, 이는 $ u = 0 $ 이 유일한 해임을 의미한다.
• 해의 경계 행동은 가중 네이만 유형 조건에 의해 지배되며, $ y^eta u_y(0) = 0 $ 이며, 이는 약한 공식화에서 자연스럽게 만족된다.
• 타원형 코크스-인거솔-로즈 방정식의 명시적 해는 $ eta eq 1 $ 일 때 $ y = 0 $ 근처에서 $ u otin H^2 $ 임을 보여주며, $ eta eq 0 $ 일 경우 $ u otin H^1 $ 임을 나타내어, 정칙성을 확보하기 위해 가중 공간이 반드시 필요하다.