For a function $f\in L_{loc}^p\left(ℝⁿ\right)$ the notion of p-mean variation of order 1, ${₁}^p(f,ℝⁿ)$ is defined. It generalizes the concept of F. Riesz variation of functions on the real line ℝ¹ to ℝⁿ, n > 1. The characterisation of the Sobolev space $W^{1,p}\left(ℝⁿ\right)$ in terms of ${₁}^p(f,ℝⁿ)$ is directly related to the characterisation of $W^{1,p}\left(ℝⁿ\right)$ by Lipschitz type pointwise inequalities of Bojarski, Hajłasz and Strzelecki and to the Bourgain-Brezis-Mironescu approach.

Our aim is to establish Sobolev type inequalities for fractional maximal functions $M_{ℍ,\nu }f$ and Riesz potentials $I_{ℍ,\alpha }f$ in weighted Morrey spaces of variable exponent on the half space $ℍ$. We also obtain Sobolev type inequalities for a $C^1$ function on $ℍ$. As an application, we obtain Sobolev type inequality for double phase functionals with variable exponents $\Phi (x,t)=t^{p\left(x\right)}+{\left(b\left(x\right)t\right)}^{q\left(x\right)}$, where $p(·)$ and $q(·)$ satisfy log-Hölder conditions, $p\left(x\right)<q\left(x\right)$ for $x\in ℍ$, and $b(·)$ is nonnegative and Hölder continuous of order $\theta \in (0,1]$.

Let 1 ≤ p < ∞, k ≥ 1, and let Ω ⊂ ℝⁿ be an arbitrary open set. We prove a converse of the Calderón-Zygmund theorem that a function $f\in W^{k,p}\left(\Omega \right)$ possesses an $L^p$ derivative of order k at almost every point x ∈ Ω and obtain a characterization of the space $W^{k,p}\left(\Omega \right)$. Our method is based on distributional arguments and a pointwise inequality due to Bojarski and Hajłasz.

We establish the following sharp local estimate for the family ${R_j}_{j=1}^d$ of Riesz transforms on ${ℝ}^d$. For any Borel subset A of ${ℝ}^d$ and any function $f:{ℝ}^d\to ℝ$, ${\int }_A|R_{j}f\left(x\right)|dx\le C_p{\left|\right|f\left|\right|}_{L^p\left({ℝ}^d\right)}{\left|A\right|}^{1/q}$, 1 < p < ∞. Here q = p/(p-1) is the harmonic conjugate to p, $C_p={[2^{q+2}\Gamma (q+1)/{\pi }^{q+1}{\sum }_{k=0}^{\infty }{(-1)}^k/{(2k+1)}^{q+1}]}^{1/q}$, 1 < p < 2, and $C_p={[4\Gamma (q+1)/{\pi }^q{\sum }_{k=0}^{\infty }1/{(2k+1)}^q]}^{1/q}$, 2 ≤ p < ∞. This enables us to determine the precise values of the weak-type constants for Riesz transforms for 1 < p < ∞. The proof rests on appropriate martingale inequalities, which are of independent interest.

