Wirtinger türevleri

Matematiğin bir alt dalı olan karmaşık analizde ve çok değişkenli karmaşık analizde **Wirtinger operatörleri** ya da **Wirtinger türev operatörleri** karmaşık düzlemdeki ya da karmaşık koordinat uzayındaki açık kümeler üzerinde tanımlı holomorf, tersholomorf ya da sadece türevli fonksiyonlara uygulanabilen birinci mertebeden kısmi türev operatörleridir. Bu operatörlerin bu çeşit fonksiyonlara uygulanması sonucu ortaya çıkan fonksiyonlara bu fonksiyonların **Wirtinger türevleri** adı verilir.

Wirtinger türevlerinin gerçel değişkenli fonksiyonların türevi için verilen tanım ve özellikleri karmaşık düzlemde veya ya da karmaşık koordinat uzayında tanımlı fonksiyonlara taşıyan bir doğası vardır. Operatörler ve türevler adını, bu kavramları 1927 yılında *Birkaç karmaşık değişkenli fonksiyonların formel teorisi üzerine* başlıklı makalesinde sistematik bir biçimde ilk defa ele alan Wilhelm Wirtinger'in adını taşımaktadır.

## Tarihçe
### Erken dönem (1899–1911): Henri Poincaré'nin çalışmaları
 ve 'de kısaca bahsedildiği gibi, Wirtinger türevlerinin karmaşık analizdeki kullanımı en azından 'a kadar gitmektedir. 1899'daki makalesinin üçüncü paragrafında, Henri Poincaré ilk önce \Complex^ndeki karmaşık değişkeni ve bu değişkenin karmaşık eşleniğini şöyle tanımlıyor:
:\begin{cases}
x_k+iy_k=z_k\\ 
x_k-iy_k=u_k
\end{cases} \qquad 1 \leqslant k \leqslant n.
Bu tanımdan sonra, daha önceden  x_k, y_q (k, q=1\cdots n) gerçel değişkenleri aracılığıyla yazılmış olan ve biharmonik (*biharmonique*) dediği V fonksiyonlarını tanımlayan denklemleri, bu yeni değişkenlerde yazıyor
:\frac{d^2 V}{dz_k \, du_q}=0
Belli ki, bu makale çok değişkenli karmaşık analizde çalışan araştırmacılar tarafından gözden kaçırılmış ya da dikkate alınmamış. Çünkü, ,  () ve  gibi erken dönem makalelerin hepsinde bütün temel kısmî türev operatörler gerçel değişkenler aracılığıyla yazılmış. Daha sonraları, ilk defa 1913'te baskısı yapılan ve 1966da tekrar baskısı yapılan 'da bile, karmaşık değişkenlere göre kısmî türevlere bile formel türev olarak bakılmaktadır. Bu bağlamda, çokluharmonik operatör ve Levi operatörleri için, Osgood'un, Amoroso, Levi ve Levi-Civita'nın yolunu takip etmektedir.

### Dimitrie Pompeiu'nun 1912 ve 1913'teki çalışmaları
 kaynağına göre  kavramın tanımlanmasında yeni bir adım Dimitrie Pompeiu tarafından  makalesinde atıldı. Bu makalede, bir z_0 \in \Complex noktası etrafında tanımlı ve karmaşık değerler alan bir g(z) fonksiyonu için *areolar* türevi şu şekilde tanımlanmıştır:
:{\frac{\partial g}{\partial \bar{z}}(z_0)}\mathrel{\overset{\mathrm{tan.}}{=}}\lim_{r \to 0}\frac{1}{2\pi i r^2} \oint_{\Gamma(z_0,r)} g(z)\mathrm{d}z.
Burada, \Gamma(z_0,r)=\partial D(z_0,r), yani z_0 merkezli ve r yarıçaplı bir diskin topolojik sınırıdır ve fonksiyonun tanımlı olduğu bölgenin içindedir. Bu tanım, karmaşık eşlenik değişkene göre Wirtinger türevinin alternatif bir tanımıdır.  tarafından belirtildiği gibi, limit z=z_{0} noktasında aynı zamanda türevlenebilir olmayan fonksiyonlar için de mevcut olabileceğinden, daha genel bir tanımdır. 'e göre, *areolar* türevini Sobolev anlamında zayıf bir türev olarak ilk tanımlayan Ilya Vekua'dır. Sonraki  makalesinde, Pompeiu, bu görece yeni tanımlanmış kavramı kullanarak  Cauchy integral formülünün genellemesini elde eder. Elde edilen bu formül artık Cauchy-Pompeiu formülü olarak bilinmektedir.

