Incompressiblitiy and unit length implies constants

[zhangzujin]

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

Is it right? How to prove?

 

[zhangzujin]

Any guys here knows? Thank you...

 

[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)¹" and "(v)²"?

 

[zhangzujin]

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

 

[g_edgar]

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

 

[mikeph]

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

 

[HallsofIvy]

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

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.

 

[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?

 

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

 

[LCKurtz]

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.

Consider:

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

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

 

[zhangzujin]

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

 

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