Lagrange Çarpanı yöntemi, aşağıdaki türdeki kısıtlı optimizasyon problemlerini çözmek için kullanılır:
Burada $f$ ve $g$, sürekli türevlenebilir fonksiyonlardır. Amaç, $g(x,y)=0$ eğrisi (veya yüzeyi) üzerinde kalarak $f$'nin ekstremum (maksimum veya minimum) değerlerini bulmaktır.
$f$ ve $g$ sürekli türevlenebilir fonksiyonlar olsun. Eğer $(x^*, y^*)$ noktası $g(x,y)=0$ kısıtı altında $f$'nin bir yerel ekstremumu ise ve $\nabla g(x^*, y^*) \neq 0$ ise, öyle bir $\lambda$ gerçel sayısı vardır ki:
Bu $\lambda$ sayısına Lagrange Çarpanı denir.
Teorem, optimum noktada gradyanların paralel olduğunu söyler. Yani $\nabla f$ ve $\nabla g$ vektörleri aynı doğrultudadır.
Teoremdeki $\nabla f = \lambda \nabla g$ koşulunu cebirsel olarak çalışmak için Lagrange fonksiyonu tanımlanır:
$L = f - \lambda g$ formu, türevler alındığında $\nabla f = \lambda \nabla g$ koşulunu doğrudan verir. Bazı kaynaklarda $L = f + \lambda g$ kullanılır; bu durumda $\lambda$'nın işareti değişir, ancak kritik noktalar aynı kalır.
Lagrange fonksiyonunun tüm değişkenlere göre kısmi türevlerini alıp sıfıra eşitlersek, üç bilinmeyenli ($x, y, \lambda$) bir denklem sistemi elde ederiz:
Bu üç denklem, $\nabla f = \lambda \nabla g$ vektör denkleminin bileşen formudur. İlk iki denklem $\nabla f = \lambda \nabla g$'yi, üçüncü denklem ise kısıtı verir.
Lagrange Çarpanı Yöntemi (2 değişkenli):
1. Lagrange fonksiyonunu yazalım:
2. Birinci mertebe koşulları yazalım:
3. Sistemi çözelim:
$y = \lambda$ ve $x = \lambda \Rightarrow x = y$. Kısıttan: $x + x = 1 \Rightarrow x = 0.5$, $y = 0.5$, $\lambda = 0.5$.
$\boxed{f_{\text{max}} = 0.25}$ noktasında, $\nabla f = \langle 0.5, 0.5 \rangle = \lambda \langle 1, 1 \rangle$
$\nabla f = \langle y, x \rangle = \langle 0.5, 0.5 \rangle$ ve $\nabla g = \langle 1, 1 \rangle$. $\lambda = 0.5$ için $\nabla f = 0.5 \cdot \nabla g$ sağlanır. Yani gradyanlar paraleldir.
Artık Lagrange Çarpanı yönteminin tanımını, Lagrange fonksiyonunu ve birinci mertebe koşulları öğrendik. Bir sonraki modülde "Neden Lagrange Çarpanı?" başlığı altında bu yöntemin neden işe yaradığını ve geometrik arka planını derinlemesine inceleyeceğiz.