# Complex proof

1. Sep 4, 2009

### squaremeplz

1. The problem statement, all variables and given/known data

Suppose that $$f(z)$$ and $$f(z) - conj(f(z))$$

proof $$f(z)$$ is constant on D

2. Relevant equations

3. The attempt at a solution

If I write the equations as $$f(x,y) = u(x,y) + i*v(x,y)$$

then $$f(z) - conj(f(z))$$

= $$u(x,y) + i*v(x,y) - (u(x,y) - i*v(x,y))$$

and the $$u(x,y)$$ cancel out and we are left with

$$f(z) - conj(f(z)) = 2*i*v(x,y)$$

and by the Cauchy Riemann eq

$$\frac {du}{dx} = \frac {dv}{dy}$$

$$\frac {du}{dy} = - \frac {dv}{dx}$$

since $$u(x,y) = 0$$ for $$f(z) - conj(f(z)) = 2*i*v(x,y)$$

in order for $$\frac {du}{dy} u(x,y) = - 2*i*\frac {dv}{dx}v(x,y)$$

f(z) has to be constand on D

2. Sep 4, 2009

### Staff: Mentor

I don't understand what you are given here. The things that you are supposing are statements that are assumed to be true. All you have here are two expressions, f(z) and f(z) - conj(f(z)). Is there some relationship between these two expressions, such as an equation?

3. Sep 4, 2009

### squaremeplz

Im sorry, the problem is: assume that t $$f(z)$$ and $$f(z) - conj(f(z))$$ are both analytic in a domain D. Prove thet $$f(z)$$ is constant on D

4. Sep 4, 2009

### Staff: Mentor

OK, now I follow what you're trying to do.
I think you're waving your hands here. You have established from the given conditions that u(x, y) = 0, so what you have is (with derivatives changed to partial derivatives):
$$- 2*i*\frac {\partial}{\partial x}v(x,y) = 0$$
This says that v(x, y) = g(x) + C, where g is a function of x alone.

From your Cauchy-Riemann equations, what can you say about
$$\frac {\partial}{\partial y}v(x,y)$$?

5. Sep 7, 2009

### squaremeplz

thanks for the reply.

$$\frac {\partial}{\partial y} v(x,y) = 0$$ by the riemann eq.

so this says that

v(x,y) = g(y) + C

which is a contradiction to your first statement and hence

v(x,y) = C

does this make sense?

thanks!

6. Sep 7, 2009

### Staff: Mentor

Yes, makes sense.

7. Sep 7, 2009

### squaremeplz

ok but doesn't that show that f(z) - conj(f(z)) is constant on D. how do I tie this into f(z) alone?

8. Sep 8, 2009

### Staff: Mentor

No, it shows that f(z) is constant on D. Recall that you defined f(z) = f(x,y) = u(x,y) + i*v(x,y) back in your original post.