Lagrange çarpanı

sağ|küçükresim|300px|Resim 1: Kırmızı renkle gösterilen fonksiyonu kısıtlaması altında, 'nin enbüyük değerini bulmak için x ve y bulunuz. küçükresim|sağ|300px|Resim 2: Resim 1'in üstten çizilmiş hali. Kırmızı çizgi kısıtlamasını göstermekte ve mavilerde 'nın hatlarını göstermektedir. Kırmızı çizginin teğetsel bir şekilde mavi hatlarına dokunduğu kısım aradığımız çözümdür. olduğundan dolayı, çözüm, kırmızı çizginin mavi halkaya teğet olduğu nokta, fonksiyonunun enbüyük değerini verir. Optimizasyon yaparken, Lagrange çarpanı methodu (Joseph Louis LagrangeMécanique Analytique sect. IV, 2 vols. Paris, 1811 https://archive.org/details/mcaniqueanalyt01lagr'dan sonra isimlendirildi), bir fonksiyonun maksimum ve minimum noktalarını bulmak için kullanılan bir yöntemdir. Örnek olarak, (bkz. resim 1), optimizasyon problemine bakarsak; : denklemi ile sınırlandırılmış : işlevinin (fonksiyonunun) enbüyük değeri. Burada f ve g fonksiyonlarının ilk kısmi türevilerinin devamlı olması gerekmektedir. Lagrange çarpanı diye isimlendirdiğimiz yeni bir değişken tanımlıyoruz (λ), ve lagrange işlevimiz aşağıdaki şekilde tanımlanıyor; : \Lambda(x,y,\lambda) = f(x,y) + \lambda \cdot \Big(g(x,y)-c\Big), burada işleve λ çıkarabilir de eklenebilir de, iki durumda da aynı sonuç elde edilebilir. Eğer orijinal sınırlandırılmış problemde 'nin maksimum noktasıysa, öyle bir noktası olacaktır ki ve durgun nokta olur (durgun noktalar, Λ fonksiyonunun ilk kısmi türevinin sıfır olduğu noktalardır.). Gelgelelim, original problemin her sabit nokta için bir çözümü olmayabilir. Lagrange methodu, sınırlandırılmış problemde optimizasyon yapabilmek için gerekli işlevi elde etmemizi sağlar.. * * Ayrıca, gerekli koşullar, en küçük (minimum) ve en büyük (maksimum) noktalar için vardır. ==Giriş== Calculustaki en popüler problemlerden biri, bir fonksiyonun maksimumunu veya minimumunu bulmaktır ama genellikle zordur, kapalı bir yapı bulmak karışık fonksiyonlar için. Ne zaman bir fonksiyonu mümkün olduğunca küçük veya büyük yapmaya çalıştığımızda karşılaşabiliriz. Lagrange çarpanı methodu güçlü bir araçtır, bu tarz problemleri, açıkça çözme gereksinimi olmadan çözer ve fazladan değişkenleri yok etmek için kullanır. Aşağıda tanıtılan iki boyutlu problemi ele alalım: :en büyük olan :bağımlı olan Sezgisel olarak lagrange çarpanını, maksimum noktasında, fonksiyonu, bu fonksiyonun komşu noklarının yönünde artamaması gerektiğidir. Eğer artıyorsa, yönünde daha büyük bir değere gidilebilir, bu başlangıç noktası aslında maksimum noktası değil demektir. Bir fonksiyonun eşyükselti eğrileri gözümüşde canlandırabiliriz. Örnek olarak bir f fonksiyonu için herhangi bir d değeri için, ve eşlik yükselti eğrisi için şeklinde yazılabilir. Farz edelim g=c hattı üstünde yürüdük. f'nin biz yürüdükçe değişmeyen noktalarını bulmak istiyoruz, çünkü bu noktalar maxima olabilirler. İki bu durum oluşabilir; İlki, biz f hattını takip ediyorsak, çünkü f tanımı gereği, f değişmeyecektir biz onun hattının bulunduğu çizgide yürüdükçe ve bu da f ve g'nin yükselti çizgilerinin paralel olduğunu gösterir. İkici olası durum da, f'nin yönünün değişmediği bir noktaya ulaştığımız durumlarda ortaya çıkar. İlk olası durumu ele alırsak, kontrol etmek için, fonksiyonun gradyanı yükselti çizgisine dik olduğundan dolayı, f ve g'nin yükselti eğrileri paralel olurlar, sadece ve sadece f ve g'nin gradyanı paralel ise. Böylelikle biz öyle (x,y) noktaları istiyoruzki g(x,y)=c olsun ve : abla_{x,y} f = - \lambda abla_{x,y} g, herhangi bir λ için : abla_{x,y} f= \left( \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y} \right), \qquad abla_{x,y} g= \left( \frac{\partial g}{\partial x}, \frac{\partial g}{\partial y} \right). ayrı ayrı gradyanlardır. Sabit olan λ gereklidir, çünkü iki gradyan vektörleri paralel olduğu halde, gradyan vektörlerinin büyüklükleri genellikle eşit olmazlar ve eksi işareti geleneksellikten geliyor. Aynı zamanda, bu sabit Lagrange çarpanı diye adlandırılmıştır. Bu method aynı zamanda ikici olası durumuda çözüyor: eğer f herhangi bir yönde değişmiyorsa onun gradyanı sıfırdır ve Lagrange çarpanını sıfır seçerek çözüme ulaşabiliriz g bağımsız bir şekilde. Bu koşulları tek bir denklemde birleştirmek için, yardımcı bir fonksiyon tanıtacağız, : \Lambda(x,y,\lambda) = f(x,y) + \lambda \cdot \Big(g(x,y)-c\Big), ve : abla_{x,y,\lambda} \Lambda(x , y, \lambda)=0. 'nin için çözeceğiz. Bu Lagrange çarpanının methodudur. Dikkate alın ki abla_{\lambda} \Lambda(x , y, \lambda)=0, demektir. f'nin zoraki oluşturulmuş uç noktası Lagrangian Λ'nın kritik noktalarıdır, ama Λ'nın lokal uç noktaları değildir. Lagrangian, Hamiltonian olarak yeniden düzenlenebilir ve bu durumda çözümler lokal minimadır Hamiltonian için. Optimal kontrol teorisinde bu yapılmıştır, Pontryagin's minimum prensibi formunda. Lagrangian'nın çözümlerinin extrema olması şart olmadığından dolayı zorluklar ortaya çıkarmaktadır, sayısal optimizasyonlar için. Bunlar gradyanın büyüklüğünü hesaplayarak belirlenebilir. == Kaynakça == Kategori:Optimizasyon Kategori:Çok değişkenli hesap Kategori:Matematiksel ve kantitatif metodlar (ekonomi)