달랑베르 원리

물리 고체역학 시뮬레이션 마지막 수정: 2026-09-03 04:27:12

1. 개요[편집]

달랑베르 원리 d'Alembert's Principle
조작	관성력 $-m\ddot{\mathbf r}$ 을 외력 칸으로 옮긴다
얻는 것	동역학 문제가 매 순간 정역학 평형 문제가 된다
진짜 내용	가상변위에 사영한 형태 — 구속력이 소거된다
일반형	$\sum_i(\mathbf F_i-m_i\ddot{\mathbf r}_i)\cdot\delta\mathbf r_i=0$
따라 나오는 것	라그랑주 방정식, 케인 방정식, FEM 질량행렬
출전	달랑베르 『동역학론』(1743) — 다만 지금 형태는 라그랑주의 것
한 줄 요약	가짜 힘 하나 도입해서 뉴턴을 정역학으로 강등시킨다

움직이는 걸 못 풀겠으면 안 움직이는 것처럼 보이게 만들면 된다. 회계 조작이지만, 합법이다.

달랑베르 원리(d’Alembert’s principle)는 각 질점의 관성항 $-m_i\ddot{\mathbf r}_i$ 를 “관성력”이라는 이름의 외력으로 취급함으로써 동역학 문제를 매 순간의 정역학 평형 문제로 바꾸어 쓰는 원리다. 뉴턴 제2법칙 $\mathbf F_i=m_i\ddot{\mathbf r}_i$ 를 이항하면

\mathbf F_i-m_i\ddot{\mathbf r}_i=\mathbf 0

이 되고, 좌변을 “가해진 힘 + 관성력의 합”으로 읽으면 형태가 정역학의 힘 평형과 똑같아진다. 여기까지는 초등학교 이항이다. 원리가 원리인 이유는 그다음에 있다 — 이 등식을 허용 가상변위에 사영한 형태

\sum_i\bigl(\mathbf F_i^{\text a}-m_i\ddot{\mathbf r}_i\bigr)\cdot\delta\mathbf r_i=0 \qquad\text{(모든 허용 }\delta\mathbf r_i\text{ 에 대해)}

가 본체이며, 이 형태에서는 구속력이 이미 사라져 있다. 관절 반력·장력·수직항력을 미지수로 세우지 않고 동역학을 풀 수 있다는 것이 이 원리가 제공하는 실질적 가치이고, 라그랑주 역학·다물체 동역학·유한요소법 동해석이 전부 이 지점에서 출발한다.

정역학판인 가상일의 원리가 이 문서의 직전 문서다. 그쪽이 구속력이 왜 소거되는지(이상 구속 가정)를 다루므로 여기서는 반복하지 않고, 관성항을 넣었을 때 무엇이 새로 생기는가에 집중한다.

2. 원래의 달랑베르와 교과서의 달랑베르[편집]

먼저 족보를 정리해야 한다. 달랑베르가 1743년 『동역학론』(Traité de dynamique)에서 실제로 쓴 진술에는 “관성력”이라는 말이 없다. 그는 물체에 걸린 운동(외력이 주려 했던 운동)을 실제로 일어난 운동과 잃어버린 운동으로 쪼개고, 구속 때문에 사라진 그 잃어버린 운동들이 서로 평형을 이룬다고 말했다. 운동량(그의 표현으로는 운동의 양)의 언어로 쓴 진술이지, 힘을 하나 추가하는 조작이 아니었다.

지금 교과서에 실린 $-m\ddot{\mathbf r}$ 형태는 라그랑주가 『해석 역학』(1788)에서 이 진술을 가상일의 언어로 다시 쓴 결과다. 그래서 문헌에서 “달랑베르 원리”는 실질적으로 두 가지를 가리킨다.

부르는 이름	내용	쓰이는 곳
좁은 뜻(공학 교과서)	관성력을 자유물체도에 그려 정역학처럼 푼다	기계요소 설계, 회전체 균형, 준정적 해석
넓은 뜻(달랑베르-라그랑주)	위 등식을 가상변위에 사영한 것	해석역학, 다물체, FEM 동해석

좁은 뜻만 아는 상태에서 “달랑베르 원리를 서술하라”에 답하면 감점된다. 관성력을 도입하고 사영을 빼면 남는 것은 제2법칙의 이항뿐이고, 그건 원리가 아니라 동어반복이다. 새 정보가 들어오는 지점은 오직 “모든 허용 가상변위에 대해”라는 양화사다.¹

3. 좁은 뜻 — 자유물체도에 가짜 힘을 그린다[편집]

그래도 좁은 뜻이 실무에서 압도적으로 자주 쓰인다. 강체 하나에 대해 쓰면

