ウィルティンガーの微分

一変数および多変数の複素解析において、**ウィルティンガーの微分**（, ときに  とも）は、複素多変数関数論に関する研究において1927年に導入したヴィルヘルム・ヴィルティンガー (Wilhelm Wirtinger) の名前にちなんでおり、正則関数、、あるいは単に複素領域上の微分可能な関数に適用したときに、1つのに関して通常の微分と非常によく似た振る舞いをする、一階の偏微分作用素である。これらの作用素によって、そのような関数に対する微分学の、に対する通常の微分学と完全に類似した、構成ができる。

## 導入
複素数  を実部と虚部に分解して  と書き、 の適当な領域  上の実可微分関数  に対し、偏微分
:\frac{\partial f}{\partial x} = \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x},\quad \frac{\partial f}{\partial y} = \frac{\partial u}{\partial y} + i \frac{\partial v}{\partial y}
を考えることができる。座標関数として  ではなく  を考えるとき、これとは別の偏微分作用素としてヴィルティンガー微分が定義されるが、複素数値関数を実部と虚部に明示的に分けずとも計算できるため扱いはより平易なものとなる。 

可微分関数  の全微分  を偏微分を用いて
: df = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy
と書くとき、 とすれば微分小に関して
: dx = \frac{1}{2}(dz + d\bar z),\quad dy =  \frac{i}{2}(d\bar z -dz)
であり、これをもとの全微分に代入して整理したものを形式的に 
:df = \frac{\partial f}{\partial z} dz + \frac{\partial f}{\partial \bar{z}} d\bar z
と書けば、各係数
:\frac{\partial f}{\partial z}:= \frac12\left(\frac{\partial f}{\partial x}-i\frac{\partial f}{\partial y}\right),\qquad \frac{\partial f}{\partial \bar{z}}:= \frac12\left(\frac{\partial f}{\partial x}+i\frac{\partial f}{\partial y}\right)
が**ヴィルティンガー微分**と呼ばれるものである。しばしば  および  をそれぞれ  および  とも書き、また作用素  は**コーシー&ndash;リーマン作用素**とも呼ばれる。

## 定義

### 一変数の場合
 複素平面 \mathbb C \equiv \mathbb R^2 = \{(x,y) \mid x\in \mathbb R,\  y\in\mathbb R\}  を考えよう。ウィルティンガーの微分は次の一階線型偏微分作用素として定義される：

: \frac{\partial}{\partial z} = \frac{1}{2} \left( \frac{\partial}{\partial x} - i \frac{\partial}{\partial y} \right), \quad \frac{\partial}{\partial\bar{z}}= \frac{1}{2} \left( \frac{\partial}{\partial x} + i \frac{\partial}{\partial y} \right).

明らかに、これらの偏微分作用素の自然な定義域は領域 \Omega \subseteq \mathbb R^2 上の <math>C^1</math> 級関数の空間であるが、これらの作用素は線型であり定数係数であるから、超関数の各空間にただちに拡張できる。

### 多変数の場合
 複素数体上のユークリッド空間 \mathbb{C}^n = \mathbb{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 \mathbb{R}^n \right\} を考えよう。ウィルティンガーの微分は次の一階行列線型偏微分作用素として定義される：

:\begin{cases}
\frac{\partial}{\partial z_1} &= \frac{1}{2} \left( \frac{\partial}{\partial x_1}- i \frac{\partial}{\partial y_1} \right) \\
&\,\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) \\
&\,\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}.
一変数のときと同様これらの偏微分作用素の自然な定義域は領域 **<math>\Omega</math>**&nbsp;⊆&nbsp;ℝ*2n* 上の C^1 級関数の空間であるが定数係数の線型作用素のため超関数の空間へと拡張できる。

## 基本的な性質
この節以降 z \in \mathbb C^n は複素ベクトルであり z \equiv (x,y) = (x_1,\ldots,x_n,y_1,\ldots,y_n) ただし x,&nbsp;y は実ベクトルで *n*&nbsp;≥&nbsp;1 とする。また、部分集合 **<math>\Omega</math>** は ℝ2*n* あるいは ℂ*n* の領域とする。証明は全て、、そして（常あるいは偏）微分の対応する性質の容易な結果である。

### 線型性
 f,g \in C^1(\Omega) とし、\alpha,\beta を複素数とすると、i=1,\dots,n に対して、以下の等式が成り立つ

: \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},\quad \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}

