Türev

bilgipedi.com.tr sitesinden
Bir fonksiyonun siyahla çizilmiş grafiği ve bu grafiğe kırmızı ile çizilmiş bir teğet doğrusu. Teğet doğrusunun eğimi, işaretli noktada fonksiyonun türevine eşittir.

Matematikte, gerçek değişkenli bir fonksiyonun türevi, fonksiyon değerinin (çıktı değeri) argümanında (girdi değeri) meydana gelen bir değişikliğe göre değişim hassasiyetini ölçer. Türevler kalkülüsün temel bir aracıdır. Örneğin, hareket eden bir nesnenin konumunun zamana göre türevi nesnenin hızıdır: bu, zaman ilerlediğinde nesnenin konumunun ne kadar hızlı değiştiğini ölçer.

Tek değişkenli bir fonksiyonun seçilen bir giriş değerindeki türevi, eğer varsa, fonksiyonun o noktadaki grafiğine teğet doğrunun eğimidir. Teğet doğrusu, fonksiyonun o giriş değeri yakınındaki en iyi doğrusal yaklaşımıdır. Bu nedenle türev genellikle bağımlı değişkendeki anlık değişimin bağımsız değişkendeki anlık değişime oranı olan "anlık değişim oranı" olarak tanımlanır.

Türevler, birden fazla gerçek değişkenli fonksiyonlar için genelleştirilebilir. Bu genellemede türev, grafiği (uygun bir ötelemeden sonra) orijinal fonksiyonun grafiğine en iyi doğrusal yaklaşım olan doğrusal bir dönüşüm olarak yeniden yorumlanır. Jacobian matrisi, bağımsız ve bağımlı değişkenlerin seçimi ile verilen temele göre bu doğrusal dönüşümü temsil eden matristir. Bağımsız değişkenlere göre kısmi türevler cinsinden hesaplanabilir. Birkaç değişkenli gerçek değerli bir fonksiyon için Jacobian matrisi gradyan vektörüne indirgenir.

Bir türev bulma işlemine türev alma denir. Tersi işlem ise anti-diferansiyasyon olarak adlandırılır. Kalkülüsün temel teoremi, türev alma işlemini integral alma ile ilişkilendirir. Türev ve integral, tek değişkenli kalkülüsün iki temel işlemini oluşturur.

Türev, diğer sayı kümeleri üzerindeki fonksiyonlar için de genellenmiş olmasına rağmen öncelikle reel değerli, yani reel sayılardan reel sayılara giden tek değişkenli fonksiyonlar için tanımlanmış, herhangi bir teğetin herhangi bir eğriye x ekseniyle yaptığı pozitif yönlü açının tanjant değeridir.

Tanım

Reel değişkenli bir f(x) fonksiyonu, eğer tanım kümesi a'yı içeren bir I açık aralığını içeriyorsa ve limiti

vardır. Bu, her pozitif reel sayı için (çok küçük bile olsa), pozitif bir reel sayı vardır öyle ki, her h için ve sonra tanımlanır ve

Burada dikey çubuklar mutlak değeri gösterir (bkz. (ε, δ)-limit tanımı).

Eğer f fonksiyonu a'da türevlenebilirse, yani L limiti varsa, bu limite f'nin a'daki türevi denir ve şöyle gösterilir ("a'nın f asalı" olarak okunur) veya ("f'nin a'da x'e göre türevi", "dy by dx at a" veya "dy over dx at a" olarak okunur); bkz. aşağıdaki § Notasyon (ayrıntılar).

Süreklilik ve türevlenebilirlik

Bu fonksiyonun işaretli noktada bir türevi yoktur, çünkü fonksiyon orada sürekli değildir (özellikle, bir sıçrama süreksizliği vardır).

Örnek olarak, bir a noktası seçin ve f, a'dan küçük tüm x'ler için 1 değerini döndüren ve a'dan büyük veya a'ya eşit tüm x'ler için farklı bir 10 değeri döndüren basamak fonksiyonu olsun. f'nin a'da bir türevi olamaz. h negatifse, a + h basamağın alçak kısmındadır, bu nedenle a'dan a + h'ye sekant doğrusu çok diktir ve h sıfıra yaklaştıkça eğim sonsuza yaklaşır. Eğer h pozitif ise, a + h basamağın yüksek kısmındadır, dolayısıyla a'dan a + h'ye giden sekant doğrusunun eğimi sıfırdır. Sonuç olarak, sekant çizgileri herhangi bir tek eğime yaklaşmaz, bu nedenle fark bölümünün limiti mevcut değildir.

Mutlak değer fonksiyonu süreklidir, ancak x = 0'da türevlenebilir değildir, çünkü teğet eğimleri soldan sağa doğru aynı değere yaklaşmaz.

