Kısmi Türevler

Giriş ve Temel Kavramlar

Matematiksel analizde, çok değişkenli fonksiyonlar günlük hayattaki pek çok problemi modellememize olanak tanır. Bir boyutta tanımlı olan $f(x)$ gibi fonksiyonlarda sadece tek bir bağımsız değişken varken, fizik, mühendislik, ekonomi ve daha birçok alanda genellikle olaylar birden fazla değişkene bağlıdır. Örneğin, bir odanın içindeki sıcaklık, odadaki x, y ve z koordinatlarına, ayrıca t zamanına bağlı olabilir: $T(x,y,z,t)$. Çok değişkenli fonksiyonlarda, fonksiyonun bir değişkene göre nasıl değiştiğini incelemek için diğer tüm değişkenleri sabit tutarak türev alırız. İşte bu işleme kısmi türev adı verilir.

Kısmi türevlerin temel amacı, çok boyutlu uzayda belirli bir eksen boyunca fonksiyonun anlık değişim oranını bulmaktır. Tek değişkenli fonksiyonlardaki türev kavramının çok değişkenli fonksiyonlara doğal bir genişletilmesidir. Geometrik olarak, $z = f(x,y)$ yüzeyi üzerinde bir noktada, sadece x eksenine veya sadece y eksenine paralel yönde çizilen teğet doğrunun eğimini temsil eder.

Kısmi Türevin Limit ile Tanımı

Bir $f(x,y)$ fonksiyonunun $x$'e göre kısmi türevi $f_x$ veya $\frac{\partial f}{\partial x}$ sembolleri ile gösterilir. $y$'nin sabit bir değer olarak kabul edildiği bu durumda, $x$'e göre kısmi türevin limit tanımı aşağıdaki gibidir:

$$ f_x(x,y) = \lim_{h \to 0} \frac{f(x+h, y) - f(x,y)}{h} $$

Benzer şekilde, $f(x,y)$ fonksiyonunun $y$'ye göre kısmi türevi $f_y$ veya $\frac{\partial f}{\partial y}$ sembolleri ile gösterilir. Bu durumda da $x$ sabit kabul edilir:

$$ f_y(x,y) = \lim_{k \to 0} \frac{f(x, y+k) - f(x,y)}{k} $$

Bu limitler mevcutsa, fonksiyonun o noktada ilgili değişkene göre kısmi türevi vardır denir. Kısmi türev operatörü olan $\partial$ (del veya q-del olarak okunur), adi türev operatörü olan $d$'den ayırt edilmesi için kullanılır.

Geometrik Yorum ve Anlam

$z = f(x,y)$ denklemi, üç boyutlu uzayda bir yüzey belirtir. Bir $(x_0, y_0)$ noktası ele alalım. Eğer $y = y_0$ düzlemini çizersek, bu düzlem yüzeyi bir eğri boyunca keser. Bu eğri üzerindeki $x = x_0$ noktasındaki teğet doğrunun eğimi, tam olarak $f_x(x_0, y_0)$ değerine eşittir. Çünkü bu eğri üzerinde sadece $x$ değişmektedir, $y$ ise $y_0$ değerinde sabittir.

Benzer biçimde, $x = x_0$ düzlemi ile yüzeyin arakesit eğrisine, $y = y_0$ noktasında çizilen teğetin eğimi de $f_y(x_0, y_0)$ değeridir. Dolayısıyla kısmi türevler, yüzeyin sırasıyla x ve y eksenleri yönündeki eğimlerini veya "dikliklerini" ifade eder.

Kısmi Türev Alma Kuralları

Kısmi türev alırken, türevi alınan değişken dışındaki tüm değişkenler birer sabit sayı (örneğin 3, 5 veya $\pi$ gibi) muamelesi görür. Tek değişkenli fonksiyonlar için bildiğimiz tüm türev kuralları (çarpım kuralı, bölüm kuralı, zincir kuralı vb.) burada da aynen geçerlidir.

Örnek 1: Polinom Fonksiyonları