### Wilhelm Wirtinger'in çalışması
Wirtinger türevlerinin ilk sistematik sunumunun  çok karmaşık değişkenli fonksiyonlar teorisinde ortaya çıkan niceliklerin hesaplanmasını basitleştirmek için Wilhelm Wirtinger'in  makalesinde ortaya atıldığı anlaşılıyor: bu diferansiyel operatörlerin literatüre sokulması sonucunda, Levi operatörü ve Cauchy-Riemann operatörü gibi teoride yaygın olarak kullanılan tüm diferansiyel operatörlerin gösterimi önemli ölçüde basitleştirilmiş ve dolayısıyla kullanımı daha kolay hale gelmiştir. Makale, kasıtlı olarak biçimsel bir bakış açısıyla, yâni, çıkarılan özelliklerin kesin bir çıkarımı verilmeden yazılmıştır.

## Tanım
### Tanımın altında yatan fikir
Karmaşık düzlemdeki açık bir küme üzerinde tanımlı ve gerçel değişkenlere göre türevlerinin varlığı bilinen bir f fonksiyonunun (toplam) diferansiyelini
:\mathrm df = \frac{\partial f}{\partial x} \mathrm dx + \frac{\partial f}{\partial y} \mathrm dy
olarak yazalım. Eğer z = x + \mathrm i y ve \bar z = x - \mathrm i y alırsak, o zaman 
:\textstyle x = \frac12 (z + \bar z) ve \textstyle y = \frac1{2\mathrm i} (z - \bar z) = \frac \mathrm i{2} (\bar z - z)
olacaktır. O hâlde, türev almanın doğrusallığıyla 
:\mathrm dx = \frac12(\mathrm dz + \mathrm d\bar z)  ve \mathrm dy =  \frac \mathrm i{2}(\mathrm d\bar z -\mathrm dz) 
yazılabilir. Sonuç olarak, yukarıdaki (toplam) diferansiyel ifadesi tekrar düzenlenerek
:\mathrm df = \frac12\left(\frac{\partial f}{\partial x}-\mathrm i\frac{\partial f}{\partial y}\right) \mathrm dz + \frac12\left(\frac{\partial f}{\partial x}+\mathrm i\frac{\partial f}{\partial y}\right) \mathrm d\bar z 
yazılabilir. O zaman, 
:\frac{\partial f}{\partial z}:= \frac12\left(\frac{\partial f}{\partial x}-\mathrm i\frac{\partial f}{\partial y}\right) ve \frac{\partial f}{\partial \bar{z}}:= \frac12\left(\frac{\partial f}{\partial x}+\mathrm i\frac{\partial f}{\partial y}\right).
tanımlanırsa,
:\mathrm df = \frac{\partial f}{\partial z} \mathrm dz + \frac{\partial f}{\partial \bar{z}} \mathrm d\bar z
yazılabilir.