Ancak, bir fonksiyon bir noktada sürekli olsa bile, orada türevlenebilir olmayabilir. Örneğin, f(x) = |x| ile verilen mutlak değer fonksiyonu x = 0'da süreklidir, ancak orada türevlenebilir değildir. Eğer h pozitif ise, sekant doğrusunun 0'dan h'ye kadar olan eğimi bir iken, h negatif ise, sekant doğrusunun 0'dan h'ye kadar olan eğimi negatif birdir. Bu durum grafiksel olarak x = 0'daki grafikte bir "kıvrım" ya da "tepe noktası" olarak görülebilir. Düzgün bir grafiğe sahip bir fonksiyon bile teğetinin dikey olduğu bir noktada türevlenebilir değildir: Örneğin, f(x) = x1/3 ile verilen fonksiyon x = 0'da türevlenebilir değildir.

Özetle, türevi olan bir fonksiyon süreklidir, ancak türevi olmayan sürekli fonksiyonlar da vardır.

Pratikte karşılaşılan çoğu fonksiyonun tüm noktalarda ya da neredeyse her noktada türevi vardır. Kalkülüs tarihinin başlarında, birçok matematikçi sürekli bir fonksiyonun çoğu noktada türevlenebilir olduğunu varsaymıştır. Hafif koşullar altında, örneğin fonksiyon monoton bir fonksiyon veya Lipschitz bir fonksiyon ise, bu doğrudur. Ancak 1872 yılında Weierstrass, her yerde sürekli olan ancak hiçbir yerde türevlenemeyen bir fonksiyonun ilk örneğini buldu. Bu örnek artık Weierstrass fonksiyonu olarak bilinmektedir. 1931'de Stefan Banach, bir noktada türevi olan fonksiyonlar kümesinin, tüm sürekli fonksiyonlar uzayında yetersiz bir küme olduğunu kanıtladı. Gayri resmi olarak bu, neredeyse hiçbir rastgele sürekli fonksiyonun bir noktada bile türeve sahip olmadığı anlamına gelir.

Bir fonksiyon olarak türev

Türevlenebilir bir fonksiyonun farklı noktalarındaki türevidir. Bu durumda türev şuna eşittir:

f, etki alanındaki her noktada türevi olan bir fonksiyon olsun. Daha sonra her x noktasını f'nin x'teki türevinin değerine eşleyen bir fonksiyon tanımlayabiliriz. Bu fonksiyon f olarak yazılır ve türev fonksiyonu veya f'nin türevi olarak adlandırılır.

Bazen f, alanının her noktasında olmasa da çoğu noktasında bir türeve sahiptir. f(a) tanımlı olduğunda a'daki değeri f(a)'ya eşit olan ve başka bir yerde tanımsız olan fonksiyona da f'nin türevi denir. Bu hala bir fonksiyondur, ancak etki alanı f'nin etki alanından daha küçük olabilir.

Bu fikri kullanarak, türev fonksiyonların bir fonksiyonu haline gelir: Türev, etki alanı, etki alanlarının her noktasında türevleri olan tüm fonksiyonların kümesi olan ve aralığı bir fonksiyonlar kümesi olan bir operatördür. Bu operatörü D ile gösterirsek, D(f) f fonksiyonudur. D(f) bir fonksiyon olduğu için, bir a noktasında değerlendirilebilir. Türev fonksiyonunun tanımına göre, D(f)(a) = f(a).

Karşılaştırma için, f(x) = 2x ile verilen ikiye katlama fonksiyonunu düşünün; f bir reel sayının reel değerli bir fonksiyonudur, yani girdi olarak sayıları alır ve çıktı olarak sayılara sahiptir:

Ancak D operatörü tek tek sayılar üzerinde tanımlı değildir. Sadece fonksiyonlar üzerinde tanımlıdır:

D'nin çıktısı bir fonksiyon olduğu için, D'nin çıktısı bir noktada değerlendirilebilir. Örneğin, D kare fonksiyonuna uygulandığında, xx2, D f(x) olarak adlandırdığımız x ↦ 2x ikiye katlama fonksiyonunu çıkarır. Bu çıktı fonksiyonu daha sonra değerlendirilerek f(1) = 2, f(2) = 4 ve benzeri sonuçlar elde edilebilir.

Daha yüksek türevler

f türevlenebilir bir fonksiyon olsun ve f ′ onun türevi olsun. f ′ 'nin türevi (eğer varsa) f ′′ şeklinde yazılır ve f'nin ikinci türevi olarak adlandırılır. Benzer şekilde, ikinci türevin türevi, eğer varsa, f ′′ şeklinde yazılır ve f'nin üçüncü türevi olarak adlandırılır. Bu işleme devam ederek, eğer varsa, n'inci türevi (n-1)inci türevin türevi olarak tanımlayabiliriz. Bu tekrarlanan türevlere yüksek mertebeden türevler denir. N'inci türeve n'inci mertebeden türev de denir ve f(n) olarak gösterilir.

Eğer x(t) bir nesnenin t zamanındaki konumunu temsil ediyorsa, x'in yüksek mertebeden türevlerinin fizikte belirli yorumları vardır. X'in ilk türevi nesnenin hızıdır. X'in ikinci türevi ivmedir. X'in üçüncü türevi sarsıntıdır. Ve son olarak, x'in dördüncüden altıncıya kadar olan türevleri şakırtı, çatırtı ve patlamadır; en çok astrofizik için geçerlidir.

