lagrangian multiplier
๐ โโ๏ธํด๋ํฐ์ผ๋ก ๋ณผ ๋ ํน์ ๊ธ์๋ ์ซ์๊ฐ ํ๋ฉด์ ๋ค ์๋์ค๋ฉด, ํด๋ํฐ ๊ฐ๋ก๋ก ๋๋ฆฌ์๋ฉด ๋ฉ๋๋ค
1
2
3
1. ๋ค์ด๊ฐ๋ฉฐ
2. ์๋๋ฉ์ด์
์ค๋ช
3. ์ฐธ๊ณ
1. ๋ค์ด๊ฐ๋ฉฐ
(๋๋ถ๋ถ์ ์์๊ณผ ์ฌ์ง์ ์์ฐ์ค์ ์ํ๋
ธํธ ์์ ํผ์์ต๋๋ค. ์ ์๋ ๋๋ถ์ ์ฝ๊ฒ ์ดํดํ ์ ์์์ต๋๋ค ์ ์ฉํ ์๋ฃ ๊ณต์ ํด์ฃผ์
์ ์ ๋ง ๊ฐ์ฌํฉ๋๋ค)
์์ฝ:
์ต์ ํ๋ฌธ์ ๋ ๋ฐ๋์ ์กฐ๊ฑด์ด ์์ด์ผํ๊ณ , ๊ทธ ์๋ก g(x,y)=k์ ํตํด
f(x,y), g(x,y)๊ฐ ์ ํ ๋ f(x,y)์ ๊ทน๋๊ฐ or ๊ทน์๊ฐ์ด ํ์ฑ๋๋๋ฐ
๊ทธ๋ min value๋ max value๋ฅผ ์ฐพ์ ์ ์๊ฒ ๋๋ค.
2. ์๋๋ฉ์ด์ ์ค๋ช
์ด๋ณ์ํจ์ \(f\)๋ก ์ด๋ฃจ์ด์ง ์ฐ
์ด ์๋ค๊ณ ๊ฐ์ ํ์
\(f(x,y)=4-x^2-2y^2\)
์ฐ์ ๋ฑ์ฐ๋ก๋ฅผ ๋ด๊ธฐ์ํด ์ง๋๋ฅผ ํผ์น๋ ์๋ ๊ทธ๋ฆผ์ฒ๋ผ ๊ฐ์์ก๊ณ ์์๊ฒฝ๋ก \(g(x,y)\)๋ฅผ ๊ทธ๋ ธ๋ค
\(g(x,y)=2(x-1)^2-10y+3=0\)
โ๏ธ์ง๋ฌธ
์ด ์์๊ฒฝ๋ก๋ฅผ ๋ฐ๋ผ ์ฌ๋ผ๊ฐ์ ๋ ์ต๊ณ ๋์ด๊ฐ ์ผ๋ง์ผ๊น?
์ ๊ทธ๋ฌ๋ฉด ๋ค์ ์ ๋ํ ๋ชจํ์ ์ธ์๋ณด๋ฉด ์ค์ ๋ฑ์ฐ๋ก๋ xyํ๋ฉด์ ์์ง์ธ ๊ณก๋ฉด๊ณผ ๋ง๋๋ ์ ์ด ๋๋ค
์๋ ๊ทธ๋ฆผ์ ์์๊ฒฝ๋ก์ ๋ํ ์ค์ ๋ฑ๋ฐ ๊ฐ๋ฅํ ๊ฒฝ๋ก๋ฅผ ํ๋ฉด์ผ๋ก ๋ํ๋ธ ๊ฒ
์ด๋ค
์๋ ์์์ ์์๊ฒฝ๋ก๋ก ์ฌ๋ผ๊ฐ์ ์ต๊ณ ์ (์ต๋๊ฐ)์ผ๋ก ๊ฐ๋ ๊ฒ
์ ๋ํ๋ธ ๊ฒ์ด๋ค
๐ใ
ใ
์ฌ๋์ด ์ ์ผ ๊ผญ๋๊ธฐ์ ์ฌ๋ผ๊ฐ์ ๋๊ฐ ์ต๊ณ ๋์ด๋ ๊ทธ๊ฑธ ๋ฑ๊ณ ์ ์์ ์ฐพ์ผ๋ฉด ๋๊ฒ ๋ค
๊ทธ๋ฆฌ๊ณ ๊ทธ ์ต๊ณ ๋์ด๋ f(x,y)์ g(x,y) ๋ ๊ณก์ ์ด ์ ํ ๋๊ฒ ๊ตฐ
์ฌ๊ธฐ์ ์ ์ a, b๋ฅผ ๊ฐ๊ฐ ํจ์ f๋ g์ ๋์
ํ๋ฉด ๋์ด๊ฐ ๋์ค๊ณ
๊ทธ ์ ์ ์ ์ฐพ๋ ๊ณผ์ ์ด ๋ฐ๋ก ๋ผ๊ทธ๋์ฃผ ์น์๋ฒ
์ด๋ค
์ฌ๊ธฐ์ ๋์ด๋ฅผ ๊ฐ๊ฒ ํ๋ ค๋ฉด ์ด๋ป๊ฒ ๊ตฌํ ์ ์์๊น?
์ด ๊ทธ๋ฆผ์ ๊ฐ๊ฐ์ ๋ ๊ณก์ ์ ๊ณตํต์ ์ ์ ์์ง์ธ๋ฒกํฐ๋ฅผ ํ์ํ ๊ฒ์ธ๋ฐ,
๊ฐ์ ๋์ด๋ก ๋ง๋๋ ค๋ฉด ๊ธฐ์ธ๊ธฐ๋ฒกํฐ(gradient vector)์ ๋ฐฉํฅ์ด ๊ฐ๊ฒ ํ์
์๋ ๊ทธ๋ฆผ์ ์ฐธ๊ณ ํ์
์ด ๊ทธ๋ฆผ์ ๋ณด๋ฉด 2๊ฐ์ gradient vector๊ฐ ๋์ด๋ ๋ค๋ฅด์ง๋ง ๊ฐ์ ๋ฐฉํฅ์ผ ๋๊ฐ ์๋ค
๊ทธ๋ ๋ง์กฑํ๋ ๋ ์์ ์๋์ ๊ฐ๋ค
*์ฐธ๊ณ \(\bigtriangledown\)๋ gradient vector ์ฆ ๊ธฐ์ธ๊ธฐ๋ฅผ ๋ํ๋ธ๋ค
\(g(a,b)=0 \\ \bigtriangledown f(a,b)=\gamma \bigtriangledown g(a,b)\)
์ด๋ ๋ ์์ ์ฐ๋ฆฝ๋ฐฉ์ ์์ผ๋ก ์ฐพ์ผ๋ฉด ๋๋ค๋ ๊ฒ์ด๋ค
๊ทผ๋ฐ ๋ ๊ธฐ์ธ๊ธฐ๋ฒกํฐ(gradient vector)์ ๋ฐฉํฅ์ ๊ฐ์๋ ํฌ๊ธฐ๋ ๋ค๋ฅผ ์๋ ์์ผ๋๊น ์ฐจ์ด๋ฅผ ๋ง์ถ๊ธฐ ์ํด \(\gamma\)๋ฅผ ๊ณฑํด์ฃผ๋๋ฐ ์ด๊ฒ ๋ผ๊ทธ๋์ฃผ ์น์
๋ค