On the eigenfunctions and on the eigenvalues of general elliptic boundary value problems
On the eigenfunctions and on the eigenvalues of general elliptic boundary value problems
复制标题
DOI:
10.1002/cpa.3160150203
复制
发表时间:
1962
影响因子:
3
通讯作者:
S. Agmon
中科院分区:
文献类型:
--
作者:
S. Agmon
The purpose of this paper is to derive some general results on the completeness of eigenfunctions and the angular distribution of eigenvalues of general elliptic boundary value problems. In the case of the Dirichlet problem for higher order elliptic operators with a real principal part such results were obtained by Browder [6, 8]. Earlier, Carleman [lo] and Keldys [13] established results concerning the asymptotic distribution of eigenvalues and completeness of eigenfunctions of certain non self-ad joint second order elliptic boundary value problems. We note, however, that even for the second order problems the results mentioned do not apply to such a typical non self-adjoint problem as the oblique derivative boundary value problem. We shall consider a general class of elliptic boundary value problems which are termed regular problems. Within this class we shall describe a subclass of boundary value problems possessing a discrete spectrum. With some additional conditions we shall show that the (generalized) eigenfunctions are complete in various function spaces. For a general subclass of problems which are called absolutely elliptic one can show (in case the principal part of the operator is real and properly normalized) that the eigenvalues cluster in the direction of the positive axis and that the eigenfunctions are complete. All regular second order elliptic boundary value problems are absolutely elliptic. Thus in particular the results apply to the oblique derivative boundary value problem mentioned before.The main tool in deriving our results are a priori estimates for elliptic boundary value problems depending on a parameter. These estimates ensure that the resolvent of the associated operator tends to zero along certain rays in the complex plane. The basic theorem here is Theorem 2.1 proved in Section 2. The proof makes use of the general L, estimates established in [4]. In Section 3 we first combine Theorem 2.1 with other estimates on the resolvent to obtain a completeness theorem for generalized eigenfunctions in