[논문 리뷰] Regularity and strict positivity of densities for the nonlinear stochastic heat equation

Le Chen, Yaozhong Hu외 1명|arXiv (Cornell University)|2016. 11. 11.

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

한 줄 요약

이 논문은 측도로 주어진 초기 자료와 시공간 백색 잡음이 있는 비선형 스토케스틱 열 방정식의 해의 확률 밀도함수의 존재성, 미분가능성, 그리고 엄격한 양의 성질에 대한 필수적이고 충분한 조건을 확립한다. 국소화된 말리아빈 미적분학의 버전을 사용하여, 저자들은 해의 밀도가 해의 지지집합 내부에서 미분가능하고 엄격히 양수임을 증명한다. 이는 확산 계수의 유계성 또는 0이 되는 경우에도 성립하며, 이는 이전 결과들을 비로소 포물형 앤더슨 모형을 특수한 경우로 포함하도록 확장한다.

ABSTRACT

In this paper, we establish a necessary and sufficient condition for the existence and regularity of the density of the solution to a semilinear stochastic (fractional) heat equation with measure-valued initial conditions. Under a mild cone condition for the diffusion coefficient, we establish the smooth joint density at multiple points. The tool we use is Malliavin calculus. The main ingredient is to prove that the solutions to a related stochastic partial differential equation have negative moments of all orders. Because we cannot prove $u(t,x)\in \mathbb{D}^\infty$ for measure-valued initial data, we need a localized version of Malliavin calculus. Furthermore, we prove that the (joint) density is strictly positive in the interior of the support of the law, where we allow both measure-valued initial data and unbounded diffusion coefficient. The criteria introduced by Bally and Pardoux [1] are no longer applicable for the parabolic Anderson model. We have extended their criteria to a localized version. Our general framework includes the parabolic Anderson model as a special case.

연구 동기 및 목표

• 측도로 주어진 초기 자료를 가진 반선형 스토케스틱 (분수) 열 방정식의 해의 밀도 존재성과 미분가능성에 대한 필요조건과 충분조건을 확립하는 것.
• 확산 계수가 0이 되거나 유계성이 없을 수 있는 경우에도 적용 가능한 국소화된 프레임워크로 고전적인 Bally-Pardoux 밀도 정규성 기준을 확장하는 것.
• 여러 공간적 점에서의 해의 공동 밀도가 지지집합 내부에서 부드럽고 엄격히 양수임을 증명하는 것, 즉 일반적인 초기 조건 하에서도 성립하는지 확인하는 것.
• 포물형 앤더슨 모형을 밀도 정규성과 엄격한 양의 성질에 대한 일반적 분석 프레임워크의 특수한 경우로 포함시키는 것.
• 측도로 주어진 초기 자료일 경우 u(t,x) ∈ D^∞ 를 확보할 수 없음에도 불구하고, 국소화된 말리아빈 미적분학 접근법을 개발하여 이 도전 과제를 극복하는 것.

제안 방법

• 저자들은 초기 자료가 측도일 경우 말리아빈 정규성이 확보되지 않는 문제를 다루기 위해 국소화된 말리아빈 미적분학의 버전을 활용한다.
• 해와 관련된 다른 스토케스틱 편미분방정식의 해가 모든 차수의 음의 모멘트를 가지며, 이는 밀도 정규성에 핵심적인 기술적 조건임을 증명한다.
• 이 방법은 말리아빈 도함수와 그 고차 도함수들의 모멘트 유계성과 조건부 유계성을 확립하는 데 의존한다.
• Hu 등 [9]의 일반화된 프레임워크를 변형하여, 기본 해 G와 잡음 스펙트럼 측도에 대한 가정을 통합함으로써 적분 가능성과 정규성을 보장한다.
• Bally와 Pardoux [1]의 영감을 얻은 국소화 절차를 사용하여, 확산 계수에 대한 엄격한 양의 성질 가정을 제거할 수 있다.
• 분석 과정은 Ψ_n^i(t,x) 함수들에 대한 세밀한 추정, 해와 그 도함수의 모멘트, 그리고 위너 카오스 분해 하에서의 조건부 유계성 분석을 포함한다.

실험 결과

연구 질문

• RQ1 측도로 주어진 초기 자료를 가진 비선형 스토케스틱 열 방정식의 해가 특정한 시공간 점에서 부드러운 밀도를 가지기 위한 조건은 무엇인가?
• RQ2 확산 계수와 초기 자료에 대한 일반적인 조건 하에서, 여러 공간적 점에서의 해의 공동 밀도가 부드럽게 유지되는가?
• RQ3 확산 계수가 0이 되거나 무한대가 될 수 있을 경우, 해의 밀도가 지지집합 내부에서 엄격히 양수인가?
• RQ4 확산 계수가 0에서 멀리 떨어져 있지 않은 경우에도, 고전적인 Bally-Pardoux 밀도 정규성 기준을 어떻게 확장할 수 있는가?
• RQ5 포물형 앤더슨 모형은 말리아빈 미적분학을 사용하여 부드럽고 엄격히 양수인 밀도를 증명하는 데 있어 일반적 프레임워크에 포함될 수 있는가?

주요 결과

• 확산 계수에 대한 온화한 콘 다이어그램 조건이 만족될 경우, 비선형 스토케스틱 열 방정식의 해는 임의의 고정된 (t,x) ∈ (0,∞) × ℝ 에서 부드러운 밀도를 가진다.
• 여러 개의 서로 다른 공간적 점에서의 해의 공동 밀도는 확산 계수가 무한대이거나 일부 값에서 0이 되더라도 여전히 부드럽다.
• 지지집합 내부에서의 밀도는 측도로 주어진 초기 자료(예: 디랙 델타 함수)일 경우에도 엄격히 양수이다.
• 이 방법은 Bally-Pardoux 기준을 국소화된 설정으로 확장하여, σ(y) ≥ c > 0 라는 가정을 제거할 수 있었다.
• 확산 계수가 0에서 사라지는 경우에도, 포물형 앤더슨 모형(ρ(u) = λu)은 부드럽고 엄격히 양수인 밀도를 가지는 조건을 만족함이 입증되었다.
• 저자들은 해의 말리아빈 도함수가 모든 차수의 음의 모멘트를 가지며, 이는 전체 말리아빈 정규성이 확보되지 않는 상황에서 밀도 정규성을 확립하는 데 핵심적인 단계임을 증명했다.