Önceki bölümde tam denklem testini sağlayan tam denklemlerin çözüm yöntemini görmüştük. Bu bölümde tam olmayan, ama tam denklem formuna getirilebilen ve sonrasında aynı yöntemle çözülebilen denklemleri inceleyeceğiz.
Aşağıda verilen birinci mertebeden denklemin tam olup olmadığını kontrol edelim.
\( (3xy + 2y^3)\ dx + (x^2 + 3xy^2)\ dy = 0 \)
\( M(x, y) = 3xy + 2y^3 \)
\( N(x, y) = x^2 + 3xy^2 \)
Tam denklem testine göre, denklemin tam olması için \( M_y(x, y) = N_x(x, y) \) eşitliği sağlanmalıdır.
\( M_y(x, y) = 3x + 6y^2 \)
\( N_x(x, y) = 2x + 3y^2 \)
\( M_y(x, y) \ne N_x(x, y) \) olduğu için verilen denklem tam değildir.
Şimdi denklemin taraflarını \( x \) ile çarpalım ve elde edilen denklemin tam olup olmadığını tekrar kontrol edelim.
\( (3x^2y + 2xy^3)\ dx + (x^3 + 3x^2y^2)\ dy = 0 \)
\( M(x, y) = 3x^2y + 2xy^3 \)
\( N(x, y) = x^3 + 3x^2y^2 \)
Denklemin tam olması için \( M_y(x, y) = N_x(x, y) \) eşitliği sağlanmalıdır.
\( M_y(x, y) = 3x^2 + 6xy^2 \)
\( N_x(x, y) = 3x^2 + 6xy^2 \)
\( M_y(x, y) = N_x(x, y) \) olduğu için elde ettiğimiz denklem tamdır.
Bu örneğe göre, bir birinci mertebeden denklem tam olmasa da, denklemin tarafları aynı çarpan ile çarpıldığında denklem tam denklem formuna getirilebilir. Bu şekilde bir çarpan bulunabiliyorsa denklem tam forma getirilir ve tam denklemler için paylaştığımız çözüm yöntemi ile çözülür.
Tam olmayan bir denklemi tam denklem formuna getiren çarpana integral çarpanı adı verilir ve genellikle \( \mu(x) \) ile gösterilir. Bu şekildeki bir integral çarpanı için aşağıdaki eşitlik sağlanmalıdır.
\( M(x, y)\ dx + N(x, y)\ dy = 0 \)
tam olmayan birinci mertebeden bir diferansiyel denklem olsun.
\( \mu \ne 0 \) fonksiyonu aşağıdaki eşitliği sağlıyorsa bu denklemi tam yapan bir integral çarpanıdır.
\( \dfrac{\partial \mu}{\partial x}N - \dfrac{\partial \mu}{\partial y}M = \mu \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
Bu durumda aşağıdaki denklem bir tam denklem olur.
\( \mu M(x, y)\ dx + \mu N(x, y)\ dy = 0 \)
Tam olmayan aşağıdaki denklem verilmiş olsun.
\( M(x, y)\ dx + N(x, y)\ dy = 0 \)
\( \mu \) fonksiyonu denklemi tam yapan bir integral çarpanı ise aşağıdaki denklem tamdır.
\( \mu M(x, y)\ dx + \mu N(x, y)\ dy = 0 \)
Bu denklem tam olduğuna göre, \( dx \) katsayısı olan ifadenin \( y \) değişkenine göre kısmi türevi \( dy \) katsayısı olan ifadenin \( x \) değişkenine göre kısmi türevine eşit olmalıdır.
\( \dfrac{\partial (\mu M)}{\partial y} = \dfrac{\partial (\mu N)}{\partial x} \)
\( \dfrac{\partial \mu}{\partial y}M + \mu\dfrac{\partial M}{\partial y} = \dfrac{\partial \mu}{\partial x}N + \mu\dfrac{\partial N}{\partial x} \)
Terimleri düzenleyelim.
\( \dfrac{\partial \mu}{\partial x}N - \dfrac{\partial \mu}{\partial y}M = \mu\dfrac{\partial M}{\partial y} - \mu\dfrac{\partial N}{\partial x} \)
\( \dfrac{\partial \mu}{\partial x}N - \dfrac{\partial \mu}{\partial y}M = \mu \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
Buna göre \( \mu \) fonksiyonunun denklemi tam yapan bir integral çarpanı olabilmesi için yukarıdaki eşitlik sağlanmalıdır.
İntegral çarpanı koşulunu bir örnek üzerinde gösterelim.
\( (3xy + 2y^3)\ dx + (x^2 + 3xy^2)\ dy = 0 \)
Yukarıda tam olmayan bu denklemi tam yaptığını gösterdiğimiz \( \mu(x) = x \) integral çarpanının bu koşulu sağladığını teyit edelim.
\( \dfrac{\partial \mu}{\partial x}N - \dfrac{\partial \mu}{\partial y}M = \mu \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
\( \dfrac{\partial (x)}{\partial x}(x^2 + 3xy^2) - \dfrac{\partial (x)}{\partial y}(3xy + 2y^3) \overset{?}{=} x \left( \dfrac{\partial (3xy + 2y^3)}{\partial y} - \dfrac{\partial (x^2 + 3xy^2)}{\partial x} \right) \)
\( 1(x^2 + 3xy^2) - 0(3xy + 2y^3) \overset{?}{=} x \left( (3x + 6y^2) - (2x + 3y^2) \right) \)
\( x^2 + 3xy^2 = x^2 + 3xy^2 \)
Buna göre, \( \mu(x) = x \) verilen tam olmayan denklemi tam yapan bir integral çarpanıdır.
Yukarıdaki koşulu sağlayan (yani tam olmayan bir denklemi tam yapan) bir integral çarpanı çoğu durumda mevcuttur. Bu integral çarpanını her denklem için bulmamızı sağlayan sistematik bir yöntem mevcut olmasa da, belirli koşulları sağlayan denklemler için formüller mevcuttur.
Bu özel durumlardan birincisi aşağıdaki gibidir.
\( \dfrac{1}{N} \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) = f(x) \)
ifadesinin sonucu \( f(x) \) şeklinde sadece \( x \) değişkenine bağlı bir fonksiyon ise aşağıdaki \( \mu(x) \) fonksiyonu bu denklemi tam yapan bir integral çarpanıdır.
\( \mu(x) = e^{\int {f(x)}\ dx} \)
Yukarıda paylaştığımız integral çarpanı koşulunu yazalım.
\( \dfrac{\partial \mu}{\partial x}N - \dfrac{\partial \mu}{\partial y}M = \mu \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
İntegral çarpanının \( \mu = \mu(x) \) şeklinde sadece \( x \) değişkenine bağlı bir fonksiyon olduğunu varsayalım.
Bu durumda integral çarpanının \( y \) değişkenine göre kısmi türevi sıfır olur ve türev kısmi türevden tek değişkenli türeve dönüşür.
\( \dfrac{d\mu}{dx}N - (0)M = \mu \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
İntegral çarpanı ifadelerini eşitliğin sol tarafına, diğer ifadeleri eşitliğin sağ tarafına alalım.
\( \dfrac{1}{\mu}\dfrac{d\mu}{dx} = \dfrac{1}{N} \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
Eşitliğin sağ tarafına \( f(x) \) diyelim.
\( \dfrac{1}{\mu}\dfrac{d\mu}{dx} = f(x) \)
Eşitliğin taraflarının integralini alalım.
\( \displaystyle\int {\dfrac{1}{\mu}\dfrac{d\mu}{dx}}\ dx = \displaystyle\int {f(x)}\ dx \)
\( \ln{\abs{\mu(x)}} = \displaystyle\int {f(x)}\ dx + C \)
\( \abs{\mu(x)} = e^{\int {f(x)}\ dx + C} \)
\( \mu(x) = \pm e^Ce^{\int {f(x)}\ dx} \)
İntegral çarpanı denklemin tüm terimleri ile çarpıldığı için önündeki katsayı tüm terimlerden sadeleşir, dolayısıyla çarpanın katsayısı ve işareti çarpandan kaldırılabilir.
\( \mu(x) = e^{\int {f(x)}\ dx} \)
Birinci özel durumu bir örnek üzerinde gösterelim.
\( (y^2\sin{x})\ dx + (y\cos{x})\ dy = 0 \)
denkleminin tam olmadığını gösterelim ve denklemi tam yapan integral çarpanını bulalım.
Denklemin tam olmadığını gösterelim.
\( M_y(x, y) = 2y\sin{x} \)
\( N_x(x, y) = -y\sin{x} \)
\( M_y(x, y) \ne N_x(x, y) \) olduğu için verilen denklem tam değildir.
Denklemin birinci özel durumu sağlayıp sağlamadığını kontrol edelim.
\( \dfrac{1}{N} \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) = \dfrac{1}{y\cos{x}} \left( \dfrac{\partial (y^2\sin{x})}{\partial y} - \dfrac{\partial (y\cos{x})}{\partial x} \right) \)
\( = \dfrac{1}{y\cos{x}} (2y\sin{x} + y\sin{x}) \)
\( = 3\tan{x} \)
Elde ettiğimiz fonksiyonu sadece \( x \) değişkenine bağlı olduğu için birinci özel durumun koşulu sağlanır.
Bu durumda denklemi tam yapan integral çarpanını aşağıdaki formülle bulabiliriz.
\( \mu(x) = e^{\int (3\tan{x})\ dx} = \sec^3{x} \)
Bulduğumuz integral çarpanını denklemin tarafları ile çarpalım.
\( (y^2\sin{x}\sec^3{x})\ dx + (y\cos{x}\sec^3{x})\ dy = 0 \)
\( (y^2\tan{x}\sec^2{x})\ dx + (y\sec^2{x})\ dy = 0 \)
Denklemin tam olduğunu gösterelim.
\( M_y(x, y) = 2y\tan{x}\sec^2{x} \)
\( N_x(x, y) = 2y\sec{x}(\sec{x})' \)
\( = 2y\tan{x}\sec^2{x} \)
\( M_y(x, y) = N_x(x, y) \) olduğu için elde ettiğimiz denklem bir tam diferansiyel denklemdir.
Elde ettiğimiz tam denklem önceki bölümde gördüğümüz yöntem kullanılarak çözülebilir.
İntegral çarpanını bir formülle bulabildiğimiz özel durumlardan ikincisi aşağıdaki gibidir.
\( \dfrac{1}{M} \left( \dfrac{\partial N}{\partial x} - \dfrac{\partial M}{\partial y} \right) = g(y) \)
ifadesinin sonucu \( g(y) \) şeklinde sadece \( y \) değişkenine bağlı bir fonksiyon ise aşağıdaki \( \mu(y) \) fonksiyonu bu denklemi tam yapan bir integral çarpanıdır.
\( \mu(y) = e^{\int {g(y)}\ dy} \)
Yukarıda paylaştığımız integral çarpanı koşulunu yazalım.
\( \dfrac{\partial \mu}{\partial x}N - \dfrac{\partial \mu}{\partial y}M = \mu \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
İntegral çarpanının \( \mu = \mu(y) \) şeklinde sadece \( y \) değişkenine bağlı bir fonksiyon olduğunu varsayalım.
Bu durumda integral çarpanının \( x \) değişkenine göre kısmi türevi sıfır olur ve türev kısmi türevden tek değişkenli türeve dönüşür.
\( (0)N - \dfrac{d\mu}{dy}M = \mu \left( \dfrac{\partial M}{\partial y} - \dfrac{\partial N}{\partial x} \right) \)
İntegral çarpanı ifadelerini eşitliğin sol tarafına, diğer ifadeleri eşitliğin sağ tarafına alalım.
\( \dfrac{1}{\mu}\dfrac{d\mu}{dy} = \dfrac{1}{M} \left( \dfrac{\partial N}{\partial x} - \dfrac{\partial M}{\partial y} \right) \)
Eşitliğin sağ tarafına \( g(y) \) diyelim.
\( \dfrac{1}{\mu}\dfrac{d\mu}{dy} = g(y) \)
Eşitliğin taraflarının integralini alalım.
\( \displaystyle\int {\dfrac{1}{\mu}\dfrac{d\mu}{dy}}\ dy = \displaystyle\int {g(y)}\ dy \)
\( \ln{\abs{\mu(y)}} = \displaystyle\int {g(y)}\ dy + C \)
\( \abs{\mu(y)} = e^{\int {g(y)}\ dy + C} \)
\( \mu(y) = \pm e^Ce^{\int {g(y)}\ dy} \)
İntegral çarpanı denklemin tüm terimleri ile çarpıldığı için önündeki katsayı tüm terimlerden sadeleşir, dolayısıyla çarpanın katsayısı ve işareti çarpandan kaldırılabilir.
\( \mu(y) = e^{\int {g(y)}\ dy} \)
İkinci özel durumu bir örnek üzerinde gösterelim.
\( (xy + y^2 + y)\ dx + (x^2 + 3xy + 2x)\ dy = 0 \)
denkleminin tam olmadığını gösterelim ve denklemi tam yapan integral çarpanını bulalım.
Denklemin tam olmadığını gösterelim.
\( M_y(x, y) = x + 2y + 1 \)
\( N_x(x, y) = 2x + 3y + 2 \)
\( M_y(x, y) \ne N_x(x, y) \) olduğu için verilen denklem tam değildir.
Denklemin ikinci özel durumu sağlayıp sağlamadığını kontrol edelim.
\( \dfrac{1}{M} \left( \dfrac{\partial N}{\partial x} - \dfrac{\partial M}{\partial y} \right) = \dfrac{1}{xy + y^2 + y} \left( \dfrac{\partial (x^2 + 3xy + 2x)}{\partial x} - \dfrac{\partial (xy + y^2 + y)}{\partial y} \right) \)
\( = \dfrac{1}{y(x + y + 1)} ((2x + 3y + 2) - (x + 2y + 1)) \)
\( = \dfrac{1}{y(x + y + 1)}(x + y + 1) \)
\( = \dfrac{1}{y} \)
Elde ettiğimiz fonksiyonu sadece \( y \) değişkenine bağlı olduğu için ikinci özel durumun koşulu sağlanır.
Bu durumda denklemi tam yapan integral çarpanını aşağıdaki formülle bulabiliriz.
\( \mu(y) = e^{\int {\frac{1}{y}}\ dy} = y \)
Bulduğumuz integral çarpanını denklemin tarafları ile çarpalım.
\( (xy^2 + y^3 + y^2)\ dx + (x^2y + 3xy^2 + 2xy)\ dy = 0 \)
Denklemin tam olduğunu gösterelim.
\( M_y(x, y) = 2xy + 3y^2 + 2y \)
\( N_x(x, y) = 2xy + 3y^2 + 2y \)
\( M_y(x, y) = N_x(x, y) \) olduğu için elde ettiğimiz denklem bir tam diferansiyel denklemdir.
Elde ettiğimiz tam denklem önceki bölümde gördüğümüz yöntem kullanılarak çözülebilir.
Bu iki özel durum dışında, integral çarpanı olduğu bilinen bir \( \mu(x, y) \) fonksiyonu verildiği durumda denklemin tarafları bu çarpan ile çarpılarak denklem tam forma getirilir ve tam denklemlerin çözüm yöntemi ile çözülür.
Özetlemek gerekirse, tama indirgenebilen denklemler aşağıdaki yöntemle çözülür.
Adım 1: Denklemin formu
Verilen denklem önce aşağıdaki forma getirilir, \( M \) ve \( N \) fonksiyonları belirlenir.
\( M(x, y)\ dx + N(x, y)\ dy = 0 \)
Adım 2: Tam denklem testi
Denklemin tam denklem koşulunu sağlamadığı kontrol edilir.
\( M_y(x, y) \ne N_x(x, y) \)
Adım 3.1: Bilinen integral çarpanı
Eğer denklemi tam yaptığı bilinen bir integral çarpanı verildiyse denklemin tarafları bu çarpan ile çarpılır ve denklem tam forma getirilir.
\( \mu M(x, y)\ dx + \mu N(x, y)\ dy = 0 \)
Adım 3.2: Özel durumlar
Eğer denklemi tam yaptığı bilinen bir integral çarpanı verilmediyse denklemin yukarıda paylaştığımız iki özel durumdan birini sağlayıp sağlamadığı kontrol edilir.
Bu iki durumdan biri sağlanıyorsa ilgili durum için verilen formülle denklemin \( \mu \) integral çarpanı bulunur, denklemin tarafları bu çarpan ile çarpılır ve denklem tam forma getirilir.
\( \mu M(x, y)\ dx + \mu N(x, y)\ dy = 0 \)
Adım 4: Tam denklemin çözümü
Elde edilen denklem önceki bölümde paylaştığımız tam denklemlerin çözüm yöntemi ile çözülür.