A mapping method in inverse Sturm-Liouville problems with singular potentials

In the space L ₂[0, π], the Sturm-Liouville operator L _D(y) = ?y″ + q(x)y with the Dirichlet boundary conditions y(0) = y(π) = 0 is analyzed. The potential q is assumed to be singular; namely, q = σ′, where σ ∈ L ₂[0, π], i.e., q ∈ W ₂ ^?1 [0, π]. The inverse problem of reconstructing the function σ from the spectrum of the operator L _D is solved in the subspace of odd real functions σ(π/2 ? x) = ?σ(π/2 + x). The existence and uniqueness of a solution to this inverse problem is proved. A method is proposed that allows one to solve this problem numerically.     

Asymptotics of the spectrum of the Sturm-Liouville operator with regular boundary conditions

On the interval (0, π), we consider the spectral problem generated by the Sturm-Liouville operator with regular but not strongly regular boundary conditions. For an arbitrary potential q(x) ∈ L ₁ (0, π) [q(x) ∈ L ₂(0, π)], we establish exact asymptotic formulas for the eigenvalues of this problem.     

Weak solution of (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0))u′(0) = ku(0), r(L, u(L))u′ (L) = hu(L) and k, h are suitable elements of [0, ∞]

We consider weak solutions to the nonlinear boundary value problem (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0)) u′(0) = ku(0), r(L, u(L)) u′(L) = hu(L) and k, h are suitable elements of [0, ∞]. In addition to studying some new boundary conditions, we also relax the constraints on r(x, u) and (Fu)(x). r(x, u) > 0 may have a countable set of jump discontinuities in u and r(x, u)^?1?L_q((0, L) × (0, p)). F is an operator from a suitable set of functions to a subset of L_p(0, L) which have nonnegative values. F includes, among others, examples of the form (Fu)(x) = (1 ? H(x ? x₀)) u(x₀), (Fu)(x) = ∫_x^Lf(y, u(y)) dy where f(y, u) may have a countable set of jump discontinuities in u or F may be chosen so that (Fu)′(x) = ? g(x, u(x)) u′(x) ? q(x) u(x) ? f(x, u(x)) where q is a distributional derivative of an L₂(0, L) function.     

On the equiconvergence rate of trigonometric series expansions and eigenfunction expansions for the Sturm-Liouville operator with a distributional potential

We study the Sturm-Liouville operator L = ?d ²/dx ² + q(x) in the space L ₂[0, π] with the Dirichlet boundary conditions. We assume that the potential has the form q(x) = u′(x), u ∈ W ₂ ^θ [0, π], 0 < θ < 1/2. We consider the problem on the uniform (on the entire interval [0, π]) equiconvergence of the expansion of a function f(x) in a series in the system of root functions of the operator L with its Fourier expansion in the system of sines. We show that if the antiderivative u(x) of the potential belongs to any of the spaces W ₂ ^θ [0, π], 0 < θ < 1/2, then the equiconvergence rate can be estimated uniformly over the ball u(x) ∈ B _R = {v(x) ∈ W ₂ ^θ [0, π] | ∥v∥_{W 2} ^θ ≤ R} for any function f(x) ∈ L ₂[0, π].     

Equiconvergence of the trigonometric Fourier series and the expansion in eigenfunctions of the Sturm-Liouville operator with a distribution potential

We consider the Sturm-Liouville operator L = ?d ²/dx ² + q(x) with the Dirichlet boundary conditions in the space L ₂[0, π] under the assumption that the potential q(x) belongs to W ₂ ^?1 [0, π]. We study the problem of uniform equiconvergence on the interval [0, π] of the expansion of a function f(x) in the system of eigenfunctions and associated functions of the operator L and its Fourier sine series expansion. We obtain sufficient conditions on the potential under which this equiconvergence holds for any function f(x) of class L ₁. We also consider the case of potentials belonging to the scale of Sobolev spaces W ₂ ^?θ [0, π] with ½ < θ ≤ 1. We show that if the antiderivative u(x) of the potential belongs to some space W ₂ ^θ [0, π] with 0 < θ < 1/2, then, for any function in the space L ₂[0, π], the rate of equiconvergence can be estimated uniformly in a ball lying in the corresponding space and containing u(x). We also give an explicit estimate for the rate of equiconvergence.     

Asymptotic analysis of non-self-adjoint Hill operators

