Runge's theorem

Last updated
Given a holomorphic function f on the blue compact set and a point in each of the holes, one can approximate f as well as desired by rational functions having poles only at those three points. Runge theorem.svg
Given a holomorphic function f on the blue compact set and a point in each of the holes, one can approximate f as well as desired by rational functions having poles only at those three points.

In complex analysis, Runge's theorem (also known as Runge's approximation theorem) is named after the German mathematician Carl Runge who first proved it in the year 1885. It states the following:

Contents

Denoting by C the set of complex numbers, let K be a compact subset of C and let f be a function which is holomorphic on an open set containing K. If A is a set containing at least one complex number from every bounded connected component of C\K then there exists a sequence of rational functions which converges uniformly to f on K and such that all the poles of the functions are in A.

Note that not every complex number in A needs to be a pole of every rational function of the sequence . We merely know that for all members of that do have poles, those poles lie in A.

One aspect that makes this theorem so powerful is that one can choose the set A arbitrarily. In other words, one can choose any complex numbers from the bounded connected components of C\K and the theorem guarantees the existence of a sequence of rational functions with poles only amongst those chosen numbers.

For the special case in which C\K is a connected set (in particular when K is simply-connected), the set A in the theorem will clearly be empty. Since rational functions with no poles are simply polynomials, we get the following corollary: If K is a compact subset of C such that C\K is a connected set, and f is a holomorphic function on an open set containing K, then there exists a sequence of polynomials that approaches f uniformly on K (the assumptions can be relaxed, see Mergelyan's theorem).

Runge's theorem generalises as follows: one can take A to be a subset of the Riemann sphere C∪{∞} and require that A intersect also the unbounded connected component of K (which now contains ∞). That is, in the formulation given above, the rational functions may turn out to have a pole at infinity, while in the more general formulation the pole can be chosen instead anywhere in the unbounded connected component of C\K.

Proof

An elementary proof, inspired by Sarason (1998), proceeds as follows. There is a closed piecewise-linear contour Γ in the open set, containing K in its interior, such that all the chosen distinguished points are in its exterior. By Cauchy's integral formula

for w in K. Riemann approximating sums can be used to approximate the contour integral uniformly over K (there is a similar formula for the derivative). Each term in the sum is a scalar multiple of (zw)−1 for some point z on the contour. This gives a uniform approximation by a rational function with poles on Γ.

To modify this to an approximation with poles at specified points in each component of the complement of K, it is enough to check this for terms of the form (z  w)−1. If z0 is the point in the same component as z, take a path from z to z0.

If two points are sufficiently close on the path, we may use the formula

(verified by geometric series)

valid on the circle-complement ; note that the chosen path has a positive distance to K by compactness. That series can be truncated to give a rational function with poles only at the second point uniformly close to the original function on K. Proceeding by steps along the path from z to z0 the original function (zw)−1 can be successively modified to give a rational function with poles only at z0.

If z0 is the point at infinity, then by the above procedure the rational function (zw)−1 can first be approximated by a rational function g with poles at R > 0 where R is so large that K lies in w < R. The Taylor series expansion of g about 0 can then be truncated to give a polynomial approximation on K.

See also

Related Research Articles

<span class="mw-page-title-main">Complex analysis</span> Branch of mathematics studying functions of a complex variable

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, and applied mathematics, as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

<span class="mw-page-title-main">Riemann mapping theorem</span>

In complex analysis, the Riemann mapping theorem states that if is a non-empty simply connected open subset of the complex number plane which is not all of , then there exists a biholomorphic mapping from onto the open unit disk

In mathematical analysis, the Weierstrass approximation theorem states that every continuous function defined on a closed interval [a, b] can be uniformly approximated as closely as desired by a polynomial function. Because polynomials are among the simplest functions, and because computers can directly evaluate polynomials, this theorem has both practical and theoretical relevance, especially in polynomial interpolation. The original version of this result was established by Karl Weierstrass in 1885 using the Weierstrass transform.

In complex analysis, a branch of mathematics, the Casorati–Weierstrass theorem describes the behaviour of holomorphic functions near their essential singularities. It is named for Karl Theodor Wilhelm Weierstrass and Felice Casorati. In Russian literature it is called Sokhotski's theorem.

The fundamental theorem of algebra, also called d'Alembert's theorem or the d'Alembert–Gauss theorem, states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero.

<span class="mw-page-title-main">Taylor's theorem</span> Approximation of a function by a truncated power series

In calculus, Taylor's theorem gives an approximation of a -times differentiable function around a given point by a polynomial of degree , called the -th-order Taylor polynomial. For a smooth function, the Taylor polynomial is the truncation at the order of the Taylor series of the function. The first-order Taylor polynomial is the linear approximation of the function, and the second-order Taylor polynomial is often referred to as the quadratic approximation. There are several versions of Taylor's theorem, some giving explicit estimates of the approximation error of the function by its Taylor polynomial.

<span class="mw-page-title-main">Analytic function</span> Type of function in mathematics

In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if its Taylor series about converges to the function in some neighborhood for every in its domain. It is important to note that it is a neighborhood and not just at some point , since every differentiable function has at least a tangent line at every point, which is its Taylor series of order 1. So just having a polynomial expansion at singular points is not enough, and the Taylor series must also converge to the function on points adjacent to to be considered an analytic function. As a counterexample see the Fabius function.

In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of definition of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where the infinite series representation which initially defined the function becomes divergent.

<span class="mw-page-title-main">Zeros and poles</span> Concept in complex analysis

In complex analysis, a pole is a certain type of singularity of a complex-valued function of a complex variable. It is the simplest type of non-removable singularity of such a function. Technically, a point z0 is a pole of a function f if it is a zero of the function 1/f and 1/f is holomorphic in some neighbourhood of z0.

<span class="mw-page-title-main">Projective variety</span>

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

In the mathematical field of complex analysis, a branch point of a multi-valued function is a point such that if the function is n-valued at that point, all of its neighborhoods contain a point that has more than n values. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept.

In the mathematical subfields of numerical analysis and mathematical analysis, a trigonometric polynomial is a finite linear combination of functions sin(nx) and cos(nx) with n taking on the values of one or more natural numbers. The coefficients may be taken as real numbers, for real-valued functions. For complex coefficients, there is no difference between such a function and a finite Fourier series.

In complex analysis, Mittag-Leffler's theorem concerns the existence of meromorphic functions with prescribed poles. Conversely, it can be used to express any meromorphic function as a sum of partial fractions. It is sister to the Weierstrass factorization theorem, which asserts existence of holomorphic functions with prescribed zeros.

Mergelyan's theorem is a result from approximation by polynomials in complex analysis proved by the Armenian mathematician Sergei Mergelyan in 1951.

An external ray is a curve that runs from infinity toward a Julia or Mandelbrot set. Although this curve is only rarely a half-line (ray) it is called a ray because it is an image of a ray.

In complex analysis, given initial data consisting of points in the complex unit disc and target data consisting of points in , the Nevanlinna–Pick interpolation problem is to find a holomorphic function that interpolates the data, that is for all ,

In mathematics and in particular the field of complex analysis, Hurwitz's theorem is a theorem associating the zeroes of a sequence of holomorphic, compact locally uniformly convergent functions with that of their corresponding limit. The theorem is named after Adolf Hurwitz.

In mathematics, the Hartogs–Rosenthal theorem is a classical result in complex analysis on the uniform approximation of continuous functions on compact subsets of the complex plane by rational functions. The theorem was proved in 1931 by the German mathematicians Friedrich Hartogs and Arthur Rosenthal and has been widely applied, particularly in operator theory.

In mathematics, Arakelyan's theorem is a generalization of Mergelyan's theorem from compact subsets of an open subset of the complex plane to relatively closed subsets of an open subset.

In mathematics, a planar Riemann surface is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of every closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that every closed differential 1-form of compact support is exact. Every simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910, as a generalization of the uniformization theorem, that every such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.

References