fbpx
Wikipedia

Wirtinger derivatives

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 (Poincaré 1899), as briefly noted by Cherry & Ye (2001, p. 31) and by Remmert (1991, pp. 66–67).[3] As a matter of fact, in the third paragraph of his 1899 paper,[4] Henri Poincaré first defines the complex variable in   and its complex conjugate as follows

 

Then he writes the equation defining the functions   he calls biharmonique,[5] previously written using partial derivatives with respect to the real variables   with   ranging from 1 to  , exactly in the following way[6]

 

This implies that he implicitly used definition 2 below: to see this it is sufficient to compare equations 2 and 2' of (Poincaré 1899, p. 112). Apparently, this paper was not noticed by early researchers in the theory of functions of several complex variables: in the papers of Levi-Civita (1905), Levi (1910) (and Levi 1911) and of Amoroso (1912) 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 Osgood (1966) (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

According to Henrici (1993, p. 294), a new step in the definition of the concept was taken by Dimitrie Pompeiu: in the paper (Pompeiu 1912), given a complex valued differentiable function (in the sense of real analysis) of one complex variable   defined in the neighbourhood of a given point   he defines the areolar derivative as the following limit

 

where   is the boundary of a disk of radius   entirely contained in the domain of definition of   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 Henrici (1993, p. 294), the limit may exist for functions that are not even differentiable at  [11] According to Fichera (1969, p. 28), the first to identify the areolar derivative as a weak derivative in the sense of Sobolev was Ilia Vekua.[12] In his following paper, Pompeiu (1913) 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 Wirtinger 1927 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 Andreotti (1976, pp. 3–5),[14] the monograph of Gunning & Rossi (1965, pp. 3–6),[15] and the monograph of Kaup & Kaup (1983, p. 2,4)[16] which are used as general references in this and the following sections.

Functions of one complex variable

Definition 1. Consider the complex plane   The Wirtinger derivatives are defined as the following linear partial differential operators of first order:

 

Clearly, the natural domain of definition of these partial differential operators is the space of   functions on a domain   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

Definition 2. Consider the Euclidean space on the complex field

 
The Wirtinger derivatives are defined as the following linear partial differential operators of first order:
 

As for Wirtinger derivatives for functions of one complex variable, the natural domain of definition of these partial differential operators is again the space of   functions on a domain   and again, since these operators are linear and have constant coefficients, they can be readily extended to every space of generalized functions.

Basic properties

In the present section and in the following ones it is assumed that   is a complex vector and that   where   are real vectors, with n ≥ 1: also it is assumed that the subset   can be thought of as a domain in the real euclidean space   or in its isomorphic complex counterpart   All the proofs are easy consequences of definition 1 and definition 2 and of the corresponding properties of the derivatives (ordinary or partial).

Linearity

Lemma 1. If   and   are complex numbers, then for   the following equalities hold

 

Product rule

Lemma 2. If   then for   the product rule holds

 

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

Chain rule

This property takes two different forms respectively for functions of one and several complex variables: for the n > 1 case, to express the chain rule in its full generality it is necessary to consider two domains   and   and two maps   and   having natural smoothness requirements.[17]

Functions of one complex variable

Lemma 3.1 If   and   then the chain rule holds

 

Functions of n > 1 complex variables

Lemma 3.2 If   and   then for   the following form of the chain rule holds

 

Conjugation

Lemma 4. If   then for   the following equalities hold

 

See also

