Mergelyan's theorem

Last updated

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

Contents

Statement

Let K be a compact subset of the complex plane C such that CK is connected. Then, every continuous function f : KC, such that the restriction f to int(K) is holomorphic, can be approximated uniformly on K with polynomials. Here, 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 can be approximated uniformly on K by functions in . [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 CK 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 ]

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, applied mathematics; as well as in physics, including the branches of hydrodynamics, thermodynamics, and particularly quantum mechanics. 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">Holomorphic function</span> Complex-differentiable (mathematical) function

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space Cn. The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.

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.

<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's 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.

<span class="mw-page-title-main">Complex geometry</span> Study of complex manifolds and several complex variables

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.

The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space , that is, n-tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables, which the Mathematics Subject Classification has as a top-level heading.

<span class="mw-page-title-main">Kiyoshi Oka</span> Japanese mathematician

Kiyoshi Oka was a Japanese mathematician who did fundamental work in the theory of several complex variables.

In mathematics, infinite-dimensional holomorphy is a branch of functional analysis. It is concerned with generalizations of the concept of holomorphic function to functions defined and taking values in complex Banach spaces, typically of infinite dimension. It is one aspect of nonlinear functional analysis.

In mathematics, the Hirzebruch–Riemann–Roch theorem, named after Friedrich Hirzebruch, Bernhard Riemann, and Gustav Roch, is Hirzebruch's 1954 result generalizing the classical Riemann–Roch theorem on Riemann surfaces to all complex algebraic varieties of higher dimensions. The result paved the way for the Grothendieck–Hirzebruch–Riemann–Roch theorem proved about three years later.

<span class="mw-page-title-main">Runge's theorem</span>

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

<span class="mw-page-title-main">Sergey Mergelyan</span> Armenian mathematician

Sergey Mergelyan was a Soviet Armenian mathematician, who made major contributions to the Approximation Theory. The modern Complex Approximation Theory is based on Mergelyan's classical work. Corresponding Member Academy of Sciences of USSR, member of NAS ASSR.

In mathematics, especially several complex variables, an analytic polyhedron is a subset of the complex space Cn of the form

In mathematics, the Oka coherence theorem, proved by Kiyoshi Oka (1950), states that the sheaf of germs of holomorphic functions on over a complex manifold is coherent.

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, the Farrell–Markushevich theorem, proved independently by O. J. Farrell (1899–1981) and A. I. Markushevich (1908–1979) in 1934, is a result concerning the approximation in mean square of holomorphic functions on a bounded open set in the complex plane by complex polynomials. It states that complex polynomials form a dense subspace of the Bergman space of a domain bounded by a simple closed Jordan curve. The Gram–Schmidt process can be used to construct an orthonormal basis in the Bergman space and hence an explicit form of the Bergman kernel, which in turn yields an explicit Riemann mapping function for the domain.

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.

In mathematics, especially several complex variables, the Behnke–Stein theorem states that a connected, non-compact (open) Riemann surface is a Stein manifold. In other words, it states that there is a nonconstant single-valued holomorphic function on such a Riemann surface. It is a generalization of the Runge approximation theorem and was proved by Heinrich Behnke and Karl Stein in 1948.

References

Inline citation

  1. Forstneric, Franc (2018). "Mergelyan's and Arakelian's theorems for manifold-valued maps". arXiv: 1801.04773 .{{cite journal}}: Cite journal requires |journal= (help)
  2. 1 2 3 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.