PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] antiderivative of complex function (Definition)

By the antiderivative of a complex function $f$ in a domain $D$ of $\mathbb{C}$ , we mean every complex function $F$ which in $D$ satisfies the condition $$\frac{d}{dz}F(z) = f(z).$$

  • If $f$ is a continuous complex function in a domain $D$ and if the integral
    $\displaystyle F(z) := \int_{\gamma_z}f(t)\,dt$ (1)

    where the path ${\gamma_z}$ begins at a fixed point $z_0$ of $D$ and ends at the point $z$ of $D$ , is independent of the path $\gamma_z$ for each value of $z$ , then (1) defines an analytic function $F$ with domain $D$ . This function is an antiderivative of $f$ in $D$ , i.e. in all of $D$ , the condition $$\frac{d}{dz}\int_{\gamma_z}f(t)\,dt = f(z)$$ is true.
  • If $f$ is an analytic function in a simply connected open domain $U$ , then $f$ has an antiderivative in $U$ , e.g. the function $F$ defined by (1) where the path $\gamma_z$ is within $U$ . If $\gamma$ lies within $U$ and connects the points $z_0$ and $z_1$ , then $$\int_{\gamma}f(z)\,dz = F(z_1)-F(z_0),$$ where $F$ is an arbitrary antiderivative of $f$ in $U$ .




"antiderivative of complex function" is owned by Wkbj79. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: antiderivative

Other names:  complex antiderivative

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: open, simply connected, antiderivative, function, analytic function, independent, point, fixed point, path, integral, continuous, satisfies, domain, complex function
There are 2 references to this entry.

This is version 6 of antiderivative of complex function, born on 2005-06-03, modified 2007-05-30.
Object id is 7140, canonical name is AntiderivativeOfComplexFunction.
Accessed 4887 times total.

Classification:
AMS MSC03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )
 30A99 (Functions of a complex variable :: General properties :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)