완전 유체 속 3차원 스위머의 일반적 제어 가능성

초록

**
본 논문은 무점성·비압축성 유체 안에서 형태 변화를 통해 움직이는 3차원 물체(스위머)의 운동 방정식을 수학적으로 모델링하고, 두 가지 주요 제어 결과를 증명한다. 첫 번째는 ‘동기화 수영’으로, 밀도와 초기 형태를 아주 작은 정도만 조정하면 임의의 궤적과 형태 변화를 거의 정확히 따라갈 수 있음을 보인다. 두 번째는 ‘프리스타일 수영’으로, 다섯 개의 기본 변형만을 적절히 조합하면 어떤 궤적도 근사적으로 구현할 수 있음을 제시한다.

**

상세 분석

**
논문은 먼저 스위머를 고정된 관성계 E와 이동하는 몸체 좌표계 e 두 개의 프레임으로 기술한다. 몸체의 위치와 자세는 회전 행렬 R(t)∈SO(3)와 평행 이동 벡터 r(t)로 나타내며, 이들의 시간 미분으로부터 선속도 v와 각속도 Ω를 정의한다. 형태 변형은 단위 구 (\bar B) 의 C¹‑디퓨오몰피즘 (\Theta_t=Id+\vartheta_t) 으로 기술되고, 변형 함수 (\vartheta_t) 는 D¹₀(ℝ³) 공간에 속한다. 자기구동 제약식(1.2)은 질량 중심과 각운동량이 변형 과정에서 보존되도록 하는 적분식으로, 이는 실제 물리적 스위머가 내부 힘만으로 변형한다는 가정을 반영한다.

유체는 무점성·비압축성 가정 하에 Euler 방정식으로 기술되며, 초기 회전이 없을 경우 흐름은 무회전성을 유지한다. 따라서 유체 속도는 포텐셜 (\phi) 와 (\psi_i) (6개의 기본 포텐셜)로 표현된다. 각 포텐셜은 외부 무한대에서 0으로 수렴하고, 경계 (\Sigma_t) 에서 Neumann 조건을 만족한다. 이 포텐셜들을 이용해 유체와 몸체의 상호작용을 질량 행렬 (M_r(t)=M_{rb}(t)+M_{rf}(t)) 와 교차항 (N(t)) 으로 정량화한다. 여기서 (M_{rb}) 는 몸체 자체 질량·관성 텐서를, (M_{rf}) 는 유체에 의해 유도된 추가 관성 효과를 담는다.

동역학은 식 (1.6) (\dot{\Omega},\dot{v}= -M_r^{-1}(t)N(t)) 으로 요약되며, 이는 제어 입력 (\vartheta_t) 에 대한 비선형 연산자를 포함한다. 제어 입력은 형태 변형 자체이며, 변형이 바뀔 때마다 유체 영역 (F_t) 과 포텐셜 (\psi_i,\phi) 가 재계산되어 질량 행렬이 실시간으로 변한다. 논문은 먼저 이 비선형 시스템이 주어진 (\vartheta_t) 에 대해 전역 해가 존재하고, 입력‑출력 매핑이 연속임을 Proposition 1.1 으로 증명한다.

제어 가능성 분석은 두 단계로 전개된다. 첫 단계에서는 ‘스위머 구성(SC)’이라는 무한 차원 매니폴드 (C(n)) 을 정의한다. 여기에는 밀도 (\rho), 기본 변형 (\vartheta), 그리고 (n) 개의 독립적인 기본 변형 (V_i) 가 포함된다. 이 매니폴드는 자기구동 제약을 만족하는 모든 가능한 스위머를 포괄한다. 두 번째 단계에서는 기하 제어 이론의 Lie‑bracket 전파 원리를 적용한다. 질량 행렬과 교차항을 매개변수 (c\in C(n)) 에 대한 해석적 함수로 보이고, 제어 벡터필드 (f_i(c)) 와 그들의 Lie 괄호가 전역적으로 스팬을 형성하는 경우 시스템이 완전 제어 가능함을 보인다.

특히, 저자들은 구체적인 ‘특수 스위머’ 사례를 구성해 해당 스위머가 위 조건을 만족함을 직접 계산한다. 해석적 함수의 영점이 비자명하게 존재함을 이용해, 매니폴드 (C(n)) 내 거의 모든 점이 동일한 제어 가능성을 공유한다는 일반화된 결론을 도출한다. 이 과정에서 ‘동기화 수영’ 정리는 목표 궤적 ((\bar R(t),\bar r(t))) 과 목표 형태 (\bar\vartheta(t)) 를 임의의 작은 오차 (\varepsilon) 이내로 근사할 수 있음을 보이며, ‘프리스타일 수영’ 정리는 다섯 개의 기본 변형 (V_1,\dots,V_5) 만으로도 임의의 궤적을 근사할 수 있음을 증명한다. 두 정리 모두 밀도 (\rho) 를 아주 작은 정도로만 조정하면 된다며, 실제 물리적 구현에서의 유연성을 강조한다.

결론적으로, 이 연구는 완전 유체 환경에서 3차원 형태 변형 스위머의 제어 가능성을 엄밀히 수학화하고, 일반적인 형태와 밀도 조건 하에서 거의 모든 스위머가 원하는 움직임을 구현할 수 있음을 증명한다. 이는 기존 2차원 연구를 고차원으로 확장한 동시에, 실용적인 ‘프리스타일’ 제어 전략을 제공함으로써 로봇 수영체 설계와 바이오모터 분석에 중요한 이론적 토대를 제공한다.

**