Related papers: Models for the Eremenko-Lyubich class
We prove that an open set $\Omega \subset \mathbb{R}^n$ can be approximated by smooth sets of uniformly bounded perimeter from the interior if and only if the open set $\Omega$ satisfies \begin{align*} &\qquad…
We show that independent and uniformly distributed sampling points are as good as optimal sampling points for the approximation of functions from the Sobolev space $W_p^s(\Omega)$ on bounded convex domains $\Omega\subset \mathbb{R}^d$ in…
In this paper, we prove that for any bounded set of finite perimeter $\Omega \subset \mathbb{R}^n$, we can choose smooth sets $E_k \Subset \Omega$ such that $E_k \rightarrow \Omega$ in $L^1$ and \begin{align}…
Consider an open, bounded set $\Omega\subset \mathbb{C}$, a positive integer $k$ and a compact $\mathcal{K}\subset \Omega$ of cardinality strictly greater than $k$. We prove that, for any function $f$ which is holomorphic in $\overline…
We give a characterization of those functions whose all translates are complete in certain Orlicz space $L^{\Phi}(\mathbb{R})$. As a consequence, we identified those discrete sets $\Lambda \subseteq \mathbb{R}$ such that there exists a…
A class $\mathcal F$ of objects of an abelian category $\mathcal A$ is said to define a \emph{homological dimension} if for any object in $\mathcal A$ the length of any $\mathcal F$-resolution is uniquely determined. In the present paper we…
Let $\Omega$ denote the class of functions $f$ analytic in the open unit disc $\Delta$, normalized by the condition $f(0)=f'(0)-1=0$ and satisfying the inequality \begin{equation*} \left|zf'(z)-f(z)\right|<\frac{1}{2}\quad(z\in\Delta).…
In this paper, we study meromorphic functions on a domain $\Omega \subset \mathbb{C}$ whose image has finite spherical area, counted with multiplicity. The paper is composed of two parts. In the first part, we show that the limit of a…
If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The…
For each closed, positive (1,1)-current \omega on a complex manifold X and each \omega-upper semicontinuous function \phi on X we associate a disc functional and prove that its envelope is equal to the supremum of all…
Let $\Omega$ be a bounded domain in $\mathbb{C}$ such that $\partial \Omega$ does not contain isolated points. Let $R(\Omega)$ be the space of uniform limits on $\overline{\Omega}$ of rational functions with poles off $\overline{\Omega}$,…
Let $n \geq 3$ and $\Omega$ be a bounded domain in $\mathbb{C}^n$ with a smooth negative plurisubharmonic exhaustion function $\varphi$. As a generalization of Y. Tiba's result, we prove that any holomorphic function on a connected open…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
In this paper we consider a type system with a universal type $\omega$ where any term (whether open or closed, $\beta$-normalising or not) has type $\omega$. We provide this type system with a realisability semantics where an atomic type is…
Given a bounded domain $\Omega \subset {\Bbb R}^d$ with positive measure and a finite set $A=\{a^1, a^2, \dots, a^d\}$, we say that the set ${\mathcal E}(A)={\{e^{2 \pi i x \cdot a^j}\}}_{a^j \in A}$ is a complete exponential system if for…
For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…
The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…
Let $\Omega$ be a connected bounded domain on the complex plane, $S$ be its boundary, which is closed, star-shaped, $C^1$-smooth, and $H(\Omega)$ is the set of analytic (holomorphic) in $\Omega$ functions. The aim of this paper is to prove…
We use recent advances in circle packing theory to develop a constructive method for the approximation of an analytic function $F:\Omega \to \bold C$ by circle packing maps providing we have only been given $\Omega$, $|F'|\big|_{\Omega}$,…
Let $\Omega\subseteq \mathbb{R}^{d}$ be open and $A$ a complex uniformly strictly accretive $d\times d$ matrix-valued function on $\Omega$ with $L^{\infty}$ coefficients. Consider the divergence-form operator ${\mathscr L}^{A}=-{\rm…