Kısmi Diferansiyel Denklemlere Giriş

Kısmi diferansiyel denklemlerin (KDD) tarihsel gelişimi, 18. yüzyılda fiziksel dünyadaki dinamikleri ve sürekli ortamları matematiksel olarak modelleme çabalarına dayanır. Jean le Rond d'Alembert'in titreşen bir telin hareketini açıklamak için geliştirdiği tek boyutlu dalga denklemi, Leonhard Euler'in akışkanlar mekaniğine kazandırdığı formüller ve Joseph Fourier'nin ısı yayılımı teorisi bu disiplinin temel taşlarını oluşturur. Bu fiziksel problemler, tek bir bağımsız değişken içeren adi diferansiyel denklemlerin (ADD) aksine, doğadaki olayların hem zamana hem de uzaydaki konuma bağlı olarak çok boyutlu incelenmesi gerektiğini göstererek KDD alanının doğmasını sağlamıştır.

Bu ders notlarında, kısmi diferansiyel denklemlerin temel kavramsal çerçevesini kuracağız. Önce bağımlı ve bağımsız değişkenleri ayırt etmeyi öğrenecek, ardından denklemleri analitik olarak inceleyebilmek için kritik öneme sahip olan mertebe, homojenlik ve lineerlik kriterlerine göre sınıflandırma yapılarını ele alacağız.

Temel Notasyonlar ve Kavramsal Çerçeve

Matematiksel analize geçmeden önce, bir denklemin kısmi diferansiyel denklem olarak nitelendirilebilmesi için gereken temel şartı net bir şekilde ortaya koymalıyız.

Tanım: Kısmi Diferansiyel Denklem (KDD)

Birden fazla bağımsız değişkene göre türevler içeren, bir veya daha fazla bağımlı değişkenin ve bu değişkenlerin kısmi türevlerinin arasındaki ilişkiyi gösteren denklemlere kısmi diferansiyel denklem denir.

Bir diferansiyel denklemle karşılaştığımızda yapmamız gereken ilk iş, hangi değişkenin fonksiyonun kendisini (bağımlı), hangi değişkenlerin ise girdileri (bağımsız) temsil ettiğini belirlemektir. Bu ayrım, türev operatörlerinin kime uygulandığını anlamamızı sağlar.

Örnek: Bağımlı ve Bağımsız Değişken Analizi

Aşağıdaki yaygın diferansiyel modellemelerde değişkenlerin rollerini inceleyelim:

1. $\frac{\partial z}{\partial s}+s^2\frac{\partial z}{\partial t}=0$ denklemi verilmiş olsun. Burada $z=z(s,t)$ formunda bir fonksiyon aranmaktadır.

   • $z$: Bağımlı değişken
   • $s,t$: Bağımsız değişkenler

2. Fizikte dalga yayılımını modelleyen $\frac{{\partial }^{2}u}{\partial t^2}-c^2\frac{{\partial }^{2}u}{\partial x^2}=0$ denkleminde $u=u(x,t)$ yapısı mevcuttur.

   • $u$: Bağımlı değişken
   • $x$ (konum), $t$ (zaman): Bağımsız değişkenler

1. Mertebe (Order)

Bir denklemin yapısını ve çözümünün zorluk derecesini belirleyen en somut özelliklerinden biri mertebesidir. Diferansiyel denklemlerin çözüm uzaylarının boyutu doğrudan bu kavrama bağlı olarak şekillenir.

Tanım: Denklemin Mertebesi

Bir kısmi diferansiyel denklemde yer alan en yüksek mertebeden kısmi türevin derecesine, o diferansiyel denklemin mertebesi (order) denir.

Mertebe bulunurken denklemdeki tüm türevli terimler tek tek taranır ve uygulanan en yüksek türev operatörü baz alınır. Terimlerin kendi kuvvetleri (örneğin bir türevin karesinin alınması) mertebeyi etkilemez.

Örnek: Mertebe Belirleme

$$\frac{{\partial }^{2}u}{\partial t^2}+\frac{{\partial }^{3}u}{\partial x^2\partial t}+u^2=0$$

💡 Çözümü Göster / Gizle

• Analiz: Denklemde yer alan en yüksek türev, $x$'e göre iki, $t$'ye göre bir kez türev alınarak oluşturulmuş olan $\frac{{\partial }^{3}u}{\partial x^2\partial t}$ terimidir.
• Sonuç: Denklem 3. mertebeden bir KDD'dir.

2. Homojenlik (Homogeneity)

Denklemlerin süperpozisyon ilkesine uyup uymadığını anlamak ve genel çözüme ulaşırken izlenecek stratejiyi belirlemek için homojenlik kavramı incelenmelidir. Bu kavramı en basit ve pratik haliyle denklemin terimlerine bakarak ayırt edebiliriz.

Tanım: Homojenlik

Bir kısmi diferansiyel denklemde, tüm terimler bağımlı değişkeni ($u$) veya onun en az bir kısmi türevini ($u_x,u_{xx},u_y,\dots$) içeriyorsa bu denklem homojen (homogeneous) bir denklemdir.