We obtain uniform asymptotic formulas for the eigenvalues and eigenfunctions of the Sturm-Liouville operators L _t (q) with a potential q ∈ L ₁[0,1] and t-periodic boundary conditions, t ∈ (?π, π]. Using these formulas, we find sufficient conditions on the potential q such that the number of spectral singularities in the spectrum of the Hill operator L(q) in L ₂(?∞,∞) is finite. Then we prove that the operator L(q) has no spectral singularities at infinity and it is an asymptotically spectral operator provided that the potential q satisfies sufficient conditions.     

Basis Properties of the System of Root Functions of the Sturm–Liouville Operator with Degenerate Boundary Conditions: I

The spectral problem for the Sturm–Liouville operator with an arbitrary complex-valued potential q(x) of the class L¹(0, π) and degenerate boundary conditions is considered. We prove that the system of root functions of this operator is not a basis in the space L²(0, π).     

On a new class of boundary value problems for the Sturm-Liouville operator

We consider the spectral problem generated by the Sturm-Liouville operator with complex-valued potential q(x) ∈ L ₂(0, π) and degenerate boundary conditions. We show that the set of potentials q(x) for which there exist associated functions of arbitrarily high order in the system of root functions is everywhere dense in L ₁(0, π).     

Asymmetry of twisted convolution operators

