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

@article{Endo2022ShapeOF,
  title={Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error constant estimation},
  author={Ryoki Endo and Xuefeng Liu},
  journal={ArXiv},
  year={2022},
  volume={abs/2209.13415}
}
. A computer-assisted proof is proposed for the Laplacian eigenvalue minimization problems over triangular domains under diameter constraints. The proof utilizes recently developed guaranteed computation methods for both eigenvalues and eigenfunctions of differential operators. The paper also provides an elementary and concise proof of the Hadamard shape derivative, which helps to validate the monotonicity of eigenvalue with respect to shape parameters. Beside the model homogeneous Dirichlet… 

Figures and Tables from this paper

References

SHOWING 1-10 OF 17 REFERENCES

A framework of verified eigenvalue bounds for self-adjoint differential operators

Guaranteed a posteriori bounds for eigenvalues and eigenvectors: multiplicities and clusters

This paper presents a posteriori error estimates for conforming numerical approximations of eigenvalue clusters of second-order self-adjoint elliptic linear operators with compact resolvent, and shows how this assumption can be numerically checked.

Analysis and Estimation of Error Constants for P0 and P1 Interpolations over Triangular Finite Elements

We give some fundamental results on the error con- stants for the piecewise constant interpolation function and the piece- wise linear one over triangles. For the piecewise linear one, we mainly

Global and Local Bounds on the Fundamental Ratio of Triangles and Quadrilaterals

. We present a new, computer-assisted, proof that for all triangles in the plane, the equilateral triangle uniquely maximizes the ratio of the first two Dirichlet–Laplacian eigenvalues. This proves an

Extremum Problems for Eigenvalues of Elliptic Operators

Eigenvalues of elliptic operators.- Tools.- The first eigenvalue of the Laplacian-Dirichlet.- The second eigenvalue of the Laplacian-Dirichlet.- The other Dirichlet eigenvalues.- Functions of

Isoperimetric inequalities for eigenvalues of triangles

Isoperimetric lower bounds for the first eigenvalue for the Dirichlet Laplacian on arbitrary triangles are proved using various symmetrization techniques. It is also shown that among triangles, the

Dirichlet eigenvalue sums on triangles are minimal for equilaterals

Among all triangles of given diameter, the equilateral triangle is shown to minimize the sum of the first $n$ eigenvalues of the Dirichlet Laplacian, for each $n \geq 1$. In addition, the first,

Shape design sensitivity of a membrane

The dependence of the static response and the eigenvalues of a membrane on its shape is characterized. A transformation function is defined to determine the shape of the membrane. Differential

Partial Differential Equations

THE appearance of these volumes marks the happy conclusion of a work undertaken, as the author reminds us in his preface, twenty-one years ago. Doubtless it would have been finished earlier had it