[논문 리뷰] An lp-boundedness of stochastic singular integral operators and its application to spdes

Ildoo Kim, Kyeong-Hun Kim|arXiv (Cornell University)|2016. 08. 31.

Advanced Harmonic Analysis Research참고 문헌 13인용 수 7

한 줄 요약

이 논문은 위너 과정에 의해 구동되는 확률적 특이 적분 연산자에 대한 $L_p$-유계성 기준을 수립하며, 칼데론-지그문트 이론을 확률적 설정으로 일반화하는 확률적 허만더 조건을 도입한다. 주요 결과는 이 조건 하에서 $p \geq 2$ 일 때 $L_p$-유계성을 증명하는 것으로, 비연속 핵을 가진 광범위한 확률적 편미분방정식에 대한 최대 정규성 추정을 가능하게 한다.

ABSTRACT

In this article we introduce a stochastic counterpart of the Hörmander condtion on the kernel $K(r,t,x,y)$: there exists a pseudo-metric $ρ$ on $(0,\infty) imes R^d$ and a positive constant $C_0$ such that for $X=(t,x), Y=(s,y), Z=(r,z) \in (0,\infty) imes R^d$, $$ \sup_{X,Y}\int_{0}^\infty \left[ \int_{ρ(X,Z) \geq C_0 ρ(X,Y)} | K(r,t, z,x) - K(r,s, z,y)| ~dz ight]^2 dr

연구 동기 및 목표

• 클래식한 칼데론-지그문트 이론을 확률적 설정으로 확장하기 위해 허만더 조건의 확률적 대응을 제시하는 것.
• 모든 $p \geq 2$ 에 대해 $\mathbb{T}g(t,x) = \int_0^t \int_{\mathbb{R}^d} K(t,s,x,y)g(s,y)dydW_s$ 형태의 확률적 특이 적분 연산자의 $L_p$-유계성을 확립하는 것.
• 비연속 핵을 가진 광범위한 확률적 편미분방정식(SPDE) 클래스에 대해 최대 $L_p$-정규성 추정을 도출하는 것.
• 크릴로프의 미분 가능성 요구 조건이나 $H^\infty$-계산 제약 조건과 같은 기존 접근의 한계를 극복하기 위해 더 일반적인 프레임워크를 도입하는 것.

제안 방법

• $(0,\infty) \times \mathbb{R}^d$ 위의 쿼asi-메트릭 $\rho$ 와 상수 $C_0$ 를 포함하는 확률적 허만더 조건을 제안하여, 이중 수준 집합 위에서 핵의 차이의 균일한 적분 가능성을 보장한다.
• 스토크래틱 적분의 $L_p$-노름을 최대 함수 추정을 통해 통제하기 위한 핵심 기술 도구로 파라볼릭 리틀우드-파일스 부등식을 수립한다.
• 파라볼릭 리틀우드-파일스 부등식을 적용하여, 확률적 허만더 조건 하에서 스토크래틱 특이 적분 연산자 $\mathbb{T}$ 의 $L_p$-유계성을 증명한다.
• 이중 분할과 핵의 차이 추정을 사용하여 시간과 공간에 걸쳐 적분 연산자의 $L^2$-노름을 제어하며, 쿼اسي-메트릭의 구조를 활용한다.
• 주요 유계성 결과를 특정 SPDE에 적용하여, 기호 $\phi(\Delta)^{1/2}$ 를 가진 미분형 연산자에 의해 구동되는 방정정식들에 대해 확률적 허만더 조건을 검증한다.
• 핵 $K(t-r,z,x) = \mathbf{1}_{\{0<r<t<T\}} \phi(\Delta)^{1/2}p(t-r,x-z)$ 가 $X,Y \in (0,T) \times \mathbb{R}^d$ 에 대해 균일하게 확률적 허만더 조건을 만족함을 보이며, 이러한 방정식에 대해 최대 정규성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 모든 $p \geq 2$ 에 대해 $L_p$-유계성을 보장하기 위해 허만더 조건의 확률적 대응을 제안할 수 있는가?
• RQ2 제안된 확률적 허만더 조건은 기존의 $L_p$-이론을, 미분 가능 핵이나 해석적 반응기 생성자 이상의 범위로 일반화하는가?
• RQ3 핵의 차이에 대한 최소한의 적분 가능성 조건 하에서, 스토크래틱 특이 적분 연산자 $\mathbb{T}g(t,x) = \int_0^t \int_{\mathbb{R}^d} K(t,s,x,y)g(s,y)dydW_s$ 가 $\mathbb{L}_p = L_p(\Omega \times (0,\infty); L_p(\mathbb{R}^d))$ 에서 유계임을 증명할 수 있는가?
• RQ4 확률적 허만더 조건이 비연속 또는 비마르코프 핵을 가진 SPDE에 대해 최대 $L_p$-정규성을 도출하는 데 충분한가?
• RQ5 기호 $\phi(\Delta)^{1/2}$ 를 가진 미분형 연산자에 의해 구동되는 SPDE에 이 프레임워크를 적용할 수 있는가, 특히 핵이 점별 미분 가능성이 없을 경우에도 가능한가?

주요 결과

• 확률적 허만더 조건은 연산자가 $\mathbb{L}_2$ 에서 유계일 경우, 모든 $p \geq 2$ 에 대해 $\mathbb{L}_p$ 에서 스토크래틱 특이 적분 연산자 $\mathbb{T}$ 의 $L_p$-유계성을 보장한다.
• 파라볼릭 리틀우드-파일스 부등식은 $L_p$-노름을 최대 함수 추정을 통해 통제할 수 있도록 하는 중심 기술 도구로 확립되었다.
• 핵 $K(t-r,z,x) = \mathbf{1}_{\{0<r<t<T\}} \phi(\Delta)^{1/2}p(t-r,x-z)$ 는 $X,Y \in (0,T) \times \mathbb{R}^d$ 에 대해 균일하게 확률적 허만더 조건을 만족하며, 이는 $d$ 와 가정 5.14의 상수들에만 의존한다.
• 핵의 차이 추정 $\int_0^T \left[ \int_{A(r,X,Y)} |\phi(\Delta)^{1/2}p(t-r,x-z) - \phi(\Delta)^{1/2}p(s-r,y-z)| dz \right]^2 dr \leq N$ 이 균일하게 성립하며, $A(r,X,Y)$ 는 쿼اسي-메트릭 $\rho$ 를 통해 정의된다. 이는 조건의 타당성을 확인한다.
• 주요 정리에 의해 SPDE에 대한 최대 $L_p$-정규성 결과가 확립되었으며, 크릴로프의 미분 가능성 요구 조건과 $H^\infty$-계산 제약 조건을 초월한다.
• 이 프레임워크는 비마르코프성과 비연속 핵을 가진 광범위한 SPDE 클래스에 적용 가능하며, $\phi(\Delta)^{1/2}$ 를 포함하는 경우에도 적용 가능하므로, SPDE의 $L_p$-이론에서 알려진 결과를 일반화한다.