Kısmi Diferansiyel Denklemler

1. Yüzeyler ve Eğriler

Üç boyutlu uzayda yüzeyler ve eğriler, kısmi diferansiyel denklemlerin geometrik temelini oluşturur. Bir yüzey F(x,y,z) = 0 şeklinde tanımlanırken, eğriler iki yüzeyin arakesiti olarak elde edilir.

Yüzey Normali: Bir yüzeyin herhangi bir noktasındaki normal vektör ∇F = (∂F/∂x, ∂F/∂y, ∂F/∂z) ile hesaplanır.

Arakesit Eğrileri

İki yüzeyin kesişimi bir eğri oluşturur. Bu eğrinin teğet vektörü, her iki yüzeyin normal vektörlerinin çapraz çarpımı ile bulunur: t = n₁ × n₂

2. Birinci Mertebe Sistemler

Birinci mertebeden ve birinci dereceden üç değişkenli sistemler, dx/P = dy/Q = dz/R şeklinde yazılır. Bu sistemin çözümü, karakteristik eğrileri verir.

Çözüm Stratejisi: İki bağımsız tam diferansiyel bulmak veya çarpan faktörler kullanmak. Sistem iki tam diferansiyel denklem φ(x,y,z) = c₁ ve ψ(x,y,z) = c₂ şeklinde çözülür.

3. İntegral Eğrileri

Verilen bir yüzeyden geçen integral eğrileri, diferansiyel denklem sisteminin çözümlerini ifade eder. Bu eğriler, belirli başlangıç koşullarını sağlayan yüzeyler oluşturur.

Önemli: İntegral eğrileri ailesi, bir yüzey ailesi oluşturur. Her eğri, sistem üzerindeki bir çözüm yörüngesidir.

4. Pfaff Diferansiyel Denklemi

Pfaff denklemi, P dx + Q dy + R dz = 0 formundadır. İki değişkenli durumda her zaman integrallenebilirdir. Üç değişkenli durumda ise integrallenebilirlik koşulu kontrol edilmelidir.

Geometrik Anlam: Pfaff denklemi, uzayda bir yön alanı tanımlar. İntegrallenebilirlik, bu yön alanının yüzeylere teğet olup olmadığını gösterir.

İntegrallenebilirlik Kriteri

Üç değişkenli Pfaff denklemi P dx + Q dy + R dz = 0 integrallenebilir ⟺ P(∂R/∂y - ∂Q/∂z) + Q(∂P/∂z - ∂R/∂x) + R(∂Q/∂x - ∂P/∂y) = 0

5. Pfaff Çözüm Yöntemleri

Üç değişkenli Pfaff denklemlerinin çözümünde özel yöntemler kullanılır: integrasyon faktörü bulma, tam diferansiyel gruplama, değişken dönüşümü.

İntegrasyon Faktörü: Eğer μ(P dx + Q dy + R dz) = dφ şeklinde bir μ fonksiyonu bulunabilirse, denklem çözülmüş demektir: φ(x,y,z) = c

6. Sınıflandırma ve Çözüm Kavramı

Birinci mertebeden kısmi diferansiyel denklemler F(x, y, u, p, q) = 0 şeklinde yazılır (p = ∂u/∂x, q = ∂u/∂y). Çözüm, bu denklemi sağlayan u = u(x,y) fonksiyonudur.

Denklem Teşkili: Bir yüzey ailesi φ(x, y, u, a, b) = 0 verildiğinde, a ve b parametrelerini elimine ederek PDE elde edilir.

7. Karakteristik Eğriler ve Cauchy Problemi

Karakteristik eğriler, PDE'nin çözümünün davranışını belirleyen özel eğrilerdir. Cauchy problemi, bir başlangıç eğrisi boyunca verilen değerlerden hareketle çözümü bulmayı amaçlar.

Karakteristik Denklemler

F(x, y, u, p, q) = 0 denklemi için karakteristik sistem: dx/∂F/∂p = dy/∂F/∂q = du/(p∂F/∂p + q∂F/∂q) = -dp/(∂F/∂x + p∂F/∂u) = -dq/(∂F/∂y + q∂F/∂u)

Genel Çözüm: Karakteristik eğrilerin oluşturduğu yüzeyler ailesi, denklemin genel çözümünü verir: φ(u, v) = 0 (u ve v iki bağımsız integral)

8. Tam İntegral

Tam integral, F(x, y, u, a, b) = 0 şeklinde iki rasgele sabit içeren çözümdür. Bu çözüm, denklemin en genel çözümünü oluşturmak için kullanılır.

Zarflama Yöntemi: Tam integralin parametrelerine göre kısmi türevleri alınıp elimine edilerek, denklemin genel çözümü ve tekil çözümü bulunabilir.

Tekil Çözüm: Tam integralin zarfı olarak elde edilen ve hiçbir rasgele sabit içermeyen özel çözümdür.

9. Charpit Yöntemi

Charpit yöntemi, birinci mertebe genel denklemlerin tam integralini bulmak için sistematik bir yöntemdir. F(x, y, u, p, q) = 0 denkleminin çözümünde kullanılır.

