Türev

Matematikte türev, bir fonksiyonun tanımlı olduğu herhangi bir noktada değişim yönünü veya hızını veren temel bir kavramdır. Tek değişkenli bir fonksiyonun tanım kümesinin belli bir noktasında türevi (eğer varsa), fonksiyonun grafiğine bu noktada karşılık gelen değerde çizilen teğet doğrunun eğimidir. Teğet doğru, tanım kümesinin bu noktasında fonksiyonun en iyi doğrusal yaklaşımıdır. Bu nedenle türev genellikle anlık değişim oranı ya da daha açık bir ifadeyle, bağımlı değişkendeki anlık değişimin bağımsız değişkendeki anlık değişime oranı olarak tanımlanır. Bir fonksiyonun türevini teorik olarak bulmaya türev alma denilir. Eğer bir fonksiyonun tanım kümesindeki her değerinde hesaplanan türev değerlerini veren başka bir fonksiyon varsa, bu fonksiyona eldeki fonksiyonun (yani türevi alınan fonksiyonun) türevi denir.

Türev için birden fazla farklı gösterim vardır. En yaygın kullanılan ikisi Lagrange gösterimi olan türev işareti ve Leibniz gösterimidir. Fizikçiler arasında Newton gösterimi de yaygındır. Gottfried Wilhelm Leibniz'in adını taşıyan Leibniz gösterimi, iki diferansiyelin oranı olarak gösterilirken, türev işareti için (′) kullanılır. Daha yüksek mertebeden gösterimler tekrarlanan türeve işaret eder ve bunlar genellikle Leibniz gösteriminde diferansiyellere üst simgeler eklenerek, türev işaretinde ise işaret sayısı artırılarak gösterilir. Daha yüksek mertebeden türevlerin fizikte uygulamaları yaygındır. Örneğin, hareket eden bir cismin zamana göre konumunun birinci türevi cismin hızı iken, konumun zaman ilerledikçe nasıl değiştiğini gösteren ikinci türev cismin ivmesidir. Diğer deyişle, ivme, hızın zaman ilerledikçe nasıl değiştiğini gösteren ikinci türevdir.

Türevler, birden fazla gerçek değişken üzerinden tanımlı fonksiyonlar için de genelleştirilebilir. Bu genellemede, türev, grafiği (uygun bir çevirme veya döndürmeden sonra) orijinal fonksiyonun grafiğine en iyi doğrusal yaklaşım olan doğrusal bir dönüşüm olarak yeniden yorumlanır. Jacobi matrisi, bağımsız ve bağımlı değişkenlerin seçimiyle verilen bir baza göre bu doğrusal dönüşümü temsil eden matristir ve bağımsız değişkenlerin her birine göre kısmi türevler alarak hesaplanabilir. Birden fazla değişkenin gerçel değerli bir fonksiyonu için, Jacobi matrisi gradyan vektörüne indirgenir.

Tanım

Limit üzerinden tanım

Fonksiyonun grafiği siyah, teğet geçen doğrunun grafiği kırmızı renkte gösterilmiştir. Teğet çizginin eğimi, fonksiyonun türevine eşittir.

Türevin geometrik tarifi

Bir gerçel değişkenli $f$ fonksiyonun tanım kümesindeki bir $a$ noktasındaki türevini hesaplamak için tanım kümesinde bu $a$ noktasını içeren bir açık aralık olmalıdır. Bu koşulda, eğer

$\underset{h\to 0}{\lim }\frac{f(a+h)-f(a)}{h}$

varsa; yani, limit bir gerçel sayıya eşitse, o zaman $f$ fonksiyonuna $a$ noktasında türevlenebilir ya da $f$'nin $a$ noktasında türevi vardır denir. O halde,

$f^{\prime }(a)=\underset{h\to 0}{\lim }\frac{f(a+h)-f(a)}{h}\text{ veya }\frac{df}{dx}(a)=\underset{h\to 0}{\lim }\frac{f(a+h)-f(a)}{h}$

yazılır. Eğer limitin değeri $L$ ise, o zaman, $L$'ye $f$'nin $a$ noktasındaki türevi denir ve kısa bir gösterimle

