3차원 확률적 전역 수정 나비에 스토크스 방정식의 무한 영역에서 무작위 끌개 존재와 자율성 강건성

초록

본 논문은 Poincaré 부등식을 만족하는 유계·무한 영역에서 3차원 확률적 전역 수정 나비에-스토크스 방정식(SGMNSE)의 무작위 끌개(random attractor)의 존재와, 시간에 따라 수렴하는 외력 하에서 그 끌개가 자율 시스템의 끌개로 수렴하는 ‘자율성 강건성(asymptotic autonomous robustness, AAR)’을 증명한다. 이를 위해 균일한 뒤쪽 템퍼드 우주에서 풀백(pullback) 비압축성, 꼬리‑작음(tail‑smallness) 및 평탄화(flattening) 성질을 이용한 새로운 비컴팩트성 측정법을 도입한다.

상세 분석

논문은 먼저 Poincaré 부등식이 성립하는 개방형 연결 영역 O (유계·무한 모두 포함)를 가정하고, 전통적인 3차원 나비에‑스토크스 방정식의 비선형 항 (u·∇u) 을 (F_N(|u|_V)u·∇u) 로 대체한 전역 수정 모델(GMNSE)을 소개한다. 여기서 (F_N) 는 (|u|_V) 에 대한 절단 함수로, 큰 기울기를 억제해 전역 강한 해의 존재와 유일성을 보장한다. stochastic 버전인 SGMNSE는 (1.5)와 같이 선형 곱셈 잡음 (S(u) = u) 또는 가법 잡음 (S(u)=g) 을 포함한다.

핵심 난관은 무한 영역에서 Sobolev 삽입이 비컴팩트하다는 점이다. 기존 연구는 유계 영역에서만 컴팩트 삽입을 이용해 풀백 비압축성을 증명했지만, 여기서는 Kuratowski 비컴팩트성 측정법(Lemma 2.12)을 활용한다. 이 방법은 두 가지 전제—‘뒤쪽 꼬리‑작음’과 ‘평탄화 성질’—를 만족하면 비압축성을 균일하게 제어할 수 있다. 꼬리‑작음은 시간 구간 ((-\infty,τ]) 전체에 걸쳐 해의 고에너지 부분이 제한된 반경 밖에서 작아짐을 의미하고, 평탄화는 고차 Sobolev 정규화가 제한된 구역에서 낮은 차원으로 압축될 수 있음을 보인다.

압력 항 (p) 은 발산 자유 조건 (\nabla·u=0) 을 이용해 라플라시안 역연산자를 통해 명시적으로 표현한다(식 (1.7)). 무한 영역에서도 (\Delta^{-1})가 (L^2)‑유계임을 Poincaré 부등식으로 보장해, 압력 항을 적절히 추정한다. 이는 가법 및 곱셈 잡음 모두에 대해 (3.39), (4.70)에서 상세히 다루어진다.

주요 결과는 두 정리(2.8, 2.10)로, 첫 번째는 가법 잡음 경우에 무작위 끌개 존재와 AAR을, 두 번째는 곱셈 잡음 경우에 동일한 결론을 제시한다. AAR은 외력 (f(t)) 가 시간 (t→∞) 에 따라 상수 (f_∞) 로 수렴할 때, 무작위 끌개 (\mathcal{A}τ(ω)) 가 자동 시스템의 끌개 (\mathcal{A}∞(ω)) 에 거의 확실히 수렴함을 의미한다(식 (1.6)). 이를 위해 균일 템퍼드 우주 (\mathcal{D}) 위에서 풀백 비압축성을 시간 구간 전체에 걸쳐 균일하게 확보하고, 그 결과 얻은 ‘균일 풀백 컴팩트 끌개’가 기존 정의와 동등함을 보인다(Section 3.5, Step VI).

또한, 압축성 추정에 필요한 ‘에너지 방정식’ 기법을 무한 구간 ((-\infty,τ]) 에 직접 적용할 수 없으므로, 꼬리‑작음과 평탄화 성질을 결합한 새로운 비컴팩트성 접근법을 제시한다. 이는 향후 다른 무한 영역 비선형 SPDE에도 적용 가능한 일반적인 틀을 제공한다.