logo

라그랑주 승수법 📂수리물리

라그랑주 승수법

정의1

다변수 함수 f(x1,,xn)f(x_{1}, \dots, x_{n})의 최적값최솟값 혹은 최댓값

설명

위 그림과 같이 y=2x2y = 2 - x^{2}의 그래프가 주어져있다고 하자. 원점과 그래프 사이의 거리를 dd라고 하자.

d(x,y)=x2+y2 d(x,y) = \sqrt{x^{2} + y^{2}}

그러면 거리 dd가 최소가 되도록하는 점을 찾는 문제는 함수 f(x,y)=x2+y2f(x,y) = x^{2} + y^{2}이 최솟값을 가지는 점을 찾는 문제와 같다. 그런데 x,yx, y는 그래프 위의 점이므로 x2+y=2x^{2} + y = 2라는 제약조건을 만족해야한다. 이 제약조건을 ϕ\phi라고 하자.

ϕ(x,y)=x2+y=2 \phi (x,y) = x^{2} + y = 2

우리는 미분해서 00이 되는 곳이 최솟값(최댓값)의 후보라는 것을 알고 있다. 따라서 전미분00이 되는 점을 찾으면 된다.

df=fxdx+fydy=0 df = \dfrac{\partial f}{\partial x}dx + \dfrac{\partial f}{\partial y}dy = 0

라그랑주 승수법Lagrange multiplier method이란, 여기에 제약조건 dϕd\phi승수multiplier, 곱수 λ\lambda의 곱을 추가한 식을 풀어 최솟값이 되는 점을 찾는 방법이다.

df+λdϕ= (fxdx+fydy)+λ(ϕxdx+ϕydy)= (fx+λϕx)dx+(fy+λϕy)dy= 0 \begin{align*} df + \lambda d\phi =&\ \left( \dfrac{\partial f}{\partial x}dx + \dfrac{\partial f}{\partial y}dy \right) + \lambda \left( \dfrac{\partial \phi}{\partial x}dx + \dfrac{\partial \phi}{\partial y}dy \right) \\ =&\ \left( \dfrac{\partial f}{\partial x} + \lambda\dfrac{\partial \phi}{\partial x} \right)dx + \left( \dfrac{\partial f}{\partial y} + \lambda \dfrac{\partial \phi}{\partial y} \right) dy \\ =&\ 0 \end{align*}

그러면 다음의 두 식을 얻는다.

fx+λϕx=0fy+λϕy=0 \dfrac{\partial f}{\partial x} + \lambda\dfrac{\partial \phi}{\partial x} = 0 \\[1em] \dfrac{\partial f}{\partial y} + \lambda \dfrac{\partial \phi}{\partial y} = 0

ffϕ\phi를 구체적으로 대입하면 다음과 같다.

2x+λ2x=02y+λ=0 2x + \lambda \cdot 2x = 0 \\ 2y + \lambda = 0

첫번째 식에서 x=0x = 0 이거나 λ=1\lambda = -1임을 알 수 있다.

  • x=0x = 0인 경우

    y=2x2y= 2- x^{2}이므로 y=2y=2이다. (두번째 식으로부터 λ=4\lambda = -4)

  • λ=1\lambda = -1인 경우

    두번째 식으로부터 y=12y = \dfrac{1}{2}이다. 따라서 x=±32x = \pm \sqrt{\dfrac{3}{2}}

이렇게 구한 경우를 나열해보면 다음과 같다.

(32,12),(0,2),(32,12) (-\sqrt{\frac{3}{2}}, \frac{1}{2}), \quad (0, 2), \quad (\sqrt{\frac{3}{2}}, \frac{1}{2})

이는 f(x,y)=x2+y2f(x,y) = x^{2} + y^{2}y=2x2y=2-x^{2}을 대입하고, 미분하여 00이 되는 점을 찾은 결과와 같다. 물론 이는 쉬운 예라서 대입법으로 푸는게 더 쉽고 간단하겠지만 복잡한 문제의 경우에는 그렇지 않다. 가령 '3차원 타원에 내접하는 직육면체의 부피가 가장 클 때는 언제인가?'라는 문제를 푼다면 ffϕ\phi는 각각 다음과 같다.

f(x,y,z)=8xyz,ϕ(x,y,z)=x2a2+y2b2+z2c2=1 f(x,y,z) = 8xyz,\quad \phi (x,y,z) = \dfrac{x^{2}}{a^{2}} + \dfrac{y^{2}}{b^{2}} + \dfrac{z^{2}}{c^{2}} = 1

이때는 대입법으로 풀기 어렵지만, 라그랑주 승수법으로는 보다 쉽게 풀 수 있다.


  1. Mary L. Boas, 수리물리학(Mathematical Methods in the Physical Sciences, 최준곤 역) (3rd Edition, 2008), p ↩︎