In this paper, we develop an abstract framework for John-Nirenberg inequalities associated to BMO-type spaces. This work can be seen as the sequel of [5], where the authors introduced a very general framework for atomic and molecular Hardy spaces. Moreover, we show that our assumptions allow us to recover some already known John-Nirenberg inequalities. We give applications to the atomic Hardy spaces too.
We discuss the dyadic John-Nirenberg space that is a generalization of functions of bounded mean oscillation. A John-Nirenberg inequality, which gives a weak type estimate for the oscillation of a function, is discussed in the setting of medians instead of integral averages. We show that the dyadic maximal operator is bounded on the dyadic John-Nirenberg space and provide a method to construct nontrivial functions in the dyadic John-Nirenberg space. Moreover, we prove that the John-Nirenberg space is complete. Several open problems are also discussed.
In this paper we show different inequalities for fractional order differential operators. In particular, the Sobolev, Hardy, Gagliardo-Nirenberg and Caffarelli-Kohn-Nirenberg type inequalities for the Caputo, Riemann-Liouville and Hadamard derivatives are obtained. In addition, we show some applications of these inequalities.
We study the so-called John-Nirenberg space that is a generalization of functions of bounded mean oscillation in the setting of metric measure spaces with a doubling measure. Our main results are local and global John-Nirenberg inequalities, which give weak type estimates for the oscillation of a function. We consider medians instead of integral averages throughout, and thus functions are not a priori assumed to be locally integrable. Our arguments are based on a Calderón-Zygmund decomposition and a good-$λ$ inequality for medians. A John-Nirenberg inequality up to the boundary is proven by us…
A generalization of the theory of Y. Brudnyi \cite{yuri}, and A. and Y. Brudnyi \cite{BB20a}, \cite{BB20b}, is presented. Our construction connects Brudnyi's theory, which relies on local polynomial approximation, with new results on sparse domination. In particular, we find an analogue of the maximal theorem for the fractional maximal function, solving a problem proposed by Kruglyak--Kuznetsov. Our spaces shed light on the structure of the John--Nirenberg spaces. We show that $SJN_{p}$ (sparse John--Nirenberg space) coincides with $L^{p},1<p<\infty.$ This characterization yields the John--Nir…
In this paper we describe the Euler semigroup $\{e^{-t\mathbb{E}^{*}\mathbb{E}}\}_{t>0}$ on homogeneous Lie groups, which allows us to obtain various types of the Hardy-Sobolev and Gagliardo-Nirenberg type inequalities for the Euler operator $\mathbb{E}$. Moreover, the sharp remainder terms of the Sobolev type inequality, maximal Hardy inequality and $|\cdot|$-radial weighted Hardy-Sobolev type inequality are established.
In this paper we introduce the generalized BMO martingale spaces by stopping time sequences, which enable us to characterize the dual spaces of martingale Hardy-Lorentz spaces $H_{p,q}^s$ for $0<p\leq1, 1<q<\infty$. Moreover, by duality we obtain a John-Nirenberg theorem for the generalized BMO martingale spaces when the stochastic basis is regular. We also extend the boundedness of fractional integrals to martingale Hardy-Lorentz spaces.
We study the space BMO in the general setting of a measure space $\mathbb{X}$ with a fixed collection $\mathscr{G}$ of measurable sets of positive and finite measure, consisting of functions of bounded mean oscillation on sets in $\mathscr{G}$. The aim is to see how much of the familiar BMO machinery holds when metric notions have been replaced by measure-theoretic ones. In particular, three aspects of BMO are considered: its properties as a Banach space, its relation with Muckenhoupt weights, and the John-Nirenberg inequality. We give necessary and sufficient conditions on a decomposable meas…
This work explores new deep connections between John-Nirenberg type inequalities and Muckenhoupt weight invariance for a large class of $BMO$-type spaces. The results are formulated in a very general framework in which $BMO$ spaces are constructed using a base of sets, used also to define weights with respect to a non-negative measure (not necessarily doubling), and an appropriate oscillation functional. This includes as particular cases many different function spaces on geometric settings of interest. As a consequence the weight invariance of several $BMO$ and Triebel-Lizorkin spaces consider…
We extend to n-dimensions a characterization of the Marcinkiewicz $L(p,\infty)$ spaces first obtained by Garsia-Rodemich in the one dimensional case. This leads to a new proof of the John-Nirenberg self-improving inequalities. We also show a related result that provides a still a new characterization of the $L(p,\infty)$ spaces in terms of distribution functions, reflects the self-improving inequalities directly, and also characterizes $L(\infty,\infty),$ the rearrangement invariant hull of $BMO.$ We show an application to the study of tensor products with $L(\infty,\infty)$ spaces, which comp…
We study, in the context of doubling metric measure spaces, a class of BMO type functions defined by John and Nirenberg. In particular, we present a new version of the Calderon-Zygmund decomposition in metric spaces and use it to prove the corresponding John-Nirenberg inequality.
We obtain new variants of weighted Gagliardo-Nirenberg interpolation inequalities in Orlicz spaces, as a consequence of weighted Hardy-type inequalities. The weights we consider need not be doubling.
Using integral formulas based on Green's theorem and in particular a lemma of Uchiyama, we give simple proofs of comparisons of different BMO norms without using the John-Nirenberg inequality while we also give a simple proof of the strong John-Nirenberg inequality. Along the way we prove the inclusions of BMOA in the dual of H^1 and BMO in the dual of real H^1.
We establish improved versions of the Hardy and Caffarelli-Kohn-Nirenberg inequalities by replacing the standard Dirichlet energy with some nonlocal nonconvex functionals which have been involved in estimates for the topological degree of continuous maps from a sphere into itself and characterizations of Sobolev spaces.
We develop some techniques for studying various versions of the function space BMO. Special cases of one of our results give alternative proofs of the celebrated John- Nirenberg inequality and of related inequalities due to John and to Wik. Our approach enables us to pose a simply formulated "geometric" question, for which an affirmative answer would lead to a version of the John-Nirenberg inequality with dimension free constants. A more detailed summary of the main ideas and results of this paper can be found at http://www.math.technion.ac.il/~mcwikel/bmo/CwikSaghShvaSummary.pdf
We discuss a parabolic version of the space of functions of bounded mean oscillation related to a doubly nonlinear parabolic partial differential equation. Parabolic John-Nirenberg inequalities, which give exponential decay estimates for the oscillation of a function, are shown in the natural geometry of the partial differential equation. Chaining arguments are applied to change the time lag in the parabolic John-Nirenberg inequality. We also show that the quasihyperbolic boundary condition is a necessary and sufficient condition for a global parabolic John-Nirenberg inequality. Moreover, we c…
Let $p\in (1,\infty)$, $q\in[1,\infty)$, $α\in [0,\infty)$ and $s$ be a non-negative integer. In this article, the authors introduce the John--Nirenberg-Campanato space $JN_{(p,q,s)_α}(\mathcal{X})$, where $\mathcal{X}$ is ${\mathbb R}^n$ or any closed cube $Q_0\subsetneqq{\mathbb R}^n$, which when $α=0$ and $s=0$ coincides with the $JN_p$-space introduced by F. John and L. Nirenberg in the sense of equivalent norms. The authors then give the predual space of $JN_{(p,q,s)_α}(\mathcal{X})$ and a John-Nirenberg type inequality of John--Nirenberg-Campanato spaces. Moreover, the authors prove that…
In this paper, we present a version of horizontal weighted Hardy-Rellich type and Caffarelli-Kohn-Nirenberg type inequalities on stratified groups and study some of their consequences. Our results reflect on many results previously known in special cases. Moreover, a new simple proof of the Badiale-Tarantello conjecture [2] on the best constant of a Hardy type inequality is provided. We also show a family of Poincaré inequalities as well as inequalities involving the weighted and unweighted $p$-sub-Laplacians.
In this paper we obtain Hardy, weighted Trudinger-Moser and Caffarelli-Kohn-Nirenberg type inequalities with sharp constants on Riemannian manifolds with non-positive sectional curvature and, in particular, a variety of new estimates on hyperbolic spaces. Moreover, in some cases we also show their equivalence with Trudinger-Moser inequalities. As consequences, the relations between the constants of these inequalities are investigated yielding asymptotically best constants in the obtained inequalities. We also obtain the corresponding uncertainty type principles.
In this article, the authors give a survey on the recent developments of both the John--Nirenberg space $JN_p$ and the space BMO as well as their vanishing subspaces such as VMO, XMO, CMO, $VJN_p$, and $CJN_p$ on $\mathbb{R}^n$ or a given cube $Q_0\subset\mathbb{R}^n$ with finite side length. In addition, some related open questions are also presented.
We establish sharp remainder terms of the $L^{2}$-Caffarelli-Kohn-Niren\-berg inequalities on homogeneous groups, yielding the inequalities with best constants. Our methods also give new sharp Caffarelli-Kohn-Nirenberg type inequalities in $\mathbb{R}^{n}$ with arbitrary quasi-norms. We also present explicit examples to illustrate our results for different weights and in abelian cases.
To shed some light on the John--Nirenberg space, the authors in this article introduce the John--Nirenberg-$Q$ space via congruent cubes, $JNQ^α_{p,q}(\mathbb{R}^n)$, which when $p=\infty$ and $q=2$ coincides with the space $Q_α(\mathbb{R}^n)$ introduced by Essén et al. in [Indiana Univ. Math. J. 49 (2000), 575-615]. Moreover, the authors show that, for some particular indices, $JNQ^α_{p,q}(\mathbb{R}^n)$ coincides with the congruent John--Nirenberg space, or that the (fractional) Sobolev space is continuously embedded into $JNQ^α_{p,q}(\mathbb{R}^n)$. Furthermore, the authors characterize $JN…
Let $p,q\in [1,\infty]$, $α\in{\mathbb{R}}$, and $s$ be a non-negative integer. In this article, the authors introduce a new function space $\widetilde{JN}_{(p,q,s)_α}(\mathcal{X})$ of John-Nirenberg-Campanato type, where $\mathcal{X}$ denotes $\mathbb{R}^n$ or any cube $Q_{0}$ of $\mathbb{R}^n$ with finite edge length. The authors give an equivalent characterization of $\widetilde{JN}_{(p,q,s)_α}(\mathcal{X})$ via both the John-Nirenberg-Campanato space and the Riesz-Morrey space. Moreover, for the particular case $s=0$, this new space can be equivalently characterized by both maximal functio…
In this paper, we study the John-Nirenberg inequality for BMO and the atomic decomposition for H1 of noncommutative martingales. We first establish a crude version of the column (resp. row) John-Nirenberg inequality for all 0 < p < \infty. By an extreme point property of Lp -space for 0 < p \leq 1, we then obtain a fine version of this in equality. The latter corresponds exactly to the classical John-Nirenberg inequality and enables us to obtain an exponential integrability inequality like in the classical case. These results extend and improve Junge and Musat's John-Nirenberg inequality. By d…
Suppose that the $d$-dimensional unit cube $Q$ is the union of three disjoint "simple" sets $E$, $F$ and $G$ and that the volumes of $E$ and $F$ are both greater than half the volume of $G$. Does this imply that, for some cube $W$ contained in $Q$. the volumes of $E\cap W$ and $F\cap W$ both exceed $s$ times the volume of $W$ for some absolute positive constant $s$? Here, by "simple" we mean a set which is a union of finitely many dyadic cubes. We prove that an affirmative answer to this question would have deep consequences for the important space $BMO$ of functions of bounded mean oscillatio…
Let $p\in(1,\infty)$, $q\in[1,\infty)$, $s\in{\mathbb Z}_{+}$, $α\in[0,\infty)$ and $\mathcal{X}$ be $\mathbb R^n$ or a cube $Q_0\subsetneqq\mathbb R^n$. In this article, the authors first introduce the localized John--Nirenberg--Campanato space $jn_{(p,q,s)_α}(\mathcal{X})$ and show that the localized Campanato space is the limit case of $jn_{(p,q,s)_α}(\mathcal{X})$ as $p\to\infty$. By means of local atoms and the weak-$*$ topology, the authors then introduce the localized Hardy-kind space $hk_{(p',q',s)_α}(\mathcal{X})$ which proves the predual space of $jn_{(p,q,s)_α}(\mathcal{X})$. Moreov…
In this short paper, we establish a range of Caffarelli-Kohn-Nirenberg and weighted $L^{p}$-Sobolev type inequalities on stratified Lie groups. All inequalities are obtained with sharp constants. Moreover, the equivalence of the Sobolev type inequality and Hardy inequality is shown in the $L^{2}$-case.
A new approach to classical self improving results for $BMO$ functions is presented. "Coordinate Gagliardo spaces" are introduced and a generalized version of the John-Nirenberg Lemma is proved. Applications are provided.
In this paper we give an extension of the classical Caffarelli-Kohn-Nirenberg inequalities: we show that for $1<p,q<\infty$, $0<r<\infty$ with $p+q\geq r$, $δ\in[0,1]\cap\left[\frac{r-q}{r},\frac{p}{r}\right]$ with $\frac{δr}{p}+\frac{(1-δ)r}{q}=1$ and $a$, $b$, $c\in\mathbb{R}$ with $c=δ(a-1)+b(1-δ)$, and for all functions $f\in C_{0}^{\infty}(\mathbb{R}^{n}\backslash\{0\})$ we have $$ \||x|^{c}f\|_{L^{r}(\mathbb{R}^{n})} \leq \left|\frac{p}{n-p(1-a)}\right|^δ \left\||x|^{a}\nabla f\right\|^δ_{L^{p}(\mathbb{R}^{n})} \left\||x|^{b}f\right\|^{1-δ}_{L^{q}(\mathbb{R}^{n})} $$ for $n\neq p(1-a)$, …
In this paper we study various forms of the Hardy inequality for Dunkl operators, including the classical inequality, $L^p$ inequalities, an improved Hardy inequality, as well as the Rellich inequality and a special case of the Caffarelli-Kohn-Nirenberg inequality. As a consequence, one-dimensional many-particle Hardy inequalities for generalised root systems are proved, which in the particular case of root systems $A_{N-1}$ improve some well-known results.
It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate. While these inequalities are optimal for general functions of bounded mean oscillation, the main result of this paper is an improvement for functions in a class of critical Sobolev spaces. Precisely, we prove the inequality \[\mathcal{H}^β_{\infty}(\{x\in Ω:|I_αf(x)|>t\})\leq Ce^{-ct^{q'}}\] for all $\|f\|_{L^{N/α,q}(Ω)}\leq 1$ and any $β\in (0,N]$, where $Ω…
Let $p\in[1,\infty]$, $q\in(1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors introduce a reasonable version $\widetilde T$ of the Calderón--Zygmund operator $T$ on $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, the special John--Nirenberg--Campanato space via congruent cubes, which coincides with the Campanato space $\mathcal{C}_{α,q,s}(\mathbb{R}^n)$ when $p=\infty$. Then the authors prove that $\widetilde T$ is bounded on $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$ if and only if, for any $γ\in\mathbb{Z}_+^n$ with $|γ|\leq s$, $T^*(x^γ…
We obtain the sharp constant for the Hardy-Sobolev inequality involving the distance to the origin. This inequality is equivalent to a limiting Caffarelli-Kohn-Nirenberg inequality. In three dimensions, in certain cases the sharp constant coincides with the best Sobolev constant.
We consider the Grushin type operator on $\mathbb{R}^{d}_x \times \mathbb{R}^{k}_y$ with the form \begin{equation*} G_μ=\overset{d}{\underset{i=1}{\sum}}\partial_{x_i}^2+\left(\overset{d}{\underset{i=1}{\sum}}x_i^2\right)^{2μ}\overset{k}{\underset{j=1}{\sum}}\partial_{y_j}^2. \end{equation*} and derive weighted Hardy-Sobolev type inequalities and weighted Caffarelli-Kohn-Nirenberg type inequalities related to $G_μ$.
This paper investigates the concept of harmonic functions of bounded mean oscillation, starting from John-Nirenberg's pioneering studies, under a renewed formalism, suitable for bringing out some fundamental properties inherent in it. In more detail: after a quick introduction, the second Section presents the main theorem, plus complete proof, relating to this function; in the third Section there is a suggestion on the exponential integrability (theorem and sketch of proof), while the fourth Section deals with the duality of Hardy Space $H^1$ and bounded mean oscillation, with some ideas for a…
In this paper, generalised weighted $L^p$-Hardy,$ L^p$-Caffarelli-Kohn-Nirenberg, and $L^p$-Rellich inequalities with boundary terms are obtained on stratified Lie groups. As consequences, most of the Hardy type inequalities and Heisenberg- Pauli-Weyl type uncertainty principles on stratified groups are recovered. Moreover, a weighted $L^2$-Rellich type inequality with the boundary term is obtained.
Critical Caffarelli-Kohn-Nirenberg inequalities via nonlinear scaling argument
Nara Women’s University（奈良女子大学）；SDU University（SDU大学）；Institute of mathematics and mathematical modeling（数学与数学建模研究所）；Graduate School of Humanities and Sciences, Nara Women’s University（奈良女子大学人文科学研究科）
In this paper, several weak Orlicz-Hardy martingale spaces associated with concave functions are introduced, and some weak atomic decomposition theorems for them are established. With the help of weak atomic decompositions, a sufficient condition for a sublinear operator defined on the weak Orlicz-Hardy martingale spaces to be bounded is given. Further, we investigate the duality of weak Orlicz-Hardy martingale spaces and obtain a new John-Nirenberg type inequality when the stochastic basis is regular. These results can be regarded as weak versions of the Orlicz-Hardy martingale spaces due to …
In this paper we derive a variety of functional inequalities for general homogeneous invariant hypoelliptic differential operators on nilpotent Lie groups. The obtained inequalities include Hardy, Rellich, Hardy-Littllewood-Sobolev, Galiardo-Nirenberg, Caffarelli-Kohn-Nirenberg and Trudinger-Moser inequalities. Some of these estimates have been known in the case of the sub-Laplacians, however, for more general hypoelliptic operators almost all of them appear to be new as no approaches for obtaining such estimates have been available. Moreover, we obtain several versions of local and global wei…
Let $p\in[1,\infty]$, $q\in[1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors first find a reasonable version $\widetilde{I}_β$ of the (generalized) fractional integral $I_β$ on the special John--Nirenberg--Campanato space via congruent cubes, $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, which coincides with the Campanato space $\mathcal{C}_{α,q,s}(\mathbb{R}^n)$ when $p=\infty$. To this end, the authors introduce the vanishing moments up to order $s$ of $I_β$. Then the authors prove that $\widetilde{I}_β$ is bounded from $JN_{(p,q,s)_α}^…
In the setting of a Lie group of polynomial volume growth, we derive inequalities of Caffarelli-Kohn-Nirenberg type, where the weights involved are powers of the Carnot-Caratheodory distance associated with a fixed system of vector fields which satisfy the Hörmander condition. The use of weak $L^p$ spaces is crucial in our proofs and we formulate these inequalities within the framework of $L^{p,q}$ Lorentz spaces (a scale of (quasi)-Banach spaces which extend the more classical $L^p$ Lebesgue spaces) thereby obtaining a refinement of, for instance, Sobolev and Hardy-Sobolev inequalities.
We present some Caffarelli-Kohn-Nirenberg-type inequalities on Herz-type Besov-Triebel-Lizorkin spaces, Besov-Morrey spaces and Triebel-Lizorkin-Morrey spaces. More Precisely, we investigate the inequalities \begin{equation*} \big\|f\big\|_{\dot{k}_{v,σ}^{α_{1},r}}\leq c\big\|f\big\|_{\dot{K}_{u}^{α_{2},δ}}^{1-θ}\big\|f\big\|_{\dot{K}_{p}^{α_{3},δ_{1}}A_{β}^{s}}^{θ}, \end{equation*} and \begin{equation*} \big\|f\big\|_{\mathcal{E}_{p,2,u}^{σ}}\leq c\big\|f\big\|_{\mathcal{M}_{μ}^{δ}}^{1-θ}\big\|f\big\|_{\mathcal{N}_{q,β,v}^{s}}^{θ}, \end{equation*} with some appropriate assumptions on the para…
Let $X$ be a ball Banach function space on ${\mathbb R}^n$. In this article, under some mild assumptions about both $X$ and the boundedness of the Hardy--Littlewood maximal operator on the associate space of the convexification of $X$, the authors prove that, for any locally integrable function $f$ with $\|\,|\nabla f|\,\|_{X}<\infty$, $$\sup_{λ\in(0,\infty)}λ\left \|\left|\left\{y\in{\mathbb R}^n:\ |f(\cdot)-f(y)| >λ|\cdot-y|^{\frac{n}{q}+1}\right\}\right|^{\frac{1}{q}} \right\|_X\sim \|\,|\nabla f|\,\|_X$$ with the positive equivalence constants independent of $f$, where the index $q\in(0,\i…
The purpose of this paper is to develop some methods to study Riesz type inequalities, Hardy-Littlewood type theorems and smooth moduli of holomorphic, pluriharmonic and harmonic functions in high-dimensional cases. Initially, we prove some sharp Riesz type inequalities of pluriharmonic functions on bounded symmetric domains. The obtained results extend the main results in (\textit{Trans. Amer. Math. Soc.} {\bf 372} (2019)~ 4031--4051). Furthermore, some Hardy-Littlewood type theorems of holomorphic and pluriharmonic functions on John domains are established. Additionally, we also discuss the …
In this work, we are interested to develop new directions of the famous T(1)-theorem. More precisely, we develop a general framework where we look for replacing the John-Nirenberg space BMO (in the classical result) by a new BMO_{L}, associated to a semigroup of operators (e^{-tL})_{t>0}. These new spaces BMO_L (including BMO) have recently appeared in numerous works in order to extend the theory of Hardy and BMO space to more general situations. Then we give applications by describing boundedness for a new kind of paraproducts, built on the considered semigroup. In addition we obtain a versio…
