Çok Değişkenli Fonksiyonlar: Tanım, Limit ve Türev Rehberi

Tanım kümesini cebirsel koşullardan kurma

Bir çok değişkenli fonksiyonun ilk inceleme adımı tanım kümesini bulmaktır. Karekök içeren ifadelerde kök içi negatif olamayacağı için ilgili ifade $\geq 0$ olmalıdır. Paydada değişken varsa payda $0$ olamaz. Logaritma varsa logaritmanın içi $>0$ olmalıdır. Bu koşulların hepsi aynı anda sağlanmalıdır.

Örneğin $f(x,y)=\sqrt{1-x^2-y^2}$ için koşul $1-x^2-y^2\geq 0$ olur. Eşdeğer biçimde $x^2+y^2\leq 1$ yazılır. Bu, merkezi orijin ve yarıçapı $1$ olan kapalı bir disktir. Sınırdaki noktalar da tanım kümesine dahildir; çünkü kök içi bu noktalarda $0$ olur. Buna karşılık $g(x,y)=1/(x^2-y^2)$ için $x^2-y^2\neq 0$ gerekir. Bu kez tanım kümesinden $x=y$ ve $x=-y$ doğruları çıkarılır.

Tanım kümesinin açık veya kapalı olması, özellikle limit ve süreklilikte önem taşır. Bir fonksiyonun bir noktadaki davranışını incelerken o noktanın tanım kümesine ait olup olmadığı ve noktanın tanım kümesinin iç bölgesinde mi yoksa sınırında mı bulunduğu kontrol edilmelidir. Sınır noktalarında yaklaşım yalnızca tanım kümesi içinde kalan yönlerden gerçekleşebilir; bu durum tek değişkenli sağ-sol limit ayrımının çok değişkenli karşılığıdır.

Çok yönlü limitte yol testinin sınırı

$f:\mathbb{R}^n\to\mathbb{R}$ fonksiyonunun $a$ noktasındaki limiti $L$ ise, $a$ noktasına tanım kümesi içinde kalan her yaklaşımla $f(x)$ değerleri $L$'ye yaklaşmalıdır. Biçimsel tanım şudur: Her $\varepsilon>0$ için bir $\delta>0$ bulunmalı ve $\|x-a\|<\delta$ olduğunda $|f(x)-L|<\varepsilon$ sağlanmalıdır.

İki değişkenli durumda $(x,y)\to(a,b)$, hem $x\to a$ hem de $y\to b$ anlamına gelir; fakat yaklaşımın doğrusal olması gerekmez. $y=mx$, $y=x^2$ veya başka eğriler üzerinden yaklaşılabilir. İki farklı yol farklı sonuç verirse limit yoktur. Ancak birkaç yolun aynı sonucu vermesi limitin varlığını kanıtlamaz; bu yalnızca limitin yokluğunu göstermek için kullanılabilen bir karşı örnek yöntemidir.

Örneğin $f(x,y)=xy/(x^2+y^2)$ fonksiyonunda orijin tanım kümesinde değildir. $y=0$ doğrusu boyunca değer $0$ olur. $y=x$ doğrusu boyunca ise $f(x,x)=x^2/(2x^2)=1/2$ elde edilir. Sonuçlar farklı olduğundan $(x,y)\to(0,0)$ limiti yoktur. Burada tek tek kısmi yaklaşımların hesaplanması yeterli değildir; farklı yolların karşılaştırılması belirleyici olmuştur.

Limitin varlığını kanıtlamak için sık kullanılan yaklaşım, ifadeyi uzaklıkla sınırlamaktır. Örneğin $|x|\leq\sqrt{x^2+y^2}$ ve $|y|\leq\sqrt{x^2+y^2}$ eşitsizlikleri, fonksiyonun orijine olan uzaklıkla kontrol edilmesini sağlar. Böyle bir üst sınır $0$'a gidiyorsa limit de $0$ olur.

Süreklilikte tanım, limit ve değer bağlantısı

