Ünite 2: Konu 3. Lagrange E¸s˙itl˙i˘

L2(0, pi) İç Çarpım Tanımı

L2(0, pi) Hilbert uzayında iki fonksiyonun iç çarpımı, (f, g) := \int_0^\pi f(x) g(x) dx integrali olarak tanımlanır. Bu integral, fonksiyonların birbirine göre izdüşümlerini ve diklik ilişkilerini belirler.

Teorem 3.2 Formülü

Her f, g ∈ C2[0, pi] için (Lf, g) = W_pi[f, g] - W_0[f, g] + (f, Lg) eşitliği geçerlidir. Bu formül, operatörün sınır değerlerindeki Wronskiyen farkları ile iç çarpım arasındaki doğrudan köprüyü kurar.

Teorem 3.3 ve Sınırda Sıfırlanma

f ve g fonksiyonları Sturm-Liouville operatörünün D(L) tanım kümesinde yer aldığında, sınır koşullarının bir sonucu olarak W_pi[f, g] = W_0[f, g] = 0 eşitliği elde edilir.

Lagrange Eşitliği Sonucu

Her f, g ∈ D(L) için (Lf, g) = (f, Lg) eşitliği sağlanır. Bu eşitlik, Sturm-Liouville operatörünün kendi kendine eşlenik (self-adjoint) olduğunu kanıtlar.

Anahtar Kavramlar

Sturm-Liouville Operatörü (L)L2(0, pi) uzayında tanımlı, l(y) = -y'' + q(x)y diferansiyel ifadesi ve belirli sınır koşulları yardımıyla oluşturulan doğrusal operatördür.

Tanım Kümesi D(L)Operatörün uygulanabileceği, ikinci türevi mevcut olan, sınır koşullarını ve karesi integrallenebilirlik şartlarını sağlayan fonksiyonlar kümesidir.

Wronskiyen (W_x[y1, y2])İki fonksiyonun lineer bağımsızlığını belirlemek için kullanılan ve Wx[y1, y2] = y1(x)y2'(x) - y1'(x)y2(x) formülüyle hesaplanan fonksiyondur.

L1(0, pi) Uzayı0 ile pi aralığında mutlak değerinin integrali sonlu olan tüm kompleks veya reel değerli fonksiyonların oluşturduğu uzaydır.

L2(0, pi) Uzayı0 ile pi aralığında mutlak değerinin karesinin integrali sonlu olan fonksiyonların oluşturduğu ve Hilbert uzayı yapısına sahip olan uzaydır.

Hilbert UzayıÜzerinde tanımlı iç çarpım işlemine göre tam olan, yani her Cauchy dizisinin yakınsadığı limit noktasını içinde barındıran vektör uzayıdır.

Kısmi İntegrasyonİntegral hesabında çarpım durumundaki ifadelerin integralini almak için kullanılan ve Teorem 3.2'nin ispatında iki kez ardışık uygulanan yöntemdir.

Sınır KoşullarıDiferansiyel denklemlerin çözümlerinin sınır noktalarında (0 ve pi) sağlaması gereken y'(0)-hy(0)=0 ve y'(pi)+Hy(pi)=0 şeklindeki denklemlerdir.

Lagrange EşitliğiD(L) tanım kümesindeki her f ve g fonksiyonu için (Lf, g) = (f, Lg) iç çarpım eşitliğinin sağlandığını gösteren temel özelliktir.

Lineer Bağımlılıkİki fonksiyonun birbirinin sabit bir katı olması durumudur; çözümler için bu durum Wronskiyen'in özdeş olarak sıfır olmasına denktir.

Diğer Önemli Bilgiler

Wronskiyen'in x'ten Bağımsızlığı

-y'' + q(x)y = 0 denkleminin iki çözümü olan y1 ve y2 için Wronskiyen fonksiyonu x değişkeninden tamamen bağımsızdır, yani aralık boyunca sabittir.

Alıştırma 1 Operatörü

L2(0, 1) uzayında l0(y) = -y'' diferansiyel ifadesi ve y(0) = y'(1) = 0 sınır koşulları ile tanımlanan A operatörü de (Ay1, y2) = (y1, Ay2) Lagrange eşitliğini sağlar.

Sınavda Dikkat Et

Sınavda Lagrange eşitliğinin sağlanması için f ve g fonksiyonlarının mutlaka D(L) tanım kümesinde olması gerektiğini unutmayın; aksi takdirde sınır Wronskiyenleri sıfırlanmaz.
Wronskiyen formülündeki işaret sırasına dikkat edin: y1(x)y2'(x) - y1'(x)y2(x) şeklindedir, terimlerin yerini karıştırmak işareti tersine çevirir.
L2(0, pi) uzayının bir Hilbert uzayı olduğunu ve iç çarpım tanımının integral içerdiğini unutmayın; bu integral hesaplamaları ispat sorularında sıkça karşınıza çıkar.
Teorem 3.2'nin ispatında iki kez kısmi integrasyon yapıldığını bilmek, ispat adımlarını hatırlamanızı kolaylaştıracaktır.
İki çözümün lineer bağımlı olması ile Wronskiyen'in sıfır olması arasındaki gerek ve yeter koşul ilişkisi çok önemlidir, doğrudan soru olarak gelebilir.