Antiderivatives of an analytic function are not necessarily analytic?I'm using the power series representation definition of analyticity, and I thought that this definition, together with the Term-By-Term Differentiation Theorem for power series implied that all the derivatives and antiderivatives of an analytic function are analytic, since if a function can be given by a convergent power series then all of its derivatives and antiderivatives can also be given by power series and the radius of convergence is preserved.My book actually mentions what I just said, but only for derivatives, that is, that an analytic function have infinite derivatives and all of them are analytic. It also mentions that an analytic function have infinite antiderivatives but it said nothing about them being analytic. Then I was doing some problems and I came with the following:A set E ⊆ C is starlike with respect to a ∈ E (or just starlike) if [ a , z ] ⊆ E for all z ∈ E ∖ { a }. Show that if Ω ⊆ C is a starlike domain and f ∈ H ( Ω ), then there is F ∈ H ( Ω ) such that F ′ = fWhere H ( Ω ) is the set of all analytic functions over the set Ω. If my previous reasoning was correct then the proof would be trivial and the hypothesis that Ω is starlike wouldn't be necessary. I don't know what I am missing. Is analyticity actually not preserved by antidifferentiating a function and why? Thanks in advance.

Question

Antiderivatives of an analytic function are not necessarily analytic?I&#039;m using the power series representation definition of analyticity, and I thought that this definition, together with the Term-By-Term Differentiation Theorem for power series implied that all the derivatives and antiderivatives of an analytic function are analytic, since if a function can be given by a convergent power series then all of its derivatives and antiderivatives can also be given by power series and the radius of convergence is preserved.My book actually mentions what I just said, but only for derivatives, that is, that an analytic function have infinite derivatives and all of them are analytic. It also mentions that an analytic function have infinite antiderivatives but it said nothing about them being analytic. Then I was doing some problems and I came with the following:A set   E  ⊆  C is starlike with respect to   a  ∈  E (or just starlike) if   [  a  ,  z  ]  ⊆  E for all   z  ∈  E  ∖  {  a  }. Show that if       Ω    ⊆  C is a starlike domain and   f  ∈  H  (      Ω    ), then there is   F  ∈  H  (      Ω    ) such that       F    ′    =  fWhere   H  (  Ω  ) is the set of all analytic functions over the set   Ω. If my previous reasoning was correct then the proof would be trivial and the hypothesis that Ω is starlike wouldn&#039;t be necessary. I don&#039;t know what I am missing. Is analyticity actually not preserved by antidifferentiating a function and why? Thanks in advance.

Cristopher Barrera · Accepted Answer

Step 1Consider the function             1      z       on       C    ∖  {  0  }. This function is holomorphic on the domain.Formally its antiderivative should be ln(z). However, we have a problem actually defining this function, since if you take a small circle   γ that encapsulates the origin and integrate             1      z       around   γ, you get a non-zero value.Step 2(In other words, is is not the regularity that kills you, but the fact that you can&#039;t even necessarily define a global anti-derivative. I suspect when your book talks about analytic functions having anti-derivatives they are taking this from a very local point of view.)

Antiderivatives of an analytic function are not necessarily analytic? I'm using the power series re

Answered question

Answer & Explanation

New Questions in Calculus 1