Complex Integral $int_{C} frac{e^{iz}}{z^3} dz$ using Cauchy Integral Formula of Derivatives
$begingroup$
I am trying to find $int_{C} frac{e^{iz}}{z^3} dz$ on circle of $|z| = 2$ traversing once on positive direction.
My approach was using Cauchy derivative formula $f^{(n)}(a) = frac{n!}{2pi i} int_{C} frac{f(z)}{(z-a)^{n+1}} dz$.
This is a case with $a = 0$ and $n = 2$. Second derivative of $f(z) = e^{iz}$ is $-e^{iz}$ so our integral is simply $frac{2 pi i}{2} (-e^{iz})$ at $z=0$ which gives me $-pi i$.
However, I am not sure if this is correct mostly because of the fact that the circle is not a unit circle. Can somebody verify and if I am wrong, can somebody tell me which part I have done wrong? Thanks.
complex-analysis proof-verification complex-numbers complex-integration
$endgroup$
add a comment |
$begingroup$
I am trying to find $int_{C} frac{e^{iz}}{z^3} dz$ on circle of $|z| = 2$ traversing once on positive direction.
My approach was using Cauchy derivative formula $f^{(n)}(a) = frac{n!}{2pi i} int_{C} frac{f(z)}{(z-a)^{n+1}} dz$.
This is a case with $a = 0$ and $n = 2$. Second derivative of $f(z) = e^{iz}$ is $-e^{iz}$ so our integral is simply $frac{2 pi i}{2} (-e^{iz})$ at $z=0$ which gives me $-pi i$.
However, I am not sure if this is correct mostly because of the fact that the circle is not a unit circle. Can somebody verify and if I am wrong, can somebody tell me which part I have done wrong? Thanks.
complex-analysis proof-verification complex-numbers complex-integration
$endgroup$
add a comment |
$begingroup$
I am trying to find $int_{C} frac{e^{iz}}{z^3} dz$ on circle of $|z| = 2$ traversing once on positive direction.
My approach was using Cauchy derivative formula $f^{(n)}(a) = frac{n!}{2pi i} int_{C} frac{f(z)}{(z-a)^{n+1}} dz$.
This is a case with $a = 0$ and $n = 2$. Second derivative of $f(z) = e^{iz}$ is $-e^{iz}$ so our integral is simply $frac{2 pi i}{2} (-e^{iz})$ at $z=0$ which gives me $-pi i$.
However, I am not sure if this is correct mostly because of the fact that the circle is not a unit circle. Can somebody verify and if I am wrong, can somebody tell me which part I have done wrong? Thanks.
complex-analysis proof-verification complex-numbers complex-integration
$endgroup$
I am trying to find $int_{C} frac{e^{iz}}{z^3} dz$ on circle of $|z| = 2$ traversing once on positive direction.
My approach was using Cauchy derivative formula $f^{(n)}(a) = frac{n!}{2pi i} int_{C} frac{f(z)}{(z-a)^{n+1}} dz$.
This is a case with $a = 0$ and $n = 2$. Second derivative of $f(z) = e^{iz}$ is $-e^{iz}$ so our integral is simply $frac{2 pi i}{2} (-e^{iz})$ at $z=0$ which gives me $-pi i$.
However, I am not sure if this is correct mostly because of the fact that the circle is not a unit circle. Can somebody verify and if I am wrong, can somebody tell me which part I have done wrong? Thanks.
complex-analysis proof-verification complex-numbers complex-integration
complex-analysis proof-verification complex-numbers complex-integration
edited Dec 12 '18 at 3:13
Eevee Trainer
5,7571936
5,7571936
asked Dec 12 '18 at 3:02
dmsj djsldmsj djsl
35517
35517
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
As an addendum to the previous answer, you actually do not need to compute any derivative since the Maclaurin series of the exponential function is fairly well-known:
$$ e^{iz} = 1 + iz -frac{z^2}{2} + O(z^3) $$
directly leads to
$$ oint_{|z|=rho}frac{e^{iz}}{z^3}= 2pi icdotoperatorname*{Res}_{z=0}left(frac{e^{iz}}{z^3}right)=2pi icdotleft(-frac{1}{2}right)=color{red}{-pi i} $$
for any $rho>0$.
$endgroup$
add a comment |
$begingroup$
The circle in question need not be a unit circle.
Indeed, the key fact is that it's a closed curve of counterclockwise orientation, enclosing the one singularity of the integrand, $z = 0$, which is being traversed one time. Strictly speaking, it could be any sort of crazy curve so long as those facts are maintained, even if it's not even circle! (If you can continuously deform/reshape the curve, the integral remains the same.)
That nuance aside - yup, your solution is correct!
$endgroup$
$begingroup$
Well, not too crazy: better for such a curve to be closed, simple and rectifiable.
$endgroup$
– Jack D'Aurizio
Dec 12 '18 at 3:31
$begingroup$
Fair point. No sense in burdening oneself unnecessarily in the computations.
$endgroup$
– Eevee Trainer
Dec 12 '18 at 3:33
add a comment |
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%2f3036183%2fcomplex-integral-int-c-fraceizz3-dz-using-cauchy-integral-formula%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
As an addendum to the previous answer, you actually do not need to compute any derivative since the Maclaurin series of the exponential function is fairly well-known:
$$ e^{iz} = 1 + iz -frac{z^2}{2} + O(z^3) $$
directly leads to
$$ oint_{|z|=rho}frac{e^{iz}}{z^3}= 2pi icdotoperatorname*{Res}_{z=0}left(frac{e^{iz}}{z^3}right)=2pi icdotleft(-frac{1}{2}right)=color{red}{-pi i} $$
for any $rho>0$.
$endgroup$
add a comment |
$begingroup$
As an addendum to the previous answer, you actually do not need to compute any derivative since the Maclaurin series of the exponential function is fairly well-known:
$$ e^{iz} = 1 + iz -frac{z^2}{2} + O(z^3) $$
directly leads to
$$ oint_{|z|=rho}frac{e^{iz}}{z^3}= 2pi icdotoperatorname*{Res}_{z=0}left(frac{e^{iz}}{z^3}right)=2pi icdotleft(-frac{1}{2}right)=color{red}{-pi i} $$
for any $rho>0$.
$endgroup$
add a comment |
$begingroup$
As an addendum to the previous answer, you actually do not need to compute any derivative since the Maclaurin series of the exponential function is fairly well-known:
$$ e^{iz} = 1 + iz -frac{z^2}{2} + O(z^3) $$
directly leads to
$$ oint_{|z|=rho}frac{e^{iz}}{z^3}= 2pi icdotoperatorname*{Res}_{z=0}left(frac{e^{iz}}{z^3}right)=2pi icdotleft(-frac{1}{2}right)=color{red}{-pi i} $$
for any $rho>0$.
$endgroup$
As an addendum to the previous answer, you actually do not need to compute any derivative since the Maclaurin series of the exponential function is fairly well-known:
$$ e^{iz} = 1 + iz -frac{z^2}{2} + O(z^3) $$
directly leads to
$$ oint_{|z|=rho}frac{e^{iz}}{z^3}= 2pi icdotoperatorname*{Res}_{z=0}left(frac{e^{iz}}{z^3}right)=2pi icdotleft(-frac{1}{2}right)=color{red}{-pi i} $$
for any $rho>0$.
answered Dec 12 '18 at 3:17
Jack D'AurizioJack D'Aurizio
289k33281661
289k33281661
add a comment |
add a comment |
$begingroup$
The circle in question need not be a unit circle.
Indeed, the key fact is that it's a closed curve of counterclockwise orientation, enclosing the one singularity of the integrand, $z = 0$, which is being traversed one time. Strictly speaking, it could be any sort of crazy curve so long as those facts are maintained, even if it's not even circle! (If you can continuously deform/reshape the curve, the integral remains the same.)
That nuance aside - yup, your solution is correct!
$endgroup$
$begingroup$
Well, not too crazy: better for such a curve to be closed, simple and rectifiable.
$endgroup$
– Jack D'Aurizio
Dec 12 '18 at 3:31
$begingroup$
Fair point. No sense in burdening oneself unnecessarily in the computations.
$endgroup$
– Eevee Trainer
Dec 12 '18 at 3:33
add a comment |
$begingroup$
The circle in question need not be a unit circle.
Indeed, the key fact is that it's a closed curve of counterclockwise orientation, enclosing the one singularity of the integrand, $z = 0$, which is being traversed one time. Strictly speaking, it could be any sort of crazy curve so long as those facts are maintained, even if it's not even circle! (If you can continuously deform/reshape the curve, the integral remains the same.)
That nuance aside - yup, your solution is correct!
$endgroup$
$begingroup$
Well, not too crazy: better for such a curve to be closed, simple and rectifiable.
$endgroup$
– Jack D'Aurizio
Dec 12 '18 at 3:31
$begingroup$
Fair point. No sense in burdening oneself unnecessarily in the computations.
$endgroup$
– Eevee Trainer
Dec 12 '18 at 3:33
add a comment |
$begingroup$
The circle in question need not be a unit circle.
Indeed, the key fact is that it's a closed curve of counterclockwise orientation, enclosing the one singularity of the integrand, $z = 0$, which is being traversed one time. Strictly speaking, it could be any sort of crazy curve so long as those facts are maintained, even if it's not even circle! (If you can continuously deform/reshape the curve, the integral remains the same.)
That nuance aside - yup, your solution is correct!
$endgroup$
The circle in question need not be a unit circle.
Indeed, the key fact is that it's a closed curve of counterclockwise orientation, enclosing the one singularity of the integrand, $z = 0$, which is being traversed one time. Strictly speaking, it could be any sort of crazy curve so long as those facts are maintained, even if it's not even circle! (If you can continuously deform/reshape the curve, the integral remains the same.)
That nuance aside - yup, your solution is correct!
answered Dec 12 '18 at 3:10
Eevee TrainerEevee Trainer
5,7571936
5,7571936
$begingroup$
Well, not too crazy: better for such a curve to be closed, simple and rectifiable.
$endgroup$
– Jack D'Aurizio
Dec 12 '18 at 3:31
$begingroup$
Fair point. No sense in burdening oneself unnecessarily in the computations.
$endgroup$
– Eevee Trainer
Dec 12 '18 at 3:33
add a comment |
$begingroup$
Well, not too crazy: better for such a curve to be closed, simple and rectifiable.
$endgroup$
– Jack D'Aurizio
Dec 12 '18 at 3:31
$begingroup$
Fair point. No sense in burdening oneself unnecessarily in the computations.
$endgroup$
– Eevee Trainer
Dec 12 '18 at 3:33
$begingroup$
Well, not too crazy: better for such a curve to be closed, simple and rectifiable.
$endgroup$
– Jack D'Aurizio
Dec 12 '18 at 3:31
$begingroup$
Well, not too crazy: better for such a curve to be closed, simple and rectifiable.
$endgroup$
– Jack D'Aurizio
Dec 12 '18 at 3:31
$begingroup$
Fair point. No sense in burdening oneself unnecessarily in the computations.
$endgroup$
– Eevee Trainer
Dec 12 '18 at 3:33
$begingroup$
Fair point. No sense in burdening oneself unnecessarily in the computations.
$endgroup$
– Eevee Trainer
Dec 12 '18 at 3:33
add a comment |
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.
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%2f3036183%2fcomplex-integral-int-c-fraceizz3-dz-using-cauchy-integral-formula%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