$f^{\prime }(a)=L\text{ veya }\frac{df}{dx}(a)=L$

olarak yazılır.

Limitin sonsuz olması veya var olmaması durumunda, $f$'ye $a$ noktasında türevlenemez, $f$'nin a noktasında türevi yoktur ya da $f$, a noktasında türevli değildir denir.

Yukarıdaki limit $a$ civarında doğrudur. Başka bir deyişle $h$ sayısı $0$ civarında $0$'a yaklaştıkça $a+h$ sayısı $a$ civarında $a$'ya yaklaşır. Bu sebepten dolayı, eğer fonksiyonun tanımlı olduğu uç noktalarda türev alma ihtiyacı varsa, limit $a+h$ değerinin tanlı olduğu taraftan, yani soldan limit ya da sağdan limit olarak alınmalıdır.

ε-δ tanımı

Limit üzerinden verilen türev tanımı ε-δ limit tanımı üzerinden de yazılabilir. Eğer limit varsa ve $L$'ye eşitse, o zaman her $\epsilon >0$ için bir $\delta >0$ vardır öyle ki bütün $|h|<\delta$ koşulunu sağlayan ve sıfıra eşit olmayan her $h$ için $$|L-\frac{f(a+h)-f(a)}{h}|<\epsilon$$ sağlanır. Burada sol taraftaki dik çubuklarla gösterilen mutlak değerdir.

Süreklilik ve türevlenebilme

Bu fonksiyonun işaretlenen noktada fonksiyon aynı noktada sürekli olmadığı için türevi yoktur.

Eğer bir $f$ fonksiyonu $a$ noktasında türevlenebilir ise, o zaman $a$ noktasında noktada sürekli olmak zorundadır. Mesela, bir nokta seçelim ve bu noktada sıçrama gösteren basamak fonksiyonunu ele alalım. Diğer deyişle, fonksiyon a noktasından küçük sayılar için 0 değerini alacaktır, geriye kalan noktalarda ise 1 değerini alacaktır. Limitin tanımına bakıldığı zaman

• Eğer $h$ pozitif bir sayı ise $\frac{f(a+h)-f(a)}{h}$ ifadesi 0'a eşit olacaktır. Yani sağdan limit 0'a eşittir.
• Eğer $h$ negatif bir sayı ise $h$ sayısı (negatif kalarak) $0$'a yaklaştıkça $\frac{f(a+h)-f(a)}{h}$ ifadesi $+\mathrm{\infty }$'a doğru gidecektir. Yani soldan limit yoktur.

Mutlak değer fonksiyonu süreklidir ama Şablon:Math'da türevli değildir. Bu noktadaki teğet doğruların eğimleri sağdan ve soldan yaklaşımda aynı değere yaklaşmazlar.

Ancak bir fonksiyon tanım kümesindeki her noktada sürekli ise, bu özellik, fonksiyonun her yerde türevli olacağı anlamına gelmez. Mesela, mutlak değer fonksiyonu 0 noktasında süreklidir ama türevli değildir. Nedeni, 0'da türevi tanımlayan $\underset{h\to 0}{\lim }\frac{|0+h|-|0|}{h}$ limitinin bulunamamasıdır. Ancak, bu fonksiyon $0$ haricindeki her noktada türevlidir. Bir diğer örnek olarak, $\sqrt[3]{x}$ fonksiyonu verilebilir. Bu fonksiyon 0'da türevli olmayıp da başka her yerde türevli olan bir fonksiyondur. Bu fonksiyonun 0'da türevlenebilir olmayışının nedeni $\underset{h\to 0}{\lim }\frac{\sqrt[3]{0+h}-\sqrt[3]{0}}{h}$ limitinin $\mathrm{\infty }$, yani sonsuz olmasıdır. Dolayısıyla mutlak değer fonksiyonunun grafiği 0 noktasında kırıkken, $\sqrt[3]{x}$ fonksiyonunun grafiği 0'da da kırılmasızdır.

Uygulamada karşılaşılan türevlerin çoğunun her ya da hemen hemen her yerde türevi vardır.

Gösterim

