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 $\phi$ fonksiyonları için parçalı integral yazılırsa

$$\begin{array}{cc}\underset{a}{\overset{b}{\int }}u(x){\phi }^{\prime }(x)dx& =[u(x)\phi (x){]}_a^b-\underset{a}{\overset{b}{\int }}{u}^{\prime }(x)\phi (x)dx\\ \end{array}$$

elde edilir. $\phi$ fonksiyonu ayrıca tıkız desteğe sahipse, o zaman $[u(x)\phi (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 $\phi$ fonksiyonu için

$$\begin{array}{cc}\underset{a}{\overset{b}{\int }}u(x){\phi }^{\prime }(x)dx& =-\underset{a}{\overset{b}{\int }}{u}^{\prime }(x)\phi (x)dx\\ \end{array}$$

elde edilir. Tıkız desteğe sahip sonsuz türevli $\phi$ 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. $\phi (a)=\phi (b)=0$ özelliğine sahip sonsuz türevli her $\phi$ fonksiyonu için

$\underset{a}{\overset{b}{\int }}u(t){\phi }^{\prime }(t)dt=-\underset{a}{\overset{b}{\int }}v(t)\phi (t)dt$

eşitliğini sağlayan bir $v$ in $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\subset {ℝ}^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.
${\mathbb{N}}^n=\{({\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n)|{\alpha }_i\in \mathbb{N}\mathrm{\forall }i=1,\dots ,n\}$ kümesi $n$-boyutlu doğal sayılar kümesi olsun. $x_1,\cdots ,x_n$ Öklid uzayındaki bağımsız değişkenleri temsil etsin. $\alpha =({\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n)\in {\mathbb{N}}^n$ için $|\alpha |:={\alpha }_1+{\alpha }_2+\cdots +{\alpha }_n$ tanımlansın ve $D^{\alpha }$ türev operatörünü yeteri kadar türevli bir $\phi$ için $$D^{\alpha }\phi =\frac{{\partial }^{|\alpha |}\phi }{\partial x_1^{{\alpha }_1}\cdots \partial x_n^{{\alpha }_n}}=\frac{{\partial }^{{\alpha }_1}}{\partial x_1^{{\alpha }_1}}(\cdots \left(\frac{{\partial }^{{\alpha }_n}}{\partial x_n^{{\alpha }_n}}\phi \right))$$ 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, $|\alpha |$ kere türevli her $u:U\to ℝ$ ve tıkız desteğe sahip, sonsuz türevli her $\phi$ fonksiyonu için

$$\begin{array}{cc}\underset{U}{\int }u{D}^{\alpha }\phi dx& =(-1{)}^{|\alpha |}\underset{U}{\int }{D}^{\alpha }u\phi dx\\ \end{array}$$

elde edilir.

Yerel olarak integrallenebilir bir $u:U\to ℝ$ fonksiyonunu; yani, $U$ kümesindeki her tıkız küme üzerinde integrallenebilir bir $u:U\to ℝ$ fonksiyonunu ele alalım ve böyle bir fonksiyonu $u\in L_{\text{loc}}^1(U)$ ile gösterelim. $\alpha =({\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n)\in {\mathbb{N}}^n$ olsun. $U$ üzerinde tıkız desteğe sahip sonsuz türevli her $\phi$ fonksiyonu için

$\underset{U}{\int }u{D}^{\alpha }\phi =(-1{)}^{|\alpha |}\underset{U}{\int }v\phi$

eşitliğini sağlayan bir $v\in L_{\text{loc}}^1(U)$ fonksiyonu varsa, o zaman, $v$ fonksiyonuna $u$ fonksiyonunun $\alpha$ 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^{\alpha }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:
İlk önce zayıf türev tanımı gereği, sonsuz türevli ve tıkız destekli harhangi bir $\varphi$ fonksiyonu için

$\underset{a}{\overset{b}{\int }}f{\varphi }^{\prime }dx=0$

olacaktır. $\eta$ 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 $\varphi$ fonksiyonu için

$A:=\underset{a}{\overset{b}{\int }}\varphi dx\text{ ve }\psi (x)=\underset{a}{\overset{x}{\int }}(\varphi (t)-A\eta (t))dt$

yazarak, $\varphi =A\eta +{\psi }^{\prime }$ yazılabilir. O zaman, $c=\underset{a}{\overset{b}{\int }}f\eta dx$ olmak üzere

$\underset{a}{\overset{b}{\int }}f\varphi dx=A\underset{a}{\overset{b}{\int }}f\eta dx+\underset{a}{\overset{b}{\int }}f{\psi }^{\prime }dx=A\underset{a}{\overset{b}{\int }}f\eta dx=c\underset{a}{\overset{b}{\int }}\varphi$

olur. Bu yüzden, sonsuz türevli ve tıkız destekli harhangi bir $\varphi$ fonksiyonu için

$\underset{a}{\overset{b}{\int }}(f-c)\varphi 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:ℝ\to {ℝ}_{+},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:ℝ\to ℝ$ $$v(t)=\{\begin{array}{cc}1& t>0\text{ ise};\\ 0& t=0\text{ ise};\\ -1& t<0\text{ ise}.\end{array}$$ 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_{\mathbb{Q}}$ 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, $$\int 1_{\mathbb{Q}}(t)\phi (t)dt=0$$ olur. Böylece, $v(t)=0$ olarak tanımlanan sıfır fonksiyonu $1_{\mathbb{Q}}$ 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_{\mathbb{Q}}$ 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 $\mathbb{Q}$ 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)<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.