에너지: 라그랑지안의 르장드르 변환
이제 이 장을 열며 던진 역학의 물음으로 돌아가자. 에너지는 왜 하필 「변수 곱하기 기울기, 빼기 원래 함수」라는 모양이며, 그 모양은 르장드르 변환과 어떤 관계일까?
역사: 깁스의 에너지 곡면
라그랑지안을 속도 대신 운동량으로 옮겨 적은 사람은 1834년과 1835년의 해밀턴이다. 같은 변수 바꾸기가 열역학에서 쓸모를 드러낸 것은 그로부터 40년쯤 뒤다. 1873년 깁스는 코네티컷 과학원 회보에 실은 논문에서, 물질의 에너지를 엔트로피와 부피의 함수로 보고 그 값을 높이로 삼은 곡면을 제안했다. 이 곡면에 접평면을 대면 그 기울기가 온도와 (부호를 바꾼) 압력이다. 우리가 손으로 재고 조절하는 온도와 압력이 사실은 에너지 곡면의 기울기였던 것이다. 깁스는 논문에 곡면 그림을 싣지 않았는데, 논문을 읽은 맥스웰은 1874년 물의 에너지 곡면을 손수 점토로 빚고, 석고로 뜬 본 하나를 깁스에게 보냈다. 그 석고 모형은 지금 예일 대학교 물리학과에 전시되어 있다. 에너지를 온도나 압력 같은 기울기의 함수로 다시 적으면 오늘날 자유에너지라 부르는 양들이 나오는데, 깁스는 1875년과 1878년 두 부분으로 나온 『불균일 물질의 평형에 관하여』에서 이 변수 바꾸기를 체계적으로 썼다.
속도에 대해 변환하기
질량 m인 물체의 라그랑지안은 L(q, q̇) = ½mq̇² − U(q)이고, 시간에 직접 의존하지 않는 라그랑지안에서 보존되는 양은 E = q̇·∂L/∂q̇ − L이다. 이 식을 앞에서 본 물리 교재의 계산법과 나란히 놓아 보면, 위치 q는 고정해 두고 속도 q̇만 변수로 보아 L을 르장드르 변환한 것과 정확히 같다. 새 변수는 L의 속도 쪽 기울기이고, 새 함수는 「새 변수 곱하기 원래 변수, 빼기 원래 함수」이다.
여기서 p는 확률의 p와 글자만 같고 뜻은 다른 양인 운동량 (momentum)이다. 물리와 HMC 문헌이 모두 이 글자를 쓰므로 그대로 두되, 이 책에서는 기울기 변수의 색으로 칠해 확률과 구별한다. 운동량은 영어로 SGD의 모멘텀과 같은 낱말(momentum)이다. 이 책은 물리량은 운동량, 최적화 기법은 모멘텀으로 적는다.
이 계산에서 세 가지를 읽을 수 있다. 첫째, E = q̇·∂L/∂q̇ − L이라는 어색한 모양은 우연이 아니라 르장드르 변환의 둘째 단계 그 자체다. 둘째, 변환이 끝났다고 말하려면 결과를 속도가 아니라 운동량으로 적어야 하므로, 에너지의 정직한 모양은 ½mq̇² + U가 아니라 p²/(2m) + U다. 질량 1인 공을 정지 상태에서 놓아 1초가 지나면 운동량은 −9.8, 높이는 −4.9이므로 E = 48.02 − 48.02 = 0이 되어 처음의 에너지 0과 같다. 셋째, 이 변환이 제대로 되는 것은 운동에너지 ½mq̇²이 속도에 대해 볼록이기 때문이다. 질량이 양수이므로 속도와 운동량은 하나씩 짝지어지고, 두 번 변환하면 L이 그대로 돌아온다.
다시 말해 에너지는 라그랑지안과 같은 정보를 담고 있고, 다른 것은 변수뿐이다. 라그랑지안이 「위치와 속도」로 운동을 적는다면 에너지는 「위치와 운동량」으로 같은 운동을 적는다. 공장 문제에서 비용 곡선과 이윤표가 같은 공장을 두 가지 변수로 적었던 것과 똑같다.
문제 5. 에너지를 운동량으로 쓰기
길이 l인 끈에 매달린 질량 m의 진자의 라그랑지안은 L = ½ml²θ̇² + mgl cos θ다. 각도 θ에 짝지어지는 운동량 p와, θ와 p의 함수로 쓴 에너지 E를 구하라.
운동량은 질량 곱하기 속도니까 p = mθ̇.
야, 그거 지난번에 내가 한 실수랑 똑같아. θ̇은 각속도라고.
민준 학생, 이 절에서 운동량을 「질량 × 속도」로 정했던가요? 무엇의 기울기로 정했는지 떠올려 봐요.
아, 라그랑지안의 속도 쪽 기울기였죠. ∂L/∂θ̇ = ml²θ̇. l²이 붙네요. 그럼 E = pθ̇ − L = ml²θ̇² − ½ml²θ̇² − mgl cos θ = ½ml²θ̇² − mgl cos θ. 끝이에요.
문제는 θ와 p의 함수로 쓰라고 했어요.
θ̇ = p/(ml²)를 넣으면 E = p²/(2ml²) − mgl cos θ. 근데 값은 아까랑 똑같잖아요.
저도 그게 궁금해요. 값이 같은데 굳이 바꿔 써야 하나요?
두 식을 각각 미분해 보면 차이가 보여요. p로 쓴 E를 p로 미분하면 뭐가 나오죠?
p/(ml²)니까 θ̇이에요. 속도가 돌아와요. 켤레의 도함수가 원래 변수를 돌려주는 거죠. 그런데 θ̇으로 쓴 E를 θ̇으로 미분하면 ml²θ̇ = p가 나오네요. 값은 같은 함수인데 미분은 전혀 다른 걸 돌려줘요. 아, 온도를 정의할 때 (∂S/∂E)_{V,N}처럼 고정하는 변수를 꼭 적으라고 하신 게 이거였군요.
그래서 함수는 값만이 아니라 「무엇의 함수인가」까지 포함해야 해요. θ로도 미분해 볼까요?
∂E/∂θ = mgl sin θ. 그런데 ∂L/∂θ = −mgl sin θ니까 부호만 반대네요. 이건 뭐에 쓰는 거예요?
좋은 질문이에요. ∂E/∂p = θ̇과 ∂E/∂θ = −∂L/∂θ, 이 두 식을 적어 두세요. 오늘은 여기까지만 할게요.