Mergelyan's theorem is a result from approximation by polynomials in
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), functions of complex numbers. It is helpful in many branches of mathemati ...
proved by the
Armenian mathematician Sergei Mergelyan in 1951.
Statement
:Let ''K'' be a
compact subset of the
complex plane
In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the ...
C such that C∖''K'' is
connected. Then, every
continuous function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
''f'' : ''K''
C, such that the
restriction
Restriction, restrict or restrictor may refer to:
Science and technology
* restrict, a keyword in the C programming language used in pointer declarations
* Restriction enzyme, a type of enzyme that cleaves genetic material
Mathematics and log ...
''f'' to int(''K'') is
holomorphic, can be approximated
uniformly
Uniform distribution may refer to:
* Continuous uniform distribution
* Discrete uniform distribution
* Uniform distribution (ecology)
* Equidistributed sequence In mathematics, a sequence (''s''1, ''s''2, ''s''3, ...) of real numbers is said to be ...
on ''K'' with
polynomials. Here, int(''K'') denotes the
interior
Interior may refer to:
Arts and media
* ''Interior'' (Degas) (also known as ''The Rape''), painting by Edgar Degas
* ''Interior'' (play), 1895 play by Belgian playwright Maurice Maeterlinck
* ''The Interior'' (novel), by Lisa See
* Interior de ...
of ''K''.
Mergelyan's theorem also holds for open
Riemann surfaces
:If ''K'' is a compact set without holes in an open
Riemann surface ''X'', then every function in
can be approximated uniformly on K by functions in
.
Mergelyan's theorem does not always hold in higher dimensions (spaces of
several complex variables
The theory of functions of several complex variables is the branch of mathematics dealing with complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variable ...
), but it has some consequences.
History
Mergelyan's theorem is a generalization of the
Weierstrass approximation theorem and
Runge's theorem.
In the case that C∖''K'' is ''not'' connected, in the initial approximation problem the polynomials have to be replaced by
rational function
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rat ...
s. An important step of the solution of this further
rational approximation problem was also suggested by Mergelyan in 1952. Further deep results on rational approximation are due to, in particular,
A. G. Vitushkin
Anatoli Georgievich Vitushkin (russian: Анато́лий Гео́ргиевич Виту́шкин) (June 25, 1931 – May 9, 2004) was a Soviet mathematician noted for his work on analytic capacity and other parts of mathematical analysis.
E ...
.
Weierstrass and Runge's theorems were put forward in 1885, while Mergelyan's theorem dates from 1951. After Weierstrass and Runge, many mathematicians (in particular
Walsh Walsh may refer to:
People and fictional characters
* Walsh (surname), including a list of people and fictional characters with the surname
Places
* Fort Walsh, one of the first posts of the Royal Canadian Mounted Police
* Walsh, Ontario, Norfolk ...
,
Keldysh,
Lavrentyev,
Hartogs, and
Rosenthal
Rosenthal is a German and Jewish surname meaning "rose valley". Notable people with the name include:
A
* Abe M. Rosenthal (1922–2006), ''New York Times'' editor and columnist
*Albert Rosenthal (1863–1939), American portrait artist
* Albert ...
) had been working on the same problem. The method of the proof suggested by Mergelyan is constructive, and remains the only known constructive proof of the result.
See also
*
Arakelyan's theorem
*
Hartogs–Rosenthal theorem
*
Oka–Weil theorem
In mathematics, especially the theory of several complex variables, the Oka–Weil theorem is a result about the uniform convergence of holomorphic functions on Stein spaces due to Kiyoshi Oka and André Weil.
Statement
The Oka–Weil theorem sta ...
References
*
Lennart Carleson, ''Mergelyan's theorem on uniform polynomial approximation'', Math. Scand., V. 15, (1964) 167–175.
* Dieter Gaier, ''Lectures on Complex Approximation'', Birkhäuser Boston, Inc. (1987), .
* W. Rudin, '' Real and Complex Analysis'', McGraw–Hill Book Co., New York, (1987), .
* A. G. Vitushkin, ''Half a century as one day'', Mathematical events of the twentieth century, 449–473, Springer, Berlin, (2006), /hbk.
Inline citation
External links
* {{springer, title=Mergelyan theorem, id=p/m063450
Theorems in complex analysis
Theorems in approximation theory