Soru: $f(x,y) = x^3 y^2 + 4xy^4 - 2x + 5y - 7$ fonksiyonunun $f_x$ ve $f_y$ kısmi türevlerini bulunuz.

Çözüm: Önce $x$'e göre kısmi türev alalım. $y$'yi sabit bir sayı gibi düşünüyoruz: - $x^3 y^2$'nin $x$'e göre türevi: $3x^2 y^2$ - $4xy^4$'ün $x$'e göre türevi: $4y^4$ - $-2x$'in $x$'e göre türevi: $-2$ - $5y$ ve $-7$ terimlerinde $x$ olmadığı için türevleri $0$'dır.

Sonuç: $\frac{\partial f}{\partial x} = 3x^2 y^2 + 4y^4 - 2$

Şimdi $y$'ye göre kısmi türev alalım. $x$'i sabit bir sayı gibi düşünüyoruz: - $x^3 y^2$'nin $y$'ye göre türevi: $2x^3 y$ - $4xy^4$'ün $y$'ye göre türevi: $16xy^3$ - $-2x$'in türevi $0$'dır. - $5y$'nin türevi $5$'tir.

Sonuç: $\frac{\partial f}{\partial y} = 2x^3 y + 16xy^3 + 5$

Örnek 2: Üstel ve Logaritmik Fonksiyonlar

Soru: $g(x,y) = e^{x^2 y} + \ln(xy^3)$ fonksiyonunun $x$ ve $y$'ye göre kısmi türevlerini hesaplayınız.

Çözüm: $x$'e göre kısmi türev için zincir kuralını uyguluyoruz: $$ g_x = \frac{\partial}{\partial x}(e^{x^2 y}) + \frac{\partial}{\partial x}(\ln(xy^3)) $$ $$ g_x = e^{x^2 y} \cdot (2xy) + \frac{1}{xy^3} \cdot (y^3) = 2xy e^{x^2 y} + \frac{1}{x} $$

$y$'ye göre kısmi türev için: $$ g_y = \frac{\partial}{\partial y}(e^{x^2 y}) + \frac{\partial}{\partial y}(\ln(xy^3)) $$ $$ g_y = e^{x^2 y} \cdot (x^2) + \frac{1}{xy^3} \cdot (3xy^2) = x^2 e^{x^2 y} + \frac{3}{y} $$

Bu örnek, zincir kuralının (içinin türevi çarpı dışının türevi kuralı) kısmi türevlerde nasıl etkili bir biçimde kullanılabileceğini göstermektedir.

Yüksek Mertebeden Kısmi Türevler

Bir fonksiyonun birinci mertebeden kısmi türevleri $f_x$ ve $f_y$ de birer fonksiyondur. Bu fonksiyonların da tekrar türevleri alınabilir. Böylece ikinci mertebeden (veya daha yüksek) kısmi türevler elde edilir.

İki değişkenli bir fonksiyon için dört adet ikinci mertebeden kısmi türev vardır: 1. $f_{xx} = \frac{\partial^2 f}{\partial x^2} = \frac{\partial}{\partial x} \left( \frac{\partial f}{\partial x} \right)$ (x'e göre iki kez türev) 2. $f_{yy} = \frac{\partial^2 f}{\partial y^2} = \frac{\partial}{\partial y} \left( \frac{\partial f}{\partial y} \right)$ (y'ye göre iki kez türev) 3. $f_{xy} = \frac{\partial^2 f}{\partial y \partial x} = \frac{\partial}{\partial y} \left( \frac{\partial f}{\partial x} \right)$ (Önce x'e, sonra y'ye göre türev) 4. $f_{yx} = \frac{\partial^2 f}{\partial x \partial y} = \frac{\partial}{\partial x} \left( \frac{\partial f}{\partial y} \right)$ (Önce y'ye, sonra x'e göre türev)

Burada 3 ve 4 numaralı türevlere "karma kısmi türevler" (mixed partial derivatives) denir.

Clairaut Teoremi

