Tam Diferansiyel Denklemler ve Test Koşulu

Diferansiyel Denklemler

Öğr. Gör. Oktay Cesur

2026-07-26

Yeni Bir Yazma Biçimi

Bir denklemi

\[ M(x,y)\,dx+N(x,y)\,dy=0 \]

biçiminde yazalım. Bu, \(y'=f(x,y)\) yazımından farklı ama eşdeğer bir gösterimdir.

Bir Aileden Yola Çıkmak

\(F(x,y)=C\) örtük ailesini düşünelim. Bu ailenin toplam diferansiyeli:

\[ dF=F_x\,dx+F_y\,dy=0. \]

\(M=F_x\) ve \(N=F_y\) ise, \(M\,dx+N\,dy=0\) denklemi tam olarak bu ailenin diferansiyelidir.

Tam Denklem Tanımı

\(M\,dx+N\,dy=0\) denklemi tamdır, eğer

\[ F_x=M, \qquad F_y=N \]

eşitliklerini birlikte sağlayan bir \(F(x,y)\) varsa.

Test Koşulunun Türetilmesi

\(F_x=M\) ve \(F_y=N\) ise, karışık kısmi türevler eşittir (\(F_{xy}=F_{yx}\)):

\[ F_{xy}=\frac{\partial M}{\partial y}=M_y, \qquad F_{yx}=\frac{\partial N}{\partial x}=N_x. \]

Dolayısıyla tam bir denklemde zorunlu olarak

\[ \boxed{M_y=N_x} \]

sağlanır.

Potansiyel Fonksiyonu Bulma: Mekanizma

\[ (2xy+3)\,dx+(x^2-1)\,dy=0. \]

Test: \(M=2xy+3,\ N=x^2-1 \Rightarrow M_y=2x,\ N_x=2x\) — eşit, denklem tam.

\(F_x=M\)’den başlayalım; \(x\)’e göre integral alırken \(y\) sabit tutulur:

\[ F=\int(2xy+3)\,dx=x^2y+3x+g(y). \]

Potansiyel Fonksiyonu Bulma: Tamamlama

\[ F_y=x^2+g'(y) \stackrel{!}{=} N=x^2-1 \quad\Longrightarrow\quad g'(y)=-1 \quad\Longrightarrow\quad g(y)=-y. \]

\[ F(x,y)=x^2y+3x-y. \]

Çözüm ailesi, \(F\)’nin kendisi değil, \(F=C\) eşitliğidir:

\[ \boxed{x^2y+3x-y=C.} \]

Karşı Örnek: Test Koşulu Sağlanmıyor

\[ y^2\,dx+3xy\,dy=0. \]

\[ M=y^2,\ N=3xy \quad\Longrightarrow\quad M_y=2y,\ \ N_x=3y. \]

\(2y\neq3y\) (genel olarak, \(y\neq0\) iken), dolayısıyla bu denklem tam değildir.

Sık Yapılan Hata

\(g(y)\) yerine doğrudan \(g(y)=C\) (bir sayı) yazmak.

\[ F=x^2y+3x+g(y), \qquad \text{yanlış varsayım: } g(y)=C \quad\Longrightarrow\quad F=x^2y+3x+C. \]

Bu, \(F_y=N\) kontrolünü atlar ve \(-y\) terimini kaybeder.

Pekiştirme

\[ (3x^2y+2)\,dx+(x^3+y)\,dy=0 \]

denklemi tam mıdır? Tamsa, \(F(x,y)=C\) çözüm ailesini bulunuz.

Sonraki Adım: Tam Olmayan Denklemler

Tamlık testi başarısız olduğunda denklem çözümsüz olmak zorunda değildir. Uygun bir \(\mu\) fonksiyonu

\[ \mu M\,dx+\mu N\,dy=0 \]

ifadesini tam hâle getirebilir. Sonraki kavram, bu integrasyon çarpanını hangi koşullarda bulabileceğimizdir.