\sum\mathbf F-m\mathbf a_G=\mathbf 0,\qquad \sum\mathbf M_G-I_G\boldsymbol\alpha=\mathbf 0

이고, 해석은 이렇다. 질량중심에 $-m\mathbf a_G$ 를 걸고, 추가로 $-I_G\boldsymbol\alpha$ 라는 관성 커플을 걸면, 그 자유물체도는 정역학 문제다. 정역학에서 익힌 도구(모멘트 중심을 편리하게 잡기, 세 힘의 교점 이용, 트러스 절점법)를 그대로 쓸 수 있게 된다는 것이 이득이다.

회전 기계의 균형. 불균형 질량의 원심 관성력을 정적 힘처럼 그려 놓고, 그것을 상쇄하는 균형추의 위치와 질량을 정역학으로 푼다. 크랭크축 균형 설계의 표준 절차.
준정적 해석. 가속하는 차량의 하중 이동, 급정지하는 크레인의 붐 응력을 관성력만 얹은 정적 해석으로 근사한다. 상용 유한요소 코드의 관성 완화(inertia relief) 기능이 정확히 이것이다 — 지지 조건이 없는 자유-자유 물체에 외력을 걸면 정적 문제가 특이해지는데, 강체 가속도를 먼저 구해 관성력을 분포시키면 잔여 하중이 자기평형을 이루어 정적으로 풀린다. 비행 중 기체나 인공위성의 응력 해석에서 국룰.
가속하는 좌표계에서의 감각. 가속하는 엘리베이터 안 체중계 눈금을 “관성력이 추가로 눌렀다”로 설명하는 것도 이 형식이다.

여기서 반드시 짚어야 할 실수가 하나 있다. 비관성 좌표계에서 기술하면서 관성력을 또 넣으면 이중 계산이다. 회전 좌표계로 이미 옮겨 원심·코리올리 항을 우변에 갖고 있는데 거기에 $-m\mathbf a$ 를 추가로 얹는 유형의 사고가 실제로 자주 난다. 규칙은 단순하다 — 관성계에서 계산한 $\ddot{\mathbf r}$ 로 딱 한 번 이항한다.

4. 넓은 뜻 — 라그랑주 방정식이 떨어지는 경로[편집]

이제 본론이다. 배위가 일반화 좌표 $q_1,\dots,q_f$ 로 매개화되어 $\mathbf r_i=\mathbf r_i(q,t)$ 라면 가상변위는

\delta\mathbf r_i=\sum_j\frac{\partial\mathbf r_i}{\partial q_j}\,\delta q_j

이고, 이걸 달랑베르-라그랑주 등식에 넣으면 $\delta q_j$ 가 서로 독립이므로 계수마다 0이어야 한다. 외력 쪽은 그대로 일반화 힘

Q_j=\sum_i\mathbf F^{\text a}_i\cdot\frac{\partial\mathbf r_i}{\partial q_j}

이 된다. 관성 쪽이 흥미로운데, 순수한 운동학 항등식 두 개

\frac{\partial\dot{\mathbf r}_i}{\partial\dot q_j}=\frac{\partial\mathbf r_i}{\partial q_j}, \qquad \frac{d}{dt}\frac{\partial\mathbf r_i}{\partial q_j}=\frac{\partial\dot{\mathbf r}_i}{\partial q_j}

를 쓰면 관성항이 운동에너지 $T=\tfrac12\sum_i m_i\dot{\mathbf r}_i\cdot\dot{\mathbf r}_i$ 하나로 뭉쳐진다.

\sum_i m_i\ddot{\mathbf r}_i\cdot\frac{\partial\mathbf r_i}{\partial q_j} =\frac{d}{dt}\frac{\partial T}{\partial\dot q_j}-\frac{\partial T}{\partial q_j}

따라서 결론은

\frac{d}{dt}\frac{\partial T}{\partial\dot q_j}-\frac{\partial T}{\partial q_j}=Q_j

이고, 힘이 퍼텐셜에서 오면 $Q_j=-\partial V/\partial q_j$ 를 넣어 $L=T-V$ 로 묶어 오일러-라그랑주 방정식이 된다. 즉 라그랑주 방정식은 달랑베르 원리의 좌표 변환 결과다. 유도의 심장은 위의 두 항등식이며, 물리는 하나도 안 들어가 있다는 점이 요점이다 — 좌표 변환이 매끄럽다는 사실만 쓴다.

이 경로가 해밀턴 원리를 통한 유도와 갈라지는 지점은 두 군데다.

