Wirtinger derivatives explained

In complex analysis of one and several complex variables, Wirtinger derivatives (sometimes also called Wirtinger operators^[1]), named after Wilhelm Wirtinger who introduced them in 1927 in the course of his studies on the theory of functions of several complex variables, are partial differential operators of the first order which behave in a very similar manner to the ordinary derivatives with respect to one real variable, when applied to holomorphic functions, antiholomorphic functions or simply differentiable functions on complex domains. These operators permit the construction of a differential calculus for such functions that is entirely analogous to the ordinary differential calculus for functions of real variables.^[2]

Historical notes

Early days (1899–1911): the work of Henri Poincaré

Wirtinger derivatives were used in complex analysis at least as early as in the paper, as briefly noted by and by .^[3] In the third paragraph of his 1899 paper,^[4] Henri Poincaré first defines the complex variable in

\Complex ^{n} and its complex conjugate as follows\begin{cases} x _{k+iy} _{k=z} _{k\ x} _{k-iy} _{k=u} _{k \end{cases}} 1 \leqslant k \leqslant n.

Then he writes the equation defining the functions

V he calls biharmonique,^[5] previously written using partial derivatives with respect to the real variables x _{k,} y _{q} with k, q ranging from 1 to n , exactly in the following way^[6] (d ^{2} V)/(dz _{k} du _{q}) =0

This implies that he implicitly used below: to see this it is sufficient to compare equations 2 and 2' of . Apparently, this paper was not noticed by early researchers in the theory of functions of several complex variables: in the papers of, (and) and of all fundamental partial differential operators of the theory are expressed directly by using partial derivatives respect to the real and imaginary parts of the complex variables involved. In the long survey paper by (first published in 1913),^[7] partial derivatives with respect to each complex variable of a holomorphic function of several complex variables seem to be meant as formal derivatives: as a matter of fact when Osgood expresses the pluriharmonic operator^[8] and the Levi operator, he follows the established practice of Amoroso, Levi and Levi-Civita.

The work of Dimitrie Pompeiu in 1912 and 1913: a new formulation

g(z) defined in the neighbourhood of a given point z _{0} \in \Complex, he defines the areolar derivative as the following limit{ (\partial g)/(\partial \bar{z) }(z_0)}\mathrel\lim_\frac \oint_ g(z)\mathrmz,

where

\Gamma(z _{0,r)=\partial} D(z _{0,r)} is the boundary of a disk of radius r entirely contained in the domain of definition of g(z), i.e. his bounding circle.^[9] This is evidently an alternative definition of Wirtinger derivative respect to the complex conjugate variable:^[10] it is a more general one, since, as noted a by, the limit may exist for functions that are not even differentiable at z = z _{0.} ^[11] According to, the first to identify the areolar derivative as a weak derivative in the sense of Sobolev was Ilia Vekua.^[12] In his following paper, uses this newly defined concept in order to introduce his generalization of Cauchy's integral formula, the now called Cauchy–Pompeiu formula.

The work of Wilhelm Wirtinger

The first systematic introduction of Wirtinger derivatives seems due to Wilhelm Wirtinger in the paper in order to simplify the calculations of quantities occurring in the theory of functions of several complex variables: as a result of the introduction of these differential operators, the form of all the differential operators commonly used in the theory, like the Levi operator and the Cauchy–Riemann operator, is considerably simplified and consequently easier to handle. The paper is deliberately written from a formal point of view, i.e. without giving a rigorous derivation of the properties deduced.

Formal definition

Despite their ubiquitous use,^[13] it seems that there is no text listing all the properties of Wirtinger derivatives: however, fairly complete references are the short course on multidimensional complex analysis by,^[14] the monograph of,^[15] and the monograph of ^[16] which are used as general references in this and the following sections.

Functions of one complex variable

\Complex \equiv \R ^{2} = \{(x,y) \mid x, y \in \R \} (in a sense of expressing a complex number z = x + iy for real numbers x and y ). The Wirtinger derivatives are defined as the following linear partial differential operators of first order:\begin{align} (\partial)/(\partial z) & = (1)/(2) \left( (\partial)/(\partial x) - i (\partial)/(\partial y) \right) \ (\partial)/(\partial\bar{z) } &= \frac \left(\frac + i \frac \right)\end\Omega \subseteq \R ^{2,} but, since these operators are linear and have constant coefficients, they can be readily extended to every space of generalized functions.

Functions of n > 1 complex variables

