Tam Diferansiyel Denklemler ve Test Koşulu
Diferansiyel Denklemler
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.