Optimization Inverse Spectral Problems for Sturm--Liouville Operators with Potentials in Lp(0,1)
Abstract
We study an optimization inverse spectral problem (OISP) for a one-dimensional Sturm--Liouville operator on a finite interval. The problem is to find a potential V ∈ Lp(0,1) that realizes a prescribed finite set λ1* < λ2* < … < λm* and has the smallest Lp(0,1)-distance from an a priori given potential V0 ∈ Lp(0,1). We formulate and prove results on the regularity of the isospectral manifold, the existence of an OISP solution, and an explicit analytic representation of the optimal potential by means of a power map applied to a linear combination of squared eigenfunctions. Using a unified differential-algebraic approach to squared eigenfunctions, we show that whenever these squares are linearly dependent, the corresponding potential can be expressed in terms of them and is an analytic function. For p=2, we prove that nondegenerate stationary points are isolated and that the number of global minima is finite provided that each of them is nondegenerate. For every 1<p<∞, we establish uniqueness for the first eigenvalue when λ1*≥λ1(V0) and generic global uniqueness in the sense of Baire category in Lp(0,1). A separate section provides examples with at least two global minima for m=1,2 in the presence of a sufficiently high finite symmetric barrier. We describe an iteration with frozen eigenfunctions and a local Newton--KKT method with continuation in the spectral data, and state explicitly the limits of their guarantees. The final part discusses applications of OISP theory to nonlinear boundary value problems and to applied problems of diagnostics and optimal spectral design of acoustic and electromagnetic resonators.
Related
- The spectral ζ-function of Sturm--Liouville operators with N generalized point potentials
- Finite inverse nodal problems for singular weighted Sturm--Liouville equations: variational selection and spectral matching
- Large deviations of spectral determinants of matrix-valued random Schrödinger operators and Dyson Brownian motion in cubic potentials
- Solving Inverse Dirac-weighted Sturm-Liouville Problems via Cauchy problems
- Transmutation operators for the Sturm--Liouville equation in impedance form with an integrable potential
BibTeX
@misc{valeev2026optimization,
title = {{Optimization Inverse Spectral Problems for Sturm--Liouville Operators with Potentials in $L^p(0,1)$}},
author = {Nur Valeev},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.40231},
eprint = {2610.40231},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.40231},
}
RIS
TY - UNPB
TI - Optimization Inverse Spectral Problems for Sturm--Liouville Operators with Potentials in L^p(0,1)
AU - Nur Valeev
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.40231
UR - https://arxiv.org/abs/2610.40231
AB - We study an optimization inverse spectral problem (OISP) for a one-dimensional Sturm--Liouville operator on a finite interval. The problem is to find a potential V ∈ L^p(0,1) that realizes a prescribed finite set λ_1^* < λ_2^* < … < λ_m^* and has the smallest L^p(0,1)-distance from an a priori given potential V_0 ∈ L^p(0,1). We formulate and prove results on the regularity of the isospectral manifold, the existence of an OISP solution, and an explicit analytic representation of the optimal potential by means of a power map applied to a linear combination of squared eigenfunctions. Using a unified differential-algebraic approach to squared eigenfunctions, we show that whenever these squares are linearly dependent, the corresponding potential can be expressed in terms of them and is an analytic function. For p=2, we prove that nondegenerate stationary points are isolated and that the number of global minima is finite provided that each of them is nondegenerate. For every 1<p<∞, we establish uniqueness for the first eigenvalue when λ_1^*≥λ_1(V_0) and generic global uniqueness in the sense of Baire category in L^p(0,1). A separate section provides examples with at least two global minima for m=1,2 in the presence of a sufficiently high finite symmetric barrier. We describe an iteration with frozen eigenfunctions and a local Newton--KKT method with continuation in the spectral data, and state explicitly the limits of their guarantees. The final part discusses applications of OISP theory to nonlinear boundary value problems and to applied problems of diagnostics and optimal spectral design of acoustic and electromagnetic resonators.
ER -