Eğer denklemde $u$ veya türevlerini içermeyen; sadece bağımsız değişkenlerden ($x,y,t,\dots$) ya da sabit sayılardan oluşan yalın bir terim varsa, bu denklem homojen olmayan (nonhomogeneous) bir denklemdir.

Örnek: Homojen ve Homojen Olmayan Denklem Farkı

Aşağıdaki iki denklemin homojenlik durumlarını inceleyelim:

1. $\frac{{\partial }^{2}u}{\partial x^2}+\frac{{\partial }^{2}u}{\partial y^2}-5u=0$
2. $\frac{{\partial }^{2}u}{\partial x^2}+\frac{{\partial }^{2}u}{\partial y^2}-5u=x^2+\sin (y)$

💡 Çözümü Göster / Gizle

• 1. Denklem: Tüm terimlerde ($\frac{{\partial }^{2}u}{\partial x^2}$, $\frac{{\partial }^{2}u}{\partial y^2}$, $-5u$) bağımlı değişken veya türevi mevcuttur. Dışarıdan eklenmiş yalnız bir terim yoktur. Denklem homojendir.
• 2. Denklem: Eşitliğin sağ tarafındaki $x^2+\sin (y)$ ifadesinde $u$ veya türevi yoktur. Sadece bağımsız değişkenlerden oluşan bu terimler denklemin homojenliğini bozar. Denklem homojen değildir.

3. Lineerlik (Linearity) ve Alt Sınıfları

Lineerlik, matematiksel analizin en güçlü sınır çizgisidir. Doğrusal yapıdaki bir denklemde en büyük kural şudur: Bağımlı değişken ($u$) ve tüm türevleri sadece birinci dereceden olmalıdır, asla birbirleriyle çarpılmamalıdır ve sinüs, karekök gibi fonksiyonların içine girmemelidir. Bir KDD'yi lineerlik yapısına göre dört ana sınıfta inceleriz.

A) Lineer (Doğrusal) Denklemler

Tanım: Lineer Denklem

Bütün terimlerdeki bağımlı değişken ($u$) ve tüm kısmi türevlerinin birinci dereceden olduğu, kendi aralarında çarpılmadığı ve katsayılarının yalnızca bağımsız değişkenlerden (veya sabitlerden) oluştuğu denklemlere lineer denir.

📌 Yaygın Yanılgı: Bağımsız Değişkenle Çarpmak

Türevleri $x$ veya $y$ gibi bağımsız değişkenlerle çarpmak lineerliği bozmaz. Örneğin $x{u}_{xx}+y^2{u}_{yy}=0$ denklemi tamamen lineerdir. Bir denklemin lineerlikten çıkması için $u^2$, $(u_x{)}^2$ gibi doğrusallığı bozan bir terim barındırması şarttır.

Örnek: Lineer Denklem Analizi

$\frac{\partial u}{\partial t}-3\frac{{\partial }^{2}u}{\partial x^2}=x^2$

💡 Çözümü Göster / Gizle

• Mertebe: 2 (En yüksek türev $\frac{{\partial }^{2}u}{\partial x^2}$)
• Homojenlik: Homojen değil (Sağ tarafta $u$ içermeyen $x^2$ terimi var)
• Lineerlik: Lineer ($u$ ve türevlerinin derecesi 1, birbirleriyle çarpılmamışlar, katsayıları sabit).

B) Yarı-Lineer (Semilinear) Denklemler

Eğer bir denklemde nonlineer (doğrusal olmayan) bir terim varsa, o denklemin sınıfını belirlemek için en yüksek mertebeli türevlerin katsayılarına bakarız.

Tanım: Yarı-Lineer Denklem

Denklemde doğrusallığı bozan bir terim bulunmasına rağmen, en yüksek mertebeli türevlerin kendileri birinci derecedense ve başlarındaki katsayılar yalnızca bağımsız değişkenlerden (veya sabitlerden) oluşuyorsa, bu denkleme yarı-lineer (semilinear) denir.

Bu denklem türünde nonlineerlik yaratan unsurlar her zaman en yüksek mertebeden daha düşük seviyedeki terimlerde bulunur.

Örnek: Yarı-Lineer Denklem Analizi

$x{u}_{xx}+y{u}_{yy}-(u_x{)}^2=0$

💡 Çözümü Göster / Gizle

• Mertebe: 2
• Homojenlik: Homojen
• Lineerlik: Yarı-lineer (Denklemdeki $(u_x{)}^2$ doğrusallığı bozar. Fakat en yüksek mertebeli türevler olan $u_{xx}$ ve $u_{yy}$'nin katsayıları olan $x$ ve $y$, sadece bağımsız değişkendir.)

C) Kuazi-Lineer (Quasilinear) Denklemler

Doğrusallıktan bir adım daha uzaklaştığımızda, en yüksek mertebeli türevlerin katsayılarına bağımlı değişkenin kendisi veya türevleri sızmaya başlar.

