0:09
Merhaba.
Gene türev uygulamalarına devam ediyoruz yeni bir
yöntemle yeni bir problem türüyle.
Burada en iyiyi aramaya çabalıyoruz.
Ama belli bir kısıtlama altında.
Bakınız bu problem nasıl oluşuyor.
Genel teoriye girmeden önce bir örnekle başlayalım.
Örnek çok basit, geometriden de biliyorsunuzdur.
Çevresi aynı olan yani çeperi aynı olan dikdörtgenler arasında
en geniş alanı olanın boyutunu bulunuz.
Şimdi bu sözel problemi.
Matematiksel gösterime gelelim.
Bir diktörtgen var.
Bi kenarı x.
Öbür kenarı y.
Biz bunun en büyük alanını bulacağız.
Bu x, e, dikdörtgenler arasında.
Ama şöyle bir kısıtlama da var.
Eğer kısıtlama olmazsa en büyük alan sonsuzdur.
Kısıtlama olduğu için zaten bir en iyiyi arama problemi oluşuyor.
Çeperi de diyoruz bunun aynı olacak bütün dikdörtgende.
Mesela böyle bir dikdörtgen aldığınız gibi şöylesine bi dikdörtgen de alabilirdiniz.
Şöyle gayet yassı bi dikdörtgen de alabilirdik.
Bütün bu çeperi aynı kalmak şartıyla sonsuz tane dikdörtgen var.
Biz bunlar arasında alanı en büyük olanını buluyoruz.
Şimdi alan bi kenarı x'se bu dikdörtgenin, öbür kenarı y ise x y olur.
Yani x ve y'nin iki değişkenli fonksiyonun yapısı x y'dir.
Burada x artı y eşittir p yani p
yarı çeper oluyor bu tam çeper iki p olmak üzere.
Bu bir kısıtlama.
Çünkü x ve y'nin artık tamamen bağımsız olduğunu kabul edemiyoruz.
O zaman x ve y tamamen bağımsız olsa sonsuz olacak alan yani bir
optimizasyon problemi en iyiyi bulma problemi kalmayacak.
Buna da x artı eksi p eşit sıfır diyelim.
Bu da gene x ve y'nin fonksiyonu olan iki değişkenli bir fonksiyon.
Ona da g x y diyelim.
Dolayısıyla problemin genellemesinde bize verilen bir z eşittir f x y fonksiyonunun
g x y eşittir sıfır kısıtlaması altındaki en iyi çözümünü bulmak istiyoruz.
Şimdi biz bu problemi anlamaya çalışalım.
z eşittir x y bir eğer yüzeyi gösteriyor.
Bunu birinci kısmın özetleri arasında kolaylıkla bulursunuz.
Biraz daha ayrıntılı hatırlamak isterseniz birinci
kısmın notlarına da bakabilirsiniz.
Bunun eşit değer çizgilerini yaparsak,
yani z eşittir bir sabit dediğimiz zaman y eşittir o sabit bölü x.
Bunun bi hiperbol olduğunu biliyoruz.
Bu hiperboller de bunlar.
Diğer taraftan x artı y eşittir p diyoruz.
Buna da p'yi de somutlaştırmak için burada konuyu iki seçelim.
Bu da bi doğru.
y eşittir sıfırda ikiden geçen x eşittir sıfırda ikiden geçen,
eğimi de eksi bir olan bu doğru.
Bakınız bu doğruyu çizince de bu eşit değer çizgilerinden bi
tanesine teğet geliyor.
Şimdi biz bunu nasıl çözebiliriz?
Bu değişik yönlerden çözülebilir.
Üç değişik yoldan çözülebilir.
Madem ki elimizde x'le y arasında bi ilişki var
buradan y'yi çözüp bu fonksiyonda yerleştirdiğimiz zaman
bu iki değişkenli fonksiyonu tek değişkenli fonksiyona indirgeriz.
Yani işlem şu: z eşittir x y'ydi.
Ama x artı y de p'ydi.
Buradan y'yi çözdüğümüz zaman p eksi x olur.
Demek ki x çarpı p eksi x.
Gördüğünüz gibi bu sadece x'e bağlı tek değişkenli bir fonksiyon.
Bunun en büyük en küçük değerini bulmak çok kolay.
Bunun bu z'nin x' göre türevini aldığımız zaman bakınız buradan p
eksi x kareden de iki x gelip eşittir sıfır.
Buradan da x p bölü iki.
x p bölü iki olunca da y de p bölü iki yani bu dikdörtgenler arasında,
çeperi aynı olan dikdörtgenler arasında alanı en büyük dikdörtgenin bi
kare olduğunu buluyoruz.
Bunu zaten geometriden de biliyoduk.
Buna karşıt gelen en büyük alan da x ve y'yi p bölü iki
seçtiğimiz zaman gördüğünüz gibi buradan p kare bölü dört çıkar.
Bu işlemi görsel olarak da canlandırabiliriz.
z x düzleminde gördüğünüz gibi böyle bir parabol var.
Bu parabol aşağı bakan bir parabol.
x eşittir p'de sıfır.
x eşittir sıfırda gene sıfır.
p bölü ikide de en büyük değerine ulaşıyor.
Bunun ikinci bi yolu daha var.
Bu ikinci yolu zincirleme türev kuralıyla çözmek.
Çünkü biz bu kısıtlamadan y ile x arasındaki fonksiyonu biliyoruz.
Demek ki y x'in bir fonksiyonu.
Total tam türevi hesaplarsak f'nin x'e göre tam türevi,
f'nin x'e göre kısmi türevi artı f'nin y'ye göre
kısmi türeviyle y'nin x'e göre türevidir.
Bunu kullandığımız zaman bakınız x'e göre kısmi türev y buradan.
Artı y'ye göre kısmi türev x.
y'nin de x'r göre türevi eksi bir.
Buradan hemen gördüğünüz gibi iki denklem var y ve x için.
Ve buradan da zaten y eksi y'nin p eksi x olduğunu biliyoruz.
Veyahut da bunu düzenlersek y artı x eşittir p.
Buradan da, tam türevden de eksi x artı y bulduk.
İki bilinmeyenli iki denklem.
Bunu çözdüğümüz zaman da gene bi önceki örnekte olduğu gibi x'in ve
y'nin değerlerinin bunu en
büyük yapan değerlerinin p bölü iki olduğunu buluyoruz.
Olması gerektiği gibi aynı sonucu elde ediyoruz.
Dolayısıyla ilk problemde bilinmeyen sayısını azalttık.
Nasıl azalttık?
Bu kısıtlamayı kullanarak y'yi x cinsinden yerine koyduk tek değişkenli bir
fonksiyon haline getirdik.
Burada iki değişkenli tuttuk.
Ama bu iki değişkene zincirleme türev kuralını kullanarak bu zincirleme
türev kuramın, yönteminde de x'le y arasındaki kısıtlamayı kullanarak bulduk.
Yani burada denklem ve bilinmeyen sayısını değiştirmedik.
Denklem de iki bilinmeyene iki denklem oldu.
Bi önceki yapıda bi bilinmeyene bi denkleme indirdik.
Şimdi ne olabilir diye düşünebilirsiniz.
Önce bilinmeyen sayısını azalttık.
Burada bilinmeyen sayısını aynı tuttuk.
Bir de diyebilirsiniz ki belki bilinmeyen sayısını artırarak bir şey yapılabilir.
Gerçekten işte bu da üçüncü yöntem oluyor.
Burada şöyle: Bize z eşittir x y verilmişti.
Bi de bu kısıtlama var.
Şimdi bu kısıtlamayı buraya eklersek ama sıfır olarak,
x artı y eksi p diye düşünelim.
x y'den eksi olarak sıfırı çıkarırsak veyahut
eklersek nasıl baktığınıza bağlı bu sefer üç bilinmeyenli bir denklem elde ediyoruz.
Bi üç bilinmeyenli bir fonksiyon elde ediyoruz.
x'in y'nin ve bu sıfırı çarpan katsayının.
Çünkü bunu bi şeyle çarpmamız lazım çünkü sıfırı neyle çarparsanız gene
sıfır olacak.
Dolayısıyla burada bir serbestlik, esneklik var.
Demek ki problemi burada kısıtlaması olmayan, çünkü burada kısıtlamayı içeriyor
bu yeni fonksiyon ama değişken sayısı üç olan bir probleme genişlettik.
Şöyle düşünebiliriz: İlk yaklaşımda
iki boyutlu uzaydan çünkü x ve y serbest bağımsız değişkenleri vardı.
Bi tanesini kısıtlamayı kullanarak azalttık ve
tek boyutlu uzaya indirgedik yani daralttık uzayı.
İkinci yöntemde daraltmadık.
Aynı bıraktık.
Burada ise uzayı genişlettik.
İki boyuttan üç boyuta genişlettik.
Yapay da görseniz yeni bir bilinmeyen, yeni bir değişken ekleyerek.
Şimdi burada demek ki artık kısıtlama kalmadı.
Kısıtlamayı içeriyor bu yeni fonksiyon.
Bu fonksiyonun uç değerlerini bulmak demek,
bunun birinci türevlerinin sıfır olması demek.
g'nin bu büyük g fonksiyonu dedik buna, x'e göre türevi sıfır,
y'ye göre türevi sıfır, landa'ya göre de değeri sıfır.
Landa'ya göre e türev fevkalade basit çünkü landa
burada doğrusal olarak kendi başına görünüyor.
Dolayısıyla landa'ya göre türevi aldığımız zaman bu
kısıtlamadan başka bir şey çıkmıyor.
Dolayısıyla kısıtlamayı burda tekrardan elde ediyoruz.
Ama burada gördüğünüz gibi bilinmeyen sayısını artırdık ama
buna karşılık denklemlerimiz çok basitleşti.
Bu üç bilinmeyenli daha basit denklemlerden hemen görürüz.
Burdan y'nin landa x'in de landa olduğunu anlıyoruz.
Burdan x'e y'nin eşit olduğunu buluyoruz.
x'le y eşitse bunları bu üçüncü denklemde yerleştiriyoruz.
Burdan da x'in ve y'nin teker teker p bölü iki olduğunu görüyoruz.
Şimdi demek ki üç değişik yöntem yaptık.
Şimdi bun, bunlardan hangisini kullanalım?
Bu landa'ya lagrange çarpanı deniyor.
Dolayısıyla yöntemlerden bir tanesi burada incelediğimiz yöntem
kısıtlamalar altında uç değerler ve lagrange çarpanı.
Şimdi sizi bir yere oturtsalar dar böyle,
uzayınızı daraltsalar biraz sıkıntı olabilir.
Burda uzayı genişletiyorsunuz.
Daha bir ferah uzaya getiriyorsunuz gibi bakabilirsiniz.
İşte bu lagrange yöntemi hesapların en kolay yapılabildiği yöntemdir.
Bunun eşdeğerleri var, bu örnektede gördüğümüz gibi ama örnek çok
basit olduğu için kısıtlama çok basit, buradan y'yi hemen x cinsinden bulabildik.
Ama düşününüz ki burası karışık bir denklem olsaydı,
burdan y'yi x cinsinden çözemeyebilirdik.
Çözemeyince de ikinci yöntemi ve birinci yöntemi kullanamazdık.
Geriye sadece bu lagrange yöntemi kalırdı.
Onun için lagrange yöntemi önemli.
Bazı durumlarda, çok basit problemlerde her üç yöntem de kullanılabilir.
Hatta ilk ikisini daha kolay bile görebilirsiniz.
Ama gerçek problemlerde y,
verilen kısıtlamadan y'yi x cinsinden çözmek pek kolay olmaz.
Onun için bu lagrange yöntemi önemlidir.
Bir örnek daha yapalım.
Bunu ama ödev olarak yolunu gösterip sizin bulmanızı istiyorum.
Toplamları bir ve karelerinin toplamı da en
küçük olan iki sayıyı bulalım istiyoruz.
Bunu biraz önce yaptığımız gibi tek değişkenli fonksiyona indirgemeyle,
zincirleme türev kuralını kullanarak iki değişkenli ve
lagrange çarpanını kullanarak üç değişkenle bulmak istiyoruz.
Bu problemin bir eş anlamıda var.
x artı y eşittir bir bir doğru.
Düzlemde bir doğru.
Burdan koordinat denkleminin,
koordinat takımının başlangıcına en kısa yolu düşünürsek x kare artı y karedir.
Bu çizgi üzerinden merkeze uzaklık x kare artı y karedir.
Bu da kısıtlama.
İşte bunun da, gene burada da çok basit bir denklem var kısıtlama olarak.
Burdan y'yi çözebiliriz x cinsinden.
Dolayısıyla birinci ve ikinci yöntemleri uygulamak mümkün olur.
Ama bunu birde lagrange çarpanıyla yapmak istiyoruz.
Kolaylıkla da bulabileceğiniz gibi x ve y birbirine eşit çünkü problem simetrik.
x ve y aynı yapılarda görünüyor her iki denklemde de.
Bunların toplamı da e,
bir olduğu için her ikisi de bir bölü ikişer oluyor.
Bir bölü ikinin karesi bir bölü dört artı bir
bölü ikinin karesi gene bir bölü dört toplam bir bölü iki çıkıyor.
Bunu sizin de çok kolay yapabilmeniz mümkün.
Burada geometri gösteriliyor.
Bakınız z eşittir x kare artı y kare bir paraboloid, yukarıya bakan bir paraboloid.
Bunun düzlemdeki eş, eşit değer çizgilerine bakarsak, yani yataydaki
düzlemle kesitlerine bakarsak, öyle aynı merkezli çemberler çıkacaktır.
x artı y eşittir bir doğrusuna bakarsak da,
gene bu eğimi eksi bir olan x eşittir sıfırda y eşittir birden,
y eşittir sıfırda x eşittir birden geçen doğru bunu gördüğünüz gibi buda e,
z eşittir bir bölü iki eşit değer çizgisine teğet oluyor.
Gene benzer olarak burdan y'yi çözseniz x cinsinden
yerleştirince elde edeceğiniz fonksiyon böyle bir parabol.
Bunun diğer problemden şöyle bir farkı var.
Bir önceki probemde de gene böyle ikinci derece fonksiyonlar oluşmuştu.
Doğrusal bir kısıtama fonksiyonu vardı ama onda en büyük değeri arıyorduk.
Burada ise en küçük değeri arıyoruz.
Bu da tabi uç değer dediğimizde zaten en küçük ve en
büyük değerlere verilen ortak ad.
Şimdi lagrange çarpanı yönteminin
niye çalışıyor, niye anlamı nedir bunu belirlemeye çalışalım.
Geometrik yorumu şöyle: Bize veriliyor z eşittir x ve y'nin fonksiyonu.
Bir iki bilin, iki değişkenli bir fonksiyon.
Birde x'le y arasında da bir kısıtlama veriliyor sıfır olarak,
her zaman bu kısıtlamayı belirleyebiliriz.
Gene burada görüyorsunuz her zaman karmaşık bir fonksiyon olsa bu g,
y'yi x cinsinden çözemeyebiliriz onun için
lagrange yöntemi en işlerliği olan yöntemdir.
Biz buradan verilen bu fonksiyona, dan bir
sıfır çıkararak dolayısıyla sayısal değeri değişmeyen yeni bir fonksiyon üretiyoruz.
Bu fonksiyon ise üç değişkenli.
Bu üç değişkenli fonksiyonun landa'ya göre türevi bize bu
kısıtlamadan başka bir şey değil bu.
Onu tekrar üretiyor.
Bu da iyi bir şey çünkü tutarlı olduğunu gösteriyoruz.
Görüyoruz.
Bu üç değişkenli fonksiyonun x'e göre türevini alıyoruz, sıfırlıyoruz
Bakınız x'e göre türevini alınca, f'nin x'e göre türevi eksi landa değişmiyor.
Çünkü x'e göre türev alıyoruz.
g'nin x'e göre türevi ve bunları benzer işlemi de y'ye
göre türev yapınca gördüğünüz gibi üç bilinmeyen üç denklem oluşuyor.
x, y ve landa bilinmeyenleri için bir tanesi kısıtlama denklemi olan diğer ikisi
de bu üç değişkenli fonksiyonun x ve y'ye göre türevlerinden oluşan iki denklem.
Şimdi bu ikinci ve üçüncü denklemi birleştirirsek bakınız burada e,
landalı terimi sağa alalım.
f'nin x'e göre türevi, f'nin y'ye göre türevi.
Bunları bileşen olarak düzenlersek bu gradyan f oluşur.
Sağ tarafta da landa çarpanı dışında g'nin x'e göre türevi birinci bileşen.
g'nin y'ye göre ikinci türevi ikinci bileşen olmak üzere gradyan g olur.
Şimdi hemen şu bilgiyi veriyor bize: Gradyan f'nin dersin ilk kısmında gördük
anlamı şudur: Bu eşit değer çizgiden f x y eşittir
bir sabit koyduğunuz zaman her zaman o sabitlere dik doğrultuyu verir.
Gradyan g de zaten burada g x y eşittir sıfır bu
eğriye dik olan bir vektör.
Şimdi bunları çizersek şematik olarak,
f x y herhangi bir c değerine eşit olduğu zaman böyle bir eğri olsun.
g x y gene böyle bir eğri.
Tabii c keyfi olduğu için f x y eşittır c bir,
c iki sonsuz tane böyle eğri çizebilirsiniz.
Ama bunlardan bir tanesi veya birkaç tanesi,
sonlu sayıdaki olanı g x y'ye teğet olacak.
Çünkü bu birleşim noktasında, bu ikisinin değdiği noktada ancak bu gradyan g'yle
gradyan f'nin gösterdikeri vektörlerin paralel olduğunu görüyoruz.
Çünkü bir vektör bir başka vektörün bir katıyla bir
sayıyla çarpılmasına eşdeğer geliyorsa bu iki vektör birbirine paraleldir.
Dolayısıyla lagrange çarpanı yönteminin anlamı bu.
Verilen f fonksiyonunun gradyanıyla g fonksiyonunun gradyanının
birbirine paralel olduğu yerlerde çözüm oluşuyor.
Tabi birden fazla çözüm de oluşabilirdi mesela bu eğrinin düşününüz böyle
gidiyor tekrar geliyor bir daha teğet olabilirdi veya burada bir başka fxy
eşittir c'ye teğet olabilirdi ama sonlu sayıda çıkardı.
Çok istisnai bir durum olarak bu bu yüzeyin içinde bir eğriyse o zaman zaten
yapacak bir şey yok Sonsuz çözüm çıkardı o zaman ama bu çok istisnai bir şey.
Şimdi Lagrange yönteminin zincirleme türevle
eşdeğerliğini de düşünelim çünkü aynı problemi zincirleme türevle de
çözebiliyoruz Lagrange çarpanıyla da çözebiliyoruz.
Bakınız Lagrange çarpanıyla f'nin x'e göre tam türevini alırsak bunu en büyük veya
en küçüğünü, uç değerini bulmak istiyoruz, dolayısıyla bu sıfır olmak zorundadır.
Bunun zincirleme türevi f'nin x'e göre kısmi türevi,
f'nin y'ye göre kısmi türevi ve y'nin x'e göre türevi bu uç değer olması nedeniyle.
Diğer tarafta g zaten sıfır dolayısıyla g'nin herhangi bir türevi de sıfır,
bunun sıfır olma nedeninin farklı olduğunu görüyoruz ama sonuçta bu da sıfır.
Bunun zincirleme türevinden x'e göre
kısmi türev y'ye göre kısmi türevle y'nin x'e göre çarpılması.
Şimdi bu iki denklemi birleştirirsek kısa yazılımla fx bunu y,
dy dx'i sağa alalım eksi fy kere dy dx olur.
Burada da dy dx var bakınız gx x'e göre kısmi türev
eşittir sağ tarafa alınca eksi işareti dy dx kere gy.
Bu ikisi arasındaki Lagrange yöntemine benziyor çünkü gradyan f gradyan g'ydi.
Buradan dy dx'i çözersek, ve lambdayla
karşılaştırırsak lambdanın buradaki kısmi türevlerle ilişkisini buluyoruz.
Yani bu kavramsal olarak zincirleme türevin eşdeğeri, fakat
işlemsel olarak zincirleme türevi yapmak pek çok halde ve gerçek problemlerde
hemen hemen mümkün değildir çünkü y'yi x'in fonksiyonu olarak bilmemiz lazım.
Pek çok problemde bu bilinmez sadece x'le y arasında bir kapalı
fonksiyon ilişkisi bulunur, o bakımdan uygulanamaz ama yapılan işlem bu
bilinseydi kavramsal olarak lambdanın böyle bir anlamı olduğunu görüyoruz.
Bu bir tekrar oluyor
bu f eşittir
xy birinci örnekte bunun sabit değerleri için
mesela bir için bu hiperbol çifti, bu ve buradaki eksi
bir için bu hiperbol çifti, dört için bu hiperboller tabi iki
üç arada hepsi de var ama burada çizimi fazla karıştırmamak için böyle yapıyoruz.
x artı y eşittir birde bir doğru hakikaten çözümün
oluştuğu noktanın da bir bölü iki olduğunu biliyoruz ve işte burada
bu noktada f fonksiyonunun bir herhangi bir değeri
mesela buna teğet değil bizim kısıtlamamız z'nin ancak bir
değerinde bu çözüm oluşuyor bu çözümün oluştuğu nokta da bu her
iki çizginin dik vektörlerinin aynı doğrultuda olması.
Bu doğrunun dik vektörü tabi ki doğruya dik vektör bu
hiperbol eğrisinin dalının dik
vektörü de gene bakınız gördüğünüz gibi bu şekil makul bir ölçeklilikle
tutarlılıkla çizildiği için bunların ikisinin de aynı yönde olduğunu görüyoruz.
İkinci problemde de z eşittir x kare artı y kare vardı bunun eşit
değer çizgilerinin öyle değişik z eşittir bir bölü dört
bir bölü iki gibi çeşitli değerlerde çemberler olduğunu görüyoruz.
Kısıtlama çizgisi de kısıtlama koşulu da x artı y eşittir bir,
o da bu doğru gerçekten de görüyorsunuz ki çözümün oluştuğu noktada bu doğru
bir eşit değer çizgisine teğet oluyor.
Bu nitekim bu noktada iki dik vektör aynı yönde oluşur bu da anlamı oluyor.
Size bir ödev veriyorum,
alanı altı olan bir levhadan tabanı kare olan
en büyük hacimli dik prizma biçimindeki kapalı kutuyu yapmak istiyoruz.
Bu kutunun boyutları ne olmalıdır.
Bunu basit geometriden düşünebilirsiniz dik prizmalar içinde yan yüzeyi
aynı olanların arasında en büyük hacim küpünküdür.
Burada gene sözel problemden matematik diline geçişi yapalım.
Uç değeri bulunacak fonksiyon tabanı kare olduğu için kare
tabanına boyutlarına x diyelim tabanı xx olan kare
bu x kare yüksekliğini bilmiyoruz y olsun, bu da y.
Bu uç değeri bulunacak fonksiyon ama bu hiç kısıtlamasız değil,
hiç kısıtlamasız olsa sonsuz çıkar gene, dolayısıyla anlamlı bir problem olmaz.
Hayatta da yaşamda da zaten kısıtlamalar olmayınca iş dağılır gider.
Doğada da böyle insan yaşamında da böyle verdiğimiz kararlarda da
böyle ekonomide de böyle kısıtlamasız optimizasyon yok.
Bu kısıtlama fonksiyonunu düşünelim kısıtlama fonksiyonu nedir,
yan yüzeyleri bu karenin üzerine inşa edilmiş demek ki
dört tane bunlardan var bu yüzeylerin tabanı x,
yüksekliği y, dört tane bunlardan var.
İki tane de alt ve üst kapak var bunlar da kare her biri
x kare olduğu için iki tane alt üst kapağı koyunca da iki x kare, bunlar da altıya
eşit olsun diyoruz ve bunu kısıtlamayı gxy eşittir sıfıra getirebilmek
için altıyı sola aldığımız zaman bu da kısıtlama fonksiyonumuz oluyor.
Tabi bunu gene başka türlü ilk yöntemler gibi yapabiliriz
ama burada esas yapmak istediğimiz artık Lagrange çarpanına alışmamız.
Zaten biliyoruz geometriden bunun bir küp çıkacağını x eşittir y eşittir
bir olacaktır, bu durumda da hacim gene bir olacaktır
ve gerçekten de x eşittir y eşittir bir koysanız buradan da altı
olduğunu görüyorsunuz iki artı dört altı eksi altı eşit sıfır.
Şimdi biraz daha karışıkça bir fonksiyonlar alalım
ki Lagrange çarpanı yönteminin uygulanabilirliğini görelim.
Şimdi böyle bir fonksiyon olsa buradan y'yi kolay çözemezsiniz var
aslında kübik denklemin çözümü ama bunu uygulamak filan fevkalade zor
dördüncü kuvvet olsa hele hiç çözüm yapamazsınız.
Böyle bir fonksiyonun koordinat denkleminin başlangıcına olan
en yakın noktasını bulmak istiyoruz ve bunun uzaklığını belirlemek istiyoruz.
Şimdi bir kere bu eğri üzerindeki herhangi bir noktanın
koordinatları x ve y dersek bunların nerede olduğunu bilmiyoruz
çünkü x ve y serbest değişkenler x kare artı y karedir bunun koordinat denkleminin
başlangıcına uzaklığının karesi ama karesinin en büyüğünü bulmak
da kendisini bulmak aynı şey onun için karekökle uğraşmamak için uzunluk desek
karekökünü de almak lazım ama mesela bu luzumsuz karıştıracağı için uğraşmıyoruz.
Ama böyle de bir kısıtlamamız var diyoruz ki x ve y
düzlemde herhangi bir noktada değil bu eğrinin üzerinde.
Bu da kısıtlamamız demek ki x ve y bu
eğrinin üzerinde bulunmaları demek bu denklemi sağlamaları demek.
Dolayısıyla bu fonksiyonun gradyanını aldığımız zaman
iki x eşittir lambda kere bunun gradyanı ikinci bileşeni
de iki y bunun ikinci bileşenine eşit gradyanın ve buradaki
problemi çözersek x eşittir y eşittir üç buluyor gene buralarda bu hesapla
uğraşmayın diye çok basit hesabı olacak problemleri seçtik ki hesap karışıklığı
ana yöntemi içselleştirmenizi anlamanızı engel olmasın diye.
Burada yerleştirmeyle buradan y'yi çözeceksiniz götürüp
burada yerine koyacaksınız garip bir fonksiyon çıkacak bu mümkün aslında çünkü
kübik denklemin çözümü var ama dördüncü kuvvetler olsaydı onu hiç yapamazdınız.
Burada işte görüyoruz ki Lagrange yöntemi tek çözümdür bu durumlarda
30:06
Şimdi biz Lagrange denklemini daha yöntemini daha
çok değişkene genişletmek isteyebiliriz çünkü biz burada sadece
iki değişkenli fonksiyonlar için yaptık ve şu sonuçları bulduk.
Üç bilinmeyen x y z var x y lambda var ve çünkü
x ve y'yi bilince z'yi buluyoruz orada sorun yok ama lambda da bilinmeyenimiz.
Bunun için de üç denklem var bu gradyanlardan iki
denklem bir de bu kısıtlamanın kendisinden üçüncü denklem.
İki bilinmeyenli iki değişkenli fonksiyonda sadece bir kısıtlama
yapabiliriz ikinci bir kısıtlama getirseniz artık bir hareket edecek hali
kalmaz çünkü bu sefer x y z'yi çok fazla kısıtlamış olursunuz
veyahut bunun gibi iki denklem buradan gelecek
buradan da bir iki tane bir kısıtlama gelirse bu problemin çözümü olmaz.
Burada üç bilinmeyenle üç denklem çözebiliyoruz bunu çünkü
burada bir de h x y olsaydı bizim üç
bilinmeyenimiz var z x y burada bir denklem
burada bir denklemde daha burada da üçüncü denklem üç bilinmeyenli üç denklem bu
çözülürdü bir artık optimize edecek en iyiyi arayacak bir esneklik kalmazdı.
Dolayısıyla iki değişkenli fonksiyonlarda sadece bir kısıtlama yapılabilir,
ama üç değişkenli problemler var n değişkenli problemler de var.
Eğer fonksiyonumuz x y z'nin fonksiyonuysa yani
üç bağımsız değişken varsa burada bir veya iki kısıtlama getirebiliriz.
İki bağımsız değişkenlide en fazla bir kısıtlama olabilir aksi takdirde
x y z'yi bu iki kısıtlamayla birlikte çözeriz artık bir esneklik kalmaz.
Burada bir kısıtlama koyduğumuz zaman problem bunun genellemesi oluyor üç
boyuttaki gradyan yani x'e göre y'ye göre z'ye göre türevler,
kısmi türevler üç denklem burada var.
Lambdaya göre türevden de bu kısıtlama denklemi çıkıyor bu da dördüncü denklem.
E dört bilinmeyenimiz var x y z ve lambda.
Dört bilinmeyenden bu dört denklemi çözeriz.
w bir bilinmeyen değil x ve y belli olunca hemen w'yi hesaplıyoruz.
Ama bu çeşit problemlerde yani w'nin x y ve z'ye bağlı olduğu üç
bağımsız değişkenli problemde bir ikinci kısıtlama da getirebiliriz.
Şöyle ki G x y z eşittir sıfır H x y z eşittir sıfır
gibi ikinci bir kısıtlama getirsek bu gene çözülebilir çünkü gene gradyan,
fakat burada yapacağımız gradyan F'nin lambda kere gradyan
G ve mu kere gradyan H'dan oluşması yani burada
üç denklem çünkü gradyan F'nin x y z'ye göre kısmi türevleri var.
G x y z bir denklem dört, bir de H beş.
Gerçekten de beş bilinmeyenimiz var x y z lambda ve mu, bu beş denklemi çözeriz.
Bir üçüncü kısıtlama getirsek bu mümkün olmaz çünkü üçüncü kısıtlamayı koysak
x y z bilinmeyenler w de bunlar x ve z bilinirse w biline,
bulunacak ama bir esneklik kalmaz çünkü üç tane de kısıtlamamız var
demek x y z yanısıra bir
de w var o zaman burada dört bilinmeyeni
gerçekten bunun x y'ye göre bilinmeyenlerini çözdüğümüz
zaman üç kısıtlama denklemi de olunca artık bu bilinmeyenleri
x y z ve lambdayı bu denklemlerden çözebiliriz fazla kısıtlama olmuş olur.
Dolayısıyla en genel halde n değişkenli bir fonksiyonda
n eksi bire kadar kısıtlama koyabiliriz ama n tane kısıtlama koyamayız
nasıl ki n'yi iki aldığımız zaman sadece n eksi bir yani bir tane kısıtlama,
n'yi üç aldığımız zaman en fazla iki tane kısıtlama olabilir,
ama daha az da olabilir.
Burada bir örnek veriyorum basitçe bir
fonksiyon yani üç bağımsız değişkenle tanımlanan bir fonksiyon
ve bu küre üzerindeki yani x kare artı y kare artı
z kare eşit bir onu bir bölü ikiye böldükten sonra küresi üzerindeki
uç değerlerini bulmak istiyoruz yani bir kısıtlamalı problem.
Bu kısıtlılık altında bir uç değer problemi olarak görebildiğimiz gibi bir
mutlak uç değer problemi olarak da bakabiliriz çünkü mutlak iç
değer probleminde de bu sınırdaki, sınır üzerindeki en küçük değerleri buluyoruz.
Buradaki neyse,
belki biraz düşünmenizi tavsiye ederim ama fazla da saplanıp kalmayın.
Bu, yani mutlak değer problemleriyle de
bir ilişkisi olduğunu burada hatırlatıyorum.
Problemin gradyan F eşittir lambda kere gradyan G olacak
bir de kısıtlama var bilinmeyenlerimiz x y z ve lambda, dört tane de denklemimiz
var üç tane bu gradyanlardan gelen denklem bir de bu kısıtlamadan gelen dördüncü
denklem dört bilinmeyen de x y z lambda problem çözülür.
Burada bunun adımlarını veriyorum yani burada önemli olan bu artık bundan sonra
cebirsel denklemleri çözmekte bir zorluk yok ama pratik zorluk var işte dört
denklemimiz gradyan F'nin lambda kere gradyan
G'ye eşit olmasından birinci bileşen, ikinci bileşen,
üçüncü bileşen, dördüncü denklem de kısıtlamanın sıfır olması.
İşte buradaki bu dört denklemden dört bilinmeyeni çözeriz
bunların çözülmesi çok zor değil zaten problem de gene her zamanki gibi basit
fonksiyonlarla çalışalım ki zor hesaplar altında ezilip
ana kavramı öğrenmemezlik etmeyelim diye.
Bu problemin çözümünü burada veriyorum işte bu verilen
bayağı uzunca da sürebilir bu ama bir simetriler de var bu simetrileri
de kullanarak burada mesela y ile z arasında bir simetri var buradan çeşitli
çözüm aileleri oluşuyor ve buradan oldukça zengin bir çözüm de bulunuyor.
Şimdi bu kısıtlama altındaki uç değer
probleminden mutlak uç değer problemine çözüm üretilmesi de mümkün çünkü mutlak uç
değer probleminde şunu diyorduk you bölgenin içinde oluşur you sınırda oluşur.
E zaten bu kısıtlamayı kullanmak sınırdaki değerleri aramak demektir.
Kısıtlamayı kullanmadan bulunan uç değerler de bölgenin içindekilerdir.
Dolayısıyla burada kısıtlama eğer bir sürekli fonksiyon olarak veriliyorsa
bu mutlak uç değer probleminin de eşdeğeri olduğunu görüyoruz.
İşte bu örneği bu şekilde devam ettirince probleme
bir mutlak uç değer problemi olarak baktığımızdaki sonucu buluyoruz.
Burada mutlak uç değer problemi çünkü bir kapalı bölgemiz var bu
başlangıçta verilen kürenin içi ve sınırı.
Lagrange yönteminde sadece sınırdaki değerlerle ilgileniyoruz çünkü
kısıtlama altında, ama kısıtlama olmadan da bölge içindeki uç değerleri bulabiliriz
bunların karşılaştırmasından da mutlak uç değeri buluyoruz.
İşte burada mutlak uç değerle Lagrange yöntemi
arasındaki ilişkiyi de görmüş oluyoruz.
Bir ödev veriyorum gene denklem basit sadece
kavramsal olarak öğrendiğimiz şeyleri gene bir
uygulamayla canlandırmak için burada biraz daha basit bir kısıtlama.
Bu bir düzlem gördüğünüz gibi yani problemin sınırı şöyle, bu fonksiyon
verilmiş bu üç değişkenli bir fonksiyon yani dört boyutlu uzayda bir yüzey.
Bunu bu düzlemle kesiyoruz.
İşte bunun oluşan sınırında geometrisini anlamak gittikçe tabi
zorlaşıyor üç boyutun ötesine geçince ama mekanik olarak yapılacak işlem aynı.
E, bu Lagrange çarpanı yontemiyle
gradyan f landa kere gradyan g olacak.
Buradan üç denklem bulacağız.
Bir de kısıtlamanın kendisi dört denklem.
Bilinmeyenlerimiz de x, y, z ve landa.
Bu problemi çözmek çok zor değil.
Gene bir ödev problemi var.
Gene bunun hesabı gittikçe maalesef zorlaşıyor.
Ama kavramda bir zorluk yok.
Yani aynı fonksiyonun, birincisi aynı olan kısıtlama, ikincisi de ilk problemde
aldığımız kısıtlama olmak üzere yani iki kısıtlamalı üç bağımsız değişkenli
bir problemde uç değeri arıyoruz yani Lagrange yöntemiyle.
Problem basit.
İşte gradyan f eşittir landa kere gradyan g, nü kere gradyan ha.
Burdan üç denklem var.
Birinci kısıtlama buradaki denklem, ikinci kısıtlama buradaki denklem.
Demek ki beş denklem oluyor.
Beş de bilinmeyenimiz var.
x, y, z, landa ve nü.
Bu denklemler şunlar: Gradyan f'yi düşünduğümüz zaman
bakınız buradan x kare var.
Başka x'e göre türev yok.
x kare eşittir landa kere, buna g dediğimiz için bunun x'e göre türevi bir.
Sadece landa var ve bunun x'e göre türevi iki x.
İki nü var.
İki nü kere x.
Benzer olarak bunun y'ye göre türevini aliyoruz.
Sadece z, eşit olacak landa kere e, birinci kısıtlamanın
y'ye göre türevi, o da bir.
Bakınız burada sadece landa görünüyor.
İkinci kısıtlamanın y'ye göre türevi iki y.
Ama bu da nü ile çarpılıyor.
Üçüncü örnek, üçüncü denklemde de z'ye göre kısmi türev.
Sadece y geliyor.
Burda gördüğünüz bu denklem var.
İşte bura, iki de kısıtlamayi koyunca gördüğünüz gibi beş denklemimiz bunlar.
Üçü kısmi türevlerden geliyor.
İkisi de verilen kısıtlamalar.
Bu problemde tabi bilinmeyen sayısı daha çok verilen kısıtlamalar.
Ve daha da e, biraz daha zorlaşıyor çün,
denklem sayısı arttıgı için ama, bu problem o kadar
kolay sayılarla seçildi ki hemen çözüm mümkün olabiliyor.
Burda x'le y, y ve z farklı yapıda ama y'yle z aynı yapıda.
Burada da hakkaten y ile z'nin aynı değerlerde olduğunu ve
birden fazla uç değer olduğunu görüyoruz.
y ile z eşit ama x'e eşit değil.
Gerçekten bu y ve z değerlerini kullanırsanız bu
koşulları da sağladığımızı göreceğiz.
Şimdi burada Lagrange yontemini bitirmiş oluyoruz.
Hatırda kalması gereken şey
Lagrange yonteminde bilinmeyen sayısını artırıyoruz.
Buna karşılık uzay genişlediği için daha basit denklemler elde ediyoruz.
Ve bu yöntemin üstünlüğü e,
kısıtlamadan herhangi bir değişkeni diğerleri cinsinden çözmemiz gereği yok.
Ve gerçek problemlerde de genelde kapalı bir fonksiyonla değişkenler arasında
bir bağıntı verilir ve bundan da çözmek pek kolay olmaz.
Ondan sonra yapılan iş Lagrange çarpanlarını getirdiğimiz
zaman problemin kısıtlamayı içeren,
daha yüksek sayıda değişkenle bir sade yerel uç değer problemine dönüşmesi.
Bundan sonraki problemimiz de değişimler hesabı olacak.
Bunu şimdilik açıklamayı erteliyorum ve buraya
geldiğimizde de göreceğiniz gene bir uç değer problemi.
Hoşça kalınız.