Abstract
We study the John-Nirenberg space \(JN_p\), which is a generalization of the space of bounded mean oscillation. In this paper we construct new \(JN_p\) functions, that increase the understanding of this function space. It is already known that \(L^p(Q_0) \subsetneq JN_p(Q_0) \subsetneq L^{p,\infty }(Q_0)\). We show that if \(|f|^{1/p} \in JN_p(Q_0)\), then \(|f|^{1/q} \in JN_q(Q_0)\), where \(q \ge p\), but there exists a nonnegative function f such that \(f^{1/p} \notin JN_p(Q_0)\) even though \(f^{1/q} \in JN_q(Q_0)\), for every \(q \in (p,\infty )\). We present functions in \(JN_p(Q_0) \setminus VJN_p(Q_0)\) and in \(VJN_p(Q_0) {\setminus } L^p(Q_0)\), proving the nontriviality of the vanishing subspace \(VJN_p\), which is a \(JN_p\) space version of VMO. We prove the embedding \(JN_p({\mathbb {R}}^n) \subset L^{p,\infty }({\mathbb {R}}^n)/{\mathbb {R}}\). Finally we show that we can extend the constructed functions into \({\mathbb {R}}^n\), such that we get a function in \(JN_p({\mathbb {R}}^n) {\setminus } VJN_p({\mathbb {R}}^n)\) and another in \(CJN_p({\mathbb {R}}^n) {\setminus } L^p({\mathbb {R}}^n)/{\mathbb {R}}\). Here \(CJN_p\) is a subspace of \(JN_p\) that is inspired by the space CMO.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In their seminal paper [7] John and Nirenberg studied the famous space of bounded mean oscillation BMO and proved the profound John–Nirenberg inequality for BMO functions. In the same paper they also defined a generalization of BMO which has since become known as the John–Nirenberg space, or \(JN_p\), with parameter \(p \in (1,\infty )\). The space \(JN_p\) is a generalization of BMO in the sense that the BMO norm of a function is the limit of its \(JN_p\) norm when p tends to infinity.
In this paper we define \(JN_p\) as in Definition 2.1 below: for a bounded cube \(Q_0 \subset {\mathbb {R}}^n\) and a number \(p \in (1,\infty )\), a function f is in \(JN_p(Q_0)\) if \(f \in L^1(Q_0)\) and
where the supremum is taken over all countable collections of pairwise disjoint cubes \((Q_i)_{i=1}^{\infty }\) that are contained in \(Q_0\). Here \(f_{Q_i}\) denotes the integral average of f over \(Q_i\):
Many other definitions have been used for \(JN_p\), some of which are not equivalent with this definition. This is because the space depends on how much we let the sets \(Q_i\) overlap. For example many of the definitions in the more general metric measure space, such as in [1, 6, 9, 11], use balls \(B_i\) instead of cubes, and these balls may overlap with each other in some definitions. This results in different spaces.
Other related function spaces include the dyadic \(JN_p\) [8], the John–Nirenberg–Campanato spaces [15], their localized versions [14] and the sparse \(JN_p\) [5]. For an extensive survey of John–Nirenberg type spaces see [17].
It is well-known that \(L^p(Q_0) \subset JN_p(Q_0)\). The space \(JN_p\) is also embedded in the weak \(L^p\) space, \(JN_p(Q_0) \subset L^{p,\infty }(Q_0)\). Further both of these inclusions are strict. An example of a function in \(JN_p \setminus L^p\) was constructed in a recent paper [4]. Thus the space \(JN_p\) is a nontrivial space between \(L^p\) and \(L^{p,\infty }\). Other than that, the behaviour of \(JN_p\) functions is still very much unknown.
One of the properties with \(L^p\) spaces is that \(|f|^{1/q} \in L^q\) if and only if \(|f|^{1/p} \in L^p\) whenever \(p, q \in [1,\infty )\). A similar equivalence holds for weak \(L^p\) spaces. Since \(JN_p\) is a space between these spaces, this raises the question: does the equivalence hold for \(JN_p\) spaces? In Sect. 3 we give a negative answer to this question by constructing an example of a nonnegative function f such that \(f^{1/p} \notin JN_p(Q_0)\) even though \(f^{1/q} \in JN_q(Q_0)\) for every \(q \in (p,\infty )\). The previous existing example of a \(JN_p\) function does not have this property of distinguishing \(JN_p\) spaces with different values of p. We also show that if \(|f|^{1/p} \in JN_p\), then \(|f|^{1/q} \in JN_q\) for every \(q \ge p\).
Additionally we study the vanishing subspace of \(JN_p\), which is denoted by \(VJN_p\). This subspace has been studied by Brudnyi and Brudnyi [3] and by Tao et al. [16]. The space \(VJN_p\) is defined as a John–Nirenberg space counterpart to the famous space of vanishing mean oscillation, VMO, which is a subspace of BMO, and was first studied by Sarason [13]. It is well-known that \(L^p(Q_0) \subset VJN_p(Q_0) \subset JN_p(Q_0)\). Tao et al. proved that \(L^p(Q_0) \ne VJN_p(Q_0)\) by showing that the double dual space of \(VJN_p\) is \(JN_p\) [16]. In Sect. 4 we present examples of functions in \(JN_p \setminus VJN_p\) and in \(VJN_p {\setminus } L^p\), thereby proving that \(VJN_p(Q_0) \ne JN_p(Q_0)\). Both of these functions are based on the same type of fractal construction.
Finally in Sect. 5 we study \(JN_p\) and \(VJN_p\) in \({\mathbb {R}}^n\) instead of a bounded cube. The embedding \(JN_p \subset L^{p,\infty }\) has been proved in many different ways for a bounded domain - originally in [7] and further discussion can be found in [1, 2, 6, 9, 10, 15]. However, as far as we know, the question of whether this holds for unbounded domains has not been addressed in the literature. For the sake of completeness we prove that this embedding indeed holds in the case of the whole space \({\mathbb {R}}^n\), if we replace \(L^{p,\infty }\) with \(L^{p,\infty } / {\mathbb {R}}\)—the space of functions in \(L^{p,\infty }\) modulo constant.
We also consider the space \(CJN_p\): a subspace of \(JN_p\), that has been studied by Tao et al. [16]. The space \(CJN_p\) is defined analogously to the space of continuous mean oscillation, CMO, which is a subspace of BMO, and was first announced by Neri [12]. We study \(CJN_p\) only on \({\mathbb {R}}^n\) as on bounded domains it coincides with \(VJN_p\). It is clear from the definitions that \(L^p / {\mathbb {R}} \subset CJN_p \subset VJN_p \subset JN_p\). By extending the functions in Sect. 4 into the whole space \({\mathbb {R}}^n\) we get functions that are in \(JN_p({\mathbb {R}}^n) \setminus VJN_p({\mathbb {R}}^n)\) and in \(CJN_p({\mathbb {R}}^n) {\setminus } L^p({\mathbb {R}}^n) / {\mathbb {R}}\), proving that the respective inclusions are strict. This answers [16, Question 5.8] and it partially answers [16, Question 5.6] and [17, Question 17].
Throughout this paper we assume that a function has its domain in the Euclidian space \({\mathbb {R}}^n\) or in a bounded cube \(Q_0 \subset {\mathbb {R}}^n\). Every cube in \({\mathbb {R}}^n\) is assumed to have edges parallel to the coordinate axes.
2 Preliminaries
Definition 2.1
(\(JN_p\)) Let \(Q_0 \subset {\mathbb {R}}^n\) be a bounded cube and let \(1 \le p < \infty \). A function f is in \(JN_p(Q_0)\) if \(f \in L^1(Q_0)\) and there is a constant \(K < \infty \) such that
for all countable collections of pairwise disjoint cubes \((Q_i)_{i=1}^{\infty }\) in \(Q_0\). We denote the smallest such number K by \(\Vert f\Vert _{JN_p}\).
Remark 2.2
\(JN_p\) can also be defined with infimums instead of integral averages. This definition is equivalent with Definition 2.1, because
The infimum approach makes calculations sometimes much more simple.
One can also define \(JN_p\) by using medians which allows us to not use integrals at all. This approach is studied by Myyryläinen [11]. We do not consider \(JN_p\) with \(p = 1\), because clearly \(JN_1(Q_0) = L^1(Q_0)\), see equation (2.3) below. Thus we assume from now on that \(p > 1\).
It is clear that if a function f is in \(L^p(Q_0)\), then it is also in \(JN_p(Q_0)\). This follows from Hölder’s inequality:
for every partition \((Q_i)_{i=1}^{\infty }\) of \(Q_0\) into disjoint cubes. The inclusion \(L^p \subset JN_p\) is strict, but functions in \(JN_p \setminus L^p\) are very complicated. An example of a function in \(JN_p \setminus L^p\) was constructed in a recent paper [4].
If a function is in \(JN_p(Q_0)\), then it is also in the weak \(L^p\)-space \(L^{p, \infty } (Q_0)\). This result is a \(JN_p\) space counterpart of the famous John–Nirenberg lemma for BMO functions.
Theorem 2.4
Let \(1< p < \infty \), \(Q_0 \subset {\mathbb {R}}^n\) a bounded cube and \(f \in JN_p(Q_0)\). Then \(f \in L^{p,\infty }(Q_0)\) and
with some constant \(c = c(n,p)\).
Conveniently the constant c does not depend on \(Q_0\) even though the proof does rely on the boundedness of \(Q_0\). This embedding was originally proved in [7, Lemma 3]. In [6] this was generalized from cubes into John domains. In [1] and [9] the result was proven in a more general metric space with a doubling measure. In [15] a similar result was proven for John–Nirenberg-Campanato spaces, which are a generalization of John–Nirenberg spaces. Milman gave a new characterization of the weak \(L^p\) space as the Garsia-Rodemich space and proved the embedding of \(JN_p(Q_0)\) in this space [10]. Berkovits et al. proved a good-\(\lambda \) inequality and used this to prove multiple embedding theorems including the embedding of \(JN_p\) to the weak \(L^p\)-space [2].
The inclusion \(JN_p(Q_0) \subset L^{p,\infty }(Q_0)\) is strict as well. Consider the counterexample \(f(x) = x^{-1/p}\) in the one-dimensional case \(n=1\) with \(Q_0 = (0,1)\). In this case f is in the weak \(L^p\) space. If we divide \(Q_0\) into subintervals \(Q_i = \left[ 2^{-i},2^{-i+1} \right) \), it turns out that
for all \(i \ge 1\). Thus it is easy to see that \(f \notin JN_p(Q_0)\). This counterexample can also be easily extended into the multidimensional case \(Q_0 \subset {\mathbb {R}}^n\) by using the following proposition.
Proposition 2.5
Let \(Q_0 \subset {\mathbb {R}}^n\) be a cube, \(f \in L^1(Q_0)\), and \({\tilde{f}}(x,t):= f(x)\) its trivial extension to \((x,t) \in {\tilde{Q}}_0:= Q_0 \times [0, l(Q_0)) \subset {\mathbb {R}}^{n+1}\). Then \(f \in JN_p(Q_0)\) if and only if \({\tilde{f}} \in JN_p({\tilde{Q}}_0)\), and
For the proof we refer to [4, Proposition 4.1]. In conclusion we know that
This raises many questions about the properties of \(JN_p\) functions. For example it is clear that for nonnegative \(L^p\) functions the equivalence
holds for all \(p,q \in [1, \infty )\). This also holds for weak \(L^p\) spaces.
Our example in Sect. 3 proves that \(JN_p\) spaces do not have the same property. However there is a weaker result.
Proposition 2.7
If \(f: Q_0 \rightarrow {\mathbb {R}}\) is a nonnegative function, then
whenever \(1<p \le q<\infty \).
Proof
Firstly we notice that \(f^{1/q} \in L^1(Q_0)\), because \(f^{1/q} \le f^{1/p}\) whenever \(f \ge 1\), \(f^{1/p} \in L^1(Q_0)\) by assumption, and \(Q_0\) is a bounded cube with finite measure. We notice that for any cube \(Q_i \subset Q_0\) and for any \(c_i \in {\mathbb {R}}\)
Here we first used Hölder’s inequality and then the inequality \(a^r + b^r \le (a+b)^r\), whenever \(a,b \ge 0\) and \(r \ge 1\). Also \(| f^{1/p} - |c_i| | \le | f^{1/p} - c_i |\). By taking the infimum over \(c_i\), this implies that
and consequently
Here we used Remark 2.2. This completes the proof. \(\square \)
The implication in Proposition 2.7 does not hold in the other direction. In the next section we construct a function for which
where \(1< p< q < \infty \).
3 An example that distinguishes \(JN_p\) spaces with different parameters p
In this section we construct a function f that distinguishes \(JN_p\) spaces with different p in the sense that \(f^{1/p} \notin JN_p\) but \(f^{1/q} \in JN_q\), where \(q > p\). Clearly we need to have \(f^{1/q} \in JN_q \setminus L^q\), because if \(f^{1/q} \in L^q\), then it follows from (2.6) that \(f^{1/p} \in L^p \subset JN_p\). This is why the example is influenced by the function \(g \in JN_p {\setminus } L^p\) given in [4]. Since the spaces \(L^p\) and \(JN_p\) coincide for monotone functions [4, Theorem 2.1], all examples in \(JN_p \setminus L^p\) must have a highly oscillatory structure. It is enough to construct our function in the interval [0, 1]. Then we can make a change of variable to get a similar function in an arbitrary interval.
Theorem 3.1
Let \(Q_0 = [0,1] \subset {\mathbb {R}}\) and let \(1< p < \infty \). Then there exists a nonnegative function f such that \(f^{1/q} \notin JN_q(Q_0)\) whenever \(1 < q \le p\), and \(f^{1/q} \in JN_q(Q_0)\) for every \(q > p\).
Let us denote the function \(f^{1/p}\) in Theorem 3.1 by u and the function in [4] by g. Both u and g consist of “towers” of width \(l_i\) where \(i \in {\mathbb {Z}}_+\). Each tower has an inclined roof with its left side set at height \(a_i\) and the right side at height \(b_i\). The roof of the tower is linear. On both sides of the tower, at distance \(d_i\), there are two similar narrower towers of width \(l_{i+1}\) and height ranging from \(a_{i+1}\) to \(b_{i+1}\). This construction continues indefinitely, with every tower at a given level i having two towers of the next level \(i+1\) on both side at distance \(d_i\). So there is one tower at level 1, two towers at level 2, 4 towers at level 3 etc. See Fig. 1 to get a better qualitative understanding of the function.
To give the exact definition let us use the following dyadic notation. For any dyadic interval \(I \subset \left[ 0, \frac{1}{2} \right) \) of length \(2^{-i}\), there is a corresponding interval \({\hat{I}} \subset Q_0\) of length \(l_i\). In [4] the indexing is started from [0, 1), but here we start it from \( \left[ 0, \frac{1}{2} \right) \) for technical reasons. It doesn’t change the fact that \(g \in JN_p \setminus L^p\). The locations of \({\hat{I}}\) in \(Q_0\) are defined recursively. For \(I^1:= \left[ 0, \frac{1}{2} \right) \), let \(\hat{I^1}\) be the interval of length \(l_1\) located in the center of \(Q_0\). If \({\hat{I}}\) is already defined and \(I'\) is the left (right) half of I, let \(\hat{I'}\) be the interval of length \(l_{i+1}\) positioned on the left (right) side of \({\hat{I}}\) in such a way that dist\((\hat{I'}, {\hat{I}}) = d_i\).
We denote the intervals by \({\hat{I}} = [t_I,t_I+l_i]\). For every interval \({\hat{I}}\) we define the function
for every \(x \in {\hat{I}}\). The function \(u^I\) is identically zero elsewhere. The function \(g^I\) is defined the same way but with different parameters. Note that \(u^I\) and \(g^I\) are supported in \({\hat{I}}\), not in I. Finally we define the function u (g) as the sum of all these functions \(u^I\) (\(g^I\)):
for every \(x \in Q_0\).
We can recover the function g from [4] by choosing \(a_i = b_i\). Thus g is constant in every interval \({\hat{I}}\). In this case we denote the height by \(h_i\). For g the heights, widths and distances are defined as
for every \(i \ge 1\). It was already shown that \(g \in JN_p\). Then it is easy to see that also \(g^{p/q} \in JN_q\) for any \(q>1\), because \(g^p\) does not depend on p. Therefore it is impossible for that function to separate \(JN_p\) spaces with different parameters p. The function g had to be modified to get the function u which does prove the result (2.8).
For the function u the widths, distances and heights are defined as
for every \(i \ge 1\). We will use these definitions from now on. Note that the definitions for \(l_i\) and \(d_i\) are the same as the respective definitions for g. The key difference is that \(a_i\) and \(b_i\) are different. It was shown in [4], that the intervals \({\hat{I}}\) are disjoint. Indeed given an interval of length \(l_i\), its distance to any other interval \({\hat{I}}'\) is at least
This means that the functions \(u^I\) have disjoint supports. Similarly we have a bound for \(D_i\), the largest distance from an interval \({\hat{I}}\) at level i to any of its descendants:
For the proof we refer to [4, Lemma 3.3]. From this it follows that the support of u is contained within an interval of length \(l_1 + 2 D_1 \le \frac{1}{4} + 6 \cdot \frac{1}{16} \le 1\). This means that the function is indeed supported in [0, 1]. It is also useful to notice that \(b_i = (1+ i^{-1/p}) 2^{i^2/p} \le 2 \cdot 2^{i^2/p}\) for every \(i \ge 1\). We summarize the results so far into the following lemma.
Lemma 3.3
For every \(i \ge 1\) we have
Now that we have defined the function \(u = f^{1/p}\), we show that \(u \notin JN_p(Q_0)\), which together with Proposition 2.7 implies that \(f^{1/q} \notin JN_q(Q_0)\) whenever \(1 < q \le p\).
Proposition 3.4
\(u = f^{1/p} \notin JN_p(Q_0)\).
Proof
Because u is linear in the intervals \({\hat{I}}\), it has a constant slope within \({\hat{I}}\), which we denote by \(k_I\). Then it is easy to see that
By plugging in the values of \(a_i\) and \(b_i\) we get
This finally implies that
since the harmonic series diverges. \(\square \)
From now on we fix a number \(q \in (p,\infty )\). Our goal is to prove that \(u^{p/q} = f^{1/q} \in JN_q(Q_0)\). To simplify the notation we denote \(u^{p/q}\) by v. First we need to prove the following lemmas.
Lemma 3.5
Let I be a dyadic interval of length \(2^{-i}\). Then
where \(q' = \frac{q}{q-1}\) is the Hölder conjugate of q. Also
In particular \(v \in L^1(Q_0)\). Here the constants c depend only on p and q.
Proof
Because \(u \le b_i\) in \({\hat{I}}\), we have
Additionally
The fact that \(v \in L^1\) follows from the previous result by having \(I = \left[ 0,\frac{1}{2} \right) \), because then
\(\square \)
The following lemma is easy to prove by finding the local minima of the function \(h(x) = 2x - \left( 1 + x \right) ^{p/q} + \left( 1 - x \right) ^{p/q}\), where \(0 \le x \le 1\), or by using the Taylor approximation \((1+x)^r \approx 1 + rx\), when |x| is small.
Lemma 3.6
Let \(1< p< q < \infty \) and \(i \in {\mathbb {Z}}_+\). Then
To prove that \(v \in JN_q(Q_0)\), we let \({\mathcal {J}}\) be a countable collection of disjoint subintervals of \(Q_0\). For \(J \in {\mathcal {J}}\) we define
It is clear that if J does not intersect any of the intervals \({\hat{I}}\), then \(F(J) = 0\). Also if J does intersect some of the intervals, then there is a unique widest interval \(I_J\), such that J intersects \({\hat{I}}_J\). We consider four separate cases how J relates to \(I_J\). Three of these cases are the same as in [4]. We added the fourth “contained” one, because this time the function is not constant within the intervals \({\hat{I}}\).
Definition 3.7
Lemma 3.8
Assume that J intersects some of the intervals \({\hat{I}}\) and \(I = I_J\). Then
where \(c = c(q)\) and \(|I| = 2^{-i}\).
Proof
It is clear that
and so we get from the triangle inequality
Define \( \alpha := \frac{1}{|J|} \int _{J \cap {\hat{I}}} v\). If \( \alpha \le v(x)\) for all \(x \in J \cap {\hat{I}}\), then F(J) is bounded by
On the other hand if \(\alpha \ge \inf \{ v(x): x \in J \cap {\hat{I}} \}\), then we know that \(a_i^{p/q} \le \alpha \le b_i^{p/q}\) and \(a_i^{p/q} \le v \le b_i^{p/q}\) in the interval \(J \cap {\hat{I}}\) and so
Here we used Lemma 3.6 to get the final inequality. Then we get
Hence in all cases the lemma is true. \(\square \)
Proposition 3.9
If J is contained, then
and consequently
Proof
In this case the first two terms in Lemma 3.8 are just zero, and so we get the bound for F(J). Then it follows that
This is an over-harmonic series, so it converges. \(\square \)
In Proposition 3.9 above we had a convergence specifically because \(q > p\). If we had \(p = q\), the corresponding series would diverge as was seen in Proposition 3.4.
We move on to the other cases where \(|J \setminus {\hat{I}}_J| > 0\). In these cases J must intersect the boundary of the interval \({\hat{I}}_J\) and so for each I there are at most two intervals J such that \(I = I_J\) and \(|J {\setminus } {\hat{I}}| > 0\).
Proposition 3.10
If J is short, then
and consequently
Proof
In this case v is zero in \(J \setminus {\hat{I}}\) and so the first term in Lemma 3.8 is just zero. Then we get
Using this bound we get
\(\square \)
Proposition 3.11
If J is medium, then
and consequently
Proof
In this case the bounds for the second and third term in Lemma 3.8 are essentially the same as in Proposition 3.10 because \(|J {\setminus } {\hat{I}}| \le 2 D_I \le 6 d_I\). For the first term we use Lemma 3.5 to get
Then we use the fact that \(|J| \ge |J {\setminus } {\hat{I}}| > \delta _I\) to get
and so we have the bound for F(J). This implies that
\(\square \)
Proposition 3.12
If J is long, then
and the corresponding intervals I form a Carleson family, in the sense that
Therefore
Proof
The proof of the corresponding intervals forming a Carleson family is essentially the same as the proof of [4, Lemma 3.9].
To get the bound for F(J) we use Lemma 3.8. First we notice that the bound for the first term is essentially the same as in Proposition 3.11, because \(|J| \ge |J {\setminus } {\hat{I}}| > 2 D_I \ge 2 d_I\). For the second and third term we use the fact that \(|J \cap {\hat{I}}| \le |{\hat{I}}| = l_I\). Then we get
Let us say that a dyadic interval I is long, if it is of the form \(I_J\) for some long J. Then we conclude that
\(\square \)
Now we are ready to prove the following proposition, which also concludes the proof of Theorem 3.1.
Proposition 3.13
\(v = f^{1/q} \in JN_q(Q_0)\).
Proof
This follows from Propositions 3.9, 3.10, 3.11 and 3.12. If we take any partition \({\mathcal {J}}\) of \(Q_0\) into disjoint subintervals \(J \in {\mathcal {J}}\), then
As the estimate does not depend on \({\mathcal {J}}\), we can conclude that \(\left\| v \right\| _{JN_q(Q_0)}^q < \infty \) and therefore \(v \in JN_q(Q_0)\). \(\square \)
The function f can be extended from the one-dimensional case \(Q_0 \subset {\mathbb {R}}\) into the multidimensional case \(Q_0 \subset {\mathbb {R}}^n\) with an arbitrary n, by repeatedly using Proposition 2.5.
Corollary 3.14
Let \(Q_0 \subset {\mathbb {R}}^n\) be a bounded cube and let \(1< p < \infty \). Then there exists a nonnegative function f such that \(f^{1/q} \notin JN_q(Q_0)\) whenever \(1 < q \le p\), and \(f^{1/q} \in JN_q(Q_0)\) for every \(q > p\).
4 The vanishing subspace \(VJN_p\)
The vanishing subspace \(VJN_p\) of \(JN_p\) is defined analogously to the space of vanishing mean oscillation VMO which is a subspace of BMO.
Definition 4.1
Let \(1< p < \infty \) and \(Q_0 \subset {\mathbb {R}}^n\) a bounded cube. Then \(f \in VJN_p(Q_0)\) if \(f \in JN_p(Q_0)\) and
where the supremum is taken over all collections of pairwise disjoint subcubes \(Q_i \subset Q_0\) such that the side length of each \(Q_i\) is at most a.
The following theorem is a characterization of \(VJN_p(Q_0)\).
Theorem 4.2
where \(C^{\infty }(Q_0)\) is the set of smooth functions in \({\mathbb {R}}^n\) that have been restricted to \(Q_0\).
For the proof we refer to [16, Theorem 5.3]. To be precise, that theorem applies to the so-called John–Nirenberg-Campanato spaces \(JN_{(p,q,s)_{\alpha }}(X)\) that were studied by Tao et al. [15]. Here \(p \in (1,\infty )\), \(q \in [1,\infty )\), \(\alpha \in [0,\infty )\), s is a nonnegative integer and X is either \({\mathbb {R}}^n\) or a bounded cube \(Q_0 \subset {\mathbb {R}}^n\). Brudnyi and Brudnyi studied the vanishing subspace of this John–Nirenberg-Campanato space in [3, Theorem 2.6], though they used some different notation. For consistency of this article, we denote the space by \(VJN_{(p,q,s)_{\alpha }}(X)\).
By choosing \(q=1\), \(s=\alpha =0\) and \(X = Q_0\), the John–Nirenberg-Campanato space \(JN_{(p,q,s)_{\alpha }}(X)\) becomes the John–Nirenberg space, \(JN_{(p,1,0)_{0}}(Q_0) = JN_p(Q_0)\). The same holds for the vanishing subspaces, i.e. \(VJN_p(Q_0) = VJN_{(p,1,0)_{0}}(Q_0)\). So by choosing the parameters appropriately, [16, Theorem 5.3] simplifies into the form in Theorem 4.2.
It follows directly from Theorem 4.2 that \(L^p(Q_0) \subset VJN_p(Q_0)\), by density of \(C^{\infty }\) in \(L^p\) and by Equation (2.3). Thus it is immediate that
The obvious question is now if these inclusions are strict. We answer this question by examining two functions. The counterexample presented in [4] is in \(JN_p \setminus VJN_p\). By modifying the function, we get another function which is in \(VJN_p {\setminus } L^p\).
Proposition 4.3
Let \(1< p < \infty \) and \(Q_0 \subset {\mathbb {R}}\) a bounded interval. Then there is a function \(g: Q_0 \rightarrow {\mathbb {R}}\) such that \(g \in JN_p(Q_0) {\setminus } VJN_p(Q_0)\).
Proof
Let g be the same function as in Sect. 3. It is already known that \(g \in JN_p(Q_0)\). To show that \(g \notin VJN_p(Q_0)\), let \(a>0\) be arbitrarily small. Then there is a positive integer m such that \(2 l_m \le a\). For any integer \(k > m\) we notice that \(d_{k-1} \ge l_k \ge D_k\). This means that for each interval \({\hat{I}}\) of length \(l_k\) we can choose an interval J of length \(2 l_k\) such that it covers \({\hat{I}}\) and all of its descendants on one side and the interval J doesn’t intersect any other interval \(\hat{I'}\). Then we get
On the other hand we know that
at least when k is large enough. Thus for \(k > m\) large enough, we have
Since there are \(2^{k-1}\) many intervals \({\hat{I}}\) of length \(l_k\), this means that
and this is true for all \(a>0\), so especially the limit as \(a \rightarrow 0\) is positive. Thus by definition \(g \notin VJN_p(Q_0)\). \(\square \)
Proposition 4.4
Let \(1< p < \infty \) and \(Q_0 \subset {\mathbb {R}}\) a bounded interval. Then there is a function \(g_0: Q_0 \rightarrow {\mathbb {R}}\) such that \(g_0 \in VJN_p(Q_0) {\setminus } L^p(Q_0)\).
Proof
Let us construct \(g_0\) by modifying the function g from Sect. 3. For \(g_0\) we set the height of every tower as \(h_i = \left( \frac{2^{i^2}}{i} \right) ^{1/p}\). The other parameters \(l_i\) and \(d_i\) are the same as in (3.2). Recall that the heights for g were defined as \(h_i = 2^{i^2/p}\).
The proof of \(g_0 \in JN_p(Q_0)\) follows the same steps as the proof of \(g \in JN_p(Q_0)\) in [4]. Also we notice that
thus \(g_0 \notin L^p(Q_0)\).
To prove that \(g_0 \in VJN_p\), let \(a>0\) be a small enough number. Then there is some positive integer k such that \(\delta _k \ge a > \delta _{k+1}\). Let \({\mathcal {J}}\) be a countable collection of disjoint intervals such that \(|J| \le a\) for every \(J \in {\mathcal {J}}\). Define
Similar to the function u in Sect. 3, it is clear that if J does not intersect any of the intervals \({\hat{I}}\), then \(F(J) = 0\). If J does intersect some intervals, then there is a unique widest interval \(I_J\), such that J intersects \({\hat{I}}_J\). Also if J does intersect an interval \({\hat{I}}\), if it does not intersect the boundary of the interval, then \(F(J)=0\). Therefore we assume that J intersects the boundary of \({\hat{I}}_J\). Then there are at most 2 intervals J for every I such that \(I = I_J\). Also we can categorize the intervals J as short, medium or long, depending on the length of \(J {\setminus } {\hat{I}}_J\), the same way as in Definition 3.7 and in [4].
We have the following bound for F(J):
where \(c = c(p)\) and \(I = I_J\). The proof is the same as for [4, Lemma 3.6].
If \(I = I_J\) and \(|I| = 2^{-i}\) with \(i \le k\), then the fact that \(|J {\setminus } {\hat{I}}| \le |J| \le a \le \delta _k \le \delta _i\) implies that J is short. Hence in this case \(F(J) \le c \min \big ( |J {\setminus } {\hat{I}}|,|J \cap {\hat{I}}| \big ) h_I^p \le c d_k h_k^p\). The total number of dyadic intervals I that are not shorter than \(2^{-k}\) is \(1 + 2 + 4 +... + 2^{k-1} \le 2^{k}\). Therefore
Since \(k \rightarrow \infty \) when \(a \rightarrow 0\), we notice that the limit of this sum is 0.
Assume from now on that \(I = I_J\) and \(i>k\). If J is short, then \(F(J) \le c d_i h_i^p \le c 2^{-i^2 - 2i} 2^{i^2} = c 2^{-2i}\). This implies that
which tends to zero when \(a \rightarrow 0\).
If J is medium, then for the second term in (4.5) we have essentially the same bound as in the short case. For the first term we have the bound
For the proof we refer to [4, Lemma 3.8], because \(g_0 \le g\) pointwise. This implies that
This also tends to zero when \(a \rightarrow 0\).
Finally if J is long, we have the same Carleson property as in Proposition 3.12 and in [4, Lemma 3.9]:
The bound for the first term in (4.5) is the same as in the medium case:
For the second term we have the bound
This implies that
This also tends to zero.
In conclusion
and this holds for any admissible collection \({\mathcal {J}}\). This implies that
and so by definition \(g_0 \in VJN_p(Q_0)\). \(\square \)
It is worth noting that the choice of \(h_i\) in the previous proof does not need to be exactly what it is. It is sufficient that \(h_i = \left( 2^{i^2} \cdot s_i \right) ^{1/p}\) where \(s_i\) is a sequence of nonnegative real numbers such that
Now we would like to extend this result to the multidimensional case. The following proposition is a counterpart of Proposition 2.5.
Proposition 4.6
Let \(Q_0 \subset {\mathbb {R}}^n\) be a bounded cube, \(f \in L^1(Q_0)\), and \({\tilde{f}}(x,t):= f(x)\) its trivial extension to \((x,t) \in {\tilde{Q}}_0:= Q_0 \times [0,l(Q_0)) \subset {\mathbb {R}}^{n+1}\). Then \(f \in VJN_p(Q_0)\) if and only if \({\tilde{f}} \in VJN_p({\tilde{Q}}_0)\).
Proof
The proof is very similar to the proof of [4, Proposition 4.1]. The only difference is that in the partition of \(Q_0\) into subcubes we have the additional criterion that \(l(Q_i) \le a\) for every i and for some \(a > 0\). Ultimately we get the result by taking the limit \(a \rightarrow 0\). \(\square \)
By using Propositions 2.5 and 4.6 multiple times, we can extend both g and \(g_0\) into the multidimensional cube \(Q_0 \subset {\mathbb {R}}^n\) for any n, such that \(g \in JN_p(Q_0) {\setminus } VJN_p(Q_0)\) and \(g_0 \in VJN_p(Q_0) {\setminus } L^p(Q_0)\). In conclusion we have shown that for any bounded cube \(Q_0 \subset {\mathbb {R}}^n\)
5 The spaces \(JN_p\), \(VJN_p\) and \(CJN_p\) defined on \({\mathbb {R}}^n\)
The definition of the space \(JN_p\) can be extended from the bounded cube \(Q_0\) into the whole Euclidian space \({\mathbb {R}}^n\). In this section we deal with the entire space \({\mathbb {R}}^n\) and always assume that \(JN_p = JN_p({\mathbb {R}}^n)\) and \(VJN_p = VJN_p({\mathbb {R}}^n)\) etc. unless otherwise specified.
Definition 5.1
Let \(1 \le p < \infty \). Then \(f \in JN_p\) if \(f \in L_{loc}^1\) and there is a constant \(K < \infty \) such that
for all countable collections of pairwise disjoint cubes \((Q_i)_{i=1}^{\infty }\) in \({\mathbb {R}}^n\). We denote the smallest such number K by \(\Vert f\Vert _{JN_p}\).
The embedding \(JN_p(Q_0) \subset L^{p,\infty }(Q_0)\) in Theorem 2.4 has been proven in a number of ways. However all the proofs, that we know of, only consider \(JN_p\) on bounded sets, not on \({\mathbb {R}}^n\). Clearly any constant function \(f=c\) is in the space \(JN_p\) even though it is in \(L^{p,\infty }\) only if \(c=0\). So let us define for \(p > 1\) the space
Then for the sake of completeness we prove the following theorem.
Theorem 5.2
Let \(1< p < \infty \) and \(f \in JN_p\). Then \(f \in L^{p,\infty } / {\mathbb {R}}\) and there is a constant b such that
where \(c = c(n,p)\).
Proof
First let \(Q \subset {\mathbb {R}}^n\) be any bounded cube. It is clear that if we restrict f to this cube, then we have \(f \in JN_p(Q)\) and therefore from Theorem 2.4 we get that \(\Vert f - f_Q \Vert _{L^{p,\infty }(Q)} \le c \Vert f \Vert _{JN_p(Q)}\). Further from Definition 5.1 it immediately follows that
Now let us define a sequence of cubes \((Q_m)_{m=1}^{\infty }\) such that \(|Q_m| = 2^m\) and the center of every cube is the origin. Then clearly we have \(Q_1 \subset Q_2 \subset ...\) and \(\bigcup _{m=1}^{\infty } Q_m = {\mathbb {R}}^n\). Let us prove that the sequence of integral averages \(f_{Q_m}\) is a Cauchy sequence. First we notice that for the difference of two consecutive elements we have the following estimate:
Now let \(\epsilon > 0\) and \(N = N(\epsilon )\) an integer that will depend on \(\epsilon \). Let \(m, k \ge N\) and let us assume that \(k \ge m\). Then
when N is large enough. Thus \(f_{Q_m}\) is a Cauchy sequence and we can set \(b:= \lim _{m \rightarrow \infty } f_{Q_m}\). Then we have for any positive integer m
for all \(t > 0\). The second term is either equal to \(|Q_m|\) or 0, but when we take the limit \(m \rightarrow \infty \) it tends to 0. Therefore we have
This completes the proof. \(\square \)
Notice also that the zero-extension of the function we had in Sect. 2 in \(L^{p,\infty }(Q_0) {\setminus } JN_p(Q_0)\) is in \(L^{p,\infty } / {\mathbb {R}} {\setminus } JN_p\). This shows that \(JN_p \subsetneq L^{p,\infty } / {\mathbb {R}}\). It is easy to see, by using a similar method as in the previous proof, that \(JN_1 = L^1 / {\mathbb {R}}\). Therefore we assume that \(p > 1\) from now on.
The vanishing subspace \(VJN_p\) can be defined in the whole space as well.
Definition 5.3
Let \(1< p < \infty \). Then the vanishing subspace \(VJN_p\) of \(JN_p\) is defined by setting
where
The following characterization of \(VJN_p\) is proven in [16, Theorem 3.2].
Theorem 5.4
Let \(1< p < \infty \). Then \(f \in VJN_p\) if and only if \(f \in JN_p\) and
where the supremum is taken over all collections of pairwise disjoint cubes \(Q_i\) such that the side length of each \(Q_i\) is at most a.
We also study \(CJN_p\), which is another subspace of \(JN_p\). This space is defined analogously to the space of continuous mean oscillation CMO, which is a subspace of BMO. In the case of the bounded cube, \(CJN_p(Q_0) = VJN_p(Q_0)\). Hence we only define \(CJN_p\) in the whole space.
Definition 5.5
Let \(1< p < \infty \). Then the subspace \(CJN_p\) of \(JN_p\) is defined by setting
where \(C_c^{\infty }({\mathbb {R}}^n)\) denotes the set of smooth functions with compact support in \({\mathbb {R}}^n\).
The following characterization of \(CJN_p\) is proven in [16, Theorem 4.3].
Theorem 5.6
Let \(1< p < \infty \). Then \(f \in CJN_p\) if and only if \(f \in VJN_p\) and
where the supremum is taken over all cubes \(Q \subset {\mathbb {R}}^n\) such that the side length of Q is at least a.
It follows directly from the definition of \(CJN_p\) that \(L^p \subset CJN_p\), by density of \(C_c^{\infty }\) in \(L^p\) and by Equation (2.3). Furthermore we notice from Theorems 5.4 and 5.6 and from Definition 5.1 that adding a constant to a function doesn’t affect whether the function is in \(JN_p\) or in the subspaces \(VJN_p\) or \(CJN_p\). Thus if \(f \in L^p\), then \(f+c \in CJN_p\) for any constant c. If we define \(L^p / {\mathbb {R}}\) the same way as \(L^{p,\infty } / {\mathbb {R}}\), then it is immediate that
Again we can ask whether these inclusions are strict. We examine this by extending the previous functions into multidimensional versions in the whole space.
Lemma 5.7
Let \(I \subset {\mathbb {R}}\) be a bounded interval such that \(|I| = L\). Without loss of generality we may assume that \(I = [0,L]\). Let \(f \in L^1(I)\), \(n \in {\mathbb {Z}}_+\) and \(1< p < \infty \). Define the cube \(Q_0:= [0,L]^{n} \subset {\mathbb {R}}^n\). Define the function
Then \({\hat{f}} \in JN_p\) if and only if \(f \in JN_p(I)\) and
Proof
If \({\hat{f}} \in JN_p\), then clearly if we restrict \({\hat{f}}\) to \(Q_0\), we have \({\hat{f}} \in JN_p(Q_0)\). Then Proposition 2.5 implies that
and so \(f \in JN_p(I)\).
Now assume that \(f \in JN_p(I)\). Without loss of generality we may assume that \(f_I = 0\). Let \(Q \subset {\mathbb {R}}^n\) be a cube such that \(Q \cap Q_0 \ne \varnothing \) and \(Q {\setminus } Q_0 \ne \varnothing \). Since \(Q \cap Q_0\) is an intersection of two cubes, it is a rectangle. Therefore we can denote \(Q \cap Q_0 = J_1 \times J_2 \times ... \times J_n = J_1 \times K\), where \(J_i\) are intervals such that \(J_i \subset [0,L]\) for every \(i \ge 1\). The notation \(|\cdot |\) for sets below refers to the Lebesgue measure, which can be either 1-, n- or \(n-1\)-dimensional depending on the context. Then
Here we used the triangle inequality, Cavalieri’s principle and Theorem 2.4. For the constant we have \(\lim _{p \rightarrow 1} c(p) = \infty \), even though the result would clearly hold also, if \(p = 1\). Therefore a better constant could perhaps be attained in this inequality. However we were not able to produce that.
Let us look at \(Q \cap Q_0 = J_1 \times ... \times J_n\). Clearly we have \(|J_i| \le l(Q)\) for every i. Further we know that \(|J_j| < l(Q)\) for at least one j - otherwise we would have \(|Q \cap Q_0| = |Q|\).
If \(|J_1| < l(Q)\), then the cube Q intersects with the boundary of I. This implies that K, the \(n-1\)-dimensional side of \(Q \cap Q_0\), is located at the boundary of \(Q_0\). Therefore we can estimate
Here the first inequality is an equality if Q intersects only one of the boundary points of I. If it intersects the other boundary point, we have \(|\{ x \in Q \cap Q_0: x_1 \in \partial I \}| = 2 |K|\).
If \(|J_1| = l(Q)\), then \(|J_i| < l(Q)\) for some \(i \ge 2\). By the same reasoning as before we know that Q intersects the boundary of the i:th dimensional interval [0, L] and therefore
Thus in any case we have \(|K| \le |Q \cap \partial Q_0|\). Now let \({\mathcal {Q}}\) be a partition of \({\mathbb {R}}^n\) into disjoint cubes and define
Then
Here we used Proposition 2.5. Finally by taking the supremum this gives us the result
\(\square \)
The moral is that if we have any function in \(JN_p(I)\) for a bounded interval I, we can extend the function into multiple dimensions and into the whole space so that we get a function in \(JN_p({\mathbb {R}}^n)\). It is easy to see that \({\hat{f}} \in L^p({\mathbb {R}}^n) / {\mathbb {R}}\) if and only if \(f \in L^p(I)\) and \({\hat{f}} \in L^{p,\infty }({\mathbb {R}}^n) / {\mathbb {R}}\) if and only if \(f \in L^{p,\infty }(I)\). The same results hold also if \(n=1\).
Lemma 5.8
Let \(I \subset {\mathbb {R}}\) be a bounded interval such that \(|I| = L\). Without loss of generality we may assume that \(I = [0,L]\). Let \(f \in L^1(I)\), \(n \in {\mathbb {Z}}_+\) and \(1< p < \infty \). Define the cube \(Q_0:= [0,L]^{n} \subset {\mathbb {R}}^n\). Define the function
Then if \({\hat{f}} \in VJN_p\), we have \(f \in VJN_p(I)\). On the other hand if \(f \in VJN_p(I)\) and we assume further that
then \({\hat{f}} \in CJN_p\).
where the supremum is taken over all intervals J such that \(|J| \le a\), then \({\hat{f}} \in CJN_p\)
Proof
If \({\hat{f}} \in VJN_p\) and we restrict \({\hat{f}}\) to \(Q_0\), we clearly have \({\hat{f}} \in VJN_p(Q_0)\). Then Proposition 4.6 implies that \(f \in VJN_p(I)\).
Now assume that \(f \in VJN_p(I)\) and assumption (5.9) holds. Without loss of generality we may assume that \(f_I = 0\). First we notice that then \(f \in JN_p(I)\), which means that \({\hat{f}} \in JN_p\), by Lemma 5.7. Now let \(a > 0\). Let \(Q \subset {\mathbb {R}}^n\) be a cube such that \(Q \cap Q_0 \ne \varnothing \), \(Q {\setminus } Q_0 \ne \varnothing \) and \(l(Q) \le a\). Similar to the previous proof, we can write \(Q \cap Q_0 = J_1 \times J_2 \times ... \times J_n = J_1 \times K\). Then
as in the previous proof. Further we have \(|J_1| \le l(Q) \le a\), which means that
As in the previous proof, we also have \(|K| \le |Q \cap \partial Q_0|\). Now let \({\mathcal {Q}}\) be a partition of \({\mathbb {R}}^n\) into disjoint cubes such that the side length of each cube is at most a. Define
Then
Therefore
If we restrict \({\hat{f}}\) to \(Q_0\), then Proposition 4.6, together with \(f \in VJN_p(I)\), implies that \({\hat{f}} \in VJN_p(Q_0)\). This gives us that
For the other term we have a similar limit by assumption (5.9). Then we have
and so Theorem 5.4 gives us that \({\hat{f}} \in VJN_p\). Finally we know that \(f \in L^1(I)\) and \({\hat{f}}\) is supported in \(Q_0\). Therefore
and so Theorem 5.6 gives us that \({\hat{f}} \in CJN_p\). This completes the proof. \(\square \)
Lemma 5.10
Let \(g_0\) be the function in Proposition 4.4 such that \(g_0 \in VJN_p(Q_0) {\setminus } L^p(Q_0)\) with \(Q_0 \subset {\mathbb {R}}\). Then we have
where the supremum is taken over all intervals J such that \(|J|\le a\).
Proof
It is enough that we prove this result for the function g from Proposition 4.3, because clearly \(g_0 \le g\). Let a be a small positive number such that \(\delta _{N} < a \le \delta _{N-1}\) for some integer \(N \ge 2\). Let \(J \subset Q_0\) be an interval such that \(|J| \le a\). Then there is some integer \(m \ge N\) such that \(\delta _m < |J| \le \delta _{m-1}\). Like in earlier cases, if J does not intersect any interval \({\hat{I}}\), then
Therefore we assume that J does intersect some interval \({\hat{I}}\). Then there is a unique widest interval \(I_J\) such that J intersects \({\hat{I}}_J\).
First assume that \(|I_J| = |I| = 2^{-i} > 2^{-m}\). Then the fact that \(|J {\setminus } {\hat{I}}| \le |J| \le \delta _{m-1} \le \delta _i\) implies that \({\hat{I}}\) is the only interval that J intersects. Then
As \(a \rightarrow 0\), we know that \(N \rightarrow \infty \). Therefore this upper bound converges to 0.
Assume now that \(|I_J| = 2^{-i} \le 2^{-m}\). Then J intersects at most one interval of length \(|{\hat{I}}| = l_m\), two intervals of length \(|{\hat{I}}| = l_{m+1}\) etc. If I is an interval of length \(2^{-m}\), then in this case we have
For the second term we have the following upper bound.
For the proof we refer to [4, Lemma 3.8]. For the first term we notice that
whether \(|J| < l_m\) or \(l_m \le |J|\). This means that
Hence whenever \(|J| \le a\), we have
This means that
and therefore functions g and \(g_0\) satisfy condition (5.9). \(\square \)
Now Lemmas 5.7, 5.8 and 5.10 together with the examples \(g \in JN_p(Q_0) {\setminus } VJN_p(Q_0)\) from Proposition 4.3 and \(g_0 \in VJN_p(Q_0) {\setminus } L^p(Q_0)\) from Proposition 4.4, imply the following corollary.
Corollary 5.11
For any \(n \in {\mathbb {Z}}_+\) there exists a function \({\hat{g}} \in JN_p({\mathbb {R}}^n) {\setminus } VJN_p({\mathbb {R}}^n)\) and a function \({\hat{g}}_0 \in CJN_p({\mathbb {R}}^n) {\setminus } L^p({\mathbb {R}}^n) / {\mathbb {R}}\).
In conclusion we know that
So far an example function that would be in \(VJN_p \setminus CJN_p\) has not been constructed. It remains an open question whether these two spaces coincide or not. It is also not clear whether the condition (5.9) is necessary for Lemma 5.8. It would be interesting to find a \(JN_p\) function that doesn’t satisfy (5.9).
Availability of data and material
Not applicable.
Code Availability
Not applicable.
References
Aalto, D., Berkovits, L., Kansanen, O.E., Yue, H.: John-Nirenberg lemmas for a doubling measure. Stud. Math. 204(1), 21–37 (2011)
Berkovits, L., Kinnunen, J., Martell, J.M.: Oscillation estimates, self-improving results and good-\(\lambda \) inequalities. J. Funct. Anal. 270(9), 3559–3590 (2016)
Brudnyi, A., Brudnyi, Y.: On the Banach structure of multivariate BV spaces. Diss. Math. 548, 1–52 (2020)
Dafni, G., Hytönen, T., Korte, R., Yue, H.: The space \(JN_p\): nontriviality and duality. J. Funct. Anal. 275(3), 577–603 (2018)
Domínguez, Ó., Milman, M.: Sparse Brudnyi and John-Nirenberg spaces. C. R. Math. Acad. Sci. Paris. 359, 1059–1069 (2021)
Hurri-Syrjänen, R., Marola, N., Vähäkangas, A.V.: Aspects of local-to-global results. Bull. Lond. Math. Soc. 46, 1032–1042 (2014)
John, F., Nirenberg, L.: On functions of bounded mean oscillation. Commun. Pure Appl. Math. 14, 415–426 (1961)
Kinnunen, J., Myyryläinen, K.: Dyadic John–Nirenberg space. arXiv:2107.00492 (2021)
Marola, N., Saari, O.: Local to global results for spaces of BMO type. Math. Z. 282, 473–484 (2016)
Milman, M.: Marcinkiewicz spaces, Garsia-Rodemich spaces and the scale of John-Nirenberg self improving inequalities. Ann. Acad. Sci. Fenn. Math. 41, 491–501 (2016)
Myyryläinen, K.: Median-type John-Nirenberg space in metric measure spaces. J. Geom. Anal., 32(4): Paper No. 131, 23 pp. (2022)
Neri, U.: Fractional integration on the space \(H^1\) and its dual. Stud. Math. 53(2), 175–189 (1975)
Sarason, D.: Functions of vanishing mean oscillation. Trans. Am. Math. Soc. 207, 391–405 (1975)
Sun, J. Xie, G., Yang, D.: Localized John–Nirenberg–Campanato spaces. Anal. Math. Phys. 11, Paper No. 29, 47 pp (2021)
Tao, J., Yang, D., Yuan, W.: John-Nirenberg-Campanato spaces. Nonlinear Anal. 189(111584), 36 (2019)
Tao, J., Yang, D., Yuan, W.: Vanishing John-Nirenberg spaces. Adv. Calc. Var. (2021). https://doi.org/10.1515/acv-2020-0061
Tao, J., Yang, D., Yuan, W.: A survey on function spaces of John-Nirenberg type. Mathematics 9, 2264 (2021). https://doi.org/10.3390/math9182264
Acknowledgements
I would like to thank my supervisor Riikka Korte and my colleague Kim Myyryläinen for many fruitful discussions on the space \(JN_p\). I would also like to thank the referee for their useful comments and suggestions especially concerning the readability of the paper.
Funding
Open Access funding provided by Aalto University. The research was funded by Aalto University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Takala, T. Nontrivial examples of \(JN_p\) and \(VJN_p\) functions. Math. Z. 302, 1279–1305 (2022). https://doi.org/10.1007/s00209-022-03100-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-022-03100-w
Keywords
- John–Nirenberg space
- Vanishing subspace
- Euclidian space
- Cube
- Bounded mean oscillation
- John-Nirenberg inequality