Çok Değişkenli Fonksiyonlar ve Tanım Kümesi

Çok Değişkenli Fonksiyon Kavramı

Matematiksel modellemelerde ve mühendislik problemlerinde genellikle bir büyüklük birden fazla değişkene bağlıdır. Örneğin, bir dikdörtgenin alanı $A = x \cdot y$ formülü ile ifade edilir; burada alan, hem genişlik ($x$) hem de uzunluk ($y$) olmak üzere iki değişkene bağlıdır. Aynı şekilde, bir gazın basıncı ideal gaz denkleminde ($P = \frac{nRT}{V}$) hacim ($V$) ve sıcaklık ($T$) gibi iki bağımsız değişkene bağlı olarak değişir. Bu tür ilişkileri matematiksel olarak ifade etmek için çok değişkenli fonksiyonlar kullanılır.

Genel olarak, $\mathbb{R}^n$ (n-boyutlu Öklid uzayı) içindeki bir $D$ kümesindeki her bir $(x_1, x_2, \dots, x_n)$ sıralı n-lisine karşılık gelen bir ve yalnız bir $z \in \mathbb{R}$ reel sayısı atayan bir $f$ kuralına, $D$ üzerinde tanımlı n-değişkenli fonksiyon denir. Bu atama işlemi $z = f(x_1, x_2, \dots, x_n)$ şeklinde gösterilir. En sık karşılaştığımız durumlar $n=2$ ve $n=3$ olan fonksiyonlardır.

İki değişkenli bir fonksiyon $z = f(x, y)$ formundadır. Burada $x$ ve $y$ bağımsız değişkenler, $z$ ise $x$ ve $y$'ye bağlı olduğu için bağımlı değişken olarak adlandırılır. Fonksiyonun tanım kümesi $D$, $(x,y)$ ikililerinin oluşturduğu kümedir, görüntü kümesi ise $z$'nin alabileceği değerler kümesidir. Üç boyutlu uzayda, $z = f(x, y)$ denklemi bir yüzey (surface) belirtir ve $(x, y)$ tanım kümesi $xy$-düzlemindeki bir bölgedir. Fonksiyonun her bir $(x, y)$ noktası için değeri, yüzeyin o noktadaki yüksekliğini (veya derinliğini) temsil eder.

Tanım Kümesinin Belirlenmesi

Bir $z = f(x,y)$ fonksiyonu verildiğinde, fonksiyonun tanımsız olduğu durumları dışarıda bırakan, fonksiyonun gerçek ve tanımlı bir değer ürettiği en geniş $(x,y)$ değerler kümesine tanım kümesi (domain) adı verilir. Eğer problemde özel olarak bir tanım kümesi belirtilmemişse, doğal tanım kümesi (maksimal tanım kümesi) bulunmalıdır. Tek değişkenli fonksiyonlarda olduğu gibi, çok değişkenli fonksiyonlarda da tanım kümesini kısıtlayan üç temel matematiksel durum vardır:

1. Rasyonel Fonksiyonlar: Bir rasyonel ifadede (örneğin $\frac{P(x,y)}{Q(x,y)}$) payda asla sıfır olamaz. Bu nedenle $Q(x,y) \neq 0$ koşulu sağlanmalıdır.
2. Kareköklü İfadeler (ve Çift Dereceden Kökler): Reel sayılarda, çift dereceden bir kökün içi negatif olamaz. Örneğin $\sqrt{A(x,y)}$ ifadesinin tanımlı olabilmesi için $A(x,y) \geq 0$ eşitsizliği sağlanmalıdır.
3. Logaritma Fonksiyonları: Logaritma fonksiyonu sadece pozitif reel sayılar için tanımlıdır. $\ln(B(x,y))$ veya $\log_a(B(x,y))$ ifadelerinin tanımlı olabilmesi için $B(x,y) > 0$ koşulu kesinlikle sağlanmalıdır. Ayrıca eğer tabanda bir değişken varsa, o taban da $1$'den farklı ve pozitif olmalıdır.

Bu kuralları birleştirerek karmaşık fonksiyonların tanım kümelerini de bulabiliriz.

Örnek 1: Kök ve Payda Kısıtlaması

$f(x,y) = \frac{\sqrt{x+y-2}}{x-y}$ fonksiyonunun tanım kümesini bulalım. Çözüm: Bu fonksiyonun tanımlı olabilmesi için iki temel koşul vardır. Birincisi, karekökün içi sıfırdan büyük veya sıfıra eşit olmalıdır: $$ x+y-2 \geq 0 \implies y \geq -x+2 $$ Bu eşitsizlik, $xy$-düzleminde $y = -x+2$ doğrusu ve bu doğrunun üst kısmını (üzerindeki noktalar dahil) belirtir. İkincisi, kesrin paydası sıfırdan farklı olmalıdır: $$ x-y \neq 0 \implies y \neq x $$ Bu, $y = x$ doğrusu üzerindeki noktaların tanım kümesinden çıkarılması gerektiği anlamına gelir. Sonuç olarak tanım kümesi: $$ D = { (x,y) \in \mathbb{R}^2 \,|\, x+y-2 \geq 0 \text{ ve } x \neq y } $$ olarak ifade edilir. Geometrik olarak, $y=-x+2$ doğrusunun üst yarısında kalan bölge olup, $y=x$ doğrusunun bu bölgeyi kestiği kısımdaki noktalar çıkarılarak elde edilir.

