라그랑주 역학

물리 게임 개발 마지막 수정: 2026-07-14 04:37:41

1. 개요[편집]

라그랑주 역학 Lagrangian Mechanics
분야	고전역학 × 변분법 × 다물체동역학
정립	조제프루이 라그랑주 (1788, 해석 역학)
핵심 원리	최소작용원리 (Principle of Least Action)
지배 방정식	오일러-라그랑주 방정식
관련	변분법, 해밀턴 역학

뉴턴은 “힘을 다 그려라”라고 했고, 라그랑주는 “에너지만 알면 된다”라고 했다.

라그랑주 역학(Lagrangian mechanics)은 계의 운동을 힘과 가속도가 아니라 운동에너지와 위치에너지의 차이인 라그랑지안(Lagrangian) $L = T - V$ 로 기술하는 고전역학의 재정식화(reformulation)이다. 뉴턴 역학과 물리적으로 완전히 동등하지만, 복잡한 구속 조건이 걸린 계를 훨씬 우아하게 다룰 수 있어 물리 엔진·로보틱스·다물체동역학의 이론적 뼈대가 된다.

뉴턴의 $\mathbf{F} = m\mathbf{a}$ 는 모든 힘을 벡터로 그려야 하고, 도르래·경사면·이중진자 같은 구속이 걸리면 장력이나 수직항력 같은 구속력(constraint force)을 일일이 미지수로 놓아야 해서 식이 급격히 지저분해진다. 라그랑주 역학은 구속에 맞춘 일반화 좌표만 잡으면 구속력이 자동으로 사라지고, 스칼라 함수 하나(라그랑지안)를 미분하는 것만으로 운동방정식이 튀어나온다.

2. 최소작용원리[편집]

라그랑주 역학의 심장은 최소작용원리(principle of least action, 또는 정류작용원리)다. 계가 시각 $t_1$ 의 상태에서 $t_2$ 의 상태로 갈 때, 자연은 상상 가능한 무수한 경로 중에서 작용(action)이라 불리는 아래 적분을 정류(stationary)로 만드는 경로를 실제로 택한다.

S = \int_{t_1}^{t_2} L(q, \dot{q}, t) \, dt

여기서 $L = T - V$ 이고 $q$ 는 일반화 좌표다. “자연은 게으르다”는 낭만적 해석이 유명하지만, 엄밀히는 최소가 아니라 정류값(극값 또는 안장점)이다.¹ 이 원리는 놀랍게도 광학의 페르마 원리, 나아가 양자역학의 경로적분과도 한 줄기로 이어진다. 즉 “자연은 작용을 정류로 만든다”는 명제는 고전역학을 넘어 물리학 전체를 관통하는 대원리다.

3. 오일러-라그랑주 방정식[편집]

작용 $S$ 를 정류로 만드는 경로의 조건을 변분법으로 유도하면 그 유명한 오일러-라그랑주 방정식(Euler-Lagrange equation)이 나온다. 각 일반화 좌표 $q_i$ 에 대해:

\frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}_i}\right) - \frac{\partial L}{\partial q_i} = 0

이 한 줄이 뉴턴의 운동 제2법칙과 동등하다. 실제로 데카르트 좌표에서 $L = \tfrac{1}{2}m\dot{x}^2 - V(x)$ 를 넣고 계산하면 $m\ddot{x} = -\partial V/\partial x = F$ 가 정확히 튀어나온다. 차이는 방법론이다. 뉴턴은 벡터 힘의 균형에서 출발하고, 라그랑주는 스칼라 에너지의 미분에서 출발한다. 좌표를 극좌표든 각도든 자유롭게 골라도 방정식의 형태가 그대로 유지된다는 것(공변성)이 결정적 장점이다.

4. 일반화 좌표와 구속[편집]

라그랑주 역학의 실전 위력은 일반화 좌표(generalized coordinates)에서 나온다. 진자 하나를 생각하면, 데카르트 좌표 $(x, y)$ 는 $x^2 + y^2 = l^2$ 이라는 구속에 묶여 있어 자유도가 실은 1개뿐이다. 이때 각도 $\theta$ 하나만 일반화 좌표로 잡으면 구속이 좌표계 안에 이미 녹아 들어가 사라진다. 줄의 장력을 계산할 필요조차 없다.