Let E be a Riesz space. By defining the spaces $L{¹}_E$ and $L_E^{\infty }$ of E, we prove that the center $Z\left(L{¹}_E\right)$ of $L{¹}_E$ is $L_E^{\infty }$ and show that the injectivity of the Arens homomorphism m: Z(E)” → Z(E˜) is equivalent to the equality $L{¹}_E=Z{\left(E\right)}^{\text{'}}$. Finally, we also give some representation of an order continuous Banach lattice E with a weak unit and of the order dual E˜ of E in $L{¹}_E$ which are different from the representations appearing in the literature.

For $1\le n<d$ integers and $\rho >2$, we prove that an $n$-dimensional Ahlfors-David regular measure $\mu$ in ${ℝ}^d$ is uniformly $n$-rectifiable if and only if the $\rho$-variation for the Riesz transform with respect to $\mu$ is a bounded operator in $L^2\left(\mu \right)$. This result can be considered as a partial solution to a well known open problem posed by G. David and S. Semmes which relates the $L^2\left(\mu \right)$ boundedness of the Riesz transform to the uniform rectifiability of $\mu$.

Let $(X,d,\mu )$ be a metric measure space endowed with a distance $d$ and a nonnegative Borel doubling measure $\mu$. Let $L$ be a non-negative self-adjoint operator of order $m$ on $L^2\left(X\right)$. Assume that the semigroup ${\mathrm{e}}^{-tL}$ generated by $L$ satisfies the Davies-Gaffney estimate of order $m$ and $L$ satisfies the Plancherel type estimate. Let $H_L^p\left(X\right)$ be the Hardy space associated with $L.$ We show the boundedness of Stein’s square function ${𝒢}_{\delta }\left(L\right)$ arising from Bochner-Riesz means associated to $L$ from Hardy spaces $H_L^p\left(X\right)$ to $L^p\left(X\right)$, and also study...

We prove an interpolatory estimate linking the directional Haar projection $P^{\left(\epsilon \right)}$ to the Riesz transform in the context of Bochner-Lebesgue spaces $L^p(ℝⁿ;X)$, 1 < p < ∞, provided X is a UMD-space. If ${\epsilon }_{i₀}=1$, the result is the inequality $\left|\right|P^{\left(\epsilon \right)}{u\left|\right|}_{L^p(ℝⁿ;X)}{\le C\left|\right|u\left|\right|}_{L^p(ℝⁿ;X)}^{1/}\left|\right|R_{i₀}u{\left|\right|}_{L^p(ℝⁿ;X)}^{1-1/}$, (1) where the constant C depends only on n, p, the UMD-constant of X and the Rademacher type of $L^p(ℝⁿ;X)$. In order to obtain the interpolatory result (1) we analyze stripe operators $S_{\lambda }$, λ ≥ 0, which are used as basic building blocks to dominate the directional Haar projection....

Let G be an infinite, compact abelian group and let Λ be a subset of its dual group Γ. We study the question which spaces of the form $C_{\Lambda }\left(G\right)$ or $L{¹}_{\Lambda }\left(G\right)$ and which quotients of the form $C\left(G\right)/C_{\Lambda }\left(G\right)$ or $L¹\left(G\right)/L{¹}_{\Lambda }\left(G\right)$ have the Daugavet property. We show that $C_{\Lambda }\left(G\right)$ is a rich subspace of C(G) if and only if $\Gamma \setminus {\Lambda }^{-1}$ is a semi-Riesz set. If $L{¹}_{\Lambda }\left(G\right)$ is a rich subspace of L¹(G), then $C_{\Lambda }\left(G\right)$ is a rich subspace of C(G) as well. Concerning quotients, we prove that $C\left(G\right)/C_{\Lambda }\left(G\right)$ has the Daugavet property if Λ is a Rosenthal set, and that $L{¹}_{\Lambda }\left(G\right)$ is a poor subspace of L¹(G)...

Let $L$ be a second order divergence form elliptic operator with complex bounded measurable coefficients. The operators arising in connection with $L$, such as the heat semigroup and Riesz transform, are not, in general, of Calderón-Zygmund type and exhibit behavior different from their counterparts built upon the Laplacian. The current paper aims at a thorough description of the properties of such operators in $L^p$, Sobolev, and some new Hardy spaces naturally associated to $L$. First, we show...

The main aim of this short paper is to study Riesz potentials on one-mode interacting Fock spaces equipped with deformed annihilation, creation, and neutral operators with constants $c_{0,0},c_{1,1}\in ℝ$ and $c_{0,1}>0$, $c_{1,2}\ge 0$ as in equations (1.4)-(1.6). First, to emphasize the importance of these constants, we summarize our previous results on the Hilbert space of analytic L² functions with respect to a probability measure on ℂ. Then we consider the Riesz kernels of order 2α, $\alpha =c_{0,1}/c_{1,2}$, on ℂ if $0<c_{0,1}<c_{1,2}$, which can be derived from...

Let ${ℒ}_1=-\Delta +V$ be a Schrödinger operator and let ${ℒ}_2={(-\Delta )}^2+V^2$ be a Schrödinger type operator on ${ℝ}^n$ $(n\ge 5)$, where $V\ne 0$ is a nonnegative potential belonging to certain reverse Hölder class $B_s$ for $s\ge n/2$. The Hardy type space $H_{{ℒ}_2}^1$ is defined in terms of the maximal function with respect to the semigroup $\left\{{\mathrm{e}}^{-t{ℒ}_2}\right\}$ and it is identical to the Hardy space $H_{{ℒ}_1}^1$ established by Dziubański and Zienkiewicz. In this article, we prove the $L^p$-boundedness of the commutator ${ℛ}_b=bℛf-ℛ\left(bf\right)$ generated by the Riesz transform $ℛ={\nabla }^2{ℒ}_2^{-1/2}$, where $b\in {\mathrm{BMO}}_{\theta }\left(\rho \right)$, which is larger...

The $\sigma$-property of a Riesz space (real vector lattice) $B$ is: For each sequence $\left\{b_n\right\}$ of positive elements of $B$, there is a sequence $\left\{{\lambda }_n\right\}$ of positive reals, and $b\in B$, with ${\lambda }_n{b}_n\le b$ for each $n$. This condition is involved in studies in Riesz spaces of abstract Egoroff-type theorems, and of the countable lifting property. Here, we examine when “$\sigma$” obtains for a Riesz space of continuous real-valued functions $C\left(X\right)$. A basic result is: For discrete $X$, $C\left(X\right)$ has $\sigma$ iff the cardinal $\left|X\right|<𝔟$, Rothberger’s bounding number. Consequences...

Denote by $C$ the commutator $AB-BA$ of two bounded operators $A$ and $B$ acting on a locally convex topological vector space. If $AC-CA=0$, we show that $C$ is a quasinilpotent operator and we prove that if $AC-CA$ is a compact operator, then $C$ is a Riesz operator.