To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Runge's theorem

From Wikipedia, the free encyclopedia

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:

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.

YouTube Encyclopedic

  • 1/3
    Views:
    1 575
    185 536
    458 097
  • Mod-01 Lec-04 Casorati-Weierstrass Theorem; Dealing with the Point at Infinity
  • Runge Kutta Method in Hindi
  • Euler's method | First order differential equations | Khan Academy

Transcription

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

References

  • Conway, John B. (1997), A Course in Functional Analysis (2nd ed.), Springer, ISBN 0-387-97245-5
  • Greene, Robert E.; Krantz, Steven G. (2002), Function Theory of One Complex Variable (2nd ed.), American Mathematical Society, ISBN 0-8218-2905-X
  • Sarason, Donald (1998), Notes on complex function theory, Texts and Readings in Mathematics, vol. 5, Hindustan Book Agency, pp. 108–115, ISBN 81-85931-19-4

External links

This page was last edited on 17 January 2024, at 20:42
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.