Related papers: Density in $W^{s,p}(\Omega ; N)$

The problem of density of $C^0$-stable mappings is a classical and venerable subject in singularity theory. In 1973, Mather showed that the set of proper $C^0$-stable mappings is dense in the set of all proper mappings, which implies that…

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and $1 < p < \infty$. We characterize $(1,p)$-extension domains in terms of inequalities of Bourgain--Brezis--Mironescu type. More precisely, we show that $\Omega$ is a $(1,p)$-extension…

We prove that smooth $C^\infty$ functions are dense in weighted fractional Sobolev spaces on an arbitrary open set, under some mild conditions on the weight. We also obtain a~similar result in non-weighted spaces defined by some kernel…

We are concerned with two interrelated problems: smoothability of connection 1-forms with low regularity on bundles with prescribed smooth curvature 2-forms, and existence of isometric immersions with low regularity. We first show that if…

Let $\Omega\subset\mathbb R^n$ be a Lipschitz domain. We prove that, $\Omega$ satisfies the following Serrin-type overdetermined system $$u \in W^{1,2}(\mathbb R^n), \quad u=0\ \text{ a.e. in }\mathbb R^n\setminus \Omega,\quad \Delta…

We prove that if $M\subset \mathbb{R}^n$ is a bounded subanalytic submanifold of $\mathbb{R}^n$ such that $B(x_0,\epsilon)\cap M$ is connected for every $x_0\in\overline{M}$ and $\epsilon>0$ small, then, for $p\in [1,\infty)$ sufficiently…

Consider the space $W^{2,2}(\Omega;N)$ of second order Sobolev mappings $\ v\ $ from a smooth domain $\Omega\subset\R^m$ to a compact Riemannian manifold $N$ whose Hessian energy $\int_\Omega |\nabla^2 v|^2\, dx$ is finite. Here we are…

Let $\Omega \subset R^n$, $n \geq 3$, be a fixed smooth bounded domain, and let $\gamma$ be a smooth conductivity in $\overline{\Omega}$. Consider a non-zero frequency $\lambda_0$ which does not belong to the Dirichlet spectrum of $L_\gamma…

We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing…

In this article, we investigate a density problem coming from the linearization of Calder\'on's problem with partial data. More precisely, we prove that the set of products of harmonic functions on a bounded smooth domain $\Omega$ vanishing…

We prove uniqueness in the inverse conductivity problem for uniformly elliptic conductivities in $W^{s,p}(\Omega)$, where $\Omega \subset \mathbb R^n$ is Lipschitz, $3\leq n \leq 6$, and $s$ and $p$ are such that $ W^{s,p}(\Omega)\not…

For $r \in [0,1]$ we say that a set $A \subseteq \omega$ is \emph{coarsely computable at density} $r$ if there is a computable set $C$ such that $\{n : C(n) = A(n)\}$ has lower density at least $r$. Let $\gamma(A) = \sup \{r : A \hbox{ is…

Let $\Omega\subset\mathbb{R}^\nu$, $\nu\ge 2$, be a $C^{1,1}$ domain whose boundary $\partial\Omega$ is either compact or behaves suitably at infinity. For $p\in(1,\infty)$ and $\alpha>0$, define \[…

We consider H\"older continuous weak solutions $u\in C^\gamma(\Omega)$, $u\cdot n|_{\partial \Omega}=0$, of the incompressible Euler equations on a bounded and simply connected domain $\Omega\subset\mathbb{R}^d$. If $\Omega$ is of class…

A property of smooth convex domains $\Omega \subset \mathbb{R}^n$ is that if two points on the boundary $x, y \in \partial \Omega$ are close to each other, then their normal vectors $n(x), n(y)$ point roughly in the same direction and this…

We are going to show that on bounded Lipschitz domain $D$: both $C_{c}^{\infty}(D)$, the set of smooth functions on $D$ with compact support, and $C_{0}^{\infty}(D)$, the set of smooth functions on $D$ with (extension) zero boundary, are…

Given an open bounded subset $\Omega$ of $\mathbb{R}^n$, which is convex and satisfies an interior sphere condition, we consider the pde $-\Delta_{\infty} u = 1$ in $\Omega$, subject to the homogeneous boundary condition $u = 0$ on…

Here, a natural extension of Sobolev spaces is defined for a Finsler structure $F$ and it is shown that the set of all real $C^{\infty}$ functions with compact support on a forward geodesically complete Finsler manifold $(M, F)$, is dense…

Let $N$ be an $n$-dimensional compact riemannian manifold, with $n\geq 2$. In this paper, we prove that for any $\alpha\in [0,n]$, the set consisting of homeomorphisms on $N$ with lower and upper metric mean dimensions equal to $\alpha$ is…

Let $\Omega$ be a bounded, smooth domain of $\mathbb{R}^{N},$ $N\geq2.$ For $1<p<N$ and $0<q(p)<p^{\ast}:=\frac{Np}{N-p}$ let \[ \lambda_{p,q(p)}:=\inf\left\{ \int_{\Omega}\left\vert \nabla u\right\vert ^{p}\mathrm{d}x:u\in…