이렇게 구속을 좌표 선택으로 흡수할 수 없는 경우(예: 굴러가는 바퀴의 미끄러지지 않는 조건, 등식 형태의 구속)에는 라그랑주 승수법을 도입한다. 구속 조건 $g(q) = 0$ 마다 승수 $\lambda$ 를 붙여 방정식에 추가하면, 이 $\lambda$ 가 놀랍게도 바로 그 구속을 유지하는 데 필요한 구속력의 크기가 된다.² 물리 엔진의 제약 해결기가 관절·접촉을 처리하는 수학적 근거가 정확히 이것이다.

5. 해밀턴 역학과의 관계[편집]

라그랑주 역학을 한 번 더 변환하면 해밀턴 역학(Hamiltonian mechanics)이 된다. 속도 $\dot{q}$ 대신 일반화 운동량 $p_i = \partial L / \partial \dot{q}_i$ 을 독립 변수로 택하는 르장드르 변환(Legendre transformation)을 거치면, 라그랑지안 $L$ 이 해밀토니안 $H = \sum_i p_i \dot{q}_i - L$ 로 바뀐다. 대부분의 경우 $H$ 는 계의 총 에너지 $T + V$ 와 같다.

그러면 하나의 2계 미분방정식(오일러-라그랑주)이 두 개의 1계 미분방정식(해밀턴 정준방정식)으로 나뉜다.

\dot{q}_i = \frac{\partial H}{\partial p_i}, \qquad \dot{p}_i = -\frac{\partial H}{\partial q_i}

라그랑주 형식은 상대론·장론처럼 계를 통째로 우아하게 기술할 때 강하고, 해밀턴 형식은 위상공간(phase space) 구조가 명확해 통계역학·양자역학·수치적분에 유리하다. 특히 게임과 시뮬레이션에서 에너지를 오래 보존하는 심플렉틱 적분기(베를레 적분 계열)가 해밀턴 구조 위에서 설계된다는 점이 실무적으로 중요하다.³

6. 물리 엔진·다물체동역학에서의 활용[편집]

라그랑주 역학은 추상적인 이론처럼 보이지만, 실제로는 복잡한 기계 계를 시뮬레이션하는 가장 실용적인 도구다.

다물체동역학(MBD): 로봇 팔, 자동차 서스펜션, 굴착기 관절처럼 여러 강체가 관절로 연결된 계는 관절 각도를 일반화 좌표로 잡는 것이 자연스럽다. 라그랑주 방정식으로 세우면 구속력이 자동 소거되어 방정식 수가 극적으로 줄어든다.
로보틱스: 로봇 팔의 동역학 모델 $M(q)\ddot{q} + C(q,\dot{q})\dot{q} + G(q) = \tau$ 는 라그랑지안에서 직접 유도되며, 관성행렬 $M$ ·코리올리 항 $C$ ·중력 항 $G$ 가 전부 라그랑지안의 편미분으로 나온다. 역운동학과 짝을 이뤄 제어에 쓰인다.
물리 엔진: 물리 엔진의 강체 동역학과 제약 해결기는 라그랑주 승수 형식으로 접촉·관절 구속을 푼다. 관절로 이어진 캐릭터(위치 기반 동역학의 래그돌 포함)가 자연스럽게 움직이는 배경에 이 이론이 있다.

7. 관련 문서[편집]

그래서 물리학자들은 “최소작용원리”라는 이름이 반쯤 틀렸다고 투덜댄다. 이중진자처럼 실제 경로가 작용의 안장점(saddle point)인 경우가 흔하기 때문. 정확히는 “정류작용원리(stationary action)“가 맞지만, “최소”라는 낭만이 너무 강력해서 이름이 안 바뀐다. ↩
라그랑주 승수 $\lambda$ 가 그냥 계산 편의를 위한 더미 변수인 줄 알았는데, 물리적으로 정확히 구속력의 크기라는 사실을 처음 배우면 다들 소름 돋는다. 수학이 공짜로 물리량을 하나 뱉어주는 셈. 물리 엔진에서 이 $\lambda$ 가 곧 관절이 버티는 힘이다. ↩
일반적인 오일러법으로 행성 궤도를 오래 돌리면 에너지가 슬금슬금 새서 행성이 나선을 그리며 추락하거나 튕겨 나간다. 반면 해밀턴 구조를 존중하는 심플렉틱 적분기는 에너지를 장기적으로 유계로 잡아둔다. “수렴은 신에게 맡긴다”던 사람들도 궤도 시뮬레이션에서는 적분기 선택에 신중해진다. ↩