[논문 리뷰] Hitting Probabilities for Systems of Non-Linear Stochastic Heat Equations with Additive Noise

Robert C. Dalang, Davar Khoshnevisan외 1명|ArXiv.org|2007. 02. 23.

Stochastic processes and financial applications인용 수 71

한 줄 요약

이 논문은 1차원 공간에서 d차원의 가우시안 공간-시간 백색잡음에 의해 구동되는 d개의 결합된 비선형 스토케스틱 열 방정식 시스템의 해에 대한 도달 확률에 대한 상한과 하한을 설정한다. 용적과 하우스도르프 측도를 이용하여, Borel 집합 A ⊂ ℝᵈ가 해 과정에 대해 비극성일 조건은 (d−6)-차원 용적이 양일 때이며, 극성일 조건은 (d−6)-차원 하우스도르프 측도가 0일 때임을 증명한다. 고정된 시간과 공간 점에 대해서도 유사한 결과를 도출하여, 비선형 스토케스틱 편미분방정식에 대한 잠재이론을 추가 노이즈가 있는 경우로 확장한다.

ABSTRACT

We consider a system of $d$ coupled non-linear stochastic heat equations in spatial dimension 1 driven by $d$-dimensional additive space-time white noise. We establish upper and lower bounds on hitting probabilities of the solution $\{u(t, x)\}_{t \in \mathbb{R}_+, x \in [0, 1]}$, in terms of respectively Hausdorff measure and Newtonian capacity. We also obtain the Hausdorff dimensions of level sets and their projections. A result of independent interest is an anisotropic form of the Kolmogorov continuity theorem.

연구 동기 및 목표

• 1차원 공간에서 공간-시간 백색잡음에 의해 구동되는 비선형 스토케스틱 열 방정식 시스템에 대한 잠재이론을 개발한다.
• 해 과정이 주어진 Borel 집합 A ⊂ ℝᵈ를 양의 확률로 도달할 조건을 규명한다.
• 용적과 하우스도르프 측도를 이용하여 도달 확률에 대한 정밀한 상한과 하한을 설정한다.
• 해 과정의 수준집합과 그 사영의 하우스도르프 차원을 도출한다.
• 기술적 도구로 비대칭 형태의 코모고로프 연속성 정리를 증명한다.

제안 방법

• 해는 노이만 경계 조건을 가진 열 방정식의 그린 커널을 포함하는 스토케스틱 적분 표현을 통해 정의된다.
• 표본 경로의 정규성은 시간과 공간에서 비대칭 코모고로프 연속성 정리의 변형을 이용하여 제어한다.
• 용적과 하우스도르프 측도를 이용하여 해 과정에 대한 극성 및 비극성 집합을 특성화한다.
• 잠재핵과 그린 함수 간의 관계를 규명하고 해의 국소시간을 유계로 만들기 위해 커플레션 추정과 푸리에 분석을 사용한다.
• 극좌표와 수정 베셀 함수의 점근적 분석을 통해 잠재핵의 적분 가능성과 감쇠성에 관한 보조정리를 수립한다.
• 핵심 추정은 커플레션 항등식과 L¹-푸리에 변환 성질을 이용한 말레비안 미분 계산 도구와 잠재이론적 추정을 결합하여 도출된다.

실험 결과

연구 질문

• RQ1 비선형 스토케스틱 열 방정식 시스템에 대한 추가 노이즈가 있을 때, 주어진 Borel 집합이 ℝᵈ 내에서 양의 확률로 도달되는 조건은 무엇인가?
• RQ2 해 과정의 도달 확률은 차원 d와 목표 집합 A의 기하학적 성질에 따라 어떻게 달라지는가?
• RQ3 해 과정의 수준집합의 하우스도르프 차원은 시간, 공간, 시간-공간에서 각각 얼마인가?
• RQ4 비대칭 허더 연속성으로 측정되는 해의 정규성은 도달 행동에 어떻게 영향을 미치는가?
• RQ5 이 맥락에서 비극성 집합에 대한 용적 조건과 하우스도르프 측도 조건 사이의 격차를 메울 수 있는가?

주요 결과

• Borel 집합 A ⊂ ℝᵈ는 (d−6)-차원 뉴턴 용적이 양일 경우 전체 시간-공간 과정 (t,x) ↦ u(t,x)에 대해 비극성이다.
• Borel 집합 A ⊂ ℝᵈ는 (d−6)-차원 하우스도르프 측도가 0일 경우 전체 시간-공간 과정에 대해 극성이다.
• 고정된 시간 t > 0에 대해, Borel 집합 A ⊂ ℝᵈ는 (d−2)-차원 용적이 양일 경우 x ↦ u(t,x)에 대해 비극성이다.
• 고정된 시간 t > 0에 대해, Borel 집합 A ⊂ ℝᵈ는 (d−2)-차원 하우스도르프 측도가 0일 경우 x ↦ u(t,x)에 대해 극성이다.
• 고정된 공간 점 x ∈ [0,1]에 대해, Borel 집합 A ⊂ ℝᵈ는 (d−4)-차원 용적이 양일 경우 t ↦ u(t,x)에 대해 비극성이다.
• 고정된 공간 점 x ∈ [0,1]에 대해, Borel 집합 A ⊂ ℝᵈ는 (d−4)-차원 하우스도르프 측도가 0일 경우 t ↦ u(t,x)에 대해 극성이다.