[논문 리뷰] An L_p-theory of stochastic parabolic equations with the random fractional Laplacian driven by Lévy processes

Kyeong-Hun Kim, Panki Kim|arXiv (Cornell University)|2011. 11. 21.

Advanced Mathematical Modeling in Engineering참고 문헌 7인용 수 4

한 줄 요약

이 논문은 일반 레비 과정에 의해 구동되는 확률적 포물형 방정식에 대한 $L_p$-이론을 수립하며, 임의의 $\alpha \in (0,2)$를 가진 랜덤 분수 라플라스 연산자를 포함한다. 파라볼릭 리틀우드-파일스 부등식과 버크홀더-데이비스-건디 유형의 추정을 활용하여, 계수들이 분포일 수도 있고 소음에 무한 활동적인 점프가 포함되어 있을 수도 있는 경우에도 국소 $L_p$-소볼레프 공간에서 해의 존재성과 유일성을 증명한다.

ABSTRACT

In this paper we give an $L_p$-theory for stochastic parabolic equations with random fractional Laplacian operator. The driving noises are general Lévy processes.

연구 동기 및 목표

• 일반 레비 과정에 의해 구동되는 랜덤 분수 라플라스 연산자를 갖는 확률적 포물형 방정식에 대한 $L_p$-이론을 개발하는 것.
• 기존의 $L_p$-정규성 결과를 브라운 운동을 초월하여 유한 활동성 없는 점프 유형의 레비 소음을 포함하도록 확장하는 것.
• 레비 소음에 대한 모멘트 조건을 약화시켜, $p$-번째 모멘트를 국소적으로만 요구하고, 유한한 수의 과정이 존재할 경우 조건 (3.2)를 완전히 제거하는 것.
• 계수가 음수 또는 분수 차수의 도함수를 가질 수 있는 분포일 수 있는 국소 $L_p$-소볼레프 공간에서 경로 기반 해를 수립하는 것.
• 정규성 지수가 임계 임계값을 초과할 경우, 일반 레비 소음이 존재하더라도 소볼레프 임베딩을 통해 해가 점별 허더 연속성을 가짐을 보이는 것.

제안 방법

• 크릴로프 [14]의 $L_p$-이론 프레임워크를 분수 라플라스 연산자 $\Delta^{\alpha/2}$, $\alpha \in (0,2)$를 갖는 확률적 포물형 방정식에 적응하는 것.
• 분수 라플라스 연산자에 대해 [11]에서 소개된 파라볼릭 리틀우드-파일스 부등식의 응용을 통해 해의 항들의 정규성을 제어하는 것.
• 레비 과정에 의해 유도되는 스트로크 적분을 추정하기 위해 버크홀더-데이비스-건디 부등식을 사용하는 것, 특히 점프 및 마틴갈 부분에 중점을 두어.
• 레비 측도에 대해 최소한의 적분 가능성 조건을 부과하여, $p$-번째 모멘트를 국소적으로만 허용하고, 국소화 및 잘라내기 방법을 통해 전역 조건 (3.2)를 제거하는 것.
• 정지 시간과 국소화 기법을 사용하여, 원래의 레비 과정을 잘라낸 형태로 근사함으로써 $\mathcal{H}^{\gamma+\alpha}_{p,\text{loc}}(\tau)$에서 해를 구성하는 것.
• 테스트 함수가 $C_0^\infty(\mathbb{R}^d)$에 속하는 약한 공식을 정의함으로써 경로 기반 해를 정의하여, 해가 $H^\gamma_p$에서 오른쪽 연속이고 왼쪽 극한을 갖는다는 것을 보장하는 것.

실험 결과

연구 질문

• RQ1 무한 활동성을 가진 레비 과정에 의해 구동되며, 랜덤 분수 라플라스 연산자를 갖는 확률적 포물형 방정식에 대해 $L_p$-이론을 수립할 수 있는가?
• RQ2 해의 존재성과 유일성이 $L_p$-소볼레프 공간에서 유지될 수 있도록 하는 레비 소음에 대한 최소한의 적분 가능성 조건은 무엇인가?
• RQ3 해의 정규성은 분수 라플라스 연산자의 차수와 소음의 적분 가능성에 따라 어떻게 달라지는가?
• RQ4 계수가 음수 또는 분수 차수의 도함수를 가진 분포일 수 있는 경우 이 이론이 어떻게 다룰 수 있는가?
• RQ5 점프 소음이 존재하더라도 해가 점별 허더 연속성을 확보하는 조건은 무엇인가?

주요 결과

• 논문은 레비 소음이 무한 활동성을 가지며 국소 $p$-번째 모멘트만을 갖는 조건 하에서도, 가정 2.10과 4.6를 만족할 경우 SPDE (3.4)에 대해 경로 기반 해 $u \in \mathcal{H}^{\gamma+\alpha}_{p,\text{loc}}(\tau)$의 존재성과 유일성을 증명한다.
• 해는 사전 추정식 $\|u\|_{\mathcal{H}^{\gamma+\alpha}_{p}(\tau_n)} \leq c(T,d,\alpha) \left( \|f\|_{\mathbb{H}^\gamma_p(\tau_n)} + \|h\|_{\mathbb{H}^{\gamma+\alpha/2}_p(\tau_n,\ell_2)} + \sum_{j=1}^m \|g^{\cdot,j}\|_{\mathbb{H}^{\gamma+\alpha/2+\varepsilon_1}_p(\tau_n,\ell_2)} + \|u_0\|_{U^{\gamma+\alpha-\alpha/p}_p} \right)$ 를 만족하며, 여기서 $c$는 $n$에 독립적이다.
• $\gamma + \alpha > d/p$일 경우, 소볼레프 임베딩에 의해 해 $u$는 거의 확실히 $t \leq \tau$에서 공간적으로 $C^{\gamma+\alpha-d/p}$-허더 연속성이 된다.
• 레비 공간-시간 백색 소음의 경우도 이 이론이 다루며, 이는 정리 4.3과 4.4에서 보여지며, 이는 이전 결과가 브라운 소음으로 국한되었음을 확장하는 것이다.
• 유한한 수의 레비 과정이 존재할 경우, 레비 소음 계수의 $L_p$-노름에 대한 조건 (3.2)는 완전히 제거될 수 있다.
• 이 접근법은 허더 유형 이론(예: [19])과는 다름을 보이며, $f$와 $g$의 정규성 수준을 낮추어 음수 또는 분수 차수의 도함수를 가진 분포도 포함할 수 있다.