The $k$th Order Preserving Sets and Isoperimetric Type Inequalities for Planar Ovals

TL;DR

This paper introduces $k$th Order Preserving Sets derived from Fourier analysis of support functions of convex ovals, establishing an isoperimetric inequality involving these sets and characterizing the equality case.

Contribution

It defines and studies $k$th Order Preserving Sets and Midpoint Sets, deriving a new isoperimetric inequality and characterizing conditions for equality in convex geometry.

Findings

Established an isoperimetric-type inequality involving support functions and associated sets.

Characterized the equality case where all circumscribed $k$-gons are regular and centered at the Steiner point.

Introduced new geometric constructs linking Fourier analysis with convex geometry.

Abstract

In this work, we introduce and investigate a new class of sets, the \textit{$k$th Order Preserving Sets}, arising naturally from the Fourier analysis of support functions associated with hedgehogs. Specifically, we focus on sets whose support functions possess a Fourier series that preserves only terms with positive indices divisible by a fixed $k$. We explore the geometry of the \textit{$k$th Order Midpoint Set}, defined as the set of centroids of all equiangular $k$-gons circumscribed about a given hedgehog. This set captures essential structural and symmetry-related features of the underlying geometric configuration. We study the geometric properties of such sets and, in particular, establish an isoperimetric-type inequality relating the perimeter and area of a region bounded by a simple smooth convex closed curve (an oval) $\mathcal{O}$: \[ L_{\mathcal{O}}^2 - 4\pi A_{\mathcal{O}} \geqslant 4\pi |A_{\mathcal{P}_k}| + 2\pi |A_{\Omega_{\mathcal{O},k}}|, \] where $L_{\mathcal{O}}$ denotes the length (perimeter) of $\mathcal{O}$, $A_{\mathcal{O}}$ is the area of the region enclosed by $\mathcal{O}$, $A_{\mathcal{P}_k}$ is the oriented area of the associated $k$th Order Preserving Set $\mathcal{P}_k$, and $A_{\Omega_{\mathcal{O},k}}$ is the oriented area of the associated $k$th Order Midpoint Set $\Omega_{\mathcal{O},k}$. Moreover, we characterize the equality case: the inequality becomes an equality if and only if every equiangular circumscribed $k$-gon around $\mathcal{O}$ is a~regular $k$-gon with its center of mass located at the Steiner point of $\mathcal{O}$.