### Tanımın resmi ifadesi
#### Karmaşık düzlemde tanım
Karmaşık sayılar için z \in \Complex değişkenini, gerçel x  ve y değişkenleri üzerinden z := x + \mathrm iy olarak tanımlayalım. G \subset \R^2de açık küme olsun ve f = u + \mathrm i v \colon G \to \Complex ise gerçel değişkenlerde türevlenebilir bir fonksiyon olsun. O zaman, f fonksiyonunun kısmi türevleri vardır. Bu kısmi türevler
:\frac{\partial f}{\partial x} = \frac{\partial u}{\partial x} + \mathrm i \frac{\partial v}{\partial x} ve \frac{\partial f}{\partial y} = \frac{\partial u}{\partial y} + \mathrm i \frac{\partial v}{\partial y}
şeklinde yazılabilir. Bu hâlde, f fonksiyonunun **Wirtinger türevleri**
:\frac{\partial f}{\partial z}:= \frac12\left(\frac{\partial f}{\partial x}-\mathrm i\frac{\partial f}{\partial y}\right) ve \frac{\partial f}{\partial \bar{z}}:= \frac12\left(\frac{\partial f}{\partial x}+\mathrm i\frac{\partial f}{\partial y}\right).
olarak tanımlanır. 
Wirtinger türevlerinin tanımını veren
:\frac{\partial }{\partial z}:= \frac12\left(\frac{\partial }{\partial x}-\mathrm i\frac{\partial }{\partial y}\right) ve \frac{\partial }{\partial \bar{z}}:= \frac12\left(\frac{\partial }{\partial x}+\mathrm i\frac{\partial }{\partial y}\right)
kısmî diferansiyel operatörlerine **Wirtinger türev operatörleri** ya da sadece **Wirtinger operatörleri** denilir.

Wirtinger operatörlerinin tanım kümesi en doğal hâliyle türevlenebilir fonksiyonları içermektedir. Ancak, operatörler doğrusal oldukları ve sabit katsayılara sahip oldukları için, tanım kümeleri genelleştirilmiş fonksiyonların her türlü uzayına da genişletilebilir.

#### Karmaşık koordinat uzayında tanım
Yukarıda verilen ve bir karmaşık değişkenli fonksiyonlar için tanımlanan Wirtinger operatörlerinin tanımı yüksek boyutta tanımlı ve karmaşık değerler alan fonksiyonlar için de verilebilir. 
\Complex^n = \R^{2n} = \left\{\left( \mathbf{x}, \mathbf{y} \right) = \left(x_1,\ldots,x_n, y_1, \ldots, y_n\right) \mid \mathbf{x},\mathbf{y} \in \R^n \right\}
alınırsa, karmaşık koordinat uzayındaki Wirtinger operatörleri her koordinatta ayrı ayrı tanımlanabilir:
\begin{cases}
\frac{\partial}{\partial z_1} = \frac{1}{2} \left( \frac{\partial}{\partial x_1}- i \frac{\partial}{\partial y_1} \right) \\
\qquad \vdots \\
\frac{\partial}{\partial z_n} = \frac{1}{2} \left( \frac{\partial}{\partial x_n}- i \frac{\partial}{\partial y_n} \right) \\
\end{cases}, \qquad

\begin{cases}
\frac{\partial}{\partial\bar{z}_1} = \frac{1}{2} \left( \frac{\partial}{\partial x_1}+ i \frac{\partial}{\partial y_1} \right) \\
\qquad \vdots \\
\frac{\partial}{\partial\bar{z}_n} = \frac{1}{2} \left( \frac{\partial}{\partial x_n}+ i \frac{\partial}{\partial y_n} \right) \\
\end{cases}.
Daha önce bahsedildiği üzere, yine operatörler doğrusal oldukları ve sabit katsayılara sahip oldukları için, tanım kümeleri genelleştirilmiş fonksiyonların her türlü uzayına da genişletilebilir.

## Karmaşık türevlenebilme ile ilişkisi
Bir fonksiyon bir noktada karmaşık türevlenebilir ise, fonksiyonun Wirtinger türevi, Cauchy-Riemann denklemleri  sayesinde fonksiyonun karmaşık türevine eşittir. Gerçekten de eğer bir f fonksiyonu karmaşık türevlenebilirse, o zaman Cauchy-Riemann denklemleri bu fonksiyon için şağlanır; yani, fonksiyonun karmaşık türevli olduğu açık küme üzerinde
\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \text{ ve } \frac{\partial u}{\partial y} = - \frac{\partial v}{\partial x} eşitlikleri vardır.

