Integral of an analytic function f over a closed curve which is homotopic to a point in the domain of f.
up vote
0
down vote
favorite
The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$
My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?
complex-analysis
add a comment |
up vote
0
down vote
favorite
The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$
My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?
complex-analysis
What is "the antiderivate theorem"?
– user 170039
16 hours ago
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$
My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?
complex-analysis
The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$
My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?
complex-analysis
complex-analysis
edited 17 hours ago
user 170039
10.4k42462
10.4k42462
asked yesterday
deco
185
185
What is "the antiderivate theorem"?
– user 170039
16 hours ago
add a comment |
What is "the antiderivate theorem"?
– user 170039
16 hours ago
What is "the antiderivate theorem"?
– user 170039
16 hours ago
What is "the antiderivate theorem"?
– user 170039
16 hours ago
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
begin{align}
int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
=& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
end{align}
Suppose $gamma$ is homotopic to a point $p in D$, i.e.
begin{align}
H(t, z) = (1-t)gamma(z)+tp
end{align}
is continuous on $[0, 1]times D$, then we see that
begin{align}
int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
end{align}
for all $t in [0, 1]$. In particular, we see that
begin{align}
left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
end{align}
for $t$ sufficiently close to $1$.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
begin{align}
int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
=& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
end{align}
Suppose $gamma$ is homotopic to a point $p in D$, i.e.
begin{align}
H(t, z) = (1-t)gamma(z)+tp
end{align}
is continuous on $[0, 1]times D$, then we see that
begin{align}
int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
end{align}
for all $t in [0, 1]$. In particular, we see that
begin{align}
left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
end{align}
for $t$ sufficiently close to $1$.
add a comment |
up vote
0
down vote
Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
begin{align}
int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
=& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
end{align}
Suppose $gamma$ is homotopic to a point $p in D$, i.e.
begin{align}
H(t, z) = (1-t)gamma(z)+tp
end{align}
is continuous on $[0, 1]times D$, then we see that
begin{align}
int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
end{align}
for all $t in [0, 1]$. In particular, we see that
begin{align}
left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
end{align}
for $t$ sufficiently close to $1$.
add a comment |
up vote
0
down vote
up vote
0
down vote
Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
begin{align}
int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
=& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
end{align}
Suppose $gamma$ is homotopic to a point $p in D$, i.e.
begin{align}
H(t, z) = (1-t)gamma(z)+tp
end{align}
is continuous on $[0, 1]times D$, then we see that
begin{align}
int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
end{align}
for all $t in [0, 1]$. In particular, we see that
begin{align}
left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
end{align}
for $t$ sufficiently close to $1$.
Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
begin{align}
int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
=& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
end{align}
Suppose $gamma$ is homotopic to a point $p in D$, i.e.
begin{align}
H(t, z) = (1-t)gamma(z)+tp
end{align}
is continuous on $[0, 1]times D$, then we see that
begin{align}
int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
end{align}
for all $t in [0, 1]$. In particular, we see that
begin{align}
left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
end{align}
for $t$ sufficiently close to $1$.
edited yesterday
answered yesterday
Jacky Chong
16.7k21027
16.7k21027
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%2f2996389%2fintegral-of-an-analytic-function-f-over-a-closed-curve-which-is-homotopic-to-a-p%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
What is "the antiderivate theorem"?
– user 170039
16 hours ago