Çok Değişkenli Fonksiyonlar: Limit, Süreklilik ve Türev

Çok değişkenli fonksiyonların tanımı ve gösterimi

Bir çok değişkenli fonksiyon, birden fazla bağımsız değişkenin oluşturduğu girişe tek bir çıktı karşılık getirir. İki değişkenli bir fonksiyon genellikle f: D ⊆ R² → R veya z = f(x,y) biçiminde yazılır. Burada x ve y bağımsız değişkenler, z ise bağımlı değişkendir. D, fonksiyonun tanımlı olduğu giriş noktalarının kümesidir. Daha genel olarak f(x₁,x₂,...,xₙ) ifadesinde n bağımsız değişken bulunur ve her uygun girişe yalnızca bir çıktı atanır.

Fonksiyon olma koşulu, aynı giriş noktasının iki farklı çıktı üretmemesidir. Örneğin f(x,y)=x²+3y fonksiyonunda (1,2) girişine yalnızca f(1,2)=7 çıktısı karşılık gelir. x veya y’nin değişmesi çıktıyı etkileyebilir; ancak bu değişkenlerin her ikisi de aynı girişin bileşenleridir. Buna karşılık x²+y²=1 eşitliği, y’yi x’in tek bir fonksiyonu olarak tanımlamaz; çünkü bazı x değerleri için iki farklı y değeri bulunabilir. Çok değişkenli fonksiyon gösteriminde giriş artık tek bir sayı değil, sıralı ikilidir: (x,y). Bu yapı, fonksiyonun değişkenlerden her birinin etkisini ayrı ayrı incelemeye izin verir.

Tanım kümesi ve geometrik gösterim

Bir çok değişkenli fonksiyonun tanım kümesi, formülün anlamlı ve gerçek değerli olduğu tüm giriş noktalarının kümesidir. f(x,y) için bu küme R² düzleminde bir bölge olarak düşünülür. Paydanın sıfır olmaması, karekök içinin negatif olmaması veya logaritma içinin pozitif olması gibi koşullar tanım kümesini sınırlar. Bu nedenle fonksiyonla işlem yapmadan önce yalnızca formüle değil, (x,y) noktalarının hangi koşulları sağladığına da bakılır.

Örneğin f(x,y)=√(9-x²-y²) fonksiyonunda kökün içi negatif olamayacağı için x²+y²≤9 olmalıdır. Tanım kümesi, merkezi orijinde ve yarıçapı 3 olan kapalı disktir. Fonksiyonun grafiği ise her tanım noktası için (x,y,f(x,y)) noktasının uzayda işaretlenmesiyle elde edilen bir yüzeydir. Aynı örnekte grafik z=√(9-x²-y²) yüzeyidir ve z≥0 koşulunu sağlayan küresel yüzey parçasını oluşturur. Böylece tanım kümesi yatay düzlemdeki giriş bölgesini, grafik ise bu girişlerin çıktı yüksekliğiyle birlikte uzaydaki karşılığını gösterir.

Tanım kümesinin geometrik yapısı limit açısından da önemlidir. Bir noktaya yaklaşırken yalnızca tanım kümesinin içindeki noktalardan hareket edilir; sınırda bulunan bir noktaya her yönden yaklaşmak mümkün olmayabilir. Bu durum, çok değişkenli limitlerin neden düzlemdeki yaklaşma yollarıyla birlikte düşünülmesi gerektiğini açıklar.

Çok değişkenli limit

f(x,y) fonksiyonunun (a,b) noktasındaki limiti L ise, (x,y) noktası (a,b)’ye yaklaşırken fonksiyon değerleri hangi yönden yaklaşılırsa yaklaşılsın L’ye yaklaşır. Gösterim lim_(x,y)→(a,b) f(x,y)=L şeklindedir. Burada x’in a’ya ve y’nin b’ye yaklaşması birlikte gerçekleşir; x ve y’nin belirli bir sırayla veya tek bir doğru boyunca yaklaşması gerekmez. Limit, fonksiyonun noktadaki değerinden bağımsız olarak tanımlanabilir; önemli olan komşu noktalardaki davranıştır.

Tek değişkenli durumda iki temel yönden yaklaşma çoğu zaman yeterli olur. Düzlemde ise sonsuz sayıda yaklaşma yolu vardır. Örneğin f(x,y)=x²+y² için (x,y)→(0,0) iken hem x² hem de y² sıfıra yaklaşır; dolayısıyla limit 0’dır. Noktaya doğru doğru, eğri veya başka bir yol seçilmesi sonucu değiştirmez.

