-Amenable Hypergroups

Assume K to be \alpha-amenable, choose X to be an arbitrary \alpha-left L^1(K)-module, and suppose that D:L^1(K)\rightarrow X^\ast is a continuous derivation. For fixed x\in X define \Phi_x\in L^1(K)^\ast by \Phi_x(f)=D(f)(x) for f\in L^1(K). Then for every f,g\in L^1(K)

Moreover, \Phi_{x+y}=\Phi_x+\Phi_y, \Phi_{\lambda\cdot x}=\lambda \Phi_x, and \|\Phi_x\|\leq \|D_\alpha\|\|x\| for x,y \in X and \lambda\in {\Bbb C}.

We identify \Phi\in L^1(K)^\ast with \eta\in L^\infty(K) by the relation

for g\in L^1(K). Denote by \eta_x and \eta_{x\cdot f} the elements of L^\infty(K) corresponding to \Phi_x and \Phi_{x\cdot f}, respectively. Thus, \eta_{x+y}=\eta_x+\eta_y, \eta_{\lambda x}=\lambda \eta_x, and \|\eta_x\|_\infty \leq \|D_\alpha\|\|x\| for x, y\in X and \lambda\in{\Bbb C}.

Now (Proof) can be rewritten as

Applying Fubini’s theorem and [BloHey94, Thm.1.3.21] yield

and

Now, by assumption there exists m_\alpha\in L^\infty(K)^\ast such that m_\alpha(\alpha)=1 and m_\alpha(T_y\eta)=\alpha(y)m_\alpha(\eta) for every \eta\in L^\infty(K) and y\in K. Let

Then \varphi(x+y)=\varphi(x)+\varphi(y), \varphi(\lambda x)=\lambda\varphi(x) and |\varphi(x)|\leq \|m_\alpha\|\|D_\alpha\|\|x\|. Hence \varphi\in X^\ast, and for f\in L^1(K) and x\in X it follows that

By Goldstein’s theorem [Dunford], the functional m_\alpha is the w^\ast-limit of a net of functions g\in L^1(K), therefore from (?) we obtain that

and hence

That means D(f)(x)=\varphi\cdot f(x)-f\cdot \varphi(x), thence D is an inner derivation, and this gives the \alpha-left amenability of L^1(K).

To prove the converse of the theorem we follow the method in [BonDun73, p.239]. Assume L^1(K) to be \alpha-left amenable and consider \alpha-left L^1(K)-module L^\infty(K) with the module multiplications f\cdot \varphi=\widehat{f}(\alpha)\varphi and \varphi\cdot f=f\ast\varphi, for every f\in L^1(K) and \varphi\in L^\infty(K). Since \alpha\cdot f=f\ast \alpha=\widehat{f}(\alpha)\alpha, {\Bbb C}\alpha is a closed L^1(K)-submodule of L^\infty(K). Hence, L^\infty(K)=X\oplus {\Bbb C}\alpha where X is also a closed L^1(K)-submodule of L^\infty(K). Choose \nu\in L^\infty(K)^\ast such that \nu(\alpha)=1, and define \delta:L^1(K)\rightarrow L^\infty(K)^\ast, \delta(f)=f\cdot \nu-\nu\cdot f, for f\in L^1(K). Then

That means \delta(f)\in \left({\Bbb C}\alpha\right)^{\bot}\subset L^\infty(K)^\ast. Let P:L^\infty(K)\rightarrow X denote the projection onto X and P^\ast:X^\ast\rightarrow L^\infty(K)^\ast the adjoint operator. P^\ast is an injective L^1(K)-bimodule homomorphism; it follows that ({\Bbb C}\alpha)^\bot=(Ker P)^\bot=(P^\ast(X^\ast)_\bot)^\bot=P^\ast(X^\ast). Hence, for each f\in L^1(K) there exists D(f)\in X^\ast such that P^\ast D(f)=\delta(f).

Since \delta is a continuous derivation on L^1(K), the map D:L^1(K)\rightarrow X^\ast is a continuous derivation as well. By assumption D is inner, that is, there exists \psi\in X^\ast such that D(f)=f\cdot \psi- \psi\cdot f for all f\in L^1(K). Define m_\alpha:=\nu-P^\ast \psi. Then m_\alpha(\alpha)=\nu(\alpha)-P^\ast \psi(\alpha)=1-\psi(P\alpha)=1 and

Similarly (P^\ast \psi)\cdot f(\varphi)= P^\ast (\psi\cdot f)(\varphi), thus

Hence, f\cdot m_\alpha=f\cdot \nu-f\cdot P^\ast\nu=\nu\cdot f-P^\ast \psi\cdot f=m_\alpha\cdot f. This means

