Interval analysis techniques for boundary value problems of elasticity in two dimensions

In this paper we prove that the L² spectral radius of the traction double layer potential operator associated with the Lamé system on an infinite sector in R² is within 10⁻² from a certain conjectured value which depends explicitly on the aperture of the sector and the Lamé moduli of the system. This type of result is relevant to the spectral radius conjecture, cf., e.g., Problem 3.2.12 in C.E. Kenig, Harmonic Analysis Techniques for Second Order Elliptic Boundary Value Problems, CBMS Reg. Conf. Ser. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1994]. The techniques employed in the paper are a blend of classical tools such as Mellin transforms, and Calderón-Zygmund theory, as well as interval analysis—resulting in a computer-aided proof.