Related papers: Density in $W^{s,p}(\Omega ; N)$
Let $\Omega=\widetilde{\Omega}\setminus \overline{D}$ where $\widetilde{\Omega}$ is a bounded domain with connected complement in $\mathbb C^n$ (or more generally in a Stein manifold) and $D$ is relatively compact open subset of…
The notion of a completely saturated packing [Fejes Toth, Kuperberg and Kuperberg, Highly saturated packings and reduced coverings, Monats. Math. 125 (1998) 127-145] is a sharper version of maximum density, and the analogous notion of a…
We show that a bounded planar simply connected domain $\Omega$ is a $W^{1,\,1}$-extension domain if and only if for every pair $x,y$ of points in $\Omega^c$ there exists a curve $\gamma \subset \Omega^c$ connecting $x$ and $y$ with $$…
We establish a new characterization of the homogeneous Besov spaces $\dot{\mathcal B}^{s}_{p,q}(Z)$ with smoothness $s \in (0,1)$ in the setting of doubling metric measure spaces $(Z,d,\mu)$. The characterization is given in terms of a…
Given any divergence-free vector field of Sobolev class $W^{m,p}_0(\Omega)$ in a bounded open subset $\Omega \subset \mathbb{R}^2$, we are interested in approximating it in the $W^{m,p}$ norm with divergence-free smooth vector fields…
Let $\Omega$ be an $n$-dimensional compact Riemannian manifold $(n \geq 3)$ with $C^\infty$ boundary, and consider $L^2$-normalized eigenfunctions $ - \Delta \phi_{\lambda} = \lambda^2 \phi_\lambda$ with Dirichlet or Neumann boundary…
Let $\Sigma$ a closed $n$-dimensional manifold, $\mathcal{N} \subset \mathbb{R}^M$ be a closed manifold, and $u \in W^{s,\frac ns}(\Sigma,\mathcal{N})$ for $s\in(0,1)$. We extend the monumental work of Sacks and Uhlenbeck by proving that if…
We introduce and study a new topological notion of the size for subsets of the real line, called \emph{super-density}. A set $A\subset\mathbb{R}$ is super-dense if for every non-empty open interval $I$ and every nowhere constant continuous…
We show that on any weakly pseudoconvex $B$-regular domain, the classical Dirichlet problem for the complex Monge--Amp\`ere equation with $\mathcal{C}^\infty$-smooth data does not in general admit $\mathcal{C}^{1,1}$-smooth solutions. This…
For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely…
We prove that the highest density of non-overlapping translates of a given centrally symmetric convex domain relative to its outer parallel domain of given outer radius is attained by a lattice packing in the Euclidean plane. This…
We present a result of existence of infinitely many solutions for the Dirichlet problem involving the p-Laplacian in annular domains, when $p\leq N$, contouring the failure of compactness of $W^{1,p}(\Omega)$ in $C^0(\bar{\Omega})$ applying…
Assume that $\Omega_{1}$ and $\Omega_{2}$ are two smooth bounded pseudoconvex domains in $\mathbb{C}^{2}$ that intersect (real) transversely, and that $\Omega_{1} \cap \Omega_{2}$ is a domain (i.e. is connected). If the…
Let $M$ be a smooth compact manifold (maybe with boundary, maybe disconnected) of any dimension $d \ge 1$. We consider the set of $C^1$ maps $f:M\to M$ which have no absolutely continuous (with respect to Lebesgue) invariant probability…
Let $\Omega\subset\mathbb{R}^n$ be a bounded $(\varepsilon,\infty)$-domain with $\varepsilon\in(0,1]$, $X(\mathbb{R}^n)$ a ball Banach function space satisfying some extra mild assumptions, and $\{\rho_\nu\}_{\nu\in(0,\nu_0)}$ with…
Let Omega be a domain in C^2. We prove the following theorem. If the envelope of holomorphy of Omega is schlicht over Omega, then the envelope is in fact schlicht. We provide examples showing that the theorem is not true in C^n, n>2.…
Let $\Omega $ be an open subset of $\mathbb{R}^{N}$, and let $p,\, q:\Omega \rightarrow \left[ 1,\infty \right] $ be measurable functions. We give a necessary and sufficient condition for the embedding of the variable exponent space…
We prove a density version of the Carlson--Simpson Theorem. Specifically we show the following. For every integer $k\geq 2$ and every set $A$ of words over $k$ satisfying \[\limsup_{n\to\infty} \frac{|A\cap [k]^n|}{k^n}>0\] there exist a…
For every $0<r<\frac{1}{2}$, we will construct a flat K\"ahler manifold $M$ and a relatively compact domain with smooth boundary $\Omega\subset M$ that is Stein but not hyperconvex such that the Bergman projection $P$ on $\Omega$ is regular…
In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional $C^\infty$-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps,…