2025-11-18T00:22:13.225937

Existence and approximate controllability results for time-fractional stochastic Navier-Stokes equations

Chaudhary, Reich, Nieto

This paper deals with time-fractional stochastic Navier-Stokes equations, which are characterized by the coexistence of stochastic noise and a fractional power of the Laplacian. We establish sufficient conditions for the existence and approximate controllability of a unique mild solution to time-fractional stochastic Navier-Stokes equations. Using a fixed point technique, we first demonstrate the existence and uniqueness of a mild solution to the equation under consideration. We then establish approximate controllability results by using the concepts of fractional calculus, semigroup theory, functional analysis and stochastic analysis.

academic

시간 분수 확률 Navier-Stokes 방정식의 존재성 및 근사 가제어성 결과

기본 정보

논문 ID: 2408.17173
제목: Existence and approximate controllability results for time-fractional stochastic Navier-Stokes equations
저자: Renu Chaudhary (Technion & Technical University of Applied Sciences Würzburg-Schweinfurt), Simeon Reich (Technion), Juan J. Nieto (Universidad de Santiago de Compostela)
분류: math.OC (최적화 및 제어), math.DS (동역학계)
발표일: 2025년 10월 13일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2408.17173

초록

본 논문은 확률 노이즈와 Laplacian 분수 거듭제곱이 공존하는 특성을 갖는 시간 분수 확률 Navier-Stokes 방정식을 연구한다. 충분 조건을 수립함으로써 시간 분수 확률 Navier-Stokes 방정식의 유일한 온화해(mild solution)의 존재성과 근사 가제어성을 증명한다. 먼저 부동점 기법을 사용하여 고려된 방정식의 온화해의 존재 유일성을 증명한 후, 분수 미적분학, 반군 이론, 함수해석학 및 확률 해석의 개념을 적용하여 근사 가제어성 결과를 수립한다.

연구 배경 및 동기

문제 배경

고전적 Navier-Stokes 방정식의 한계: 전통적인 결정론적 Navier-Stokes 방정식은 유체 시스템의 확률적 교란과 기억 효과를 충분히 설명할 수 없으며, 실제 응용에서 제한이 있다.
분수 미분 방정식의 장점: 분수 도함수는 장기 기억 과정을 효과적으로 특성화할 수 있으며, 비정상 확산 과정과 점탄성 현상 모델링에서 정수 차수 도함수보다 복잡한 물리 현상을 설명하는 데 더 적합하다.
확률적 교란의 중요성: 실제 유체 시스템에는 피할 수 없는 확률적 교란과 불확실성이 존재하므로, 시스템 거동을 더 정확히 설명하기 위해 수학 모델에 확률항을 도입할 필요가 있다.

연구의 의의

이론적 가치: 시간 분수 확률 Navier-Stokes 방정식 이론 연구의 공백, 특히 존재성과 가제어성 측면에서의 공백을 채운다.
응용 전망: 대기 오염물질 확산, 생명공학의 미유체 제어, 지하 오염물질 전송 등의 분야에서 중요한 응용 가치를 갖는다.
방법론 혁신: 분수 미적분학, 확률 해석 및 제어 이론을 결합하여 관련 분야에 새로운 수학적 도구를 제공한다.

핵심 기여

시간 분수 확률 Navier-Stokes 방정식의 온화해 존재 유일성 정리 수립
- 새로운 충분 조건 프레임워크 제시
- Banach 축약 사상 원리를 사용한 해의 존재 유일성 증명
시스템의 근사 가제어성 증명
- 명시적 제어 함수 형태 구성
- 가제어성의 충분 조건 수립
혁신적 수학 분석 기법 개발
- 부동점 이론과 분수 연산자 이론의 결합
- 분수 확률 시스템 처리를 위한 새로운 방법 제공
수치 검증 예제 제공
- 2차원 알고리즘을 통한 이론 결과의 유효성 검증
- 제어 전략의 실제 효과 시연

방법 상세 설명

문제 정의

다음의 시간 분수 확률 Navier-Stokes 방정식을 연구한다:

$\partial_t^\eta z(t,x) + \nu(-\Delta)^{\alpha/2}z(t,x) - (z(t,x) \cdot \nabla)z(t,x) - \nabla\rho(t,x) = Cv(t,x) + \hbar(t,z(t,x))\frac{dW(t)}{dt}$

여기서:

$\eta \in (0,1)$ : 분수 시간 도함수의 차수
$\alpha \in (1,2)$ : 분수 Laplacian의 차수
$z(t,x)$ : 속도장
$\rho(t,x)$ : 압력장
$v(t,x)$ : 제어 함수
$W(t)$ : Wiener 과정
$C$ : 선형 제어 연산자

이론적 프레임워크

1. 함수 공간 설정

기본 공간: $L^p(\Omega)$ , $H^k(\Omega)$ 등의 Sobolev 공간
확률 공간: $L^p(\Sigma;H)$ , $H$ 값 확률변수 공간
분수 공간: $H^\alpha = D(A^{\alpha/2})$ , 여기서 $A$ 는 Stokes 연산자

2. 연산자 이론

Mittag-Leffler 연산자: $M_\eta(t) = \int_0^\infty K_\eta(s)S_\alpha(t^\eta s)ds$ $M_{\eta,\eta}(t) = \int_0^\infty \eta s K_\eta(s)S_\alpha(t^\eta s)ds$
가제어성 연산자: $L_T v := \int_0^T (T-s)^{\eta-1}M_{\eta,\eta}(T-s)Cv(s)ds$

3. 온화해 정의

온화해는 다음 적분 방정식을 만족하는 확률 과정으로 정의된다: $z(t) = M_\eta(t)z_0 + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)[G(z(r)) + Cv(r)]dr + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)\hbar(r,z(r))dW(r)$

기술적 혁신점

1. 부동점 연산자 구성

연산자 $F_\lambda(z(t)): L^p(\Sigma,H^\beta) \to L^p(\Sigma,H^\beta)$ 를 정의한다: $F_\lambda(z(t)) := M_\eta(t)z_0 + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)[G(z(r)) + Cv_\lambda(r,z)]dr + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)\hbar(r,z(r))dW(r)$

여기서 제어 함수 $v_\lambda$ 는 가제어성 요구사항을 고려하여 설계된다.

2. 추정 기법

Hölder 부등식과 Burkholder-Davis-Gundy 부등식을 사용한 확률 적분 처리
Mittag-Leffler 연산자의 유계성과 연속성 활용
축약 사상 조건 수립

실험 설정

수치 알고리즘

2차원 정사각형 영역 $(0,1)^2$ 에서의 시간 분수 확률 Navier-Stokes 방정식을 고려한다: $\partial_t^{0.7} z(t,x,y) + 0.1(-\Delta)^{0.9}z(t,x,y) = v(t,x,y) + 0.05z(t,x,y)\frac{dW(t)}{dt}$

수치 방법

분수 도함수 이산화: Grünwald-Letnikov 공식 사용
분수 Laplacian: 스펙트럼 방법 처리
확률항: Euler-Maruyama 격식
시간 적분: 반음함수 Euler 격식

제어 목표

초기 상태 $z_0(x,y) = \sin(\pi x)\sin(\pi y)$ 를 목표 상태로 제어한다.

실험 결과

주요 결과

정리 1 (존재 유일성)

조건 (1)-(2) 하에서, 시간 분수 확률 Navier-Stokes 방정식은 $L^p(\Sigma,H^\beta)$ 공간에서 유일한 온화해를 가지며, 여기서 $p \geq 2$ , $\eta p \neq 1$ , $0 \leq \beta < \alpha < 2$ 이다.