# Incompressiblitiy and unit length implies constants

1. Nov 19, 2009

### zhangzujin

Let $$u,v\in C^1(R^2)$$, and
$$(u)^1+(v)^2=1,\partial_x u+ \partial_y v=0$$.
Then $$u,v$$ are constants.

Is it right? How to prove?

Last edited: Nov 19, 2009
2. Nov 21, 2009

### zhangzujin

Any guys here knows? Thank you...

3. Nov 21, 2009

### HallsofIvy

It's hard to tell what you are asking. "$C^1(R^2)$" is the set of continuously differentiable functions in two variables but what are "(u)1" and "(v)2"?

4. Nov 21, 2009

### zhangzujin

Thank HallsofIvy for reminding...And (u)^2 is just the square of u, same as the meaning of (v)^2...

5. Nov 22, 2009

### g_edgar

But your question has $(u)^1$ not $(u)^2$ ... was that an error?

6. Nov 24, 2009

### mikeph

What about (u,v) = (cos t, sin t) over all R^2?

7. Nov 24, 2009

### HallsofIvy

Then what is "t"? Do you mean the $\theta$ coordinate in polar coordinates for the point (x,y)? In that case, $\partial u/\partial v+ \partial v/\partial y$ would not be equal to 0.

8. Nov 25, 2009

### mikeph

No, time. I am thinking in terms of fluid mechanics, where (u,v) is the velocity of the fluid (incompressibility suggested this to me). So the fluid is incompressible and has speed 1.
Otherwise I don't understand how the question makes any sense, "Then u,v are constants?"... constant with respect to what, if not time?

9. Jan 4, 2010

### zhangzujin

I mean if X=(u,v) =(u(x,y),v(x,y)) satisifies
1. |X|=1;
2. div X=0;
then X is a constant, i.e. idependent of x,y.

10. Jan 4, 2010

### LCKurtz

Consider:

$$u(x,y) = \frac {-y}{\sqrt{x^2+y^2}},\ v(x,y) = \frac {x}{\sqrt{x^2+y^2}}$$

 I just noticed your original post required continuity and this example isn't continuous at (0,0).

Last edited: Jan 4, 2010
11. Jan 6, 2010

### zhangzujin

Year, the question is originated from vector analysis, then all functions are smooth, i.e. infinitely differentiable.Thank you.

12. Jan 7, 2010

### elibj123

Well, it's not always true (although I don't have a counter-example),
But it resembles the fact that analytic complex function with constant absolute values,
must be constant.
Here u and v play the roll of the real & imaginary parts of the complex function, and
the condition about the derivatives is one of the cauchy reimann equations. Problem is
you need the second one to complete the proof.

Let me show how I would start the proof, and then when I get stuck:

First of all, $$u^{2}+v^{2}=1$$ So at every point, either u or v are not zero.
No let's differentiate the equality wrt x and wrt y:
(I also divided the equations by 2)
$$uu_{x}+vv_{x}=0$$
$$uu_{y}+vv_{y}=0$$

So we have a system of equation wrt to u and v. But we also know that we have at each point a non-trivial solution, so the determinant must equal zero:

$$det(A)=u_{x}v_{y}-v_{x}u_{y}$$

Now I only know that $$u_{x}+v_{y}=0$$, but it's not enought to complete the proof, beacuse I'd also need the other CR equation: $$u_{y}-v_{x}=0$$

Then I could substitute this into the determinant condition and get:

$$u^{2}_{x}+u^{2}_{y}=0$$
$$v^{2}_{x}+v^{2}_{y}=0$$
Which implies

$$u_{x}=u_{y}=v_{x}=v_{y}=0$$

So u & v are constant.

But you don't have the extra information, so generally it's not true.