Math 2.0

Functions of a complex variable Definition

Wirtinger derivatives

Builds on Partial derivativeHolomorphic functionCauchy–Riemann equations

Definition

Let U⊆ℂU \subseteq \C be an open set and write z=x+iyz = x + iy with x,yx, y real. Let f ⁣:U→ℂf \colon U \to \C be a function whose partial derivatives ∂f/∂x\partial f / \partial x and ∂f/∂y\partial f / \partial y exist at a point z∈Uz \in U. The Wirtinger derivatives of ff at zz are ∂f∂z=12(∂f∂x−i∂f∂y),∂f∂zˉ=12(∂f∂x+i∂f∂y).\frac{\partial f}{\partial z} = \frac{1}{2} \left( \frac{\partial f}{\partial x} - i \frac{\partial f}{\partial y} \right), \qquad \frac{\partial f}{\partial \bar z} = \frac{1}{2} \left( \frac{\partial f}{\partial x} + i \frac{\partial f}{\partial y} \right).

Remarks

Example: for f(z)=∣z∣2=x2+y2f(z) = \abs{z}^2 = x^2 + y^2, one gets ∂f/∂z=12(2x−2iy)=zˉ\partial f / \partial z = \frac{1}{2}(2x - 2iy) = \bar z and ∂f/∂zˉ=12(2x+2iy)=z\partial f / \partial \bar z = \frac{1}{2}(2x + 2iy) = z. Non-example of holomorphy: since ∂f/∂zˉ=z≠0\partial f / \partial \bar z = z \neq 0 for z≠0z \neq 0, the function ∣z∣2\abs{z}^2 is not holomorphic on any open set. For ff of class C1C^1 on UU, the equation ∂f/∂zˉ=0\partial f / \partial \bar z = 0 on UU is equivalent to the Cauchy–Riemann equations, so it holds exactly when ff is holomorphic on UU; then ∂f/∂z=f′\partial f / \partial z = f'. The operators obey the rules ∂z/∂z=1\partial z / \partial z = 1, ∂zˉ/∂z=0\partial \bar z / \partial z = 0, ∂z/∂zˉ=0\partial z / \partial \bar z = 0 and ∂zˉ/∂zˉ=1\partial \bar z / \partial \bar z = 1, together with linearity and the product rule. The Laplacian is Δf=4 ∂2f∂z ∂zˉ\Delta f = 4 \, \dfrac{\partial^2 f}{\partial z \, \partial \bar z} for ff of class C2C^2. The notations ∂zf\partial_z f and ∂zˉf\partial_{\bar z} f are also common.

Reading path

To understand this page from the ground up, read these 18 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complex numbers object
  2. Euclidean space object
  3. Function concept
  4. Real numbers object
  5. Set bounded above definition
  6. Real and imaginary parts definition
  7. Function of several variables concept
  8. Supremum definition
  9. Limit of a function of several variables concept
  10. Completeness axiom statement
  11. Partial derivative definition
  12. Existence of square roots of nonnegative reals statement
  13. Square root definition
  14. Modulus of a complex number definition
  15. Complex differentiability definition
  16. Cauchy–Riemann equations statement
  17. Holomorphic function definition
  18. Wirtinger derivatives definition

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Wirtinger_derivatives
About this page
Tag698R12MY4G
URIm2://698R12MY4G
Kinddefinition
WritingW0 stub
MSC30A99, 32A10
DefinesWirtinger derivatives
UsesPartial derivative, Holomorphic function, Cauchy–Riemann equations
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by