Mergelyan's theorem

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

Statement

Let

K

be a compact subset of the complex plane

\mathbb {C}

such that

\mathbb {C} \setminus K

is connected. Then, every continuous function

f:K\to \mathbb {C}

, such that the restriction

f

to

{\text{int}}(K)

is holomorphic, can be approximated uniformly on

K

with polynomials. Here,

{\text{int}}(K)

denotes the interior of

K

.^[1]^[2]

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

{\mathcal {A}}(K)

can be approximated uniformly on

K

by functions in

{\mathcal {O}}(X)

.^[2]

Mergelyan's theorem does not always hold in higher dimensions (spaces of several complex variables), but it has some consequences.^[2]

History

Mergelyan's theorem is a generalization of the Weierstrass approximation theorem and Runge's theorem.

In the case that $\mathbb {C} \setminus K$ is not connected, in the initial approximation problem the polynomials have to be replaced by rational functions. 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.

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, Keldysh, Lavrentyev, Hartogs, and Rosenthal) 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.^{[citation needed]}

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), ISBN 0-8176-3147-X.
W. Rudin, Real and Complex Analysis, McGraw–Hill Book Co., New York, (1987), ISBN 0-07-054234-1.
A. G. Vitushkin, Half a century as one day, Mathematical events of the twentieth century, 449–473, Springer, Berlin, (2006), ISBN 3-540-23235-4/hbk.

Inline citation

^ Forstnerič, Franc (2019). "Mergelyan's and Arakelian's theorems for manifold-valued maps". Moscow Mathematical Journal. 19 (3): 465–484. arXiv:1801.04773. doi:10.17323/1609-4514-2019-19-3-465-484. MR 3993004.
^ ^a ^b ^c Fornaess, J.E.; Forstneric, F; Wold, E.F (2020). "The Legacy of Weierstrass, Runge, Oka–Weil, and Mergelyan". In Breaz, Daniel; Rassias, Michael Th. (eds.). Advancements in Complex Analysis – Holomorphic Approximation. Springer Nature. pp. 133–192. arXiv:1802.03924. doi:10.1007/978-3-030-40120-7. ISBN 978-3-030-40119-1. S2CID 220266044.

External links

"Mergelyan theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Mergelyan's Theorem -- from Wolfram MathWorld

[A-1] Forstnerič, Franc (2019). "Mergelyan's and Arakelian's theorems for manifold-valued maps". Moscow Mathematical Journal. 19 (3): 465–484. arXiv:1801.04773. doi:10.17323/1609-4514-2019-19-3-465-484. MR 3993004.

[B-2] Fornaess, J.E.; Forstneric, F; Wold, E.F (2020). "The Legacy of Weierstrass, Runge, Oka–Weil, and Mergelyan". In Breaz, Daniel; Rassias, Michael Th. (eds.). Advancements in Complex Analysis – Holomorphic Approximation. Springer Nature. pp. 133–192. arXiv:1802.03924. doi:10.1007/978-3-030-40120-7. ISBN 978-3-030-40119-1. S2CID 220266044.

[1]

[2]