16.5 르장드르 변환의 수학적 구조

1. 개요

르장드르 변환(Legendre transformation)은 함수의 변수 변환을 수행하는 수학적 도구이다. 라그랑주 역학에서 해밀턴 역학으로의 전환은 르장드르 변환을 통해 이루어진다. 본 절에서는 르장드르 변환의 수학적 구조와 성질을 자세히 다룬다.

2. 르장드르 변환의 정의

2.1 단변수의 경우

함수 $f(x)$ 가 볼록(convex) 함수일 때 르장드르 변환은 다음과 같이 정의된다.

$g(p) = \sup_x [px - f(x)]$

여기서 상한은 모든 가능한 $x$ 에 대해 취해진다.

2.2 매끄러운 경우

$f(x)$ 가 매끄럽고 강하게 볼록이면 상한이 $\frac{df}{dx} = p$ 의 해 $x = x(p)$ 에서 달성된다.

$g(p) = px(p) - f(x(p))$

2.3 다변수의 경우

다변수의 경우 르장드르 변환은 다음과 같이 정의된다.

$g(\mathbf{p}) = \sup_{\mathbf{x}}[\mathbf{p}^T\mathbf{x} - f(\mathbf{x})]$

또는 매끄러운 경우

$g(\mathbf{p}) = \mathbf{p}^T\mathbf{x}(\mathbf{p}) - f(\mathbf{x}(\mathbf{p}))$

여기서 $\mathbf{x}(\mathbf{p})$ 는 $\mathbf{p} = \nabla f(\mathbf{x})$ 의 해이다.

3. 르장드르 변환의 성질

3.1 가역성

르장드르 변환은 가역적이다. 즉, 두 번 적용하면 원래 함수로 돌아온다.

$(g)^* = f$

3.2 대칭성

$f$ 와 $g$ 의 관계는 대칭이다. $g$ 가 $f$ 의 르장드르 변환이면 $f$ 도 $g$ 의 르장드르 변환이다.

3.3 미분 관계

$\frac{dg}{dp} = x = \left(\frac{df}{dx}\right)^{-1}$

또는

$g'(p) = x \quad \text{when} \quad f'(x) = p$

이는 르장드르 변환의 핵심 성질이다.

3.4 볼록성

$f$ 가 볼록이면 $g$ 도 볼록이다. 볼록성이 변환의 잘 정의됨을 보장한다.

4. 르장드르 변환의 기하학적 해석

4.1 접선의 모임

$f(x)$ 의 그래프 $y = f(x)$ 를 고려한다. 점 $x$ 에서의 접선의 기울기는 $p = f'(x)$ 이다.

이 접선이 $y$ 축을 끊는 점의 $y$ 값은 $-g(p)$ 이다.

$y - f(x) = p(x - 0) - x_0 = p \cdot 0 - g(p)$

여기서 $g(p) = px - f(x)$ 이다.

4.2 르장드르 변환의 의미

따라서 $f$ 의 르장드르 변환 $g$ 는 $f$ 의 그래프의 접선의 모임을 매개 변수화한다. 이는 “그래프“와 “접선“이라는 두 가지 다른 표현 사이의 변환이다.

4.3 쌍대성

이러한 관점에서 르장드르 변환은 점-선 쌍대성(point-line duality)의 한 예시이다.

5. 라그랑주 역학과의 관계

5.1 라그랑지언

라그랑지언 $L(\mathbf{q}, \dot{\mathbf{q}}, t)$ 는 일반화 속도 $\dot{\mathbf{q}}$ 의 함수이다.

5.2 일반화 운동량

일반화 운동량은 라그랑지언의 일반화 속도에 대한 편미분이다.

$p_i = \frac{\partial L}{\partial \dot{q}_i}$

이는 르장드르 변환의 핵심 식과 같다.

5.3 해밀턴 함수

해밀턴 함수는 라그랑지언의 일반화 속도에 대한 르장드르 변환이다.

$H(\mathbf{q}, \mathbf{p}, t) = \mathbf{p}^T\dot{\mathbf{q}}(\mathbf{q}, \mathbf{p}, t) - L(\mathbf{q}, \dot{\mathbf{q}}(\mathbf{q}, \mathbf{p}, t), t)$

여기서 $\dot{\mathbf{q}}(\mathbf{q}, \mathbf{p})$ 는 일반화 운동량의 정의를 풀어 얻는다.

6. 정칙성 조건

6.1 르장드르 변환의 잘 정의됨

라그랑지언의 일반화 속도에 대한 르장드르 변환이 잘 정의되기 위해서는 다음의 조건이 필요하다.

$\det\left(\frac{\partial^2 L}{\partial \dot{q}_i \partial \dot{q}_j}\right) \neq 0$

이는 일반화 속도와 일반화 운동량 사이의 변환이 가역임을 보장한다.

6.2 매니퓰레이터의 경우

매니퓰레이터의 라그랑지언에서

$\frac{\partial^2 L}{\partial \dot{q}_i \partial \dot{q}_j} = M_{ij}(\mathbf{q})$

이는 관성 행렬이며 양정행렬이다. 따라서 르장드르 변환이 항상 잘 정의된다.

7. 응용

7.1 열역학

르장드르 변환은 열역학의 다양한 열역학적 위치에서 사용된다. 내부 에너지, 자유 에너지, 엔탈피 등이 르장드르 변환으로 연결된다.

7.2 통계 역학

통계 역학의 분배 함수와 자유 에너지의 관계도 르장드르 변환의 한 예시이다.

7.3 최적화 이론

볼록 최적화의 듀얼 문제는 르장드르 변환과 관련된다.

7.4 정보 이론

정보 이론의 일부 양도 르장드르 변환의 형식을 가진다.

8. 일반화

8.1 르장드르-펜첼 변환

르장드르 변환은 비볼록 함수에도 일반화될 수 있다. 이를 르장드르-펜첼 변환(Legendre-Fenchel transformation)이라 한다.

$f^*(p) = \sup_x[px - f(x)]$

이는 볼록 해석의 표준 도구이다.

8.2 구속이 있는 경우

구속이 있는 시스템에서는 르장드르 변환이 변형될 수 있다.

9. 본 절의 의의

본 절은 르장드르 변환의 수학적 구조를 다루었다. 르장드르 변환은 라그랑주 역학에서 해밀턴 역학으로의 전환의 수학적 기반이며, 다양한 분야에서 응용된다.

10. 참고 문헌

Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). Springer.
Rockafellar, R. T. (1970). Convex Analysis. Princeton University Press.
Boyd, S., & Vandenberghe, L. (2004). Convex Optimization. Cambridge University Press.

version: 1.0