Şablon:Ana Bir fonksiyonun türevini yazmanın yaygın bir yollarından biri, Gottfried Wilhelm Leibniz tarafından 1675 yılında tanımlanan ve türevi iki diferansiyelin (mesela $dy$ ve $dx$) bölümü olarak gösteren Leibniz gösterimidir. Bu kullanım, bir fonksiyonu $y=f(x)$ olarak yazarken, yani, bağımlı ve bağımsız değişkenler arasında fonksiyonel bir ilişki gösterilmek istendiğinde yaygın bir şekilde kullanılmaktadır. Bu gösterimde, birinci türev $\frac{dy}{dx}$ ile gösterilir ve y'nin x'e göre türevi şeklinde okunur. Bu biçimde yazılan türev gösterimi aynı zamanda bir türev operatörünün verilen bir fonksiyona uygulanması olarak da yorumlanabilir. Diğer deyişle, $\frac{dy}{dx}=\frac{d}{dx}f(x)$ yazılırsa, bu, aynı zamanda, $f(x)$ üzerinde x'e göre türev alma operatörü olan $\frac{d}{dx}$'in uygulanması olarak yorumlanabilir. Daha yüksek türevler, mesela $y=f(x)$'in $n$'inci mertebeden türevi, şu gösterim kullanılarak ifade edilir: $\frac{d^{n}y}{d{x}^n}$. Örneğin, $\frac{d^{2}y}{d{x}^2}=\frac{d}{dx}(\frac{d}{dx}f(x))$ yazıldığında, türevin türevinin alındığını gösterir ve bu tür gösterim uygulamada çok kullanışlı hale gelir. Bazı alternatiflerinin aksine, Leibniz gösterimi, paydada türevlendirme için değişkenin açıkça belirtilmesini içerir ve bu da birden fazla birbiriyle ilişkili nicelikle çalışırken belirsizliği ortadan kaldırır. Bir bileşke fonksiyonun türevi zincir kuralı ile ifade edilir. Eğer, $u=g(x)$ ve $y=f(g(x))$ ise, o zaman $\frac{dy}{dx}=\frac{dy}{du}\cdot \frac{du}{dx}$ olur.

Türev için bir diğer yaygın gösterim, bir fonksiyonun hemen yanında kesme işaretine benzeyen türev işaretinin kullanılmasıdır; bu gösterim, aynı zamanda Joseph-Louis Lagrange'a atfen Lagrange gösterimi olaraka da bilinir. Birinci türev bu gösterimde $f^{\prime }(x)$ halinde yazılır ve f'nin türevi olarak okunur. Benzer şekilde, ikinci ve üçüncü türevler şu şekilde yazılabilir: $f^{″}(x)$ ve $f^{‴}(x)$. Bu noktadan sonraki daha yüksek mertebeden türevlerin sayısını belirtmek için bazı yazarlar üst simge olarak Roma rakamlarını kullanırken, diğerleri sayıyı parantez içine koyar: $f^{\mathrm{i}\mathrm{v}}$ veya $f^{(4)}$ gibi. Genel durumda ise, $f^{(n)}$ kullanılır.

Newton gösteriminde veya nokta gösteriminde, zamana göre türevi temsil etmek için bir fonksiyon sembolünün üzerine bir nokta yerleştirilir. Eğer $y$ zamana bağlı bir fonksiyonsa, o zaman birinci ve ikinci mertebeden türevler sırasıyla $\dot{y}$ ve $\ddot{y}$ biçiminde gösterilirler. Bu gösterim yalnızca zaman veya yay uzunluğuna göre türevler için kullanılır. Kullanımı, fizik ve diferansiyel geometrideki diferansiyel denklemlerde de mevcuttur. Ancak, nokta gösterimi yüksek mertebeden türevler (4 veya daha fazla mertebeden) için yönetilemez hale gelir ve birden fazla bağımsız değişkenle baş edemez.