Bir f fonksiyonunun türevi olması gerekmez (örneğin, sürekli değilse). Benzer şekilde, f bir türeve sahip olsa bile, ikinci bir türeve sahip olmayabilir. Örneğin

Hesaplama, f'nin türevlenebilir bir fonksiyon olduğunu göstermektedir. tarafından verilir

f(x) mutlak değer fonksiyonunun iki katıdır. ve sıfırda bir türevi yoktur. Benzer örnekler, bir fonksiyonun negatif olmayan her k tamsayısı için k'ncı türeve sahip olabileceğini ancak (k + 1)inci türeve sahip olamayacağını göstermektedir. Ardışık k türevi olan bir fonksiyona k kere türevlenebilir. Buna ek olarak k. türev sürekli ise, fonksiyonun Ck diferansiyellenebilirlik sınıfında olduğu söylenir. (Bu, Düzgünlük § Örnekler'deki ikinci örnekte gösterildiği gibi, k türeve sahip olmaktan daha güçlü bir koşuldur). Sonsuz sayıda türevi olan bir fonksiyona sonsuz sayıda türevlenebilir veya pürüzsüz denir.

Gerçel doğru üzerinde her polinom fonksiyonu sonsuz türevlenebilirdir. Standart türev alma kurallarına göre, n dereceli bir polinom n kez türevlenirse, sabit bir fonksiyon haline gelir. Sonraki tüm türevleri özdeş olarak sıfırdır. Özellikle, var oldukları için polinomlar düzgün fonksiyonlardır.

Bir f fonksiyonunun bir x noktasındaki türevleri, bu fonksiyonun x yakınındaki polinom yaklaşımlarını sağlar. Örneğin, f iki kez türevlenebilirse, o zaman

şu anlamda

Eğer f sonsuz türevlenebilir ise, bu x + h'de x etrafında değerlendirilen f için Taylor serisinin başlangıcıdır.

Bükülme noktası

Bir fonksiyonun ikinci türevinin işaret değiştirdiği noktaya bükülme noktası denir. Bir bükülme noktasında, aşağıdaki şekilde verilen fonksiyonun x = 0 bükülme noktasında olduğu gibi, ikinci türev sıfır olabilir ile verilen fonksiyonun x = 0 bükülme noktası durumunda olduğu gibi, var olmayabilir. . Bir bükülme noktasında, bir fonksiyon dışbükey bir fonksiyon olmaktan içbükey bir fonksiyon olmaya geçer veya tam tersi olur.

Gösterim (ayrıntılar)

Leibniz'in notasyonu

Semboller , ve Gottfried Wilhelm Leibniz tarafından 1675 yılında ortaya atılmıştır. Y = f(x) denklemi bağımlı ve bağımsız değişkenler arasında fonksiyonel bir ilişki olarak görüldüğünde hala yaygın olarak kullanılmaktadır. O zaman birinci türev şu şekilde gösterilir

ve bir zamanlar sonsuz küçük bölüm olarak düşünülmüştür. Yüksek türevler şu gösterim kullanılarak ifade edilir

'nin n'inci türevi için . Bunlar türev operatörünün çoklu uygulamaları için kısaltmalardır. Örneğin,

Leibniz'in notasyonu ile aşağıdakilerin türevini yazabiliriz noktada iki farklı şekilde ifade edilebilir:

Leibniz'in notasyonu, kısmi türevle ilgili olan türev değişkenini (paydada) belirtmeye izin verir. Ayrıca zincir kuralını aşağıdaki gibi yazmak için de kullanılabilir

Lagrange'ın notasyonu

Bazen asal gösterim olarak da adlandırılan, türev için en yaygın modern gösterimlerden biri Joseph-Louis Lagrange'a aittir ve asal işareti kullanır, böylece bir fonksiyonun türevi gösterilir . Benzer şekilde, ikinci ve üçüncü türevler aşağıdaki gibi gösterilir

  ve  

Bu noktanın ötesindeki türevlerin sayısını belirtmek için, bazı yazarlar üst simge olarak Romen rakamları kullanırken, diğerleri sayıyı parantez içine yerleştirir:

  veya  

İkinci gösterim genelleştirilerek aşağıdaki gösterim elde edilir 'nin n'inci türevi için - Bu gösterim en çok türevden bir fonksiyonun kendisi olarak bahsetmek istediğimizde kullanışlıdır, çünkü bu durumda Leibniz gösterimi hantal hale gelebilir.

Newton'un gösterimi

Nokta gösterimi olarak da adlandırılan Newton'un türev gösterimi, zaman türevini temsil etmek için fonksiyon adının üzerine bir nokta yerleştirir. Eğer , sonra

  ve  