Wirtinger türevinin tanımıyla başlayarak ve Cauchy-Riemann denklemleri kullanarak 
:\begin{align}
\frac{\partial f}{\partial z} &= \frac{1}{2} \left( \frac{\partial f}{\partial x} - i \frac{\partial f}{\partial y} \right)
\\ &= \frac{1}{2} \left( \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x} -i \frac{\partial u}{\partial y} + \frac{\partial v}{\partial y} \right)
\\ &= \frac{\partial u}{\partial z} + i \frac{\partial v}{\partial z} = \frac{d f}{d z}
\end{align}
elde edilir.

Wirtinger türevinin karmaşık eşlenik değişkendeki hâli de yine karmaşık türevlenebilmeyle alâkalıdır. \frac{\partial f}{\partial \bar{z}} = 0 ifâdesi aslında Cauchy-Riemann denklemlerinin karmaşık halidir.

### Cauchy-Riemann operatörü
\textstyle\frac{\partial f}{\partial z} için bazen kısaca \,\partial f yazılır. Yine, benzer şekilde, \textstyle\frac{\partial f}{\partial \bar{z}} içinse kısa bir şekilde \bar \partial f de yazılır. \overline{\partial} operatörüne **Cauchy-Riemann operatörü** denilir. Aslında, bu kısaltma ifadeleri sadece fonksiyonlar için geliştirilmiş kısaltma gösterimleri değildir. Daha doğrusu, fonksiyonların (0, 0) ikili derecesiyle özel bir hali olduğu karmaşık diferansiyel formlar için tanımlı türev operatorü d'nin yukarıda n=1 hali için 
:df = \frac{\partial f}{\partial z} dz + \frac{\partial f}{\partial \bar{z}} 
elde edildiği gibi, d operatörü, {\partial} ve \overline{\partial} opeatörlerinin toplamı olarak genel durumda da ayrışabilir. Bunu görmek için, \Complex^n'nin bir elemanını (z_1, \ldots z_n) = (x_1 + \mathrm iy_1, \ldots , x_n + \mathrm i y_n) olarak yazalım. D \subset \mathbb{C}^n açık bir küme olsun. f = (f_1, \ldots , f_m): D \rightarrow \mathbb{C}^m ise gerçel türevli bir gönderim olsun. Yukarıda verilen tanımlar aracılığıyla
: \partial f := \sum_{j=1}^n \frac{\partial}{\partial z_j} f {\rm d} z_j
ve 
: \overline{\partial} f := \sum_{j=1}^n \frac{\partial}{\partial \overline{z}_j} f {\rm d} \overline{z}_j 
tanımlanabilir. O zaman, 
:{\mathrm d} f = \overline{\partial} f + \partial f
elde edilir. Holomorfluk durumunda, \textstyle \mathrm d f = \partial f elde edilir; çünkü, bu durumda \overline{\partial} f = 0 olmaktadır.
cauchy-Riemann operatörlerinin n>1 için yukarıdaki gibi tanımlanmış hâli Dolbeault kompleksine dayanılarak **Dolbeault operatörleri** olarak da bilinir. Yine de, Cauchy-Riemann opeatörleri ifadesi boyut sayısına işaret etmeksizin kullanılabilir.

## Özellikler
Aşağıda verilen özelliklerde n\ge 1 olmak üzere z \in \Complex^n karmaşık vektör ve x, y gerçel vektörler olmak üzere z \equiv (x,y) = (x_1,\ldots,x_n,y_1,\ldots,y_n) olsun. Ayrıca, \Omega, \R^{2n}de ya da bu uzayın izomorf olduğu \Complex^nde açık bir küme olsun.
### Doğrusallık
f,g \in C^1(\Omega) ve \alpha,\beta karmaşık sayı olsun. O zaman, her i=1,\dots,n için aşağıdaki eşitlikler sağlanır.

