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

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.     

Integral approximation of the characteristic function of an interval by trigonometric polynomials

We prove that the value E _n?1(χ _h ) _L of the best integral approximation of the characteristic function χ _h of an interval (?h, h) on the period [?π,π) by trigonometric polynomials of degree at most n ? 1 is expressed in terms of zeros of the Bernstein function cos {nt ? arccos[(2q ? (1 + q ²) cost)/(1 + q ² ? 2q cost)]}, t ∈ [0, π], q ∈ (?1,1). Here, the parameters q, h, and n are connected in a special way; in particular, q = sech ? tanh for h = π/n.     

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.     

Short cubic exponential sums over primes

For y ≥ x ^4/5 L ^8B+151 (where L = log(xq) and B is an absolute constant), a nontrivial estimate is obtained for short cubic exponential sums over primes of the form S ₃(α; x, y) = ∑ _x?y<n≤x Λ(n)e(αn ³), where α = a/q + θ/q ², (a, q) = 1, L ^32(B+20) < q ≤ y ⁵ x ^?2 L ^?32(B+20), |θ| ≤ 1, Λ is the von Mangoldt function, and e(t) = e ^2πit.     

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

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

Regularized traces of singular differential operators with canonical boundary conditions

A self-adjoint differential operator \(\mathbb{L}\) of order 2m is considered in L ₂[0,∞) with the classic boundary conditions \(y^{(k_1 )} (0) = y^{(k_2 )} (0) = y^{(k_3 )} (0) = \ldots = y^{(k_m )} (0) = 0\), where 0 ≤ k ₁ < k ₂ < ... < k _m ≤ 2m ? 1 and {k _s } _s=1 ^m ∪ {2m ? 1 ? k _s } _s=1 ^m = {0, 1, 2, ..., 2m ? 1}. The operator \(\mathbb{L}\) is perturbed by the operator of multiplication by a real measurable bounded function q(x) with a compact support: \(\mathbb{P}\) f(x) = q(x)f(x), f ∈ L ₂[0,∞). The regularized trace of the operator \(\mathbb{L} + \mathbb{P}\) is calculated.     

On decompositions of trigonometric polynomials

Let R _t [θ] be the ring generated over R by cosθ and sinθ, and R _t (θ) be its quotient field. In this paper we study the ways in which an element p of R _t [θ] can be decomposed into a composition of functions of the form p = R ? q, where R ∈ R(x) and q ∈ R _t (θ). In particular, we describe all possible solutions of the functional equation R ₁ ? q ₁ = R ₂ ? q ₂, where R ₁,R ₂ ∈ R[x] and q ₁, q ₂ ∈ R _t [θ].     

Theorems on asymptotics for singular Sturm-Liouville operators with various boundary conditions

We consider the Sturm-Liouville operator L(y) = ?d ² y/dx ² + q(x)y in the space L ₂[0, π], where the potential q(x) is a complex-valued distribution of the first order of singularity; i.e., q(x) = u′(x), u ∈ L ²[0, π]. (Here the derivative is understood in the sense of distributions.) We obtain asymptotic formulas for the eigenvalues and eigenfunctions of the operator in the case of the Neumann-Dirichlet conditions [y ^[1](0) = 0, y(π) = 0] and Neumann conditions [y ^[1](0) = 0, y ^[1](π) = 0] and refine similar formulas for all types of boundary conditions. The leading and second terms of asymptotics are found in closed form.     

Planar Graded Lattices and the <Emphasis Type="Bold">c</Emphasis><Subscript>1</Subscript>-Median Property

Let L be a lattice of finite length, ξ = (x ₁,…, x _k )∈L ^k , and y ∈ L. The remoteness r(y, ξ) of y from ξ is d(y, x ₁)+?+d(y, x _k ), where d stands for the minimum path length distance in the covering graph of L. Assume, in addition, that L is a graded planar lattice. We prove that whenever r(y, ξ) ≤ r(z, ξ) for all z ∈ L, then y ≤ x ₁∨?∨x _k . In other words, L satisfies the so-called c ₁ -median property.     

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.     

Solvability of Mixed Problems for the Klein–Gordon–Fock Equation in the Class <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> for <Emphasis Type="Italic">p</Emphasis> ≥ 1

We prove that the mixed problem for the Klein–Gordon–Fock equation u _tt (x, t) ? u _xx (x, t) + au(x, t) = 0, where a ≥ 0, in the rectangle Q _T = [0 ≤ x ≤ l] × [0 ≤ t ≤ T] with zero initial conditions and with the boundary conditions u(0, t) = μ(t) ∈ L _p [0, T ], u(l, t) = 0, has a unique generalized solution u(x, t) in the class L _p (Q _T ) for p ≥ 1. We construct the solution in explicit analytic form.     

Mixed problem for the wave equation with a summable potential and nonzero initial velocity

The resolvent approach in the Fourier method, combined with Krylov’s ideas concerning convergence acceleration for Fourier series, is used to obtain a classical solution of a mixed problem for the wave equation with a summable potential, fixed ends, a zero initial position, and an initial velocity ψ(x), where ψ(x) is absolutely continuous, ψ'(x) ∈ L ₂[0,1], and ψ(0) = ψ(1) = 0. In the case ψ(x) ∈ L[0,1], it is shown that the series of the formal solution converges uniformly and is a weak solution of the mixed problem.     

Hyperquasipolynomials for the Theta-Function

Let g be a linear combination with quasipolynomial coefficients of shifts of the Jacobi theta function and its derivatives in the argument. All entire functions f: ? → ? satisfying f(x+y)g(x?y) = α₁(x)β₁(y)+· · ·+α_r(x)β_r(y) for some r ∈ ? and α_j, β_j: ? → ? are described.     

On the completeness of the system of root vectors of the Sturm-Liouville operator with general boundary conditions

We study general boundary value problems with nondegenerate characteristic determinant Δ(λ) for the Sturm-Liouville equation on the interval [0, 1]. Necessary and sufficient conditions for the completeness of root vectors are obtained in terms of the potential. In particular, it is shown that if Δ(λ) ≠ const, q(·) ∈ C ^k [0, 1] for some k ? 0, and q ^(k)(0) ≠ (?1) ^k q ^(k)(1), then the system of root vectors is complete and minimal in L ^p [0, 1] for p ∈ [1,∞).     

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 Templeman averages and variation functions

Let S be a countable semigroup acting in a measure-preserving fashion (g ? T _g ) on a measure space (Ω, A, µ). For a finite subset A of S, let |A| denote its cardinality. Let (A _k ) _k=1 ^∞ be a sequence of subsets of S satisfying conditions related to those in the ergodic theorem for semi-group actions of A. A. Tempelman. For A-measureable functions f on the measure space (Ω, A, μ) we form for k ≥ 1 the Templeman averages \(\pi _k (f)(x) = \left| {A_k } \right|^{ - 1} \sum\nolimits_{g \in A_k } {T_g f(x)}\) and set V _q f(x) = (Σ _k≥1|π _k+1(f)(x) ? π _k (f)(x)|q)^1/q when q ∈ (1, 2]. We show that there exists C > 0 such that for all f in L ¹(Ω, A, µ) we have µ({x ∈ Ω: V _q f(x) > λ}) ≤ C(∫_Ω | f | dµ/λ). Finally, some concrete examples are constructed.