Başka bir gösterim ise diferansiyel operatörü sembolüyle gösteren D-gösterimidir. Bu gösterimde türevi gösterirken $D$ operatörü kullanılır. Mesela, $f(x)$'in birinci türevi gösterilirken $Df(x)$ yazılır. Daha yüksek mertebeden türevler için üst simge kullanılır: $D^{n}f(x)$. Bu notasyona bazen Euler gösterimi denir; ancak, bu gösterim Euler tarafından değil Louis François Antoine Arbogast ilk defa kullanılmıştır. Bu notasyonun kısmi türeve yönelik kullanımı da çok elverişlidir. Kısmi türevi belirtmek için, türevlenen değişken bir alt simge ile gösterilir, örneğin $u=f(x,y)$ fonksiyonu için ⁠$x$'e göre kısmi türev $D_{x}u$ veya $D_{x}f(x,y)$ olarak yazılabilir. Daha yüksek kısmi türevler ise üst simgeler veya çoklu alt simgelerle gösterilebilir. Örneğin, yine $u=f(x,y)$ fonksiyonu için $D_{xy}f(x,y)=\frac{\partial }{\partial y}(\frac{\partial }{\partial x}f(x,y))$ ve Şablon:Tmath yazılabilir.

Türev alma kuralları

Temel fonksiyonlar için kurallar

Aşağıda en yaygın temel fonksiyonların türevleri için kurallar verilmiştir. Burada, $a$ gerçek bir sayıdır ve $e$ doğal logaritmanın tabanı ve yaklaşık olarak 2.71828'dir.

Birleşik fonksiyonlar için kurallar

• Kuvvet fonksiyonlarının türevi (kuvvet kanunu):

  $\frac{d}{dx}{x}^a=a{x}^{a-1}$

• Üstel fonksiyon, doğal logaritma ve genel tabanlı logaritmanın türevi

  $\frac{d}{dx}{e}^x=e^x$

  $\frac{d}{dx}{a}^x=a^x\ln (a)$, $(a>0)$

  $\frac{d}{dx}\ln (x)=\frac{1}{x}$, $(x>0)$

  $\frac{d}{dx}{\log }_a(x)=\frac{1}{x\ln (a)}$, $(x,a>0)$

• Trigonometrik fonksiyonların türevi

  $\frac{d}{dx}\sin (x)=\cos (x)$

  $\frac{d}{dx}\cos (x)=-\sin (x)$

  $\frac{d}{dx}\tan (x)={\sec }^2(x)=\frac{1}{{\cos }^2(x)}=1+{\tan }^2(x)$

• Ters trigonometrik fonksiyonların türevi

  $\frac{d}{dx}\arcsin (x)=\frac{1}{\sqrt{1-x^2}},$ $-1<x<1$ için

  $\frac{d}{dx}\arccos (x)=-\frac{1}{\sqrt{1-x^2}},$ $-1<x<1$ için

  $\frac{d}{dx}\arctan (x)=\frac{1}{1+x^2}$

Basit işlemlerle elde edilmiş fonksiyonlar için türevler

Aşağıda, temel fonksiyonlardan basit aritmetik işlemler veya bileşke yoluyla elde edilmiş fonksiyonların türevini hesaplamak için bilinen en temel kurallardan bazıları verilmiştir. Bu amaçla $f$ ve $g$ fonksiyon olsun.

• Sabit fonksiyon: eğer $f$ sabitse, o zaman her $x$ için

  $f^{\prime }(x)=0.$

• Toplama kuralı:

  $(\alpha f+\beta g{)}^{\prime }=\alpha f^{\prime }+\beta g^{\prime }$ (her $f$ ve $g$ fonksiyonu ve bütün $\alpha$ ve $\beta$ gerçel sayıları için).

• Çarpma kuralı:

  $(fg{)}^{\prime }=f^{\prime }g+f{g}^{\prime }$ (her $f$ ve $g$ fonksiyonu için)

Özel bir durum olarak, her $\alpha$ sayısı için $(\alpha f{)}^{\prime }=\alpha f^{\prime }$ olur çünkü is $\alpha$ sayısı sabittir ve ${\alpha }^{\prime }f=0\cdot f=0$ olur.

• Bölme kuralı:

  $\left(\frac{f}{g}\right)=\frac{f^{\prime }g-f{g}^{\prime }}{g^2}$ (her $f$ ve $g\ne 0$ olan her $g$ fonksiyonu için)

