Related papers: Nondefinability results for elliptic and modular f…

We study effectively inseparable (e.i.) pre-lattices (i.e. structures of the form $L=\langle \omega, \wedge, \lor, 0, 1, \leq_L\rangle$ where $\omega$ denotes the set of natural numbers and the following hold: $\wedge, \lor$ are binary…

Let $\Omega$ be a regular Koenigs domain in the complex plane $\mathbb{C}$. We prove that the Hardy number of $\Omega$ is greater or equal to $1/2$. That is, every holomorphic function in the unit disc $f \colon \mathbb{D} \to \Omega$…

For a finite word $w$ we define and study the Kolmogorov structure function $h_w$ for nondeterministic automatic complexity. We prove upper bounds on $h_w$ that appear to be quite sharp, based on numerical evidence.

We introduce a method, based on the Poincare-Hopf index theorem, to classify solutions to overdetermined problems for fully nonlinear elliptic equations in domains diffeomorphic to a closed disk. Applications to some well-known nonlinear…

We present a theorem on taking the repeated indefinite summation of a holomorphic function $\phi(z)$ in a vertical strip of $\mathbb{C}$ satisfying exponential bounds as the imaginary part grows. We arrive at this result using transforms…

For a real analytic periodic function $\phi:\mathbb{R}\to \mathbb{R}$, an integer $b\ge 2$ and $\lambda\in (1/b,1)$, we prove the following dichotomy for the Weierstrass-type function $W(x)=\sum\limits_{n\ge 0}{{\lambda}^n\phi(b^nx)}$:…

The strong dual space of linear continuous functionals on a weighted space G of infinitely differentiable functions defined on the real line is described in terms of their Fourier-Laplace transforms.

Let $\Omega\Subset\mathbb{C}^{n}$ be a domain with smooth boundary, $k\in\mathbb{N}$. It is shown that the integral of a holomorphic function in $L^1(\Omega)$ may be represented as the integral of this function against a smooth function…

We give a new proof that bounded non-commutative functions on polynomial polyhedra can be represented by a realization formula, a generalization of the transfer function realization formula for bounded analytic functions on the unit disk.

In this work is we prove model completeness for the expansion of the real field by the Weierstrass $\wp$ function as a function of the variable $z$ and the parameter (or period) $\tau$. We need to existentially define the partial…

The density of polynomials in a weighted space of infinitely differentiable functions in a multidimensional real space is proved under minimal conditions on weight functions and on differences between weight functions. We apply this result…

Let f be a nonconstant meromorphic function in the plane and h be a nonconstant elliptic function. We show that if all zeros of f are multiple exept finitely many and T(r,h)=o{T(r,f)} as r tends to infinity, then f'=h has infinitely many…

In this paper we investigate the approximation of continuous functions on the Wasserstein space by smooth functions, with smoothness meant in the sense of Lions differentiability. In particular, in the case of a Lipschitz function we are…

In 1955, Lehto showed that, for every measurable function $\psi$ on the unit circle $\mathbb T,$ there is a function $f$ holomorphic in the unit disc, having $\psi$ as radial limit a.e. on $\mathbb T.$ We consider an analogous problem for…

For each $n\geq2$ we construct an unbounded closed pseudoconcave complete pluripolar set $\mathcal E$ in $\mathbb C^n$ which contains no analytic variety of positive dimension (we call it a \textit{Wermer type set}). We also construct an…

We consider the functional \[ F(u)=\int_{\Omega} f(\nabla u)\,dx\qquad u\in\varphi+W^{1,1}_0(\Omega) \] where $\Omega$ is a Lipschitz bounded open set of $\R^N$, $f:\R^N\to\R\cup \{+\infty\}$ is a superlinear Borel function, $\varphi\in…

Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\mathbb{H}$ by \begin{equation*}…

Let $M^n$ be a complete noncompact K$\ddot{a}$hler manifold of complex dimension $n$ with nonnegative holomorphic bisectional curvature. Denote by $\mathcal{O}$$_d(M^n)$ the space of holomorphic functions of polynomial growth of degree at…

In this paper we prove the fundamental lemma for Deligne-Lusztig functions. Namely, for every Deligne-Lusztig function $\phi$ on a $p$-adic group $G$ we write down an explicit linear combination $\phi^H$ of Deligne-Lusztig functions on an…

We present a class of multiplicative functions $f:\mathbb{N}\to\mathbb{C}$ with bounded partial sums. The novelty here is that our functions do not need to have modulus bounded by $1$. The key feature is that they pretend to be the constant…