# Antiderivitives of complex functions

1. Mar 21, 2008

### fivestar

My question is dose the existance of an antiderivitive in a domain imply that the function is anaylitic in that domain? (when f(x) is continous on that domain.)

2. Mar 22, 2008

### morphism

Presumably this antiderivative is analytic on the domain, and hence so is its derivative, which is f.

3. Mar 22, 2008

### fivestar

Thanks for the reply. Let me make sure i have this right. A function is only analytic if its antiderivitive is analytic? That means that just the existance of an antiderivitive alone dose not show that the function is analytic?

Thanks again.

4. Mar 22, 2008

### HallsofIvy

Staff Emeritus
" Presumably this antiderivative is analytic on the domain, and hence so is its derivative, which is f."

Why would that be presumed? The question was whether or not the fact tha a function is once differentiable is enough to conclude that is is analytic on an interval. The function $f(x)= e^{-\FRAC{1}{x^2}}$ if x is not 0. f(0)= 0 is infinitely differentiable but not analytic.

Last edited: Mar 23, 2008
5. Mar 22, 2008

### morphism

Because I was under the impression that this question was complex analytic in flavor, i.e. that we're talking about complex derivatives.

6. Mar 23, 2008

### mathwonk

for complex functions, having an antiderivative implies that the antiderivative has one derivative and hence is analytic, thus so is the derivative, i.e. the original function.

simply out, for complex functions, the answer is yes.

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?