[논문 리뷰] Nonlinear stochastic time-fractional slow and fast diffusion equations on $\mathbb{R}^d$

Le Chen, Yaozhong Hu외 1명|arXiv (Cornell University)|2015. 09. 25.

Stochastic processes and financial applications인용 수 3

한 줄 요약

이 논문은 $ℝ^d$에서 공간-시간 백색잡음에 의해 구동되는 비선형 확률적 시간분수미분 방정식의 해가 존재하고 유일하며, 모멘트 유계성을 갖는다는 것을 증명한다. 이 방정식은 캐프토 시간분수미분과 리만-리우빌 분수적 적분을 포함한다. 주요 기여는 매개수 $α$, $β$, $γ$ 및 차원 $d$를 포함하는 일반화된 달랑-유형 조건 하에서 이러한 결과를 증명한 것이다. 해는 포크 H-함수를 통해 표현되며, $β \in (0,1]$일 때 샘플 경로의 정칙성을 확립한다. 이 틀은 측도값 초기 자료를 허용하며, 느린 ($β \in (0,1]$) 및 빠른 ($β \in (1,2)$) 확산 영역을 모두 포함한다.

ABSTRACT

This paper studies the nonlinear stochastic partial differential equation of fractional orders both in space and time variables: \[ \left(\partial^β+\fracν{2}(-Δ)^{α/2} ight)u(t,x) = I_t^γ\left[ρ(u(t,x))\dot{W}(t,x) ight],\quad t>0,\: x\in\mathbb{R}^d, \] where $\dot{W}$ is the space-time white noise, $α\in(0,2]$, $β\in(0,2)$, $γ\ge 0$ and $ν>0$. Fundamental solutions and their properties, in particular the nonnegativity, are derived. The existence and uniqueness of solution together with the moment bounds of the solution are obtained under Dalang's condition: $d<2α+\fracαβ\min(2γ-1,0)$. In some cases, the initial data can be measures. When $β\in (0,1]$, we prove the sample path regularity of the solution.

연구 동기 및 목표

• 시간분수미분의 일반적인 순서 $\beta \in (0,2)$와 분수적 라플라스 연산자 순서 $\alpha \in (0,2]$를 포함하는 확률적 편미분방정식 이론을 확장한다.
• 측도값 초기 자료를 允허하는 조건 하에서 $\alpha$, $\beta$, $\gamma$, 그리고 공간 차원 $d$를 포함하는 일반화된 달랑-유형 조건 하에서 해의 존재성과 유일성을 확립한다.
• 해의 샘플 경로 정규성은 $\beta \in (0,1]$일 때 분석되며, 확률적 열 방정식 및 파동 방정식에 대한 기존 결과를 확장한다.
• 포크 H-함수를 사용하여 기본 해를 도출하고, 그 성질을 특성화하며, 비음성 및 원점 근처의 점근적 행동을 포함한다.
• 기존의 확률적 분수미분 결과, 특히 확률적 열 방정식 및 파동 방정식을 하나의 분수순서 프레임워크 내에서 통합하고 일반화한다.

제안 방법

• 연구는 기억 효과와 노이즈 스무딩을 모델링하기 위해 캐프토 분수미분 $\partial^\beta$와 리만-리우빌 분수적 적분 $I_t^\gamma$를 사용한다.
• 해는 기본 해 $Z(t,x)$, $Z^*(t,x)$, $Y(t,x)$와의 커플링을 포함하는 스토케스틱 적분 방정식 형태로 표현되며, 이들은 모두 포크 H-함수로 표현된다.
• 해의 존재성과 유일성은 조건 $d < 2\alpha + \frac{\alpha}{\beta}\min(2\gamma - 1, 0)$ 하에서 증명되며, 이는 달랑 조건의 일반화이다.
• 기본 해의 원점 근처의 점근적 행동은 포크 H-함수의 잔여치 해석을 통해 분석되며, 매개수 $α$, $β$, $γ$, $d$에 따라 국소 특이성을 규명한다.
• $\beta \in (0,1]$일 때 샘플 경로 정규성은 그린 함수의 구조에서 유도된 모멘트 유계성 및 허더 연속성 추정을 통해 확립된다.
• 이 틀은 초기 자료로 측도를 허용하여, $L^1$ 또는 $L^2$ 초기 조건이 필요하다는 전통적 결과를 초월한다.

실험 결과

연구 질문

• RQ1 공간-시간 백색잡음이 작용하는 $ℝ^d$에서의 비선형 확률적 시간분수미분 방정식에 대해 온화한 해가 존재하는 조건은 무엇인가?
• RQ2 시간분수미분 순서 $β$, 공간 분수미분 순서 $α$, 노이즈 스무딩 매개수 $γ$ 간의 상호작용이 해의 존재성과 모멘트 유계성에 어떻게 영향을 미치는가?
• RQ3 기본 해의 원점 근처에서 정확한 점근적 행동은 무엇이며, 이는 매개수 $α$, $β$, $γ$, $d$에 따라 어떻게 달라지는가?
• RQ4 해가 $\beta \in (0,1]$일 때 공간과 시간에서 허더 연속성을 보일 수 있는가? 그리고 그 정규성의 최소 임계값은 무엇인가?
• RQ5 기존의 경우, 예를 들어 확률적 열 방정식 ($\beta=1$, $\alpha=2$) 및 확률적 파동 방정식 ($\beta=2$, $\alpha=2$)의 결과는 어떻게 일반화되는가?

주요 결과

• 조건 $d < 2\alpha + \frac{\alpha}{\beta}\min(2\gamma - 1, 0)$ 하에서 해가 존재하고 유일하며, 이는 시간분수미분을 포함하는 SPDE에 대한 달랑 조건의 일반화이다.
• 해의 모멘트 유계성이 확립되어 확률적 안정성을 보장하고, 간섭성 및 샘플 경로 행동 분석을 위한 기초를 마련한다.
• $\beta \in (0,1]$일 때, 해는 공간과 시간에서 허더 연속성을 보이며, 이 정규성은 매개수 $α$, $β$, $γ$에 따라 달라진다.
• 기본 해는 포크 H-함수를 통해 표현되며, 잔여치 분석을 통해 원점 근처의 행동이 완전히 특성화된다. 이는 매개수의 제약 조건에 따라 거듭제곱 특이성 $x^{d/\alpha}$, $x^2$, 또는 $x \log x$ 형태의 특이성을 드러낸다.
• 이 틀은 초기 자료로 측도를 허용하여, $L^p$-적분 가능 초기 조건을 요구하는 기존 결과의 적용 범위를 확장한다.
• $\gamma=0$의 극한에서 존재 조건은 $d < 2\alpha + \frac{\alpha}{\beta}\min(-1, 0)$가 되며, $α=2$, $d=1$일 때 해는 $β > 2/3$일 경우에만 존재한다. 이는 정규성을 확보하기 위해 분수적 적분의 필요성을 보여준다.