Yüksek mertebeden kısmi türevlerde çok önemli bir teorem vardır. Clairaut Teoremi (bazı kaynaklarda Schwarz Teoremi olarak da geçer), karma türevlerin eşitliği ile ilgilidir. Teorem der ki; eğer $f(x,y)$ fonksiyonunun $f_{xy}$ ve $f_{yx}$ türevleri bir nokta civarında sürekli fonksiyonlar ise, o noktada şu eşitlik her zaman sağlanır:

$$ f_{xy}(x,y) = f_{yx}(x,y) $$

Yani, türevi hangi sırayla aldığınızın bir önemi yoktur. Önce $x$'e sonra $y$'ye göre türev almak ile, önce $y$'ye sonra $x$'e göre türev almak aynı sonucu verir. Bu teorem, işlemleri doğrulamak veya daha kolay olan türev sırasını seçmek için müthiş bir kolaylık sağlar.

Clairaut Teoremi Doğrulaması Örneği

Soru: $f(x,y) = x^3 \sin(y) + y^2 \cos(x)$ fonksiyonu için Clairaut Teoremi'nin geçerli olduğunu gösteriniz.

Çözüm: Önce $x$ ve $y$'ye göre birinci mertebe türevleri bulalım: $f_x = 3x^2 \sin(y) - y^2 \sin(x)$ $f_y = x^3 \cos(y) + 2y \cos(x)$

Şimdi $f_{xy}$'yi bulmak için, $f_x$'in $y$'ye göre türevini alalım: $f_{xy} = \frac{\partial}{\partial y}(3x^2 \sin(y) - y^2 \sin(x)) = 3x^2 \cos(y) - 2y \sin(x)$

Şimdi $f_{yx}$'i bulmak için, $f_y$'nin $x$'e göre türevini alalım: $f_{yx} = \frac{\partial}{\partial x}(x^3 \cos(y) + 2y \cos(x)) = 3x^2 \cos(y) - 2y \sin(x)$

Sonuç olarak $f_{xy} = f_{yx}$ olduğu açıkça görülmektedir. Fonksiyonların sürekli olduğu durumlarda bu eşitlik daima garantilidir.

Üç ve Daha Fazla Değişkenli Fonksiyonlarda Kısmi Türev

Kısmi türev kavramı kolayca üç veya daha fazla değişkene genişletilebilir. $w = f(x,y,z)$ fonksiyonu için $x$, $y$ ve $z$'ye göre kısmi türevler sırasıyla $f_x, f_y, f_z$ şeklindedir. $x$'e göre kısmi türev alınırken $y$ ve $z$ sabit kabul edilir. Benzer mantık $n$ değişkenli fonksiyonlar için de $x_1, x_2, \dots, x_n$ şeklinde devam eder.

Örneğin $f(x,y,z) = x^2 y^3 z^4$ fonksiyonu için: - $f_x = 2x y^3 z^4$ - $f_y = 3x^2 y^2 z^4$ - $f_z = 4x^2 y^3 z^3$

Bu kısmi türevlerin çeşitli fiziksel anlamları vardır. Örneğin üç boyutlu uzayda bir elektrik potansiyeli fonksiyonu tanımlanmışsa, bu fonksiyonun uzaysal koordinatlara göre kısmi türevleri bize elektrik alanının ilgili eksenlerdeki bileşenlerini verir.

Sonuç

Kısmi türevler, çok boyutlu analizin temel taşıdır. Bir fonksiyonun birden fazla değişkene bağlı olduğu durumlarda, her bir değişkenin fonksiyona olan bireysel etkisini ölçmemizi sağlar. Mühendislik optimizasyon problemleri, termodinamik, akışkanlar mekaniği, elektromanyetizma, makine öğrenmesi (örneğin geri yayılım - backpropagation algoritmasında maliyet fonksiyonunun ağırlıklara göre kısmi türevlerinin alınması) gibi sayısız alanda kısmi türevler kullanılmaktadır. Konunun tam olarak anlaşılması, çok değişkenli integral (iki katlı, üç katlı integraller) ve vektör analizinin (gradyan, rotasyonel, diverjans gibi operatörler) kavranması için kritik bir öneme sahiptir.