### 積の法則
 f,g \in C^1(\Omega) であれば、i= 1,\dots,n に対して、積の微分法則が成り立つ

: \frac{\partial}{\partial z_i} \left(f\cdot g\right)= \frac{\partial f}{\partial z_i}\cdot g + f\cdot\frac{\partial g}{\partial z_i},\quad \frac{\partial}{\partial\bar{z}_i} \left(f\cdot g\right) = \frac{\partial f}{\partial\bar{z}_i}\cdot g + f\cdot\frac{\partial g}{\partial\bar{z}_i}

この性質によってウィルティンガーの微分はちょうど通常の微分のように抽象代数学的視点の微分であることに注意。

### チェインルール
これは一変数と多変数とで異なる：*n* > 1 に対して完全な一般性でチェインルールを表現するには2つの領域 \Omega'\subseteq\mathbb C^m および \Omega*\subseteq\mathbb C^p</math> と自然な滑らかさの要求を満たす2つの関数 <math>g: \Omega'\to\Omega </math> および <math>f:\Omega \to \Omega* を考える必要がある。

#### 一変数の場合
 f,g \in C^1(\Omega) および g(\Omega) \subseteq \Omega であれば、チェインルールが成り立つ

: \frac{\partial}{\partial z} \left(f\circ g\right)= \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}} \left(f\circ g\right) = \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}}

#### 多変数の場合
 g \in C^1(\Omega^\prime,\Omega) および \scriptstyle f \in C^1(\Omega,\Omega^{\prime\prime}) であれば、i= 1,\dots,m に対し、以下の形のチェインルールが成り立つ

: \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}

### 共役
 f\in C^1(\Omega) であれば、i=1,\dots,n に対して、以下の等式が成り立つ

:\frac{\overline{\partial f}}{\partial z_i}= \frac{\partial \bar{f}}{\partial \bar{z}_i},\quad \frac{\overline{\partial f}}{\partial \bar{z}_i}= \frac{\partial \bar{f}}{\partial z_i}

## 例
* \frac{\partial z}{\partial z}=1,\,\frac{\partial\bar{z}}{\partial z}=0,\,
\frac{\partial z}{\partial \bar{z}}=0,\,\frac{\partial\bar{z}}{\partial \bar{z}}=1.
* *f*(*z*) が *z* と  の多項式であるとき、*z*,  を独立変数と思って形式的に偏微分すればよい。例えば、
::\begin{align}
\frac{\partial}{\partial z}(z^3+3z\bar{z}+\bar{z}^2)&=3z^2+3\bar{z}\\
\frac{\partial}{\partial \bar{z}}(z^3+3z\bar{z}+\bar{z}^2)&=3z+2\bar{z}
\end{align}
* *f* が正則であるとき、*f*&thinsp;&prime; = ∂*f* である。
* コーシー・リーマンの方程式が成り立つことと、*f* = 0 となることは同値である。
* ∂ = ∂ = (1/4)Δ, ここで Δ = ∂2/∂*x*2 + ∂2/∂*y*2 はラプラシアン。
** 正則関数を実部・虚部に分け *f* = *u* + *iv* とすると、Δ*f* = 4∂*f* = 0, したがって Δ*u* + *i*Δ*v* = 0 となるから、Δ*u* = Δ*v* = 0, すなわち *u* と *v* は調和であることがわかる。

## 関連項目
* コーシー・リーマンの関係式
*  (CR-関数)
* 
* ドルボー作用素
* 

## 脚注

## 参考文献
*. *Introduction to complex analysis* is a short course in the theory of functions of several complex variables, held on February 1972 at the Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni "''Beniamino Segre''".
*.
*.
*.
*.
*.
*.
*.
*. "*Elementary introduction to the theory of functions of complex variables with particular regard to integral representations*" (English translation of the title) are the notes form a course, published by the Accademia Nazionale dei Lincei, held by Martinelli when he was "*Professore Linceo*".

* ISBN 978-0-387-97195-7. A textbook on complex analysis including many historical notes on the subject.
*. Notes from a course held by Francesco Severi at the Istituto Nazionale di Alta Matematica (which at present bears his name), containing appendices of Enzo Martinelli, Giovanni Battista Rizza and Mario Benedicty. An English translation of the title reads as:-"*Lectures on analytic functions of several complex variables – Lectured in 1956–57 at the Istituto Nazionale di Alta Matematica in Rome*".
* 
*