1
$\begingroup$

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.

2 Answers 2

3

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'.

1

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.

  • 0
    @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$.2011-12-02