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, π].     

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.     

Asymptotic behavior of the maximal zero of a polynomial orthogonal on a segment with a nonclassical weight

Let {p _n (t)} _n=0 ^t8 be a system of algebraic polynomials orthonormal on the segment [?1, 1] with a weight p(t); let {x _n,ν ^(p) } _ν=1 ⁿ be zeros of a polynomial p _n (t) (x _x,ν ^(p) = cosθ _n,ν ^(p) ; 0 < θ _n,1 ^(p) < θ _n,2 ^(p) < ... < θ _n,n ^(p) < π). It is known that, for a wide class of weights p(t) containing the Jacobi weight, the quantities θ _n,1 ^(p) and 1 ? x _n,1 ^(p) coincide in order with n ^?1 and n ^?2, respectively. In the present paper, we prove that, if the weight p(t) has the form p(t) = 4(1 ? t ²)^?1{ln²[(1 + t)/(1 ? t)] + π ²}^?1, then the following asymptotic formulas are valid as n → ∞:

$$\theta _{n,1}^{(p)} = \frac{{\sqrt 2 }}{{n\sqrt {\ln (n + 1)} }}\left[ {1 + {\rm O}\left( {\frac{1}{{\ln (n + 1)}}} \right)} \right],x_{n,1}^{(p)} = 1 - \left( {\frac{1}{{n^2 \ln (n + 1)}}} \right) + O\left( {\frac{1}{{n^2 \ln ^2 (n + 1)}}} \right).$$

     

On the properties of maps connected with inverse Sturm-Liouville problems

Let L _D be the Sturm-Liouville operator generated by the differential expression L _y = ?y″ + q(x)y on the finite interval [0, π] and by the Dirichlet boundary conditions. We assume that the potential q belongs to the Sobolev space W ₂ ^? [0, π] with some ? ≥ ?1. It is well known that one can uniquely recover the potential q from the spectrum and the norming constants of the operator L _D. In this paper, we construct special spaces of sequences ? ₂ ^θ in which the regularized spectral data {s _k } _?∞ ^∞ of the operator L _D are placed. We prove the following main theorem: the map F _q = {s _k } from W ₂ ^? to ? ₂ ^θ is weakly nonlinear (i.e., it is a compact perturbation of a linear map). A similar result is obtained for the operator L _DN generated by the same differential expression and the Dirichlet-Neumann boundary conditions. These results serve as a basis for solving the problem of uniform stability of recovering a potential. Note that this problem has not been considered in the literature. The uniform stability results are formulated here, but their proof will be presented elsewhere.     

Bessel Property of the System of Root Functions of a Second-Order Singular Operator on an Interval

For the system of root functions of an operator defined by the differential operation ?u″ + p(x)u′ + q(x)u, x ∈ G = (0, 1), with complex-valued singular coefficients, sufficient conditions for the Bessel property in the space L₂(G) are obtained and a theorem on the unconditional basis property is proved. It is assumed that the functions p(x) and q(x) locally belong to the spaces L₂ and W₂^?1, respectively, and may have singularities at the endpoints of G such that q(x) = q_R(x) +q′S(x) and the functions q_S(x), p(x), q ₂ ^S (x)w(x), p²(x)w(x), and q_R(x)w(x) are integrable on the whole interval G, where w(x) = x(1 ? x).     

On Representation of a Solution to the Cauchy Problem by a Fourier Series in Sobolev-Orthogonal Polynomials Generated by Laguerre Polynomials

We consider the problem of representing a solution to the Cauchy problem for an ordinary differential equation as a Fourier series in polynomials l _r,k ^α (x) (k = 0, 1,...) that are Sobolev-orthonormal with respect to the inner product

$$\left\langle {f,g} \right\rangle = \sum\limits_{v = 0}^{r - 1} {{f^{(v)}}(0){g^{(v)}}} (0) + \int\limits_0^\infty {{f^{(r)}}(t)} {g^{(r)}}(t){t^\alpha }{e^{ - t}}dt$$

, and generated by the classical orthogonal Laguerre polynomials L _k ^α (x) (k = 0, 1,...). The polynomials l _r,k ^α (x) are represented as expressions containing the Laguerre polynomials L _n ^α?r (x). An explicit form of the polynomials l _r,k+r ^α (x) is established as an expansion in the powers x ^r+l , l = 0,..., k. These results can be used to study the asymptotic properties of the polynomials l _r,k ^α (x) as k→∞and the approximation properties of the partial sums of Fourier series in these polynomials.

     

Systems of dilated functions: Completeness,minimality, basisness

The completeness, minimality, and basis property in L ²[0, π] and L ^p[0, π], p ≠ 2, are considered for systems of dilated functions u _n (x) = S(nx), n ∈ N, where S is the trigonometric polynomial S(x) = Σ _k=0 ^m a _k sin(kx), a ₀ a _m ≠ 0. A series of results are presented and several unanswered questions are mentioned.     

