[논문 리뷰] Nonlinear stochastic time-fractional diffusion equations on $\mathbb{R}$: moments, Hölder regularity and intermittency

Le Chen|arXiv (Cornell University)|2014. 10. 07.

Stochastic processes and financial applications참고 문헌 10인용 수 5

한 줄 요약

이 논문은 ℝ에서 다중성 공간-시간 백색 잡음이 있는 비선형 확률적 시간 분수 차분 방정식에 대한 랜덤 필드 해의 존재성, 유일성 및 모멘트 경계를 β ∈ (0,2) 전역에서 확립한다. 커널 함수 𝒦(t,x)를 통한 날카운 제2모멘트 추정을 유도하고, 저속 확산의 경우 Hölder 연속성을 증명하며, 두 개의 매개변수를 가진 Mainardi 함수를 기본 해로 사용하여 저속 및 고속 확산 영역 모두에서 약한 간섭 현상을 입증한다.

ABSTRACT

We study the nonlinear stochastic time-fractional diffusion equations in the spatial domain $\mathbb{R}$, driven by multiplicative space-time white noise. The fractional index $β$ varies continuously from $0$ to $2$. The case $β=1$ (resp. $β=2$) corresponds to the stochastic heat (resp. wave) equation. The cases $β\in \:]0,1[\:$ and $β\in \:]1,2[\:$ are called {\it slow diffusion equations} and {\it fast diffusion equations}, respectively. Existence and uniqueness of random field solutions with measure-valued initial data, such as the Dirac delta measure, are established. Upper bounds on all $p$-th moments $(p\ge 2)$ are obtained, which are expressed using a kernel function $\mathcal{K}(t,x)$. The second moment is sharp. We obtain the Hölder continuity of the solution for the slow diffusion equations when the initial data is a bounded function. We prove the weak intermittency for both slow and fast diffusion equations. In this study, we introduce a special function, the {\it two-parameter Mainardi functions}, which are generalizations of the one-parameter Mainardi functions.

연구 동기 및 목표

• 측도값 초기 자료(예: Dirac 델타 포함)를 가진 ℝ에서의 비선형 확률적 시간 분수 차분 방정식에 대한 랜덤 필드 해의 존재성과 유일성을 확립한다.
• 해의 모든 p차 모멘트(p ≥ 2)에 대한 상한을 유도하며, 특히 제2모멘트가 날카로운 경계를 갖는다.
• 초기 자료가 유계일 경우 저속 확산 영역(β ∈ (0,1))에서 해의 정(regularity)을 조사한다. 특히 공간과 시간에서의 Hölder 연속성을 다룬다.
• 저속(β ∈ (0,1)) 및 고속(β ∈ (1,2)) 확산 방정식 모두에서 약한 간섭 현상을 증명한다.
• 두 개의 매개변수를 가진 Mainardi 함수를 도입하고, 이를 통해 한 개의 매개변수 경우의 일반화로서 시간 분수 미분 연산자의 기본 해의 구조를 기술한다.

제안 방법

• 분석은 L^p(Ω) 프레임워크에서의 피카르 반복 기법에 기반하며, 커널 함수 𝒦(t,x)의 모멘트 추정을 통해 수렴이 보장된다.
• 커널 함수 𝒦(t,x)는 선형화된 방정식의 기본 해 G_β(t,x)를 통해 구성되며, 정리 3.4에 의해 유한하고 유계임을 보였다.
• 저속 확산의 경우(β ∈ (0,1)), G_β(t,x)에 대한 추정과 열핵의 반군 성질을 이용하여 해가 Hölder 연속임을 증명하였다.
• 고속 확산의 경우(β ∈ (1,2)), 초기 위치와 속도 자료가 필요하며, 열핵과의 비교를 통해 유계된 수정된 그린 함수 G_β*(t,x)를 사용하였다.
• 두 개의 매개변수를 가진 Mainardi 함수는 시간 분수 미분 연산자의 기본 해를 기술하기 위해 한 개의 매개변수 경우의 일반화로 도입되었다.
• 모멘트 경계의 증명은 확률적 콘볼루션 추정에 기반하며, 표준 열핵 추정 대신 분수 커널 추정을 사용한다. 이를 위해 정리 6.3 및 6.4, 그리고 컴팩트성 확보를 위한 보조정리 6.7를 활용하였다.

실험 결과

연구 질문

• RQ1 측도값 초기 자료를 가진 ℝ에서의 비선형 확률적 시간 분수 차분 방정식에 대해, 어떤 조건에서 랜덤 필드 해가 존재하고 유일하게 존재하는가?
• RQ2 해의 p차 모멘트는 어떻게 행동하며, 특히 제2모멘트의 경우 날카운 경계를 도출할 수 있는가?
• RQ3 저속 확산 영역(β ∈ (0,1))에서 공간과 시간에서의 해의 정(regularity)은 무엇이며, 특히 Hölder 연속성은 어떻게 성립하는가?
• RQ4 해는 약한 간섭 현상을 보이며, 저속 및 고속 확산 영역 간 이 현상은 어떻게 다를까?
• RQ5 두 개의 매개변수를 가진 Mainardi 함수는 한 개의 매개변수 경우를 어떻게 일반화하며, 기본 해 분석에 어떻게 기여하는가?

주요 결과

• 모든 β ∈ (0,2)에 대해 초기 자료로 Dirac 델타 측도를 포함한 랜덤 필드 해의 존재성과 유일성이 확립되었다.
• 모든 p차 모멘트(p ≥ 2)에 대한 상한이 유도되었으며, 이는 커널 함수 𝒦(t,x)로 표현되었고, 제2모멘트는 날카로운 경계를 갖는다.
• 저속 확산(β ∈ (0,1))의 경우, 초기 자료가 유계일 때 공간과 시간에서 해가 Hölder 연속임을 커널 추정과 반군 성질을 통해 입증하였다.
• 해는 저속 및 고속 확산 영역 모두에서 약한 간섭 현상을 보이며, 이는 해의 모멘트가 시간에 따라 지수적으로 증가하고 특징적인 공간적 구조를 갖는다는 것을 시사한다.
• 두 개의 매개변수를 가진 Mainardi 함수가 도입되었고, 이를 통해 시간 분수 미분 연산자의 기본 해를 기술하였으며, 한 개의 매개변수 경우의 일반화로서 정밀한 모멘트 추정을 가능하게 하였다.
• 커널 함수 𝒦(t,x)가 컴팩트 집합에서 유한하고 균일 유계임을 증명하였으며, 이는 피카르 반복의 수렴성과 해의 L^p(Ω)-연속성을 보장한다.