Bir fonksiyonun $a$ noktasında sürekli olması için üç koşul birlikte düşünülür: $f(a)$ tanımlı olmalı, $\lim_{x\to a}f(x)$ var olmalı ve bu limit $f(a)$ değerine eşit olmalıdır. Kısa gösterim $\lim_{x\to a}f(x)=f(a)$ şeklindedir; fakat bu eşitlik, ilk iki koşulun da sağlandığı varsayımını içerir.

Polinomlar, tanım kümelerinin her noktasında süreklidir. Rasyonel fonksiyonlar paydanın sıfır olmadığı noktalarda süreklidir. Karekök ve bileşke fonksiyonlarda ise önce iç ifadenin tanım koşulları sağlanmalı, sonra süreklilik bileşenlerden aktarılmalıdır. Bu nedenle $\sqrt{1-x^2-y^2}$, tanım kümesi olan $x^2+y^2\leq1$ içindeki noktalarda süreklidir.

Bir noktada limitin var olması, fonksiyonun o noktada sürekli olduğu anlamına gelmez. Örneğin fonksiyonun noktadaki değeri limitten farklı atanmış olabilir veya fonksiyon o noktada hiç tanımlı olmayabilir. Ayrıca tanım kümesinin dışında kalan bir noktada fonksiyonun sürekliliğinden söz etmek yerine, o noktaya tanım kümesi içinden yaklaşım incelenir.

Kısmi türev, gradyan ve yönlü değişim

$f(x,y)$ fonksiyonunun $x$'e göre kısmi türevi alınırken $y$ sabit kabul edilir: $f_x(x,y)=\lim_{h\to0}[f(x+h,y)-f(x,y)]/h$. Benzer biçimde $f_y$ hesaplanırken $x$ sabit tutulur. Bu türevler, sırasıyla koordinat doğrultularındaki anlık değişim oranlarını verir.

Örneğin $f(x,y)=x^2+3xy+y^2-5$ için $f_x=2x+3y$ ve $f_y=3x+2y$ bulunur. $(1,2)$ noktasında $f_x(1,2)=8$, $f_y(1,2)=7$ olur. Bu sonuç, o noktada yalnızca $x$ artırılırsa yerel değişim oranının, yalnızca $y$ artırılırsa ise başka bir oranın kullanılacağını gösterir; bunlar fonksiyonun bütün yönlerdeki davranışı değildir.

Gradyan $\nabla f=(f_x,f_y)$, kısmi türevleri tek vektörde toplar. Diferensiyellenebilirlik koşulu altında gradyan, fonksiyonun en hızlı arttığı yönü gösterir. Bu yorum, gradyanın sıfır olmayan noktalarında geçerlidir; artışın en hızlı yönü $\nabla f/\|\nabla f\|$ birim vektörü, en hızlı azalış yönü ise bunun tersidir.

$f$, $a$ noktasında diferensiyellenebilirse ve $u$ birim vektörse, yönlü türev $D_uf(a)=\nabla f(a)\cdot u$ ile hesaplanır. Genel durumda yönlü türev ayrıca tanımdan incelenmelidir. $u$ birim değilse aynı formülü doğrudan kullanmak, yönün yanında vektör uzunluğunu da hesaba katacağı için standart yönlü türev yorumunu bozar. Kısmi türevler, birim koordinat vektörleri yönündeki yönlü türevlerin özel durumudur.

Diferensiyellenebilirlik ve ikinci türev testi

Kısmi türevlerin mevcut olması, tek başına diferensiyellenebilirliği garanti etmez. Diferensiyellenebilirlik, fonksiyonun nokta çevresinde tek bir lineer dönüşümle yaklaşık olarak ifade edilebilmesini gerektirir: $f(a+h)=f(a)+\nabla f(a)\cdot h+o(\|h\|)$. Bu koşul sağlandığında küçük bir girdi değişiminin çıktı üzerindeki yaklaşık etkisi gradyanla hesaplanabilir.