Notes

  1. ^ See references Fichera 1986, p. 62 and Kracht & Kreyszig 1988, p. 10.
  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 Poincaré 1899 of Henri Poincaré is precisely stated by Cherry & Ye (2001), while Reinhold Remmert does not cite any reference to support his assertion.
  4. ^ See reference (Poincaré 1899, pp. 111–114)
  5. ^ These functions are precisely pluriharmonic functions, and the linear differential operator defining them, i.e. the operator in equation 2 of (Poincaré 1899, p. 112), is exactly the n-dimensional pluriharmonic operator.
  6. ^ See (Poincaré 1899, p. 112), equation 2': note that, throughout the paper, the symbol   is used to signify partial differentiation respect to a given variable, instead of the now commonplace symbol ∂.
  7. ^ The corrected Dover edition of the paper (Osgood 1913) 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 Osgood (1966, pp. 23–24): curiously, he calls Cauchy–Riemann equations this set of equations.
  9. ^ This is the definition given by Henrici (1993, p. 294) in his approach to Pompeiu's work: as Fichera (1969, p. 27) remarks, the original definition of Pompeiu (1912) 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 Henrici 1993, p. 294 for one example of such a function.
  12. ^ See also the excellent book by Vekua (1962, p. 55), Theorem 1.31: If the generalized derivative   , p > 1, then the function   has almost everywhere in   a derivative in the sense of Pompeiu, the latter being equal to the Generalized derivative in the sense of Sobolev  .
  13. ^ With or without the attribution of the concept to Wilhelm Wirtinger: see, for example, the well known monograph Hörmander 1990, p. 1,23.
  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   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 Kaup & Kaup 1983, p. 4 and also Gunning 1990, p. 5: Gunning considers the general case of   functions but only for p = 1. References Andreotti 1976, p. 5 and Gunning & Rossi 1965, p. 6, as already pointed out, consider only holomorphic maps with p = 1: however, the resulting formulas are formally very similar.

References

