Related papers: On the Smoothness of Zero-Extensions

Dependencies of the optimal constants in strong and weak type bounds will be studied between maximal functions corresponding to the Hardy--Littlewood averaging operators over convex symmetric bodies acting on $\mathbb R^d$ and $\mathbb…

Several new inequalities for moduli of smoothness and errors of the best approximation of a function and its derivatives in the spaces $L_p$, $0<p<1$, are obtained. For example, it is shown that for any $0<p<1$ and $k,\,r\in \mathbb{N}$ one…

The main result of this paper are dimension-free $L^p$ inequalities, $1<p<\infty$, for low degree scalar-valued functions on the Hamming cube. More precisely, for any $p>2,$ $\varepsilon>0,$ and $\theta=\theta(\varepsilon,p)\in (0,1)$…

The article examines Nikolskii and Besov spaces with norms defined using "$L_p$-averaged" mixed moduli of continuity of functions of appropriate orders, instead of mixed moduli of continuity of known orders for certain mixed derivative…

Let $\lambda_{q}:=\inf{\Vert\nabla u\Vert_{L^{p}(\Omega)}^{p}/\Vertu\Vert_{L^{q}(\Omega)}^{p}:u\in W_{0}^{1,p}(\Omega)\setminus{0}} $, where $\Omega$ is a bounded and smooth domain of $\mathbb{R}^{N},$ $1<p<N$ and $1\leq q\leq p^{\star}%…

A mathematical smooth function means that the function has continuous derivatives to a certain degree C(k). We call it a k-smooth function or a smooth function if k can grow infinitively. Based on quantum physics, there is no such smooth…

We extend the main result of Harrow, Kolla, and Schulman -- the existence of dimension-free $L^2$-bounds for the spherical maximal function in the hypercube -- to all $L^p, p > 1$. Our approach is motivated by the spectral technique…

In a previous work, we showed that Besov spaces do not enjoy the restriction property unless $q\leq p$. Specifically, we proved that if $p<q$, then it is always possible to construct a function $f\in B_{p,q}^s(\mathbb{R}^N)$ such that…

In this paper, we study the smoothness of restrictions of Besov functions. It is known that for any $f\in B\_{p,q}^s(\mathbb{R}^N)$ with $q\leq p$ we have $f(\cdot,y)\in B\_{p,q}^s(\mathbb{R}^d)$ for a.e. $y\in \mathbb{R}^{N-d}$. We prove…

The article examines Nikolskii and Besov spaces with norms defined using $L_p$-averaged mixed moduli of continuity of functions of appropriate orders, instead of mixed moduli of continuity of known orders for certain mixed derivative…

In this note, we consider meromorphic univalent functions $f(z)$ in the unit disc with a simple pole at $z=p\in(0,1)$ which have a $k$-quasiconformal extension to the extended complex plane $\hat{\mathbb C},$ where $0\leq k < 1$. We denote…

In this paper we study a sharp Hardy-Littlewood-Sobolev (HLS) type inequality with Riesz potential on bounded smooth domains. We obtain the inequality for a general bounded domain $\Omega$ and show that if the extension constant for…

Let $X$ be a compact subset of the complex plane and let $R^p(X)$, $2< p < \infty$, denote the closure of the rational functions with poles off $X$ in the $L^p$ norm. In this paper we consider three conditions that show how the functions in…

The article examines isotropic Nikolskii and Besov spaces with norms defined using $L_p$-averaged modulus of continuity of functions of appropriate order, instead of modulus of continuity of known order for fixed-order partial derivative…

We obtain sharp bounds for the modulus of continuity of the uncentered maximal function in terms of the modulus of continuity of the given function, via integral formulas. Some of the results deduced from these formulas are the following:…

The paper puts forward new Besov spaces of variable smoothness $B^{\varphi_{0}}_{p,q}(G,\{t_{k}\})$ and $\widetilde{B}^{l}_{p,q,r}(\Omega,\{t_{k}\})$ on rough domains. A~domain~$G$ is either a~bounded Lipschitz domain in~$\mathbb{R}^{n}$ or…

Let $\Omega \subset \mathbb{R}^{n}$ be bounded a domain. We prove under certain structural assumptions that the fractional maximal operator relative to $\Omega$ maps $L^{p}(\Omega) \to W^{1,p}(\Omega)$ for all $p > 1$, when the smoothness…

We introduce a general $L_p$-solvability result for the Poisson equation in non-smooth domains $\Omega\subset \mathbb{R}^d$, with the zero Dirichlet boundary condition. Our sole assumption on the domain $\Omega$ is the Hardy inequality:…

If a smooth function of one variable has maximum one on the unit interval, and has there $d$ zeroes, then its $(d+1)$-st derivative must be "big". This is one of the simplest examples of what we call "smooth rigidity": certain geometric…

A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…