Bir limitin var olmadığını göstermek için iki yaklaşma yolunda farklı sonuç bulmak yeterlidir. f(x,y)=xy/(x²+y²) ifadesini (0,0) çevresinde düşünelim. y=0 yolu boyunca fonksiyon değeri 0’dır. x=y yolu boyunca ise değer 1/2 olur. Aynı noktaya iki farklı yol üzerinden farklı sonuçlarla ulaşıldığı için tek bir çok değişkenli limit yoktur. Bu örnek, yalnızca x ve y’yi ayrı ayrı sıfıra götürmenin yeterli olmadığını; bütün yolların denetlenmesi gerektiğini gösterir.

Limit hesaplarında bazen ifadeyi sıkıştıran bir üst sınır bulunur. Örneğin |f(x,y)|≤x²+y² ve (x,y)→(0,0) ise sağ taraf 0’a yaklaşır; bu nedenle f’nin limiti de 0 olmak zorundadır. Bu fikir, iki değişkenli uzaklığı r=√(x²+y²) ile ölçerek fonksiyonun orijine olan uzaklığa bağlı biçimde incelenmesini sağlar. Limitin varlığı, sonraki süreklilik ve türevlenebilirlik tanımlarının temelidir.

Süreklilik

f fonksiyonu (a,b) noktasında sürekli olmak için üç koşulun birlikte sağlanmasını gerektirir: f(a,b) tanımlı olmalı, lim_(x,y)→(a,b) f(x,y) mevcut olmalı ve bu limit f(a,b)’ye eşit olmalıdır. Başka bir deyişle, giriş noktası küçük miktarda değiştiğinde çıktı da küçük miktarda değişir ve noktada ani bir kopma oluşmaz. Formülün tanım kümesinde polinomlardan oluşması gibi durumlarda süreklilik çoğu zaman doğrudan formülün yapısından görülür; payda, kök veya logaritma gibi kısıtlayıcı ifadeler içeren fonksiyonlarda ise ilgili tanım koşulları ayrıca kontrol edilir.

Örneğin f(x,y)=x²+y² fonksiyonu her (a,b) noktasında süreklidir; çünkü limit alınırken x²+y² ifadesi doğrudan a²+b²’ye yaklaşır ve bu değer fonksiyonun noktadaki değeridir. Buna karşılık f(x,y)=xy/(x²+y²) fonksiyonunu (0,0)’da ayrıca bir değerle tanımlamaya çalışsak bile süreklilik sağlanamaz; çünkü bu noktadaki limit mevcut değildir. Dolayısıyla bir fonksiyona nokta değeri eklemek, çevredeki limit davranışını tek başına değiştirmez.

Kısmi türevler

Çok değişkenli bir fonksiyonun kısmi türevi, değişkenlerden yalnızca birini değiştirirken diğerlerini sabit tutarak alınan türevdir. f(x,y) için x’e göre kısmi türev ∂f/∂x, y’ye göre kısmi türev ise ∂f/∂y ile gösterilir. Bu işlem, fonksiyonun seçilen koordinat doğrultusundaki anlık değişim hızını ölçer. Diğer değişkenler sabit tutulduğu için aslında yüzeyin belirli bir doğrultudaki kesitine tek değişkenli türev uygulanır.

Örneğin f(x,y)=x²y+3x-y² olsun. x’e göre kısmi türev alınırken y sabit kabul edilir: ∂f/∂x=2xy+3. y’ye göre kısmi türev alınırken x sabit kabul edilir: ∂f/∂y=x²-2y. (1,2) noktasında bu değerler sırasıyla 7 ve -3’tür. Bu sonuç, o noktada x yönünde küçük bir değişimin çıktıyı yaklaşık olarak artırdığını, y yönündeki küçük bir değişimin ise çıktıyı yaklaşık olarak azalttığını ifade eder.

Kısmi türevi limit yoluyla da tanımlayabiliriz. x’e göre kısmi türevde yalnızca x değiştiği için ∂f/∂x(a,b)=lim_h→0 [f(a+h,b)-f(a,b)]/h yazılır. Benzer biçimde ∂f/∂y(a,b)=lim_h→0 [f(a,b+h)-f(a,b)]/h olur. Bu tanımlar, tek değişkenli türevdeki fark bölümünün çok değişkenli bağlama uyarlanmış hâlidir. Türev, bir eğrinin teğet eğimi veya anlık değişim hızı olarak yorumlanabildiği gibi, kısmi türev de yüzeyin seçilen koordinat yönündeki eğimini belirtir.