Consider the Euclidean space on the complex field $$\backslash Complex^n\; =\; \backslash R^\; =\; \backslash left\backslash .$$ The Wirtinger derivatives are defined as the following linear partial differential operators of first order:$$\backslash begin\backslash frac\; =\; \backslash frac\; \backslash left(\backslash frac-\; i\; \backslash frac\; \backslash right)\; \backslash \backslash \backslash qquad\; \backslash vdots\; \backslash \backslash \backslash frac\; =\; \backslash frac\; \backslash left(\backslash frac-\; i\; \backslash frac\; \backslash right)\; \backslash \backslash \backslash end,\; \backslash qquad$$

\begin\frac = \frac \left(\frac+ i \frac \right) \\\qquad \vdots \\\frac = \frac \left(\frac+ i \frac \right) \\\end.

\Omega \subset \R ^{2n} , and again, since these operators are linear and have constant coefficients, they can be readily extended to every space of generalized functions.

Relation with complex differentiation

When a function

f is complex differentiable at a point, the Wirtinger derivative \partial f/\partial z agrees with the complex derivative df/dz . This follows from the Cauchy-Riemann equations. For the complex function f(z) = u(z) + iv(z) which is complex differentiable\begin{align} (\partial f)/(\partial z) & = (1)/(2) \left( (\partial f)/(\partial x) - i (\partial f)/(\partial y) \right) \ & = (1)/(2) \left( (\partial u)/(\partial x) + i (\partial v)/(\partial x) - i (\partial u)/(\partial y) + (\partial v)/(\partial y) \right) \ & = (\partial u)/(\partial z) + i (\partial v)/(\partial z) = (d f)/(d z) \end{align}

where the third equality uses the first definition of Wirtinger's derivatives for u and v.

The second Wirtinger derivative is also related with complex differentiation;

(\partial f)/(\partial \bar{z) } = 0 is equivalent to the Cauchy-Riemann equations in a complex form.

Basic properties

In the present section and in the following ones it is assumed that

z \in \Complex ^{n} is a complex vector and that z \equiv (x,y) = (x _{1,\ldots,x} _{n,y} _{1,\ldots,y} _{n)} where x,y are real vectors, with n ≥ 1: also it is assumed that the subset \Omega can be thought of as a domain in the real euclidean space \R ^{2n} or in its isomorphic complex counterpart \Complex ^{n.} All the proofs are easy consequences of and and of the corresponding properties of the derivatives (ordinary or partial).

Linearity

If

f,g \in C ^{1(\Omega)} and \alpha,\beta are complex numbers, then for i =1 , ... ,n the following equalities hold\begin{align} (\partial)/(\partial z _{i}) \left(\alpha f + \beta g\right) & = \alpha (\partial f)/(\partial z _{i}) + \beta (\partial g)/(\\ \partial z _{i}) (\partial)/(\partial\bar{z) _{i}} \left(\alpha f + \beta g\right) & = \alpha (\partial f)/(\partial\bar{z) _{i}} + \beta (\partial g)/(\partial\bar{z) _{i} \end{align}}

Product rule

If

f,g \in C ^{1(\Omega),} then for i = 1 , ... ,n the product rule holds\begin{align} (\partial)/(\partial z _{i}) (f ⋅ g) & = (\partial f)/(\partial z _{i}) ⋅ g + f ⋅ (\partial g)/(\\ \partial z _{i}) (\partial)/(\partial\bar{z) _{i}} (f ⋅ g) & = (\partial f)/(\partial\bar{z) _{i} ⋅} g + f ⋅ (\partial g)/(\partial\bar{z) _{i} \end{align}}

This property implies that Wirtinger derivatives are derivations from the abstract algebra point of view, exactly like ordinary derivatives are.

Chain rule

\Omega'\subseteq\Complex ^{m} and \Omega''\subseteq\Complex ^{p} and two maps g: \Omega'\to\Omega and f:\Omega \to \Omega'' having natural smoothness requirements.^[17]

Functions of one complex variable

If

f,g \in C ^{1(\Omega),} and g(\Omega ) \subseteq \Omega, then the chain rule holds\begin{align} (\partial)/(\partial z) (f\circ g) & = \left( (\partial f)/(\partial z) \circ g \right) (\partial g)/(\partial z) + \left( (\partial f)/(\partial\bar{z) }\circ g \right) \frac \\\frac (f\circ g) &= \left(\frac\circ g \right)\frac+ \left(\frac\circ g \right) \frac\end

Functions of n > 1 complex variables

If