Historical references

  • Amoroso, Luigi (1912), "Sopra un problema al contorno", Rendiconti del Circolo Matematico di Palermo (in Italian), 33 (1): 75–85, doi:10.1007/BF03015289, JFM 43.0453.03, S2CID 122956910. "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.
  • Cherry, W.; Ye, Z. (2001), Nevanlinna's theory of value distribution: the second main theorem and its error terms, Springer Monographs in Mathematics, Berlin: Springer Verlag, pp. XII+202, ISBN 978-3-540-66416-1, MR 1831783, Zbl 0981.30001.
  • Fichera, Gaetano (1969), "Derivata areolare e funzioni a variazione limitata", Revue Roumaine de Mathématiques Pures et Appliquées (in Italian), XIV (1): 27–37, MR 0265616, Zbl 0201.10002. "Areolar derivative and functions of bounded variation" (free English translation of the title) is an important reference paper in the theory of areolar derivatives.
  • Levi, Eugenio Elia (1910), "Studii sui punti singolari essenziali delle funzioni analitiche di due o più variabili complesse", Annali di Matematica Pura ed Applicata, s. III (in Italian), XVII (1): 61–87, doi:10.1007/BF02419336, JFM 41.0487.01, S2CID 122678686. "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.
  • Levi, Eugenio Elia (1911), "Sulle ipersuperficie dello spazio a 4 dimensioni che possono essere frontiera del campo di esistenza di una funzione analitica di due variabili complesse", Annali di Matematica Pura ed Applicata, s. III (in Italian), XVIII (1): 69–79, doi:10.1007/BF02420535, JFM 42.0449.02, S2CID 120133326. "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 (Levi 1910).
  • Levi-Civita, Tullio (1905), "Sulle funzioni di due o più variabili complesse", Rendiconti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 5 (in Italian), XIV (2): 492–499, JFM 36.0482.01. "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.
  • Osgood, William Fogg (1966) [1913], Topics in the theory of functions of several complex variables (unabridged and corrected ed.), New York: Dover, pp. IV+120, JFM 45.0661.02, MR 0201668, Zbl 0138.30901.
  • Peschl, Ernst (1932), "Über die Krümmung von Niveaukurven bei der konformen Abbildung einfachzusammenhängender Gebiete auf das Innere eines Kreises. Eine Verallgemeinerung eines Satzes von E. Study.", Mathematische Annalen (in German), 106: 574–594, doi:10.1007/BF01455902, JFM 58.1096.05, MR 1512774, S2CID 127138808, Zbl 0004.30001, available at DigiZeitschriften.
  • Poincaré, H. (1899), "Sur les propriétés du potentiel et sur les fonctions Abéliennes", Acta Mathematica (in French), 22 (1): 89–178, doi:10.1007/BF02417872, JFM 29.0370.02.
  • Pompeiu, D. (1912), "Sur une classe de fonctions d'une variable complexe", Rendiconti del Circolo Matematico di Palermo (in French), 33 (1): 108–113, doi:10.1007/BF03015292, JFM 43.0481.01, S2CID 120717465.
  • Pompeiu, D. (1913), "Sur une classe de fonctions d'une variable complexe et sur certaines équations intégrales", Rendiconti del Circolo Matematico di Palermo (in French), 35 (1): 277–281, doi:10.1007/BF03015607, S2CID 121616964.
  • Vekua, I. N. (1962), Generalized Analytic Functions, International Series of Monographs in Pure and Applied Mathematics, vol. 25, London–Paris–Frankfurt: Pergamon Press, pp. xxx+668, MR 0150320, Zbl 0100.07603
  • Wirtinger, Wilhelm (1927), "Zur formalen Theorie der Funktionen von mehr komplexen Veränderlichen", Mathematische Annalen (in German), 97: 357–375, doi:10.1007/BF01447872, JFM 52.0342.03, S2CID 121149132, 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

  • Andreotti, Aldo (1976), , Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni (in Italian), vol. 24, Rome: Accademia Nazionale dei Lincei, p. 34, archived from the original on 2012-03-07, retrieved 2010-08-28. 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".
  • Fichera, Gaetano (1986), "Unification of global and local existence theorems for holomorphic functions of several complex variables", Memorie della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 8, 18 (3): 61–83, MR 0917525, Zbl 0705.32006.
  • Gunning, Robert C.; Rossi, Hugo (1965), Analytic Functions of Several Complex Variables, Prentice-Hall series in Modern Analysis, Englewood Cliffs, N.J.: Prentice-Hall, pp. xiv+317, ISBN 9780821869536, MR 0180696, Zbl 0141.08601.
  • Gunning, Robert C. (1990), Introduction to Holomorphic Functions of Several Variables. Volume I: Function Theory, Wadsworth & Brooks/Cole Mathematics Series, Belmont, California: Wadsworth & Brooks/Cole, pp. xx+203, ISBN 0-534-13308-8, MR 1052649, Zbl 0699.32001.
  • Henrici, Peter (1993) [1986], Applied and Computational Complex Analysis Volume 3, Wiley Classics Library (Reprint ed.), New York–Chichester–Brisbane–Toronto–Singapore: John Wiley & Sons, pp. X+637, ISBN 0-471-58986-1, MR 0822470, Zbl 1107.30300.
  • Hörmander, Lars (1990) [1966], An Introduction to Complex Analysis in Several Variables, North–Holland Mathematical Library, vol. 7 (3rd (Revised) ed.), Amsterdam–London–New York–Tokyo: North-Holland, ISBN 0-444-88446-7, MR 1045639, Zbl 0685.32001.
  • Kaup, Ludger; Kaup, Burchard (1983), Holomorphic functions of several variables, de Gruyter Studies in Mathematics, vol. 3, Berlin–New York: Walter de Gruyter, pp. XV+349, ISBN 978-3-11-004150-7, MR 0716497, Zbl 0528.32001.
  • Kracht, Manfred; Kreyszig, Erwin (1988), Methods of Complex Analysis in Partial Differential Equations and Applications, Canadian Mathematical Society Series of Monographs and Advanced Texts, New York–Chichester–Brisbane–Toronto–Singapore: John Wiley & Sons, pp. xiv+394, ISBN 0-471-83091-7, MR 0941372, Zbl 0644.35005.
  • Martinelli, Enzo (1984), , Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni (in Italian), vol. 67, Rome: Accademia Nazionale dei Lincei, pp. 236+II, archived from the original on 2011-09-27, retrieved 2010-08-24. "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".
  • Remmert, Reinhold (1991), Theory of Complex Functions, Graduate Texts in Mathematics, vol. 122 (Fourth corrected 1998 printing ed.), New York–Berlin–Heidelberg–Barcelona–Hong Kong–London–Milan–Paris–Singapore–Tokyo: Springer Verlag, pp. xx+453, ISBN 0-387-97195-5, MR 1084167, Zbl 0780.30001 ISBN 978-0-387-97195-7. A textbook on complex analysis including many historical notes on the subject.
  • Severi, Francesco (1958), Lezioni sulle funzioni analitiche di più variabili complesse – Tenute nel 1956–57 all'Istituto Nazionale di Alta Matematica in Roma (in Italian), Padova: CEDAM – Casa Editrice Dott. Antonio Milani, pp. XIV+255, Zbl 0094.28002. 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".

