Show $|f(z)|=1$ is constant
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.
My attempt:
beginalign
|f(z)|&=1 \
u^2(x,y)+v^2(x,y)&=1
endalign
Differentiating w.r.t $x$:
$$2uu_x+2vv_x=0 (1)$$
Differentiating w.r.t $y$:
$$2uu_y+2vv_y=0 (2)$$
From $(1)$, $$2uv_y-2vu_y=0 (3)$$
Now equating $(2)$ and $(3)$:
beginalign
2uu_y+2vv_y-2uv_y+2vu_y&=0 \
u_y(2u+2v)-v_y(2v-2u)&=0
endalign
But I am stuck at this point.
complex-analysis proof-verification cauchy-riemann-equation
add a comment |Â
up vote
1
down vote
favorite
Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.
My attempt:
beginalign
|f(z)|&=1 \
u^2(x,y)+v^2(x,y)&=1
endalign
Differentiating w.r.t $x$:
$$2uu_x+2vv_x=0 (1)$$
Differentiating w.r.t $y$:
$$2uu_y+2vv_y=0 (2)$$
From $(1)$, $$2uv_y-2vu_y=0 (3)$$
Now equating $(2)$ and $(3)$:
beginalign
2uu_y+2vv_y-2uv_y+2vu_y&=0 \
u_y(2u+2v)-v_y(2v-2u)&=0
endalign
But I am stuck at this point.
complex-analysis proof-verification cauchy-riemann-equation
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.
My attempt:
beginalign
|f(z)|&=1 \
u^2(x,y)+v^2(x,y)&=1
endalign
Differentiating w.r.t $x$:
$$2uu_x+2vv_x=0 (1)$$
Differentiating w.r.t $y$:
$$2uu_y+2vv_y=0 (2)$$
From $(1)$, $$2uv_y-2vu_y=0 (3)$$
Now equating $(2)$ and $(3)$:
beginalign
2uu_y+2vv_y-2uv_y+2vu_y&=0 \
u_y(2u+2v)-v_y(2v-2u)&=0
endalign
But I am stuck at this point.
complex-analysis proof-verification cauchy-riemann-equation
Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.
My attempt:
beginalign
|f(z)|&=1 \
u^2(x,y)+v^2(x,y)&=1
endalign
Differentiating w.r.t $x$:
$$2uu_x+2vv_x=0 (1)$$
Differentiating w.r.t $y$:
$$2uu_y+2vv_y=0 (2)$$
From $(1)$, $$2uv_y-2vu_y=0 (3)$$
Now equating $(2)$ and $(3)$:
beginalign
2uu_y+2vv_y-2uv_y+2vu_y&=0 \
u_y(2u+2v)-v_y(2v-2u)&=0
endalign
But I am stuck at this point.
complex-analysis proof-verification cauchy-riemann-equation
edited Aug 17 at 7:10
Arnaud Mortier
19.6k22159
19.6k22159
asked Aug 17 at 6:56
Bell
716313
716313
add a comment |Â
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
3
down vote
accepted
From $(1)$ we get
$u^2u_x+uvv_x=0 (a)$
and from $(2)$ we get
$uvu_y+v^2v_y=0 (b)$.
Since $u_y=-v_x$ it follows from $(b)$ that
$-uvv_x+v^2v_y=0 (c)$.
Addition of $(a)$ and $(c)$ gives
$u^2u_x+v^2v_y=0$.
Since $v_y=u_x$ it results that
$0=(u^2+v^2)u_x=u_x$.
In the same way we derive $0=v_y=u_y=v_x$.
Can you proceed ?
Yes, I have solved it. Thanks for that! It makes sense now.
â Bell
Aug 17 at 7:39
add a comment |Â
up vote
3
down vote
If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.
In both cases $f$ is constant since a domain is connected.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
From $(1)$ we get
$u^2u_x+uvv_x=0 (a)$
and from $(2)$ we get
$uvu_y+v^2v_y=0 (b)$.
Since $u_y=-v_x$ it follows from $(b)$ that
$-uvv_x+v^2v_y=0 (c)$.
Addition of $(a)$ and $(c)$ gives
$u^2u_x+v^2v_y=0$.
Since $v_y=u_x$ it results that
$0=(u^2+v^2)u_x=u_x$.
In the same way we derive $0=v_y=u_y=v_x$.
Can you proceed ?
Yes, I have solved it. Thanks for that! It makes sense now.
â Bell
Aug 17 at 7:39
add a comment |Â
up vote
3
down vote
accepted
From $(1)$ we get
$u^2u_x+uvv_x=0 (a)$
and from $(2)$ we get
$uvu_y+v^2v_y=0 (b)$.
Since $u_y=-v_x$ it follows from $(b)$ that
$-uvv_x+v^2v_y=0 (c)$.
Addition of $(a)$ and $(c)$ gives
$u^2u_x+v^2v_y=0$.
Since $v_y=u_x$ it results that
$0=(u^2+v^2)u_x=u_x$.
In the same way we derive $0=v_y=u_y=v_x$.
Can you proceed ?
Yes, I have solved it. Thanks for that! It makes sense now.
â Bell
Aug 17 at 7:39
add a comment |Â
up vote
3
down vote
accepted
up vote
3
down vote
accepted
From $(1)$ we get
$u^2u_x+uvv_x=0 (a)$
and from $(2)$ we get
$uvu_y+v^2v_y=0 (b)$.
Since $u_y=-v_x$ it follows from $(b)$ that
$-uvv_x+v^2v_y=0 (c)$.
Addition of $(a)$ and $(c)$ gives
$u^2u_x+v^2v_y=0$.
Since $v_y=u_x$ it results that
$0=(u^2+v^2)u_x=u_x$.
In the same way we derive $0=v_y=u_y=v_x$.
Can you proceed ?
From $(1)$ we get
$u^2u_x+uvv_x=0 (a)$
and from $(2)$ we get
$uvu_y+v^2v_y=0 (b)$.
Since $u_y=-v_x$ it follows from $(b)$ that
$-uvv_x+v^2v_y=0 (c)$.
Addition of $(a)$ and $(c)$ gives
$u^2u_x+v^2v_y=0$.
Since $v_y=u_x$ it results that
$0=(u^2+v^2)u_x=u_x$.
In the same way we derive $0=v_y=u_y=v_x$.
Can you proceed ?
answered Aug 17 at 7:08
Fred
38.2k1238
38.2k1238
Yes, I have solved it. Thanks for that! It makes sense now.
â Bell
Aug 17 at 7:39
add a comment |Â
Yes, I have solved it. Thanks for that! It makes sense now.
â Bell
Aug 17 at 7:39
Yes, I have solved it. Thanks for that! It makes sense now.
â Bell
Aug 17 at 7:39
Yes, I have solved it. Thanks for that! It makes sense now.
â Bell
Aug 17 at 7:39
add a comment |Â
up vote
3
down vote
If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.
In both cases $f$ is constant since a domain is connected.
add a comment |Â
up vote
3
down vote
If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.
In both cases $f$ is constant since a domain is connected.
add a comment |Â
up vote
3
down vote
up vote
3
down vote
If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.
In both cases $f$ is constant since a domain is connected.
If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.
In both cases $f$ is constant since a domain is connected.
edited Aug 17 at 7:14
answered Aug 17 at 7:08
Arnaud Mortier
19.6k22159
19.6k22159
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885476%2fshow-fz-1-is-constant%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password