On an algorithm for two-term spectral asymptotic formulas

Genqian Liu

2024-02-09

Abstract:In the book [Yu. Safarov and D. Vassiliev, The asymptotic distribution of eigenvalues of partial differential operators, Amer. Math. Soc., Providence, RI, 1997], a key and central ``algorithm'' was established, by which the coefficients of two-term asymptotic expansions of the eigenvalue counting functions can be explicitly calculated for many partial differential operators under an additional geometric assumption. In this paper, we give a counter-example to this ``algorithm'' by discussing the case of elastic eigenvalues. This implies that the most conclusions in the above book written by Yu. Safarov and D. Vassiliev are fundamentally wrong because they are based on the erroneous ``algorithm''.

Differential Geometry,Analysis of PDEs

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to verify and point out the errors in the "algorithm" proposed by Safarov and Vassiliev in the two - term asymptotic formula of the elastic eigenvalue problem, and prove through counter - examples that this "algorithm" and the conclusions derived from it are fundamentally wrong. Specifically:

1. **Background and Problem Definition**:
- The article first reviews the development history of the spectral asymptotic theory of partial differential operators, especially the research on the existence of the second asymptotic term of Weyl's conjecture regarding the Laplace operator, the Lamé operator, and other high - order partial differential operators.
- Safarov and Vassiliev proposed an "algorithm" in their book for calculating the two - term asymptotic expansion coefficients of the eigenvalue counting functions of many partial differential operators, which requires an additional geometric assumption.

2. **Core Problem**:
- By discussing the case of elastic eigenvalues, the author gives a counter - example to illustrate that the "algorithm" proposed by Safarov and Vassiliev is wrong.
- Specifically, the author points out that the constant \(\beta\) in the two - term asymptotic formula of elastic eigenvalues given in Safarov and Vassiliev's book is wrong because these results are in contradiction with McKean - Singer's conclusions.

3. **Methods and Results**:
- The author analyzes in detail the mathematical model of the elastic eigenvalue problem, including the Lamé equations and their boundary conditions.
- Through strict mathematical derivations, the author proves that when \(c_l^2 - c_t^2 \to 0\), the value of \(\beta\) in Safarov and Vassiliev's formula is wrong.
- Further, the author gives the correct two - term asymptotic expansions of the elastic heat trace and the corresponding eigenvalue counting function.

4. **Conclusion**:
- The author's conclusion is that the "algorithm" proposed by Safarov and Vassiliev is fundamentally wrong, which leads to most of the conclusions in their book being wrong as well.
- The author also points out the misleading nature of this error in related fields and emphasizes the importance of correcting these errors.

Through these analyses, the author not only points out the errors in the existing theory but also provides correct mathematical expressions, providing a solid foundation for subsequent research.