J. Haddad
Abstract:The radial mean bodies of parameter $p>-1$ of a convex body $K \subseteq \mathbb R^n$ are radial sets introduced in \cite{GZ98} by Gardner and Zhang. They are known to be convex for $p\geq 0$. We prove that if $K \subseteq \mathbb R^2$ is a convex body, then its radial mean body of parameter $p$ is convex for every $p \in (-1,0)$.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to solve the **convexity problem of radial mean bodies in two - dimensional planes**. Specifically, for a given convex body \(K \subseteq \mathbb{R}^2\), whether its radial mean body \(R_pK\) with parameter \(p \in (- 1,0)\) remains convex.
#### Background and problem description
The concept of radial mean bodies was introduced by Gardner and Zhang in [4], and it has been proven that these radial mean bodies are convex when \(p\geq0\). However, for the case of \(p \in (-1,0)\), the previous proof methods are no longer applicable, so the convexity problem in this range has been unresolved. The goal of this paper is to prove that in the two - dimensional case, even if \(p \in (-1,0)\), the radial mean body is still convex.
#### Main results
The main results of the paper are as follows:
- **Theorem 1**: Let \(K \subseteq \mathbb{R}^2\) be a convex body, then for all \(p \in (-1,0)\), its radial mean body \(R_pK\) is convex.
#### Methods and steps
To prove this conclusion, the author took the following steps:
1. **Generating vectors of polygons**: By introducing alternating vectors and orientation with x, a special class of polygons was defined, and the norm expressions of the radial mean bodies of these polygons were calculated.
2. **Proof of local convexity**: Using Tietze's "local - to - global" convexity lemma, it was proven that in some cone regions, the norm function of the radial mean body is convex.
3. **Extension to the entire plane**: By dividing the plane into multiple non - overlapping cone regions and proving the convexity within each cone region, it was finally extended to the entire plane.
4. **Handling of limit cases**: Special cases were considered, such as when \(x_0\) is parallel to one side or a diagonal of the polygon, and the convexity problems in these cases were handled separately.
Through the above methods, the author successfully proved that in the two - dimensional case, the radial mean body is still convex in the range of \(p \in (-1,0)\).
#### Formula summary
The key formulas involved in the paper include:
- Definition of the norm of the radial mean body:
\[
\|v\|_{R_pK}=\left(\frac{1}{|K|^n}\int_K\rho_K(x,v)^p\,dx\right)^{-1 / p},\quad v\in\mathbb{R}^n
\]
- Norm expression for polygon \(K\):
\[
\|x\|_{R_pK}=\left(\frac{p + 1}{p+2}|K|^2\sum_{i = 1}^{m-1}\alpha_i\langle n_i,x\rangle^{-p}\right)^{-1 / p}
\]
where \(\alpha_i\) and \(n_i\) are coefficients and normal vectors defined according to the geometric structure of the polygon.
In conclusion, this paper solves the convexity problem of two - dimensional radial mean bodies in the range of \(p \in (-1,0)\), filling this gap in the field.