Aram L. Karakhanyan
Abstract:We revisit the classical rolling ball theorem of Blaschke for convex surfaces with positive curvature and show that it is linked to another inclusion principle in the optimal mass transportation theory due to Trudinger and Wang. We also discuss an application to reflector antennae design problem.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Re - examining Blaschke's rolling - ball theorem**: The paper first reviews the classic Blaschke's rolling - ball theorem, which describes an inclusion principle for convex surfaces with positive curvature. Specifically, if two smooth convex surfaces \(M\) and \(M'\) are internally tangent at a point, and at this point their second fundamental forms satisfy \(II_{x}^{M}\geq II_{x}^{M'}\), then \(M\) will be contained in the convex region enclosed by \(M'\).
2. **Inclusion principle in optimal transport theory**: The paper further explores the connection between this inclusion principle and the monotone curvature principle proposed by Trudinger and Wang in optimal transport theory. Specifically, the author considers a smooth cost function \(c:\mathbb{R}^{d}\times\mathbb{R}^{d}\to\mathbb{R}\) and a pair of bounded smooth convex domains \(U\) and \(V\), where \(U\) is \(c\)-convex. By applying Blaschke's rolling - ball theorem, the author proves that if \(\partial U\) is locally contained inside a set \(N\), then \(\partial U\) will also be globally contained inside \(N\).
### Main results
The main result of the paper (Theorem 3.1) shows that for a given cost function \(c\) satisfying certain standard conditions (including the weak \(A_{3}\) condition), if the set \(N\) is convex for all \(y_{1}, y_{2}\) and \(a\), and \(U\) is a convex region with a smooth boundary and is \(c\)-convex with respect to \(V\), then if \(N\) and \(\partial U\) are internally tangent at a point, then \(U\) will be contained in \(N\).
### Applications
The paper also discusses the application of this result in the reflector antenna design problem. Specifically, the author shows how to use these inclusion principles to analyze and design the shape of the reflector antenna to optimize its performance.
### Mathematical formulas
- **Second fundamental form**:
\[
II_{x}(v, w)=W_{x}(v)\cdot w
\]
where \(W_{x}\) is the Weingarten map, defined as \(W_{x}(v)=\partial_{v}n(x)\)
- **Local inclusion condition**:
\[
II_{x}(v)\geq II_{x}'(v)\quad\text{for all}\quad v\in T_{x}M\sim T_{x}M'
\]
- **Weak \(A_{3}\) condition**:
\[
A_{ij, kl}(x, p)\xi_{i}\xi_{j}\eta_{k}\eta_{l}\geq0\quad\forall\xi, \eta\in\mathbb{R}^{d}, \xi\perp\eta
\]
These formulas and theorems together form the core content of the paper, aiming to solve the inclusion relations and optimization design problems in practical problems through the combination of geometry and optimal transport theory.