antiderivative of complex function
By the of a complex function in a domain of , we every complex function which in satisfies the condition
- •
If is a continuous
complex function in a domain and if the integral
(1) where the path begins at a fixed point
of and ends at the point of , is independent of thepath for each value of , then (1) defines ananalytic function
with domain . This function is anantiderivative of in , i.e. (http://planetmath.org/Ie) at allpoints of , the condition
is true.
- •
If is an analytic function in a simply connected open domain , then has an antiderivative in , e.g. (http://planetmath.org/Eg) the function defined by (1) where the path is within . If lies within and connects the points and , then
where is an arbitrary antiderivative of in .