Diferensiyellenebilirlik ve toplam türev

Bir fonksiyonun bir noktada diferensiyellenebilir olması, o noktaya yakın davranışının doğrusal bir fonksiyonla yeterince iyi yaklaştırılabilmesi demektir. f(x,y) için (a,b) çevresinde küçük Δx ve Δy değişimleri olduğunda değişim yaklaşık olarak Δf ≈ f_x(a,b)Δx + f_y(a,b)Δy biçiminde yazılır. Bu doğrusal ifade, yüzeyin o noktadaki teğet düzlemini temsil eder. Toplam türev, iki bağımsız değişkendeki değişimlerin fonksiyon çıktısına birlikte etkisini bu tek doğrusal modelde toplar.

Diferensiyellenebilirlik, yalnızca kısmi türevlerin tek tek bulunabilmesinden daha güçlü bir koşuldur. Kısmi türevler koordinat doğrultularındaki değişimi gösterir; diferensiyellenebilirlik ise her yönden gelen küçük değişimleri aynı doğrusal yaklaşımla açıklamayı gerektirir. Bir fonksiyonun kısmi türevleri bir komşulukta mevcut ve yeterince düzenli olduğunda diferensiyellenebilirlik için güçlü bir ölçüt elde edilir; ancak yalnızca tek bir noktada iki kısmi türevin bulunması tek başına yeterli değildir.

Örneğin f(x,y)=x²y+3x-y² için f_x=2xy+3 ve f_y=x²-2y olduğundan (a,b) noktasındaki toplam diferensiyel df=(2ab+3)dx+(a²-2b)dy olarak yazılır. (1,2) noktasında df=7dx-3dy olur. Bu, girişteki küçük değişimlerin çıktıdaki ilk dereceden yaklaşık değişimini verir. Diferensiyellenebilir bir fonksiyon aynı zamanda süreklidir; fakat süreklilik, doğrusal bir yerel yaklaşımın varlığını garanti edecek kadar güçlü değildir.

Gradyan ve yönlü türev

f(x,y) fonksiyonunun gradyanı, kısmi türevlerin vektör olarak bir araya getirilmesiyle tanımlanır: ∇f(x,y)=(f_x(x,y),f_y(x,y)). Gradyan, fonksiyonun o noktadaki değişim bilgisini iki koordinat doğrultusunu birlikte kullanarak taşır. Diferensiyellenebilirlik durumunda, birim u yönündeki yönlü türev D_u f(a,b)=∇f(a,b)·u iç çarpımıyla bulunur. Buradaki u=(u₁,u₂) birim vektör olmalıdır; değilse önce yön vektörü uzunluğuna bölünerek birim hâle getirilir.

f(x,y)=x²y+3x-y² fonksiyonu için ∇f(x,y)=(2xy+3,x²-2y)’dir. (1,2) noktasında gradyan (7,-3) olur. Örneğin u=(1/√2,1/√2) yönünde yönlü türev 7/√2-3/√2=4/√2’dir. Bu hesap, x ve y yönlerindeki değişimlerin seçilen doğrultuya göre ağırlıklı birleşimini verir. Gradyanın yönü, fonksiyonun en hızlı arttığı yönü; gradyanın ters yönü ise en hızlı azaldığı yönü gösterir. Bu yorum, gradyanın sıfır olduğu noktalarda aynı biçimde bir artış yönü bulunmayabileceğini de açıklar.

Seviye kümeleri, f(x,y)=c eşitliğini sağlayan noktaların oluşturduğu düzlemsel kümelerdir; bir yüzeyin aynı yükseklikteki izlerini gösterir. Grafiklerin geometrik yorumu ve seviye kümelerinin ayrıntılı incelenmesi, çok değişkenli fonksiyonların uzaydaki biçimini görselleştirmeye yarar. İkinci ve karma kısmi türevler ise kısmi türevlerin yeniden türetilmesiyle elde edilen ve sonraki analizlerde kullanılan türev bilgileridir. Yerel ve mutlak ekstremumlar, kısıtlı optimizasyon ve Lagrange çarpanları ile çok değişkenli integraller ayrı konularda incelenir.