Even holomorphic function on the punctured disk has a primitive












2












$begingroup$


Let $f$ such that $f$ is holomorphic on ${z|0<|z|<1}$, and $f$ is even.



I need to show that f has a primitive. Any ideas?






complex-analysis holomorphic-functions







share|cite|improve this question











$endgroup$












  • $begingroup$
    Now what, odd or even?
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 18:53










  • $begingroup$
    Even, sorry fixed.
    $endgroup$
    – user3708158
    Jan 22 at 18:53


















2












$begingroup$


Let $f$ such that $f$ is holomorphic on ${z|0<|z|<1}$, and $f$ is even.



I need to show that f has a primitive. Any ideas?






complex-analysis holomorphic-functions







share|cite|improve this question











$endgroup$












  • $begingroup$
    Now what, odd or even?
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 18:53










  • $begingroup$
    Even, sorry fixed.
    $endgroup$
    – user3708158
    Jan 22 at 18:53
















2












2








2


1



$begingroup$


Let $f$ such that $f$ is holomorphic on ${z|0<|z|<1}$, and $f$ is even.



I need to show that f has a primitive. Any ideas?






complex-analysis holomorphic-functions







share|cite|improve this question











$endgroup$




Let $f$ such that $f$ is holomorphic on ${z|0<|z|<1}$, and $f$ is even.



I need to show that f has a primitive. Any ideas?






complex-analysis holomorphic-functions




complex-analysis holomorphic-functions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 22 at 18:54







user3708158

















asked Jan 22 at 18:52









user3708158user3708158

1307




1307












  • $begingroup$
    Now what, odd or even?
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 18:53










  • $begingroup$
    Even, sorry fixed.
    $endgroup$
    – user3708158
    Jan 22 at 18:53




















  • $begingroup$
    Now what, odd or even?
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 18:53










  • $begingroup$
    Even, sorry fixed.
    $endgroup$
    – user3708158
    Jan 22 at 18:53


















$begingroup$
Now what, odd or even?
$endgroup$
– Hagen von Eitzen
Jan 22 at 18:53




$begingroup$
Now what, odd or even?
$endgroup$
– Hagen von Eitzen
Jan 22 at 18:53












$begingroup$
Even, sorry fixed.
$endgroup$
– user3708158
Jan 22 at 18:53






$begingroup$
Even, sorry fixed.
$endgroup$
– user3708158
Jan 22 at 18:53












3 Answers
3






active

oldest

votes


















2












$begingroup$

Write $f$ in the form of Laurent series around $0$. You get the form $f(z)=sum_{n=-infty}^infty a_nz^n$. Now, if we prove that $a_{-1}=0$ then $F(z)=sum_{n=-infty}^{infty}frac{a_n}{n+1}z^{n+1}$ is a primitive function of $f$. So we just have to prove that $a_{-1}=0$ and we are done. And here we are going to use that $f$ is even. We know that $sum_{n=-infty}^infty a_nz^n=f(z)=f(-z)=sum_{n=-infty}^infty a_n(-z)^n$. So if we define $g(z)=f(z)-f(-z)$ then $g$ is the zero function and its Laurent expansion is $sum_{n=-infty}^infty a_{2n+1}z^{2n+1}$. Because Laurent expansion is unique we conclude that $a_{2n+1}=0$ for all $ninmathbb{Z}$. So $a_{-1}=0$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    How can we take Laurent series around 0, if 0 is not in our domain?
    $endgroup$
    – user3708158
    Jan 22 at 19:20










  • $begingroup$
    The origin is a singular point so you can take Laurent series around it.
    $endgroup$
    – Mark
    Jan 22 at 19:23










  • $begingroup$
    Perfect, thank you.
    $endgroup$
    – user3708158
    Jan 22 at 19:26



















1












$begingroup$