'nin sırasıyla birinci ve ikinci türevlerini göstermektedir. . Bu gösterim yalnızca zamana veya yay uzunluğuna göre türevler için kullanılır. Tipik olarak fizik ve diferansiyel geometride diferansiyel denklemlerde kullanılır. Ancak nokta gösterimi, yüksek mertebeden türevler (mertebe 4 veya daha fazla) için yönetilemez hale gelir ve çoklu bağımsız değişkenlerle başa çıkamaz.

Euler'in gösterimi

Euler'in notasyonu bir diferansiyel operatör kullanır bir fonksiyona uygulanan birinci türevi vermek için . n'inci türev şu şekilde gösterilir .

Eğer y = f(x) bağımlı bir değişken ise, bağımsız değişken x'i açıklığa kavuşturmak için genellikle D'ye x alt simgesi eklenir. Euler'in notasyonu daha sonra şöyle yazılır

  veya   ,

Bununla birlikte, x değişkeni anlaşıldığında, örneğin ifadede bulunan tek bağımsız değişken olduğunda, bu alt simge genellikle atlanır.

Euler'in notasyonu doğrusal diferansiyel denklemleri ifade etmek ve çözmek için kullanışlıdır.

Hesaplama kuralları

Bir fonksiyonun türevi, prensip olarak, fark bölümü dikkate alınarak ve limiti hesaplanarak tanımdan hesaplanabilir. Pratikte, birkaç basit fonksiyonun türevleri bilindiğinde, diğer fonksiyonların türevleri, daha karmaşık fonksiyonların türevlerini daha basit olanlardan elde etmek için kullanılan kurallar kullanılarak daha kolay hesaplanır.

Temel fonksiyonlar için kurallar

İşte a'nın gerçek bir sayı olduğu en yaygın temel fonksiyonların türevleri için kurallar.

  • Kuvvetlerin türevleri:
  • Üstel ve logaritmik fonksiyonlar:
  • Trigonometrik fonksiyonlar:
  • Ters trigonometrik fonksiyonlar:

Birleşik fonksiyonlar için kurallar

Temel fonksiyonların türevlerinden bileşik bir fonksiyonun türevini çıkarmak için en temel kurallardan bazıları aşağıda verilmiştir.

  • Sabit kuralı: f(x) sabitse, o zaman
  • Toplam kuralı:
    tüm f ve g fonksiyonları ve tüm reel sayılar için ve .
  • Çarpım kuralı:
    Tüm f ve g fonksiyonları için. Özel bir durum olarak, bu kural şu gerçeği içerir ne zaman bir sabittir, çünkü sabit kuralı ile.
  • Bölüm kuralı:
    g ≠ 0 olduğu tüm girişlerdeki tüm f ve g fonksiyonları için.
  • Bileşik fonksiyonlar için zincir kuralı: Eğer , sonra

Hesaplama örneği

tarafından verilen fonksiyonun türevi

o

Burada ikinci terim zincir kuralı, üçüncü terim ise çarpım kuralı kullanılarak hesaplanmıştır. Temel x2, x4, sin(x), ln(x) ve exp(x) = ex fonksiyonlarının bilinen türevlerinin yanı sıra 7 sabiti de kullanılmıştır.

Hiperrealler ile tanım

Reel sayıların RR hiperreal uzantısına göre, reel bir x noktasında y = f(x) reel fonksiyonunun türevi, sonsuz küçük ∆x için ∆y/∆x bölümünün gölgesi olarak tanımlanabilir, burada ∆y = f(x + ∆x) - f(x). Burada f'nin hiperreallere doğal uzantısı hala f olarak gösterilir. Burada gölge seçilen sonsuz küçükten bağımsızsa türevin var olduğu söylenir.

Daha yüksek boyutlarda

Vektör değerli fonksiyonlar

Reel bir değişkenin vektör değerli bir fonksiyonu y, reel sayıları bazı Rn vektör uzaylarındaki vektörlere gönderir. Vektör değerli bir fonksiyon y1(t), y2(t), ..., yn(t) koordinat fonksiyonlarına ayrılabilir, yani y(t) = (y1(t), ..., yn(t)). Bu, örneğin R2 veya R3'teki parametrik eğrileri içerir. Koordinat fonksiyonları reel değerli fonksiyonlardır, bu nedenle yukarıdaki türev tanımı onlar için de geçerlidir. y(t)'nin türevi, koordinatları koordinat fonksiyonlarının türevleri olan teğet vektör olarak adlandırılan vektör olarak tanımlanır. Yani,

Eşdeğer olarak,

eğer limit varsa. Paydaki çıkarma işlemi skalerlerin değil vektörlerin çıkarılmasıdır. Eğer y'nin türevi t'nin her değeri için mevcutsa, o zaman y′ başka bir vektör değerli fonksiyondur.

Eğer e1, ..., en Rn için standart temel ise, y(t) y1(t)e1 + ⋯ + yn(t)en şeklinde de yazılabilir. Vektör değerli bir fonksiyonun türevinin doğrusallık özelliğini koruduğunu varsayarsak, y(t)'nin türevi şöyle olmalıdır

çünkü temel vektörlerin her biri bir sabittir.

