A Multilevel Correction Scheme for the Steklov Eigenvalue Problem
Combining the correction technique proposed by Lin and Xie and the shifted inverse iteration, a multilevel correction scheme for the Steklov eigenvalue problem is proposed in this paper. The theoretical analysis and numerical experiments indicate that the scheme proposed in this paper is efficient for both simple and multiple eigenvalues of the Steklov eigenvalue problem.
Steklov eigenvalue problems have important applications in physics and engineering, for instance, in the study of surface waves (see ), in the analysis of stability of mechanical oscillators immersed in a viscous fluid (see ), and in the study of the vibration modes of a structure in contact with an incompressible fluid (see ). Thus, finite element methods for Steklov eigenvalue problems have attracted the attention of mathematics and physics community. Reference  first studied the convergence and error estimation of finite element approximations and [5–8] made in-depth research; after that, [9–15] discussed the highly efficient finite element methods.
Recently, an efficient multilevel method based on the correction step was proposed by Lin and Xie [16, 17] and further successfully applied to Helmholtz transmission eigenvalue problems , convection-diffusion eigenvalue problems , and the Steklov problem . The multilevel correction method proposed by Lin and Xie can be regarded as a combination of two-grid method and the extended/generalized finite element method which was developed in 1990s (see [20, 21]).
The shifted inverse iteration method is a basic approach for solving matrix eigenvalue problems (see Algorithm 27.3 in ). Now, two-grid methods based on the shifted inverse iteration have been established (see [23, 24]) and applied to Steklov eigenvalue problems (see ).
In this paper, we combine the correction technique of Lin and Xie and the shifted inverse iteration to establish a new efficient multilevel scheme for the Steklov eigenvalue problem which is suitable not only for simple eigenvalues but also for multiple eigenvalues. Our scheme can be described as follows: (1) solve the Steklov eigenvalue problem in the coarsest finite element space; (2) implement the shifted inverse iteration once in an augmented space by using the previously obtained eigenvalue as the shift and eigenfunction as the iteration initial value; (3) solve the Steklov eigenvalue problem again in a new space which is constructed by combining the coarsest finite element space with the obtained eigenfunction approximation in (2), and then return to (2) for next loop. Furthermore, we prove the scheme can reach the optimal order that the same as solving the corresponding boundary value problem. Our scheme is easy to realize under the package of iFEM  with Matlab, and the numerical results are satisfactory.
In this paper, (with or without subscripts) denotes a positive constant independent of mesh diameters and correction times.
Let and denote the usual Sobolev spaces with real-order with norms and on and , respectively. Here .
Consider the following Steklov eigenvalue problem: where is a bounded polygonal domain with the maximum interior angle and is the outward normal derivative on .
The variational form of (1) is given as follows: find and such that and where It is easy to know that is a symmetric, continuous, and -elliptic bilinear form on satisfying So we can use and as the inner product and norm on , respectively. We can also use and as the inner product and norm on , respectively.
Let be a regular triangulation of . Denote the diameter of an element by and the mesh diameter . Let the finite element space be a piecewise polynomial space on .
Find such that and
Find such that and
The following regularities of the Steklov eigenvalue problem are valid.
By (13), we know that , , if is convex; otherwise and can be closed to arbitrarily.
Then, from (10) and (11), we can define two linear bounded operators and such that It is obvious that and are the solution of (10) and (11), respectively. We know that and are completely continuous operators (see, e.g., ). From [4, 26], we know that (2) and (7) have the following equivalent operator forms: where and . From (15), we can deduce that is bounded; that is, where is a positive constant independent of and .
Denote the eigenfunction space corresponding to by Suppose that the multiplicity of is ; that is, . We use to denote the eigenpair approximation for , . Let and let and .
Denote From Lemma 1 and the interpolation error estimate, we get
For two linear spaces and , we define Define the gaps between and in as and in as
Lemma 2. The following estimates are valid: for . Here and hereafter is a positive constant depending on but independent of .
Lemma 3. Let be an approximation for , where is not an eigenvalue of , and with . Suppose that , for , and , satisfy Then where is a separation constant of and is a positive constant independent of .
3. One Correction Step Based on the Shifted Inverse Iteration
We first generate a coarse mesh with the mesh size . The coarse linear finite element space is defined on . Then we define a sequence of triangulations of determined as follows. Set and let be obtained from via regular refinement. Then we construct the linear finite element spaces such that where .
Assume that we have the eigenpair approximations (), where the eigenvalues are the approximations of the eigenvalue of (2) and is an extended space (see Algorithm 4). Now we give the following one correction step to improve the accuracy of the current eigenpair approximations .
Algorithm 4 (one correction step).
Step 1. For , do the following.
Find such that and set .
Step 2. Define a new finite element space and solve the following Steklov eigenvalue problem.
Find such that and Output the eigenvalues and the corresponding orthonormal eigenfunctions with respect to .
We adopt the notations in [15–17] to simplify and summarize Algorithm 4 as
Theorem 5. Suppose that is properly small. Assume the eigenpairs in Algorithm 4 have the following error estimates: Then, after one correction step, the resulting eigenpair approximations have the following error estimates: where is a positive constant dependent on but independent of and , and when is a simple eigenvalue, and when is a multiple eigenvalue is a positive constant independent of and (see Lemma 6 at the back).
Proof. From (35), we know there exists a basis of such that By (15), we know that (32) is equivalent to the following: and ; that is, Select ; then and . Note that differs from by only a constant; then (32) is equivalent to Let be the eigenvalue of (7) with ; then thanks to Lemma 3 we have Then, using the triangle inequality and Lemma 2, we get Combining (46) and (47), we obtain Let the eigenvectors be an orthonormal basis of with respect to . Denote then By (25), there exists satisfying Let Noting that is linearly independent, it can be deduced from (45), (49), and (52) that is linearly independent.
Using (49), (51), and (52), we deduce that Thus, using the triangle inequality, we have which together with (48) yields Noting that and using Lemma 3.1 in , we have Since and , from (17), (41), and (42), we have From (56) and (57), we get Combining (55) and (58), reminding that , , we can obtain When is properly small, we have then we obtain the following error estimate: Now we come to estimate the error for the eigenpairs . Based on the error estimate theory of eigenvalue problem by finite element methods (see, e.g., [4, 26]), from Lemmas 2 and 6 at the back, (61), and the definition of the space , we have the following estimates: where From (62) and (63), we obtain (36) and (37).
From (27) and (36), we have Hence, estimate (38) holds.
Lemma 6. For the multiple eigenvalue , assume that and , where , , and is a positive constant. Let be defined as (52); then is a basis of . For any , there holds where is a constant independent of and .
Proof. From the proof of Theorem 5 we know that is linearly independent, so it can be taken as a basis of . For any , , we have Noticing that the norm of self-adjoint operator is equal to its spectral radius, then where .
For in (40)-(41), by calculation, we deduce where Since , there exists such that Noting that , then, for , we have From (45), we have Since , we get Note that then, from Lemma 3.1 in , (57), and (68)–(73), we get For , from (76), we have