Örnek 2: Logaritma ve Karekökün Birlikte Kullanımı

$g(x,y) = \ln(16 - x^2 - y^2) + \sqrt{x^2+y^2-4}$ fonksiyonunun tanım kümesini inceleyelim. Çözüm: Yine iki koşulu eşzamanlı sağlamamız gerekir. Logaritmanın içi kesinlikle pozitif olmalıdır: $$ 16 - x^2 - y^2 > 0 \implies x^2 + y^2 < 16 $$ Bu eşitsizlik, merkezi orijin olan ve yarıçapı $4$ olan bir çemberin iç bölgesini ifade eder (çemberin kendisi dahil değildir). Karekökün içi negatif olmamalıdır: $$ x^2 + y^2 - 4 \geq 0 \implies x^2 + y^2 \geq 4 $$ Bu ifade, merkezi orijin olan ve yarıçapı $2$ olan bir çemberin dış bölgesini (ve çember üzerini) ifade eder. Her iki eşitsizliğin kesişimi, iki koşulun da aynı anda sağlandığı bölgedir: $$ 4 \leq x^2 + y^2 < 16 $$ Geometrik olarak, bu küme $xy$-düzleminde iç yarıçapı $2$ ve dış yarıçapı $4$ olan bir halka (annulus) şeklindedir. İç sınır (yarıçap $2$) tanım kümesine dahilken, dış sınır (yarıçap $4$) dahil değildir.

Geometrik Yorumlar ve Seviye Eğrileri (Level Curves)

Çok değişkenli fonksiyonların davranışını analiz etmenin en iyi yollarından biri seviye eğrileri (contour lines) çizmektir. Haritacılıkta kullanılan eşyükselti eğrilerine benzer şekilde, bir $f(x,y)$ fonksiyonu için $f(x,y) = k$ (sabit) denklemini sağlayan eğrilere seviye eğrileri denir. Bu eğriler, yüzeyin yatay düzlemlerle kesişimlerinin iz düşümleridir.

Örneğin, $f(x,y) = x^2 + y^2$ (bir paraboloid) fonksiyonunu düşünelim. $f(x,y) = k$ denklemini yazdığımızda $x^2 + y^2 = k$ elde ederiz. Eğer $k < 0$ ise, iki karenin toplamı negatif olamayacağı için seviye eğrisi yoktur (boş küme). Eğer $k = 0$ ise, sadece $(0,0)$ noktasını elde ederiz. Eğer $k > 0$ ise, orijin merkezli ve $\sqrt{k}$ yarıçaplı çemberler elde ederiz. $k$ değerini artırdıkça çemberlerin çapları giderek büyür, bu da bize yüzeyin dışarıya doğru konik bir şekilde genişleyip yükseldiğini gösterir. Seviye eğrileri aracılığıyla fonksiyonun artış eğilimini (eğimini) de tahmin edebiliriz. Eğer birbirine eşit artışlarla seçilmiş (örneğin $k=1, 2, 3, 4\dots$) $k$ sabitleri için seviye eğrileri sıklaşıyorsa, o bölgede yüzey daha diktir. Seyrekse yüzey nispeten yataydır.

İleri Uygulamalar ve Üç Değişkenli Fonksiyonlar

Üç değişkenli fonksiyonlar $w = f(x,y,z)$ olarak ifade edilir. Bu durumda fonksiyonun grafiği $4$-boyutlu uzayda olacağından doğrudan çizilmesi imkansızdır. Ancak bunun yerine seviye yüzeyleri (level surfaces) kavramı kullanılır. Yani $f(x,y,z) = k$ denklemi her bir $k$ sabiti için $3$-boyutlu uzayda bir yüzey belirtir.

Örnek olarak $f(x,y,z) = x^2 + y^2 + z^2$ ele alınırsa, $x^2 + y^2 + z^2 = k$ denklemi ($k>0$ için) orijin merkezli ve $\sqrt{k}$ yarıçaplı küreler belirtir. Bu fonksiyon bir odadaki her noktanın sıcaklığını ($x,y,z$) konumuna göre gösteriyorsa, sıcaklığın aynı olduğu eş-sıcaklık yüzeyleri kürelerden oluşmaktadır.

Çok değişkenli fonksiyonları anlamak, ilerleyen konularda göreceğimiz kısmi türev, limit, çok katlı integraller ve yönlü türev kavramlarının temelini atar. Fonksiyonun hangi noktalarda sürekli ve tanımlı olduğunu belirlemek, analiz işlemlerinin yapılabileceği bölgeleri kesin olarak bilmemizi sağlar. Bu nedenle tanım kümelerinin analitik ve geometrik olarak belirlenmesi aşaması kritik bir başlangıçtır.