# Amenability and harmonic $L^p$-functions on hypergroups

## TL;DR

This paper explores the relationship between amenability and harmonic functions on hypergroups, establishing conditions under which harmonic functions are trivial or constant, and linking these properties to the hypergroup's structure.

## Contribution

It proves the equivalence of Liouville property and amenability for second countable hypergroups and characterizes harmonic $L^p$-functions under various conditions.

## Key findings

- Liouville property and amenability are equivalent for second countable hypergroups.
- Harmonic $L^p$-functions are trivial for all $1 \\leq p < \\infty$.
- Harmonic functions are constant if the hypergroup is compact and $\sigma$ is adapted.

## Abstract

Let $K$ be a locally compact hypergroup with a left invariant Haar measure. We show that the Liouville property and amenability are equivalent for $K$ when it is second countable. Suppose that $\sigma$ is a non-degenerate probability measure on $K$, we show that there is no non-trivial $\sigma$-harmonic function which is continuous and vanishing at infinity. Using this, we prove that the space $H_\sigma^p(K)$ of all $\sigma$-harmonic $L^p$-functions, is trivial for all $1\leq p<\infty$. Further, it is shown that $H_\sigma^\infty(K)$ contains only constant functions if and only if it is a subalgebra of $L^\infty(K)$. In the case where $\sigma$ is adapted and $K$ is compact, we show that $H_\sigma^p(K)={\mathbb C}1$ for all $1\leq p\leq\infty$.