English
Related papers

Related papers: A density problem for Sobolev spaces on planar dom…

200 papers

Given a complete noncompact Riemannian manifold $N^n$, we investigate whether the set of bounded Sobolev maps $(W^{1, p} \cap L^\infty) (Q^m; N^n)$ on the cube $Q^m$ is strongly dense in the Sobolev space $W^{1, p} (Q^m; N^n)$ for $1 \le p…

Functional Analysis · Mathematics 2018-07-20 Pierre Bousquet , Augusto C. Ponce , Jean Van Schaftingen

We prove an asymptotically sharp dimension upper-bound for the boundary of bounded simply-connected planar Sobolev $W^{1,p}$-extension domains via the weak mean porosity of the boundary. The sharpness of our estimate is shown by examples.

Classical Analysis and ODEs · Mathematics 2020-06-26 Danka Lučić , Tapio Rajala , Jyrki Takanen

We prove density of smooth functions in subspaces of Sobolev- and higher order $BV$-spaces of kind $W^{m,p}(\Omega)\cap L^q(\Omega-D)$ and $BV^m(\Omega)\cap L^q(\Omega-D)$, respectively, where $\Omega\subset\mathbb{R}^n$ ($n\in\mathbb{N}$)…

Analysis of PDEs · Mathematics 2018-03-28 Jan Mueller

We construct a bounded $C^{1}$ domain $\Omega$ in $R^{n}$ for which the $H^{3/2}$ regularity for the Dirichlet and Neumann problems for the Laplacian cannot be improved, that is, there exists $f$ in $C^{\infty}(\overline\Omega)$ such that…

Analysis of PDEs · Mathematics 2023-03-27 Martin Costabel

For each $p>n$ we use local oscillations to give intrinsic characterizations of the trace of the Sobolev space $W^1_p(\Omega)$ to the boundary of an arbitrary domain $\Omega\subset R^n$.

Functional Analysis · Mathematics 2010-03-09 Pavel Shvartsman

We investigate here the density of the set of the restrictions from $C_C^\infty(\mathbb{R}^d)$ to $C_C^\infty(\Omega)$ in the Musielak-Orlicz-Sobolev space $W^{1,\Phi}(\Omega)$. It is a continuation of article \cite{KamZyl3}, where we have…

Functional Analysis · Mathematics 2024-11-05 Anna Kamiśka , Mariusz Żyluk

Given a compact manifold $N^n \subset \mathbb{R}^\nu$, $s \ge 1$ and $1 \le p < \infty$, we prove that the class of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s, p}(Q^m; N^n)$ when…

Functional Analysis · Mathematics 2018-08-22 Pierre Bousquet , Augusto C. Ponce , Jean Van Schaftingen

Let $\Omega \subset \mathbb{R}^d$ be bounded open and connected. Suppose that $W^{1,2}(\Omega) \subset L^r(\Omega)$ for some $r > 2$. Let $A$ be a pure second-order elliptic differential operator with bounded real measurable coefficients on…

Analysis of PDEs · Mathematics 2018-11-26 A. F. M. ter Elst , Hannes Meinlschmidt , Joachim Rehberg

Let $n\geq 2$ and $1\leq q<p<\fz$. We prove that if $\Omega\subset\mathbb R^n$ is a Sobolev $(p, q)$-extension domain, with additional capacitory restrictions on boundary in the case $q\leq n-1$, $n>2$, then $|\partial\Omega|=0$. In the…

Analysis of PDEs · Mathematics 2020-12-15 Pekka Koskela , Alexander Ukhlov , Zheng Zhu

We work in a class of Sobolev $W^{1,p}$ maps, with $p > d-1$, from a bounded open set $\Omega \subset \mathbb{R}^{d}$ to $\mathbb{R}^{d}$ that do not exhibit cavitation and whose trace on $\partial \Omega$ is also $W^{1,p}$. Under the…

Analysis of PDEs · Mathematics 2025-03-04 Carlos Mora-Corral , David Mur-Callizo

We show that a bounded domain in a Euclidean space is a $W^{1,1}$-extension domain if and only if it is a strong $BV$-extension domain. In the planar case, bounded and strong $BV$-extension domains are shown to be exactly those…

Metric Geometry · Mathematics 2021-10-07 Miguel García-Bravo , Tapio Rajala

Consider a Lipschitz domain $\Omega$ and the Beurling transform of its characteristic function $\mathcal{B} \chi_\Omega(z)= - {\rm p.v.}\frac1{\pi z^2}*\chi_\Omega (z) $. It is shown that if the outward unit normal vector $N$ of the…

Classical Analysis and ODEs · Mathematics 2017-06-23 Martí Prats

We give characterizations of the bounded subanalytic $\mathscr{C}^\infty$ submanifolds $M$ of $\mathbb{R}^n$ for which the space of Neumann regular functions is dense in Sobolev spaces. By ``Neumann regular function'', we mean a function…

Analysis of PDEs · Mathematics 2026-02-13 Guillaume Valette

Given a compact manifold $N^n$, an integer $k \in \mathbb{N}_*$ and an exponent $1 \le p < \infty$, we prove that the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the…

Functional Analysis · Mathematics 2015-04-15 Pierre Bousquet , Augusto Ponce , Jean Van Schaftingen

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…

Complex Variables · Mathematics 2024-11-08 Phillip S. Harrington

Let $\Omega,\Omega'\subset\mathbb{R}^3$ be Lipschitz domains, let $f_m:\Omega\to\Omega'$ be a sequence of homeomorphisms with prescribed Dirichlet boundary condition and $\sup_m \int_{\Omega}(|Df_m|^2+1/J^2_{f_m})<\infty$. Let $f$ be a weak…

Functional Analysis · Mathematics 2025-10-14 Anna Doležalová , Stanislav Hencl , Jan Malý

Let $(M,F)$ be a $C^\infty$ Finsler manifold, $p\geq 1$ a real number, $k$ a positive integer and $H_k^p (M)$ a certain Sobolev space determined by a Finsler structure $F$. Here, it is shown that the set of all real $C^{\infty}$ functions…

Differential Geometry · Mathematics 2013-10-31 Behroz Bidabad , Alireza Shahi

Let $n\in \mathbb N\cap[2,\infty)$. In this article, we show that there exists a bounded $C^1$ domain $\Omega\subset \mathbb R^n$ such that, for any given $s\in(1,2)\setminus\{\frac32\}$, \begin{align*} \left[H_0^1(\Omega),H^2(\Omega)\cap…

Analysis of PDEs · Mathematics 2026-05-27 Xiaosheng Lin , Dachun Yang , Sibei Yang , Wen Yuan , Yangyang Zhang

In this paper, we study the necessary and sufficient conditions in the domain for Sobolev-type embedding of the space $W^{1,\Phi(\cdot,\cdot)}(\Omega)$ where $\Phi(x,t):=t^{p(x)}+ a(x) t^{q(x)}\log^{r(x)}(e+t)$ with $1\leq p(x)\leq q(x).$…

Functional Analysis · Mathematics 2025-11-18 Ankur Pandey , Nijjwal Karak

The paper deals with a nontrivial density result for $C^m(\overline{\Omega})$ functions, with $m\in{\mathbb N}\cup\{\infty\}$, in the space $$W^{k,\ell,p}(\Omega;\Gamma)= \left\{u\in W^{k,p}(\Omega): u_{|\Gamma}\in…

Analysis of PDEs · Mathematics 2026-01-06 Patrizia Pucci , Enzo Vitillaro