# Zayıf türev
Matematikte zayıf türev, "güçlü türev" olarak da bilinen olağan türev kavramının bir genellemesidir. Zayıf türev kavramı türevlenebilir olmadığı ama bir Lebesgue uzayında olduğu varsayılan fonksiyonlar için geliştirilmiş bir türev kavramıdır.
Zayıf türev kavramı aynı zamanda Sobolev uzaylarındaki zayıf çözüm kavramının tanımlanmasına da yol açar.


## Tanım.
Tanımın arkasında yatan ana fikir bir Lebesgue uzayı içindeki sonsuz türevli ve tıkız desteğe sahip fonksiyonların bu uzay içinde yoğun olarak var olması gerçeğine dayanır. Gerçekten de, türevlenebilir u ve φ fonksiyonları için parçalı integral yazılırsa 
 ∫_a^b u(x) φ'(x) dx 
 amp; = [u(x) φ(x)]_a^b - ∫_a^b u'(x) φ(x) dx
elde edilir. φ fonksiyonu ayrıca tıkız desteğe sahipse, o zaman [u(x) φ(x)]_a^b terimi sıfır olur. Böylece, türevli her u ve tıkız desteğe sahip, sonsuz türevli her φ fonksiyonu için 
 ∫_a^b u(x) φ'(x) dx 
 amp; = - ∫_a^b u'(x) φ(x) dx
elde edilir. Tıkız desteğe sahip sonsuz türevli φ gibi fonksiyonların kümesi Lebesgue uzayında yoğun olduğundan, u fonksiyonunun türevli olduğu varsayımı kaldırılarak aşağıdaki gibi basit bir zayıf tanıma ulaşılabilir.


### Basit tanım.
Gerçel sayılar üzerindeki bir [a,b] kapalı aralığı üzerinde tanımlı ve L^1([a,b]) uzayında yer alan bir u fonksiyonunu ele alalım. φ(a)=φ(b)=0 özelliğine sahip sonsuz türevli her φ fonksiyonu için
∫_a^b u(t)φ'(t) dt=-∫_a^b v(t)φ(t) dt
eşitliğini sağlayan bir v ∈L^1([a,b]) fonksiyonu varsa, v fonksiyonuna u fonksiyonunun zayıf türevi denir.


### Genel tanım.
Öklid uzayındaki açık bir U ⊂ℝ^n kümesinde tanımlı ve gerçel değerli fonksiyonların zayıf türevini tanımlamak için ilk önce çoklu indis gösterimi altında türev operatörünü tanımlayalım.<br>
ℕ^n={(α_1, α_2,…,α_n)| α_i ∈ℕ ∀i=1, …, n} kümesi n-boyutlu doğal sayılar kümesi olsun. x_1, ⋯,x_n Öklid uzayındaki bağımsız değişkenleri temsil etsin. α=(α_1, α_2 , ⋯, α_n) ∈ℕ^n için | α| := α_1 + α_2 + ⋯+ α_n
tanımlansın ve D^α türev operatörünü yeteri kadar türevli bir φ için
 D^αφ= ∂^ φ/∂x_1^α_1 ⋯∂x_n^α_n=∂^α_1/∂x_1^α_1(⋯(∂^α_n/∂x_n^α_nφ))
ile tanımlayalım. Tanımın arkasında yatan ana fikir yüksek boyutlu Öklid uzayında da geçerlidir. Diğer deyişle,
 ∫_U u D^αφ dx 
 amp; = (-1)^ ∫_U D^αu φ dx
elde edilir.
Yerel olarak integrallenebilir bir u:U→ fonksiyonunu; yani, U kümesindeki her tıkız küme üzerinde integrallenebilir bir u:U→ fonksiyonunu ele alalım ve böyle bir fonksiyonu u∈L_loc^1(U) ile gösterelim. α=(α_1, α_2 , ⋯, α_n) ∈ℕ^n olsun. U üzerinde tıkız desteğe sahip sonsuz türevli her φ fonksiyonu için 
∫_U u D^αφ=(-1)^ ∫_U vφ
eşitliğini sağlayan bir v∈L_loc^1(U) fonksiyonu varsa, o zaman, v fonksiyonuna u fonksiyonunun α mertebesinden zayıf türevi denir.