비보존력. 작용 적분을 만들려면 라그랑지안이 필요하고, 라그랑지안을 만들려면 퍼텐셜이 필요하다. 마찰·제어 토크·유체 항력·모터 전류에는 퍼텐셜이 없다. 반면 $Q_j$ 는 언제나 정의된다. 실무 코드가 달랑베르 경로를 택하는 첫 번째 이유.
비홀로노믹 구속. 구르는 바퀴처럼 속도에 걸린 구속에서는 구속을 작용 적분 안에 넣어 변분한 결과(vakonomic)와 달랑베르를 적용한 결과가 서로 다르고, 실제 물리와 맞는 쪽은 달랑베르다. 자세한 것은 일반화 좌표 문서의 해당 절.

5. 「관성력은 실재하는가」 논쟁 정리[편집]

이 원리를 배우면 반드시 한 번 걸리는 떡밥이다. 정리하면 이렇다.

관성계에서 $-m\ddot{\mathbf r}$ 은 실재하는 상호작용력이 아니다. 뉴턴 제3법칙의 짝이 없고, 어떤 물체가 그것을 가하고 있는지 지목할 수 없다. 장(field)도 접촉도 아니다. 그러니 “실재하는 힘”의 목록에 넣으면 틀린다.

비관성 좌표계의 원심력·코리올리력과도 다른 물건이다. 그쪽은 좌표변환에서 나오는 항이고, 관측자를 바꾸면 사라진다. 달랑베르의 관성력은 관성계에서 계산한 가속도를 그대로 쓰면서 등식의 변만 옮긴 것이다. 우연히 같은 형태가 되는 경우(등속 회전 좌표계에서 본 원심력)가 있어서 헷갈리지만, 논리적 지위는 다르다.

그리고 실재 여부는 애초에 쟁점이 아니다. 쟁점이어야 하는 것은 “이항한 다음 무엇을 해도 되느냐”이고, 답은 가상변위에 사영해도 된다는 것이다. 그 정당성의 근거가 이상 구속 가정 — 구속력이 허용 가상변위에 대해 총 가상일 0 — 이며, 그게 없으면 이 원리는 아무것도 해 주지 않는다. 다시 말해 달랑베르 원리의 물리적 내용은 “관성력” 세 글자가 아니라 “구속력이 일을 하지 않는다”에 전부 들어 있다.

부수적으로 나오는 실무 주의사항 하나. 관성력을 힘으로 취급해 놓고 에너지 논의를 시작하면 반드시 헷갈린다. 관성력은 가상변위에 대해서는 일을 하지 않지만 실제 변위에 대해서는 일을 한다 — 그 값이 정확히 운동에너지 변화의 음수다. 그래서 “관성력을 포함한 총 일이 0”이라는 문장은 가상변위에 대해서만 참이다.²

6. 코드에서 실제로 하는 일[편집]

이 원리가 관념적 도구가 아니라는 것을 보여주는 자리가 세 군데 있다.

유한요소 동해석의 질량행렬. 가상일의 원리로 만든 약형식에 관성항을 달랑베르 방식으로 얹으면 좌변에 항이 하나 늘어난다.

\int_\Omega \rho\,\delta\mathbf u\cdot\ddot{\mathbf u}\,d\Omega +\int_\Omega \delta\boldsymbol\varepsilon:\boldsymbol\sigma\,d\Omega =\int_\Omega\delta\mathbf u\cdot\mathbf b\,d\Omega+\int_{\Gamma_t}\delta\mathbf u\cdot\bar{\mathbf t}\,d\Gamma

여기서 $\mathbf u\approx\mathbf N\mathbf d$ , $\delta\mathbf u=\mathbf N\,\delta\mathbf d$ 를 넣으면 첫 항이

\delta\mathbf d^{\mathsf T}\Bigl(\underbrace{\int_\Omega\rho\,\mathbf N^{\mathsf T}\mathbf N\,d\Omega}_{\displaystyle \mathbf M}\Bigr)\ddot{\mathbf d}

가 되어, 우리가 아는 $\mathbf M\ddot{\mathbf d}+\mathbf C\dot{\mathbf d}+\mathbf K\mathbf d=\mathbf f$ 가 완성된다. 즉 일관 질량행렬은 관성 가상일의 이산화 그 자체이고, 강성행렬이 내부 가상일에서 나오는 것과 정확히 같은 방식으로 나온다. 반면 명시적 동해석에서 애용하는 집중 질량행렬(대각)은 이 적분의 근사이며, 대각이라 역행렬이 공짜라는 이유로 정확성을 조금 팔고 산 것이다. 두 질량행렬이 고유진동수를 서로 반대 방향으로 편향시킨다는 사실(일관은 위로, 집중은 아래로)이 모드 해석에서 자주 쓰이는 요령이다.

