### Abstract

We consider a numerical enclosure method for solutions of an inverse Dirichlet eigenvalue problem. When the finite number of prescribed eigenvalues are given, we reconstruct a potential function, with guaranteed error bounds, for which the corresponding elliptic operator exactly has those eigenvalues including the ordering property. All computations are executed with numerical verifications based upon the finite and infinite fixed point theorems using interval arithmetic. Therefore, the results obtained are mathematically correct. We present numerical examples which confirm us the enclosure algorithm works on real problems.

Original language | English |
---|---|

Pages (from-to) | 587-602 |

Number of pages | 16 |

Journal | Japan Journal of Industrial and Applied Mathematics |

Volume | 18 |

Issue number | 2 |

Publication status | Published - 2001 Jun |

Externally published | Yes |

### Keywords

- Computer assisted proof
- Inverse elliptic eigenvalue problem
- Numerical verification method

### ASJC Scopus subject areas

- Mathematics(all)
- Applied Mathematics

## Fingerprint Dive into the research topics of 'Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data'. Together they form a unique fingerprint.

## Cite this

Nakao, M. T., Watanabe, Y., & Yamamoto, N. (2001). Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data.

*Japan Journal of Industrial and Applied Mathematics*,*18*(2), 587-602.