Lagrange fonksiyonu $L(x,y,\lambda) = f(x,y) - \lambda g(x,y)$ için birinci mertebe koşullar (FOC):
Bu sistem her zaman 3 denklem ve 3 bilinmeyenden oluşur. Ancak denklemler doğrusal olmayabilir. Çözüm stratejisi, sistemin doğrusal olup olmamasına göre değişir.
Eğer $f$ ve $g$ doğrusal fonksiyonlar ise, sistem doğrusal olur ve matris yöntemleriyle çözülebilir.
1. Lagrange fonksiyonu:
2. FOC:
3. Çözüm: $3-\lambda=0 \Rightarrow \lambda=3$, $4-\lambda=0 \Rightarrow \lambda=4$. Burada çelişki var! Yani bu sistemin çözümü yoktur. Bu durumda $f$'nin kısıt üzerinde ekstremumu yoktur (fonksiyon doğrusal olduğu için).
Doğrusal sistemlerde çözüm olmayabilir veya sonsuz çözüm olabilir. Bu durumda fonksiyonun kısıt üzerinde ekstremumu yoktur veya tüm noktalar ekstremumdur.
Çoğu problemde $f$ ve $g$ doğrusal değildir. Bu durumda sistem doğrusal olmayan olur ve çözüm için ikame veya yok etme yöntemleri kullanılır.
1. Lagrange fonksiyonu:
2. FOC:
3. $\lambda$'yı yok edelim:
$2x = \lambda$ ve $2y = \lambda \Rightarrow 2x = 2y \Rightarrow x = y$
4. Kısıtı kullanalım:
$x+y=1 \Rightarrow x+x=1 \Rightarrow x=0.5,\; y=0.5,\; \lambda=1$
5. Sonuç: $(0.5, 0.5)$ noktasında $f_{\text{min}} = 0.5$
1. Lagrange fonksiyonu:
2. FOC:
3. $\lambda$'yı yok edelim:
$y = 2\lambda x$ ve $x = 2\lambda y$ ⇒ $\displaystyle \frac{y}{x} = \frac{x}{y} \Rightarrow x^2 = y^2 \Rightarrow x = \pm y$
4. Kısıtı kullanalım:
Eğer $x=y$ ise: $2x^2=1 \Rightarrow x=\pm 1/\sqrt{2}$, $y=\pm 1/\sqrt{2}$
Eğer $x=-y$ ise: $2x^2=1 \Rightarrow x=\pm 1/\sqrt{2}$, $y=\mp 1/\sqrt{2}$
5. $\lambda$'yı hesaplayalım:
$y = 2\lambda x \Rightarrow \lambda = y/(2x)$
$x=y$ için: $\lambda = 1/2$
$x=-y$ için: $\lambda = -1/2$
6. Sonuç:
$f(x,y)=xy$ değerleri:
$x=y$ için: $f=1/2$ (maksimum)
$x=-y$ için: $f=-1/2$ (minimum)
$(1/\sqrt{2}, 1/\sqrt{2})$ ve $(-1/\sqrt{2}, -1/\sqrt{2})$ noktalarında maksimum $1/2$, $(-1/\sqrt{2}, 1/\sqrt{2})$ ve $(1/\sqrt{2}, -1/\sqrt{2})$ noktalarında minimum $-1/2$ elde edilir.
$L(x,y,\lambda)$ ile kurulan 3 denklemli sistem, Lagrange Çarpanı yönteminin cebirsel kalbidir. $\lambda$'yı yok ederek $x$ ve $y$ arasında ilişki bulur, kısıtla birleştirerek çözüme ulaşırız. Doğrusal olmayan sistemlerde birden fazla çözüm çıkabilir; her birini $f$'de değerlendirerek maksimum/minimum ayırt edilir.
2 değişkenli sistemleri çözmeyi öğrendik. Bir sonraki modülde "3 Değişkenli ve Çok Kısıtlı Sistemler" başlığı altında $L(x,y,z,\lambda)$ ve daha karmaşık sistemleri inceleyeceğiz.