Math 2.0

Several complex variables and analytic spaces Definition

Cauchy–Riemann equations in several variables

Builds on Holomorphic function of several variablesPartial derivativeWirtinger derivativesCauchy–Riemann equations

Definition

Let D⊆ℂnD \subseteq \C^n be an open set, write zj=xj+iyjz_j = x_j + i y_j with xj,yjx_j, y_j real, and let f=u+iv ⁣:D→ℂf = u + iv \colon D \to \C with u,vu, v real-valued. Suppose that all first partial derivatives of uu and vv exist on DD. The function ff satisfies the Cauchy–Riemann equations on DD if for every j=1,…,nj = 1, \dots, n, at every point of DD, ∂u∂xj=∂v∂yj,∂u∂yj=−∂v∂xj.\frac{\partial u}{\partial x_j} = \frac{\partial v}{\partial y_j}, \qquad \frac{\partial u}{\partial y_j} = -\frac{\partial v}{\partial x_j}.

Remarks

With the Wirtinger derivatives ∂∂zˉj=12(∂∂xj+i∂∂yj)\frac{\partial}{\partial \bar z_j} = \frac12 \left( \frac{\partial}{\partial x_j} + i \frac{\partial}{\partial y_j} \right), the 2n2n real equations are the nn complex equations ∂f/∂zˉj=0\partial f / \partial \bar z_j = 0, j=1,…,nj = 1, \dots, n. For n=1n = 1 they are the classical Cauchy–Riemann equations. A function ff of class C1C^1 on DD is holomorphic if and only if it satisfies the Cauchy–Riemann equations on DD. Example: f(z1,z2)=z1z2f(z_1, z_2) = z_1 z_2 satisfies them, since ∂f/∂zˉ1=0\partial f / \partial \bar z_1 = 0 and ∂f/∂zˉ2=0\partial f / \partial \bar z_2 = 0. Non-example: f(z1,z2)=z1zˉ2f(z_1, z_2) = z_1 \bar z_2 satisfies the pair for j=1j = 1 but not the pair for j=2j = 2, since ∂f/∂zˉ2=z1\partial f / \partial \bar z_2 = z_1, which is not zero when z1≠0z_1 \ne 0.

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. Holomorphic function of several variables concept
  5. Real numbers object
  6. Set bounded above definition
  7. Wirtinger derivatives concept
  8. Real and imaginary parts definition
  9. Function of several variables concept
  10. Supremum definition
  11. Partial derivative concept
  12. Completeness axiom statement
  13. Existence of square roots of nonnegative reals statement
  14. Square root definition
  15. Modulus of a complex number definition
  16. Complex differentiability definition
  17. Cauchy–Riemann equations statement
  18. Cauchy–Riemann equations in several variables definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equations
About this page
TagQNS8WFYFXJ
URIm2://QNS8WFYFXJ
Kinddefinition
WritingW0 stub
MSC32W05, 32A10
DefinesCauchy–Riemann equations in several variables
UsesHolomorphic function of several variables, Partial derivative, Wirtinger derivatives, Cauchy–Riemann equations

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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

No page links to this page yet.