A tracing of the fractional temperature field

This paper is devoted to a study of L~q-tracing of the fractional temperature field u(t, x)—the weak solution of the fractional heat equation(?_t +(-?_x)~α)u(t, x) = g(t, x) in L~p(R_+~(1+n)) subject to the initial temperature u(0, x) = f(x) in L~p(R~n).     

The program iteration method in a game problem of guidance

Let a sequence of d-dimensional vectors n _k = (n _k ¹ , n _k ² ,..., n _k ^d ) with positive integer coordinates satisfy the condition n _k ^j = α _j m _k +O(1), k ∈ ?, 1 ≤ j ≤ d, where α ₁ > 0,..., α _d > 0 and {m _k } _k=1 ^∞ is an increasing sequence of positive integers. Under some conditions on a function φ: [0,+∞) → [0,+∞), it is proved that, if the sequence of Fourier sums \({S_{{m_k}}}\) (g, x) converges almost everywhere for any function g ∈ φ(L)([0, 2π)), then, for any d ∈ ? and f ∈ φ(L)(ln⁺ L) ^d?1([0, 2π) ^d ), the sequence \({S_{{n_k}}}\) (f, x) of rectangular partial sums of the multiple trigonometric Fourier series of the function f and the corresponding sequences of partial sums of all conjugate series converge almost everywhere.     

Equiconvergence of expansions in multiple Fourier series and in fourier integrals with “lacunary sequences of partial sums”

We investigate the equiconvergence on T^N = [?π, π)^N of expansions in multiple trigonometric Fourier series and in the Fourier integrals of functions f ∈ L_p(T^N) and g ∈ L_p(R^N), p > 1, N ≥ 3, g(x) = f(x) on T^N, in the case where the “partial sums” of these expansions, i.e., S_n(x; f) and J_α(x; g), respectively, have “numbers” n ∈ Z^N and α ∈ R^N (n_j = [α_j], j = 1,..., N, [t] is the integral part of t ∈ R¹) containing N ? 1 components which are elements of “lacunary sequences.”     

Dirac system with potential lying in Besov spaces

We study the spectral properties of the Dirac operator L_P,U generated in the space (L₂[0, π])² by the differential expression By′ + P(x)y and by Birkhoff regular boundary conditions U, where y = (y₁, y₂)^t, \(B = \left( {\begin{array}{*{20}{c}} { - i}&0 \\ 0&i \end{array}} \right)\), and the entries of the matrix P are complexvalued Lebesgue measurable functions on [0, π]. We also study the asymptotic properties of the eigenvalues {λ_n}_n∈Z of the operator L_P,U as n → ∞ depending on the “smoothness” degree of the potential P; i.e., we consider the scale of Besov spaces B_1,∞^θ, θ ∈ (0, 1). In the case of strongly regular boundary conditions, we study the asymptotic behavior of the system of normalized eigenfunctions of the operator L_P,U, and in the case of regular but not strongly regular boundary conditions, we find the asymptotics of two-dimensional spectral projections.     

Series by Haar system with monotone coefficients

Let χ = {χ _n } _n=0 ^∞ be the Haar system normalized in L ²(0, 1) and M = {M _s } _s=1 ^∞ be an arbitrary, increasing sequence of nonnegative integers. For any subsystem of χ of the form {φ _k } = χS = {χ _n } _n∈S , where S = S(M) = {n _k } _k=1 ^∞ = {n ∈ V[p]: p ∈ M}, V[0] = {1, 2} and V[p] = {2 ^p + 1, 2 ^p + 2, …, 2 ^p+1} for p = 1, 2, … a series of the form Σ _i=1 ^∞ a _i φ _i with a _i ↘ 0 is constructed, that is universal with respect to partial series in all classes L ^r (0, 1), r ∈ (0, 1), in the sense of a.e. convergence and in the metric ofL ^r (0, 1). The constructed series is universal in the class of all measurable, finite functions on [0, 1] in the sense of a.e. convergence. It is proved that there exists a series by Haar system with decreasing coefficients, which has the following property: for any ? > 0 there exists a measurable function µ(x), x ∈ [0, 1], such that 0 ≤ µ(x) ≤ 1 and |{x ∈ [0, 1], µ(x) ≠ = 1}| < ?, and the series is universal in the weighted space L _µ[0, 1] with respect to subseries, in the sense of convergence in the norm of L _µ[0, 1].     

Equiconvergence of spectral decompositions for the Dirac system with potential in Lebesgue spaces

