Maximal functions for locally compact groups have been studied. In particular papers of K. Phillips and Phillips-Taibleson (here and here) contain nice results in this direction. It might be too much to ask though and one can consider different types of maximal functions.

**Maximal function for locally compact groups in the sense of Phillips.** Let $G$ be a locally compact group with left Haar measure $\lambda$. Consider $\{B_n\}_{n\in\mathbb Z}$ a neighborhood base identity $e$ consisting of relatively compact Borel sets satisfying the following

(i)$B_{n+1}\subsetneqq B_n,\,\forall n\in\mathbb Z\text{ and }\displaystyle \lim_{n\to{-\infty}}\lambda(B_n)=\infty;$

(ii)$\lambda(B_nB_n^{-1})<C\lambda(B_n),\,\,C:\text{ constant for all } n\in\mathbb Z$ (this is the so-called Tempelman's condition);

(iii) For each $n\in\mathbb Z$, there exists a $\ell(n)\in\mathbb Z$ such that $B_n^{-1}B_n\subset B_{\ell(n)}$ and $B_n^{-1}B_n\not\subset B_j$ if $j>\ell(n)$. And there exists a constant $\alpha$ such that $\lambda(B_{\ell(n)})<\alpha\lambda(B_n)\,\,\forall n\in\mathbb Z.$ For locally integrable function $f$ define

$$M_nf(x)=\frac{1}{\lambda(B_n)}\int_{x B_n}f\lambda\,\,\,\text{ and } Mf(x)=\sup_{n\in\mathbb Z}M_nf(x).$$ The operator $M$ is what Phillips refers to as maximal function.

**Question 1.** I was wondering if there are known (sharp) best constants for particular L.C. groups e.g. "ax+b" group, discrete groups,..?

Taking the ambient group to be the additive group of integers, the discrete maximal (centered)function is defined by taken supremum over literally "discrete" averages. More precisely

For $f:\mathbb Z\to \mathbb R$ and $d\lambda$: counting measure on $\mathbb Z$, the discrete maximal is defined by taking the supremum over (literally discrete)averages:

$$Mf(n)=\sup_{r>0}\frac{1}{\lambda\Big(B_r(n)\Big)}\int_{B_r(n)}|f| d\lambda=\sup_{r\in\mathbb N}\frac{1}{2r-1}\sum_{|m|<r}|f(n+m)|,$$
where $B_r(n)$ is the open ball centered at $n$ of radius $r$ and $\lambda\Big(B_r(n)\Big)$ is the number of integers inside this $B_r(n).$
If I remember correctly, the weak $(1-1)$ and strong $(p-p) $p>1$ are due to J. Bourgain (might be Stein, please correct me if I am wrong)

**Question 2.** Is the best constant known for the weak $(1,1)$ or for strong $(p,p),p>1$ known?
J. Bober et al have a nice relevant result but they study variations and not the maximal function.

**Remark 1.** The best constants depend on the choice of nested neighborhoods (which are denoted in here by $\{B_n\}$). But still it would be really interesting to find the best constant for a sequence of such neighborhoods.

**Remark 2.** For the case $G=(\mathbb R,+)$ the best constant in known and is a result of Males.link For discrete case(finite graphs) it is also known. I am not aware if there is any generalization of Males' to $\mathbb R ^n$ with $n\geq 2$.

**Question 1'.** Let's look at a particular example. Consider $X=(0,\infty)$ endowed with the measure $d\mu=\frac{1}{x}dx$ and metric $d(x,y)=|\log x-\log y|$. Its easy to check that $(X,\mu,d)$ is a doubling metric measure space, $B(x,r)=(xe^{-r},xe^r)$ and that $\mu(B(x,r))=2r$ for all $x,r>0$. Now consider the maximal function

$$Mf(x)=\sup_{r>0}\frac{1}{2r}\int_{xe^{-r}}^{xe^r}f(t)\frac{dt}{t},$$ where $f\in L^1_{\text {loc}}(X,\mu)$. I was wondering there are bounds for the best constant for this case? Of course, the general maximal inequality for doubling measure spaces can be used, but it might give way too generous constant.

2more comments