강인 해석을 위한 확률적 열·자기·유체 동역학 시스템의 강해(solution) 존재와 유일성

초록

본 논문은 유한 영역에서 정의된 다중 물리량(속도, 온도, 자기장 등)을 포함하는 비선형 확률 편미분 방정식(1.1)의 강해(solution) 존재와 유일성을 증명한다. 2차원에서는 전역 존재를, 3차원에서는 최대(무작위) 시간까지의 강해 경로해를 확보한다. 주요 예시로는 확률적 Brinkman‑Forchheimer, MHD, Bénard 대류, 열‑자기‑미소극성 유체 등 여섯 가지 모델을 포함한다.

상세 분석

이 연구는 두 단계의 핵심 기법을 결합한다. 첫째, 연산자 A를 양의 자가수반으로 두고, V=D(A^{1/2})를 에너지 공간으로 설정해 삼중 사슬 V⊂H⊂V′를 구축한다. 비선형 항 B는 반대칭성(2.1)과 Sobolev‑Gagliardo‑Nirenberg 추정식(2.2‑2.5)을 만족하도록 가정함으로써, 에너지 소산 항 ⟨B(v,v),v⟩=0을 확보한다. 이는 기존 MHD·대류 모델에서 흔히 이용되는 구조적 소멸과는 달리, 여기서는 별도의 “취소 구조”가 없더라도 강한 추정이 가능하도록 설계된 것이다. 두 번째는 비선형 연산자 R에 대한 성장·리프시츠 조건(2.6‑2.10)이다. 특히 R이 D(A)에 대해 D(A^{1/8})에 속하도록 요구함으로써, 고차 Sobolev 정규화가 가능해진다.

확률적 항 g는 H, V, D(A) 각각에 대해 동일한 Lipschitz 상수를 갖는 연속 매핑으로 가정한다(조건 G). 이는 Itô 항의 정밀한 추정과 Stochastic Gronwall Lemma 적용에 필수적이다.

증명은 Galerkin 근사법으로 시작한다. 유한 차원 투영 P_n을 이용해 (1.1)의 근사 시스템을 만든 뒤, 에너지 불평등을 통해 정지시간 τ_R 전까지의 2차 모멘트와 고차 모멘트를 균등하게 제어한다. 여기서 “정지시간”은 ‖Φ_n‖_{V}가 일정 임계값을 초과하면 정의되며, 이는 강해 해의 폭발 가능성을 차단한다.

다음 단계는 Cauchy 성질을 보이는 것이다. 두 근사 해 Φ_n, Φ_m에 대해 차이 방정식을 세우고, Itô 공식과 (B)의 반대칭성을 활용해 교차항을 소거한다. 그 결과 얻은 차이 에너지 불평등에 Stochastic Gronwall Lemma을 적용하면, n,m→∞일 때 L^2(Ω;C(