Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error constant estimation

Ryoki Endo, Xuefeng Liu

A computer-assisted proof is proposed for the Laplacian eigenvalue minimization problems over triangular domains under diameter constraints. The proof utilizes recently developed g…