Bu genelleme kullanışlıdır, örneğin y(t) bir parçacığın t zamanındaki konum vektörü ise; o zaman y′(t) türevi parçacığın t zamanındaki hız vektörüdür.

Kısmi türevler

f'nin birden fazla değişkene bağlı bir fonksiyon olduğunu varsayalım - örneğin,

f, bir değişkenin diğer değişkenler tarafından indekslenen bir fonksiyon ailesi olarak yeniden yorumlanabilir:

Başka bir deyişle, x'in her değeri, bir gerçek sayının fonksiyonu olan ve fx olarak gösterilen bir fonksiyon seçer. Yani,

Bir x değeri seçildiğinde, örneğin a, o zaman f(x, y) y'yi a2 + ay + y2'ye gönderen bir fa fonksiyonu belirler:

Bu ifadede a bir değişken değil bir sabittir, dolayısıyla fa yalnızca tek bir reel değişkenin fonksiyonudur. Sonuç olarak, tek değişkenli bir fonksiyon için türev tanımı geçerlidir:

Yukarıdaki prosedür herhangi bir a seçimi için gerçekleştirilebilir. Türevleri bir fonksiyonda bir araya getirmek, f'nin y yönündeki değişimini tanımlayan bir fonksiyon verir:

Bu, f'nin y'ye göre kısmi türevidir. Burada ∂, kısmi türev sembolü olarak adlandırılan yuvarlak bir d'dir. Bunu d harfinden ayırmak için ∂ bazen "dee" yerine "der", "del" veya "kısmi" olarak telaffuz edilir.

Genel olarak, bir f(x1, ..., xn) fonksiyonunun (a1, ..., an) noktasında xi yönündeki kısmi türevi olarak tanımlanır:

Yukarıdaki fark bölümünde, xi dışındaki tüm değişkenler sabit tutulmuştur. Bu sabit değer seçimi, tek değişkenli bir fonksiyonu belirler

ve, tanım olarak,

Başka bir deyişle, a'nın farklı seçimleri, yukarıdaki örnekte olduğu gibi bir tek değişkenli fonksiyon ailesini indeksler. Bu ifade aynı zamanda kısmi türevlerin hesaplanmasının tek değişkenli türevlerin hesaplanmasına indirgendiğini göstermektedir.

Bu, birkaç reel değişkenli fonksiyonların incelenmesi için temeldir. f(x1, ..., xn) böyle bir reel değerli fonksiyon olsun. Eğer f'nin tüm kısmi türevleri ∂f / ∂xj a = (a1, ..., an) noktasında tanımlanırsa, bu kısmi türevler

Eğer f bazı alanlardaki her noktada türevlenebilir ise, o zaman türev (a1, ..., an) noktasını ∇f(a1, ..., an) vektörüne eşleyen vektör değerli bir ∇f fonksiyonudur. Sonuç olarak, gradyan bir vektör alanını belirler.

Yönlü türevler

Eğer f Rn üzerinde gerçek değerli bir fonksiyon ise, f'nin kısmi türevleri koordinat eksenleri yönündeki değişimini ölçer. Örneğin, f x ve y'nin bir fonksiyonu ise, kısmi türevleri f'nin x ve y yönündeki değişimini ölçer. Ancak, f'nin y = x köşegen doğrusu gibi başka herhangi bir yöndeki değişimini doğrudan ölçmezler. Bunlar yönlü türevler kullanılarak ölçülür. Bir vektör seçin

x noktasında v yönünde f'nin yönlü türevi limittir

Bazı durumlarda, vektörün uzunluğunu değiştirdikten sonra yönlü türevi hesaplamak veya tahmin etmek daha kolay olabilir. Genellikle bu, problemi bir birim vektör yönünde yönlü türev hesaplamasına dönüştürmek için yapılır. Bunun nasıl çalıştığını görmek için, u'nun v yönünde bir birim vektör olduğu v = λu olduğunu varsayalım. h = k/λ'yı fark bölümünde yerine koyun. Fark bölümü şu hale gelir:

Bu, f'nin u'ya göre yönlü türevi için fark bölümünün λ katıdır. Ayrıca, h sıfıra doğru giderken limiti almak, k sıfıra doğru giderken limiti almakla aynıdır çünkü h ve k birbirinin katlarıdır. Bu nedenle, Dv(f) = λDu(f). Bu yeniden ölçekleme özelliği nedeniyle, yönlü türevler genellikle yalnızca birim vektörler için dikkate alınır.

Eğer f'nin tüm kısmi türevleri mevcutsa ve x'de sürekliyse, o zaman f'nin v yönündeki yönlü türevini formülle belirlerler:

Bu, toplam türevin tanımının bir sonucudur. Yönlü türevin v'de doğrusal olduğu, yani Dv + w(f) = Dv(f) + Dw(f) olduğu sonucu çıkar.

Aynı tanım, f Rm'de değerleri olan bir fonksiyon olduğunda da geçerlidir. Yukarıdaki tanım vektörlerin her bir bileşenine uygulanır. Bu durumda, yönlü türev Rm'de bir vektördür.

