Antiderivative (complex analysis)

Antiderivative (complex analysis)

In complex analysis, a branch of mathematics, the antiderivative, or primitive, of a complex-valued function g is a function whose complex derivative is g. More precisely, given an open set U in the complex plane and a function g:U\to \mathbb C, the antiderivative of g is a function f:U\to \mathbb C that satisfies \frac{df}{dz}=g.

As such, this concept is the complex-variable version of the antiderivative of a real-valued function.

Contents

Uniqueness

The derivative of a constant function is zero. Therefore, any constant is an antiderivative of the zero function. If U is a connected set, then the constants are the only antiderivatives of the zero function. Otherwise, a function is an antiderivative of the zero function if and only if it is constant on each connected component of U (those constants need not be equal).

This observation implies that if a function g:U\to \mathbb C has an antiderivative, then that antiderivative is unique up to addition of a function which is constant on each connected component of U.

Existence

One can characterize the existence of antiderivatives via path integrals in the complex plane, much like the case of functions of a real variable. Perhaps not surprisingly, g has an antiderivative f if and only if, for every γ path from a to b, the path integral ∫γ g(ζ) d ζ = f(b) - f(a). Equivalently, ∫γ g(ζ) d ζ = 0 for any closed path γ.

However, this formal similarity notwithstanding, possessing a complex-antiderivative is a much more restrictive condition than its real counterpart. While it is possible for a discontinuous real function to have an anti-derivative, anti-derivatives can fail to exist even for holomorphic functions of a complex variable. For example, consider the reciprocal function, g(z) = z − 1 which is holomorphic on the punctured plane C\{0}. A direct calculation shows that the integral of g along any circle enlosing the origin is non-zero. So g fails the condition cited above.

In fact, holomorphy is characterized by having an antiderivative locally, that is, g is holomorphic if for every z in its domain, there is some neighborhood U of z such that g has an antiderivative on U. Furthermore, holomorphy is a necessary condition for a function to have an antiderivative, since the derivative of any holomorphic function is holomorphic.

Various versions of Cauchy integral theorem, an underpinning result of Cauchy function theory, which makes heavy use of path integrals, gives sufficient conditions under which, for a holomorphic g, ∫γ g(ζ) d ζ does vanish for any closed path γ (which may be, for instance, that the domain of g be simply connected or star-convex).

Necessity

First we show that if f is an antiderivative of g on U, then it has the path integral property given above. Given any piecewise C1 path \gamma:[a, b]\to U, one can express the path integral of g over γ as

\int_\gamma\! g(z)\,dz=\int_a^b \!g\left(\gamma(t)\right)\gamma'(t)\, dt=\int_a^b \!f'\left(\gamma(t)\right)\gamma'(t)\,dt.

By the chain rule and the fundamental theorem of calculus one then has

\int_\gamma \!g(z)\,dz=\int_a^b\! \frac{d}{dt}f\left(\gamma(t)\right)\,dt=f\left(\gamma(b)\right)-f\left(\gamma(a)\right).

Therefore the integral of g over γ does not depend on the actual path γ, but only on its endpoints, which is what we wanted to show.

Sufficiency

Next we show that if g is holomorphic, and the integral of g over any path depends only on the endpoints, then g has an antiderivative. We will do so by finding an anti-derivative explicitly.

Without loss of generality, we can assume that the domain U of g is connected, as otherwise one can prove the existence of an antiderivative on each connected component. With this assumption, fix a point z0 in U and for any z in U define the function

f(z)=\int_{\gamma}\! g(\zeta)\, d\zeta

where γ is any path joining z0 to z. Such a path exists since U is assumed to be an open connected set. The function f is well-defined because the integral depends only on the endpoints of γ.

That this f is an antiderivative of g can be argued in the same way as the real case. We have, for a given z in U,


\left| \frac{f(w) - f(z)}{ w-z } - g(z) \right|
= \left|  \int_z^w \frac{ g(\zeta) d\zeta}{w -z} - \int_z^w \frac{ g(z) d\zeta}{w -z} \right|
\leq \int_z^w \frac{ | g(\zeta) - g (z) |}{|w -z|} d\zeta
\leq \max_{ \zeta \in [w, z]} | g(\zeta) - g(z) |,

where [z, w] denotes the line segment between z and w. By continuity of g, the final expression goes to zero as w approaches z. In other words, f' = g.

References

  • Ian Stewart, David O. Tall (Mar 10, 1983). Complex Analysis. Cambridge University Press. ISBN 0-521-28763-4. 
  • Alan D Solomon (Jan 1, 1994). The Essentials of Complex Variables I. Research & Education Assoc. ISBN 0-87891-661-X. 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • List of complex analysis topics — Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematics that investigates functions of complex numbers. It is useful in many branches of mathematics, including number theory and applied …   Wikipedia

  • Residue (complex analysis) — In mathematics, more specifically complex analysis, the residue is a complex number proportional to the contour integral of a meromorphic function along a path enclosing one of its singularities. (More generally, residues can be calculated for… …   Wikipedia

  • Antiderivative — In calculus, an antiderivative, primitive or indefinite integral [Antiderivatives are also called general integrals, and sometimes integrals. The latter term is generic, and refers not only to indefinite integrals (antiderivatives), but also to… …   Wikipedia

  • analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… …   Universalium

  • List of real analysis topics — This is a list of articles that are considered real analysis topics. Contents 1 General topics 1.1 Limits 1.2 Sequences and Series 1.2.1 Summation Methods …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Holomorphic function — A rectangular grid (top) and its image under a holomorphic function f (bottom). In mathematics, holomorphic functions are the central objects of study in complex analysis. A holomorphic function is a complex valued function of one or more complex …   Wikipedia

  • Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …   Wikipedia

  • Logarithm — The graph of the logarithm to base 2 crosses the x axis (horizontal axis) at 1 and passes through the points with coordinates (2, 1), (4, 2), and (8, 3) …   Wikipedia

  • Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”