The problem of equiconvergence of spectral decompositions corresponding to the systems of root functions of two one-dimensional Dirac operators ?_P,U and ?_0,U with potential P summable on a finite interval and Birkhoff-regular boundary conditions is analyzed. It is proved that in the case of P ∈ L_?[0, π], ? ∈ (1,∞], equiconvergence holds for every function f ∈ L_μ[0, π], μ ∈ [1,∞], in the norm of the space L_ν[0, π], ν ∈ [1,∞], if the indices ?, μ, and ν satisfy the inequality 1/? + 1/μ ? 1/ν ≤ 1 (except for the case when ? = ν = ∞ and μ = 1). In particular, in the case of a square summable potential, the uniform equiconvergence on the interval [0, π] is proved for an arbitrary function f ∈ L₂[0, π].     

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].     

On the deficiency index of the vector-valued Sturm–Liouville operator

Let R₊:= [0, +∞), and let the matrix functions P, Q, and R of order n, n ∈ N, defined on the semiaxis R₊ be such that P(x) is a nondegenerate matrix, P(x) and Q(x) are Hermitian matrices for x ∈ R₊ and the elements of the matrix functions P^?1, Q, and R are measurable on R₊ and summable on each of its closed finite subintervals. We study the operators generated in the space L_n²(R₊) by formal expressions of the form l[f] = ?(P(f' ? Rf))' ? R*P(f' ? Rf) + Qf and, as a particular case, operators generated by expressions of the form l[f] = ?(P₀f')' + i((Q₀f)' + Q₀f') + P'₁f, where everywhere the derivatives are understood in the sense of distributions and P₀, Q₀, and P₁ are Hermitianmatrix functions of order n with Lebesgue measurable elements such that P₀^?1 exists and ∥P0∥, ∥P₀^?1∥, ∥P₀^?1∥∥P₁∥², ∥P₀^?1∥∥Q₀∥² ∈ L_loc¹(R₊). Themain goal in this paper is to study of the deficiency index of the minimal operator L₀ generated by expression l[f] in L_n²(R₊) in terms of the matrix functions P, Q, and R (P₀, Q₀, and P₁). The obtained results are applied to differential operators generated by expressions of the form \(l[f] = - f'' + \sum\limits_{k = 1}^{ + \infty } {{H_k}} \delta \left( {x - {x_k}} \right)f\), where x_k, k = 1, 2,..., is an increasing sequence of positive numbers, with lim_k→+∞x_k = +∞, H_k is a number Hermitian matrix of order n, and δ(x) is the Dirac δ-function.     

On multiple zeros of a partial theta function

We consider the partial theta function θ(q, x) := ∑_j=0^∞q^j(j+1)/2x^j, where x ∈ ? is a variable and q ∈ ?, 0 < |q| < 1, is a parameter. We show that, for any fixed q, if ζ is a multiple zero of the function θ(q, · ), then |ζ| ≤ 8¹¹.     

Approximation properties of de la Vallée-Poussin means for piecewise smooth functions

The value of the deviation of a function f(x) from its de la Vallée-Poussin means V_mⁿ(f, x) with respect to the trigonometric system for classes of piecewise smooth 2π-periodic functions is estimated.     

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, π).     

Inverse problem with nonlocal observation of finding the coefficient multiplying <Emphasis Type="Italic">u</Emphasis> <Subscript> <Emphasis Type="Italic">t</Emphasis> </Subscript> in the parabolic equation

We study the inverse problem of the reconstruction of the coefficient ?(x, t) = ?⁰(x, t) + r(x) multiplying u_t in a nonstationary parabolic equation. Here ?⁰(x, t) ≥ ?⁰ > 0 is a given function, and r(x) ≥ 0 is an unknown function of the class L_∞(Ω). In addition to the initial and boundary conditions (the data of the direct problem), we pose the problem of nonlocal observation in the form ∫₀^Tu(x, t) dμ(t) = χ(x) with a known measure dμ(t) and a function χ(x). We separately consider the case dμ(t) = ω(t)dt of integral observation with a smooth function ω(t). We obtain sufficient conditions for the existence and uniqueness of the solution of the inverse problem, which have the form of ready-to-verify inequalities. We suggest an iterative procedure for finding the solution and prove its convergence. Examples of particular inverse problems for which the assumptions of our theorems hold are presented.     

Nikol’skii inequality between the uniform norm and <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>-norm with jacobi weight of algebraic polynomials on an interval

We study the Nikol’skii inequality for algebraic polynomials on the interval [?1, 1] between the uniform norm and the norm of the space L _q ^(α,β) , 1 ≤ q < ∞, with the Jacobi weight ?(α,β)(x) = (1 ? x) ^α (1 + x) ^β , α ≥ β > ?1. We prove that, in the case α > β ≥ ?1/2, the polynomial with unit leading coefficient that deviates least from zero in the space L _q ^(α+1,,β) with the Jacobi weight ? ^(α+1,β)(x) = (1?x) ^α+1(1+x) ^β is the unique extremal polynomial in the Nikol’skii inequality. To prove this result, we use the generalized translation operator associated with the Jacobi weight. We describe the set of all functions at which the norm of this operator in the space L _q ^(α,β) for 1 ≤ q < ∞ and α > β ≥ ?1/2 is attained.