Related papers: Fractional Hardy-type and trace theorems for nonlo…

We consider the $L^p$ Hardy inequality involving the distance to the boundary of a domain in the $n$-dimensional Euclidean space with nonempty compact boundary. We extend the validity of known existence and non-existence results, as well as…

We study geometric properties of trace functionals that generalize those in [Zhang, Adv. Math. 365:107053 (2020)], arising from a novel family of conditional entropies with applications in quantum information. Building on new convexity…

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}$)…

The (chordal) Loewner differential equation encodes certain curves in the half-plane (aka traces) by continuous real-valued driving functions. Not all curves are traces; the latter can be defined via a geometric condition called the local…

In a Banach space $X$ endowed with a nondegenerate Gaussian measure, we consider Sobolev spaces of real functions defined in a sublevel set $O= \{x\in X:\;G(x) <0\}$ of a Sobolev nondegenerate function $G:X\mapsto \R$. We define the traces…

In this note, we introduce a variant of Calder\'on and Zygmund's notion of $L^p$-differentiability - an \emph{$L^p$-Taylor approximation}. Our first result is that functions in the Sobolev space $W^{1,p}(\mathbb{R}^N)$ possess a first order…

In this paper, we further extend the study of function-correcting codes in the homogeneous metric over a chain ring $\mathbb{Z}_{2^s}$ for broader classes of functions, namely, locally bounded functions and linear functions, and for weight…

We consider nonhomogeneous fractional $p$-Laplace equations defined on a bounded nonsmooth domain which goes beyond the Lipschitz category. Under a sufficient flatness assumption on the domain in the sense of Reifenberg, we establish…

Let $L$ be the generator of an analytic semigroup whose kernels satisfy Gaussian upper bounds and H\"older's continuity. Also assume that $L$ has a bounded holomorphic functional calculus on $L^2(\mathbb{R}^n)$. In this paper, we construct…

For each value of $p$ such that $0<p<1$, we give a specific example of two functions in the Hardy space $H^p$ and in the Bergman space $A^p$ that do not satisfy the triangle inequality. For Hardy spaces, this provides a much simpler proof…

We begin by recalling the definition of nonnegative quasinearly subharmonic functions on locally uniformly homogeneous spaces. Recall that these spaces and this function class are rather general: among others subharmonic, quasisubharmonic…

We characterize partial data uniqueness for the inverse fractional conductivity problem with $H^{s,n/s}$ regularity assumptions in all dimensions. This extends the earlier results for $H^{2s,\frac{n}{2s}}\cap H^s$ conductivities by Covi and…

Let $\Omega$ be a bounded domain in R n with a Sobolev extension property around the complement of a closed part D of its boundary. We prove that a function u $\in$ W 1,p ($\Omega$) vanishes on D in the sense of an interior trace if and…

This paper investigates the traces of functions belonging to the inhomogeneous Besov spaces B $\xi$ p,q , where $\xi$ is a product of capacities defined as powers of Gibbs measures. We first establish that the traces of functions in B $\xi$…

Subspaces obtained by the orthogonal projection of locally supported square-integrable vector fields onto the Hardy spaces $H_+(\mathbb{S})$ and $H_-(\mathbb{S})$, respectively, play a role in various inverse potential field problems since…

Suppose that $\Omega$ is the open region in $\mathbb{R}^n$ above a Lipschitz graph and let $d$ denote the exterior derivative on $\mathbb{R}^n$. We construct a convolution operator $T $ which preserves support in $\bar{\Omega$}, is…

Given a corkscrew domain with uniformly rectifiable boundary, we construct a surjective trace map onto the $L^p$ Hajlasz-Sobolev space on the boundary from the space of functions on the domain with $L^p$ norm involving the non-tangential…

Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients and $(p_-(L),\, p_+(L))$ be the maximal interval of exponents $q\in[1,\,\infty]$ such that the semigroup…

For a graph $H$, its homomorphism density in graphs naturally extends to the space of two-variable symmetric functions $W$ in $L^p$, $p\geq e(H)$, denoted by $t(H,W)$. One may then define corresponding functionals…

For some spatially nonlocal diffusion models with a finite range of nonlocal interactions measured by a positive parameter $\delta$, we review their formulation defined on a bounded domain subject to various conditions that correspond to…