• Bileşke fonksiyonlar için Zincir kuralı : Eğer Şablon:Tmathise, o zaman

  $f^{\prime }(x)=h^{\prime }(g(x))\cdot g^{\prime }(x).$

Örnek

$f(x)=x^4+\sin \left(x^2\right)-\ln (x)e^x+7$ olsun. O zaman, $$\begin{array}{cc}{f}^{\prime }(x)& =4x^{(4-1)}+\frac{d\left(x^2\right)}{dx}\cos \left(x^2\right)-\frac{d(\ln x)}{dx}{e}^x-\ln (x)\frac{d\left(e^x\right)}{dx}+0\\ & =4x^3+2x\cos \left(x^2\right)-\frac{1}{x}{e}^x-\ln (x)e^x.\end{array}$$ Burada ikinci terim zincir kuralı kullanılarak ve üçüncü terim çarpım kuralı kullanılarak hesaplanmıştır. Ayrıca, $x^2$, $x^4$, $\sin (x)$, $\ln (x)$, $e^x$ ve sabit $7$ gibi temel fonksiyonların türevleri de kullanıldı.

Yüksek mertebeden türevler

Daha yüksek mertebeden türevler, bir fonksiyonun tekrar tekrar türevlenmesinin sonucudur. $f$ türevlenebilir bir fonksiyon ise

• $f$nin birinci türevi fonksiyonun türevidir ve $f^{\prime }$ ile gösterilir.
• $f^{\prime }$nin türevi ise $f$nin ikinci türevidir ve $f^{″}$ ile gösterilir.
• $f^{″}$nin türevi ise $f$nin üçüncü türevidir ve $f^{‴}$ ile gösterilir.

Bu süreç tekrarlanarak, eğer türev varsa, fonksiyonun (n-1)inci türevi başlangıçta alınan fonksiyonun n'inci türevidir. Gösterim kısmında verilen bilgiye de dayanarak,

• $f^{(n-1)}$in türevi $f$nin n'inci türevidir ve $f^{(n)}$ olarak gösterilir.

C^k fonksiyon

Arka arkaya $k$ tane türevi hesaplanabilen fonksiyonlara $k$ kere türevli ya da k kere türevlenebilir fonksiyonlar denilir. Eğer, $k$inci türev aynı zamanda sürekli ise o zaman bu fonksiyon $C^k$ sınıfına aittir. Daha matematiksel bir ifadeyle, bir $\mathrm{\Omega }$ kümesi üzerinde tanımlı bir $f$ fonksiyonu verilsin. Eğer bu fonksiyon $k$ kere türevlenebilen ve $k$'inci türevi sürekli olan bir fonksiyon ise, o zaman $f\in C^k(\mathrm{\Omega })$ yazılır ve fonksiyona $k$ kere sürekli türevlenebilir fonksiyon denir.

C^∞ fonksiyon

Şablon:Ana Tanım kümesindeki bütün noktalarda sonsuz kere türevli olan, yani, keyfi bir $k$ pozitif bir tam sayısı için $k$'inci türevi var olan bir fonksiyona düzgün fonksiyon ya da sonsuz türevli fonksiyon denir. Diğer deyişle, $k$ kere türevlenme sayısında herhangi bir sınır yoksa, yani fonksiyon için hesaplanabilen yüksek mertebeden herhangi bir türevinin türevi yine hesaplanabiliyorsa, bu fonksiyona sonsuz kere türevli ya da düzgün fonksiyon denir. Düzgün bir fonksiyonun türevlenebilirlik sınıfını göstermek için $C^{\mathrm{\infty }}$ gösterimi kullanılır. Daha matematiksel bir ifadeyle, bir $\mathrm{\Omega }$ kümesi üzerinde tanımlı bir $f$ fonksiyonu verilsin. Eğer bu fonksiyon sonsuz türevlenebilir bir fonksiyon ise, o zaman $f\in C^{\mathrm{\infty }}(\mathrm{\Omega })$ yazılır.

Diğer boyutlarda türev

