동적 슬립 경계 조건 하 비자율 Navier‑Stokes 흐름의 지수 안정화

초록

본 논문은 동적 슬립 경계 조건을 갖는 비자율 Navier‑Stokes 방정식에 대해, 유한 개의 국소 내부 구동기를 이용한 명시적 피드백 제어법을 제시하고, 임의의 시간‑의존 목표 궤적을 향한 지수적 안정화를 증명한다. 스펙트럼 가정 없이 오블리크 투영을 활용하며, 다중 연결 영역과 다양한 슬립 유형(Navier, 와류형, Neumann)까지 적용 가능함을 보인다.

상세 분석

논문은 먼저 Ω⊂ℝ^d (d=2,3) 에 정의된 비압축성 Navier‑Stokes 시스템에 동적 슬립 경계 조건을 부여한다. 경계 조건은 β∂t y|{∂Ω}=−Dy−νLy+g 와 (y·n)=0 로 구성되며, β>0 일 때 동적, β=0 일 때 정적 슬립을 의미한다. 여기서 D는 대칭 양의 정의 연산자이며, L은 Green 공식에 의해 정의된 경계 연산자(예: Navier, 와류형, Neumann 등)이다. 저자는 이러한 복합 경계 조건이 내부 흐름과 경계 동역학을 강하게 결합시켜, 기존의 스펙트럼 기반 안정화 기법이 적용되기 어려운 상황을 만든다고 지적한다.

제어 입력은 유한 개의 국소화된 내부 구동기 Φ_i (i=1,…,m) 의 선형 결합으로 구성된다. 구동기는 Ω를 작은 서브도메인으로 분할한 뒤, 각 서브도메인에 동일한 형태의 지시함수 1_ω을 곱한 벡터 형태로 정의된다(2차원에서는 (1,0)·1_ω, (0,1)·1_ω 등). 구동기의 수 m은 d·#P 로, #P는 분할된 서브도메인의 개수이다. 구동기의 배치는 도메인의 기하학적 특성에 따라 자유롭게 설계 가능하나, 충분히 많은 수의 구동기가 존재하면 전체 부피는 고정된 상태로 유지된다.

피드백 연산자 K_λ는 Helmholtz 투영 Π와 구동기들의 직교 투영 P_{ΠU_m} 를 이용해 K_λ y = −λ