and hence

for every \varphi\in L^\infty(K) and x\in K, giving the \alpha-amenability of K.

Let x\in J^\ast:=J\setminus{\{e\}}. By [Ska92, 3.15] for f\in L^\infty(K), we have

Now, take \alpha\in \widehat{J} and assume J to be \alpha-amenable. Then there exists m_\alpha:\ell^\infty(J)\rightarrow {\Bbb C} such that m_\alpha(\alpha)=1 and m_\alpha(T_xf)=\alpha(x)m_\alpha(f), for all f\in \ell^\infty(J) and x\in J. The character \alpha can be extended to K by letting \gamma(x):=1 for all x\in H. Define

We have M_\gamma(\gamma)=m_\alpha(\gamma|_{J^\ast})=m_\alpha(\alpha)=1, and (Proof) implies that

Since \gamma|_H=1 and (T_xf)|_{J^\ast}=f|_{J^\ast} for x\in H, the equality (Proof) is valid for all x\in K. Therefore, K is \gamma-amenable.

To prove the converse, let \gamma\in \widehat{K} and assume K to be \gamma-amenable. If \gamma|_H=1, then by \widehat{K}= \widehat{H}\cup \widehat{J} we have \gamma\in \widehat{J}. Define

where M_\gamma is a \gamma-mean on L^\infty(K). Obviously m_\gamma(\gamma)=1, and

for all f\in \ell^\infty(J) and x\in J^\ast. If \gamma(x)\not=1 for some x\in H, then \gamma is a nontrivial character of H and \widehat{K}= \widehat{H}\cup \widehat{J} implies that \gamma|_J=1. Since J is commutative, J must be amenable [Ska92], and the amenability of H in \gamma follows from Remark 1.2.1.

The proof of the second part can be obtained from the first part and the fact that \widehat{K}\cong \widehat{H}\vee \widehat{J} if H and J are strong hypergroups.

Assume to the contrary that \mathcal{K} is \alpha_{\bf{x}}-amenable and m_{\alpha_{\bf{x}}} is a \alpha_{\bf{x}}-mean on \ell^\infty(\mathcal{K}). Due to

we have T_{\bf{n}}\varepsilon_{\bf{0}}=\frac{1}{h({\bf{n}} )}\varepsilon_{ \tilde{{\bf{n}}}} for every {\bf{n}}\in \mathcal{K}. Therefore,

Let M>0 be a bound for m_{\alpha_{\bf{x}}} and \xi_{\bf{n}}=\frac{\overline{P_{\bf{n}}({\bf{x}})}}{|P_{\bf{n}}({\bf{x}})|} for P_{\bf{n}}({\bf{x}})\not=0. Then by the linearity of m_{\alpha_{\bf{x}}} and (?) we have

where \mathcal{M} is an arbitrary finite subset of \mathcal{K}. If m_{\alpha_{\bf{x}}}(\varepsilon_{\bf{0}})\not=0, then the provious inequalities show that \alpha_{\bf{x}}\in \ell^1(\mathcal{K})\cap \ell^2(\mathcal{K}), hence \pi(\alpha_{\bf{x}})>0 (see [BloHey94, Proposition 2.5.1]) which is a constradiction. If we now define \{\alpha_{\bf{x}}^{\bf{m}}\}_{{\bf{m}}\in\mathcal{K}} by

then \alpha_{\bf{x}}({\bf{n}})=(P_{\bf{n}}({\bf{x}}))_{{\bf{n}}\in \mathcal{K}} can be written as follows

Hence,

which implies that

The latter shows that if \alpha_{\bf{x}}\in C_0(\mathcal{K}), then \alpha_{\bf{x}}^{\bf{m}}\in C_0(\mathcal{K}) for all m\in \mathcal{K}, hence m_{\alpha_{\bf{x}}}(\alpha_{\bf{x}})=0 which is a contradiction .

(i) If x\in (-s_1, s_1), then \pi(\{\alpha_x\})=0 and \alpha_x\in C_0({\Bbb N}_0^{(a, b)}). So, applying Theorem 2.1 yields that {\Bbb N}_0^{(a, b)} is \alpha_x- amenable if and only if x=s_0, as \alpha_{s_0}=1.
(ii) As in part (i), we can show that if x\not=s_0, then {\Bbb N}_0^{(a, b)} is \alpha_x- amenable if and only if x=s_1. In the case of x=s_0, obviously \alpha_{s_0}\in \ell^1({\Bbb N}_0^{(a, b)}) (see also [Voit.transitive, Remark 1.1]) which implies, by Remark 1.2.1 (ii), that {\Bbb N}_0^{(a, b)} is \alpha_{s_0}-amenable.