Abstract
The aim of this paper is to analyze the influence of small edges in the computation of the spectrum of the Steklov eigenvalue problem by a lowest order virtual element method. Under weaker assumptions on the polygonal meshes, which can permit arbitrarily small edges with respect to the element diameter, we show that the scheme provides a correct approximation of the spectrum and prove optimal error estimates for the eigenfunctions and a double order for the eigenvalues. Finally, we report some numerical tests supporting the theoretical results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we are interested in the approximation by virtual elements of the eigenvalues and eigenfunctions of the Steklov problem which is characterized by the presence of the eigenvalue on the boundary condition. This problem has attracted much attention in recent years due to the important applications in many physical subjects. For instance, it appears in the study of the dynamic of liquids in moving containers, the so called sloshing problem [6, 20, 24]. Also, this problem have interesting applications in inverse scattering [35, 47], among other works.
There are several studies on the finite element approximations of the Steklov eigenvalue problem, for example, see [3, 4, 15, 27, 33, 46, 48]. Traditionally, finite element methods rely on triangular (simplicial) and quadrilateral meshes. However, in complex simulations one often encounters general polygonal or polyhedral meshes. In recent years there has been a significant growth in the mathematical and engineering literature in developing numerical methods that can make use of general polytopal meshes; among the large number of papers on this subject, we cite as a minimal sample [7, 9, 21, 26, 44, 45].
The VEM has been introduced in [7] and has been applied successfully in a large range of problems arising from engineering and physics phenomenons; see for instance [1, 2, 8, 10, 12, 14, 19, 22, 36, 43]. Regarding VEM for eigenvalue problems, we mention the following recent works [23, 25, 28, 29, 38,39,40,41,42]. In particular, an a priori and a posteriori VEM discretization for the Steklov eigenvalue problem has been presented in [40, 41]. However, the theoretical results and error estimates for the eigenvalues and eigenfunctions were obtained under the standard mesh assumptions introduced in [7], which do not allow to consider meshes containing elements with small edges compared to the element diameter.
In [11, 13, 18] has been recently analyzed the possibility to consider in VEM discretizations polygonal meshes with arbitrarily small edges with respect to the element diameter. This new framework for VEM opens the possibility to solve interesting coupled problems, such as fluid-structure interactions, in a different way. In fact, the small edges approach takes relevance in this context and becomes a natural path to deal with such problems, for instance, by gluing different meshes in each domain in fluid-structure interactions or in coupling of fluid flow with porous media flow. We also mention that numerical methods that permit arbitrarily small edges in the polygonal meshes can be useful in adaptive schemes by considering refined meshes as a tool to handle solutions with corner singularities. In particular, the present work aims to apply this new framework for the numerical solution of an eigenvalue problem. More precisely, we will follow the VEM approach presented in [11], for the Poisson equation, to write a virtual scheme for the Steklov eigenvalue problem.
The aim of this paper is to propose a virtual element method of lowest order to solve the Steklov eigenproblem, allowing small edges in the polygons of the mesh. We will consider the continuous variational formulation presented in [40]; however, we will write a different discrete virtual scheme, which is based on a different stabilization bilinear form (see [49]). We will use the so-called Babuška-Osborn abstract spectral approximation theory (see [5]), to show that under weaker assumptions on the polygonal meshes, the resulting virtual element scheme provides a correct approximation of the spectrum and prove optimal order error estimates for the eigenfunctions and a double order for the eigenvalues. In particular, our theoretical estimates fully support meshes with arbitrarily small edges with respect to the element diameter. In addition, we remark that spurious modes were not found for different values of the h-scalling used in the definition of the stabilization form (see in particular Sect. 5.1 below). This numerical evidence strongly support the possibility to extend the present analysis to more challenging eigenvalue problems in continuum mechanics such as the elastoacustic problem [16, 37], among others.
The paper is organized as follows: In Sect. 2, we present the model problem and preliminary results related to the solution operator and eigenfunctions. More precisely, we will establish the spectral characterization of the solution operator, which allows to study the numerical method. Section 3 is dedicated to present the virtual element method. Here we will introduce the assumptions on the mesh. We will present approximation results that will be the key point of our analysis, which will depend on the particular choice of the stabilization form. Section 4, contains the error estimates for the eigenfunctions and a double order for the eigenvalues. Finally, in Sect. 5 we present some numerical results on different families of polygonal meshes with small edges, in order to confirm the theoretical rates of convergence proved in the paper and to confirm that it is not polluted with spurious modes.
Throughout the article we will use standard notations for Sobolev spaces, norms and seminorms. Moreover, we will denote by C a generic constant independent of the mesh parameter h, which may take different values in different occurrences.
2 The Spectral Problem
Let \(\Omega \subset \mathbb {R}^2\) be a bounded domain with polygonal boundary \(\partial \Omega \). Let \(\Gamma _0\) and \(\Gamma _1\) be disjoint open subsets of \(\partial \Omega \) such that \(\partial \Omega =\bar{\Gamma }_0\cup \bar{\Gamma }_1\) and \(\left| \Gamma _0\right| \ne 0\). We denote by n the outward unit normal vector to \(\partial \Omega \).
In what follows, we recall the variational formulation of the Steklov eigenvalue problem proposed in [40]. Also, we summarize some results from this reference.
The Steklov eigenvalue problem reads as follows: Find \((\lambda ,u)\in \mathbb {R}\times H^1(\Omega )\), \(u\ne 0\), such that
where \(\partial _n u\) denotes the normal derivative of u. By testing the first equation above with \(v\in H^1(\Omega )\) and integrating by parts, we arrive at the following equivalent variational formulation:
Problem 1
Find \((\lambda ,u)\in \mathbb {R}\times H^1(\Omega )\), \(u\ne 0\), such that
Observe that the left-hand side is not \(H^1(\Omega )\)-elliptic. A remedy for this is to use a shift argument to rewrite Problem 1 in the following form:
Problem 2
Find \((\widehat{\lambda },u)\in \mathbb {R}\times H^1(\Omega )\), \(u\ne 0\), such that
where \(\widehat{\lambda }=\lambda +1\) and the bilinear form \(\widehat{\varvec{a}}:H^1(\Omega )\times H^1(\Omega )\rightarrow \mathbb {R}\) is defined by
with \(a,b:H^1(\Omega )\times H^1(\Omega )\rightarrow \mathbb {R}\) defined by
All the previous bilinear forms are bounded and symmetric. In addition, the next result, proved in [40, Lemma 2.1], establishes that \(\widehat{a}(\cdot ,\cdot )\) is \(H^1(\Omega )\)-elliptic.
Lemma 2.1
There exists a constant \(\alpha >0\), depending on \(\Omega \), such that
Next, we define the solution operator associated with Problem 2:
where \(w\in H^1(\Omega )\) is the unique solution (as a consequence of Lemma 2.1 and the Lax-Milgram Theorem) of the following source problem:
Thus, the linear operator T is well defined and bounded. Also, T is self-adjoint with respect to the inner product \(\widehat{\varvec{a}}(\cdot ,\cdot )\) in \(H^1(\Omega )\) (see [40, Section 2]).
Notice that \((\widehat{\lambda },u)\in \mathbb {R}\times H^1(\Omega )\) solves Problem 2 (and hence \((\lambda ,u)\in \mathbb {R}\times H^1(\Omega )\) solves Problem 1) if and only if \(Tu=\mu u\) with \(\mu \ne 0\) and \(u\ne 0\), in which case \(\mu :=1/\widehat{\lambda }\).
The following additional regularity result for the solution of problem (2.1) and consequently, for the eigenfunctions of T, has been proved in [40, Lemma 2.2].
Lemma 2.2
-
i)
for all \(f\in H^1(\Omega )\), there exist \(r\in (1/2,1]\) and \(C>0\) such that the solution w of problem (2.1) satisfies \(w\in H^{1+r}(\Omega )\) and
$$\begin{aligned} \left\| w\right\| _{1+r,\Omega } \le C\left\| f\right\| _{1,\Omega }; \end{aligned}$$ -
ii)
if u is an eigenfunction of Problem 1 with eigenvalue \(\lambda \), there exist \(r>1/2\) and \(C>0\) (depending on \(\lambda \)) such that \(u\in H^{1+r}(\Omega )\) and
$$\begin{aligned} \left\| u\right\| _{1+r,\Omega } \le C\left\| u\right\| _{1,\Omega }. \end{aligned}$$
Remark 2.1
The constant \(r>1/2\) is the Sobolev exponent for the Laplace problem with Neumann boundary conditions. If \(\Omega \) is convex, then \(r\ge 1\), whereas, otherwise, \(r:=\pi /\omega \) with \(\omega \) being the largest reentrant angle of \(\Omega \) (see [31]).
Hence, as a consequence of the compact inclusion \(H^{1+r}(\Omega )\hookrightarrow H^1(\Omega )\), T is a compact operator. We have the following spectral characterization for the operator T.
Theorem 2.1
The spectrum of T decomposes as follows: \(\mathop {\mathrm {sp}}\nolimits (T)=\left\{ 0,1\right\} \cup \left\{ \mu _k\right\} _{k\in \mathbb {N}}\), where:
- i):
-
\(\mu =1\) is an eigenvalue of T and its associated eigenspace is the space of constant functions in \(\Omega \);
- ii):
-
\(\mu =0\) is an infinite-multiplicity eigenvalue of T with associated eigenspace is \(H^1_{\Gamma _0}(\Omega ):=\left\{ q\in H^1(\Omega ):\ q=0\ \text{ on } \Gamma _0\right\} \);
- iii):
-
\(\left\{ \mu _k\right\} _{k\in \mathbb {N}}\subset (0,1)\) is a sequence of finite-multiplicity eigenvalues of T which converge to 0 and their corresponding eigenspaces lie in \(H^{1+r}(\Omega )\).
3 VEM Discretization
We will study in this section, the virtual element numerical approximation of the eigenproblem presented in Problem 2, by considering weaker mesh assumptions than the mesh assumptions considered in [40]. We will follow some recent results from [11, 18] for the Poisson problem. With this aim, first we recall the mesh construction.
Let \(\left\{ \mathcal {T}_h\right\} _h\) be a sequence of decompositions of \(\Omega \) into polygons \(K\). Let \(h_K\) denote the diameter of the element \(K\) and h the maximum of the diameters of all the elements of the mesh, i.e., \(h:=\max _{K\in \mathcal {T}_h}h_K\). For \(\mathcal {T}_h\) we will consider the following assumption:
-
A1. There exists \(\gamma >0\) such that, for all meshes \(\mathcal {T}_h\), each polygon \(K\in \mathcal {T}_h\) is star-shaped with respect to a ball of radius greater than or equal to \(\gamma h_{K}\).
The next results will be obtained only under assumption A1. In particular, we can consider meshes with edges arbitrarily small with respect to the element diameter \(h_{K}\).
We consider now a simple polygon \(K\), we define
We then consider the finite-dimensional space defined as follows:
As in [11], we choose the following degrees of freedom: For all \(v_h\in V^{K}\), these are defined as follows:
-
values of \(v_h\) at the \(N_K\) vertices of \(K\).
Next, for every decomposition \(\mathcal {T}_h\) of \(\Omega \) into simple polygons \(K\), we define the global virtual space
In order to construct the discrete scheme, we need some preliminary definitions. First, we split the bilinear form \(\widehat{\varvec{a}}(\cdot ,\cdot )\) as follows:
where
Next, for any \(K\in \mathcal {T}_h\) and for any sufficiently regular function v, we define first
Now, we define the projector \(\Pi ^{K}:V^{K}\longrightarrow \mathbb {P}_1(K)\subseteq V^{K}\) for each \(v\in V^{K}\) as the solution of
Now, we introduce the following symmetric and semi-positive definite bilinear form on \(V^{K}\times V^{K}\) (see [49]). For all elements \(K\in \mathcal {T}_h\):
where \(\partial _s\) denotes a derivative along the edge.
Then, set
where \(a_h^{K}(\cdot ,\cdot )\) is the bilinear form defined on \(V^{K}\times V^{K}\) by
Remark 3.1
It is immediate to verify that \(\mathbb {P}_1(K)\subseteq V^{K}\). Thus, from (3.4) we have that
Now, we introduce the following discrete semi-norm:
where \(\mathcal {V}^{K}\subseteq H^1(K)\) is a subspace of sufficiently regular functions for \(S^{K}(\cdot ,\cdot )\) to make sense.
Now, for any sufficiently regular functions, we introduce the following global semi-norms
It has been proved in [11, Lemma 3.1 and Proposition 4.4] that for our choice of the stabilization form (3.3), there exist positive constants \(C_1,C_2,C_{3}\), independent of h, such that
In addition, it holds
where \(C_4,C_5\) are independent of h.
Now we are in a position to write the virtual element discretization of Problem 1.
Problem 3
Find \((\lambda _h,u_h)\in \mathbb {R}\times V_h\), \(u_h\ne 0\), such that
We use again a shift argument to rewrite this discrete eigenvalue problem in the following convenient equivalent form.
Problem 4
Find \((\widehat{\lambda }_h,u_h)\in \mathbb {R}\times V_h\), \(u_h\ne 0\), such that
where \(\widehat{\lambda }_h=\lambda _h+1\) and the bilinear form \(\widehat{\varvec{a}}_h:V_h\times V_h\rightarrow \mathbb {R}\) is defined by
Clearly \(\widehat{\varvec{a}}_h(\cdot ,\cdot )\) is symmetric and continuous. In the following result we prove that \(\widehat{\varvec{a}}_h(\cdot ,\cdot )\) is elliptic in \(V_h\).
Lemma 3.1
There exists a constant \(\beta >0\), independent of h, such that
Proof
From the definition of the bilinear form \(\widehat{\varvec{a}}_h(\cdot ,\cdot )\), we have that
where we have used (3.7), (3.9) and the generalized Poincaré inequality. This concludes the proof.\(\square \)
With this coercivity result at hand, we are in a position to introduce the discrete solution operator
where \(u_h\in V_h\) is the solution of the following discrete source problem
Notice that Lemma 3.1 implies that the linear operator \(T_h\) is well defined and bounded uniformly with respect to h. Moreover, as in the continuous case, \((\widehat{\lambda }_h,u_h)\in \mathbb {R}\times V_h\) solves Problem 4 (and hence \((\lambda _h,u_h)\in \mathbb {R}\times V_h\) solves Problem 3) if and only if \(T_hu_h=\mu _h u_h\) with \(\mu _h\ne 0\) and \(u_h\ne 0\), in which case \(\mu _h:= 1/\widehat{\lambda }_h\). Also, \(T_h|_{V_h}:\ V_h\longrightarrow V_h\) is self-adjoint with respect to \(\widehat{\varvec{a}}_{h}(\cdot ,\cdot )\).
As a consequence, we have the following spectral characterization for \(T_h\).
Theorem 3.1
The spectrum of \(T_h|_{V_h}\) consists of \(M_h:=\mathop {\mathrm {\,dim}}\nolimits (V_h)\) eigenvalues, repeated according to their respective multiplicities. It decomposes as follows: \(\mathop {\mathrm {sp}}\nolimits (T_h|_{V_h}) =\left\{ 0,1\right\} \cup \left\{ \mu _{h}^{(k)}\right\} _{k=1}^{N_h}\), where:
- i):
-
the eigenspace associated with \(\mu _h=1\) is the space of constant functions in \(\Omega \);
- ii):
-
the eigenspace associated with \(\mu _h=0\) is \(Z_h:=V_h\cap H^1_{\Gamma _0}(\Omega )=\left\{ q_h\in V_h:\ q_h=0\ \text{ on } \Gamma _0\right\} \);
- iii):
-
\(\mu _{h}^{(k)}\subset (0,1)\), \(k=1,\dots ,N_h:=M_h-\mathop {\mathrm {\,dim}}\nolimits (Z_h)-1\), are non-defective eigenvalues repeated according to their respective multiplicities.
4 Convergence and Error Estimates
In order to prove that the solutions of the discrete problem converge to those of the continuous problem, we will follow the standard procedure for spectral theory for compact operators [5], which consists in showing that \(T_h\) converges in norm to T as h tends to zero.
With this end, we begin by proving the following result.
Lemma 4.1
There exists \(C>0\), independent of h, such that, for all \(f\in H^1(\Omega )\), if \(w=Tf\) and \(w_h=T_hf\), then
for all \(w_I\in V_h\) and for all \(w_{\pi }\in L^2(\Omega )\) such that \(w_{\pi }|_{K}\in \mathbb {P}_1(K)\) \(\forall K\in \mathcal {T}_h\). In addition
Proof
Let \(w=Tf\) and \(w_h=T_hf\). From the triangle inequality we have
Our task is to estimate the norms of the right hand side above. To do this, we follow the arguments on the proof of Lemma 3.1.
Now, for \(w_I\in V_h\), we set \(v_h:=w_h-w_I\) and thanks to Lemma 3.1, the definitions of \(a_h^{K}(\cdot ,\cdot )\) (cf. (3.4)) and those of T and \(T_h\), we have
Therefore, from the trace theorem, (3.7) and the boundedness of \(a_h^K(\cdot ,\cdot )\) (3.8) and \(a^K(\cdot ,\cdot )\), we get
Therefore, we have
Finally, (4.1) follows from the triangle inequality and the generalized Poincaré inequality. Moreover, (4.2) follows from the above estimate.\(\square \)
Let us introduce the following approximation result for polynomials in star-shaped domains (see for instance [17]), which is derived by results of interpolation between Sobolev spaces (see for instance [30, Theorem I.1.4]), leading to an analogous result for integer values of s. Moreover, we remark that the result for integer values is stated in [7, Proposition 4.2] and follows from the well establish Scott-Dupont theory (see [17]).
Lemma 4.2
If assumption A1 is satisfied, then there exists a positive constant C, depending only on k and \(\gamma \), such that for every s with \(0\le s\le k\) and for every \(v\in H^{1+s}(K)\), there exists \(v_{\pi }\in \mathbb {P}_k(K)\) such that
Now, we have the following approximation result in the virtual space \(V_h\), which follows from [11, Theorem 3.4].
Lemma 4.3
Under the assumption A1, then, for each s with \(1/2<s\le 1\), there exist \(\widehat{t}>1/2\) and a positive constant C, independent of h, such that for every \(v\in H^{1+s}(\Omega )\), there exists \(v_I\in V_h\) that satisfies
Proof
Estimate (4.3) has been obtained in [11, Theorem 3.4]. To obtain (4.4), with \(1/2<s\le 1\), first we use the Poincaré and the Cauchy-Schwarz inequalities, to obtain (see [13, Remark 4.1]),
where we have use an standard approximation estimate in one dimension, since \(v_I|_{\partial K}\) corresponds to the standard piecewise linear Lagrange interpolant of v and then \(|v|_{1/2,\partial K}\le |v|_{1,K}\) (see [34] for instance). This concludes the proof.\(\square \)
Now we are in position to establish the convergence in norm of \(T_h\) to T as \(h\rightarrow 0\).
Lemma 4.4
There exist \(r\in (1/2,1]\) (cf. Lemma 2.2(i)) and \(C>0\), independent of h, such that
Proof
The result follows from Lemma 4.1. In particular, we have to bound the term on the right and side of (4.1). For the first and second terms, using Lemmas 4.3 and 4.2, respectively, we obtain
Now, we bound the term \({\left| \left| \left| w-w_{I} \right| \right| \right| }\). To do this task, we invoke the definition of \({\left| \left| \left| \cdot \right| \right| \right| }\) given in (3.6), (3.1) and, operating as in the proof of [11, Theorem 4.5] we have
Let \(\sigma \) be such that \(1/2<\sigma <r\). Using a scaled trace inequality, we get
Using the above estimate in (4.6) and Proposition 4.3, we obtain
Similarly, we obtain
thus, the lemma follows from (4.5)–(4.7) and Lemma 2.2(i).\(\square \)
We conclude the analysis of our paper deriving error estimates for our method. In particular, we are going to present error estimates for eigenfunctions and eigenvalues. With this aim, and with Lemma 4.4 at hand we will prove that isolated parts of \(\mathop {\mathrm {sp}}\nolimits (T)\) are approximated by isolated parts of \(\mathop {\mathrm {sp}}\nolimits (T_h)\) (see [32]).
Let \(\mu \in (0,1)\) be an isolated eigenvalue of T with multiplicity m and let \(\mathcal {E}\) be its associated eigenspace. Then, there exist m eigenvalues \(\mu ^{(1)}_h,\dots ,\mu ^{(m)}_h\) of \(T_h\) (repeated according to their respective multiplicities) which converge to \(\mu \). From now and on, let \(\mathcal {E}_h\) be the discrete subspace associated to \(\mathcal {E}\), corresponding to the direct sum of their corresponding associated eigenspaces.
We recall the definition of the gap \(\widehat{\delta }\) between two closed subspaces \(\mathcal {X}\) and \(\mathcal {Y}\) of \(H^1(\Omega )\):
The following error estimates for the approximation of eigenvalues and eigenfunctions hold true.
Theorem 4.1
There exists a strictly positive constant C such that
where
Proof
As a consequence of Lemma 4.4, \(T_h\) converges in norm to T as h goes to zero. Then, the proof follows as a direct consequence of Theorems 7.1 and 7.3 from [5].\(\square \)
The theorem above yields error estimates depending on \(\gamma _h\). The next step is to show an optimal order estimate for this term.
Theorem 4.2
There exist \(r\in (1/2,1]\) and a positive constant C such that
and, consequently,
Proof
See [40, Theorem 4.2].\(\square \)
The error estimate for the eigenvalue \(\mu \in (0,1)\) of T leads to an analogous estimate for the approximation of the eigenvalue \(\lambda =\frac{1}{\mu }-1\) of Problem 1 by means of the discrete eigenvalues \(\lambda _h^{(i)}:=\frac{1}{\mu _h^{(i)}}-1\), \(1\le i\le m\), of Problem 3.
We are able to improve the convergence order of Theorem 4.1 for the eigenvalues. The following result shows in fact that the convergence order is quadratic.
Theorem 4.3
There exist \(r\in (1/2,1]\) and a positive constant C such that
Proof
Let \(u_h\) be such that \((\lambda _h^{(i)},u_h)\) is a solution of Problem 3 with \(\left\| u_h\right\| _{1,\Omega }=1\). According to Theorems 4.1 and 4.2, there exists a solution \((\lambda ,u)\) of Problem 1 such that
From the symmetry of the bilinear forms and the facts that \(a(u,v)=\lambda b(u,v)\) for all \(v\in H^1(\Omega )\) (cf. Problem 1) and \(a_h(u_h,v_h)=\lambda _h^{(i)}b(u_h,v_h)\) for all \(v_h\in V_h\) (cf. Problem 3), we have
from which we obtain the following identity:
The next step is to bound each term on the right hand side above. The first and the second ones are easily bounded from the continuity of \(a(\cdot ,\cdot )\) and \(b(\cdot ,\cdot )\), the trace theorem and (4.8) as follows
For the last term on the right hand side of (4.9), we consider \(u_\pi \in \mathbb {P}_1(K)\) and \(u_I\in V_h\) such that Lemmas 4.2 and 4.3 hold true, respectively. Now, we add and subtract \(u_\pi \) in the local bilinear forms \(a_{h}^{K}(\cdot ,\cdot )\) and \(a^{K}(\cdot ,\cdot )\), using property (3.5) and invoking (4.2), we obtain
Next, the terms on the right hand side above can be bounded repeating the argument used in the proof of Lemma 4.4 and using the additional regularity result presented in Lemma 2.2(ii). We get
On the other hand, by virtue of Lemma 3.1 and the fact that \(\lambda _h^{(i)}\rightarrow \lambda \) as h goes to zero, we know that there exists \(C>0\) such that
Finally, the proof follows from (4.9), by using the above estimate together with (4.10) and (4.11).\(\square \)
5 Numerical Experiments
In the present section we will report some numerical tests in order to asses the performance of the proposed lowest order VEM with meshes allowing small edges. All the reported numerical results have been obtained with a MATLAB code. In order to observe the performance and accuracy of the proposed method, we will consider different computational domains, where the eigenfunctions, on one hand, can be smooth enough and, on the other, can be singular due to the non-convex domains.
For all the tests, we will report the computed eigenvalues for different polygonal meshes and the order of convergence. Our results will be compared with some references and exact solutions in the cases where it is available. In the cases where it is not possible to have a close form of the solution, we will present extrapolated values for the eigenvalues (see (5.3)).
5.1 Square Domain: The Sloshing Problem.
We begin with a convex domain. In this case we consider \(\Omega :=(0,1)^2\) as computational domain. We fix \(\Gamma _0\) on the top of the boundary (representing a free surface) and \(\Gamma _1\) will be the rest of the boundary. In Fig. 1, we present the physical configuration of the problem.
For this problem there are analytical solutions of the form
In Fig. 2, we present plots of the polygonal meshes that we will consider for our tests. We note that the family of polygonal meshes \(\mathcal {T}_h^1\) have been obtained by gluing two different polygonal meshes at \(y=0.6\). It can be seen that very small edges compared with the element diameter appears on the interface of the resulting mesh. The second family of polygonal meshes \(\mathcal {T}_h^2\) have been obtained from a triangular mesh with an additional point on each edge as a new degree of freedom which has been moved to a distance \(h_e^{2}\) from one vertex and \((h_{e}-h_{e}^{2})\) from the other. We observe that this family satisfy \(\mathbf {A1}\) but fail to satisfy the usual assumption that distance between any two of its vertices is greater than or equal to \(Ch_{K}\) for each polygon, since the length of the smallest edge is \(h_e^2\), while the diameter of the element is bounded above by a multiple of \(h_e\). The refinement level for the meshes will be denoted by N, which corresponds to the number of subdivisions in the abscissae.
In Table 1, we report the first six eigenvalues computed with meshes \(\mathcal {T}_h^1\) and \(\mathcal {T}_h^2\). The row “Order” reports the convergence order of the eigenvalues, computed with respect to the exact ones obtained with (5.1), which are presented in the row “Exact”.
The order of convergence is clearly \(\mathcal {O}(h^{2})\), which is expectable according to Theorem 4.3 and due the smoothness of the eigenfunctions for this configuration of the problem. Moreover, the nature of the meshes and the fact that we are allowing small edges for the polygons, does not affect the order of convergence and no spurious eigenvalues were found.
In the next test, we will study the effects of the stabilization (3.3) in the computation of the spectrum. We will consider the same physical configuration as in the previous test. Since the stabilization depends on the size of the element K (see (3.3)), we will compute the first six eigenvalues for different values \(h_K^{\alpha }\) using the family of meshes \(\mathcal {T}_h^2\).
We observe from the results of Table 2 that the method converges to the exact eigenvalues with an optimal quadratic order and no spurious eigenvalues were found for any chosen stability parameter \(h_K^{\alpha }\). We remark that these results are also valid for other families of polygonal meshes allowing small edges.
In the following test, we are going to compare the approach presented in this work which is characterized by the stabilization term (3.3) with a VEM discretization by considering the following standard stabilization term (for each polygon \(K\)):
where \(P_1,\dots ,P_{N_{K}}\) are the vertices of \(K\). The analysis of a VEM scheme by considering the above stabilizer has been presented in [40].
More precisely, the aim of this test is to analyze the influence of the stabilizing bilinear forms on the computed spectrum, to know whether the quality of the computations can be affected. With this aim, for any \(\sigma _{K}>0\), we consider the following scaled stabilizing bilinear forms \(\sigma _{K}S^{K}(\cdot ,\cdot )\) (cf. (3.3)) and \(\sigma _{K}S_{*}^{K}(\cdot ,\cdot )\) (cf. (5.2)).
In Table 3 we report the three lowest eigenvalues computed for different stability terms with varying values of \(\sigma _{K}\) on a fixed mesh \(\mathcal {T}_{h}^{2}\) with refinement level \(N = 8\). The table also includes in the last column the three lowest exact eigenvalues. The computed eigenvalues into boxes correspond to approximations of these physical eigenvalues, whereas the rest correspond to spurious spectrum.
It can be seen from the Table 3 that the VEM method with the stability term \(S_{*}^{K}(\cdot ,\cdot )\) (cf. (5.2)) leads to spurious eigenvalues for some values of the parameter \(\sigma _K\) with meshes allowing small edges. Spurious eigenvalues have been also reported in [40, Section 5.2] for this method on more restricted meshes. On the other hand, to compute the three lowest eigenvalues, the VEM method with the stability term \(S^{K}(\cdot ,\cdot )\) (cf. (3.3)) do not introduce spurious eigenvalues for all values of the parameter \(\sigma _K\). Moreover, the same behavior has been obtained for family of meshes \(\mathcal {T}_{h}^{1}\). This represents an important advantage of the proposed scheme.
5.2 Rotated T Domain
In the following test we will consider a non-convex domain which we call rotated T, and it is defined by \(\Omega _T:=(-0.5, 0.5)\times (-0.5, 0)\cup (-0.25,0.25)\times (0,1)\) with boundary condition \(\Gamma _0=\partial \Omega _T\). This non-convex domain presents two reentrant angles of the same size \(\omega =\frac{3\pi }{2}\) (cf. Figure 3), and as a consequence, the eigenfunctions of this problem may present singularities. More precisely, the Sobolev exponent for the eigenfunctions is 2/3 (cf. Remark 2.1), so that the eigenfunctions will belong to \(H^{1+r}(\Omega )\) for all \(r<2/3\), but in general not to \(H^{1+\frac{2}{3}}(\Omega )\). Therefore, according to Theorem 4.3, the convergence rate for the eigenvalues should be \(\vert \lambda -\lambda _h\vert \approx h^{4/3}\).
In Fig. 3, we present the meshes that we will consider for this numerical test. We note that the families of polygonal meshes \(\mathcal {T}_h^3\), \(\mathcal {T}_h^4\) and \(\mathcal {T}_h^5\) have been obtained by gluing two different polygonal meshes at \(x=0\). It can be seen that very small edges compared with the element diameter appears on the interface of the resulting meshes.
In Table 4, we report the computed eigenvalues and the corresponding convergence rates, the last row, that we called ’Extrap.’, corresponds to extrapolated values obtained with a least square fitting of the form
where \(\alpha _i\) is the approximated rate of convergence of each \(\lambda _i\), with \(i\in \mathbb {N}\).
We observe from Table 4 that for the first Steklov eigenvalue the method converges with order close to 4/3 which corresponds to the Sobolev regularity for the Steklov problem on \(\Omega _T\) (non-convex domain). We also note that the method converges larger orders for the rest of the Steklov eigenvalues.
In Fig. 4 we present plots for the first four eigenfunctions for the Steklov problem in the rotated T domain, computed with \(\mathcal {T}_h^5\) and \(N=30\).
5.3 L-shaped Domain
In this numerical example, we test the properties of the proposed method on an L-shaped domain: \(\Omega _L:=(0,1)\times (0,1)\backslash [0.5,1)\times [0.5,1)\) with \(\Gamma _{0}=\partial \Omega _L\). For this test, we will adopt a refinement with hanging nodes, which implies to consider once again polygons with small edges. More precisely, this test is focused to validate the use of refined meshes as a tool to handle solutions with corner singularities. With this purpose, we have considered two families of meshes, namely: \(\mathcal {T}_h^6\) (see upper left picture in Fig. 5) and \(\mathcal {T}_h^{6,\ell }\). The initial uniform mesh \(\mathcal {T}_h^{6}\) has \(N=32\) elements on each edge and the last one has \(N = 128\) elements on each edge.
On the other hand, the mesh \(\mathcal {T}_h^{6,\ell }\) is obtained by refining a patch around the re-entrant corner of \(\Omega _L\), starting from an initial uniform quadrilateral mesh \(\mathcal {T}_h^{6,0}\), which corresponds to the first mesh of \(\mathcal {T}_h^6\). The procedure consists in splitting each element which belongs to the following region:
into three quadrilaterals by connecting the barycenter of the element with the midpoint of each edge, where \(\widehat{\ell }\) is the number of meshes to refine, with the convention that \(\mathcal {T}_h^{6,0}:=\mathcal {T}_h^{6}\) (the initial mesh with \(N=32\)). Note that although this process is initiated with a quadrilateral mesh, the successively created meshes will contain other kind of convex polygons as can be appreciated in Fig. 5.
Table 5 reports the lowest Steklov eigenvalue computed on an L-shaped domain with the method analyzed in this paper with different polygonal meshes. The table also includes the corresponding “Errors” which have been obtained against a reference value “ref.” which corresponds to extrapolated values obtained with a least square fitting on finer uniform meshes.
Finally, it can be seen from Table 5 that the reported errors are similar in the last row of each mesh; however, the dofs in the case of corner-refined meshes are much less than the case of uniform meshes. Therefore, we conclude that the possibility of using small edges in the polygons of the mesh, allow us easier refinements near edges and/or corners of the domain to handle solutions with corner singularities.
References
Adak, D., Natarajan, S.: Virtual element method for a nonlocal elliptic problem of Kirchhoff type on polygonal meshes. Comput. Math. Appl. 79, 2856–2871 (2020)
Antonietti, P.F., Beirão da Veiga, L., Scacchi, S., Verani, M.: A \(C^1\) virtual element method for the Cahn-Hilliard equation with polygonal meshes. SIAM J. Numer. Anal. 54, 36–56 (2016)
Armentano, M.G.: The effect of reduced integration in the Steklov eigenvalue problem. ESAIM Math. Model. Numer. Anal. 38, 27–36 (2004)
Armentano, M.G., Padra, C.: A posteriori error estimates for the Steklov eigenvalue problem. Appl. Numer. Math. 58, 593–601 (2008)
Babuška, I., Osborn, J.: Eigenvalue problems. In: Ciarlet, P.G., Lions, J.L. (eds.) Handbook of Numerical Analysis, vol. II, pp. 641–787. North-Holland, Amsterdam (1991)
Bermúdez, A., Rodríguez, R., Santamarina, D.: Finite element computation of sloshing modes in containers with elastic baffle plates. Internat. J. Numer. Methods Engrg. 56, 447–467 (2003)
Beirão da Veiga, L., Brezzi, F., Cangiani, A., Manzini, G., Marini, L.D., Russo, A.: Basic principles of virtual element methods. Math. Models Methods Appl. Sci. 23, 199–214 (2013)
Beirão da Veiga, L., Dassi, F., Russo, A.: High-order virtual element method on polyhedral meshes. Comput. Math. Appl. 74, 1110–1122 (2017)
Beirão da Veiga, L., Lipnikov, K., Manzini, G.: The Mimetic Finite Difference Method for Elliptic Problems, Springer, MS&A, 11, 2014
Beirão da Veiga, L., Lovadina, C., Mora, D.: A virtual element method for elastic and inelastic problems on polytope meshes. Comput. Methods Appl. Mech. Engrg. 295, 327–346 (2015)
Beirão da Veiga, L., Lovadina, C., Russo, A.: Stability analysis for the virtual element method. Math. Models Methods Appl. Sci. 27, 2557–2594 (2017)
Beirão da Veiga, L., Lovadina, C., Vacca, G.: Divergence free virtual elements for the Stokes problem on polygonal meshes. ESAIM Math. Model. Numer. Anal. 51, 509–535 (2017)
Beirão da Veiga, L., Vacca, G.: Sharper error estimates for virtual elements and a bubble-enriched version, arXiv:2005.12009 [math.NA]
Benedetto, M.F., Berrone, S., Borio, A., Pieraccini, S., Scialò, S.: Order preserving SUPG stabilization for the virtual element formulation of advection-diffusion problems. Comput. Methods Appl. Mech. Engrg. 311, 18–40 (2016)
Bramble, J.H., Osborn, J.E.: Approximation of Steklov eigenvalues of non-selfadjoint second order elliptic operators. In: Aziz, A.K. (ed.) The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations, pp. 387–408. Academic Press, New York (1972)
Brenner, S.C., Çeşmelioǧlu, A., Cui, J., Sung, L.Y.: A nonconforming finite element method for an acoustic fluid-structure interaction problem. Comput. Methods Appl. Math. 18, 383–406 (2018)
Brenner, S.C., Scott, R.L.: The Mathematical Theory of Finite Element Methods. Springer, New York (2008)
Brenner, S.C., Sung, L.Y.: Virtual element methods on meshes with small edges or faces. Math. Models Methods Appl. Sci. 28, 1291–1336 (2018)
Cáceres, E., Gatica, G.N.: A mixed virtual element method for the pseudostress-velocity formulation of the Stokes problem. IMA J. Numer. Anal. 37, 296–331 (2017)
Canavati, J., Minsoni, A.: A discontinuous Steklov problem with an application to water waves. J. Math. Anal. Appl. 69, 540–558 (1979)
Cangiani, A., Georgoulis, E.H., Houston, P.: \(hp\)-version discontinuous Galerkin methods on polygonal and polyhedral meshes. Math. Models Methods Appl. Sci. 24, 2009–2041 (2014)
Cangiani, A., Georgoulis, E.H., Pryer, T., Sutton, O.J.: A posteriori error estimates for the virtual element method. Numer. Math. 137, 857–893 (2017)
Čertík, O., Gardini, F., Manzini, G., Mascotto, L., Vacca, G.: The p- and hp-versions of the virtual element method for elliptic eigenvalue problems. Comput. Math. Appl. 79, 2035–2056 (2020)
Choun, Y.S., Yun, C.B.: Sloshing characteristics in rectangular tanks with a submerged block. Comput. Struct. 61, 401–413 (1996)
Dello Russo, A., Alonso, A.: A posteriori error estimates for nonconforming approximations of Steklov eigenvalue problems. Comput. Math. Appl. 62, 4100–4117 (2011)
Di Pietro, D., Droniou, J.: The Hybrid High-Order Method for Polytopal Meshes - Design, Analysis and Applications, Springer, MS&A, vol. 19, 2020
Garau, E.M., Morin, P.: Convergence and quasi-optimality of adaptive FEM for Steklov eigenvalue problems. IMA J. Numer. Anal. 31, 914–946 (2011)
Gardini, F., Manzini, G., Vacca, G.: The nonconforming virtual element method for eigenvalue problems. ESAIM Math. Model. Numer. Anal. 53, 749–774 (2019)
Gardini, F., Vacca, G.: Virtual element method for second-order elliptic eigenvalue problems. IMA J. Numer. Anal. 38, 2026–2054 (2018)
Girault, V., Raviart, P.A.: Finite Element Methods for Navier-Stokes Equations. Springer-Verlag, Berlin (1986)
Grisvard, P.: Elliptic Problems in Non-Smooth Domains. Pitman, Boston (1985)
Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1995)
Li, Q., Lin, Q., Xie, H.: Nonconforming finite element approximations of the Steklov eigenvalue problem and its lower bound approximations. Appl. Math. 58, 129–151 (2013)
Lions, J. L., Magenes, E.: Problèmes Aux Limites Non Homogènes et Applications Vol. I, Travaux et Recherches Mathématiques, Vol. 17 (Dunod, 1968)
Liu, J., Sun, J., Turner, T.: Spectral indicator method for a non-selfadjoint Steklov eigenvalue problem. J. Sci. Comput. 79, 1814–1831 (2019)
Mascotto, L., Perugia, I., Pichler, A.: Non-conforming harmonic virtual element method: \(h\)- and \(p\)- versions. J. Sci. Comput. 77, 1874–1908 (2018)
Meddahi, S., Mora, D., Rodríguez, R.: Finite element analysis for a pressure-stress formulation of a fluid-structure interaction spectral problem. Comput. Math. Appl. 68, 1733–1750 (2014)
Meng, J., Mei, L.: A linear virtual element method for the Kirchhoff plate buckling problem. Appl. Math. Lett. 103, 106188 (2020)
Mora, D., Rivera, G.: A priori and a posteriori error estimates for a virtual element spectral analysis for the elasticity equations. IMA J. Numer. Anal. 40, 322–357 (2020)
Mora, D., Rivera, G., Rodríguez, R.: A virtual element method for the Steklov eigenvalue problem. Math. Models Methods Appl. Sci. 25, 1421–1445 (2015)
Mora, D., Rivera, G., Rodríguez, R.: A posteriori error estimates for a virtual elements method for the Steklov eigenvalue problem. Comp. Math. Appl. 74, 2172–2190 (2017)
Mora, D., Velásquez, I.: Virtual element for the buckling problem of Kirchhoff-Love plates. Comput. Methods Appl. Mech. Engrg. 360, 112687 (2020)
Perugia, I., Pietra, P., Russo, A.: A plane wave virtual element method for the Helmholtz problem. ESAIM Math. Model. Numer. Anal. 50, 783–808 (2016)
Rjasanow, S., Weißer, S.: Higher order BEM-based FEM on polygonal meshes. SIAM J. Numer. Anal. 50, 2357–2378 (2012)
Sukumar, N., Tabarraei, A.: Conforming polygonal finite elements. Internat. J. Numer. Methods Engrg. 61, 2045–2066 (2004)
Yang, Y., Li, Q., Li, S.: Nonconforming finite element approximations of the Steklov eigenvalue problem. Appl. Numer. Math. 59, 2388–2401 (2009)
Yang, Y., Zhang, Y., Bi, H.: Non-conforming Crouzeix-Raviart element approximation for Stekloff eigenvalues in inverse scattering. Adv. Comput. Math. 46(81), 25 (2020)
Xie, H.: A type of multilevel method for the Steklov eigenvalue problem. IMA J. Numer. Anal. 34, 592–608 (2014)
Wriggers, P., Rust, W.T., Reddy, B.D.: A virtual element method for contact. Comput. Mech. 58, 1039–1050 (2016)
Acknowledgements
FL was partially supported by the National Agency for Research and Development, ANID-Chile through FONDECYT Postdoctorado project 3190204 and FONDECYT project 11200529. DM was partially supported by the National Agency for Research and Development, ANID-Chile through FONDECYT project 1180913 and by project AFB170001 of the PIA Program: Concurso Apoyo a Centros Científicos y Tecnológicos de Excelencia con Financiamiento Basal. GR was partially supported by the National Agency for Research and Development, ANID-Chile through FONDECYT project 11170534. IV was partially supported by project AFB170001 of the PIA Program: Concurso Apoyo a Centros Científicos y Tecnológicos de Excelencia con Financiamiento Basal.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lepe, F., Mora, D., Rivera, G. et al. A Virtual Element Method for the Steklov Eigenvalue Problem Allowing Small Edges. J Sci Comput 88, 44 (2021). https://doi.org/10.1007/s10915-021-01555-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-021-01555-3