Diferansiyel Denklemlere Giriş: Temel Kavramlar ve Çözüm Yöntemleri

Diferansiyel denklemin temel kavramları ve sınıflandırılması

Bir diferansiyel denklemde bilinmeyen, çoğu zaman x gibi bağımsız bir değişkene bağlı y(x) fonksiyonudur. Denklemin içinde y, y', y'' gibi türevler bulunur. Bir diferansiyel denklemin mertebesi, denklemde görülen en yüksek türevin mertebesidir. Örneğin y' + 3y = x birinci mertebeden, y'' - 4y' + y = 0 ise ikinci mertebeden bir denklemdir.

Derece, denklem türevler bakımından polinom biçimindeyse en yüksek mertebeli türevin kuvvetidir. (y'')^2 + y' - y = 0 denkleminin mertebesi 2, derecesi 2'dir. Ancak türevler kök, logaritma veya başka bir fonksiyon içinde bulunuyorsa derece kavramı bu biçimde kullanılmaz. Bu ayrım, denklemin hangi cebirsel yapıya sahip olduğunu anlamaya yardım eder.

Bir denklemde bilinmeyen fonksiyon ve türevleri yalnızca birinci kuvvetleriyle yer alıyor, birbirleriyle çarpılmıyor ve katsayıları bağımsız değişkene bağlı olabiliyorsa denklem doğrusal kabul edilir. y' + p(x)y = q(x) doğrusal birinci mertebe denklemin standart biçimidir. Buna karşılık y' = y^2 veya yy' = x denklemleri doğrusal değildir; çünkü bilinmeyen fonksiyon doğrusal olmayan bir kuvvetle ya da başka bir ifadeyle çarpılarak bulunur.

Adi diferansiyel denklemde bilinmeyen fonksiyon tek bir bağımsız değişkene bağlıdır ve yalnızca o değişkene göre türevler kullanılır. Örneğin y' = 2x + y bir adi diferansiyel denklemdir. Kısmi diferansiyel denklemlerde ise bilinmeyen fonksiyon birden fazla bağımsız değişkene bağlıdır ve kısmi türevler kullanılır. Bu yazının çözüm yöntemleri temel birinci mertebe adi diferansiyel denklemlerle sınırlıdır. İkinci ve daha yüksek mertebeden denklemler farklı çözüm teknikleri gerektiren ayrı bir konudur.

Çözüm, genel çözüm ve özel çözüm

Bir diferansiyel denklemin çözümü, denkleme yerleştirildiğinde eşitliği sağlayan fonksiyondur. Çözümü bulmanın temel mantığı, bilinmeyen fonksiyonun türevini içeren ilişkiyi işlemlerle yalnızca fonksiyonun ifade edilebildiği bir biçime dönüştürmektir. Bulunan ifade, türevleri hesaplanıp denklemde yerine konulduğunda denklemi sağlamalıdır.

Birinci mertebeden denklemlerde çoğu zaman bir keyfi sabit içeren çözüm ailesi elde edilir. Bu aileye genel çözüm denir. Örneğin y' = 2x denklemi integre edildiğinde y = x^2 + C elde edilir. Buradaki C herhangi bir sabit olduğundan, farklı C değerleri aynı diferansiyel denklemi sağlayan farklı çözüm eğrileri verir. Gerçekten de y = x^2 + C için y' = 2x olur ve denklem sağlanır.

Genel çözümdeki keyfi sabit, bir başlangıç koşulu veya başka bir ek koşul verilince belirli bir değere indirilebilir. Böylece çözüm ailesinden tek bir fonksiyon seçilir; bu fonksiyona özel çözüm denir. Örneğin y' = 2x için y(1) = 3 koşulu verilirse 3 = 1 + C olduğundan C = 2 bulunur ve özel çözüm y = x^2 + 2 olur.

Birinci mertebe başlangıç değer problemlerinde genellikle başlangıç noktasındaki fonksiyon değeri kullanılır. Varlık ve teklik fikri, verilen koşulun yakınında en az bir çözümün bulunup bulunmadığını ve bu çözümün tek olup olmadığını inceleyen daha ileri bir bakış açısıdır. Diferansiyel denklem sistemleri ise birden fazla bilinmeyen fonksiyonun birlikte ele alındığı ayrı bir konudur.

Başlangıç koşulları ve çözüm aralığı

Genel çözümdeki sabiti belirlemek için fonksiyonun belirli bir noktadaki değeri kullanılır. Örneğin y' = y ve y(0) = 2 denkleminde genel çözüm y = Ce^x biçimindedir. x = 0 ve y = 2 yazıldığında 2 = C elde edilir; dolayısıyla başlangıç koşulunu sağlayan özel çözüm y = 2e^x olur.

Çözüm aralığı, bulunan fonksiyonun hem tanımlı olduğu hem de diferansiyel denklemi sağladığı x değerleri kümesidir. Çözüm sırasında bir ifadeye bölme yapılmışsa, bölünen ifadenin sıfır olduğu noktalar ayrıca incelenmelidir. Örneğin y' = 3xy denkleminde değişkenler ayrılırken y ile bölünür; bu işlem yalnızca y ≠ 0 iken geçerlidir. Ayrıca başlangıç noktası, seçilen çözüm aralığının içinde bulunmalıdır. Bir çözüm ifadesi bir noktada tanımsızsa veya türevi o bölgede mevcut değilse, aralık o noktadan geçirilemez.

Değişkenlerine ayrılabilir birinci mertebe denklemler

Değişkenlerine ayrılabilir birinci mertebe denklem, x ve y ile ilgili ifadelerin farklı taraflarda toplanabildiği denklemdir. Genel amaç, denklemi dy/dx = g(x)h(y) biçimine getirip y içeren çarpanı bir tarafa, x içeren çarpanı diğer tarafa almaktır. Böylece her iki taraf ayrı ayrı integre edilebilir:

1/h(y) dy = g(x) dx.

Bu işlem, değişkenler ayrıldıktan sonra iki tarafın integrallenmesine dayanır. İntegrasyon sonucunda bir tarafta y, diğer tarafta x bulunan örtük bir çözüm elde edilebilir. Sonuçta y'yi açıkça yalnız bırakmak her zaman gerekli değildir; önemli olan elde edilen ilişkinin denklemi sağlamasıdır. Ancak ayırma sırasında y veya başka bir ifadeyle bölme yapılmışsa, sıfır değer veren sabit çözümler ayrıca kontrol edilmelidir.

Örnek olarak dy/dx = 3x y denklemini ele alalım. y ≠ 0 varsayımıyla değişkenler ayrılır:

dy/y = 3x dx.

İntegral alınca ln|y| = 3x^2/2 + C elde edilir. Sabit yeniden düzenlenerek y = C e^(3x^2/2) biçiminde yazılabilir. Başlangıç koşulu y(0) = 2 ise 2 = C olur ve özel çözüm y = 2e^(3x^2/2) şeklindedir. Bu fonksiyon her gerçek x için tanımlıdır; dolayısıyla bu özel çözümün çözüm aralığı tüm gerçek sayılardır.

Bir başka örnekte dy/dx = x/(1+y^2) denklemi, (1+y^2)dy = xdx biçiminde ayrılır. İntegral sonucunda y + y^3/3 = x^2/2 + C bulunur. Bu ifade y'yi açıkça vermese de y ile x arasındaki çözüm ilişkisini tanımlar. Değişkenlerine ayırma yöntemi uygulanmadan önce denklemdeki sıfır olabilecek çarpanlar ve başlangıç koşulunun çözüm üzerindeki etkisi mutlaka değerlendirilmelidir.

Birinci mertebe doğrusal denklemler ve integrasyon çarpanı

Birinci mertebe doğrusal diferansiyel denklem, standart olarak y' + p(x)y = q(x) biçiminde yazılır. Burada p(x) ve q(x), x'in bilinen fonksiyonlarıdır. Denklem bu biçimde değilse önce türevin katsayısı 1 olacak şekilde düzenlenir. Örneğin 2y' + 4y = x denklemi y' + 2y = x/2 biçimine getirilir.

Bu yöntemin temel aracı integrasyon çarpanıdır. Standart biçimdeki denklem için integrasyon çarpanı μ(x) = e^(∫p(x)dx) olarak seçilir. Denklemin her iki tarafı μ(x) ile çarpıldığında sol taraf, çarpımın türevine dönüşür:

μ(x)y' + μ(x)p(x)y = (μ(x)y)'.

Bunun nedeni μ'(x) = p(x)μ(x) eşitliğidir. Böylece denklem (μy)' = μq biçimine gelir. Her iki taraf integre edilince μy = ∫μq dx + C ve dolayısıyla y = [∫μq dx + C]/μ elde edilir. Yöntemin çalışma nedeni, iki terimli sol tarafı tek bir çarpımın türevi biçiminde birleştirmesidir.

Örnek olarak y' + 2y = e^x denklemini çözelim. Burada p(x) = 2 olduğundan integrasyon çarpanı μ(x) = e^(2x)'tir. Denklem bu çarpanla çarpılınca (e^(2x)y)' = e^(3x) elde edilir. İntegral alınırsa e^(2x)y = e^(3x)/3 + C bulunur. Genel çözüm

y = e^x/3 + Ce^(-2x)

şeklindedir. Başlangıç koşulu y(0) = 1 verilirse 1 = 1/3 + C olduğundan C = 2/3 olur. Bu durumda özel çözüm y = e^x/3 + 2e^(-2x)/3'tür. Üstel fonksiyonlar her gerçek x için tanımlı olduğundan bu çözümün aralığı tüm gerçek sayılardır.

İntegrasyon çarpanı, değişkenlerine ayırma yöntemiyle çözülemeyen birçok doğrusal birinci mertebe denklemi sistematik biçimde çözmeyi sağlar. Önce standart biçime geçmek, ardından p(x)'i doğru belirlemek ve çarpanın tüm terimlere uygulanması yöntemin kritik adımlarıdır.

Çözümün doğrulanması ve temel sınır durumları

Bir çözümün doğrulanması için önce bulunan fonksiyonun türevi alınır, ardından fonksiyon ve türevi başlangıç denkleminde yerine yazılır. Eşitlik sağlanıyorsa çözüm denklemi karşılar; başlangıç değerli problemde ayrıca verilen başlangıç koşulunu da sağlamalıdır. Örneğin y = e^x/3 + 2e^(-2x)/3 için türev hesaplanıp y' + 2y ifadesi oluşturulduğunda e^x elde edilir; bu da denklemin sağ tarafına eşittir.

Cebirsel işlemler sırasında bazı çözümler gözden kaçabilir. Özellikle değişkenleri ayırırken y ile bölmek, y = 0 gibi sabit çözümleri işlem dışında bırakabilir. Örneğin y' = y^2 denkleminde y ile ilgili dönüşümler yapılırken y = 0 çözümü ayrıca kontrol edilmelidir; doğrudan yerine koyunca y' = 0 ve y^2 = 0 olduğu görülür, yani bu sabit fonksiyon gerçekten çözümdür. Bu nedenle bölme yapılan ifadeyi sıfır yapan durumlar ayrı bir sınır durumu olarak incelenmelidir. Ayrıca bir çözümün tanımsız olduğu noktalar, çözüm aralığının dışında bırakılmalıdır.