Cauchy's integral formula with special contour 4
up vote
0
down vote
favorite
suppose $gamma: [a,b] rightarrow mathbb{C} $ is a path of integration with $ gamma(a)=0, gamma(b)=1 and pm i notingamma([a,b]) $
Show that,
$$ int_{gamma} frac{1}{1+z^2} = frac{pi}{4} + k pi $$
I would try to apply Cauchy's integral formula. Therefore i can split the integrand in partial fractions with singularities at $ pm i$
How do i have to choose my contour such that it fullfilles the conditions at the beginning.
integration cauchy-integral-formula
add a comment |
up vote
0
down vote
favorite
suppose $gamma: [a,b] rightarrow mathbb{C} $ is a path of integration with $ gamma(a)=0, gamma(b)=1 and pm i notingamma([a,b]) $
Show that,
$$ int_{gamma} frac{1}{1+z^2} = frac{pi}{4} + k pi $$
I would try to apply Cauchy's integral formula. Therefore i can split the integrand in partial fractions with singularities at $ pm i$
How do i have to choose my contour such that it fullfilles the conditions at the beginning.
integration cauchy-integral-formula
Maybe i have to construct a closed path of integration. out of $ gamma(a)=0, gamma(b)=1$ ?
– Steven33
Nov 24 at 9:51
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
suppose $gamma: [a,b] rightarrow mathbb{C} $ is a path of integration with $ gamma(a)=0, gamma(b)=1 and pm i notingamma([a,b]) $
Show that,
$$ int_{gamma} frac{1}{1+z^2} = frac{pi}{4} + k pi $$
I would try to apply Cauchy's integral formula. Therefore i can split the integrand in partial fractions with singularities at $ pm i$
How do i have to choose my contour such that it fullfilles the conditions at the beginning.
integration cauchy-integral-formula
suppose $gamma: [a,b] rightarrow mathbb{C} $ is a path of integration with $ gamma(a)=0, gamma(b)=1 and pm i notingamma([a,b]) $
Show that,
$$ int_{gamma} frac{1}{1+z^2} = frac{pi}{4} + k pi $$
I would try to apply Cauchy's integral formula. Therefore i can split the integrand in partial fractions with singularities at $ pm i$
How do i have to choose my contour such that it fullfilles the conditions at the beginning.
integration cauchy-integral-formula
integration cauchy-integral-formula
asked Nov 24 at 9:37
Steven33
144
144
Maybe i have to construct a closed path of integration. out of $ gamma(a)=0, gamma(b)=1$ ?
– Steven33
Nov 24 at 9:51
add a comment |
Maybe i have to construct a closed path of integration. out of $ gamma(a)=0, gamma(b)=1$ ?
– Steven33
Nov 24 at 9:51
Maybe i have to construct a closed path of integration. out of $ gamma(a)=0, gamma(b)=1$ ?
– Steven33
Nov 24 at 9:51
Maybe i have to construct a closed path of integration. out of $ gamma(a)=0, gamma(b)=1$ ?
– Steven33
Nov 24 at 9:51
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
accepted
Let $Gamma$ be another path: a straight line connecting from $1$ to $0$.
By residue theorem (let $n$ and $m$ be the winding numbers around $z=+i$ and $z=-i$ respectively),
$$
begin{align}
oint_{gamma+Gamma}frac{dz}{1+z^2}
&=2pi i left(noperatorname*{Res}_{z=i}frac1{1+z^2}+ moperatorname*{Res}_{z=i}frac1{1+z^2}right) \
&=pi(-n+m) \
&=pi(m-n)
end{align}
$$
Since
$$int_{Gamma}frac{dz}{1+z^2}=int^0_1frac{dt}{1+t^2}=operatorname{arctan}tbiggvert^{t=0}_{t=1}=-frac{pi}4$$
Thus,
$$int_{gamma}frac{dz}{1+z^2}=frac{pi}4+(m-n)pi$$
Doing without residue theorem:
Firstly, recognize that
$$intfrac{dz}{1+z^2}=frac1{2i}intleft(frac1{z+i}-frac1{z-i}right)dz=frac{ln(z+i)-ln(z-i)}{2i}$$
Thus,
$$intfrac{dz}{1+z^2}= frac{ln(z+i)-ln(z-i)}{2i} biggvert^{z=1}_{z=0}$$
Considering the multi-value-ness of $ln$ you would obtain the desired result.
In essence,
$$begin{align}
frac{ln(z+i)-ln(z-i)}{2i}biggvert^{z=1}_{z=0}
&=frac{ln(1+i)-ln(1-i)+ln(i)-ln(-i)}{2i}\
&=frac{ln(sqrt2e^{i(pi/4+2mpi)})-ln(sqrt2e^{i(-pi/4+2npi)})}{2i}\
&~~~~+frac{ln(e^{i(pi/2+2ppi)})-ln(e^{i(-pi/2+2qpi)})}{2i}\
&=ifrac{pi/4+pi/4+pi/2+pi/2+2Npi}{2i}\
&=frac{pi}4+N’pi\
end{align}
$$
where $N’$ is an arbitrary integer.
I am not allowed to uses the residue theorem. Therefore i wanted to split the integrand into partial fractions. How do u choose $ gamma_1, gamma_2 $?
– Steven33
Nov 24 at 10:26
Dont i have to enclose my singularities with $ Gamma$
– Steven33
Nov 24 at 10:39
@Steven33 Please see my edited answer.
– Szeto
Nov 24 at 12:03
Thank you:) Do i have to parameterize the straight line connecting from 0 to 1 and put that into my definition of the contour integral, meaning: z=t $ forall t in [0,1]$. Ok i see that makes not such a big difference.:)
– Steven33
Nov 24 at 12:42
Thank you very much:) You made my day. Thank you:) I made a horrible mistake.
– Steven33
Nov 24 at 13:00
|
show 2 more comments
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3011365%2fcauchys-integral-formula-with-special-contour-4%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
accepted
Let $Gamma$ be another path: a straight line connecting from $1$ to $0$.
By residue theorem (let $n$ and $m$ be the winding numbers around $z=+i$ and $z=-i$ respectively),
$$
begin{align}
oint_{gamma+Gamma}frac{dz}{1+z^2}
&=2pi i left(noperatorname*{Res}_{z=i}frac1{1+z^2}+ moperatorname*{Res}_{z=i}frac1{1+z^2}right) \
&=pi(-n+m) \
&=pi(m-n)
end{align}
$$
Since
$$int_{Gamma}frac{dz}{1+z^2}=int^0_1frac{dt}{1+t^2}=operatorname{arctan}tbiggvert^{t=0}_{t=1}=-frac{pi}4$$
Thus,
$$int_{gamma}frac{dz}{1+z^2}=frac{pi}4+(m-n)pi$$
Doing without residue theorem:
Firstly, recognize that
$$intfrac{dz}{1+z^2}=frac1{2i}intleft(frac1{z+i}-frac1{z-i}right)dz=frac{ln(z+i)-ln(z-i)}{2i}$$
Thus,
$$intfrac{dz}{1+z^2}= frac{ln(z+i)-ln(z-i)}{2i} biggvert^{z=1}_{z=0}$$
Considering the multi-value-ness of $ln$ you would obtain the desired result.
In essence,
$$begin{align}
frac{ln(z+i)-ln(z-i)}{2i}biggvert^{z=1}_{z=0}
&=frac{ln(1+i)-ln(1-i)+ln(i)-ln(-i)}{2i}\
&=frac{ln(sqrt2e^{i(pi/4+2mpi)})-ln(sqrt2e^{i(-pi/4+2npi)})}{2i}\
&~~~~+frac{ln(e^{i(pi/2+2ppi)})-ln(e^{i(-pi/2+2qpi)})}{2i}\
&=ifrac{pi/4+pi/4+pi/2+pi/2+2Npi}{2i}\
&=frac{pi}4+N’pi\
end{align}
$$
where $N’$ is an arbitrary integer.
I am not allowed to uses the residue theorem. Therefore i wanted to split the integrand into partial fractions. How do u choose $ gamma_1, gamma_2 $?
– Steven33
Nov 24 at 10:26
Dont i have to enclose my singularities with $ Gamma$
– Steven33
Nov 24 at 10:39
@Steven33 Please see my edited answer.
– Szeto
Nov 24 at 12:03
Thank you:) Do i have to parameterize the straight line connecting from 0 to 1 and put that into my definition of the contour integral, meaning: z=t $ forall t in [0,1]$. Ok i see that makes not such a big difference.:)
– Steven33
Nov 24 at 12:42
Thank you very much:) You made my day. Thank you:) I made a horrible mistake.
– Steven33
Nov 24 at 13:00
|
show 2 more comments
up vote
0
down vote
accepted
Let $Gamma$ be another path: a straight line connecting from $1$ to $0$.
By residue theorem (let $n$ and $m$ be the winding numbers around $z=+i$ and $z=-i$ respectively),
$$
begin{align}
oint_{gamma+Gamma}frac{dz}{1+z^2}
&=2pi i left(noperatorname*{Res}_{z=i}frac1{1+z^2}+ moperatorname*{Res}_{z=i}frac1{1+z^2}right) \
&=pi(-n+m) \
&=pi(m-n)
end{align}
$$
Since
$$int_{Gamma}frac{dz}{1+z^2}=int^0_1frac{dt}{1+t^2}=operatorname{arctan}tbiggvert^{t=0}_{t=1}=-frac{pi}4$$
Thus,
$$int_{gamma}frac{dz}{1+z^2}=frac{pi}4+(m-n)pi$$
Doing without residue theorem:
Firstly, recognize that
$$intfrac{dz}{1+z^2}=frac1{2i}intleft(frac1{z+i}-frac1{z-i}right)dz=frac{ln(z+i)-ln(z-i)}{2i}$$
Thus,
$$intfrac{dz}{1+z^2}= frac{ln(z+i)-ln(z-i)}{2i} biggvert^{z=1}_{z=0}$$
Considering the multi-value-ness of $ln$ you would obtain the desired result.
In essence,
$$begin{align}
frac{ln(z+i)-ln(z-i)}{2i}biggvert^{z=1}_{z=0}
&=frac{ln(1+i)-ln(1-i)+ln(i)-ln(-i)}{2i}\
&=frac{ln(sqrt2e^{i(pi/4+2mpi)})-ln(sqrt2e^{i(-pi/4+2npi)})}{2i}\
&~~~~+frac{ln(e^{i(pi/2+2ppi)})-ln(e^{i(-pi/2+2qpi)})}{2i}\
&=ifrac{pi/4+pi/4+pi/2+pi/2+2Npi}{2i}\
&=frac{pi}4+N’pi\
end{align}
$$
where $N’$ is an arbitrary integer.
I am not allowed to uses the residue theorem. Therefore i wanted to split the integrand into partial fractions. How do u choose $ gamma_1, gamma_2 $?
– Steven33
Nov 24 at 10:26
Dont i have to enclose my singularities with $ Gamma$
– Steven33
Nov 24 at 10:39
@Steven33 Please see my edited answer.
– Szeto
Nov 24 at 12:03
Thank you:) Do i have to parameterize the straight line connecting from 0 to 1 and put that into my definition of the contour integral, meaning: z=t $ forall t in [0,1]$. Ok i see that makes not such a big difference.:)
– Steven33
Nov 24 at 12:42
Thank you very much:) You made my day. Thank you:) I made a horrible mistake.
– Steven33
Nov 24 at 13:00
|
show 2 more comments
up vote
0
down vote
accepted
up vote
0
down vote
accepted
Let $Gamma$ be another path: a straight line connecting from $1$ to $0$.
By residue theorem (let $n$ and $m$ be the winding numbers around $z=+i$ and $z=-i$ respectively),
$$
begin{align}
oint_{gamma+Gamma}frac{dz}{1+z^2}
&=2pi i left(noperatorname*{Res}_{z=i}frac1{1+z^2}+ moperatorname*{Res}_{z=i}frac1{1+z^2}right) \
&=pi(-n+m) \
&=pi(m-n)
end{align}
$$
Since
$$int_{Gamma}frac{dz}{1+z^2}=int^0_1frac{dt}{1+t^2}=operatorname{arctan}tbiggvert^{t=0}_{t=1}=-frac{pi}4$$
Thus,
$$int_{gamma}frac{dz}{1+z^2}=frac{pi}4+(m-n)pi$$
Doing without residue theorem:
Firstly, recognize that
$$intfrac{dz}{1+z^2}=frac1{2i}intleft(frac1{z+i}-frac1{z-i}right)dz=frac{ln(z+i)-ln(z-i)}{2i}$$
Thus,
$$intfrac{dz}{1+z^2}= frac{ln(z+i)-ln(z-i)}{2i} biggvert^{z=1}_{z=0}$$
Considering the multi-value-ness of $ln$ you would obtain the desired result.
In essence,
$$begin{align}
frac{ln(z+i)-ln(z-i)}{2i}biggvert^{z=1}_{z=0}
&=frac{ln(1+i)-ln(1-i)+ln(i)-ln(-i)}{2i}\
&=frac{ln(sqrt2e^{i(pi/4+2mpi)})-ln(sqrt2e^{i(-pi/4+2npi)})}{2i}\
&~~~~+frac{ln(e^{i(pi/2+2ppi)})-ln(e^{i(-pi/2+2qpi)})}{2i}\
&=ifrac{pi/4+pi/4+pi/2+pi/2+2Npi}{2i}\
&=frac{pi}4+N’pi\
end{align}
$$
where $N’$ is an arbitrary integer.
Let $Gamma$ be another path: a straight line connecting from $1$ to $0$.
By residue theorem (let $n$ and $m$ be the winding numbers around $z=+i$ and $z=-i$ respectively),
$$
begin{align}
oint_{gamma+Gamma}frac{dz}{1+z^2}
&=2pi i left(noperatorname*{Res}_{z=i}frac1{1+z^2}+ moperatorname*{Res}_{z=i}frac1{1+z^2}right) \
&=pi(-n+m) \
&=pi(m-n)
end{align}
$$
Since
$$int_{Gamma}frac{dz}{1+z^2}=int^0_1frac{dt}{1+t^2}=operatorname{arctan}tbiggvert^{t=0}_{t=1}=-frac{pi}4$$
Thus,
$$int_{gamma}frac{dz}{1+z^2}=frac{pi}4+(m-n)pi$$
Doing without residue theorem:
Firstly, recognize that
$$intfrac{dz}{1+z^2}=frac1{2i}intleft(frac1{z+i}-frac1{z-i}right)dz=frac{ln(z+i)-ln(z-i)}{2i}$$
Thus,
$$intfrac{dz}{1+z^2}= frac{ln(z+i)-ln(z-i)}{2i} biggvert^{z=1}_{z=0}$$
Considering the multi-value-ness of $ln$ you would obtain the desired result.
In essence,
$$begin{align}
frac{ln(z+i)-ln(z-i)}{2i}biggvert^{z=1}_{z=0}
&=frac{ln(1+i)-ln(1-i)+ln(i)-ln(-i)}{2i}\
&=frac{ln(sqrt2e^{i(pi/4+2mpi)})-ln(sqrt2e^{i(-pi/4+2npi)})}{2i}\
&~~~~+frac{ln(e^{i(pi/2+2ppi)})-ln(e^{i(-pi/2+2qpi)})}{2i}\
&=ifrac{pi/4+pi/4+pi/2+pi/2+2Npi}{2i}\
&=frac{pi}4+N’pi\
end{align}
$$
where $N’$ is an arbitrary integer.
edited Nov 24 at 13:02
answered Nov 24 at 10:21
Szeto
6,3192826
6,3192826
I am not allowed to uses the residue theorem. Therefore i wanted to split the integrand into partial fractions. How do u choose $ gamma_1, gamma_2 $?
– Steven33
Nov 24 at 10:26
Dont i have to enclose my singularities with $ Gamma$
– Steven33
Nov 24 at 10:39
@Steven33 Please see my edited answer.
– Szeto
Nov 24 at 12:03
Thank you:) Do i have to parameterize the straight line connecting from 0 to 1 and put that into my definition of the contour integral, meaning: z=t $ forall t in [0,1]$. Ok i see that makes not such a big difference.:)
– Steven33
Nov 24 at 12:42
Thank you very much:) You made my day. Thank you:) I made a horrible mistake.
– Steven33
Nov 24 at 13:00
|
show 2 more comments
I am not allowed to uses the residue theorem. Therefore i wanted to split the integrand into partial fractions. How do u choose $ gamma_1, gamma_2 $?
– Steven33
Nov 24 at 10:26
Dont i have to enclose my singularities with $ Gamma$
– Steven33
Nov 24 at 10:39
@Steven33 Please see my edited answer.
– Szeto
Nov 24 at 12:03
Thank you:) Do i have to parameterize the straight line connecting from 0 to 1 and put that into my definition of the contour integral, meaning: z=t $ forall t in [0,1]$. Ok i see that makes not such a big difference.:)
– Steven33
Nov 24 at 12:42
Thank you very much:) You made my day. Thank you:) I made a horrible mistake.
– Steven33
Nov 24 at 13:00
I am not allowed to uses the residue theorem. Therefore i wanted to split the integrand into partial fractions. How do u choose $ gamma_1, gamma_2 $?
– Steven33
Nov 24 at 10:26
I am not allowed to uses the residue theorem. Therefore i wanted to split the integrand into partial fractions. How do u choose $ gamma_1, gamma_2 $?
– Steven33
Nov 24 at 10:26
Dont i have to enclose my singularities with $ Gamma$
– Steven33
Nov 24 at 10:39
Dont i have to enclose my singularities with $ Gamma$
– Steven33
Nov 24 at 10:39
@Steven33 Please see my edited answer.
– Szeto
Nov 24 at 12:03
@Steven33 Please see my edited answer.
– Szeto
Nov 24 at 12:03
Thank you:) Do i have to parameterize the straight line connecting from 0 to 1 and put that into my definition of the contour integral, meaning: z=t $ forall t in [0,1]$. Ok i see that makes not such a big difference.:)
– Steven33
Nov 24 at 12:42
Thank you:) Do i have to parameterize the straight line connecting from 0 to 1 and put that into my definition of the contour integral, meaning: z=t $ forall t in [0,1]$. Ok i see that makes not such a big difference.:)
– Steven33
Nov 24 at 12:42
Thank you very much:) You made my day. Thank you:) I made a horrible mistake.
– Steven33
Nov 24 at 13:00
Thank you very much:) You made my day. Thank you:) I made a horrible mistake.
– Steven33
Nov 24 at 13:00
|
show 2 more comments
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3011365%2fcauchys-integral-formula-with-special-contour-4%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Maybe i have to construct a closed path of integration. out of $ gamma(a)=0, gamma(b)=1$ ?
– Steven33
Nov 24 at 9:51