An asymptotic holomorphic boundary problem on arbitrary open sets in Riemann surfaces (Q783720)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An asymptotic holomorphic boundary problem on arbitrary open sets in Riemann surfaces
scientific article

    Statements

    An asymptotic holomorphic boundary problem on arbitrary open sets in Riemann surfaces (English)
    0 references
    0 references
    0 references
    4 August 2020
    0 references
    Motivated by the classical Dirichlet problem, the authors prove that for every open set \(U\) in an arbitrary Riemann surface and every continuous function \(\varphi\) on the boundary \(\partial U\), there exists a holomorphic function \(\widetilde{\varphi}\) on \(U\) such that \(\forall p\in\partial U, \ \widetilde{\varphi}(x)\xrightarrow{} \varphi(p)\), as \(x \to p\) outside a set of density 0 at \(p \) relative to \(U\). First they slighty extend a result of \textit{A. Boivin} [Math. Ann. 275, 57--70 (1986; Zbl 0583.30035)] which characterizes the sets of tangential approximation in an open Riemann surface and then they prove that every chaplet \(E\) of an open Riemann surface \(M\) is a set of tangential approximation. The latter result plays a central role to obtain their goal. Finally, they also present the following interesting approximation result, where the approximation function has interpolation and Picard-type properties: Let \(M\) be an open Riemann surface, let \(E\) be a chaplet in an open subset \(U\subset M\) and let \((x_n)_n\) be a sequence of distinct points in \( U \smallsetminus E\) with no accumulation points in \(U\). Then for every function \( f\in A(E)\), every sequence \((y_n)_n\subset\mathbb{C}\) and every positive and continuous function \(\varepsilon\) on \(E\), there exists a function \(g\) holomorphic in \(U\) such that \( g(x_n) = y_n, \ \forall n\in\mathbb{N}\) and \(|g(x)-f(x)| <\varepsilon (x), \ \forall x\in E\). Furthermore, g can be chosen so that for every \(p\in\partial U\) and for every complex number \(\beta\) there exists a sequence \((a_{j})_j\) in \(U\smallsetminus E\) with \(a_j\to p\), when \(j\) goes to infinity and \(g(a_j) = \beta\) for each natural number \(j\).
    0 references
    0 references
    0 references
    0 references
    0 references
    Carleman approximation
    0 references
    tangential approximation
    0 references
    Riemann surface
    0 references
    holomorphic extension
    0 references
    boundary problem
    0 references
    0 references
    0 references