g \in C ^{1(\Omega',\Omega)} and f \in C ^{1(\Omega,\Omega''),} then for i = 1 , ... ,m the following form of the chain rule holds\begin{align} (\partial)/(\partial z _{i}) \left(f\circ g\right) & = \sum ^{n\left( (\partial f)/(\partial z _{j})} _{j =1} \circ g \right) (\partial g _{j})/(\partial z _{i}) + \sum ^{n\left( (\partial f)/(\partial\bar{z)} _{j}\circ} g \right) (\partial \bar{g)/(_{j}{\partial}) z _{i}} \\ (\partial)/(\partial\bar{z) _{i}} \left(f\circ g\right) & = \sum ^{n\left( (\partial f)/(\partial z _{j})} _{j =1} \circ g \right) (\partial g _{j})/(\partial\bar{z) _{i}} + \sum ^{n\left( (\partial f)/(\partial\bar{z)} _{j}\circ} g \right) (\partial \bar{g)/(_{j}{\partial\bar{z}}) _{i} \end{align}}

Conjugation

If

f\in C ^{1(\Omega),} then for i =1 , ... ,n the following equalities hold\begin{align} \overline{\left( (\partial f)/(\partial z _{i}) \right)} & = (\partial \bar{f)/() } \\\overline &= \frac\end

See also

• CR–function
• Dolbeault complex
• Dolbeault operator
• Pluriharmonic function

References

Historical references

• . "On a boundary value problem" (free translation of the title) is the first paper where a set of (fairly complicate) necessary and sufficient conditions for the solvability of the Dirichlet problem for holomorphic functions of several variables is given.
• .
• . "Areolar derivative and functions of bounded variation" (free English translation of the title) is an important reference paper in the theory of areolar derivatives.
• . "Studies on essential singular points of analytic functions of two or more complex variables" (English translation of the title) is an important paper in the theory of functions of several complex variables, where the problem of determining what kind of hypersurface can be the boundary of a domain of holomorphy.
• . "On the hypersurfaces of the 4-dimensional space that can be the boundary of the domain of existence of an analytic function of two complex variables" (English translation of the title) is another important paper in the theory of functions of several complex variables, investigating further the theory started in .
• . "On the functions of two or more complex variables" (free English translation of the title) is the first paper where a sufficient condition for the solvability of the Cauchy problem for holomorphic functions of several complex variables is given.
• .
• , available at DigiZeitschriften.
• .
• .
• .
  • , available at DigiZeitschriften. In this important paper, Wirtinger introduces several important concepts in the theory of functions of several complex variables, namely Wirtinger's derivatives and the tangential Cauchy-Riemann condition.

Scientific references

• . Introduction to complex analysis is a short course in the theory of functions of several complex variables, held in 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".
• . 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".

Notes and References

1. See references and .
2. Some of the basic properties of Wirtinger derivatives are the same ones as the properties characterizing the ordinary (or partial) derivatives and used for the construction of the usual differential calculus.
3. Reference to the work of Henri Poincaré is precisely stated by, while Reinhold Remmert does not cite any reference to support his assertion.
4. See reference
5. These functions are precisely pluriharmonic functions, and the linear differential operator defining them, i.e. the operator in equation 2 of, is exactly the n-dimensional pluriharmonic operator.
6. See, equation 2': note that, throughout the paper, the symbol d is used to signify partial differentiation respect to a given variable, instead of the now commonplace symbol ∂.
7. The corrected Dover edition of Osgood's 1913 paper contains much important historical information on the early development of the theory of functions of several complex variables, and is therefore a useful source.
8. See : curiously, he calls Cauchy–Riemann equations this set of equations.
9. This is the definition given by in his approach to Pompeiu's work: as remarks, the original definition of does not require the domain of integration to be a circle. See the entry areolar derivative for further information.
10. See the section "Formal definition" of this entry.
11. See problem 2 in for one example of such a function.
12. See also the excellent book by, Theorem 1.31: If the generalized derivative \partial _{\bar{z} }w \in L _{p(\Omega)} , p > 1, then the function w(z) has almost everywhere in G a derivative in the sense of Pompeiu, the latter being equal to the Generalized derivative in the sense of Sobolev \partial _{\bar{z} }w.
13. With or without the attribution of the concept to Wilhelm Wirtinger: see, for example, the well known monograph .
14. In this course lectures, Aldo Andreotti uses the properties of Wirtinger derivatives in order to prove the closure of the algebra of holomorphic functions under certain operations: this purpose is common to all references cited in this section.
15. This is a classical work on the theory of functions of several complex variables dealing mainly with its sheaf theoretic aspects: however, in the introductory sections, Wirtinger derivatives and a few other analytical tools are introduced and their application to the theory is described.
16. In this work, the authors prove some of the properties of Wirtinger derivatives also for the general case of C ^{1} functions: in this single aspect, their approach is different from the one adopted by the other authors cited in this section, and perhaps more complete.
17. See and also : Gunning considers the general case of C ^{1} functions but only for p = 1. References and, as already pointed out, consider only holomorphic maps with p = 1: however, the resulting formulas are formally very similar.