İkinci kısmi türevler Hessian matrisi içinde düzenlenir: $H_f=\begin{pmatrix}f_{xx}&f_{xy}\\f_{yx}&f_{yy}\end{pmatrix}$. İki değişkenli bir fonksiyonda kritik nokta için önce $f_x=f_y=0$ denklemleri çözülür. Fonksiyonun kritik noktanın bir komşuluğunda yeterli düzenliliğe, örneğin $C^2$ olma özelliğine sahip olduğu varsayımıyla daha sonra $D=f_{xx}f_{yy}-(f_{xy})^2$ hesaplanır. $D>0$ ve $f_{xx}>0$ ise yerel minimum; $D>0$ ve $f_{xx}<0$ ise yerel maksimum; $D<0$ ise eyer noktası sonucuna ulaşılır. Bu düzenlilik varsayımları sağlanmıyorsa ayrıca analiz gerekir. $D=0$ olduğunda bu test karar vermez ve başka bir inceleme gerekir.

Karışık türevlerin $f_{xy}=f_{yx}$ olması, ilgili ikinci türevlerin bir komşulukta yeterli süreklilik gibi koşulları altında kullanılan bir sonuçtur. Bu nedenle eşitlik, her fonksiyon ve her noktada koşulsuz uygulanacak bir hesap kuralı değildir.

Kısıtlı optimizasyonda Lagrange yaklaşımı

Bir fonksiyonun serbest kritik noktalarını bulmak için $\nabla f=0$ çözülür. Ancak çözüm bir eğri veya yüzey gibi bir kısıt üzerinde aranıyorsa bu yöntem tek başına uygun değildir. $g(x,y)=0$ kısıtı altında $f(x,y)$ incelenirken Lagrange denklemleri $\nabla f=\lambda\nabla g$ ve $g(x,y)=0$ biçimindedir.

Geometrik anlamı, kısıt eğrisi üzerinde aranan ekstremum noktasında $f$'nin seviye eğrisinin kısıta teğet olmasıdır. Yöntem kullanılmadan önce kısıtın düzgünlüğü ve problemin gerçekten kısıtlı olup olmadığı kontrol edilmelidir. Eşitsizlik kısıtları veya kısıt eğrisinin özel, düzgün olmayan noktaları yalnızca bu temel denklemle tamamlanmayabilir; ayrıca sınır ve uç durumlar incelenmelidir.

Bir aday noktanın bulunması, onun maksimum veya minimum olduğunu tek başına göstermez. Kısıt üzerindeki tüm adaylar ve gerekiyorsa sınırdaki özel noktalar karşılaştırılmalıdır. Özellikle kapalı ve sınırlı bölgelerde mutlak ekstremum ararken iç kritik noktalarla birlikte sınırın tamamı değerlendirilir.

Sık yapılan hatalar ve karıştırılan kavramlar

İlk hata, birkaç doğru boyunca aynı değeri bulunca çok değişkenli limitin var olduğuna karar vermektir. Farklı yolların aynı sonucu vermesi yeterli kanıt değildir; fakat iki yolun farklı sonuç vermesi limitin olmadığını kanıtlar.

İkinci hata, kısmi türev ile toplam değişimi özdeşleştirmektir. $f_x$, yalnızca $x$ değişirken ve diğer değişkenler sabitken ölçülen değişimdir. Birden fazla değişken birlikte değişiyorsa diferansiyel yaklaşım veya yönlü türev gerekir.

Üçüncü hata, kısmi türevlerin varlığını diferensiyellenebilirlik sanmaktır. Diferensiyellenebilirlik, tüm yönlerde uyumlu bir lineer yaklaşım ister ve kısmi türevlerden daha güçlüdür.

Dördüncü hata, gradyanın büyüklüğünü tek başına yorumlamaktır. Yön için gradyan vektörüne, en hızlı değişim miktarı için $\|\nabla f\|$ değerine bakılır. Gradyan sıfırsa en hızlı artış yönü bu formülle belirlenmez.

Beşinci hata, Hessian testinde yalnızca determinantın işaretine bakmaktır. $D>0$ durumunda maksimum-minimum ayrımı için ayrıca $f_{xx}$ işareti gerekir; $D=0$ ise test sonuçsuzdur.

Son olarak tanım kümesi gözden kaçırılmamalıdır. Karekök, logaritma ve payda koşulları sağlanmadan türev veya süreklilik hesabına geçmek, matematiksel olarak tanımsız noktalar üretir.