Bununla birlikte köşegen çizgi y = x 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.

Toplam türev, toplam diferansiyel ve Jacobian matrisi

f, Rn'nin açık bir alt kümesinden Rm'ye bir fonksiyon olduğunda, f'nin seçilen bir yöndeki yönlü türevi, f'nin o noktada ve o yöndeki en iyi doğrusal yaklaşımıdır. Ancak n > 1 olduğunda, tek bir yönlü türev f'nin davranışının tam bir resmini veremez. Toplam türev, tüm yönleri aynı anda dikkate alarak tam bir resim verir. Yani, a'dan başlayan herhangi bir vektörü için doğrusal yaklaşım formülü geçerlidir:

Tıpkı tek değişkenli türevde olduğu gibi, f ′(a) bu yaklaşımdaki hata mümkün olduğunca küçük olacak şekilde seçilir.

Eğer n ve m'nin her ikisi de bir ise, o zaman f ′(a) türevi bir sayıdır ve f ′(a)v ifadesi iki sayının çarpımıdır. Ancak daha yüksek boyutlarda, f ′(a)'nın bir sayı olması imkansızdır. Eğer bir sayı olsaydı, f ′(a)v Rn'de bir vektör olurken diğer terimler Rm'de vektör olurdu ve bu nedenle formül bir anlam ifade etmezdi. Doğrusal yaklaşım formülünün anlamlı olabilmesi için, f ′(a) Rn'deki vektörleri Rm'deki vektörlere gönderen bir fonksiyon olmalı ve f ′(a)v v'de değerlendirilen bu fonksiyonu göstermelidir.

Bunun ne tür bir fonksiyon olduğunu belirlemek için, doğrusal yaklaşım formülünün şu şekilde yeniden yazılabileceğine dikkat edin

Başka bir w vektörü seçersek, bu yaklaşık denklemin v yerine w koyarak başka bir yaklaşık denklem belirlediğine dikkat edin. v yerine w ve a yerine a + v koyarak üçüncü bir yaklaşık denklem belirler. Bu iki yeni denklemi çıkararak şunları elde ederiz

Eğer v'nin küçük olduğunu ve türevin a'da sürekli değiştiğini varsayarsak, f ′(a + v) yaklaşık olarak f ′(a)'ya eşittir ve bu nedenle sağ taraf yaklaşık olarak sıfırdır. Sol taraf, v yerine v + w konularak doğrusal yaklaşım formülü kullanılarak farklı bir şekilde yeniden yazılabilir:

Bu, f ′(a)'nın Rn vektör uzayından Rm vektör uzayına doğrusal bir dönüşüm olduğunu gösterir. Aslında, yaklaşımlardaki hatayı ölçerek bunu kesin bir türev haline getirmek mümkündür. Bu doğrusal yaklaşım formüllerindeki hatanın bir sabit çarpı ||v|| ile sınırlandığını varsayalım, burada sabit v'den bağımsızdır ancak sürekli olarak a'ya bağlıdır. Daha sonra, uygun bir hata terimi ekledikten sonra, yukarıdaki yaklaşık eşitliklerin tümü eşitsizlikler olarak yeniden ifade edilebilir. Özellikle, f ′(a) küçük bir hata terimine kadar doğrusal bir dönüşümdür. Limitte v ve w sıfıra yaklaştıkça, bu nedenle doğrusal bir dönüşüm olmalıdır. Toplam türevi v sıfıra giderken bir limit alarak tanımladığımız için, f ′(a) doğrusal bir dönüşüm olmalıdır.

Tek değişkende, türevin en iyi doğrusal yaklaşım olduğu gerçeği, fark bölümlerinin limiti olduğu gerçeğiyle ifade edilir. Bununla birlikte, olağan fark bölümü daha yüksek boyutlarda bir anlam ifade etmez çünkü vektörleri bölmek genellikle mümkün değildir. Özellikle, fark bölümünün pay ve paydası aynı vektör uzayında bile değildir: Pay Rm kod alanında yer alırken payda Rn alanında yer alır. Dahası, türev doğrusal bir dönüşümdür ve hem pay hem de paydadan farklı bir nesne türüdür. f ′(a)'nın en iyi doğrusal yaklaşım olduğu fikrini kesinleştirmek için, bu sorunların ortadan kalktığı tek değişkenli türev için farklı bir formül uyarlamak gerekir. Eğer f : RR ise, o zaman türevin olağan tanımı, f'nin a'daki türevinin aşağıdaki gibi benzersiz f ′(a) sayısı olduğunu göstermek için manipüle edilebilir

Bu şu anlama gelir

Çünkü bir fonksiyonun limiti, ancak ve ancak fonksiyonun mutlak değerinin limiti sıfıra eğilimli ise sıfıra eğilimlidir. Bu son formül, mutlak değerler normlarla değiştirilerek çok değişkenli duruma uyarlanabilir.

Dolayısıyla, f'nin a'daki toplam türevinin tanımı, f ′(a) 'nın tek doğrusal dönüşümü olduğudur: Rn → Rm öyle ki

