Trace Formulae for Second-Order Differential Pencils with a Frozen Argument

: This paper deals with second-order differential pencils with a ﬁxed frozen argument on a ﬁnite interval. We obtain the trace formulae under four boundary conditions: Dirichlet–Dirichlet, Neumann–Neumann, Dirichlet–Neumann, Neumann–Dirichlet. Although the boundary conditions and the corresponding asymptotic behaviour of the eigenvalues are different, the trace formulae have the same form which reveals the impact of the frozen argument

Trace is an important conserved quantity in matrix theory.In finite dimensional space, the sum of principal diagonal elements of a matrix equals to the sum of eigenvalues which we call the trace.While considering the differential operators in the Hilbert space, however, a sum of infinitely many eigenvalues leads to a divergence series.In 1953, for the first time, Gelfand and Levitan [1] introduced an interesting formula for the Sturm-Liouville operator: where the operator was generated by the Neumann-Neumann-type boundary problem −y (x) + q(x)y(x) = λy(x), y (0) = y (π) = 0, and q(x) ∈ C 1 [0, π], λ n are the corresponding eigenvalues.After that, many scholars put attention to this quantity, which has many applications in integrable system theory and the inverse problem [2][3][4][5][6].Also, it turned out that regularized trace formulae had physical meaning, as discussed by Sadovnichii and Podol'skii [7]: "The meaning of the regularized trace as a measure of the defect of the total energy of the system when it is perturbed in the case when the total energy itself of the system (more precisely, of the model under consideration) is infinite • • • ".
In physics, the interactions between colliding particles is of fundamental significance.For example, Jaulent and Jean [8] describe this phenomenon by s-wave Schrödinger equation with a radial static potential V(x): where V(E, x) is the following form for the energy dependence: With an additional condition Q(x) = −P 2 (x), the above Schrödinger equation reduces to the Klein-Gordon equation for a particle of zero mass and energy E, which could serve as part of Lax pair in a two-component Camassa-Holm Equation [9].Due to the nonlinear dependence on the spectral parameter, the corresponding inverse spectral problem and inverse scattering theory are difficult; we refer to papers [10][11][12][13][14][15][16].With the method of asymptotic estimation on the family of contours [17], Cao and Zhuang [18] studied regularized traces of the Schrödinger equation with energy-dependent potential, in which the final quantity only contains the term with P(x).Further, Yang [19][20][21] obtained some new formulae related to both P(x) and Q(x).
Recently, the Sturm-Liouville equation with the frozen argument of the form has attracted much attention.This equation can be classified as a special case of a functional differential equation with a deviating argument.Especially Equation (4) belongs to the class of loaded equations [22] which arise in mathematical physics, such as groundwater dynamics [23,24], heat conduction [25,26], system with energy feedback [27].
For the inverse spectral problem of differential operators with frozen argument, the classical approaches like the method of spectral mappings and the Gelfand-Levian-Marchenko method do not work.Albeverio et al. [28] and Nizhnik [29,30] studied some special cases where the nonlocal boundary condition guarantees the self-adjointness of the corresponding operator.Bondarenko et al. [31] studied Equation (4) with Boundary conditions (2) where 1/a ∈ N and α, β ∈ {0, 1}.They classified two cases: degenerate and non-degenerate, depending on the values of α, β and on the parity of k = 1/a.Moreover, Bondarenko et al. established the unique solvability of the inverse problem.For the study of different aspects of this operator, such as arbitrary a ∈ (0, 1), non-separated boundary conditions, etc., we refer to [32][33][34][35][36][37][38][39][40].Namely, Kuznetsova [41,42] proved the well-posedness of the inverse spectral problem generated by ( 4) and ( 2) by a new approach, which is effective in both the rational and irrational cases.Bondarenko [43] explained the relation between the Sturm-Liouville operators with frozen argument and the Laplace operator with integral matching conditions on a star-shaped graph.Also, as pointed out by Buterin [44], the frozen argument term appeared naturally in the study of a Sturm-Liouville operator with constant delay.
However, there are few works on differential pencils with frozen argument.Equation (1) appears, for example, after applying the Fourier method of separation of variables to the following loaded hyperbolic equation: where a ∈ (0, 1), λ is a spectral parameter, r(x) is called the loss function and q(x) the impedance function.This model arises in the study of inverse scattering in lossy layered media [45]; moreover, we assume that the model is affected by a magnetic field exerting a force-per-unit mass represented by −(λr(x) + q(x))u(a, t), i.e., depending on the lateral displacement u(a, t) at point a at time t.The author of [46] studied the inverse spectral problem for L α,β by using the approach suggested in [31].Namely, L α,β share the same degenerate and non-degenerate conditions with boundary value problem ( 4) and (2).
Motivated by the works of Cao and Zhuang [18], we focus on regularized traces of L α,β .For the next section, we recall some basic facts from [46], i.e., the integral equation for the characteristic functions of L α,β and asymptotic behaviour of the corresponding eigenvalues; then, we provide the main results.Finally, we offer a conclusion.

Preliminaries and Main Results
We let C(x, ρ), S(x, ρ) be the solutions of Equation ( 1) under the initial conditions It is easy to verify that Integrating by parts the second term of (5), we obtain We define then, it is easy to verify that the eigenvalues of L α,β coincide with the zeros of ∆ α,β (ρ).

Lemma 1 ([17]
).Let ω(z) and ω 0 (z) be two entire functions on a z−plane and have no zeros on some closed contour Γ. Suppose that ω(z) where λ n and µ n are zeros of ω(z) and ω 0 (z) inside Γ correspondingly, and σ is a positive integer.

Conclusions
In this paper, we deduce the trace formulae of second-order differential pencils with frozen argument.By applying the methods in complex analysis, we calculate the regularized sum of infinite eigenvalues of L α,β in the Gelfand-Levitan sense.Let us mention some advantages of our approach: 1.
Operator L α,β is non-selfadjoint which may have complex eigenvalues with multiplicity; however, the method we use allows us dealing with the regularized sum of eigenvalues in the whole meaning.

2.
The regularized trace of L α,β depends only on the value of q 1 (x) at the frozen point a, regardless of the boundary conditions and the potential q 0 (x).

3.
In the study of inverse spectral problem of L α,β , the rationality of frozen argument a is important.Whether a is rational leads to different approachs of inverse spectral problem.However, we do not need this distinction while calculating the trace formulae.Funding: The author Hu was supported by the Fundamental Research Funds for the Central Universities (XJS220703, ZYTS23049).

Author Contributions:
Methodology, Y.-T.H.; Writing-original draft, Y.-T.H.; Writing-review & editing, M.Ş.All authors have read and agreed to the published version of the manuscript.