15.8 변분법의 기본 개념
1. 개요
변분법(calculus of variations)은 함수의 함수, 즉 범함수(functional)의 극값을 찾는 수학 분야이다. 라그랑주 역학과 해밀턴의 원리는 변분법에 기반한다. 본 절에서는 변분법의 기본 개념과 라그랑주 역학에서의 적용을 다룬다.
2. 범함수의 정의
2.1 함수와 범함수의 차이
- 함수: 수를 입력으로 받아 수를 출력하는 사상
- 범함수: 함수를 입력으로 받아 수를 출력하는 사상
2.2 범함수의 예
다음의 적분이 대표적인 범함수의 예이다.
J[y] = \int_{a}^{b}F(x, y(x), y'(x))\, dx
여기서 y(x)는 입력 함수이고 J[y]는 그 함수에 대응하는 수이다.
2.3 범함수의 다양성
범함수는 다양한 형태로 나타난다. 적분, 점함수의 값, 함수의 미분, 함수의 노름 등이 모두 범함수가 될 수 있다.
3. 변분의 정의
3.1 함수의 변분
함수 y(x)의 변분 \delta y(x)는 y의 무한소 변화이다. 이는 다음과 같이 표현될 수 있다.
y(x) \to y(x) + \epsilon \eta(x)
여기서 \epsilon은 작은 매개 변수이고 \eta(x)는 변분 함수이다. 변분은 \delta y = \epsilon\eta이다.
3.2 도함수의 변분
함수의 도함수의 변분은 변분의 도함수와 같다.
\delta(y') = (\delta y)'
이는 변분과 미분의 교환성이다.
3.3 범함수의 변분
범함수 J[y]의 변분은 y의 변분에 대응하는 J의 1차 변화이다.
\delta J = \int_{a}^{b}\left(\frac{\partial F}{\partial y}\delta y + \frac{\partial F}{\partial y'}\delta y'\right)dx
4. 오일러-라그랑주 방정식
4.1 정류 조건
범함수 J[y]가 함수 y(x)에서 정류값을 가진다는 것은 모든 가능한 \delta y에 대해 \delta J = 0이 성립함을 의미한다.
4.2 부분 적분
\delta y' 항에 부분 적분을 적용한다.
\int_{a}^{b}\frac{\partial F}{\partial y'}\delta y'\, dx = \left[\frac{\partial F}{\partial y'}\delta y\right]_{a}^{b} - \int_{a}^{b}\frac{d}{dx}\frac{\partial F}{\partial y'}\delta y\, dx
경계가 고정되어 있으면 첫 번째 항이 0이다.
4.3 오일러-라그랑주 방정식
정류 조건은 다음의 오일러-라그랑주 방정식이 된다.
\frac{\partial F}{\partial y} - \frac{d}{dx}\frac{\partial F}{\partial y'} = 0
이는 변분법의 기본 방정식이다.
5. 자유 끝점 조건
5.1 자유 끝점
경계가 자유로운 경우(고정되지 않은 경우) 추가 조건이 필요하다. 부분 적분의 경계 항이 0이 되도록 하는 조건이 자연 경계 조건(natural boundary condition)이다.
\frac{\partial F}{\partial y'}\bigg|_{x=a} = 0, \quad \frac{\partial F}{\partial y'}\bigg|_{x=b} = 0
5.2 응용
자유 끝점 조건은 매니퓰레이터의 운동 계획에서 끝점이 자유인 경우 등에 사용된다.
6. 다변수 변분법
6.1 여러 함수의 경우
여러 함수 y_1(x), y_2(x), \ldots, y_n(x)에 대한 범함수는 다음과 같다.
J[\mathbf{y}] = \int_{a}^{b}F(x, \mathbf{y}, \mathbf{y}')\, dx
각 함수에 대한 오일러-라그랑주 방정식이 성립한다.
\frac{\partial F}{\partial y_i} - \frac{d}{dx}\frac{\partial F}{\partial y_i'} = 0, \quad i = 1, 2, \ldots, n
6.2 다중 적분의 경우
여러 변수에 대한 적분의 경우 변분법은 편미분 방정식의 형태로 확장된다. 이는 장 이론과 연속체 역학의 기반이다.
7. 구속 조건
7.1 등주 문제
등주 문제(isoperimetric problem)는 등호 적분 구속 조건을 가진 변분 문제이다.
\int_{a}^{b}G(x, y, y')\, dx = c
이러한 구속이 있는 경우 라그랑주 곱셈수를 도입하여 처리한다.
7.2 점 구속
점에서의 구속 조건이 있는 경우 변분법이 적절히 수정된다.
7.3 미분 구속
미분 구속(예: 비홀로노믹 구속)이 있는 경우 라그랑주 곱셈수의 도입과 정확한 처리가 필요하다.
8. 변분법의 응용
8.1 고전 역학
해밀턴의 원리는 변분법의 가장 중요한 응용이다. 라그랑주 방정식이 변분법으로부터 유도된다.
8.2 광학
페르마의 원리는 광학에서의 변분 원리이다. 빛의 경로가 광학 경로 길이의 정류값을 이룬다.
8.3 최단 경로 문제
두 점 사이의 최단 경로는 변분법으로 분석된다. 평면에서는 직선이고, 곡면에서는 측지선이다.
8.4 측지선
리만 다양체에서의 측지선은 길이 범함수의 정류 곡선이다. 이는 일반 상대성 이론의 기반이다.
8.5 최적 제어
폰트랴긴(Pontryagin)의 최대 원리와 동적 계획법은 최적 제어 이론의 핵심으로 변분법에 기반한다.
9. 응용 예시
9.1 두 점 사이의 최단 곡선
평면의 두 점 사이의 최단 곡선은 직선이다. 이는 변분법으로 다음과 같이 도출된다.
곡선의 길이는
L = \int_{x_1}^{x_2}\sqrt{1 + (y')^2}\, dx
오일러-라그랑주 방정식에서 y'' = 0이 얻어지고, 이는 직선을 의미한다.
9.2 시간 최소 문제 (브라키스토크론 문제)
중력 하에서 한 점에서 다른 점으로 가장 빠르게 가는 곡선을 찾는 문제이다. 결과는 사이클로이드이다. 이 문제는 변분법의 역사적 출발점 중 하나이다.
9.3 매니퓰레이터의 운동 계획
매니퓰레이터의 최적 운동 계획은 변분법으로 분석될 수 있다.
10. 본 절의 의의
본 절은 변분법의 기본 개념을 다루었다. 변분법은 라그랑주 역학과 해밀턴의 원리의 수학적 기반이며, 매니퓰레이터의 동역학과 최적 제어의 이론적 도구이다.
11. 참고 문헌
- Gelfand, I. M., & Fomin, S. V. (2000). Calculus of Variations. Dover.
- Lanczos, C. (1986). The Variational Principles of Mechanics (4th ed.). Dover.
- Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
- van Brunt, B. (2004). The Calculus of Variations. Springer.
version: 1.0