Quantitative theory of the inverse spectral problem for Sturm-Liouville operator with applications

Abstract

An interesting inverse optimization spectral problem, with important applications in structural health monitoring and damage detection, material design, seismic wave analysis, sonar detection, and related fields, involves reconstructing a potential $\hat{q}$ from a finite set of observed eigenvalues such that $\hat{q}$ yields an optimal approximation of the target potential $q_0$. Previous efforts have been confined to qualitative analysis, whereas the quantitative counterpart remains an open problem. This paper introduces a quantitative framework for the inverse spectral problem by using a phase plane analysis (planar dynamical system approach). We provide a quantitative characterization of the relationship between the reconstructed potential $\hat{q}$, its target potential $q_0$, and the observed eigenvalue $λ_*$. Remarkably, for ${q} \in \mathcal{L}^2$, our analysis yields a substantially stronger conclusion: an exact analytical expression for the reconstructed potential $\hat{q}$. In other words, our framework yields a complete resolution of the optimization inverse spectral problem in the $\mathcal{L}^2$ case. Moreover, we establish the uniqueness of $\hat{q}$ {\bf for any $q_0, λ_*\in \mathbb R$}, a key advance that eliminates the need for traditional constraints linking $λ_*$ and $q_0$. An additional finding is the construction of a homeomorphic mapping that reveals the dilation relation between the errors $\|\hat{q} - q_0\|_{\mathcal L^p}$ associated with the $m$-th eigenvalue and the principal eigenvalue. A summary of the main results, along with practical applications in engineering and mathematical physics, concludes this work.

Figures (4)

• Figure 1: Phase portrait of the critical equation ($q_0\leq\lambda_*<q_0+m^2\pi^2$).
• Figure 2: Phase portrait of the critical equation ($q_0+m^2\pi^2<\lambda_*$).
• Figure 3: Phase portrait of the critical equation ($\lambda_*<q_0-m^2\pi^2$).
• Figure 4: The relationship between $\lambda_*-q_0$ and $\|\hat{q}-q_0\|_{\mathcal{L}^2}$.

Theorems & Definitions (23)

• Theorem 2.1
• proof
• Theorem 2.2
• proof
• Lemma 3.1
• proof
• Theorem 3.2
• proof
• Theorem 3.3
• proof