2.5.3 — 비홀로노믹 구속: 속도 의존 구속과 적분 불가능 의 어려움

속도가 들어간 구속식 ∑aαβq˙α+a0β=0\sum a^\beta_\alpha \dot q^\alpha + a^\beta_0 = 0 이 적분 불가능 이면 비홀로노믹. 라그랑주 곱셈자 처방은 여전히 가능하지만 변분 원리와의 짝짓기가 미묘 — vakonomic vs nonholonomic 의 갈림길.

본문이 말하는 것

비홀로노믹 구속 (non-holonomic constraint) 의 정의:

∑αa  αβ(q,t) q˙α+a  0β(q,t)=0(β=1,…,k)\sum_\alpha a^\beta_{\;\alpha}(q, t)\, \dot q^\alpha + a^\beta_{\;0}(q, t) = 0 \quad (\beta = 1, \dots, k)

즉 속도에 대해 1차 의 식 kk 개. 만약 이 식이 적분 가능 (1-형식 σβ=aαβdqα+a0βdt\sigma^\beta = a^\beta_\alpha dq^\alpha + a^\beta_0 dt 가 정확함 — §1.6.6 의 푸앵카레 보조정리) 이라면 어떤 fβ(q,t)f_\beta(q, t) 에 대해 f˙β=0\dot f_\beta = 0 → fβ=f_\beta = const — 결국 홀로노믹. 적분 불가능 일 때만 진정한 비홀로노믹.

§1.1.2 가 홀로노믹 구속만 다뤘던 것의 확장 — 비홀로노믹은 §1 의 범위 밖이라 미뤘던 것.

대표 예시.

  • 굴러가지만 미끄러지지 않는 동전. 동전 중심의 위치 (x,y)∈R2(x, y) \in \mathbb R^2, 동전 평면이 향하는 방향 θ\theta, 동전이 굴린 각도 ϕ\phi. 4 좌표. 구속:
x˙=R ϕ˙ cos⁡θ,y˙=R ϕ˙ sin⁡θ\dot x = R\, \dot\phi\, \cos\theta, \quad \dot y = R\, \dot\phi\, \sin\theta

— 속도 식 2 개. 적분 불가능 (회전 방향 θ\theta 가 바뀌면 결과가 누적되어 다른 위치로). 즉 위치만으로 정의되는 구속 함수 f(x,y,θ,ϕ)=0f(x, y, \theta, \phi) = 0 이 존재하지 않는다.

  • 스케이트 날. 스케이터 위치 (x,y)(x, y) + 방향 θ\theta. 구속: 속도가 항상 날 방향 — y˙cos⁡θ−x˙sin⁡θ=0\dot y \cos\theta - \dot x \sin\theta = 0. 적분 불가능.

다랑베르 처리. 비홀로노믹 구속의 가상 변위 는 순간의 속도 구속 을 만족해야 한다:

∑αa  αβ(q,t) δqα=0\sum_\alpha a^\beta_{\;\alpha}(q, t)\, \delta q^\alpha = 0

(시간 부분 a0βδta^\beta_0 \delta t 는 δt=0\delta t = 0 이라 사라짐.) 다랑베르 원리 + 라그랑주 곱셈자 형식이 그대로 적용:

ddt∂L∂q˙α−∂L∂qα=λβ a  αβ\frac{d}{dt}\frac{\partial L}{\partial \dot q^\alpha} - \frac{\partial L}{\partial q^\alpha} = \lambda^\beta\, a^\beta_{\;\alpha}

— 형식적으로 §2.5.1 의 홀로노믹 식과 같다 (단, 우변의 계수가 aαβa^\beta_\alpha — 적분 가능 한정 시 ∂fβ/∂qα\partial f_\beta / \partial q^\alpha 와 일치).

한 번 더, 천천히

도해 설명 — 비홀로노믹 의 변분 원리와의 미묘한 관계 가 본 절의 핵심 어려움.

