시간‑분수 확산 방정식의 강한 국소 비결정성 연구

초록

본 논문은 Caputo 시간 미분, 분수 라플라시안, 그리고 Riemann‑Liouville 적분을 포함한 일반화된 확산·파동 방정식에 대해, 가우시안 잡음(시간‑분수, 공간‑Riesz) 하에서 무작위장 해의 존재조건(Dalang‑type)과 변분 상한을 정확히 구한다. 이를 바탕으로 시간·공간에 대한 강한 국소 비결정성(SLND)을 증명하고, 연속성 모듈러스, Chung형 로그법칙, 작은 구체 확률 등 정밀한 샘플 경로 특성을 도출한다.

상세 분석

이 연구는 (1.1)식으로 정의되는 확률적 편미분방정식(SPDE)을 중심으로 전개된다. 여기서 시간 미분은 차수 β>0인 Caputo 연산자, 공간 연산자는 차수 α>0인 분수 라플라시안(−Δ)^{α/2}, 그리고 외부 잡음에 적용되는 Riemann‑Liouville 적분 연산자 I^{γ}_{t} (γ≥0)가 결합된다. 잡음은 시간‑분수 지수 H와 공간‑Riesz 지수 ℓ을 갖는 중심 가우시안 잡음으로 모델링된다. 논문은 먼저 이 SPDE가 무작위장 해(random field solution)를 갖기 위한 필요충분조건을 Dalang‑type 적분 조건 형태로 제시한다. 이 조건은 Fourier 변환을 이용한 스펙트럼 분석을 통해, 잡음의 공간적 스펙트럼 |ξ|^{-2ℓ}와 시간적 메모리 커널의 Laplace 변환이 결합된 형태가 L^{2}‑적분 가능해야 함을 보여준다.

조건이 만족될 때, 저자들은 기본 해(kernels)인 G_{β,α,γ}(t,x)의 작은 t와 큰 |x|에서의 정확한 비동등식(asymptotics)을 Fox H‑함수와 Mittag‑Leffler 함수의 특성을 활용해 도출한다. 특히 t→0, |x|→0 근방에서는 G∼t^{β−1−γ}·|x|^{α−d} 형태의 꼬리거동을, t→∞ 혹은 |x|→∞에서는 지수적 감쇠와 다항식적 전이를 동시에 보이는 복합적 감소율을 얻는다. 이러한 커널 추정은 변분(variance) 계산에 직접 투입되어, 시간 차분 Δ_t u(t,x)=u(t+h,x)−u(t,x)와 공간 차분 Δ_x u(t,x)=u(t,x+z)−u(t,x)의 2차 모멘트가 각각
E|Δ_t u|^{2} ≍ h^{2βH+2γ−1}·(1+|x|)^{-2ℓ} ,
E|Δ_x u|^{2} ≍ |z|^{2αH+2γ−d}·(1+t)^{-2βH}
와 같은 정확한 스케일을 갖는다는 것을 증명한다.

이러한 두‑면 변분 상한을 바탕으로 강한 국소 비결정성(SLND)을 구축한다. 시간에 대해서는 β=1(전형적 열 방정식)에서는 양방향 SLND을, β∈(0,2) 전 범위에서는 한쪽 방향(one‑sided) SLND을, β=2(전형적 파동 방정식)에서는 특정 γ 구간에서 양방향 SLND을 각각 증명한다. 공간에 대해서는 파라미터 전 범위에 걸쳐 SLND이 성립함을 보이며, 이는 조건 (1.2)에서 상수 C와 반경 δ가 n(샘플 수)와 무관하게 존재함을 의미한다. SLND은 Gaussian 필드의 조건부 분산이 주변 점들의 변동에 의해 충분히 낮아지지 않음을 보장하므로, 연속성 모듈러스, Chung‑type 로그법칙, 작은 구체 확률 등 정밀한 경로 결과를 도출하는 핵심 도구가 된다.

마지막으로 저자들은 위 결과들을 이용해

1. 전역 및 국소 연속성 모듈러스: sup_{|t−s|≤δ}|u(t,x)−u(s,x)| ≍ δ^{βH+γ−½}·(log 1/δ)^{½} 등,
2. Chung‑type LIL: limsup_{δ→0} sup_{|t−s|≤δ}|u(t,x)−u(s,x)| / (δ^{βH+γ−½}√{2log log 1/δ}) =1,
3. 작은 구체 확률: P( sup_{t∈