Related papers: The omnidirectional trace in H 1 ($\Omega$)

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…

Let $Tr$ denote the trace $\mathbb{Z}$-module homomorphism defined on the ring $\mathcal{O}_{L} $ of the integers of a number field $L.$ We show that $Tr(\mathcal{O}_{L})\varsubsetneq \mathbb{Z}$ if and only if there is a prime factor $p$…

Let $(\operatorname{X},\operatorname{d},\mu)$ be a metric measure space with uniformly locally doubling measure $\mu$. Given $p \in (1,\infty)$, assume that $(\operatorname{X},\operatorname{d},\mu)$ supports a weak local $(1,p)$-Poincar\'e…

A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which…

We study hidden boundary trace regularity for two-dimensional hyperbolic equations with boundary degeneracy governed by $\mcA\vp=-\Div(A\nabla \vp)$, where $A=\diag(1,r^\al)$ and $\al\in(0,1)$. We establish well-posedness in weighted…

Let $\Omega\subset\mathbb{R}^n$ be an open set and let $f\in W^{1,p}(\Omega,\mathbb{R}^n)$ be a weak (sequential) limit of Sobolev homeomorphisms. Then $f$ is injective almost everywhere for $p>n-1$ both in the image and in the domain. For…

We give direct proofs and constructions of the trace and extension theorems for Sobolev mappings in $W^{1, 1} (M, N)$, where $M$ is Riemannian manifold with compact boundary $\partial M$ and $N$ is a complete Riemannian manifold. The…

Using the Selberg trace formula, we show that for a hyperbolic 2-orbifold, the spectrum of the Laplacian acting on functions determines, and is determined by, the following data: the volume; the total length of the mirror boundary; the…

The present paper is devoted to a theory of profile decomposition for bounded sequences in \emph{homogeneous} Sobolev spaces, and it enables us to analyze the lack of compactness of bounded sequences. For every bounded sequence in…

We consider an infinite dimensional separable Hilbert space and its family of compact integrable cocycles over a dynamical system f. Assuming that f acts in a compact Hausdorff space X and preserves a Borel regular ergodic measure which is…

We prove that if $\Omega\subset \mathbb R^n$ is a bounded open set and $n\alpha> {\rm dim}_b (\partial \Omega) = d$, then the Brouwer degree deg$(v,\Omega,\cdot)$ of any H\"older function $v\in C^{0,\alpha}\left (\Omega, \mathbb…

The subject is traces of Sobolev spaces with mixed Lebesgue norms on Euclidean space. Specifically, restrictions to the hyperplanes given by the first and last coordinates are applied to functions belonging to quasi-homogeneous, mixed-norm…

Let $S \subset \mathbb{R}^{n}$ be a~closed set such that for some $d \in [0,n]$ and $\varepsilon > 0$ the~$d$-Hausdorff content $\mathcal{H}^{d}_{\infty}(S \cap Q(x,r)) \geq \varepsilon r^{d}$ for all cubes~$Q(x,r)$ centered in~$x \in S$…

We show that an arithmetic path integral over the $\ell$-torsion of a Jacobian $J[\ell]$ is equal to the trace of the Frobenius action on a representation of the Heisenberg group $H(J[\ell])$, up to an explicitly determined sign. This is an…

Let $\Omega \subset \mathbb{R}^n$ be a domain that supports the $p$-Poincar\'e inequality. Given a homeomorphism $\varphi \in L^1_p(\Omega)$, for $p>n$ we show the domain $\varphi(\Omega)$ has finite geodesic diameter. This result has a…

We prove trace theorems for weighted mixed norm Sobolev spaces in the upper-half space where the weight is a power function of the vertical variable. The results show the differentiability order of the trace functions depends only on the…

Let $\Omega\subset{\mathbb R}^2$ be a bounded domain on which Hardy's inequality holds. We prove that $[\exp(u^2)-1]/\delta^2\in L^1(\Omega)$ if $u\in H^1_0(\Omega)$, where $\delta$ denotes the distance to $\partial\Omega$. The…

The Riemann Mapping Theorem states existence of a conformal homeomorphism $\varphi$ of a simply connected plane domain $\Omega\subset\mathbb C$ with non-empty boundary onto the unit disc $\mathbb D\subset \mathbb C$. In the first part of…

In the optimal partial transport problem, one is asked to transport a fraction $0<m \leq \min\{||f||_{L^1}, ||g||_{L^1}\}$ of the mass of $f=f \chi_\Omega$ onto $g=g\chi_\Lambda$ while minimizing a transportation cost. If $f$ and $g$ are…

In this article, we give probabilistic versions of Sobolev embeddings on any Riemannian manifold $(M,g)$. More precisely, we prove that for natural probability measures on $L^2(M)$, almost every function belong to all spaces $L^p(M)$,…