Publication Date:
2016-09-03
Description:
For $K$ belonging to the class of convex bodies in $ \mathbb {R}^n$ , we consider the $\lambda _1$ -product functional, defined by $\lambda _ 1 (K) \lambda _ 1 (K^o)$ , where $K^o$ is the polar body of $K$ , and $\lambda _1 (\cdot )$ is the first Dirichlet eigenvalue of the Dirichlet Laplacian. As a counterpart of the classical Blaschke–Santaló inequality for the volume product, we prove that the $\lambda _1$ -product is minimized by balls. Much more challenging is the problem of maximizing the $\lambda _1$ -product modulo invertible linear transformations, which is the analog of the famous Mahler conjecture for the volume product in Convex Geometry. We solve the problem in dimension $n=2$ for axisymmetric convex bodies, by proving that the solution is the square. To that aim we first reduce our problem to a reverse Faber–Krahn inequality for axisymmetric convex octagons, and then we identify an optimal octagon with the one that degenerates into a square. For this latter challenge, we employ a hybrid method inspired by the Polymath blog by Tao, which is based on the joint use of theoretical arguments to settle octagons lying in computable ‘neighborhoods’ of the square, and of a numerical argument (rigorously working thanks to the monotonicity by inclusions of the involved functionals) to settle octagons lying outside the confidence zones.
Print ISSN:
0024-6115
Electronic ISSN:
1460-244X
Topics:
Mathematics
Permalink