Vektör değerli fonksiyonlar

Vektör değerli bir fonksiyon $𝐲$ gerçel sayılar üzerindeki gerçel bir değişkeni bir ${ℝ}^n$ vektör uzayındaki vektörlere gönderir. Bir vektör değerli fonksiyon, koordinat fonksiyonlarına ayrılabilir yani $𝐲=(y_1(t),y_2(t),\dots ,y_n(t))$ yazılabilir. ${ℝ}^2$ ve ${ℝ}^3$'deki parametrik eğriler bu fonksiyonların güzel bir örneğidir. Bu fonksiyonların koordinat fonksiyonlarının here biri gerçel değerli olduğu için yukarıda verilen türev tanımları her biri için geçerlidir. O zaman, $𝐲(t)$'nin türevi $𝐲(t)$inin koordinate fonksiyonlarının türevlerinden oluşan bir vektör olur ki buna da tanjant ya da teğet vektör denilir.

Kısmî türev

Kısmî türev, çok değişkenli bir fonksiyonun sadece ilgili değişkeni sabit değilken alınan türevdir. Bu tarz türevleri içeren denklemlere kısmî diferansiyel denklem denir.

Kısmî türevin tanımı

$z:{ℝ}^n\times {ℝ}^n\to ℝ$

$z=f(x_1,x_2,...,x_m,...,x_n)$

şeklinde tanımlanan n tane bağımsız değişkene bağlı z fonksiyonunun diğer değişkenler sabit tutularak herhangi bir değişkendeki $\mathrm{\Delta }{x}_m$ değişimine karşılık fonksiyonun değişim hızı

$\frac{\mathrm{\Delta }z}{\mathrm{\Delta }{x}_m}=\frac{f(x_1,x_2,...,x_m+\mathrm{\Delta }{x}_m,...,x_n)-f(x_1,x_2,...,x_m,...,x_n)}{\mathrm{\Delta }{x}_m}$

$\mathrm{\Delta }{x}_m=h$

$\frac{\partial z}{\partial x_m}=\underset{h\to 0}{\lim }\frac{f(x_1,x_2,...,x_m+h,...,x_n)-f(x_1,x_2,...,x_m,...,x_n)}{h}$

ifadesine $z$ fonksiyonunun $x_m$ değişkenine göre kısmî türevi denir.

$\frac{\partial f}{\partial x_m}=f_{x_m}=D_{x_m}f=\frac{\partial z}{\partial x_m}=z_{x_m}$

şeklinde gösterilir.

$z=f(x,y)$ ise;

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

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

Örnek:

$\begin{array}{cc}& f(x,y)=x^3+x^{2}y-y^3\\ & f_x={\left(x^3\right)}_x+{\left(x^{2}y\right)}_x-{\left(y^3\right)}_x\\ & f_x=3x^2+2xy-0\\ & f_x=3x^2+2xy\\ \end{array}$

Yönlü türev

