English

The diagram $(\lambda_1,\mu_1)$

Optimization and Control 2025-01-07 v1

Abstract

In this paper, we are interested in the possible values taken by the pair (λ1(Ω),μ1(Ω))(\lambda_1(\Omega), \mu_1(\Omega)) the first eigenvalues of the Laplace operator with Dirichlet and Neumann boundary conditions respectively of a bounded plane domain Ω\Omega. We prove that, without any particular assumption on the class of open sets Ω\Omega, the two classical inequalities (the Faber-Krahn inequality and the Weinberger inequality) provide a complete system of inequalities. Then we consider the case of convex plane domains for which we give new inequalities for the product λ1μ1\lambda_1 \mu_1. We plot the so-called Blaschke--Santal\'o diagram and give some conjectures.

Keywords

Cite

@article{arxiv.2501.02283,
  title  = {The diagram $(\lambda_1,\mu_1)$},
  author = {Ilias Ftouhi and Antoine Henrot},
  journal= {arXiv preprint arXiv:2501.02283},
  year   = {2025}
}
R2 v1 2026-06-28T20:56:11.592Z