Let K be a distribution on $\text{R}$². We denote by λ(K) the twisted convolution operator f → K × f defined by the formula K × f(x, y) = ∝∝ dudvK(x ? u, y ? v) f(u, v) exp(ixv ? iyu). We show that there exists K such that the operator λ(K) is bounded on L^p(R)² for every p in (1, 2¦, but is unbounded on L^q(R)² for every q > 2.     

Solution of boundary value problems in cylinders separated by a three-layer film into two semicylinders

Boundary value problems are considered for the class of equations ? _x ² u + L[u] = 0 in cylinders D = (x ?? R, y ?? Q ? R ^m ) with an infinitely thin film at x = 0 consisting of three sublayers with alternating high and low permeability (L-linear differential operator with respect to y _i ). The solutions of the problems are expressed in terms of those of the corresponding classical boundary value problems in homogeneous cylinders D with no film. The resulting formulas have the form of simple quadrature rules, which are amenable to numerical computations.     

Generalized periodic solutions of quasilinear equations

We study a boundary-value periodic problem for the quasilinear equationu _ff ?u _xx =F[u,u _f u _x ],u(0,t) =u (π,t),u (x, t + π/q) =u(x, t), 0 ≤x ≤π,t ∈ ?,q ∈ ?. We establish conditions under which the theorem on the uniqueness of a smooth solution is true.     

Determination of a differential pencil from interior spectral data

In this paper, inverse spectra problems for a differential pencil are studied. By using the approach similar to those in Hochstadt and Lieberman (1978) [14] and Ramm (2000) [26], we prove that (1) if p(x) (or q(x)) is full given on the interval [0,π], then a set of values of eigenfunctions at the mid-point of the interval [0,π] and one spectrum suffice to determine q(x) (or p(x)) on the interval [0,π] and all parameters in the boundary conditions; (2) if p(x) (or q(x)) is full given on the interval [0,π], then some information on eigenfunctions at some internal point and parts of two spectra suffice to determine q(x) (or p(x)) on the interval [0,π] and all parameters in the boundary conditions.     

The conformal plate buckling equation

The linear equation Δ²u = 1 for the infinitesimal buckling under uniform unit load of a thin elastic plate over ?² has the particularly interesting nonlinear generalization Δ_g²u = 1, where Δ_g = e^?2u Δ is the Laplace‐Beltrami operator for the metric g = e^2ug₀, with g₀ the standard Euclidean metric on ?². This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order Δu(x)+K_g(x) exp(2u(x)) = 0 and Δ K_g(x) + exp(2u(x)) = 0, with x ∈ ?², describing a conformally flat surface with a Gauss curvature function K_g that is generated self‐consistently through the metric's conformal factor. We study this conformal plate buckling equation under the hypotheses of finite integral curvature ∫ K_g exp(2u)dx = κ, finite area ∫ exp(2u)dx = α, and the mild compactness condition K₊ ∈ L¹(B₁(y)), uniformly w.r.t. y ∈ ?². We show that asymptotically for |x|→∞ all solutions behave like u(x) = ?(κ/2π)ln |x| + C + o(1) and K(x) = ?(α/2π) ln|x| + C + o(1), with κ ∈ (2π, 4π) and . We also show that for each κ ∈ (2π, 4π) there exists a K^* and a radially symmetric solution pair u, K, satisfying K(u) = κ and maxK = K^*, which is unique modulo translation of the origin, and scaling of x coupled with a translation of u. © 2001 John Wiley & Sons, Inc.     

On moment-discretization and least-squares solutions of linear integral equations of the first kind

Let K(s, t) be a continuous function on [0, 1] × [0, 1], and let $\text{K}$ be the linear integral operator induced by the kernel K(s, t) on the space $\text{L}$₂[0, 1]. This note is concerned with moment-discretization of the problem of minimizing 6K_x?y6 in the $\text{L}$₂-norm, where y is a given continuous function. This is contrasted with the problem of least-squares solutions of the moment-discretized equation: ∝₀¹K(s_i, t) x(t) dt = y(s_i), i = 1, 2,h., n. A simple commutativity result between the operations of “moment-discretization” and “least-squares” is established. This suggests a procedure for approximating $\text{K2y}$ (where $\text{K}$² is the generalized inverse of $\text{K}$), without recourse to the normal equation $\text{K1Kx = K1y}$, that may be used in conjunction with simple numerical quadrature formulas plus collocation, or related numerical and regularization methods for least-squares solutions of linear integral equations of the first kind.     

An approximation technique for nonlinear integral operations

Approximation results for J. S. Mac Nerney's theory of nonlinear integral operations are established. For the nonlinear product integral _xΠ^y (1 + V)P, approximations of the form Π_{i = 1}ⁿ [1 + L_q(x_i?1, x_i)]P are considered, where L₁(u, v)P = ∝_u^vVP and L_q(u, v)P = ∝_u^vV(r, s)[1 + L_q?1(s, v)]P for q = 2, 3,…. Error bounds are obtained for the difference between the product integral and the preceding product.     

A finite difference solution to a two-dimensional parabolic inverse problem

In this paper, we consider the problem of finding u = u(x, y, t) and p = p(t) which satisfy u_t = u_xx + u_yy + p(t)u + ? in R × [0, T], u(x, y, 0) = f(x, y), (x, y) ∈ R = [0, 1] × [0, 1], u is known on the boundary of R and u(x^∗, y^∗, t) = E(t), 0 < t ? T, where E(t) is known and (x^∗, y^∗) is a given point of R. Through a function transformation, the nonlinear two-dimensional diffusion problem is transformed into a linear problem, and a backward Euler scheme is constructed. It is proved by the maximum principle that the scheme is uniquely solvable, unconditionally stable and convergent in L_∞ norm. The convergence orders of u and p are of O(τ + h²). The impact of initial data errors on the numerical solution is also considered. Numerical experiments are presented to illustrate the validity of the theoretical results.     

Riesz basis property of system of root functions of second-order differential operator with involution

The properties of the root functions are studied for an arbitrary operator generated in L ₂(?1, 1) by the operation with involution of the form Lu = ?u″(x)+αu″(?x)+q(x)u(x)+ qν(x)u(ν(x)), where α ∈ (?1, 1), ν(x) is an absolutely continuous involution of the segment [?1, 1] and the coefficients q(x) and qν(x) are summable functions on (?1, 1). Necessary and sufficient conditions are obtained for the unconditional basis property in L ₂(?1, 1) for the system of the root functions of the operator.     

On the completeness of the system of root functions of the Sturm-Liouville operator with degenerate boundary conditions

We consider the spectral problem generated by the Sturm-Liouville equation with arbitrary complex-valued potential q(x) ∈ L ₁(0, π) and with degenerate boundary conditions. We obtain sufficient conditions for the completeness of the system of eigenfunctions and associated functions of this operator.     

Asymptotic behavior on (−∞, 0) of the spectral measures of a family of singular Sturm-Liouville operators

We find the asymptotics as λ/? → ?∞ of the density of the spectral measure of the Sturm-Liouville operator in L ²(0,+∞) generated by the expression ?y″ + ?q(x)y, ? > 0, with the boundary condition y(0) cos α+y′(0) sinα = 0. The potential q(x) tends to ?∞ as x → +∞ and is assumed to satisfy the Sears condition and some additional regularity conditions.     

Dirac Operator with a Potential of Special Form and with the Periodic Boundary Conditions

We consider the Dirac operator on the interval [0, 1] with the periodic boundary conditions and with a continuous potential Q(x) whose diagonal is zero and which satisfies the condition Q(x) = Q^T(1?x), x ∈ [0, 1]. We establish a relationship between the spectrum of this operator and the spectra of related functional-differential operators with involution. We prove that the system of eigenfunctions of this Dirac operator has the Riesz basis property in the space L ₂ ² [0, 1].