Branch point of log(z)
$begingroup$
I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.
So far I tried the following :
Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :
$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...
I guess there is something wrong with what I'm doing, but I don't know what...
I would like to show that $z=2$ is not a branch point using contours, not by other means.
Thanks a lot!
complex-analysis logarithms branch-points
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
$endgroup$
add a comment |
$begingroup$
I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.
So far I tried the following :
Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :
$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...
I guess there is something wrong with what I'm doing, but I don't know what...
I would like to show that $z=2$ is not a branch point using contours, not by other means.
Thanks a lot!
complex-analysis logarithms branch-points
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
$endgroup$
$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00
$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02
$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04
$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09
$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24
add a comment |
$begingroup$
I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.
So far I tried the following :
Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :
$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...
I guess there is something wrong with what I'm doing, but I don't know what...
I would like to show that $z=2$ is not a branch point using contours, not by other means.
Thanks a lot!
complex-analysis logarithms branch-points
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
$endgroup$
I'm currently following a class on complex analysis (for physicists) and I'm having trouble with the concept of branch points. In my textbook, they say that log(z) has a branch point at zero and at infinity. They also state that every other point is not a branch point and i'm having a hard time proving that $z=2$ is actually not a branch point. I've searched a lot without finding anything convincing.
So far I tried the following :
Let's say we look at the function $f(z) = ln(z)$ at $z=2$. To show that this is, or is not a branch point, we can draw a circle of radius 1 around this point. Thus, let us take $z_i = 2+e^{icdot 0}$ and $z_f=2+e^{2pi i}$. In that case, $f(z_i)=ln(2+1) = ln(3e^{i2pi n})$ and $f(z_f)=ln(2+1) = ln(3e^{i 2pi n})$ and thus $ f(z_i)=f(z_f)$, which is what we want. However, if I take a circle of radius 3, the result of this methode is the sames, altough it shouldn't since the circle goes around zero. Indeed, in that case, this method leads to :
$f(z_i)=ln(2+3) = ln(5e^{i2pi n})$ and $f(z_f)=ln(2+3) = ln(5e^{i2pi n})$...
I guess there is something wrong with what I'm doing, but I don't know what...
I would like to show that $z=2$ is not a branch point using contours, not by other means.
Thanks a lot!
complex-analysis logarithms branch-points
complex-analysis logarithms branch-points
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
edited Feb 18 '17 at 22:03
Xavier-rp
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
asked Feb 18 '17 at 21:52
Xavier-rpXavier-rp
11
11
$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00
$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02
$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04
$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09
$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24
add a comment |
$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00
$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02
$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04
$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09
$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24
$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00
$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00
$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02
$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02
$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04
$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04
$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09
$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09
$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24
$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.
answered Aug 26 '18 at 7:15
TomásTomás
1
$endgroup$
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%2f2150639%2fbranch-point-of-logz%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
$begingroup$
You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.
answered Aug 26 '18 at 7:15
TomásTomás
1
$endgroup$
add a comment |
$begingroup$
You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.
answered Aug 26 '18 at 7:15
TomásTomás
1
$endgroup$
add a comment |
$begingroup$
You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.
answered Aug 26 '18 at 7:15
TomásTomás
1
$endgroup$
You need that the function can be defined like singlevalue function and this definition must be at least continuos inside the set joined to their interior. This assumption doesn't satisfy in the second contour.
answered Aug 26 '18 at 7:15
TomásTomás
1
answered Aug 26 '18 at 7:15
TomásTomás
1
answered Aug 26 '18 at 7:15
TomásTomás
1
answered Aug 26 '18 at 7:15
TomásTomás
1
1
add a comment |
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%2f2150639%2fbranch-point-of-logz%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
$begingroup$
If $f(z) = e^z$, then $f(log 2) = 2$, and $f'(log 2) neq 0$, hence $f$ has a local, analytic inverse $g$. It follows that $log$ does not have branch point at $2$.
$endgroup$
– copper.hat
Feb 18 '17 at 22:00
$begingroup$
Is there a way to find this answer using contours?
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:02
$begingroup$
I don't understand what you mean by 'using contours'. If $g$ (which is $log$ plus a constant) is analytic at $2$ then the value of $g$ locally is independent of any path.
$endgroup$
– copper.hat
Feb 18 '17 at 22:04
$begingroup$
Page 4 of that textbook : (math.mit.edu/classes/18.305/Notes/n00Branch_Points_B_Cuts.pdf) states that ''consider again the case of the function log(z), take z0 = 2 and a closed curve around z = 2 that also encloses z = 0. The value of log(z) wil l change as this curve is traced, but this does not make z = 2 a branch point. In fact, for curves close to z = 2 there is no change, hence z = 2 is not a branch point of log(z)!) ''
$endgroup$
– Xavier-rp
Feb 18 '17 at 22:09
$begingroup$
The inverse function theorem shows that $log$ is analytic in a convex neighbourhood of $2$. So there is no issue with definition. If you take a path around $2$ that also encloses $0$, then the function will need to be extended ('define it continuously' in the book) as one goes around the path and on return to the starting point will have accumulated some multiple of $2 pi$ (depending on the net encirclements). The function $log$ is defined everywhere in a neighbourhood of $2$ so there is no need to extend.
$endgroup$
– copper.hat
Feb 18 '17 at 22:24