Bir fonksiyon için belirli bir noktada yukarıdaki limit bir reel sayı olarak tanımlı ise fonksiyon bu noktada türevlenebilirdir, aksi takdirde türevlenebilir değildir.
Bir noktada limitin tanımlı olması o noktada soldan ve sağdan limitlerin tanımlı ve birbirine eşit olmasını gerektirdiği için, bir noktada türevin tanımlı olabilmesi için de o noktada soldan ve sağdan türevler tanımlı ve birbirine eşit olmalıdır.
\( L \in \mathbb{R} \) olmak üzere,
\( f'(a^-) \) ve \( f'(a^+) \) tanımlı ve \( f'(a^-) = f'(a^+) = L \) ise,
\( f \) fonksiyonu \( x = a \) noktasında türevlenebilirdir ve türev değeri soldan/sağdan türev değerine eşittir.
\( f'(a) = L \)
Buna göre bir noktada türevin tanımlı olması, bu noktanın soldan ve sağdan türevlerindeki limit ifadelerinin aynı reel sayı eğim değerine yaklaşması anlamına gelir.
Bir fonksiyonun bir noktadaki soldan ve sağdan türevlerinden en az biri reel sayı olarak tanımlı değilse ya da bu iki türev değeri birbirine eşit değilse fonksiyon bu noktada türevlenebilir değildir.
Bir fonksiyonun bir noktada türevlenebilir olması aynı zamanda fonksiyona bu noktada tek bir teğet çizilebilmesi anlamına gelir.
ÖRNEK 5:
\( f(x) = \begin{cases}
x^2 & x \le 3 \\
4x - 3 & x \gt 3
\end{cases} \)
fonksiyonunun \( x = 3 \) noktasında soldan ve sağdan türevlenebilirliğini inceleyelim.
Burada dikkat etmemiz gereken nokta, sağdan yaklaşırken \( f(3) \) değeri için kullanmamız gereken fonksiyon tanımı \( 4x - 3 \) değil, bu noktada geçerli olan \( x^2 \) tanımıdır.
Buna göre bu noktada soldan ve sağdan türevler birer reel sayı olarak tanımlıdır, ancak türev değerleri birbirine eşit değildir.
\( f'(3^-) \ne f'(3^+) \)
Dolayısıyla fonksiyonun bu noktada türevi tanımlı değildir, bir diğer ifadeyle fonksiyon bu noktada türevlenebilir değildir.
Soldan ve sağdan türevlerin eşit olmadığı, fonksiyon grafiğinde \( x = 3 \) noktasının solunda ve sağında eğimlerin birbirine eşit olmamasından da görülebilir.
ÖRNEK 6:
\( f(x) = \begin{cases}
x & x \le 0 \\
x + 2 & x \gt 0
\end{cases} \)
fonksiyonunun \( x = 0 \) noktasında soldan ve sağdan türevlenebilirliğini inceleyelim.
Burada dikkat etmemiz gereken nokta, sağdan yaklaşırken \( f(0) \) değeri için kullanmamız gereken fonksiyon tanımı \( x + 2 \) değil, bu noktada geçerli olan \( x \) tanımıdır.
\( f \) fonksiyonunun \( x = a \) noktasında sürekli olma koşulu ise bu noktadaki limit değerinin tanımlı ve bu noktadaki fonksiyon değerine eşit olmasıdır.
\( \lim\limits_{x \to a} f(x) = f(a) \)
\( f \) fonksiyonunun \( x = a \) noktasında türevlenebilir olduğunu varsayalım.
Aşağıdaki limit ifadesinin pay ve paydasını \( x - a \) ile çarpalım.
Limit çarpma kuralına göre iki fonksiyonun çarpımının limiti fonksiyonların limitlerinin çarpımına eşittir. Bu kuralı kullanabilmemiz için gerekli olan iki fonksiyonun limitinin ayrı ayrı tanımlı olması koşulunu aşağıda göstereceğiz.
İkinci çarpan fonksiyonun \( a \) noktasındaki türevinin tanımıdır. Fonksiyonun \( a \) noktasında türevlenebilir olduğunu varsaydığımız için bu limit tanımlıdır ve bu noktadaki türev değerine eşittir.
\( = \lim\limits_{x \to a} (x - a) \cdot f'(a) \)
Birinci çarpan doğrusal bir fonksiyondur ve limit değerini doğrudan yerine koyma yöntemi ile sıfır olarak buluruz.
\( \lim\limits_{x \to a} (x - a) = a - a = 0 \)
Buna göre yukarıdaki ifade aşağıdaki şekilde sadeleşir.
Eşitliğin solundaki limit ifadesinin ikinci terimi sabit bir değer olduğu için limit dışına çıkarabiliriz.
\( \lim\limits_{x \to a} f(x) - f(a) = 0 \)
Sabit değeri eşitliğin sağ tarafına alalım.
\( \lim\limits_{x \to a} f(x) = f(a) \)
Elde ettiğimiz eşitlik \( x = a \) noktasındaki sürekliliğin tanımıdır. Dolayısıyla bir fonksiyon bir noktada türevlenebilir ise o noktada sürekli olduğunu göstermiş olduk.
Bir fonksiyonun bir noktadaki tek taraflı türevlenebilirliği ve sürekliliği arasındaki ilişki aşağıdaki gibidir.
Bir fonksiyon bir noktada soldan türevlenebilir ise o noktada soldan süreklidir. Karşıt ters ifadeyle, fonksiyon bir noktada soldan sürekli değilse o noktada soldan türevlenebilir değildir.
Bir fonksiyon bir noktada sağdan türevlenebilir ise o noktada sağdan süreklidir. Karşıt ters ifadeyle, fonksiyon bir noktada sağdan sürekli değilse o noktada sağdan türevlenebilir değildir.
Buna göre aşağıdaki şekildeki üç fonksiyonun \( x = a \) noktasındaki türevlilik ve süreklilik durumları ile ilgili olarak; \( f \) hem soldan hem sağdan türevli ve sürekli, \( g \) sadece soldan türevli ve sürekli, \( h \) ise ne soldan ne de sağdan türevli ve süreklidir.
Uç Noktalarda Türevlenebilirlik
\( [a, b] \) kapalı aralığında tanımlı bir fonksiyonun uç noktalarındaki türevlenebilirlik için fonksiyonun sadece tanımlı olduğu yönlerdeki türevlenebilirliğe, yani \( x = a \) noktasında sağdan, \( x = b \) noktasında ise soldan türevlenebilirliğe bakmamız yeterlidir.
\( f: [a, b] \to \mathbb{R} \) olmak üzere, \( f \) fonksiyonu:
\( x = a \) noktasında sağdan türevlenebilir ise bu noktada türevlidir.
\( f'(a) = f'(a^+) \)
\( x = b \) noktasında soldan türevlenebilir ise bu noktada türevlidir.
\( f'(b) = f'(b^-) \)
Buna göre \( [a, b] \) aralığında tanımlı aşağıdaki \( f \) fonksiyonu \( x = a \) noktasında türevlenebilir iken \( x = b \) noktasında türevlenebilir değildir. Dikkat edilirse, uç noktalardaki türevlilik tek yönlü türevliliğe bağlı olduğu için \( x = a \) noktası için "sağdan türevli" ifadesine ek olarak, bir yön belirtmeden "türevli" ifadesi de kullanılabilir.
Bir Aralıkta Türevlenebilirlik
Yukarıda bahsettiğimiz iç ve uç noktalardaki türevlenebilirlik tanımları bir aralıktaki türevlenebilirliğe aşağıdaki şekilde uyarlanabilir.
Buna göre \( f \) fonksiyonu:
\( (a, b) \) aralığındaki tüm noktalarda türevlenebilir ise \( (a, b) \) açık aralığında türevlenebilirdir.
\( (a, b) \) aralığına ek olarak \( a \) noktasında sağdan türevlenebilir ise \( [a, b) \) yarı açık aralığında türevlenebilirdir.
\( (a, b) \) aralığına ek olarak \( b \) noktasında soldan türevlenebilir ise \( (a, b] \) yarı açık aralığında türevlenebilirdir.
\( (a, b) \) aralığına ek olarak \( a \) noktasında sağdan, \( b \) noktasında soldan türevlenebilir ise \( [a, b] \) kapalı aralığında türevlenebilirdir.
Bir fonksiyonun soldan ve sağdan türevlerine iki sebeple ihtiyaç duyulabilir.
Parçalı ve mutlak değer fonksiyonlarının kritik noktalardaki türevlenebilirliğini bulmak için soldan ve sağdan türev değerleri ayrı ayrı bulunmalı ve eşitliği gösterilmelidir.
Bir aralığın uç noktalarında sadece tek taraflı türev hesaplanabilir. Örneğin bir \( [a, b] \) kapalı aralığının \( a \) noktasında sadece sağdan, \( b \) noktasında sadece soldan türeve bakılır.
Temel Fonksiyonların Türevlenebilirliği
Fonksiyonlar konusunda incelediğimiz aşağıdaki fonksiyonlar en geniş tanım kümelerinde sürekli ve türevlenebilirdir.
Sürekli olup türevlenebilir olmayan temel fonksiyonlara örnek olarak \( f(x) = \abs{x} \) mutlak değer fonksiyonu verilebilir.
Fonksiyon
Denklem
En Geniş Tanım Kümesi
Sabit fonksiyon
\( f(x) = c \)
Tüm reel sayılar
Doğrusal fonksiyon
\( f(x) = mx + c \)
Tüm reel sayılar
Kuvvet fonksiyonu
\( f(x) = x^n \)
Tüm reel sayılar
Köklü fonksiyon (çift dereceli)
\( f(x) = \sqrt[2n]{x} \)
\( [0, +\infty) \)
Köklü fonksiyon (tek dereceli)
\( f(x) = \sqrt[2n + 1]{x} \)
Tüm reel sayılar
Polinom fonksiyonu
\( f(x) = a_nx^n + \ldots + a_0 \)
Tüm reel sayılar
Rasyonel fonksiyon
\( f(x) = \dfrac{g(x)}{h(x)} \)
Paydayı sıfır yapan reel kökler dışında tüm reel sayılar
Sinüs fonksiyonu
\( f(x) = \sin{x} \)
Tüm reel sayılar
Kosinüs fonksiyonu
\( f(x) = \cos{x} \)
Tüm reel sayılar
Tanjant fonksiyonu
\( f(x) = \tan{x} \)
\( \{ \ldots, \frac{\pi}{2}, \frac{3\pi}{2}, \ldots \} \) dışında tüm reel sayılar
Kotanjant fonksiyonu
\( f(x) = \cot{x} \)
\( \{ \ldots, 0, \pi, \ldots \} \) dışında tüm reel sayılar
Sekant fonksiyonu
\( f(x) = \sec{x} \)
\( \{ \ldots, \frac{\pi}{2}, \frac{3\pi}{2}, \ldots \} \) dışında tüm reel sayılar
Kosekant fonksiyonu
\( f(x) = \csc{x} \)
\( \{ \ldots, 0, \pi, \ldots \} \) dışında tüm reel sayılar
Verilen parçalı fonksiyonun iki aralıktaki tanımı da birer polinom fonksiyonudur. Polinom fonksiyonları tüm reel sayılarda sürekli ve türevlenebilirdir.
Parçalı fonksiyonun her noktada türevlenebilir olması için, kritik nokta olan \( x = -1 \) noktasında da sürekli olmalıdır.
Fonksiyonun \( x = -1 \) noktasındaki soldan limiti:
\( 4x \) ifadesi \( x \lt 0 \) aralığında negatif olduğu için mutlak değerden negatif işaretli, \( x \ge 0 \) aralığında sıfır ya da pozitif olduğu için olduğu gibi çıkar.
\( f(x) = \begin{cases}
\cos(-4x) = \cos(4x) & x \lt 0 \\
\cos(4x) & x \ge 0
\end{cases} \)
\( = \cos(4x) \)
Kosinüs fonksiyonu tüm reel sayılarda sürekli ve türevlenebilirdir.
(b) seçeneği:
Fonksiyonu parçalı fonksiyon şeklinde yazalım.
\( -x^3 \) ifadesi \( x \lt 0 \) aralığında pozitif olduğu için mutlak değerden olduğu gibi, \( x \ge 0 \) aralığında sıfır ya da negatif olduğu için negatif işaretli çıkar.
\( x(x - 2) \) ifadesi \( 0 \lt x \lt 2 \) aralığında negatif olduğu için mutlak değerden negatif işaretli, diğer aralıklarda sıfır ya da pozitif olduğu için olduğu gibi çıkar.
Mutlak değerli bir ifade negatif olamaz, dolayısıyla parçalı fonksiyonun birinci aralığını tanımdan çıkarabiliriz. \( x = 0 \) değerinde birinci ve ikinci aralık aynı sıfır değerini verdiği için bu değeri ikinci aralığa dahil edebiliriz.