Burada h Rn'de bir vektördür, dolayısıyla paydadaki norm Rn'deki standart uzunluktur. Ancak, f′(a)h Rm'de bir vektördür ve paydaki norm Rm'deki standart uzunluktur. Eğer v a'dan başlayan bir vektör ise, f ′(a)v v'nin f tarafından ileri itilmesi olarak adlandırılır ve bazen fv olarak yazılır.

Eğer toplam türev a'da mevcutsa, o zaman f'nin tüm kısmi türevleri ve yönlü türevleri a'da mevcuttur ve tüm v için f ′(a)v f'nin v yönündeki yönlü türevidir. f'yi koordinat fonksiyonları kullanarak yazarsak, yani f = (f1, f2, ..., fm), o zaman toplam türev kısmi türevler kullanılarak bir matris olarak ifade edilebilir. Bu matrise f'nin a'daki Jacobian matrisi denir:

Toplam türevin f′(a) varlığı, tüm kısmi türevlerin varlığından kesinlikle daha güçlüdür, ancak kısmi türevler varsa ve sürekliyse, toplam türev vardır, Jacobian tarafından verilir ve a'ya sürekli bağlıdır.

Toplam türevin tanımı, tek değişkenli türevin tanımını kapsar. Yani, eğer f reel bir değişkenin reel değerli bir fonksiyonu ise, o zaman toplam türev ancak ve ancak olağan türev varsa vardır. Jacobian matrisi, tek girdisi f′(x) türevi olan 1×1 matrisine indirgenir. Bu 1×1 matris, f(a + h) - (f(a) + f ′(a)h) yaklaşık olarak sıfır olma özelliğini karşılar, başka bir deyişle

Değişkenleri değiştirmeye kadar, bu, fonksiyonun f'nin a'daki en iyi doğrusal yaklaşımıdır.

Bir fonksiyonun toplam türevi, başka bir fonksiyonu tek değişkenli durumla aynı şekilde vermez. Bunun nedeni, çok değişkenli bir fonksiyonun toplam türevinin, tek değişkenli bir fonksiyonun türevinden çok daha fazla bilgi kaydetmek zorunda olmasıdır. Bunun yerine, toplam türev kaynağın teğet demetinden hedefin teğet demetine bir fonksiyon verir.

İkinci, üçüncü ve daha yüksek dereceli toplam türevlerin doğal analoğu doğrusal bir dönüşüm değildir, teğet demet üzerinde bir fonksiyon değildir ve toplam türevin tekrar tekrar alınmasıyla oluşturulmaz. Jet olarak adlandırılan yüksek dereceli türevin benzeri doğrusal bir dönüşüm olamaz çünkü yüksek dereceli türevler, vektörler gibi doğrusal veriler açısından tanımlanamayan içbükeylik gibi ince geometrik bilgileri yansıtır. Teğet demet üzerinde bir fonksiyon olamaz çünkü teğet demette sadece taban uzayı ve yönlü türevler için yer vardır. Jetler daha yüksek dereceli bilgileri yakaladıkları için, yöndeki daha yüksek dereceli değişiklikleri temsil eden ek koordinatları argüman olarak alırlar. Bu ek koordinatlar tarafından belirlenen uzaya jet demeti denir. Bir fonksiyonun toplam türevi ile kısmi türevleri arasındaki ilişki, bir fonksiyonun k. dereceden jeti ile k'ya eşit veya daha küçük dereceden kısmi türevleri arasındaki ilişkiye paraleldir.

Toplam türevin tekrar tekrar alınmasıyla, Fréchet türevinin Rp'ye özelleşmiş daha yüksek versiyonları elde edilir. K. mertebeden toplam türev bir harita olarak yorumlanabilir

Rn'de bir x noktası alır ve ona Rn'den Rm'ye k-doğrusal haritalar uzayının bir elemanını atar - bu noktada f'ye "en iyi" (belirli bir kesin anlamda) k-doğrusal yaklaşım. Δ, x → (x, x) diyagonal haritası ile önceden birleştirerek, genelleştirilmiş bir Taylor serisi şu şekilde başlatılabilir

Burada f(a) sabit bir fonksiyon ile tanımlanır, xi - ai x - a vektörünün bileşenleridir ve (Df)i ve (D2f)jk doğrusal dönüşümler olarak Df ve D2f'nin bileşenleridir.

Genelleştirmeler