:\begin{align}
\frac{\partial}{\partial z_i} \left(\alpha f+\beta g\right) &= \alpha\frac{\partial f}{\partial z_i} + \beta\frac{\partial g}{\partial z_i} \\
\frac{\partial}{\partial\bar{z}_i} \left(\alpha f+\beta g\right) &= \alpha\frac{\partial f}{\partial\bar{z}_i} + \beta\frac{\partial g}{\partial\bar{z}_i}.
\end{align}

### Çarpma kuralı
f,g \in C^1(\Omega) ve \alpha,\beta karmaşık sayı olsun. O zaman, her i=1,\dots,n için çarpma kuralı sağlanır.

:\begin{align}
\frac{\partial}{\partial z_i} (f\cdot g) &= \frac{\partial f}{\partial z_i}\cdot g + f\cdot\frac{\partial g}{\partial z_i} \\
\frac{\partial}{\partial\bar{z}_i} (f\cdot g) &= \frac{\partial f}{\partial\bar{z}_i}\cdot g + f\cdot\frac{\partial g}{\partial\bar{z}_i}
\end{align}

### Zincir kuralı
Zincir kuralının iki hâli için, \Omega'\subseteq\Complex^m ve \Omega*\subseteq\Complex^p</math> olmak üzere bmlgeler ele alalım. <math>g: \Omega'\to\Omega </math> ve <math>f:\Omega \to \Omega* ise bu bölgeler arasında belirli türevlilik şartlarını yeteri kadar sağlayan gönderim olsunlar.

#### Bir karmaşık değişkenli fonksiyonlar için zincir kuralı
f,g \in C^1(\Omega) ve g(\Omega ) \subseteq \Omega ise, o zaman zincir kuralının aşağıdaki biçimleri sağlanır:
:\begin{align}
\frac{\partial}{\partial z} (f\circ g) &= \left(\frac{\partial f}{\partial z}\circ g \right) \frac{\partial g}{\partial z} + \left(\frac{\partial f}{\partial\bar{z}}\circ g \right) \frac{\partial\bar{g}}{\partial z} \\
\frac{\partial}{\partial\bar{z}} (f\circ g) &= \left(\frac{\partial f}{\partial z}\circ g \right)\frac{\partial g}{\partial\bar{z}}+ \left(\frac{\partial f}{\partial\bar{z}}\circ g \right) \frac{\partial\bar{g}}{\partial\bar{z}}
\end{align}

#### ''n'' > 1 karmaşık değişkenli fonksiyonlar için zincir kuralı
g \in C^1(\Omega',\Omega) ve f \in C^1(\Omega,\Omega'') olsun. Her i= 1,\dots,m için, zincir kuralının aşağıdaki biçimleri sağlanır:
:\begin{align}
\frac{\partial}{\partial z_i} \left(f\circ g\right) &= \sum_{j=1}^n\left(\frac{\partial f}{\partial z_j}\circ g \right) \frac{\partial g_j}{\partial z_i} + \sum_{j=1}^n\left(\frac{\partial f}{\partial\bar{z}_j}\circ g \right) \frac{\partial \bar{g}_j}{\partial z_i} \\
\frac{\partial}{\partial\bar{z}_i} \left(f\circ g\right) &= \sum_{j=1}^n\left(\frac{\partial f}{\partial z_j}\circ g \right) \frac{\partial g_j}{\partial\bar{z}_i} + \sum_{j=1}^n\left(\frac{\partial f}{\partial\bar{z}_j}\circ g \right)\frac{\partial \bar{g}_j}{\partial\bar{z}_i}
\end{align}

### Eşlenik alma altına Wirtinger operatörleri
f\in C^1(\Omega) ise, i=1,\dots,n için aşağıdaki eşitlikler sağlanır:
:\begin{align}
\overline{\left(\frac{\partial f}{\partial z_i}\right)} &= \frac{\partial \bar{f}}{\partial \bar{z}_i} \\
\overline{\left(\frac{\partial f}{\partial \bar{z}_i}\right)} &= \frac{\partial \bar{f}}{\partial z_i}
\end{align}

## Notlar ve kaynakça

*.
*.
*.
*.
*.
*.
*.
*.
*.
*

## Ayrıca bakınız