[논문 리뷰] On the Dirichlet Problem for Backward Parabolic Stochastic Partial Differential Equations in General Smooth Domains

Kai Du, Shanjian Tang|ArXiv.org|2009. 10. 13.

Stochastic processes and financial applications참고 문헌 20인용 수 6

한 줄 요약

이 논문은 일반적인 미끄러운 도메인에서 딜리클레 경계 조건을 가진 후행 포물형 확률 편미분 방정식(BSPDEs)의 해가 존재하고 유일함을 보이며, 도메인 경계 근처에서 도함수의 발산을 허용하는 가중 치르비셰프 공간을 사용한다. 이 접근법은 케리로의 방법을 계속성과 차분 몫을 통해 확장하여 약한 계수 조건 하에서 내부 정규성을 증명하고, 가중 노름에서 $L^2$-유형의 추정치를 도출한다.

ABSTRACT

Backward stochastic partial differential equations of parabolic type with variable coefficients are considered in smooth domains. Existence and uniqueness results are given in weighted Sobolev spaces allowing the derivatives of the solutions to blow up near the boundary.

연구 동기 및 목표

• 비볼록 또는 비실린더형 매끄러운 도메인에서 후행 포물형 SPDE의 딜리클레 문제에 대한 일반적인 존재성 및 유일성 결과가 부족한 문제를 해결한다.
• 공간 도함수가 경계 근처에서 발산할 수 있는 가중 치르비셰프 공간에서 해의 정규성을 확보한다.
• 기존의 무한대에서의 감쇠 조건에 의존하는 방법의 한계를 극복하여, 코시 문제 설정을 초월해 BSPDE의 $L^2$-이론을 확장한다.
• 계수에 대한 약한 가정 조건(예: 하올더 연속성과 유계성만) 하에서 사전 추정치 및 정규성 결과를 제공한다.

제안 방법

• 경계 근처에서 도함수의 발산을 수용하기 위해 가중 치르비셰프 공간을 채택한다.
• 절단 함수와 좌표 평탄화를 사용한 국소화 기법을 통해 문제를 반공간 설정으로 축소한다.
• 계속성과 차분 몫의 방법을 적용하여 고차 도함수에 대한 사전 추정치를 도출한다.
• 일반적인 매끄러운 도메인을 다루기 위해 변수 변환과 단위 분할을 통한 국소화를 활용한다.
• 거리 함수를 포함하는 변환을 통해 局소 좌표계에서의 해와 반공간에서의 해를 비교하여 가중 노름에서의 추정치를 확립한다.
• 그론발의 부등식과 귀납법을 사용하여 낮은 차수의 치르비셰프 노름에서 높은 차수의 노름으로 정규성을 전파한다.

실험 결과

연구 질문

• RQ1 일반적인 매끄러운 도메인에서 딜리클레 경계 조건을 가진 후행 포물형 BSPDE에 대해 적응형 해의 존재성과 유일성을 확립할 수 있는가?
• RQ2 도함수가 경계 근처에서 발산할 수 있을 경우, 해의 정규성을 어떻게 정량화할 수 있는가?
• RQ3 계수 $a, \nabla \rho, \nu, \text{ 및 } \theta$에 어떤 조건이 성립해야 가중 치르비셰프 공간에서 해의 노름이 유한한가?
• RQ4 코시 문제 설정에서 벗어나 딜리클레 문제로 $L^2$-이론을 확장할 수 있는가? 이 경우 무한대에서의 감쇠 조건이 필요하지 않은가?

주요 결과

• 계수와 데이터에 대한 미약한 조건 하에서 해 $(p, q)$는 가중 치르비셰프 공간 $\mathbb{H}^{n+1}(\mathcal{D})$ 내에 존재하고 유일하다.
• 해는 사전 추정치 $\|p_x\|_{n+1,Q}^2 + \mathbb{E} \sup_{t \leq T} \|p(t,\cdot)\|_{n+1,\mathcal{D}}^2 + \|q\|_{n+1,Q}^2 \leq C(\|\psi F\|_{n,Q}^2 + \|\phi\|_{n+1,\mathcal{D}}^2 + \|q\|_{Q}^2)$를 만족하며, 여기서 $C$는 $n, K, \rho_0, \kappa$ 및 $a$와 $\sigma$의 연속성 모듈러스에 의존한다.
• 내부 정규성이 확립된다: $p \in \mathbb{H}^{n+1}(\mathcal{D})$ 및 $q \in \mathbb{H}^{n}(\mathcal{D})$이며, $n$-차 도함수는 $L^2$-유형의 노름을 가진다.
• 해의 명시적 공식이 없더라도, 차분 몫과 계속성 기법을 사용함으로써 해의 발산 문제를 극복한다. 이는 $p$와 $q$가 조건부 기대값으로 표현되지 않을 수 있음에도 불구하고 성립한다.
• 강한 가정 없이도 결과가 성립한다: 계수는 유계이고 가측적이며 공간에서 연속성 모듈러스를 가지며, $a$는 균일 타원형이다.