Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a very basic question, sorry for that )=. Let's fix some notation first. Let $ dz = dx + i \; dy $ . Given $f \in C^1$, $f : D \subset \mathbb C \to \mathbb C$, we define $df = f_x \; dx + f_y \; dy$.

Now, note that $f(z) \;dz = (u+iv)(dx+i \;dy) = ( u \;dx - v \;dy ) + i (u \;dy + v \;dx ) = w_1 + iw_2$.

Using this it's easy to see that if $F_j$ is a primitive of the form $w_j$ ($j=1,2$), then $F_1 + F_2$ is a primitive of $w_1+iw_2$. Using this, my book says that if $f(z)\;dz$ is closed , then $u,v$ satisfy Cauchy-Riemann $(f=u+iv)$. I don't understand why.

share|cite|improve this question

I think the missing ingredient is that $d(f\,dz) = df \wedge dz$. If you write this out in terms of $u, v$ and $x, y$ and their differentials, I think you should get the result. Note that $dx \wedge dx = 0$, $dy \wedge dx = -dx \wedge dy$, $dx \wedge (a\,dy) = a(dx \wedge dy)$, and so on.

Added. We can do this with your definition as well. [Although I would encourage you to learn about differential forms; it really pays off later on.] Fix $(x_0, y_0) \in D$. There's an open neighborhood $(x_0, y_0) \in D' \subset D$ and a $C^1$ (actually, it will be $C^2$) function $F\colon D' \to \mathbf C$ such that $dF = f\,dz$. If you expand this using $F = U + iV$ for $U, V\colon D' \to \mathbf{R}$ and equate the real and imaginary parts, and then further equate the coefficients of $dx$ and $dy$, then you'll get equalities like \[ U_x = u \qquad \text{and} \qquad U_y = -v. \] Since $u, v$ are $C^1$, this shows that $U, V$ are $C^2$. Now we can take partial derivatives and get \[ U_{xy} = u_y\qquad \text{and}\qquad U_{yx} = -v_x. \] By the equality of mixed partial derivatives [here we really do need $C^2$], we get $u_y = -v_x$ on $D'$.

share|cite|improve this answer

Let $\omega=f(z)dz$. Note that $d\omega=df\wedge dz$ since $d^2z=0$. As you have said, we have $df = f_x dx + f_y dy$ and $dz = dx + i dy$. Therefore, we have $$d\omega=df\wedge dz=(f_x dx + f_y dy)\wedge(dx + i dy)=(if_x-f_y)dx\wedge dy$$ since $dy\wedge dx=-dx\wedge dy$. Therefore, $\omega$ is closed if and only if $d\omega=0$, which is equivalent to: $if_x=f_y$ or $i(u_x+iv_x)=u_y+iv_y$ if $f=u+iv$, which is equivalent to $$u_x=v_y\mbox { and }u_y=-v_x,$$ the Cauchy-Riemann equation.

share|cite|improve this answer
I don´t know the notation $ dx \wedge dy $ O.o – August Dec 2 '11 at 1:58
@August What does it mean for $f\,dz$ to be closed, then? – Dylan Moreland Dec 2 '11 at 2:49
f dz is said to be exact if there exist a $C^1 $ function F, such that dF = f dz . Now f dz is said to be closed if it´s locally exact. – August Dec 2 '11 at 2:51
@August: While it's true that a differential form is locally exact if it's closed (at least in the smooth case), the usual definition says that a differential form $\omega$ is closed if $d \omega = 0$. – Zhen Lin Dec 2 '11 at 8:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.