다물체 동역학의 표준 정식화. 최대좌표계에서 $\mathbf M\ddot q=\mathbf f-G^{\mathsf T}\boldsymbol\lambda$ , $\boldsymbol\Phi(q)=0$ 형태가 나오는 근거가 라그랑주-달랑베르다. 구속력이 허용 가상변위에 직교해야 하므로 구속 야코비안의 전치 공간 $G^{\mathsf T}$ 안에 놓이고, 그 계수가 승수 $\boldsymbol\lambda$ 다. 자세한 것은 다물체 동역학·라그랑주 승수법.

케인 방정식. 로보틱스·우주역학에서 쓰는 케인 방법은 달랑베르-라그랑주를 준좌표(일반화 속도를 좌표의 도함수가 아니라 독립 변수로 잡는 것)에 대해 사영한 형태다. 라그랑지안을 미분하지 않고 각 물체의 일반화 관성력을 직접 사영해 더하므로, 스칼라 미분 없이 기호 유도가 자동화되고 비홀로노믹 구속이 자연스럽게 들어온다. 상세는 케인 방법에 남긴다.

7. 어디까지 통하고 무엇이 남는가[편집]

마찰이 있으면 그것은 외력 칸으로 옮겨 적는다. 마찰은 이상 구속 가정을 깨므로 구속력으로 세면 안 되고, $Q_j$ 에 명시적으로 넣는다. 원리의 결함이 아니라 회계 규칙이다.
접촉은 부등식 구속이라 등식이 부등식으로 완화된다. $\delta W\ge0$ 형태의 변분부등식이 되고, 이것이 접촉 해석과 상보성 문제로 넘어가는 문이다.
상대론에서는 이 형태 그대로는 안 통한다. 절대 시간에서 정의된 $\delta t=0$ 짜리 가상변위와 질점별 질량이 전제이므로, 상대론적 다물체는 다른 정식화를 쓴다.
수치적으로는 “정역학처럼 푼다”가 곧 시간 이산화를 요구한다. $\ddot{\mathbf u}$ 를 어떤 차분으로 놓느냐가 뉴마크법·HHT- $\alpha$ ·중앙차분의 선택이고, 달랑베르 원리 자체는 그 선택에 대해 아무 말도 하지 않는다. 원리가 주는 것은 방정식이고 안정성은 적분기가 준다.

8. 여담[편집]

달랑베르가 이 원리를 만든 동기가 지금의 사용법과 정반대라는 것이 재미있다. 18세기에는 “힘”이라는 개념 자체가 형이상학적으로 수상한 물건으로 여겨졌고(생기론적인 vis viva 논쟁이 한창이었다), 달랑베르는 관측 가능한 운동학적 양 — 위치·속도·가속도 — 만으로 역학을 세워 힘을 추방하고 싶어 했다. 그가 『동역학론』 서문에서 힘을 “모호한 형이상학적 존재”로 취급한 것은 그 프로그램의 선언이었다.

그런데 250년 뒤 그의 이름이 붙은 원리는 **“가짜 힘을 하나 추가로 도입하는 기술”**로 가르쳐진다. 힘을 없애려던 사람의 이름이 힘을 더 만드는 방법에 붙은 셈이다. 학계에서 이름이 붙는 방식은 대체로 이렇다.³

한 가지 더. 달랑베르는 파동방정식의 일반해(진행파의 합)를 처음 쓴 사람이고, 디드로와 함께 『백과전서』의 수학·과학 항목을 편집한 사람이기도 하다. 시뮬레이션 하는 사람이 그 이름을 최소 두 군데에서 만나게 되는 이유다.

9. 관련 문서[편집]

시험 답안에서 가장 흔한 오답이 ” $F-ma=0$ 이므로 동역학은 정역학과 같다”로 끝내는 것이다. 그러면 채점자는 “그래서 뭐가 새로운가”를 묻게 된다. 새로운 것은 구속력이 사라진다는 사실이고, 그건 사영을 써야만 나온다. 이항은 중학생도 한다. ↩
이 혼란을 피하는 실무적 방법은 관성력을 “힘”이라고 부르지 않고 처음부터 관성항이라고 부르는 것이다. 부르는 이름을 바꾸는 것만으로 사고가 절반은 줄어든다. 다물체 코드의 변수명이 대개 inertia_term 인 데는 이유가 있다. ↩
비슷한 사례가 널려 있다. 자기가 만든 물건을 자기가 싫어한 슈뢰딩거의 고양이, 조롱하려고 붙였다가 정식 명칭이 된 빅뱅, 정작 본인은 쓰지 않은 표기법으로 유명해진 여러 사람들. 이름은 업적을 따라가지 않고 후대의 편의를 따라간다. ↩