Laurent Series of $ln(|x|)$?
$begingroup$
I read in this question that no Laurent series exists for $ln(x)$, as Patch's answer shows:
"The problem with $log z$ in the complex plane is that it is a "multi-valued function", so we must specify what range of values we are considering the function to have. Because we must make this choice, the function fails to be continuous in any (punctured) disk about $z=0$, and thus is not (complex) differentiable in any neighborhood about the point."
For me, this raises the question of what if the function were differentiable on a punctured disk about $z=0,;$ that is, is $ln(|z|)$ holomorphic, and, if so, what is its Laurent series?
I believe from Owen Biesel's answer here that $ln(|z|)$ is holomorphic, but I am new to complex analysis, so I could be very wrong. If it is holomorphic, how would I go about calculating its Laurent series? I understand that it involves taking a positively oriented closed contour integral, but I am having trouble understanding how to properly take contour integrals, as I keep obtaining answers of 0. Thank you in advance!
complex-analysis complex-numbers analytic-number-theory
$endgroup$
add a comment |
$begingroup$
I read in this question that no Laurent series exists for $ln(x)$, as Patch's answer shows:
"The problem with $log z$ in the complex plane is that it is a "multi-valued function", so we must specify what range of values we are considering the function to have. Because we must make this choice, the function fails to be continuous in any (punctured) disk about $z=0$, and thus is not (complex) differentiable in any neighborhood about the point."
For me, this raises the question of what if the function were differentiable on a punctured disk about $z=0,;$ that is, is $ln(|z|)$ holomorphic, and, if so, what is its Laurent series?
I believe from Owen Biesel's answer here that $ln(|z|)$ is holomorphic, but I am new to complex analysis, so I could be very wrong. If it is holomorphic, how would I go about calculating its Laurent series? I understand that it involves taking a positively oriented closed contour integral, but I am having trouble understanding how to properly take contour integrals, as I keep obtaining answers of 0. Thank you in advance!
complex-analysis complex-numbers analytic-number-theory
$endgroup$
1
$begingroup$
Patch's answer notes that $ln$ is not holmorphic on any set containing zero. Owen Biesel notes that if $f$ is holomorphic on some domain $U$, then $ln(|f(z)|)$ is harmonic on any simply connected subdomain of $U$ (note that harmonic and holomorphic are different---though related---ideas). Your question seems to be about the holomorphicity of $ln(|z|)$---are you familiar with the Cauchy-Riemann equations? What do they tell you about whether or not $ln(|z|)$ is holomorphic?
$endgroup$
– Xander Henderson
Jan 9 at 3:59
$begingroup$
@Xander I was unaware of the Cauchy-Riemann equations. I see that they provide a good criteria for determining holomorphicity. I will continue my studies. Thank you!
$endgroup$
– Helvetican
Jan 9 at 5:40
1
$begingroup$
How could a real function be holomorphic ?
$endgroup$
– Yves Daoust
Jan 9 at 13:22
add a comment |
$begingroup$
I read in this question that no Laurent series exists for $ln(x)$, as Patch's answer shows:
"The problem with $log z$ in the complex plane is that it is a "multi-valued function", so we must specify what range of values we are considering the function to have. Because we must make this choice, the function fails to be continuous in any (punctured) disk about $z=0$, and thus is not (complex) differentiable in any neighborhood about the point."
For me, this raises the question of what if the function were differentiable on a punctured disk about $z=0,;$ that is, is $ln(|z|)$ holomorphic, and, if so, what is its Laurent series?
I believe from Owen Biesel's answer here that $ln(|z|)$ is holomorphic, but I am new to complex analysis, so I could be very wrong. If it is holomorphic, how would I go about calculating its Laurent series? I understand that it involves taking a positively oriented closed contour integral, but I am having trouble understanding how to properly take contour integrals, as I keep obtaining answers of 0. Thank you in advance!
complex-analysis complex-numbers analytic-number-theory
$endgroup$
I read in this question that no Laurent series exists for $ln(x)$, as Patch's answer shows:
"The problem with $log z$ in the complex plane is that it is a "multi-valued function", so we must specify what range of values we are considering the function to have. Because we must make this choice, the function fails to be continuous in any (punctured) disk about $z=0$, and thus is not (complex) differentiable in any neighborhood about the point."
For me, this raises the question of what if the function were differentiable on a punctured disk about $z=0,;$ that is, is $ln(|z|)$ holomorphic, and, if so, what is its Laurent series?
I believe from Owen Biesel's answer here that $ln(|z|)$ is holomorphic, but I am new to complex analysis, so I could be very wrong. If it is holomorphic, how would I go about calculating its Laurent series? I understand that it involves taking a positively oriented closed contour integral, but I am having trouble understanding how to properly take contour integrals, as I keep obtaining answers of 0. Thank you in advance!
complex-analysis complex-numbers analytic-number-theory
complex-analysis complex-numbers analytic-number-theory
edited Jan 9 at 12:54
user376343
3,3582826
3,3582826
asked Jan 9 at 3:22
HelveticanHelvetican
214
214
1
$begingroup$
Patch's answer notes that $ln$ is not holmorphic on any set containing zero. Owen Biesel notes that if $f$ is holomorphic on some domain $U$, then $ln(|f(z)|)$ is harmonic on any simply connected subdomain of $U$ (note that harmonic and holomorphic are different---though related---ideas). Your question seems to be about the holomorphicity of $ln(|z|)$---are you familiar with the Cauchy-Riemann equations? What do they tell you about whether or not $ln(|z|)$ is holomorphic?
$endgroup$
– Xander Henderson
Jan 9 at 3:59
$begingroup$
@Xander I was unaware of the Cauchy-Riemann equations. I see that they provide a good criteria for determining holomorphicity. I will continue my studies. Thank you!
$endgroup$
– Helvetican
Jan 9 at 5:40
1
$begingroup$
How could a real function be holomorphic ?
$endgroup$
– Yves Daoust
Jan 9 at 13:22
add a comment |
1
$begingroup$
Patch's answer notes that $ln$ is not holmorphic on any set containing zero. Owen Biesel notes that if $f$ is holomorphic on some domain $U$, then $ln(|f(z)|)$ is harmonic on any simply connected subdomain of $U$ (note that harmonic and holomorphic are different---though related---ideas). Your question seems to be about the holomorphicity of $ln(|z|)$---are you familiar with the Cauchy-Riemann equations? What do they tell you about whether or not $ln(|z|)$ is holomorphic?
$endgroup$
– Xander Henderson
Jan 9 at 3:59
$begingroup$
@Xander I was unaware of the Cauchy-Riemann equations. I see that they provide a good criteria for determining holomorphicity. I will continue my studies. Thank you!
$endgroup$
– Helvetican
Jan 9 at 5:40
1
$begingroup$
How could a real function be holomorphic ?
$endgroup$
– Yves Daoust
Jan 9 at 13:22
1
1
$begingroup$
Patch's answer notes that $ln$ is not holmorphic on any set containing zero. Owen Biesel notes that if $f$ is holomorphic on some domain $U$, then $ln(|f(z)|)$ is harmonic on any simply connected subdomain of $U$ (note that harmonic and holomorphic are different---though related---ideas). Your question seems to be about the holomorphicity of $ln(|z|)$---are you familiar with the Cauchy-Riemann equations? What do they tell you about whether or not $ln(|z|)$ is holomorphic?
$endgroup$
– Xander Henderson
Jan 9 at 3:59
$begingroup$
Patch's answer notes that $ln$ is not holmorphic on any set containing zero. Owen Biesel notes that if $f$ is holomorphic on some domain $U$, then $ln(|f(z)|)$ is harmonic on any simply connected subdomain of $U$ (note that harmonic and holomorphic are different---though related---ideas). Your question seems to be about the holomorphicity of $ln(|z|)$---are you familiar with the Cauchy-Riemann equations? What do they tell you about whether or not $ln(|z|)$ is holomorphic?
$endgroup$
– Xander Henderson
Jan 9 at 3:59
$begingroup$
@Xander I was unaware of the Cauchy-Riemann equations. I see that they provide a good criteria for determining holomorphicity. I will continue my studies. Thank you!
$endgroup$
– Helvetican
Jan 9 at 5:40
$begingroup$
@Xander I was unaware of the Cauchy-Riemann equations. I see that they provide a good criteria for determining holomorphicity. I will continue my studies. Thank you!
$endgroup$
– Helvetican
Jan 9 at 5:40
1
1
$begingroup$
How could a real function be holomorphic ?
$endgroup$
– Yves Daoust
Jan 9 at 13:22
$begingroup$
How could a real function be holomorphic ?
$endgroup$
– Yves Daoust
Jan 9 at 13:22
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The function $log |z| = frac{1}{2} log (x^2 +y^2)$ is not holomorphic away from $0$, either by the little Picard theorem (the function $log |e^z|$ would then be real and entire) or because it fails to satisfy the Cauchy-Riemann equations. The linked question asserts that the real part of a holomorphic function is harmonic, which also follows directly from the Cauchy-Riemann equations.
$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%2f3067034%2flaurent-series-of-lnx%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$
The function $log |z| = frac{1}{2} log (x^2 +y^2)$ is not holomorphic away from $0$, either by the little Picard theorem (the function $log |e^z|$ would then be real and entire) or because it fails to satisfy the Cauchy-Riemann equations. The linked question asserts that the real part of a holomorphic function is harmonic, which also follows directly from the Cauchy-Riemann equations.
$endgroup$
add a comment |
$begingroup$
The function $log |z| = frac{1}{2} log (x^2 +y^2)$ is not holomorphic away from $0$, either by the little Picard theorem (the function $log |e^z|$ would then be real and entire) or because it fails to satisfy the Cauchy-Riemann equations. The linked question asserts that the real part of a holomorphic function is harmonic, which also follows directly from the Cauchy-Riemann equations.
$endgroup$
add a comment |
$begingroup$
The function $log |z| = frac{1}{2} log (x^2 +y^2)$ is not holomorphic away from $0$, either by the little Picard theorem (the function $log |e^z|$ would then be real and entire) or because it fails to satisfy the Cauchy-Riemann equations. The linked question asserts that the real part of a holomorphic function is harmonic, which also follows directly from the Cauchy-Riemann equations.
$endgroup$
The function $log |z| = frac{1}{2} log (x^2 +y^2)$ is not holomorphic away from $0$, either by the little Picard theorem (the function $log |e^z|$ would then be real and entire) or because it fails to satisfy the Cauchy-Riemann equations. The linked question asserts that the real part of a holomorphic function is harmonic, which also follows directly from the Cauchy-Riemann equations.
answered Jan 9 at 4:02
anomalyanomaly
17.4k42664
17.4k42664
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%2f3067034%2flaurent-series-of-lnx%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
1
$begingroup$
Patch's answer notes that $ln$ is not holmorphic on any set containing zero. Owen Biesel notes that if $f$ is holomorphic on some domain $U$, then $ln(|f(z)|)$ is harmonic on any simply connected subdomain of $U$ (note that harmonic and holomorphic are different---though related---ideas). Your question seems to be about the holomorphicity of $ln(|z|)$---are you familiar with the Cauchy-Riemann equations? What do they tell you about whether or not $ln(|z|)$ is holomorphic?
$endgroup$
– Xander Henderson
Jan 9 at 3:59
$begingroup$
@Xander I was unaware of the Cauchy-Riemann equations. I see that they provide a good criteria for determining holomorphicity. I will continue my studies. Thank you!
$endgroup$
– Helvetican
Jan 9 at 5:40
1
$begingroup$
How could a real function be holomorphic ?
$endgroup$
– Yves Daoust
Jan 9 at 13:22