13
$\begingroup$

Let us start with a problem of the form

$$(\mathcal{L} + k^2) u=0$$

with a set of given boundary conditions (Dirichlet, Neumann, Robin, Periodic, Bloch-Periodic). This corresponds with finding the eigenvalues and eigenvectors for some operator $\mathcal{L}$, under some geometry, and boundary conditions. One can obtain a problem like this in acoustics, electromagnetism, elastodynamics, quantum mechanics, for example.

I know that one can discretize the operator using different methods, e.g, Finite Difference Methods to obtain

$$[A]\{U\} = k^2 \{U\}$$

or using, Finite Element Methods to obtain

$$[K]\{U\} = k^2 [M]\{U\} \enspace .$$

In one case getting an eigenvalue problem and a generalized eigenvalue problem in the other. After obtaining the discrete version of the problem one uses a solver for the eigenvalue problem.

Some thoughts

  • The method of Manufactured Solutions is not useful in this case since there is no source term to balance the equation.
  • One can verify that the matrices $[K]$ and $[M]$ are well captured using a frequency domain problem with source term, e.g.

    $$[\nabla^2 + \omega^2/c^2] u(\omega) = f(\omega) \enspace ,\quad \forall \omega \in [\omega_\min, \omega_\max]$$

    instead of

    $$[\nabla^2 + k^2] u = 0 \enspace .$$

    But this will not check the solver issues.

  • Maybe, one can compare solutions for different methods, like FEM and FDM.

Question

What is the way to verify the solutions (eigenvalue-eigenvector pairs) for discretization schemes due to numerical methods like FEM and FDM for eigenvalue problems?

$\endgroup$
  • $\begingroup$ Can you compare your results to the spectra for known cases (square, cube, circle, sphere)? There are also expected convergence rates for eigenvectors and eigenvalues in appropriate norms that you can check (though these rates tend to vary depending on frequency - see journals.cambridge.org/action/…) $\endgroup$ – Jesse Chan Jul 15 '15 at 4:03
  • $\begingroup$ Yes, you can compare with analytic solutions. But normally they are provided for really simple cases. The question is about how to do the verification process. If there is something similar to the method oh manufactured solutions. Or if you should combine this method for other problems with analytical solutions. $\endgroup$ – nicoguaro Jul 15 '15 at 4:05
  • 1
    $\begingroup$ In one dimension, if you start with desired $k,v$, and have $(\mathcal{L}+k^2)v = w \neq0$, you could try to decompose $w = fv+gv'$, if such $f,g$ exist, and then run with $\mathcal{L}'=\mathcal{L}-f-g\partial$. This can mess up $\mathcal{L}$'s symmetries and other properties, I suppose. Here $v$ and $v'$ should be linearly independent, and can't vanish at the same point. $\endgroup$ – Kirill Jul 15 '15 at 4:23
  • $\begingroup$ @JesseChan, thanks for the suggested reading. It took me some time but I read it. I don't think that they provide enough information for the desired purpose. $\endgroup$ – nicoguaro Aug 8 '15 at 0:45
  • 1
    $\begingroup$ I want to be sure that I have understood you correctly. Do you want to know how to estimate the distance between computed eigenpairs for discrete operator (matrix or matrices) and the corresponding eigenpair for the smooth operator? Or do you want to now how to estimate the accuracy by which you have solved a discrete eigenvalue problem? $\endgroup$ – Carl Christian Jun 8 '16 at 17:08
3
$\begingroup$

I realize this question is old, but I just saw it and find it interesting. In the past, I have followed the suggestions found in this question's comments, coupled with some slightly more complicated cases that I'm familiar with in the literature (Orr--Sommerfeld is always handy).

However, I'm also aware of some literature on the inhomogeneous eigenvalue problems that arise when constructing a manufactured solution. There is some discussion of such problems here: DOI: 10.1016. These authors also suggest a so-called Method of Manufactured Cross Sections (MXS, I guess) to avoid this issue altogether, which I won't pretend to understand at the moment, but could very well be useful.

$\endgroup$
  • $\begingroup$ What they propose as "inhomogeneous eigenvalue problem" is the approach I proposed in my original post. I am still trying to understand the Method of Manufactured Cross Sections, though. $\endgroup$ – nicoguaro Mar 4 at 21:01
  • $\begingroup$ I realize that, just suggesting that some literature exists for such problems so it might not be a dead-end as you suggested: "Manufactured Solutions is not useful in this case since there is no source term to balance the equation." $\endgroup$ – Spencer Bryngelson Mar 4 at 22:45
  • $\begingroup$ It is not a criticism of your post. Quite the opposite! I am just commenting what I found after reading the reference to promote the discussion. $\endgroup$ – nicoguaro Mar 4 at 23:02
2
$\begingroup$

For the second-order derivative (and the Laplacian on simple domains), expressions for the discrete eigenpairs (i.e. after discretization) are available. For example, for finite-difference, the eigenpairs are listed here.

Expression for the eigenpairs with a finite-element discretization can be found similarly (for P1 and P2 discretization).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.