Related papers: A Shiu Theorem for Larger and Smoother Functions

Consider a positive operator $T$ on an $L^p$-space (or, more generally, a Banach lattice) which increases the support of functions in the sense that $supp(Tf) \supseteq supp{f}$ for every function $f \ge 0$. We show that this implies, under…

Jayne and Rogers proved that every function from an analytic space into a separable metric space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_\sigma$ set under it is…

Let us consider a Banach space $X$ with the property that every real-valued Lipschitz function $f$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$ with $\Lip(g)\le C \Lip(f)$ (with $C$ depending only on the space…

We characterize the class of separable Banach spaces $X$ such that for every continuous function $f:X\to\mathbb{R}$ and for every continuous function $\epsilon:X\to\mathbb(0,+\infty)$ there exists a $C^1$ smooth function $g:X\to\mathbb{R}$…

Let $[q] = \{0,1,\ldots,q-1\}$, let $\Delta[q]$ denote the simplex of probability measures on $[q]$, and let $\gamma$ denote the Lebesgue measure normalized on $\Delta[q]$. We prove that for any symmetric monotone function $f \colon[q]^n…

We establish several results concerning the expected general phenomenon that, given a multiplicative function $f:\mathbb{N}\to\mathbb{C}$, the values of $f(n)$ and $f(n+a)$ are "generally" independent unless $f$ is of a "special" form.…

Let $\Omega$ be a perfectly normal topological space, let $A$ be a non-empty $G_\delta$-subset of $\Omega$ and let $B_1(A)$ denote the space of all functions $A\to\mathbb{R}$ of Baire-one class on $A$. Let also $\|\cdot\|_\infty$ be the…

Let $q\ge 2$ and $N\ge 1$ be integers. W. Zhang (2008) has shown that for any fixed $\epsilon> 0$, and $q^{\epsilon} \le N \le q^{1/2 -\epsilon}$, $$ \sum_{\chi \ne \chi_0} |\sum_{n=1}^N \chi(n)|^2 |L(1, \chi)|^2 = (1 + o(1)) \alpha_q q N…

Let us consider a Riemannian manifold $M$ (either separable or non-separable). We prove that, for every $\epsilon>0$, every Lipschitz function $f:M\rightarrow\mathbb R$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$…

Let $[a,b]\subset\mathbb{R}$ be a non empty and non singleton closed interval and $P=\{a=x_0<\cdots<x_n=b\}$ is a partition of it. Then $f:I\to\mathbb{R}$ is said to be a function of $r$-bounded variation, if the expression…

Let $X$ be a Banach space with a separable dual $X^{*}$. Let $Y\subset X$ be a closed subspace, and $f:Y\to\mathbb{R}$ a $C^{1}$-smooth function. Then we show there is a $C^{1}$ extension of $f$ to $X$.

Let $F$ be an entire function represented by absolutely convergent for all $z\in\mathbb{C}$ Dirichlet series of the form $ F(z) = \sum\nolimits_{n=0}^{+\infty} a_{n}e^{z\lambda_{n}},$\ where a sequence $(\lambda_n)$ such that…

Kolmogorov famously proved that multivariate continuous functions can be represented as a superposition of a small number of univariate continuous functions, $$ f(x_1,\dots,x_n) = \sum_{q=0}^{2n+1} \chi^q \left( \sum_{p=1}^n \psi^{pq}(x_p)…

Let $N$ be a large prime and let $c > 1/4$. We prove that if $f$ is a $\pm 1$-valued completely multiplicative function, such that the exponential sums $$ S_f(a) := \sum_{1 \leq n < N} f(n) e(na/N), \quad a \pmod{N} $$ satisfy the ``Gauss…

We consider the function $G(n)=\frac{\sigma(n)}{n\log\log n}$ (where $\sigma(n)=\sum_{d|n}d$) and set an imposed condition on its argument $n$, the fulfillment of which is sufficient for the existence of a prime $p$, at which $G(np)>G(n)$.…

Let $X=\{ X_n\}_{n\in \mathbb{Z}}$ be zero-mean stationary Gaussian sequence of random variables with covariance function $\rho$ satisfying $\rho(0)=1$. Let $\varphi:\mathbb{R}\to\mathbb{R}$ be a function such that…

We prove that, for any closed semialgebraic subset $W$ of $\mathbb{R}^n$ and for any positive integer $p$, there exists a Nash function $f:\mathbb{R}^n\setminus W\longrightarrow (0, \infty)$ which is equivalent to the distance function from…

Let $\{Z_t, t\geq 0\}$ be a strictly stable process on $\R$ with index $\alpha\in (0,2]$. We prove that for every $p > \alpha$, there exists $\gamma = \gamma (\alpha, p)$ and $\k = \k (\alpha, p)\in (0, +\infty)$ such that…

Let $ x\geq 1 $ be a large number, let $ [x]=x-\{x\} $ be the largest integer function, and let $ \sigma(n)$ be the sum of divisors function. This note presents the first proof of the asymptotic formula for the average order $ \sum_{p\leq…

The article is devoted to the investigation of smoothness of functions $f(x_1,...,x_m)$ of variables $x_1,...,x_m$ in infinite fields with non-trivial multiplicative ultra-norms, where $m\ge 2$. Theorems about classes of smoothness $C^n$ or…