Let $F$ be a primitive of $frestriction_{Bbb Dsetminus(-infty,0]}$. Then $zmapsto F(z)+F(-z)$ is constant where defined, i..e, constant on the upper half disk and constant on the lower half disk. Clearly, the constants are negatives of each other. By adding a suitable constant to $F$, we can achieve that $F(z)+F(-z)=0$ thoughout, i.e., $F$ is odd. If we defien $F(z)=-F(-z)$ on $(-1,0)$, we obtain a continuos (and necesarily holomorphic) function on the whole punctured disk.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I am not sure it is constant on the lower and upper half disc. the opration $z rightarrow -z$ is symetric relatively to the line $y=-x$, right?
    $endgroup$
    – user3708158
    Jan 22 at 19:21










  • $begingroup$
    @user3708158 The derivative of $F(z)+F(-z)$ is $f(z)-f(-z)$. As the latter is $=0$, the former is locally constant.
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 21:07



















1












$begingroup$

Let $0 < r < 1$. Then we have
$$int_{partial B_r(0)} f(z), dz =
int_0^{2pi} f(re^(it)ire^{it}, dt
= int_0^{pi} f(re^{it})ire^{it}, dt + int_pi^{2pi} f(re^{it})ire^{it}, dt.$$
For the second integal we have
$$ int_pi^{2pi} f(re^{it})ire^{it}, dt
= int_0^{pi} f(re^{i(t+ pi)})ire^{i(t+ pi) }, dt
= -int_0^{pi} f(-re^{it})ire^{it }, dt=
-int_0^{pi} f(re^{it})ire^{it }, dt,$$
by the evenness of $f$.
By homotopy, every simple loop avoiding 0 integrates to 0. Now pick a any point $z_0$ in the punctured disk. Define $F(z) = int_gamma f(z), dz,$
where $gamma$ is a path connecting $z_0$ to $z$. This is well-defined because of the fact for that every loop in the punctured disk, the integral along the loop integrates to zero.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    That is $f$ even implies $f(z)dz$ is odd $1$-form : $f(-z)d(-z) = -f(z)dz$
    $endgroup$
    – reuns
    Jan 22 at 21:11












  • $begingroup$
    Can you elaborate on the part from: "By homotopy, every...." ? I don't think that the punctured disk is a simply connected set.
    $endgroup$
    – user3708158
    Jan 22 at 21:38










  • $begingroup$
    It is not. See John Conway's Complex Variables for this connection. It is very cool.
    $endgroup$
    – ncmathsadist
    Jan 23 at 0:33











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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3083547%2feven-holomorphic-function-on-the-punctured-disk-has-a-primitive%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























3 Answers
3






active

oldest

votes








3 Answers
3






active

oldest

votes









active

oldest

votes






active

oldest

votes









2












$begingroup$

Write $f$ in the form of Laurent series around $0$. You get the form $f(z)=sum_{n=-infty}^infty a_nz^n$. Now, if we prove that $a_{-1}=0$ then $F(z)=sum_{n=-infty}^{infty}frac{a_n}{n+1}z^{n+1}$ is a primitive function of $f$. So we just have to prove that $a_{-1}=0$ and we are done. And here we are going to use that $f$ is even. We know that $sum_{n=-infty}^infty a_nz^n=f(z)=f(-z)=sum_{n=-infty}^infty a_n(-z)^n$. So if we define $g(z)=f(z)-f(-z)$ then $g$ is the zero function and its Laurent expansion is $sum_{n=-infty}^infty a_{2n+1}z^{2n+1}$. Because Laurent expansion is unique we conclude that $a_{2n+1}=0$ for all $ninmathbb{Z}$. So $a_{-1}=0$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    How can we take Laurent series around 0, if 0 is not in our domain?
    $endgroup$
    – user3708158
    Jan 22 at 19:20










  • $begingroup$
    The origin is a singular point so you can take Laurent series around it.
    $endgroup$
    – Mark
    Jan 22 at 19:23










  • $begingroup$
    Perfect, thank you.
    $endgroup$
    – user3708158
    Jan 22 at 19:26
















2












$begingroup$

Write $f$ in the form of Laurent series around $0$. You get the form $f(z)=sum_{n=-infty}^infty a_nz^n$. Now, if we prove that $a_{-1}=0$ then $F(z)=sum_{n=-infty}^{infty}frac{a_n}{n+1}z^{n+1}$ is a primitive function of $f$. So we just have to prove that $a_{-1}=0$ and we are done. And here we are going to use that $f$ is even. We know that $sum_{n=-infty}^infty a_nz^n=f(z)=f(-z)=sum_{n=-infty}^infty a_n(-z)^n$. So if we define $g(z)=f(z)-f(-z)$ then $g$ is the zero function and its Laurent expansion is $sum_{n=-infty}^infty a_{2n+1}z^{2n+1}$. Because Laurent expansion is unique we conclude that $a_{2n+1}=0$ for all $ninmathbb{Z}$. So $a_{-1}=0$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    How can we take Laurent series around 0, if 0 is not in our domain?
    $endgroup$
    – user3708158
    Jan 22 at 19:20










  • $begingroup$
    The origin is a singular point so you can take Laurent series around it.
    $endgroup$
    – Mark
    Jan 22 at 19:23










  • $begingroup$
    Perfect, thank you.
    $endgroup$
    – user3708158
    Jan 22 at 19:26














2












2








2





$begingroup$

Write $f$ in the form of Laurent series around $0$. You get the form $f(z)=sum_{n=-infty}^infty a_nz^n$. Now, if we prove that $a_{-1}=0$ then $F(z)=sum_{n=-infty}^{infty}frac{a_n}{n+1}z^{n+1}$ is a primitive function of $f$. So we just have to prove that $a_{-1}=0$ and we are done. And here we are going to use that $f$ is even. We know that $sum_{n=-infty}^infty a_nz^n=f(z)=f(-z)=sum_{n=-infty}^infty a_n(-z)^n$. So if we define $g(z)=f(z)-f(-z)$ then $g$ is the zero function and its Laurent expansion is $sum_{n=-infty}^infty a_{2n+1}z^{2n+1}$. Because Laurent expansion is unique we conclude that $a_{2n+1}=0$ for all $ninmathbb{Z}$. So $a_{-1}=0$.






share|cite|improve this answer









$endgroup$



Write $f$ in the form of Laurent series around $0$. You get the form $f(z)=sum_{n=-infty}^infty a_nz^n$. Now, if we prove that $a_{-1}=0$ then $F(z)=sum_{n=-infty}^{infty}frac{a_n}{n+1}z^{n+1}$ is a primitive function of $f$. So we just have to prove that $a_{-1}=0$ and we are done. And here we are going to use that $f$ is even. We know that $sum_{n=-infty}^infty a_nz^n=f(z)=f(-z)=sum_{n=-infty}^infty a_n(-z)^n$. So if we define $g(z)=f(z)-f(-z)$ then $g$ is the zero function and its Laurent expansion is $sum_{n=-infty}^infty a_{2n+1}z^{2n+1}$. Because Laurent expansion is unique we conclude that $a_{2n+1}=0$ for all $ninmathbb{Z}$. So $a_{-1}=0$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jan 22 at 19:13









MarkMark

9,459622




9,459622












  • $begingroup$
    How can we take Laurent series around 0, if 0 is not in our domain?
    $endgroup$
    – user3708158
    Jan 22 at 19:20










  • $begingroup$
    The origin is a singular point so you can take Laurent series around it.
    $endgroup$
    – Mark
    Jan 22 at 19:23










  • $begingroup$
    Perfect, thank you.
    $endgroup$
    – user3708158
    Jan 22 at 19:26


















  • $begingroup$
    How can we take Laurent series around 0, if 0 is not in our domain?
    $endgroup$
    – user3708158
    Jan 22 at 19:20










  • $begingroup$
    The origin is a singular point so you can take Laurent series around it.
    $endgroup$
    – Mark
    Jan 22 at 19:23










  • $begingroup$
    Perfect, thank you.
    $endgroup$
    – user3708158
    Jan 22 at 19:26
















$begingroup$
How can we take Laurent series around 0, if 0 is not in our domain?
$endgroup$
– user3708158
Jan 22 at 19:20




$begingroup$
How can we take Laurent series around 0, if 0 is not in our domain?
$endgroup$
– user3708158
Jan 22 at 19:20












$begingroup$
The origin is a singular point so you can take Laurent series around it.
$endgroup$
– Mark
Jan 22 at 19:23




$begingroup$
The origin is a singular point so you can take Laurent series around it.
$endgroup$
– Mark
Jan 22 at 19:23












$begingroup$
Perfect, thank you.
$endgroup$
– user3708158
Jan 22 at 19:26




$begingroup$
Perfect, thank you.
$endgroup$
– user3708158
Jan 22 at 19:26











1












$begingroup$

Let $F$ be a primitive of $frestriction_{Bbb Dsetminus(-infty,0]}$. Then $zmapsto F(z)+F(-z)$ is constant where defined, i..e, constant on the upper half disk and constant on the lower half disk. Clearly, the constants are negatives of each other. By adding a suitable constant to $F$, we can achieve that $F(z)+F(-z)=0$ thoughout, i.e., $F$ is odd. If we defien $F(z)=-F(-z)$ on $(-1,0)$, we obtain a continuos (and necesarily holomorphic) function on the whole punctured disk.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I am not sure it is constant on the lower and upper half disc. the opration $z rightarrow -z$ is symetric relatively to the line $y=-x$, right?
    $endgroup$
    – user3708158
    Jan 22 at 19:21










  • $begingroup$
    @user3708158 The derivative of $F(z)+F(-z)$ is $f(z)-f(-z)$. As the latter is $=0$, the former is locally constant.
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 21:07
















1












$begingroup$

Let $F$ be a primitive of $frestriction_{Bbb Dsetminus(-infty,0]}$. Then $zmapsto F(z)+F(-z)$ is constant where defined, i..e, constant on the upper half disk and constant on the lower half disk. Clearly, the constants are negatives of each other. By adding a suitable constant to $F$, we can achieve that $F(z)+F(-z)=0$ thoughout, i.e., $F$ is odd. If we defien $F(z)=-F(-z)$ on $(-1,0)$, we obtain a continuos (and necesarily holomorphic) function on the whole punctured disk.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I am not sure it is constant on the lower and upper half disc. the opration $z rightarrow -z$ is symetric relatively to the line $y=-x$, right?
    $endgroup$
    – user3708158
    Jan 22 at 19:21










  • $begingroup$
    @user3708158 The derivative of $F(z)+F(-z)$ is $f(z)-f(-z)$. As the latter is $=0$, the former is locally constant.
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 21:07














1












1








1





$begingroup$

Let $F$ be a primitive of $frestriction_{Bbb Dsetminus(-infty,0]}$. Then $zmapsto F(z)+F(-z)$ is constant where defined, i..e, constant on the upper half disk and constant on the lower half disk. Clearly, the constants are negatives of each other. By adding a suitable constant to $F$, we can achieve that $F(z)+F(-z)=0$ thoughout, i.e., $F$ is odd. If we defien $F(z)=-F(-z)$ on $(-1,0)$, we obtain a continuos (and necesarily holomorphic) function on the whole punctured disk.






share|cite|improve this answer









$endgroup$



Let $F$ be a primitive of $frestriction_{Bbb Dsetminus(-infty,0]}$. Then $zmapsto F(z)+F(-z)$ is constant where defined, i..e, constant on the upper half disk and constant on the lower half disk. Clearly, the constants are negatives of each other. By adding a suitable constant to $F$, we can achieve that $F(z)+F(-z)=0$ thoughout, i.e., $F$ is odd. If we defien $F(z)=-F(-z)$ on $(-1,0)$, we obtain a continuos (and necesarily holomorphic) function on the whole punctured disk.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jan 22 at 19:14









Hagen von EitzenHagen von Eitzen

281k23272505




281k23272505












  • $begingroup$
    I am not sure it is constant on the lower and upper half disc. the opration $z rightarrow -z$ is symetric relatively to the line $y=-x$, right?
    $endgroup$
    – user3708158
    Jan 22 at 19:21










  • $begingroup$
    @user3708158 The derivative of $F(z)+F(-z)$ is $f(z)-f(-z)$. As the latter is $=0$, the former is locally constant.
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 21:07


















  • $begingroup$
    I am not sure it is constant on the lower and upper half disc. the opration $z rightarrow -z$ is symetric relatively to the line $y=-x$, right?
    $endgroup$
    – user3708158
    Jan 22 at 19:21










  • $begingroup$
    @user3708158 The derivative of $F(z)+F(-z)$ is $f(z)-f(-z)$. As the latter is $=0$, the former is locally constant.
    $endgroup$
    – Hagen von Eitzen
    Jan 22 at 21:07
















$begingroup$
I am not sure it is constant on the lower and upper half disc. the opration $z rightarrow -z$ is symetric relatively to the line $y=-x$, right?
$endgroup$
– user3708158
Jan 22 at 19:21




$begingroup$
I am not sure it is constant on the lower and upper half disc. the opration $z rightarrow -z$ is symetric relatively to the line $y=-x$, right?
$endgroup$
– user3708158
Jan 22 at 19:21












$begingroup$
@user3708158 The derivative of $F(z)+F(-z)$ is $f(z)-f(-z)$. As the latter is $=0$, the former is locally constant.
$endgroup$
– Hagen von Eitzen
Jan 22 at 21:07




$begingroup$
@user3708158 The derivative of $F(z)+F(-z)$ is $f(z)-f(-z)$. As the latter is $=0$, the former is locally constant.
$endgroup$
– Hagen von Eitzen
Jan 22 at 21:07











1












$begingroup$

Let $0 < r < 1$. Then we have
$$int_{partial B_r(0)} f(z), dz =
int_0^{2pi} f(re^(it)ire^{it}, dt
= int_0^{pi} f(re^{it})ire^{it}, dt + int_pi^{2pi} f(re^{it})ire^{it}, dt.$$
For the second integal we have
$$ int_pi^{2pi} f(re^{it})ire^{it}, dt
= int_0^{pi} f(re^{i(t+ pi)})ire^{i(t+ pi) }, dt
= -int_0^{pi} f(-re^{it})ire^{it }, dt=
-int_0^{pi} f(re^{it})ire^{it }, dt,$$
by the evenness of $f$.
By homotopy, every simple loop avoiding 0 integrates to 0. Now pick a any point $z_0$ in the punctured disk. Define $F(z) = int_gamma f(z), dz,$
where $gamma$ is a path connecting $z_0$ to $z$. This is well-defined because of the fact for that every loop in the punctured disk, the integral along the loop integrates to zero.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    That is $f$ even implies $f(z)dz$ is odd $1$-form : $f(-z)d(-z) = -f(z)dz$
    $endgroup$
    – reuns
    Jan 22 at 21:11












  • $begingroup$
    Can you elaborate on the part from: "By homotopy, every...." ? I don't think that the punctured disk is a simply connected set.
    $endgroup$
    – user3708158
    Jan 22 at 21:38










  • $begingroup$
    It is not. See John Conway's Complex Variables for this connection. It is very cool.
    $endgroup$
    – ncmathsadist
    Jan 23 at 0:33
















1












$begingroup$

Let $0 < r < 1$. Then we have
$$int_{partial B_r(0)} f(z), dz =
int_0^{2pi} f(re^(it)ire^{it}, dt
= int_0^{pi} f(re^{it})ire^{it}, dt + int_pi^{2pi} f(re^{it})ire^{it}, dt.$$
For the second integal we have
$$ int_pi^{2pi} f(re^{it})ire^{it}, dt
= int_0^{pi} f(re^{i(t+ pi)})ire^{i(t+ pi) }, dt
= -int_0^{pi} f(-re^{it})ire^{it }, dt=
-int_0^{pi} f(re^{it})ire^{it }, dt,$$
by the evenness of $f$.
By homotopy, every simple loop avoiding 0 integrates to 0. Now pick a any point $z_0$ in the punctured disk. Define $F(z) = int_gamma f(z), dz,$
where $gamma$ is a path connecting $z_0$ to $z$. This is well-defined because of the fact for that every loop in the punctured disk, the integral along the loop integrates to zero.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    That is $f$ even implies $f(z)dz$ is odd $1$-form : $f(-z)d(-z) = -f(z)dz$
    $endgroup$
    – reuns
    Jan 22 at 21:11












  • $begingroup$
    Can you elaborate on the part from: "By homotopy, every...." ? I don't think that the punctured disk is a simply connected set.
    $endgroup$
    – user3708158
    Jan 22 at 21:38










  • $begingroup$
    It is not. See John Conway's Complex Variables for this connection. It is very cool.
    $endgroup$
    – ncmathsadist
    Jan 23 at 0:33














1












1








1





$begingroup$

Let $0 < r < 1$. Then we have
$$int_{partial B_r(0)} f(z), dz =
int_0^{2pi} f(re^(it)ire^{it}, dt
= int_0^{pi} f(re^{it})ire^{it}, dt + int_pi^{2pi} f(re^{it})ire^{it}, dt.$$
For the second integal we have
$$ int_pi^{2pi} f(re^{it})ire^{it}, dt
= int_0^{pi} f(re^{i(t+ pi)})ire^{i(t+ pi) }, dt
= -int_0^{pi} f(-re^{it})ire^{it }, dt=
-int_0^{pi} f(re^{it})ire^{it }, dt,$$
by the evenness of $f$.
By homotopy, every simple loop avoiding 0 integrates to 0. Now pick a any point $z_0$ in the punctured disk. Define $F(z) = int_gamma f(z), dz,$
where $gamma$ is a path connecting $z_0$ to $z$. This is well-defined because of the fact for that every loop in the punctured disk, the integral along the loop integrates to zero.






share|cite|improve this answer











$endgroup$



Let $0 < r < 1$. Then we have
$$int_{partial B_r(0)} f(z), dz =
int_0^{2pi} f(re^(it)ire^{it}, dt
= int_0^{pi} f(re^{it})ire^{it}, dt + int_pi^{2pi} f(re^{it})ire^{it}, dt.$$
For the second integal we have
$$ int_pi^{2pi} f(re^{it})ire^{it}, dt
= int_0^{pi} f(re^{i(t+ pi)})ire^{i(t+ pi) }, dt
= -int_0^{pi} f(-re^{it})ire^{it }, dt=
-int_0^{pi} f(re^{it})ire^{it }, dt,$$
by the evenness of $f$.
By homotopy, every simple loop avoiding 0 integrates to 0. Now pick a any point $z_0$ in the punctured disk. Define $F(z) = int_gamma f(z), dz,$
where $gamma$ is a path connecting $z_0$ to $z$. This is well-defined because of the fact for that every loop in the punctured disk, the integral along the loop integrates to zero.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jan 22 at 21:14

























answered Jan 22 at 21:09









ncmathsadistncmathsadist

42.9k260103




42.9k260103












  • $begingroup$
    That is $f$ even implies $f(z)dz$ is odd $1$-form : $f(-z)d(-z) = -f(z)dz$
    $endgroup$
    – reuns
    Jan 22 at 21:11












  • $begingroup$
    Can you elaborate on the part from: "By homotopy, every...." ? I don't think that the punctured disk is a simply connected set.
    $endgroup$
    – user3708158
    Jan 22 at 21:38










  • $begingroup$
    It is not. See John Conway's Complex Variables for this connection. It is very cool.
    $endgroup$
    – ncmathsadist
    Jan 23 at 0:33


















  • $begingroup$
    That is $f$ even implies $f(z)dz$ is odd $1$-form : $f(-z)d(-z) = -f(z)dz$
    $endgroup$
    – reuns
    Jan 22 at 21:11












  • $begingroup$
    Can you elaborate on the part from: "By homotopy, every...." ? I don't think that the punctured disk is a simply connected set.
    $endgroup$
    – user3708158
    Jan 22 at 21:38










  • $begingroup$
    It is not. See John Conway's Complex Variables for this connection. It is very cool.
    $endgroup$
    – ncmathsadist
    Jan 23 at 0:33
















$begingroup$
That is $f$ even implies $f(z)dz$ is odd $1$-form : $f(-z)d(-z) = -f(z)dz$
$endgroup$
– reuns
Jan 22 at 21:11






$begingroup$
That is $f$ even implies $f(z)dz$ is odd $1$-form : $f(-z)d(-z) = -f(z)dz$
$endgroup$
– reuns
Jan 22 at 21:11














$begingroup$
Can you elaborate on the part from: "By homotopy, every...." ? I don't think that the punctured disk is a simply connected set.
$endgroup$
– user3708158
Jan 22 at 21:38




$begingroup$
Can you elaborate on the part from: "By homotopy, every...." ? I don't think that the punctured disk is a simply connected set.
$endgroup$
– user3708158
Jan 22 at 21:38












$begingroup$
It is not. See John Conway's Complex Variables for this connection. It is very cool.
$endgroup$
– ncmathsadist
Jan 23 at 0:33




$begingroup$
It is not. See John Conway's Complex Variables for this connection. It is very cool.
$endgroup$
– ncmathsadist
Jan 23 at 0:33


















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3083547%2feven-holomorphic-function-on-the-punctured-disk-has-a-primitive%23new-answer', 'question_page');
}
);

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







-

Popular posts from this blog

Mario Kart Wii

Image
Please consider supporting The Cutting Room Floor on Patreon. Thanks for all your support! Mario Kart Wii From The Cutting Room Floor Jump to: navigation, search Mario Kart Wii Developer : Nintendo Publisher : Nintendo Platform : Wii Released in JP : April 10, 2008 Released in US : April 27, 2008 Released in EU : April 11, 2008 Released in AU : April 24, 2008 Released in KR : April 30, 2009 This game has unused animations. This game has unused areas. This game has unused code. This game has unused objects. This game has unused modes / minigames. This game has unused graphics. This game has unused models. This game has unused items. This game has unused music. This game has regional differences. This game has a notes page This game has a prerelease article Mario Kart Wii is the sixth game in the series (not counting Arcade editions), which intro
Read more

What does “Dominus providebit” mean?

Image
5 Does "Dominus providebit" mean "The Lord will provide" or "The Lord provides"? I once had a bit of an argument with a guy who studied Latin over that. It's an inscription that appears on the rim of some old Swiss coins that I have. meaning latin-to-english-translation grammar-identification share | improve this question edited Jan 18 at 15:27 V2Blast 105 4 asked Jan 17 at 22:49 Donald K. Donald K. 26 1
Read more

Antonio Litta Visconti Arese

Image
Antonio Litta Visconti Arese I duca Litta, VII marchese di Gambolò In carica 1797 – 1820 Predecessore Pompeo Litta Visconti Arese Successore Alfonso Litta Visconti Arese Trattamento Sua grazia Altri titoli Duca Litta Conte del Regno napoleonico d'Italia Patrizio milanese Don Nascita Milano, 2 maggio 1748 Morte Milano, 14 agosto 1820 Dinastia Litta Visconti Arese Padre Pompeo Litta Visconti Arese Madre Maria Elisabetta Visconti Borromeo Consorte Barbara Barbiano di Belgioioso Religione cattolicesimo Antonio Litta Visconti Arese , I duca Litta, VII marchese di Gambolò (Milano, 2 maggio 1748 – Milano, 14 agosto 1820), è stato un nobile e politico italiano. Composizione "Il pastore svizzero" di Pietro Morlacchi, con dedica Indice 1 Biografia 2 Onorificenze 3 Araldica 4 Albero genealogico 5 Note 6 Altri progetti Biografia | Antonio Litta Visco
Read more