Tanım: Kuazi-Lineer Denklem

En yüksek mertebeli türevlerin kendileri hala birinci dereceden (doğrusal) olmasına rağmen, bu yüksek mertebeli terimlerin katsayılarında bağımlı değişken ($u$) veya onun daha düşük mertebeli türevleri çarpım durumunda bulunuyorsa, denklem kuazi-lineerdir.

Örnek: Kuazi-Lineer Denklem Analizi

$u\cdot u_{xx}+u_{yy}=0$

💡 Çözümü Göster / Gizle

• Mertebe: 2
• Homojenlik: Homojen
• Lineerlik: Kuazi-lineer (En yüksek mertebeli $u_{xx}$ teriminin baş katsayısında bağımlı değişken olan $u$ çarpanı vardır.)

D) Nonlineer (Tam Doğrusal Olmayan) Denklemler

Tanım: Nonlineer Denklem

En yüksek mertebeden türevlerin kendi aralarında çarpıldığı, kuvvetlerinin alındığı (örneğin $u_{xx}^2$) veya doğrusal olmayan aşkın fonksiyonların (örneğin $\sin (u_{xx})$) içinde yer aldığı denklemlere bütünüyle nonlineer denir.

Örnek: Nonlineer Denklem Analizi

$u_{xxx}^2+u_{xy}=0$

💡 Çözümü Göster / Gizle

• Mertebe: 3
• Homojenlik: Homojen
• Lineerlik: Nonlineer (En yüksek mertebeli $u_{xxx}$ türevinin doğrudan karesi alındığı için doğrusal form tamamen kaybedilmiştir.)

🔄 Denklemler Arası Kapsama (Alt Küme) İlişkisi

Bu dört sınıflandırma birbirinden tamamen bağımsız kutular değildir; aksine tıpkı bir matruşka bebeği gibi birbirlerini kapsayan matematiksel alt kümelerdir. Her dar tanım, bir geniş tanımın özel bir halidir.

Hiyerarşik Kapsama Sıralaması:

Lineer $\subset$ Yarı-Lineer $\subset$ Kuazi-Lineer $\subset$ Nonlineer (Genel)

Bunu kafamızda canlandırmak için şu mantıkla düşünebiliriz:

1. Lineer Denklemler, aslında yarı-lineer denklemlerin doğrusallığı bozan alt terimlerinin sıfır olduğu çok özel bir halidir.
2. Yarı-Lineer Denklemler, kuazi-lineer denklemlerin en yüksek mertebeli teriminin katsayısındaki $u$ çarpanının yok olup yerine sadece bağımsız değişkenlerin geldiği özel bir halidir.
3. Kuazi-Lineer Denklemler de, evrendeki tüm genel nonlineer KDD'lerin, en azından yüksek mertebeli türevlerinin doğrusal kalmayı başardığı düzenli alt kümesidir.

---

📝 Karışık Sınıflandırma Örnekleri

Örnek 1: Burgers Denklemi

$u_t+u\cdot u_x=0$

💡 Çözümü Göster / Gizle

• Mertebe: 1 (En yüksek türevler $u_t$ ve $u_x$)
• Homojenlik: Homojen (Her terimde $u$ veya türevi var)
• Lineerlik: Kuazi-lineer (En yüksek türev olan $u_x$'in başında $u$ çarpanı var)

Örnek 2: Dalga Denklemi Varyasyonu

$u_{tt}-c^2{u}_{xx}=\sin (x)$

💡 Çözümü Göster / Gizle

• Mertebe: 2 (En yüksek türevler $u_{tt}$ ve $u_{xx}$)
• Homojenlik: Homojen Değil (Sağ taraftaki $\sin (x)$ terimi $u$ içermez)
• Lineerlik: Lineer ($u$ ve tüm türevleri 1. dereceden, katsayıları sabittir)

Örnek 3: Eikonal Denklem

$(u_x{)}^2+(u_y{)}^2=1$

💡 Çözümü Göster / Gizle

• Mertebe: 1 (En yüksek türevler $u_x$ ve $u_y$)
• Homojenlik: Homojen Değil (Sağ tarafta bağımsız bir sabit var)
• Lineerlik: Nonlineer (En yüksek türevlerin karesi alınmış, doğrusal yapı bozulmuş)

Örnek 4: Karmaşık Katsayılı Denklem

$y{u}_{xx}+x^2{u}_{yy}-u^2=e^x$

💡 Çözümü Göster / Gizle

• Mertebe: 2 (En yüksek türevler $u_{xx}$ ve $u_{yy}$)
• Homojenlik: Homojen Değil (Sağ tarafta $e^x$ terimi var)
• Lineerlik: Yarı-lineer ($u^2$ terimi doğrusallığı bozar ancak en yüksek mertebeli türevlerin katsayıları olan $y$ ve $x^2$ sadece bağımsız değişkenlerden oluşur)