(a) 다랑베르 처방은 작동 한다. 위의 라그랑주 곱셈자 식이 물리적으로 옳은 운동 을 만든다 — 실제 동전이 그렇게 굴러간다. 물리적 진실.

(b) 그러나 변분 원리 δS=0\delta S = 0 와 동치가 아니다. 홀로노믹 구속에서는 다랑베르 + 곱셈자 = 변분 원리 + 곱셈자 (= §2.5.2 의 L~\tilde L). 비홀로노믹에서는 두 처방이 다른 운동 을 만든다. 이 차이가 분석 역학의 고전적 논쟁 — vakonomic mechanics vs nonholonomic mechanics.

  • Nonholonomic mechanics: 다랑베르 원리 + 라그랑주 곱셈자. 실제 물리 와 일치. 가상 변위가 순간의 속도 구속만 만족.
  • Vakonomic mechanics: 확장 작용 S~\tilde S 의 변분 = 0. 가상 변위가 적분된 경로 구속 까지 만족. 실제 동전과 다른 운동을 만들기도 함. 수학적 으로 우아하지만 실제 굴러가는 동전을 안 묘사.

본 책은 Nonholonomic — 물리적 진실 의 길을 택한다. Vakonomic 은 제어 이론 같은 다른 문제 에서 적합 (최적 경로 = 작용 적분의 변분).

(c) §1.1.2 의 홀로노믹 한정 가설을 본 절에서 깬다. §1.1.2 는 범위 한정 으로 홀로노믹만 다뤘다. 본 절이 그 너머 — 다랑베르 가상 변위 개념이 어떻게 비홀로노믹까지 확장되는지를 박는다.

(d) §2.4 의 준좌표와의 비교. 준좌표는 자유 좌표의 적분 불가능 결합 (자유도 같음). 비홀로노믹 구속은 적분 불가능 한 구속 자체 (자유도 감소). 같은 적분 불가능 이라도 역할이 다름.

(e) 카오스·제어로의 다리. 비홀로노믹 시스템은 non-trivially controllable — 적분 가능 구속과 달리 경로 가 최종 자세 에 의존. 자동차 평행주차, 위성 자세 제어, 휴머노이드 로봇 — 모두 비홀로노믹 동력학. 제어 이론에서 활발히 다뤄지는 클래스.

(f) 실용적 처방. 동전·자전거·스케이트의 운동을 실제로 풀려면:

  1. 좌표 qαq^\alpha 와 비홀로노믹 구속 aαβq˙α=0a^\beta_\alpha \dot q^\alpha = 0 을 적는다.
  2. 곱셈자 λβ\lambda^\beta 도입.
  3. 라그랑주 곱셈자 식 + 구속식 + 그 시간 미분 (가속도 조건) 으로 λβ\lambda^\beta 결정.
  4. 운동방정식 적분.

물리적으로 정확한 결과를 얻는다. 단, 변분 원리 로 적기는 어렵다 (vakonomic 으로 가야 하지만 그건 다른 운동).

다음 章 (3 章) 로 가는 다리

§2 의 라그랑주 형식 모든 측면이 박혔다. 다음 §3 은 변분 원리 — 라그랑주 방정식을 작용 적분의 극값 조건 으로 다시 보는 관점. 해밀턴의 원리, 워이스의 원리, 노에터의 정리 (재논의) 가 모두 변분의 어휘로 통합된다. §2.5.3 에서 본 비홀로노믹과 변분 원리의 미묘함 도 §3 의 변분 원리 무엇을 의미하는가 의 깊은 이해와 함께 다시 떠오른다.

§1 의 수학 도구 (다양체·미분형식), §2 의 라그랑주 형식, §3 의 변분 원리, §4 의 해밀턴 형식, §5 의 정준 변환 — 해석역학 I 의 5 章 구조가 유기적으로 이어진다. 章 2 의 끝이지만, 책의 절반에 도착했을 뿐.