3차원 완전 유체에서 입자 집합의 움직임을 경계 제어로 설계하기

본 논문은 3차원 유체역학에서 라그랑지안 제어 가능성을 연구한다. 먼저 Ω⊂ℝ³의 매끄러운 유한 영역과 그 경계의 일부 Γ를 선택하고, Euler 방정식(1)–(4)을 경계 조건 u·n=0을 ∂Ω\Γ에만 강제한다. Γ에 대한 속도값은 제어 변수로 두어 시스템을 과잉정의된 형태로 만든다. 저자는 라그랑지안 제어를 “입자 집합의 이동”으로 정의하고, 두 개의 Jordan 표면 γ₀, γ₁이 동형동형(isotopic)이며 같은 부피를 둘러싸는 경우에 대해, 임의의 초기 속도 u₀와 ε>0에 대해 시간 T와 해(u,p)를 찾아 φ_u(T,0,γ₀)와 γ₁이 C^k 거리 ε 이하가 되도록 한다(정리 1). 정확한 제어는 불가능함을 논문은 설명한다. 3차원에서 회전(vorticity) 방정식(14)의 구조 때문에, 초기 회전이 없는 영역은 시간 전진 후에도 회전이 없으며, 이는 흐름이 실분석적 성질을 유지하게 만든다. 따라서 γ₁가 비실분석적이면 정확히 도달할 수 없으며, 근사 제어만 가능하다(Remark 3). 증명 전략은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 Krygin의 정리(정리 2)를 이용해 부피 보존 디퓨오토피 h를 만든다. h의 시간 미분 X는 발산이 0이고, γ₀를 γ₁로 정확히 이동시키는 흐름 φ_X를 제공한다. 그러나 X는 경계 조건을 만족하지 않으므로, 두 번째 단계에서 X를 근사하는 포텐셜 흐름을 구성한다. 이를 위해 γ₀가 실분석적 구면이고 X가 실분석적일 때, Lemma 1을 사용해 γ(t)=φ_X(t,0,γ₀) 주변에 조화함수 ψ(t,·)를 정의하고, ∂_ν ψ = X·ν를 만족하도록 만든다. 이후 시간 구간을 작은 구간들로 나누고, 각 구간마다 조화함수 ˆψ_i를 전역적으로 근사시키기 위해 Theorem 4(조화함수 근사 정리)를 적용한다. 조화함수 ˆψ_i는 ∂Ω\Γ에서 Neumann 조건을 만족하도록 보정함수 h_i를 풀어 최종 θ(t,x)=∑χ_i(t)·(ˆψ_i−h_i) 를 정의한다. 이 θ는 ∇θ가 발산이 0이며, 경계에서 필요한 Neumann 조건을 만족한다. 따라서 (ū,p̄)=(∇θ,−∂_tθ−½|∇θ|²)는 Euler 방정식의 해가 되고, φ_{ū}(t,0,γ₀)가 φ_X(t,0,γ₀)와 C^k 거리 ε 이하가 된다. 마지막으로, 초기 속도 u₀≠0인 경우를 다루기 위해 시간 재스케일링 기법을 적용한다. 작은 τ>0을 선택해 ũ(t)=τu(τt) 로 스케일링하면 초기 조건이 0에 가까워지고, 앞서 구성한 흐름을 그대로 사용할 수 있다. 이렇게 하면 원하는 ε와 T를 얻을 수 있다. 논문은 또한 결과가 T를 충분히 작게 잡을 수 있음을 강조한다(Remark 4). 전체적으로, 논문은 3차원 Euler 방정식에서 경계 제어를 통한 라그랑지안 근사 제어 가능성을 최초로 증명하고, 기존 2차원 결과와 차이를 명확히 제시한다.