wirtinger, derivatives, complex, analysis, several, complex, variables, sometimes, also, called, wirtinger, operators, named, after, wilhelm, wirtinger, introduced, them, 1927, course, studies, theory, functions, several, complex, variables, partial, different. 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 Contents 1 Historical notes 1 1 Early days 1899 1911 the work of Henri Poincare 1 2 The work of Dimitrie Pompeiu in 1912 and 1913 a new formulation 1 3 The work of Wilhelm Wirtinger 2 Formal definition 2 1 Functions of one complex variable 2 2 Functions of n gt 1 complex variables 3 Basic properties 3 1 Linearity 3 2 Product rule 3 3 Chain rule 3 3 1 Functions of one complex variable 3 3 2 Functions of n gt 1 complex variables 3 4 Conjugation 4 See also 5 Notes 6 References 6 1 Historical references 6 2 Scientific referencesHistorical notes EditEarly days 1899 1911 the work of Henri Poincare Edit Wirtinger derivatives were used in complex analysis at least as early as in the paper Poincare 1899 as briefly noted by Cherry amp Ye 2001 p 31 and by Remmert 1991 pp 66 67 3 As a matter of fact in the third paragraph of his 1899 paper 4 Henri Poincare first defines the complex variable in C n displaystyle mathbb C n and its complex conjugate as follows x k i y k z k x k i y k u k 1 k n displaystyle begin cases x k iy k z k x k iy k u k end cases qquad 1 leqslant k leqslant n Then he writes the equation defining the functions V displaystyle V he calls biharmonique 5 previously written using partial derivatives with respect to the real variables x k y q displaystyle x k y q with k q displaystyle k q ranging from 1 to n displaystyle n exactly in the following way 6 d 2 V d z k d u q 0 displaystyle frac d 2 V dz k du q 0 This implies that he implicitly used definition 2 below to see this it is sufficient to compare equations 2 and 2 of Poincare 1899 p 112 Apparently this paper was not noticed by early researchers in the theory of functions of several complex variables in the papers of Levi Civita 1905 Levi 1910 and Levi 1911 and of Amoroso 1912 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 Osgood 1966 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 Edit According to Henrici 1993 p 294 a new step in the definition of the concept was taken by Dimitrie Pompeiu in the paper Pompeiu 1912 given a complex valued differentiable function in the sense of real analysis of one complex variable g z displaystyle g z defined in the neighbourhood of a given point z 0 C displaystyle z 0 in mathbb C he defines the areolar derivative as the following limit g z z 0 d e f lim r 0 1 2 p i r 2 G z 0 r g z d z displaystyle frac partial g partial bar z z 0 mathrel overset mathrm def lim r to 0 frac 1 2 pi ir 2 oint Gamma z 0 r g z mathrm d z where G z 0 r D z 0 r displaystyle Gamma z 0 r partial D z 0 r is the boundary of a disk of radius r displaystyle r entirely contained in the domain of definition of g z displaystyle 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 Henrici 1993 p 294 the limit may exist for functions that are not even differentiable at z z 0 displaystyle z z 0 11 According to Fichera 1969 p 28 the first to identify the areolar derivative as a weak derivative in the sense of Sobolev was Ilia Vekua 12 In his following paper Pompeiu 1913 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 Edit The first systematic introduction of Wirtinger derivatives seems due to Wilhelm Wirtinger in the paper Wirtinger 1927 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 EditDespite 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 Andreotti 1976 pp 3 5 14 the monograph of Gunning amp Rossi 1965 pp 3 6 15 and the monograph of Kaup amp Kaup 1983 p 2 4 16 which are used as general references in this and the following sections Functions of one complex variable Edit Definition 1 Consider the complex plane C R 2 x y x y R displaystyle mathbb C equiv mathbb R 2 x y mid x y in mathbb R The Wirtinger derivatives are defined as the following linear partial differential operators of first order z 1 2 x i y z 1 2 x i y displaystyle begin aligned frac partial partial z amp frac 1 2 left frac partial partial x i frac partial partial y right frac partial partial bar z amp frac 1 2 left frac partial partial x i frac partial partial y right end aligned Clearly the natural domain of definition of these partial differential operators is the space of C 1 displaystyle C 1 functions on a domain W R 2 displaystyle Omega subseteq mathbb 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 gt 1 complex variables Edit Definition 2 Consider the Euclidean space on the complex fieldC n R 2 n x y x 1 x n y 1 y n x y R n displaystyle 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 The Wirtinger derivatives are defined as the following linear partial differential operators of first order z 1 1 2 x 1 i y 1 z n 1 2 x n i y n z 1 1 2 x 1 i y 1 z n 1 2 x n i y n displaystyle 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 As for Wirtinger derivatives for functions of one complex variable the natural domain of definition of these partial differential operators is again the space of C 1 displaystyle C 1 functions on a domain W R 2 n displaystyle Omega subset mathbb R 2n and again since these operators are linear and have constant coefficients they can be readily extended to every space of generalized functions Basic properties EditIn the present section and in the following ones it is assumed that z C n displaystyle z in mathbb C n is a complex vector and that z x y x 1 x n y 1 y n displaystyle z equiv x y x 1 ldots x n y 1 ldots y n where x y displaystyle x y are real vectors with n 1 also it is assumed that the subset W displaystyle Omega can be thought of as a domain in the real euclidean space R 2 n displaystyle mathbb R 2n or in its isomorphic complex counterpart C n displaystyle mathbb C n All the proofs are easy consequences of definition 1 and definition 2 and of the corresponding properties of the derivatives ordinary or partial Linearity Edit Lemma 1 If f g C 1 W displaystyle f g in C 1 Omega and a b displaystyle alpha beta are complex numbers then for i 1 n displaystyle i 1 dots n the following equalities hold z i a f b g a f z i b g z i z i a f b g a f z i b g z i displaystyle begin aligned frac partial partial z i left alpha f beta g right amp 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 amp alpha frac partial f partial bar z i beta frac partial g partial bar z i end aligned Product rule Edit Lemma 2 If f g C 1 W displaystyle f g in C 1 Omega then for i 1 n displaystyle i 1 dots n the product rule holds z i f g f z i g f g z i z i f g f z i g f g z i displaystyle begin aligned frac partial partial z i f cdot g amp 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 amp frac partial f partial bar z i cdot g f cdot frac partial g partial bar z i end aligned This property implies that Wirtinger derivatives are derivations from the abstract algebra point of view exactly like ordinary derivatives are Chain rule Edit This property takes two different forms respectively for functions of one and several complex variables for the n gt 1 case to express the chain rule in its full generality it is necessary to consider two domains W C m displaystyle Omega subseteq mathbb C m and W C p displaystyle Omega subseteq mathbb C p and two maps g W W displaystyle g Omega to Omega and f W W displaystyle f Omega to Omega having natural smoothness requirements 17 Functions of one complex variable Edit Lemma 3 1 If f g C 1 W displaystyle f g in C 1 Omega and g W W displaystyle g Omega subseteq Omega then the chain rule holds z f g f z g g z f z g g z z f g f z g g z f z g g z displaystyle begin aligned frac partial partial z f circ g amp 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 amp 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 aligned Functions of n gt 1 complex variables Edit Lemma 3 2 If g C 1 W W displaystyle g in C 1 Omega Omega and f C 1 W W displaystyle f in C 1 Omega Omega then for i 1 m displaystyle i 1 dots m the following form of the chain rule holds z i f g j 1 n f z j g g j z i j 1 n f z j g g j z i z i f g j 1 n f z j g g j z i j 1 n f z j g g j z i displaystyle begin aligned frac partial partial z i left f circ g right amp 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 amp 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 aligned Conjugation Edit Lemma 4 If f C 1 W displaystyle f in C 1 Omega then for i 1 n displaystyle i 1 dots n the following equalities hold f z i f z i f z i f z i displaystyle begin aligned overline left frac partial f partial z i right amp frac partial bar f partial bar z i overline left frac partial f partial bar z i right amp frac partial bar f partial z i end aligned See also EditCR function Dolbeault complex Dolbeault operator Pluriharmonic functionNotes Edit See references Fichera 1986 p 62 and Kracht amp Kreyszig 1988 p 10 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 Reference to the work Poincare 1899 of Henri Poincare is precisely stated by Cherry amp Ye 2001 while Reinhold Remmert does not cite any reference to support his assertion See reference Poincare 1899 pp 111 114 These functions are precisely pluriharmonic functions and the linear differential operator defining them i e the operator in equation 2 of Poincare 1899 p 112 is exactly the n dimensional pluriharmonic operator See Poincare 1899 p 112 equation 2 note that throughout the paper the symbol d displaystyle d is used to signify partial differentiation respect to a given variable instead of the now commonplace symbol The corrected Dover edition of the paper Osgood 1913 harv error no target CITEREFOsgood1913 help contains much important historical information on the early development of the theory of functions of several complex variables and is therefore a useful source See Osgood 1966 pp 23 24 curiously he calls Cauchy Riemann equations this set of equations This is the definition given by Henrici 1993 p 294 in his approach to Pompeiu s work as Fichera 1969 p 27 remarks the original definition of Pompeiu 1912 does not require the domain of integration to be a circle See the entry areolar derivative for further information See the section Formal definition of this entry See problem 2 in Henrici 1993 p 294 for one example of such a function See also the excellent book by Vekua 1962 p 55 Theorem 1 31 If the generalized derivative z w displaystyle partial bar z w in L p W displaystyle L p Omega p gt 1 then the function w z displaystyle w z has almost everywhere in G displaystyle G a derivative in the sense of Pompeiu the latter being equal to the Generalized derivative in the sense of Sobolev z w displaystyle partial bar z w With or without the attribution of the concept to Wilhelm Wirtinger see for example the well known monograph Hormander 1990 p 1 23 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 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 In this work the authors prove some of the properties of Wirtinger derivatives also for the general case of C 1 displaystyle 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 See Kaup amp Kaup 1983 p 4 and also Gunning 1990 p 5 Gunning considers the general case of C 1 displaystyle C 1 functions but only for p 1 References Andreotti 1976 p 5 and Gunning amp Rossi 1965 p 6 as already pointed out consider only holomorphic maps with p 1 however the resulting formulas are formally very similar References EditHistorical references Edit Amoroso Luigi 1912 Sopra un problema al contorno Rendiconti del Circolo Matematico di Palermo in Italian 33 1 75 85 doi 10 1007 BF03015289 JFM 43 0453 03 S2CID 122956910 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 Cherry W Ye Z 2001 Nevanlinna s theory of value distribution the second main theorem and its error terms Springer Monographs in Mathematics Berlin Springer Verlag pp XII 202 ISBN 978 3 540 66416 1 MR 1831783 Zbl 0981 30001 Fichera Gaetano 1969 Derivata areolare e funzioni a variazione limitata Revue Roumaine de Mathematiques Pures et Appliquees in Italian XIV 1 27 37 MR 0265616 Zbl 0201 10002 Areolar derivative and functions of bounded variation free English translation of the title is an important reference paper in the theory of areolar derivatives Levi Eugenio Elia 1910 Studii sui punti singolari essenziali delle funzioni analitiche di due o piu variabili complesse Annali di Matematica Pura ed Applicata s III in Italian XVII 1 61 87 doi 10 1007 BF02419336 JFM 41 0487 01 S2CID 122678686 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 Levi Eugenio Elia 1911 Sulle ipersuperficie dello spazio a 4 dimensioni che possono essere frontiera del campo di esistenza di una funzione analitica di due variabili complesse Annali di Matematica Pura ed Applicata s III in Italian XVIII 1 69 79 doi 10 1007 BF02420535 JFM 42 0449 02 S2CID 120133326 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 Levi 1910 Levi Civita Tullio 1905 Sulle funzioni di due o piu variabili complesse Rendiconti della Accademia Nazionale dei Lincei Classe di Scienze Fisiche Matematiche e Naturali 5 in Italian XIV 2 492 499 JFM 36 0482 01 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 Osgood William Fogg 1966 1913 Topics in the theory of functions of several complex variables unabridged and corrected ed New York Dover pp IV 120 JFM 45 0661 02 MR 0201668 Zbl 0138 30901 Peschl Ernst 1932 Uber die Krummung von Niveaukurven bei der konformen Abbildung einfachzusammenhangender Gebiete auf das Innere eines Kreises Eine Verallgemeinerung eines Satzes von E Study Mathematische Annalen in German 106 574 594 doi 10 1007 BF01455902 JFM 58 1096 05 MR 1512774 S2CID 127138808 Zbl 0004 30001 available at DigiZeitschriften Poincare H 1899 Sur les proprietes du potentiel et sur les fonctions Abeliennes Acta Mathematica in French 22 1 89 178 doi 10 1007 BF02417872 JFM 29 0370 02 Pompeiu D 1912 Sur une classe de fonctions d une variable complexe Rendiconti del Circolo Matematico di Palermo in French 33 1 108 113 doi 10 1007 BF03015292 JFM 43 0481 01 S2CID 120717465 Pompeiu D 1913 Sur une classe de fonctions d une variable complexe et sur certaines equations integrales Rendiconti del Circolo Matematico di Palermo in French 35 1 277 281 doi 10 1007 BF03015607 S2CID 121616964 Vekua I N 1962 Generalized Analytic Functions International Series of Monographs in Pure and Applied Mathematics vol 25 London Paris Frankfurt Pergamon Press pp xxx 668 MR 0150320 Zbl 0100 07603 Wirtinger Wilhelm 1927 Zur formalen Theorie der Funktionen von mehr komplexen Veranderlichen Mathematische Annalen in German 97 357 375 doi 10 1007 BF01447872 JFM 52 0342 03 S2CID 121149132 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 Edit Andreotti Aldo 1976 Introduzione all analisi complessa Lezioni tenute nel febbraio 1972 Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni in Italian vol 24 Rome Accademia Nazionale dei Lincei p 34 archived from the original on 2012 03 07 retrieved 2010 08 28 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 Fichera Gaetano 1986 Unification of global and local existence theorems for holomorphic functions of several complex variables Memorie della Accademia Nazionale dei Lincei Classe di Scienze Fisiche Matematiche e Naturali 8 18 3 61 83 MR 0917525 Zbl 0705 32006 Gunning Robert C Rossi Hugo 1965 Analytic Functions of Several Complex Variables Prentice Hall series in Modern Analysis Englewood Cliffs N J Prentice Hall pp xiv 317 ISBN 9780821869536 MR 0180696 Zbl 0141 08601 Gunning Robert C 1990 Introduction to Holomorphic Functions of Several Variables Volume I Function Theory Wadsworth amp Brooks Cole Mathematics Series Belmont California Wadsworth amp Brooks Cole pp xx 203 ISBN 0 534 13308 8 MR 1052649 Zbl 0699 32001 Henrici Peter 1993 1986 Applied and Computational Complex Analysis Volume 3 Wiley Classics Library Reprint ed New York Chichester Brisbane Toronto Singapore John Wiley amp Sons pp X 637 ISBN 0 471 58986 1 MR 0822470 Zbl 1107 30300 Hormander Lars 1990 1966 An Introduction to Complex Analysis in Several Variables North Holland Mathematical Library vol 7 3rd Revised ed Amsterdam London New York Tokyo North Holland ISBN 0 444 88446 7 MR 1045639 Zbl 0685 32001 Kaup Ludger Kaup Burchard 1983 Holomorphic functions of several variables de Gruyter Studies in Mathematics vol 3 Berlin New York Walter de Gruyter pp XV 349 ISBN 978 3 11 004150 7 MR 0716497 Zbl 0528 32001 Kracht Manfred Kreyszig Erwin 1988 Methods of Complex Analysis in Partial Differential Equations and Applications Canadian Mathematical Society Series of Monographs and Advanced Texts New York Chichester Brisbane Toronto Singapore John Wiley amp Sons pp xiv 394 ISBN 0 471 83091 7 MR 0941372 Zbl 0644 35005 Martinelli Enzo 1984 Introduzione elementare alla teoria delle funzioni di variabili complesse con particolare riguardo alle rappresentazioni integrali Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni in Italian vol 67 Rome Accademia Nazionale dei Lincei pp 236 II archived from the original on 2011 09 27 retrieved 2010 08 24 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 Remmert Reinhold 1991 Theory of Complex Functions Graduate Texts in Mathematics vol 122 Fourth corrected 1998 printing ed New York Berlin Heidelberg Barcelona Hong Kong London Milan Paris Singapore Tokyo Springer Verlag pp xx 453 ISBN 0 387 97195 5 MR 1084167 Zbl 0780 30001 ISBN 978 0 387 97195 7 A textbook on complex analysis including many historical notes on the subject Severi Francesco 1958 Lezioni sulle funzioni analitiche di piu variabili complesse Tenute nel 1956 57 all Istituto Nazionale di Alta Matematica in Roma in Italian Padova CEDAM Casa Editrice Dott Antonio Milani pp XIV 255 Zbl 0094 28002 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 Retrieved from https en wikipedia org w index php title Wirtinger derivatives amp oldid 1117699085, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.