Türev kavramı diğer birçok ortama genişletilebilir. Ortak nokta, bir fonksiyonun bir noktadaki türevinin, o noktadaki fonksiyonun doğrusal bir yaklaşımı olarak hizmet etmesidir.

  • Türevin önemli bir genellemesi, karmaşık değişkenlerin karmaşık fonksiyonlarıyla ilgilidir, örneğin karmaşık sayılar C'den C'ye (bir etki alanındaki) fonksiyonlar gibi. Böyle bir fonksiyonun türevi kavramı, tanımda reel değişkenlerin karmaşık değişkenlerle değiştirilmesiyle elde edilir. Eğer C, karmaşık bir z sayısı x + iy olarak yazılarak R2 ile özdeşleştirilirse, C'den C'ye türevlenebilir bir fonksiyon R2'den R2'ye bir fonksiyon olarak kesinlikle türevlenebilirdir (kısmi türevlerinin hepsinin var olması anlamında), ancak bunun tersi genel olarak doğru değildir: karmaşık türev yalnızca gerçek türev karmaşık doğrusal ise vardır ve bu, Cauchy-Riemann denklemleri olarak adlandırılan kısmi türevler arasında ilişkiler getirir - bkz. holomorfik fonksiyonlar.
  • Bir başka genelleme, diferansiyellenebilir veya pürüzsüz manifoldlar arasındaki fonksiyonlarla ilgilidir. Sezgisel olarak böyle bir M manifoldu, her x noktası yakınında teğet uzayı olarak adlandırılan bir vektör uzayı ile yaklaştırılabilen bir uzaydır: prototipik örnek R3'teki pürüzsüz bir yüzeydir. M'deki bir x noktasında manifoldlar arasındaki (türevlenebilir) bir f: MN haritasının türevi (veya diferansiyeli), x'teki M'nin teğet uzayından f(x)'teki N'nin teğet uzayına doğrusal bir haritadır. Türev fonksiyonu M ve N'nin teğet demetleri arasında bir harita haline gelir. Bu tanım diferansiyel geometride temeldir ve birçok kullanımı vardır - bkz. pushforward (diferansiyel) ve pullback (diferansiyel geometri).
  • Farklılaşma, Banach uzayları ve Fréchet uzayları gibi sonsuz boyutlu vektör uzayları arasındaki haritalar için de tanımlanabilir. Hem Gateaux türevi olarak adlandırılan yönlü türevin hem de Fréchet türevi olarak adlandırılan diferansiyelin bir genellemesi vardır.
  • Klasik türevin bir eksikliği, çok sayıda fonksiyonun türevlenebilir olmamasıdır. Bununla birlikte, türev kavramını genişletmenin bir yolu vardır, böylece tüm sürekli fonksiyonlar ve diğer birçok fonksiyon zayıf türev olarak bilinen bir kavram kullanılarak türevlenebilir. Buradaki fikir, sürekli fonksiyonları dağılımlar uzayı adı verilen daha geniş bir uzaya yerleştirmek ve sadece bir fonksiyonun "ortalama olarak" türevlenebilir olmasını şart koşmaktır.
  • Türevin özellikleri, cebir ve topolojide birçok benzer nesnenin tanıtılmasına ve incelenmesine ilham vermiştir - örneğin diferansiyel cebire bakınız.
  • Türevin ayrık eşdeğeri sonlu farklardır. Diferansiyel hesap çalışması, zaman ölçeği hesabındaki sonlu farklar hesabı ile birleştirilmiştir.
  • Ayrıca aritmetik türeve de bakınız.

Tarih

Erken tarihinde sonsuz küçükler hesabı olarak bilinen kalkülüs, limitler, fonksiyonlar, türevler, integraller ve sonsuz seriler üzerine odaklanan matematiksel bir disiplindir. Isaac Newton ve Gottfried Leibniz 17. yüzyılın ortalarında bağımsız olarak kalkülüsü keşfetmişlerdir. Ancak her iki mucit de hayatlarının sonuna kadar devam eden sert bir tartışmada diğerinin çalışmalarını çaldığını iddia etmiştir.

Kesirli türev

fonksiyon (mavi eğri) için yarı türev (mor eğri) ve birinci türev (kırmızı eğri).
tek terimli olduğunu varsayalım
.

Burada kullanılan türev

tekrarlanarak şu sonuca ulaşılır:

faktöriyel yerine Gama fonksiyonu alınırsa

xin yarı türevi

Bu durumu tekrarlarsak

Gerçekten burada beklenen sonuç aynıdır.

Buradaki türev alma işlemi sadece reel sayılarla sınırlı değildir. Mesela (1 + i)inci türev, (1 - i)inci türev iki türevlidir. Ancak negatif değerler için alınan a, integrali verir.

Laplace dönüşümü

Laplace dönüşümünün ifadesi

ve

v.s. Beklentimiz

.

Mesela

beklentisi doğrudur. Gerçekten verilen konvolüsyon kök (ve kısaca doğrulama için) bulunur

Cauchy serisini verir. Laplace transformu bâzı fonksiyonların kullanılabilmesi ile ilişkilidir. Sıklıkla kesirli diferansiyel denklemler çözümünde kullanılır.

Örnekler

Türevlenebilir fonksiyonlar ve türevleri

Cebirsel

  • Herhangi bir sıfırdan farklı n reel sayısı için fonksiyonu,

Bu eşitlik Binom Teoremi'nin bir sonucudur. (Bu formül yalnızca reel sayılarda kullanılır!)

Üstel veya logaritmik

  • üstel fonksiyonu,
  • logaritmik fonksiyonu,