## Özellikler.
Bir u fonksiyonunun zayıf türevi varsa, bu zayıf türev Lebesgue anlamında biriciktir. Diğer deyişle, eğer bir fonksiyonun iki zayıf türevi varsa, bu zayıf türevler en fazla ölçüsü sıfır olan kümeler üzerinde farklı değerler alırlar. Bir başka deyimle, bu ki fonksiyon hemen hemen her yerde birbirine eşittir. Fonksiyonların birbirine hemen hemen her yerde eşit olan fonksiyonların denklik sınıfı olarak alırsak, o zaman türev biricik olacaktır. Bu yüzden, bir u fonksiyonunun zayıf türevini D^αu olarak göstermekte genelde sakınca yoktur. Genellikle, birden fazla zayıf türevin varlığı bir sorun değildir; çünkü, fonksiyonlar hemen hemen her yerde eşitse L^p uzayları ve Sobolev uzayları teorisinde eşdeğer kabul edilir.
Güçlü türevi Lebesgue uzayında yer alan bir u fonksiyonu için zayıf türev tanımındaki integral koşulu zaten sağlanacaktır. Böylece, zayıf türev tanımı güçlü türev tanımını genelleştirmiş olur.
Dahası, güçlü türev için geçerli olan toplamın türevi ya da çarpımın türevi gibi kurallar, zayıf türevlilik için de geçerli olacaktır. Başka bir zayıf türev özelliği ise, zayıf türevi 0 olan bir fonksiyonun sabit olması gerektiğidir. Gerçekten de, bir (a,b) aralığı üzerinde gerçel değerler alan böyle bir f fonksiyonunun sabit olduğunu göstermek için, şöyle tartışılabilir: <br>
İlk önce zayıf türev tanımı gereği, sonsuz türevli ve tıkız destekli harhangi bir ϕ fonksiyonu için
∫_a^b f ϕ' dx = 0
olacaktır. 
η fonksiyonu, (a,b) aralığında tıkız destekli ve bu aralık üzerinde integrali 1e eşit olan sonsuz türevli bir fonksiyon olsun. O zaman, sonsuz türevli ve tıkız destekli herhangi bir ϕ fonksiyonu için
A:=∫_a^b ϕdx ve ψ(x)=∫_a^x (ϕ(t)-A η(t)) dt
yazarak, 
ϕ=Aη+ ψ'
yazılabilir. O zaman, c=∫_a^b fηdx olmak üzere
∫_a^b f ϕdx = A∫_a^b f ηdx + ∫_a^b f ψ' dx= A∫_a^b f ηdx =c∫_a^b ϕ
olur. Bu yüzden, sonsuz türevli ve tıkız destekli harhangi bir ϕ fonksiyonu için
∫_a^b (f-c) ϕdx = 0 
olur ki bu da noktasal olarak hemen hemen her yerde f=c eşitliğini verir. Sonuç olarak, f sabit bir fonksiyona denktir.


## Örnekler.
u : ℝ →ℝ_+, u(t) = |t| olarak tanımlanan mutlak değer fonksiyonunun t = 0 noktasında türevi yoktur. Yine de, işaret fonksiyonu olarak da bilinen v: ℝ →ℝ 
v(t) = 1 amp; t gt; 0 ise ; 
 0 amp; t = 0 ise ; 
 -1 amp; t lt; 0 ise . 
fonksiyonu u'nun zayıf türevidir. Daha önce vurgu yapıldığı üzere, bu fonksiyondan sıfır ölçülü herhangi bir gerçel sayılar kümesinde farklılaşan başka herhangi bir fonksiyon yine u'nun zayıf türevi olacaktır. Örneğin, yukarıdaki işaret fonksiyon tanımındaki v(0) tanımı herhangi bir sayı alınabilir.
Rasyonel sayıların karakteristik fonksiyonu 1_ℚ hiçbir yerde türevli olmayan bir fonksiyondur ama bu fonksiyonun zayıf türevi vardır. Rasyonel sayıların Lebesgue ölçüsü sıfır olduğundan,
 ∫1_ℚ(t) φ(t) dt = 0
olur. Böylece, v(t)=0 olarak tanımlanan sıfır fonksiyonu 1_ℚ fonksiyonunun zayıf türevi olur. Yalnız burada dikkat edilmesi gereken bu zayıf türevin sezgilerimize ters olabileceğidir. Diğer deyişle, 1_ℚ bir L^p uzayının üyesi olarak düşünüldüğünde sıfır fonksiyonu ile aynı denklik sınıfına sahiptir; yani, bu fonksiyonlar, Lebesgue ölçüsü sıfır olan ℚ kümesi üzerinde farklılaşırlar.
Zayıf türev kavramı hemen hemen her yerde türevliliği genelleştirmez. Diğer deyişle, hemen hemen her yerde türevi olan bir fonksiyonun zayıf türevi olmayabilir. Örneğin, Cantor fonksiyonu c süreklidir ve hemen hemen her yerde türevi de vardır. Ancak, bu fonksiyonun zayıf türevi yoktur. Fonksiyonun zayıf türevi olsaydı, o zaman bu zayıf türevin, Cantor fonksiyonunun sabit olduğu her aralıkta 0 değeri alması gerekirdi. Gerçekten de böyle bir aralıkta desteği olmayan sonsuz türevli fonksiyonlar aracılığıyla bu özellik gösterilebilr. Ama, bu gibi aralıkların birleşiminin ölçüsü 1 olacağı için, o zaman bu zayıf türevin hemen hemen her yerde 0 değeri alması gerekirdi. Ancak, zayıf türevi 0 olan bir fonksiyon aslında hemen hemen her yerde sabit fonksiyondur. Sonuç olarak, Cantor fonksiyonu sürekliliğinden dolayı her yerde sabit fonksiyon olacaktır. Böylece, 0=c (0) lt;c(1)=1 olan bir fonksiyon için sabit olduğu çıkarımı yapıldı ki bu da bir çelişkidir. Bu yüzden, baştaki zayıf türevin varlığı varsayımı yanlıştır.