Eğer f bir Rⁿ üzerinde gerçek değerli fonksiyon ise koordinat eksenlerinin yönü içinde f in kısmî türevi içinde çeşitli ölçmeler ise (mesela f bir x ve y fonksiyonunun x yönü ve y yönü içinde f 'nin kısmî türevinde çeşitli ölçmeler ise) buna yönlü türev denir.

Bununla birlikte köşegen çizgi Şablon:Kayma boyunca gibi herhangi diğer yön içinde f in yönlü ölçü çeşitleri yoktur.

Burada yönlü türev ölçüsü kullanılıyor.

$𝐯=(v_1,\dots ,v_n).$

bir vektörse vnin yönü içinde fin yönlü türevinin x noktasında sınırıdır.

${\mathrm{D}}_{𝐯}f(𝐱)=\underset{h\to 0}{\lim }\frac{f(𝐱+h𝐯)-f(𝐱)}{h}.$

Bâzı durumlarda bu vektörün uzunluğunu değiştirme sonrası yön türevi hesaplamak veya tahmin etmek daha kolay olabilir. Genellikle bu bir birim vektör yönünde bir yönde türevinin hesaplanması içinde sorunu açmak için yapılır. Bunun nasıl çalıştığını görmek için bunu Şablon:Kayma varsayalım.Şablon:Kayma fark katsayısı içinde yerine konur.Aradaki fark katsayısı:

$\frac{f(𝐱+(k/\lambda )(\lambda 𝐮))-f(𝐱)}{k/\lambda }=\lambda \cdot \frac{f(𝐱+k𝐮)-f(𝐱)}{k}.$

Bu u sırasıyla fin yönlü türevi için λ zaman içinde farklı katsayısıdır. Dahası sıfıra yönelen k olarak alınan limit olarak aynı h ve k için herhangi diğerinin çarpımıdır. Bunun için Şablon:Kayma. Bu nedenle yeniden ölçeklendirme özelliği, yönlü türevler sık sık sadece birim vektörler için kabul edilir.

Eğer f'in tüm kısmî türevleri var ve x'de sürekli ve formülü ile v yönünde f içinde belirlenen yönlü türev ise

${\mathrm{D}}_{𝐯}f(𝒙)=\sum _{j=1}^n{v}_j\frac{\partial f}{\partial x_j}.$

Bu toplam türevin tanımının bir sonucudur. Bu yönlü türev, aşağıda v içinde doğrusaldır. Bu da

Şablon:Kayma.

demektir. Aynı tanım, ayrıca f olduğunda R^m içindeki değerleri ile bir fonksiyondur. Yukardaki tanım, vektörlerin her bir bileşeni için uygulanır. Bu durum içinde yönlü türev R^m içinde bir vektördür.

Toplam türev

Şablon:Ana Bir $f$ fonksiyonu ${ℝ}^n$deki açık bir kümeden Şablon:Tmath'e tanımlanmış bir fonksiyonsa, $f$'nin seçilen bir noktadaki ve yöndeki yönlü türevi $f$'nin yine aynı noktada ve aynı yönde en iyi doğrusal yaklaşımıdır. Ancak, $n>1$ ise yönlü türev $f$'nin davranışı hakkında tam bir açıklama veremez. Toplam türevi bu bağlamda tam bir açıklama sağlamaktadır. Yani, bir Şablon:Tmath vektöründen başlayan herhangi bir $𝐯$ vektörü için aşağıdaki doğrusal yaklaşım sağlanır: $$f(𝐚+𝐯)\approx f(𝐚)+f^{\prime }(𝐚)𝐯.$$

Benzer bir şekilde, tek değişkenli fonksiyonlar için tanımlana türevde de $f^{\prime }(𝐚)$ buradaki yaklaşım hatasını olabildiğince küçük yapacak şekilde seçilir. $f$'nin bir $𝐚$ noktasındaki toplam türevi $f^{\prime }(𝐚):{ℝ}^n\to {ℝ}^m$, $$\underset{𝐡\to 0}{\lim }\frac{\Vert f(𝐚+𝐡)-(f(𝐚)+f^{\prime }(𝐚)𝐡)\Vert }{\Vert 𝐡\Vert }=0$$ olacak şekilde biricik olarak tanımlanan doğrusal bir dönüşümdür. Burada, $𝐡$, Şablon:Tmath içinde bir vektördür; ancak, $f^{\prime }(𝐚)𝐡,$ Şablon:Tmath içinde bir vektördür.

Toplam türev, eğer bir noktada varsa, o zaman yine aynı noktada bütün kısmi türevler ve yönlü türevler de vardır. Bu halde, bütün Şablon:Tmath vektörü için, $f$'nin Şablon:Tmath yönündeki yönlü türevi $f^{\prime }(𝐚)𝐯$ olur. Eğer $f$, koordinat fonksiyonları cinsinden; yani, Şablon:Tmath olacak şekilde yazılırsa, o zaman toplam türev kısmi türevlerin matrisi olarak ifade edilebilir: $$f^{\prime }(𝐚)={\mathrm{Jac}}_{𝐚}={\left(\frac{\partial f_i}{\partial x_j}\right)}_{ij}.$$ Bu matrise $f$'nin $a$ noktasındaki Jacobi matrisi denir.

Ayrıca bakınız

• İntegral