확률 편미분방정식의 특이 시각 차원과 에너지 경계

본 연구는 반선형 확률 편미분방정식(SPDE)에서 전역 약해 해와 국소 강해 해가 동시에 존재하는 상황을 다루며, 두 해가 일치하지 않는 “특이 시각” 집합의 기하학적 크기를 정량화한다. 논문은 크게 네 부분으로 구성된다. 첫 번째 장에서는 연구 배경과 동기를 제시한다. 3차원 Navier‑Stokes 방정식(NSE)의 결정론적 경우, Leray와 Scheffer가 제시한 특이 시각의 Hausdorff 차원 ≤ ½ 결과가 유명하다. 그러나 물리적 현상에서는 잡음이 필연적으로 포함되며, 특히 전송형(Kraichnan) 및 Lie‑transport 잡음은 실제 난류 모델링에 중요하다. 이러한 잡음이 포함된 SPDE에 대해 부분 정규성(특히 특이 시각의 차원) 결과가 거의 없다는 점을 지적하고, 이를 메우는 것이 본 논문의 목표임을 밝힌다. 두 번째 장에서는 프랙탈 차원( Hausdorff, Minkowski )에 대한 기본 정의와, 확률적 측면에서의 “Lebesgue points” 및 “progressive measurability” 개념을 정리한다. 이어서 최신 stochastic maximal L^p‑regularity 이론을 요약하고, 이를 통해 임계 공간(critical space)에서의 강해 해 존재성을 확보한다. 세 번째 장이 논문의 핵심이다. 여기서 “정규 시각”과 “특이 시각”을 엄밀히 정의한다. 정규 시각 t₀는 어떤 확률적 구간 (t,τ)와 정지시간 τ가 존재해, 해 u가 그 구간에서 C^{½‑, 1+γ}_loc 정규성을 만족한다는 의미다. 반대로 정규성이 깨지는 시각을 특이 시각이라 부른다. 이후 두 주요 정리를 제시한다. - 정리 3.8(및 3.10)은 일반적인 반선형 SPDE에 대해, 약해 해가 만족하는 시간 적분 지수 ℓ와 공간 정규성의 초과량 Exc에 따라 특이 시각 집합 S의 Hausdorff·Minkowski 차원이 ≤ 1−ℓ·Exc임을 보인다. 또한 (1−ℓ·Exc)‑차원 Hausdorff·Minkowski 측도가 0임을 증명한다. - 정리 3.13은 특이 시각의 “밀도”에 대한 추가 성질을 제시하며, 특히 ℓ·Exc가 1에 가까워질수록 특이 시각이 거의 사라짐을 보여준다. 증명 전략은 에너지 부등식의 “quenched” 형태(시간마다 조건부 기대값을 취하는 형태)를 이용해, 약해 해를 강해 해와 연결한다(weak‑strong uniqueness). 강해 해는 임계 공간에서 존재하고, 그 수명 τ는 초기 데이터의 초과 정규성(Exc)만큼 의존한다. 따라서 τ가 충분히 길면 해당 구간은 정규 시각이 된다. 이 과정을 전역에 걸쳐 커버링하면 차원 추정이 가능해진다. 네 번째 장에서는 위의 일반 이론을 3차원 stochastic NSE에 적용한다. 잡음은 두 종류로 나뉜다. (i) 전송 잡음(μ_n=0, σ_n∈C^γ)와 (ii) Lie‑transport 잡음(μ_n=∇σ_n). 두 경우 모두 σ_n이 충분히 매끄러우면 (γ>0) 강해 해가 C^{½‑, 1+γ}_loc 정규성을 갖는다. 주요 결과인 정리 5.5와 5.6은 다음을 말한다. 1) 모든 ε∈(0,1) 에 대해, ε‑특이 시각 집합 T_ε^Sing와 전체 특이 시각 집합 T^Sing의 Hausdorff·Minkowski 차원이 각각 ≤ ½이며, 해당 ½‑차원 측도는 0이다. 이는 Leray‑Scheffer의 결정론적 결과를 잡음이 있는 경우에도 그대로 유지한다는 의미다. 2) 추가로 Serrin 조건( u∈L^{p₀}_t L^{q₀}_x, 2/p₀+3/q₀>1 )을 만족하면, 차원을 δ₀= p₀/(2p₀−3q₀+1) 로 더 낮출 수 있다. 이 경우에도 0‑측도가 유지된다. 이러한 결과는 잡음의 매끄러움 γ와 무관하게 성립한다는 점에서 특히 의미가 크다. 논문은 또한 Besov‑type 초과 정규성을 이용한 변형 결과와, 전역이 아닌 전역적인 (whole‑space) 경우에 대한 주석을 제공한다. 마지막으로, 저자는 현재 연구의 한계와 향후 과제(예: 특이 시각을 공간‑시간 집합으로 확장, 더 일반적인 비선형성, 비정형 잡음 등)를 논의하며 마무리한다. 전체적으로, 이 논문은 SPDE 분야에서 부분 정규성 이론을 최초로 체계화하고, 특히 물리적으로 중요한 3차원 stochastic NSE에 대한 강력한 차원 제한을 제공한다.