Integral of an analytic function f over a closed curve which is homotopic to a point in the domain of f.

Multi tool use
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
Post as a guest
DEtQ88OtJQh0e 1Y2N82coZqO8QOti HTxTNLEqEosSBjvO,CSPlVrU8HXbd9,AMnzUB3 J
What is "the antiderivate theorem"?
– user 170039
16 hours ago