Abstract
This paper is devoted to studying the mapping properties for the spherical maximal operator \({\mathbf {S}}_G\) defined on finite connected graphs G. Some operator norms of \({\mathbf {S}}_G\) on the \(\ell ^p(G)\), \(\ell ^{p,\infty }(G)\) and the spaces of bounded p-variation functions defined on G are investigated. Particularly, as some special examples of finite connected graphs, the complete graph \(K_n\) and star graph \(S_n\) are discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(G=(V_G,E_G)\) be an undirected combinatorial graph with the set of vertices \(V_G\) and the set of edges \(E_G\). We say that two vertices \(x,\,y\in V_G\) are neighbors if they are connected by an edge in \(E_G\), which is denoted by \(x\sim y\). If \(x\sim y\), then \(y\sim x\) and we set \(x\sim y=y\sim x\). We denote by \(N_G(v)\) the set of neighbors of v for any \(v\in V_G\). The graph G is called finite if \(|V_G|<\infty \). The graph is called connected if for any distinct \(x,\,y\in V_G\), there is a finite sequence of vertices \(\{x_i\}_{i=0}^k\), \(k\in {\mathbb {N}}\), such that \(x=x_0\sim x_1\sim \cdots \sim x_k=y\).
In what follows, we always assume that the graph \(G=(V_G,E_G)\) is a finite connected graph with \(n\,(n\ge 2)\) vertices. Let \(d_G\) be the metric induced by the edges in \(E_G\). That is, given \(u,v\in V_G\), the distance \(d_G(u,v)\) is the number of edges in a shortest path connecting u and v. Let \(B_G(v,r)\) be the ball centered at v, with radius r on the graph, i.e.
For example, \(B_G(v,r)=\{v\}\) if \(0\le r<1\) and \(B_G(v,r)=\{v\}\cup N_G(v)\) if \(1\le r<2\). Let \(|B_G(v,r)|\) be the cardinality of \(B_G(v,r)\). For a function \(f:V_G\rightarrow {\mathbb {R}}\), the Hardy–Littlewood maximal operator on G is given by
Since G has \(n\,(n\ge 2)\) vertices, the maximal operator \(M_{G}\) can be redefined by
Over the last several years the Hardy–Littlewood maximal operators on graphs has been studied by many authors (see [2, 6, 24, 26, 27]). This operator defined in (1.1) was first introduced and studied by Korányi and Picardello [24] who used the maximal operator to investigate the boundary behaviour of eigenfunctions of the Laplace operator on trees. Later on, Cowling et al. [6] further studied the Hardy–Littlewoood maximal operators on homogeneous trees. Some weighted norm inequalities for the Hardy–Littlewoood maximal operators on infinite graphs were established by Badr and Martell [2]. Recently, Soria and Tradacete [26] studied the \(\ell ^p\)-norm for the Hardy–Littlewood maximal operators on finite connected graphs.
Definition 1.1
(\(\ell ^p(G)\) spaces) Let \(G=(V_G,E_G)\) be a graph with the set of vertices \(V_G\) and the set of edges \(E_G\). For \(0<p\le \infty \), let \(L^p(G)\) be the set of all functions \(f:V_G\rightarrow {\mathbb {R}}\) satisfying \(\Vert f\Vert _{\ell ^p(G)}<\infty \), where \(\Vert f\Vert _{\ell ^p(G)}= (\sum _{v\in V_G}|f(v)|^p)^{1/p}\) for all \(0<p<\infty \) and \(\Vert f\Vert _{\ell ^\infty (G)}=\sup _{v\in V_G}|f(v)|\).
Soria and Tradacete [26] studied the \(\ell ^p\)-norm of \(M_G\):
We now introduce partial results of [26] as follows:
Theorem A
[26] Let \(G=(V_G,E_G)\) be a graph with n vertices and \(0<p<1\). Let \(K_n\) be the complete graph with n vertices, i.e. \(|N_{K_n}(v)|=n-1\) for any \(v\in V_{K_n}\) and let \(S_n\) be the star graph of n vertices, i.e. there exists an unique \(v\in V_{S_n}\) such that \(|N_{S_n}(v)|=n-1\) and \(|N_{S_n}(w)|=1\) for every \(w\in V_{S_n}{\setminus }\{v\}\). Then,
Moreover,
-
(i)
If \(0<p\le 1\), then \(\Vert M_{G}\Vert _p=(1+\frac{n-1}{n^p})^{1/p}\) if and only if \(G=K_n\).
-
(ii)
If \(0<p\le 1\), then \(\Vert M_{G}\Vert _p=(1+\frac{n-1}{2^p})^{1/p}\) if and only if G is isomorphic to \(S_n\).
-
(iii)
If \(1<p<\infty \), then
$$\begin{aligned} \left( 1+\frac{n-1}{n^p}\right) ^{1/p}\le \Vert M_{K_n}\Vert _p\le \left( 1+\frac{n-1}{n}\right) ^{/p}. \end{aligned}$$ -
(iv)
If \(1<p<\infty \), then
$$\begin{aligned} \left( 1+\frac{n-1}{2^p}\right) ^{1/p}\le \Vert M_{S_n}\Vert _{p}\le \left( \frac{n+5}{2}\right) ^{1/p}. \end{aligned}$$
Very recently, González-Riquelme and Madrid [7] obtained the best constants for \(\Vert M_{K_n}\Vert _2\) and \(\Vert M_{S_n}\Vert _2\). In [26], Soria and Tradacete [26] also investigated the weak-type \(\ell ^{p,\infty }\)-norm of \(M_G\):
where
It is clear that \(\Vert f\Vert _{\ell ^{p,\infty }(G)}\le \Vert f\Vert _{\ell ^p(G)}\).
Soria and Tradacete [26] proved the following result.
Theorem B
[26] Let \(0<p<\infty \), then
Moreover,
In particular, for every connected graph G with n vertices,
It is well known that the spherical maximal function
has played a key role in harmonic analysis and partial differential equations. This introduction was motivated by some special spherical averages, which are some solutions of certain partial differential equations, such as wave equation, Darboux’s equation and so on. We can consult [3, 20,21,22] for their history, background and applications. Stein [21] first established the \(L^p\) bounds for \({\mathcal {S}}\) with \(\frac{n}{n-1}<p\le \infty \) when \(n\ge 3\). Other proofs for the case \(n\ge 3\) can be found in [5, 20]. It is more remarkable that the more difficult case \(n=2\) was first settled by Bourgain in [3]. Alternative proofs for the case \(n=2\) were given by Mockenhaupt, Seeger and Sogge [19] as well as Schlag [25]. Other interesting works can be consulted [11, 18] for the discrete spherical maximal functions as well as [8, 10, 14] for the Sobolev regularity of the spherical maximal functions.
The main objective of this paper is the spherical maximal function on finite graphs. Let us introduce one definition.
Definition 1.2
(Spherical maximal operator on graphs) Let \(G=(V_G,E_G)\) be a graph with n vertices. For \(v\in V_G\) and \(r\ge 0\), let \(S_G(v,r)\) denote the sphere of center v and radius r on the graph G, i.e.
Specially, \(S_G(v,1)=N_G(v)\) for all \(v\in V_G\). The Spherical maximal operator \({\mathbf {S}}_G\) is given by
Since G has \(n\,(n\ge 2)\) vertices, the Spherical maximal operator \({\mathbf {S}}_{G}\) can be rewritten by
Clearly, \(|f(v)|\le {\mathbf {S}}_Gf(v)\le \Vert f\Vert _\infty \) for all \(v\in V_G\). It follows that
It was pointed out in [27] that
Based on (1.2) and the facts concerning the best constants of \(\Vert M_G\Vert _p\) and \(\Vert M_G\Vert _{p,\infty }\), it is interesting and natural to study the best constants of \(\Vert {\mathbf {S}}_G\Vert _p\) and \(\Vert {\mathbf {S}}_G\Vert _{p,\infty }\), which is one of main motivations in this work.
On the other hand, the regularity theory of maximal operators has been the subject of many recent research papers in harmonic analysis. The first work related to this topic was due to Kinnunen [12] in 1997 when he established the boundedness for the centered Hardy–Littlewood maximal operator \({\mathcal {M}}\) on the first order Sobolev spaces \(W^{1,p}({\mathbb {R}}^n)\) with \(1<p\le \infty \). Since then, Kinnunen’s result was extended to various versions (see [4, 13, 14]). Since Kinnunen’s result does not include the case \(p=1\), the \(W^{1,1}\)-regularity for \({\mathcal {M}}\) is a certainly more delicate issue. A complete solution was obtained only in dimension \(n=1\) (see [1, 15, 23]) and partial progress on the general dimension \(n\ge 2\) was given by Hajłasz and Malý [9] and Luiro [17]. In particular, Aldaz and Pérez Lázaro [1] proved that if f is of bounded variation on \({\mathbb {R}}\), the uncentered Hardy–Littlewood maximal function \(\widetilde{{\mathcal {M}}}f\) is absolutely continuous and
where \(\mathrm{Var}(f)\) denotes the total variation of f on \({\mathbb {R}}\).
Very recently, in order to generalize the endpoint regularity of maximal operators in [1] to the graph setting, Liu and Xue [16] introduced the following \(\mathrm{BV}_p\) spaces on graphs.
Definition 1.3
(\(\mathrm{BV}_p(G)\) spaces) Let \(G=(V_G,E_G)\) and \(0<p\le \infty \). We define the spaces of bounded p-variation functions on graph G by
where \(\mathrm{Var}_p(f)\) represents the p-variation of f defined by
and
When \(p=1\), we denote \(\mathrm{BV}_p(G)=\mathrm{BV}(G)\) and \(\mathrm{Var}_p(f)=\mathrm{Var}(f)\).
One can easily check that
and
However, there does not exist a constant \(C_{p,n}>0\) such that
for all \(0<p\le \infty \) and any functions \(f\in \mathrm{BV}_p(G)\). We also note that
where G is a finite graph.
Liu and Xue [16] investigated the boundedness for \(M_{G}\) on \(\mathrm{BV}_p(G)\) and the \(\mathrm{BV}_p\)-norm of \(M_{G}\)
To be more precise, Liu and Xue [16] proved the following result.
Theorem C
[16] Let G be a simple, finite and connected graph with \(n\ge 2\) vertices. Then
-
(i)
If \(n=2\) and \(0<p\le \infty \), then \(\Vert M_{G}\Vert _{\mathrm{BV}_p}={1}/{2}\);
-
(ii)
If \(n=3\) and \(0<p\le 1\), then \(\Vert M_{G}\Vert _{\mathrm{BV}_p}={2}/{3}\);
-
(iii)
If \(n\ge 3\), then \(1-{1}/{n}\le \Vert M_{K_n}\Vert _{\mathrm{BV}_p}<1\).
-
(iv)
If \(n\ge 3\), then \(1-{1}/{n}\le \Vert M_{S_n}\Vert _{\mathrm{BV}_p}<1\);
-
(v)
\(M_{G}\) is bounded from \(\mathrm{BV}_p(G)\) to \(\mathrm{BV}_p(G)\) for all \(0<p\le \infty \). Specially, for any \(f\in \mathrm{BV}_p(G)\), it holds that
$$\begin{aligned} \mathrm{Var}_p(M_{G}f)\le \left( \frac{n}{2}\right) ^{1/p}(n-1)^{\max \{1,1/p\}}\mathrm{Var}_p(f). \end{aligned}$$
Gonzalez-Riquelme and Madrid [7] improved partial results in Theorem C. More precisely, they established the following
Theorem D
[7] Let \(n\ge 3\) and \(0<p\le \infty \).
-
(i)
Then \(\Vert M_{K_n}\Vert _{\mathrm{BV}_p}=1-{1}/{n}\) if one of the following conditions holds:
-
(a)
\(p\ge 1\);
-
(b)
\(0<p<1\) and \(n=4\);
-
(c)
\(n\ge 3\) and \(\frac{\ln 4}{\ln 6}\le p<1\).
-
(a)
-
(ii)
If \(1<p\le \infty \), then \(\Vert M_{S_n}\Vert _{\mathrm{BV}_p}=\frac{(1+2^{p/(p-1)})^{(p-1)/p}}{3}\). Moreover, the equality \(\Vert M_{S_n}\Vert _{\mathrm{BV}_p}=1-{1}/{n}\) holds if one of the following conditions holds:
-
(a’)
\(p=1\);
-
(b’)
\(0<p<1\) and \(n=4\);
-
(c’)
\(1/2\le p\le 1\) and \(n\ge 5\).
In light of (1.2) and (1.3), the boundedness of \({\mathbf {S}}_G\) on \(\mathrm{BV}_p(G)\) is trivial. However, it is interesting and natural to investigate \(\Vert {\mathbf {S}}_G\Vert _{\mathrm{BV}_p}\), which is another motivation of this work.
This paper will be organized as follows. In Sect. 2 we shall present certain \(\ell ^p\)-norm estimates for the spherical maximal function as well as two restricted type estimates. Section 3 is devoted to establishing the optimal constants for \(\Vert {\mathbf {S}}_{K_n}\Vert _{p,\infty }\) and \(\Vert {\mathbf {S}}_{S_n}\Vert _{p,\infty }\). Finally, the \(\mathrm{BV}_p\)-norm of \({\mathbf {S}}_G\) is discussed in Sect. 4.
2 Estimates for \(\Vert {\mathbf {S}}_G\Vert _p\) and two restricted type estimates
This section is devoted to studying the \(\ell ^p\)-norm of the spherical maximal operator. We start with the following observation.
Theorem 2.1
Let \(G=(V_G,E_G)\) be graph with \(n\,(n\ge 2)\) vertices and \(0<p<\infty \). Then
-
(i)
\(1\le \Vert {\mathbf {S}}_G\Vert _p\le n^{1/p}\);
-
(ii)
If \(n=2\) and G is connected, then
$$\begin{aligned} \Vert {\mathbf {S}}_G\Vert _{p}=2^{1/p}. \end{aligned}$$
Proof
The claim (i) follows from (1.2). We now prove part (ii). Let \(n=2\) and \(G=(V_G,E_G)\) with \(V_G=\{1,2\}\) and \(E_G=\{1\sim 2\}\). Given a function \(f:V_G\rightarrow {\mathbb {R}}\), it holds that \({\mathbf {S}}_Gf(1)={\mathbf {S}}_Gf(2)=\max \{|f(1)|,|f(2)|\}\). Then we have
Without loss of generality we may assume that \(|f(1)|\ge |f(2)|\) and \(\beta =\frac{|f(2)|}{|f(1)|}\). It is clear that \(\beta \in [0,1]\) and
This completes the proof. \(\square \)
Remark 2.1
Let \(G=(V_G,E_G)\) be a connected graph with set of vertices \(V_G=\{u,v\}\) and \(0<p\le \infty \). Then \(\Vert {\mathbf {S}}_Gf\Vert _{\ell ^p(G)}=2^{1/p}\Vert f\Vert _{\ell ^p(G)}\) if and only if \(f(u)f(v)=0\).
In order to establish next results, let us introduce an useful lemma.
Lemma 2.2
[26] Let \(G=(V_G,E_G)\) be graph with \(n\,(n\ge 2)\) vertices, and \(T:\ell ^p(G)\rightarrow \ell ^p(G)\) be a sublinear operator, with \(0<p\le 1\). Then
We are going to present the estimates for \(\Vert {\mathbf {S}}_{K_n}\Vert _p\).
Theorem 2.3
Let \(n\ge 3\).
-
(i)
If \(0<p\le 1\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p}=(1+(n-1)^{1-p})^{1/p}. \end{aligned}$$ -
(ii)
If \(1<p<\infty \), then
$$\begin{aligned} (1+(n-1)^{1-p})^{1/p}\le \Vert {\mathbf {S}}_{K_n}\Vert _{p}<2^{1/p}. \end{aligned}$$
Proof
Without loss of generality we may assume that \(K_n=(V_{K_n},E_{K_n})\), where \(V_{K_n}=\{1,\ldots ,n\}\). Given \(k\in V_{K_n}\). One can easily check that \({\mathbf {S}}_{K_n}(\delta _k)(k)=1\) and \({\mathbf {S}}_{K_n}(\delta _k)(i)=\frac{1}{n-1}\) for all \(i\in V_{K_n}{\setminus }\{k\}\). Then we have
By Lemma 2.2, one has
This proves part (i).
Now we prove part (ii). Note that \(\Vert \delta _1\Vert _{\ell ^p(K_n)}=1\). Then we have
Next we shall prove
To prove (2.1), it suffices to show that
for all nonnegative functions \(f:V_{K_n}\rightarrow {\mathbb {R}}\) with \(\Vert f\Vert _{\ell ^p(K_n)}=1\).
Given a function \(f=\sum _{i=1}^na_i\delta _i\) with \(a_i\ge 0\,(i=1,\ldots ,n)\) and \(\sum _{i=1}^na_i^p=1\). We write
Since \(p>1\), by Jensen’s inequality
We set
Then we have
Notice that \(1\le |N_1|\le n\). One can get \(g(N_1)\le 2\). Moreover, \(g(N_1)=2\) if there exists an unique \(j_0\in \{1,\ldots ,n\}\) such that \(a_{j_0}=1\) and \(a_j=0\) for all \(j\in \{1,\ldots ,n\}{\setminus }\{j_0\}\). Actually, if there exists an unique \(j_0\in \{1,\ldots ,n\}\) such that \(a_{j_0}=1\) and \(a_j=0\) for all \(j\in \{1,\ldots ,n\}{\setminus }\{j_0\}\), we can get \(\Vert {\mathbf {S}}_{K_n}f\Vert _{\ell ^p(K_n)}=(1+(n-1)^{1-p})^{1/p}<2^{1/p}\) when \(p>1\). These together with (2.3) yields (2.2). \(\square \)
The following result focuses the estimates for \(\Vert {\mathbf {S}}_{S_n}\Vert _{p}\).
Theorem 2.4
Let \(n\ge 3\) and \(0<p<\infty \). Then
-
(i)
\(\Vert {\mathbf {S}}_{S_n}\Vert _{p}=n^{1/p}\);
-
(ii)
Let \(S_n=(V_{S_n},E_{S_n})\) with \(V_{S_n}=\{1,\ldots ,n\}\) and \(E_{S_n}=\{1\sim 2,\ldots ,1\sim n\}\), then
$$\begin{aligned} \frac{\Vert {\mathbf {S}}_{S_n}f\Vert _{\ell ^p(S_n)}}{\Vert f\Vert _{\ell ^p(S_n)}}=n^{1/p} \end{aligned}$$if and only if \(f=\pm \alpha \delta _1\) for all \(\alpha \in {\mathbb {R}}{\setminus }\{0\}\).
Proof
We may assume without loss of generality that \(S_n=(V_{S_n},E_{S_n})\) with \(V_{S_n}=\{1,\ldots ,n\}\) and \(E_{S_n}=\{1\sim 2,\ldots ,1\sim n\}\). Clearly, \({\mathbf {S}}_{S_n}\delta _1(i)=1\) for all \(i\in V_{S_n}\). Hence, \(\Vert {\mathbf {S}}_{S_n}\delta _1\Vert _{\ell ^p(S_n)}=n^{1/p}\). Then we have
This together with part (i) of Theorem 2.1 implies
This proves part (i) of Theorem 2.4.
We now prove part (ii). It suffices to show that if there exists a nonnegative function f such that \(\Vert f\Vert _{\ell ^p(S_n)}=1\) and \(\Vert {\mathbf {S}}_{S_n}f\Vert _{\ell ^p(S_n)}=n^{1/p}\), then \(f=\delta _1\). Let \(f=\sum _{i=1}^na_i\delta _i\) with \(a_i\ge 0\,(i=1,2,\ldots ,n)\) and \(\sum _{i=1}^na_i^p=1\). Then we have
Observe that \({\mathbf {S}}_{S_n}f(i)\le 1\) for all \(i=1,\ldots ,n\). By our assumption \(\Vert {\mathbf {S}}_{S_n}f\Vert _{\ell ^p(S_n)}=n^{1/p}\), we have \({\mathbf {S}}_{S_n}f(i)=1\) for all \(i=1,\ldots ,n\). Since
it follows that \(a_1=1\) or \(\frac{1}{n-1}\sum _{j=2}^na_j=1\). If \(a_1=1\), then \(a_i=0\) for all \(i=2,\ldots ,n\), there is nothing to do. If \(\frac{1}{n-1}\sum _{j=2}^na_j=1\), then \(a_i=1\) for all \(i=2,\ldots ,n\), there is impossible since \(\sum _{i=1}^na_i^p=1\). This completes the proof. \(\square \)
Remark 2.2
The \(\ell ^p\)-norm of \({\mathbf {S}}_G\) relies on strictly the structure of the graph G when \(0<p<\infty \). Even for the connected graph G with three vertices, we can’t obtain an uniform estimate for \(\Vert {\mathbf {S}}_G\Vert _p\) with \(0<p<\infty \). For example, if G is a connected graph with three vertices, then \(G=K_3\) or \(G=S_3\), it follows from Theorem 2.3 that \(\Vert {\mathbf {S}}_{K_3}\Vert _p=(1+2^{1-p})^{1/p}\) for \(0<p\le 1\) and \((1+2^{1-p})^{1/p}\le \Vert {\mathbf {S}}_{K_3}\Vert _p<2^{1/p}\) for \(1<p<\infty \). However, \(\Vert {\mathbf {S}}_{S_3}\Vert _p=3^{1/p}\) for all \(0<p<\infty \).
Next we shall consider the following restricted type estimate:
It is clear that
Motivated by the idea in the proof of Theorem 2.5 in [26], we can get the following result.
Theorem 2.5
Let \(n\ge 2\) and \(1<p<\infty \).
-
(i)
If \(n\le p'\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}=(1+(n-1)^{1-p})^{1/p}. \end{aligned}$$ -
(ii)
If \(n\le p\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}=(1+(n-1)^{-1})^{1/p}. \end{aligned}$$ -
(iii)
If \(n>\max \{p,p'\}\), \(p={p_1}/{p_2}\in {\mathbb {Q}}\) and \(p_1\) divides n. Then
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}=\left( 1+\frac{n^p(p-1)^{p-1}}{(n-1)^pp^p}\right) ^{1/p}. \end{aligned}$$ -
(iv)
Let [x] be the integer part of x. If \(n>\max \{p,p'\}\) and p is not a rational number or \(p={p_1}/{p_2}\in {\mathbb {Q}}\) and \(p_1\) is not divide n. Then
$$\begin{aligned} \begin{array}{ll} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}=\displaystyle \left( 1+\frac{1}{(n-1)^p}\max \{(n-[n]_p)([n]_p)^{p-1},(n-1-[n]_p)([n]_p+1)^{p-1}\}\right) ^{1/p}, \end{array} \end{aligned}$$where \([n]_p=[n/p']\).
-
(v)
If \(n>\max \{p,p'\}\), then
$$\begin{aligned} \max \{(1+(n-1)^{-1})^{1/p},(1+(n-1)^{1-p})^{1/p}\}\le \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}<2^{1/p}. \end{aligned}$$
Proof
Given a set \(A\subset V_{K_n}\) with \(|A|=k\le n\). one has that \({\mathbf {S}}_{K_n}(\chi _A)(j)=1\) if \(j\in A\) and \({\mathbf {S}}_{K_n}(\chi _A)(j)=\frac{k}{n-1}\) if \(j\notin A\). It follows that
Notice that \(\Vert \chi _{A}\Vert _{\ell ^p(K_n)}=k^{1/p}\). Therefore,
Let \(\varphi (x)=(n-x)x^{p-1}\) for \(x\in (0,\infty )\). Observing that \(\varphi \) is increasing on \((0,{n}/{p'})\) and is decreasing on \(({n}/{p'},\infty )\). We discuss the following cases:
-
(i)
If \(n\le p'\), then the function \(\varphi \) is decreasing on \([1,n-1]\). We have \(\varphi (x)\le \varphi (1)\) for all \(x\in [1,n-1]\). Hence, we get
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}=(1+(n-1)^{1-p})^{1/p}. \end{aligned}$$ -
(ii)
If \(n\le p\), then \({n}/{p'}\ge n-1\) and \(\varphi \) is increasing on \([1,n-1]\). Thus, \(\varphi (x)\le \varphi (n-1)\) for all \(x\in [1,n-1]\). It holds that
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}=(1+(n-1)^{-1})^{1/p}. \end{aligned}$$ -
(iii)
If \(n>\max \{p,p'\}\), \(p={p_1}/{p_2}\in {\mathbb {Q}}\) and \(p_1\) divides n. In this case we have \({n}/{p'}\) is an integer and \({n}/{p'}\in [1,n-1]\). Thus we have \(\varphi (x)\le \varphi ({n}/{p'})\) for all \(x\in [1,n-1]\). Hence,
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}=\left( 1+\frac{n^p(p-1)^{p-1}}{(n-1)^pp^p}\right) ^{1/p}. \end{aligned}$$ -
(iv)
If \(n>\max \{p,p'\}\) and p is not of the previous form. In this case we have \({n}/{p'}\in [1,n-1]\), but it is not an integer. Then
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{p,\mathrm{rest}}^p=1+\frac{1}{(n-1)^p}\max \{(n-[n]_p)([n]_p)^{p-1},(n-1-[n]_p)([n]_p+1)^{p-1}\}. \end{aligned}$$The conclusion of part (v) follows easily from (2.4), (2.5) and part (ii) of Theorem 2.3.
\(\square \)
We end this section by presenting the estimate for \(\Vert {\mathbf {S}}_{S_n}\Vert _{p,\mathrm{rest}}\).
Theorem 2.6
Let \(n\ge 2\) and \(0<p<\infty \). Then we have
Proof
We may assume without loss of generality that \(S_n=(V_{S_n},E_{S_n})\) with \(V_{S_n}=\{1,\ldots ,n\}\) and \(E_{S_n}=\{1\sim 2,\ldots ,1\sim n\}\). Let \(A=\{1\}\). Then we have \({\mathbf {S}}_{S_n}(\chi _A)(1)=1\) for all \(i\in V\). Hence, \(\frac{\Vert {\mathbf {S}}_{S_n}(\chi _A)\Vert _{\ell ^p(S_n)}}{\Vert \chi _{A}\Vert _{\ell ^p(S_n)}}=n^{1/p}\) and \(\Vert {\mathbf {S}}_{S_n}\Vert _{p,\mathrm{rest}}\ge n^{1/p}\). This together with (2.4) and part (i) of Theorem 2.4 yields \(\Vert {\mathbf {S}}_{S_n}\Vert _{p,\mathrm{rest}}=n^{1/p}\). \(\square \)
Remark 2.3
Let \(n\ge 2\) and \(S_n=(V_{S_n},E_{S_n})\), where \(V_{S_n}=\{1,\ldots ,n\}\) and \(E_{S_n}=\{1\sim 2,\ldots ,1\sim n\}\) and \(A\subset V_{S_n}\). It should be pointed out that \(\frac{\Vert {\mathbf {S}}_{S_n}(\chi _A)\Vert _{\ell ^p(S_n)}}{\Vert \chi _A\Vert _{\ell ^p(S_n)}}=2+\frac{1}{n-1}\) if and only if \(A=\{1\}\).
3 Estimates for \(\Vert {\mathbf {S}}_G\Vert _{p,\infty }\)
This section is devote to investigating the term \(\Vert {\mathbf {S}}_G\Vert _{p,\infty }\). Let us begin with the following result.
Theorem 3.1
Let \(G=(V_G,E_G)\) be graph with \(n\,(n\ge 2)\) vertices and \(0<p<\infty \). Then
-
(i)
\(n^{-1/p}\le \Vert {\mathbf {S}}_G\Vert _{p,\infty }\le n^{1/p}\).
-
(ii)
If \(n=2\) and G is connected, then \(\Vert {\mathbf {S}}_G\Vert _{p,\infty }=1\).
Proof
Given a function \(f:V\rightarrow {\mathbb {R}}\) with \(\Vert f\Vert _p=1\), by the fact that \(|f(v)|\le {\mathbf {S}}_Gf(v)\) for all \(v\in V\), we have
Let \(\alpha =\max \limits _{i\in V}|f(v)|\). Then \(\alpha \ge n^{-1/p}\) because of \(\Vert f\Vert _{\ell ^p(G)}=1\). Noting that \(|\{j\in V:|f(j)|>t\}|\ge 1\) when \(t\in (0,\alpha )\). Then we have
It follows that
On the other hand, by part (i) of Theorem 2.1 and the fact that \(\Vert {\mathbf {S}}_G\Vert _{p,\infty }\le \Vert {\mathbf {S}}_G\Vert _p\), it holds that \(\Vert {\mathbf {S}}_G\Vert _{p,\infty }\le n^{1/p}\). This proves part (i) of Theorem 3.1.
We now prove (ii). Let \(V_G=\{1,2\}\) and \(E_G=\{1\sim 2\}\). Given a function \(f:V_G\rightarrow {\mathbb {R}}\) with \(|f(1)|^p+|f(2)|^p=1\), it holds that \({\mathbf {S}}_Gf(1)={\mathbf {S}}_Gf(2)=\max \{|f(1)|,|f(2)|\}\). We consider the following cases:
-
1.
If \(|f(1)|=|f(2)|\). One can easily check that \(|f(1)|=|f(2)|=2^{-1/p}\) and \(\Vert {\mathbf {S}}_Gf\Vert _{p,\infty }=2^{-1/p}2^{1/p}=1\).
-
2.
If \(|f(1)|\ne |f(2)|\). Without loss of generality we may assume that \(|f(1)|>|f(2)|\). Then we have
$$\begin{aligned} \Vert {\mathbf {S}}_Gf\Vert _{\ell ^{p,\infty }(G)}^p=\max \{2|f(2)|^p,|f(1)|^p\}=\max \{2(1-|f(1)|^p),|f(1)|^p\}=1. \end{aligned}$$Hence, we have
$$\begin{aligned} \Vert {\mathbf {S}}_G\Vert _{p,\infty }=1. \end{aligned}$$This proves part (ii) of Theorem 3.1
\(\square \)
Remark 3.1
Let \(G=(V_G,E_G)\) be a connected graph with two vertices. Then we have that \(\Vert {\mathbf {S}}_Gf\Vert _{\ell ^{p,\infty }(G)}=\Vert f\Vert _{p}\) for any arbitrary functions \(f:V_G\rightarrow {\mathbb {R}}\).
Now we present some optimal constants for \(\Vert {\mathbf {S}}_{K_n}\Vert _{p,\infty }\).
Theorem 3.2
If \(0<p<\infty \), then
Proof
Let \(K_n=(V_{K_n},E_{K_n})\), where \(V_{K_n}=\{1,\ldots ,n\}\). Given \(k\in V_{K_n}\). One can easily check that \({\mathbf {S}}_{K_n}\delta _1(1)=1\) and \({\mathbf {S}}_{K_n}\delta _1(i)=\frac{1}{n-1}\) for \(i=2,\ldots ,n\). It follows that
Thus we have
It follows that
We now prove
Given a function \(f:V_{K_n}\rightarrow {\mathbb {R}}\) with \(f\ge 0\) and \(\Vert f\Vert _{\ell ^p(K_n)}=1\). Then we have
Without loss of generality we may assume that
We consider the following cases:
-
1.
\(f(1)>0\). Then \(\{j\in V_{K_n}:{\mathbf {S}}_{K_n}f(j)>t\}=V\) when \(t\in (0,f(1))\). If \(f(1)<f(2)\). Then \(\{j\in V_{K_n}:{\mathbf {S}}_{K_n}f(j)>t\}=\{2,\ldots ,n\}\) when \(t\in [f(1),f(2))\). If \(f(1)=f(2)<f(3)\), then \(\{j\in V_{K_n}:{\mathbf {S}}_{K_n}f(j)>t\}=\{3,\ldots ,n\}\) when \(t\in [f(1),f(3))\). Reasoning as above, we have that if there exists \(j_0\in \{1,\ldots ,n-1\}\) such that \(f(j_0)<f(j_0+1)\), then we have \(\{j\in V_{K_n}:{\mathbf {S}}_{K_n}f(j)>t\}=\{j_0+1,\ldots ,n\}\) when \(t\in [f(j_0),f(j_0+1))\). If there exists \(j_0\in \{1,\ldots ,n-1\}\) and \(m\ge 1\) such that \(f(j_0)=f(j_0+1)=\cdots =f(j_0+m-1)<f(j_0+m)\), then \(\{j\in V_{K_n}:{\mathbf {S}}_{K_n}f(j)>t\}=\{j_0+m,j_0+m+1,\ldots ,n\}\) when \(t\in [f(j_0),f(j_0+m))\). Thus we have
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}f\Vert _{\ell ^{p,\infty }(G)}=\sup \limits _{t>0}|\{j\in V:{\mathbf {S}}_{K_n}f(j)>t\}|^{1/p}=\max \limits _{1\le i\le n-1}f(i)(n+1-i)^{1/p}. \end{aligned}$$Fix \(i\in \{1,\ldots ,n-1\}\), one can easily check that
$$\begin{aligned} f(i)(n+1-i)^{1/p}\le \left( \sum \limits _{j=i}^nf(i)^p\right) ^{1/p}\le \left( \sum \limits _{j=i}^nf(j)^p\right) ^{1/p}\le 1. \end{aligned}$$ -
2.
There exists \(i_0\in \{2,\ldots ,n\}\) such that \(f(i_0-1)=0\) and \(f(i_0)>0\). This case can be dealt by the similar arguments as in getting the case (1) essentially. We omit the details.
\(\square \)
We end this section by presenting the estimate for \(\Vert {\mathbf {S}}_{S_n}\Vert _{p,\infty }\).
Theorem 3.3
Let \(n\ge 3\). Then
Proof
We may assume without loss of generality that \(S_n=(V_{S_n},E_{S_n})\) with \(V_{S_n}=\{1,\ldots ,n\}\) and \(E_{S_n}=\{1\sim 2,\ldots ,1\sim n\}\). Clearly, \({\mathbf {S}}_{S_n}\delta _1(i)=1\) for all \(i\in V_{S_n}\). Then we have
It follows that
Hence,
On the other hand, invoking Theorem 2.4,
This completes the proof of Theorem 3.3. \(\square \)
4 Estimates for \(\Vert {\mathbf {S}}_{G}\Vert _{\mathrm{BV}_p}\)
In this section we study the estimates for \(\Vert {\mathbf {S}}_{G}\Vert _{\mathrm{BV}_p}\). At first, we present the following observation.
Theorem 4.1
Let \(n\ge 2\) and G be a connected graph with n vertices and \(0<p<\infty \). Then
-
(i)
If \(n=2\), then \(\Vert {\mathbf {S}}_G\Vert _{\mathrm{BV}_p}=0\).
-
(ii)
If \(n\ge 3\), then
$$\begin{aligned} \Vert {\mathbf {S}}_G\Vert _{\mathrm{BV}_p}\le \left( \frac{n}{2}\right) ^{1/p}(n-1)^{\max \{1,1/p\}}. \end{aligned}$$
Proof
Let \(n=2\) and \(G=(V_G,E_G)\) with \(V_G=\{1,2\}\) and \(E=\{1\sim 2\}\). Given a function \(f:V_G\rightarrow {\mathbb {R}}\), we have that \({\mathbf {S}}_Gf(1)= {\mathbf {S}}_Gf(2)=\max \{|f(1)|,|f(2)|\}\). Then \(\mathrm{Var}_p({\mathbf {S}}_{G}f)=0\) and \(\Vert {\mathbf {S}}_G\Vert _{\mathrm{BV}_p}=0\). This proves part (i). By the arguments similar to those used to derive Theorem 1.2 in [16], we can get the conclusion of part (ii). The details are omitted. \(\square \)
The following result focuses on the estimate of \(\Vert {\mathbf {S}}_{K_n}\Vert _{\mathrm{BV}_p}\).
Theorem 4.2
Let \(n\ge 2\) and \(0<p\le \infty \). Then
-
(i)
If \(p\ge 1\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{\mathrm{BV}_p}=\frac{n-2}{n-1}. \end{aligned}$$ -
(ii)
If \(n=2\) or \(n=3\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{K_n}\Vert _{\mathrm{BV}_p}=\frac{n-2}{n-1}. \end{aligned}$$ -
(iii)
If \(0<p<1\) and \(n\ge 4\), then
$$\begin{aligned} \frac{n-2}{n-1}\le \Vert {\mathbf {S}}_{K_n}\Vert _{\mathrm{BV}_p}\le \min \left\{ 1,\frac{(n-2)^{1/p}}{n-1}\right\} . \end{aligned}$$
Proof
Let \(K_n=(V_{K_n},E_{K_n})\), where \(V_{K_n}=\{1,\ldots ,n\}\). Given \(k\in V_{K_n}\). One can easily check that \({\mathbf {S}}_{K_n}\delta _1(1)=1\) and \({\mathbf {S}}_{K_n}\delta _1(i)=\frac{1}{n-1}\) for all \(i\in V_{K_n}{\setminus }\{1\}\). Then we have
Given a function \(f:V_{K_n}\rightarrow {\mathbb {R}}\), we have
Without loss of generality we may assume that f is non-negative. Let
We also assume that
For \(i=1,\ldots ,n\), we set
Observe that
It follows that
Therefore,
We first prove part (i). The proof is motivated by the idea in [7]. By (4.2) and (4.3), we have
Fix \(1\le i<j\le n\). By Hölder’s inequality, one has
since \(p\ge 1\). This together with (4.4) leads to
which combining with (4.1) implies the desired conclusion of part (i).
Next we shall prove part (ii). When \(n=2\), the conclusion follows from part (i) of Theorem 4.1. When \(n=3\), let \(K_3=(V_{K_3},E_{K_3})\), where \(V_{K_3}=\{1,2,3\}\). Given \(f=\sum _{i=1}^3a_i\delta _i\) with \(|a_1-a_2|^p+|a_1-a_3|^p+|a_2-a_3|^p>0\), we want to show that
Without loss of generality we may assume that all \(a_i\ge 0\). It is clear that
We only prove (4.5) for the case \(a_1\ge a_2\ge a_3\) and \(a_1>a_3\), since other cases are analogous. If \(a_2<\frac{1}{2}(a_1+a_3)\). In this case we have \({\mathbf {S}}_{K_3}f(1)=a_1\), \({\mathbf {S}}_{K_3}f(2)= \frac{1}{2}(a_1+a_3)\) and \({\mathbf {S}}_{K_3}f(3)=\frac{1}{2}(a_1+a_2)\). Then we have
If \(a_2\ge \frac{1}{2}(a_1+a_3)\). For convenience, we set
Then we have \(\beta \ge \alpha \) and \(\beta >0\). In this case we have \({\mathbf {S}}_{K_3}f(1)=a_1\), \({\mathbf {S}}_{K_3}f(2)=a_2\) and \({\mathbf {S}}_{K_3}f(3)=\frac{1}{2}(a_1+a_2)\). We write
Note that \(\frac{\alpha }{\beta }\in [0,1]\). Let \(\varphi (x)=\frac{x^p}{1+x^{p}+(1+x)^p}\), \(x\in [0,1]\). It is clear that \(\varphi '(x)\ge 0\). Then \(\varphi (x)\le \varphi (1)=\frac{1}{2+2^p}\). Hence,
It remains to prove part (iii). We get from (4.2) and (4.3) that
which leads to
On the other hand, by Jensen’s inequality, one has
since \(0<p<1\). This together with (4.4) implies that
This gives that
Inequality (4.7) together with (4.1) and (4.6) implies the desired conclusion of part (iii). This finishes the proof of Theorem 4.2. \(\square \)
Before presenting the corresponding result for \({\mathbf {S}}_{S_n}\), let us introduce the following lemma.
Lemma 4.3
[16] Let \(l\ge 2\) and \(\{a_i\}_{i=1}^l\), \(\{b_i\}_{i=1}^l\) be two finite sequences of nonnegative real numbers. For \(2\le k\le l\), we define
Then, for any \(2\le k\le l\), we have
The estimates for \(\Vert {\mathbf {S}}_{S_n}\Vert _{\mathrm{BV}_p}\) can be formulated as follows.
Theorem 4.4
Let \(n\ge 3\) and \(1<p<\infty \). Then
-
(i)
If \(0<p\le 1\), then
$$\begin{aligned} \frac{n-2}{n-1}(1+(n-2)^{1-2p})^{1/p}\le \Vert {\mathbf {S}}_{S_n}\Vert _{\mathrm{BV}_p}\le \left( 1+\frac{2(n-2)^{1-p}}{(n-1)^p}\right) ^{1/p}. \end{aligned}$$Clearly, when \(p=1\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{S_n}\Vert _{\mathrm{BV}_p}=1. \end{aligned}$$ -
(ii)
If \(1<p<\infty \), then
$$\begin{aligned} \frac{n-2}{n-1}(1+(n-2)^{1-2p})^{1/p}\le \Vert {\mathbf {S}}_{S_n}\Vert _{\mathrm{BV}_p}\le \frac{n+1}{(n-1)^{1/p}}. \end{aligned}$$ -
(iii)
If \(p=\infty \), then
$$\begin{aligned} \frac{n-2}{n-1}\le \Vert {\mathbf {S}}_{S_n}\Vert _{\mathrm{BV}_p}\le \frac{n+1}{n-1}. \end{aligned}$$Particularly, when \(n=3\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{S_n}\Vert _{\mathrm{BV}_\infty }=1. \end{aligned}$$ -
(iv)
If \(0<p\le 1\) and \(n=3\), then
$$\begin{aligned} \Vert {\mathbf {S}}_{S_3}\Vert _{\mathrm{BV}_p}=2^{1/p-1}. \end{aligned}$$
Proof
We may assume without loss of generality that \(S_n=(V_{S_n},E_{S_n})\), where \(V_{S_n}=\{1,\ldots ,n\}\) and \(E_{S_n}=\{1\sim 2,\ldots ,1\sim n\}\). It is clear that \({\mathbf {S}}_{S_n}\delta _2(1)=\frac{1}{n-1}\), \({\mathbf {S}}_{S_n}\delta _2(2)=1\) and \({\mathbf {S}}_{S_n}\delta _2(i)= \frac{1}{n-2}\) for \(i\in V_{S_n}{\setminus }\{1,2\}\). Then we have
Hence,
On the other hand, fix a function \(f:V_{S_n}\rightarrow {\mathbb {R}}\). We write
Invoking Lemma 4.3,
for any \(i\in \{2,\ldots ,n\}\).
When \(p\in (0,1]\), we get from (4.8) that
for all \(i\in \{2,\ldots ,n\}\). Then we have
It follows that
When \(1<p<\infty \), we get from (4.8) that
It follows that
This proves parts (i) and (ii) of Theorem 4.4.
When \(p=\infty \). It is clear that \(\mathrm{Var}_p({\mathbf {S}}_{S_n}\delta _2) =\frac{n-2}{n-1}\) and \(\mathrm{Var}_p(\delta _2)=1\). Then we have
On the other hand, from (4.8) we see that for each \(i\in \{2,\ldots ,n\}\),
This gives
Now we consider the case \(n=3\). Let \(S_3=(V_{S_3},E_{S_3})\) with \(V_{S_3}=\{1,2,3\}\) and \(E_{S_3}=\{1\sim 2,2\sim 3\}\). Let \(g:V_{S_3}\rightarrow {\mathbb {R}}\) satisfy \(|g(1)|>|g(2)|>|g(3)|\) and \(|g(2)|=\frac{1}{2}(|g(1)|+|g(3)|)\). Then we have \({\mathbf {S}}_{S_3}g(1)={\mathbf {S}}_{S_3}g(3)=|g(1)|\) and \({\mathbf {S}}_{S_3}g(2)=|g(2)|\). It follows that
On the other hand, we get from part (i) that \(\Vert {\mathbf {S}}_{S_3}\Vert _{\mathrm{BV}_p}\ge 2^{1/p-1}\) for any \(p\in (0,1]\). Hence, to get the desired conclusions of parts (iii) and (iv), it suffices to show that
and
for all functions \(f:V_{S_3}\rightarrow {\mathbb {R}}\) with \(\mathrm{Var}_p(f)>0\).
Fix \(f=\sum _{i=1}^3a_i\delta _i\) with \(a_i\ge 0\). It is clear that
For convenience, we set
-
1.
(\(a_1\ge a_2\ge a_3\) and \(a_1>a_3\)). If \(a_2\ge \frac{1}{2}(a_1+a_3)\). Then we have \(a_2-a_3\ge a_1-a_2\). Then \({\mathbf {S}}_{S_3}f(1)={\mathbf {S}}_{S_3}f(3)=a_1\) and \({\mathbf {S}}_{S_3}f(2)=a_2\). In this case we get
$$\begin{aligned} \frac{(\mathrm{Var}_p({\mathbf {S}}_{S_3}f))^p}{(\mathrm{Var}_p(f))^p}=\frac{2(a_1-a_2)^p}{(a_1-a_2)^p+(a_2-a_3)^p}\le 1 \end{aligned}$$for \(p\in (0,1]\). Moreover,
$$\begin{aligned} \frac{\mathrm{Var}_\infty ({\mathbf {S}}_{S_3}f)}{\mathrm{Var}_\infty (f)}=\frac{a_1-a_2}{a_2-a_3}\le 1. \end{aligned}$$If \(a_2<\frac{1}{2}(a_1+a_3)\). Then \({\mathbf {S}}_{S_3}f(1)={\mathbf {S}}_{S_3}f(3)=a_1\) and \({\mathbf {S}}_{S_3}f(2)=\frac{1}{2}(a_1+a_3)\). Therefore,
$$\begin{aligned} \frac{(\mathrm{Var}_p({\mathbf {S}}_{S_3}f))^p}{(\mathrm{Var}_p(f))^p}=\frac{2(\frac{1}{2}(a_1-a_3))^p}{(a_1-a_2)^p+(a_2-a_3)^p}=2^{1-p}\frac{(a_1-a_3)^p}{(a_1-a_2)^p+(a_2-a_3)^p}\le 2^{1-p}, \end{aligned}$$for \(p\in (0,1]\). Moreover,
$$\begin{aligned} \frac{\mathrm{Var}_\infty ({\mathbf {S}}_{S_3}f)}{\mathrm{Var}_\infty (f)}=\frac{\frac{1}{2}(a_1-a_3)}{a_1-a_2}<1. \end{aligned}$$ -
2.
(\(a_1\ge a_3\ge a_2\) and \(a_1>a_2\)). Then \({\mathbf {S}}_{S_3}f(1)={\mathbf {S}}_{S_3}f(3)=a_1\), \({\mathbf {S}}_{S_3}f(2)=\frac{1}{2}(a_1+a_3)\) and
$$\begin{aligned} \frac{(\mathrm{Var}_p({\mathbf {S}}_{S_3}f))^p}{(\mathrm{Var}_p(f))^p}=\frac{2(\frac{1}{2}(a_1-a_3))^p}{(a_1-a_2)^p+(a_2-a_3)^p}=2^{1-p}\frac{(a_1-a_3)^p}{(a_1-a_2)^p+(a_2-a_3)^p}<2^{1-p}, \end{aligned}$$for \(p\in (0,1]\). Moreover,
$$\begin{aligned} \frac{\mathrm{Var}_\infty ({\mathbf {S}}_{S_3}f)}{\mathrm{Var}_\infty (f)}=\frac{\frac{1}{2}(a_1-a_3)}{a_1-a_2}<\frac{1}{2}. \end{aligned}$$ -
3.
(\(a_2\ge a_1\ge a_3\) and \(a_2>a_3\)). Then we have \({\mathbf {S}}_{S_3}f(1)={\mathbf {S}}_{S_3}f(2)={\mathbf {S}}_{S_3}f(3)=a_2\). In this case we have \(\mathrm{Var}_p({\mathbf {S}}_{S_3}f)=0\) and \(\mathrm{Var}_\infty ({\mathbf {S}}_{S_3}f)=0\). This proves (4.9) and (4.10) in this case.
-
4.
(\(a_2\ge a_3\ge a_1\) and \(a_2>a_1\)). The case is similar to the case (3).
-
5.
(\(a_3\ge a_2\ge a_1\) and \(a_3>a_1\)). The case is similar to the case (1).
-
6.
(\(a_3\ge a_1\ge a_2\) and \(a_3>a_2\)). The case is similar to the case (2).
This completes the proof of Theorem 4.4. \(\square \)
References
Aldaz, J.M., Lázaro, J.P.: Functions of bounded variation, the derivative of the one dimensional maximal function, and applications to inequalities. Trans. Am. Math. Soc. 359(5), 2443–2461 (2007)
Badr, N., Martell, J.M.: Weighted norm inequalities on graphs. J. Geom. Anal. 22, 1173–1210 (2012)
Bourgain, J.: Averages over convex curves and maximal operators. J. Anal. Math. 47, 69–85 (1986)
Carneiro, E., Moreira, D.: On the regularity of maximal operators. Proc. Am. Math. Soc. 136(12), 4395–4404 (2008)
Cowling, M., Mauceri, G.: On maximal functions. Rend. Sem. Mat. Fis. Milano 49, 79–87 (1979)
Cowling, M., Meda, S., Setti, A.G.: Estimates for functions of the Laplace operator on homogeneous trees. Trans. Am. Math. Soc. 352(9), 4271–4293 (2000)
Gonzalez–Riquelme, C., Madrid, J.: Sharp inequalities for maximal operators on finite graphs.J. Geom. Anal. 31, 9708–9744 (2021)
Hajłasz, P., Liu, Z.: Maximal potentials, maximal singular integrals, and the spherical maximal function. Proc. Am. Math. Soc. 142(11), 3965–3974 (2013)
Hajłasz, P., Malý, J.: On approximate differentiability of the maximal function. Proc. Am. Math. Soc. 138(1), 165–174 (2010)
Hajłasz, P., Onninen, J.: On boundedness of maximal functions in Sobolev spaces. Ann. Acad. Sci. Fenn. Math. 29, 167–176 (2004)
Ionescu, A.D.: An endpoint estimate for the discrete spherical maximal function. Proc. Am. Math. Soc. 132(5), 1411–1417 (2003)
Kinnunen, J.: The Hardy–Littlewood maximal function of a Sobolev function. Isr. J. Math. 100, 117–124 (1997)
Kinnunen, J., Lindqvist, P.: The derivative of the maximal function. J. Reine Angew. Math. 503, 161–167 (1998)
Kinnunen, J., Saksman, E.: Regularity of the fractional maximal function. Bull. Lond. Math. Soc. 35(4), 529–535 (2003)
Kurka, O.: On the variation of the Hardy–Littlewood maximal function. Ann. Acad. Sci. Fenn. Math. 40, 109–133 (2015)
Liu, F., Xue, Q.: On the variation of the Hardy–Littlewood maximal functions on finite graphs. Collect. Math. 72(2), 333–349 (2021)
Luiro, H.: The variation of the maximal function of a radial function. Ark. Mat. 56(1), 147–161 (2018)
Magyar, A., Stein, E.M., Wainger, S.: Discrete analogues in harmonic analysis: Spherical averages. Ann. Math. 155, 189–208 (2002)
Mockenhaupt, G., Seeger, A., Sogge, C.: Wave front sets, local smoothing and Bourgain’s circular maximal theorem. Ann. Math. 136, 207–218 (1992)
Rubio de Francia, J.L.: Maximal functions and Fourier transforms. Duke Math J. 53, 395–404 (1986)
Stein, E.M.: Maximal functions I: Spherical means. Proc. Nat. Acad. Sci. 73, 2174–2175 (1976)
Stein, E.M., Wainger, S.: Problems in harmonic analysis related to curvature. Bull. Am. Math. Soc. 84, 1239–1295 (1978)
Tanaka, H.: A remark on the derivative of the one-dimensional Hardy–Littlewood maximal function. Bull. Aust. Math. Soc. 65(2), 253–258 (2002)
Korányi, A., Picardello, M.A.: Boundary behaviour of eigenfunctions of the Laplace operator on trees. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 13(3), 389–399 (1986)
Schlag, W.: A geometric proof of the circular maximal theorem. Duke Math. J. 93, 505–533 (1998)
Soria, J., Tradacete, P.: Best constants for the Hardy–Littlewood maximal operator on finite graphs. J. Math. Anal. Appl. 436(2), 661–682 (2016)
Soria, J., Tradacete, P.: Geometric properties of infinite graphs and the Hardy–Littlewood maximal operator. J. Anal. Math. 137(2), 913–937 (2019)
Acknowledgements
The authors would like to express their sincerely thanks to the referee for his or her valuable remarks and suggestions, which help us to improve partial results of this paper and made this paper more readable.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work was supported partly by the NNSF of China (Grant No. 11701333).
Rights and permissions
About this article
Cite this article
Zhang, X., Liu, F. On the spherical maximal function on finite graphs. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 115, 186 (2021). https://doi.org/10.1007/s13398-021-01127-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-021-01127-y