Charpit Denklemleri: dx/(∂F/∂p) = dy/(∂F/∂q) = du/(p∂F/∂p + q∂F/∂q) = dp/-(∂F/∂x + p∂F/∂u) = dq/-(∂F/∂y + q∂F/∂u)

Uygulama Adımları

1. Charpit denklemlerinden iki bağımsız integral bulunur
2. Bu integraller ve orijinal denklem kullanılarak p ve q bulunur
3. du = p dx + q dy integre edilerek tam integral elde edilir

10. Bağdaşabilir Sistemler

Bağdaşabilir sistemler, birden fazla PDE'nin aynı anda sağlanması durumudur. Denklemler indirgenebilir veya indirgenemez olabilir.

İndirgenebilir Sistem: Denklemlerden biri diğerlerinin bir sonucu ise, sistem indirgenebilirdir. Gereksiz denklemler çıkarılabilir.

Bağdaşabilirlik Koşulu: İki denklem F₁ = 0 ve F₂ = 0 bağdaşabilir ⟺ ∂F₁/∂p · ∂F₂/∂q - ∂F₁/∂q · ∂F₂/∂p ≠ 0

11. Sabit Katsayılı Homojen Lineer Denklemler

İkinci ve yüksek mertebeden sabit katsayılı homojen lineer PDE'ler, karakteristik denklem yöntemiyle çözülür. Genel form: P(D, D')u = 0 (D = ∂/∂x, D' = ∂/∂y)

Çözüm Yöntemi: P(m, 1) = 0 karakteristik denklemini çöz. Her kök m için u = φ(y + mx) bir çözümdür. Genel çözüm bu çözümlerin toplamıdır.

Kök Türlerine Göre Çözümler

• Basit reel kök m: φ(y + mx)
• k katlı reel kök m: φ₁(y + mx) + xφ₂(y + mx) + ... + x^(k-1)φₖ(y + mx)
• Karmaşık kök α ± iβ: e^(αx)[φ(y + βx) + ψ(y - βx)]

12. Homojen Olmayan Lineer Denklemler

Homojen olmayan denklemler P(D, D')u = f(x,y) formundadır. Genel çözüm = Homojen çözüm + Özel çözüm.

Özel Çözüm Bulma: f(x,y) = e^(ax+by) için u_p = e^(ax+by)/P(a,b). Polinom f için belirsiz katsayılar yöntemi kullanılır.

İnverter Operatör Yöntemi

u_p = 1/P(D,D') · f(x,y) şeklinde sembolik olarak yazılabilir. Bu, kısmi kesir açılımı ve integral kullanılarak hesaplanır.

13. Özel Lineer Denklemler ve Kanonik Form

İkinci mertebeden bazı özel lineer denklemler, değişken dönüşümü kullanılarak daha basit kanonik forma indirgenebilir.

Değişken Dönüşümü: ξ = ξ(x,y), η = η(x,y) dönüşümü ile denklemi daha basit forma getir. Kısmi türevler zincir kuralıyla dönüştürülür.

Jacobian Koşulu: Dönüşümün geçerli olması için J = ∂(ξ,η)/∂(x,y) ≠ 0 olmalıdır.

14. İkinci Mertebe Denklemlerin Sınıflandırması

İkinci mertebeden lineer PDE'ler Au_xx + Bu_xy + Cu_yy + Du_x + Eu_y + Fu = G şeklindedir. Diskriminant Δ = B² - 4AC değerine göre üç sınıfa ayrılır.

Üç Temel Sınıf

1. Hiperbolik (Δ > 0): Dalga denklemi u_tt = c²u_xx. İki karakteristik ailesi vardır.
2. Parabolik (Δ = 0): Isı denklemi u_t = ku_xx. Bir karakteristik ailesi vardır.
3. Eliptik (Δ < 0): Laplace denklemi u_xx + u_yy = 0. Karakteristik yoktur, sınır değer problemi.

Fiziksel Önem: Hiperbolik denklemler dalga yayılımını, parabolik denklemler difüzyonu, eliptik denklemler denge durumlarını modeller.

Kanonik Formlar:
• Hiperbolik: u_ξη = f(ξ, η, u, u_ξ, u_η)
• Parabolik: u_ηη = f(ξ, η, u, u_ξ, u_η)
• Eliptik: u_ξξ + u_ηη = f(ξ, η, u, u_ξ, u_η)

Kısmi Diferansiyel Denklemler Yolculuğu

Çalışma Önerileri

Problem Çözümü: Her konudan sonra çok sayıda örnek çözün
Geometrik Anlama: Yüzey ve eğri görselleştirmelerine odaklanın
Karakteristikler: Karakteristik yöntemin mantığını kavrayın
Sınıflandırma: Denklem türlerini ayırt etmeyi öğrenin
Fiziksel Uygulamalar: Dalga, ısı ve Laplace denklemlerini inceleyin

∂²u/∂x² + ∂²u/∂y² = 0

Denklemler, doğanın dilini konuşur!