SearcharxivSearch

arXiv · 2304.05487

An inverse Sturm--Liouville-type problem with constant delay and non-zero initial function

Abstract

We suggest a new statement of the inverse spectral problem for Sturm--Liouville-type operators with constant delay. This inverse problem consists in recovering the coefficient (often referred to as potential) of the delayed term in the corresponding equation from the spectra of two boundary value problems with one common boundary condition. However, all studies in this direction focus on the case of the zero initial function, i.e. they exploit the assumption that the potential vanishes on the corresponding subinterval. In the present paper, we waive that assumption in favor of a continuously matching initial function, which leads to appearing an additional term with frozen argument in the equation. For the resulting new inverse problem, we pay a special attention to the situation when one of the spectra is given only partially. Sufficient conditions and necessary conditions on the corresponding subspectrum for the unique determination of the potential are obtained, and a constructive procedure for solving the inverse problem is given. In parallel, we obtain the characterization of the spectra for the zero initial function and the Neumann common boundary condition, which is found to include an additional restriction as compared with the case of the Dirichlet common condition.

Explore related subjects

Keep this discovery

BibTeXRIS

Sergey Buterin, Sergey Vasilev. 2023-04-11. An inverse Sturm--Liouville-type problem with constant delay and non-zero initial function. https://arxiv.org/abs/2304.05487

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Regular hyperbolic tilings have no $\ell^2$ eigenfunctions

We show that the adjacency operator of the $1$-skeleton of any regular tiling of the hyperbolic plane has no nonzero square-integrable eigenfunctions. As a consequence, the same holds for every infinite connected regular graph admitting a proper planar embedding with regular dual.

math.SP

Inverse Heat Source Problems from Boundary Flux and Interior Observations on Sets of Low Hausdorff Dimension

This paper investigates conditional stability for inverse source problems for the heat equation with a known temporal factor and an unknown spatial component in a bounded $C^{1,1}$ domain. We focus on observations supported on sets of low Hausdorff dimension and establish conditional stability in this setting. For boundary observations on compact sets of positive $q$-dimensional Hausdorff content, we establish logarithmic stability from full-time boundary flux observations and double-logarithmic stability from delayed-time boundary flux observations. The admissible dimensional ranges are $q>d-2$ when the observation set is contained in a flat boundary patch and $q>d-1-c_{d+1}$ on a general $C^{1,1}$ boundary, where $c_{d+1}>0$ depends only on the dimension. A key ingredient in deriving these results is a new boundary spectral inequality for the Dirichlet Laplacian, which controls a finite Dirichlet spectral sum through observations of the normal derivative of its elliptic extension on such a boundary set. Our results also cover inverse heat source problems with interior observations on sets of positive $q$-dimensional Hausdorff content for some $q>d-1$, yielding logarithmic stability from full-time observations for general sources in $H_0^1(\Omega)$ and H\"older stability from terminal-time observations for sources in a suitable spectral Gevrey class.

math.SP

Resolvent bounds and eigenvalue estimates of generalized Schr\"odinger operators with complex potentials on compact manifolds

We extend Cuenin's compact-manifold spectral bounds for Schr\"odinger operators with complex potentials to a general pseudodifferential setting. More precisely, we study operators \(P+V\), where \(P\) is a positive self-adjoint elliptic classical pseudodifferential operator of positive order and \(V\) is complex-valued. The main analytic input is a resolvent principle showing that spectral cluster estimates for \(P\) imply \(L^p\)-\(L^{p'}\) resolvent estimates along suitable complex curves. Combined with Sogge's spectral cluster bounds, this yields exterior-region resolvent estimates extending those of Krupchyk and Uhlmann; we also prove direct resolvent bounds in the interior region. On Zoll manifolds, we discuss the sharpness of the resulting spectral bounds.

math.SP