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

Estimates of Riesz Constants for the Dirac System with an Integrable Potential

We consider the Dirac operator on the interval [0, π] with an integrable potential P = (p_ij (x)) _i,j=1 ² and strongly regular boundary conditions U. It is well known that for any integrable potential P the system {y_n}_n∈Z of root functions of the strongly regular operator L_P,U is a Riesz basis in the space H = L₂[0, π] × L₂[0, π]. We obtain estimates, uniform on every compact set of potentials, of the Riesz constants ||T||||T^?1||, where T is the operator of transition to an orthonormal basis.     

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.     

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.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for Riesz transform and their commutators associated with Schrödinger type operator

Let H ₂ = (?Δ)² + V ² be the Schrödinger type operator, where V satisfies reverse Hölder inequality. In this paper, we establish the L ^p boundedness for V ² H ₂ ^?1 , H ₂ ^?1 V ², VH ₂ ^?1/2 and H ₂ ^?1 V ², and that of their commutators. We also prove that H ₂ ^?1 V ²,VH ₂ ^?1/2 are bounded from BMO _L to BMO _L .     

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.     

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.     

Jacobi translation and the inequality of different metrics for algebraic polynomials on an interval

The sharp inequality of different metrics (Nikol’skii’s inequality) for algebraic polynomials in the interval [?1, 1] between the uniform norm and the norm of the space L _q ^(α,β) , 1 ≤ q < ∞, with Jacobi weight ?^(α,β)(x) = (1 ? x)^α(1 + x)^β α ≥ β > ?1, is investigated. The study uses the generalized translation operator generated by the Jacobi weight. A set of functions is described for which the norm of this operator in the space L _q ^(α,β) , 1 ≤ q < ∞, \(\alpha > \beta \geqslant - \frac{1}{2}\), is attained.     

Two-weight inequality for operator-valued positive dyadic operators by parallel stopping cubes

We study the operator-valued positive dyadic operator

$${T_\lambda }\left( {f\sigma } \right): = \sum\limits_{Q \in D} {{\lambda _Q}} \int_Q {fd\sigma 1Q}, $$

where the coefficients {λ _Q : C → D} _Q∈D are positive operators from a Banach lattice C to a Banach lattice D. We assume that the Banach lattices C and D* each have the Hardy–Littlewood property. An example of a Banach lattice with the Hardy–Littlewood property is a Lebesgue space.

In the two-weight case, we prove that the L _C ^p (σ) → L _D ^q (ω) boundedness of the operator T _λ( · σ) is characterized by the direct and the dual L ^∞ testing conditions:

$$\left\| {{1_Q}{T_\lambda }} \right\|{\left( {{1_Q}f\sigma } \right)||_{L_D^q\left( \omega \right)}} \lesssim {\left\| f \right\|_{L_C^\infty \left( {Q,\sigma } \right)}}\sigma {\left( Q \right)^{1/p}}$$

,

$${\left\| {{1_Q}{T_\lambda }*\left( {{1_{Qg\omega }}} \right)} \right\|_{L_{C*}^{p'}\left( \sigma \right)}} \lesssim {\left\| g \right\|_{L_{D*}^\infty \left( {Q,\omega } \right)}}\omega {\left( Q \right)^{1/q'}}$$

.

Here L _C ^p (σ) and L _D ^q (ω) denote the Lebesgue–Bochner spaces associated with exponents 1 < p ≤ q < ∞, and locally finite Borel measures σ and ω.

In the unweighted case, we show that the L _C ^p (μ) → L _D ^p (μ) boundedness of the operator T _λ( · μ) is equivalent to the end-point direct L ^∞ testing condition:

$${\left\| {{1_Q}{T_\lambda }\left( {{1_Q}f\mu } \right)} \right\|_{L_D^1\left( \mu \right)}} \lesssim {\left\| f \right\|_{L_C^\infty \left( {Q,\mu } \right)}}\left( {Q,\mu } \right)\mu \left( Q \right)$$

.

This condition is manifestly independent of the exponent p. By specializing this to particular cases, we recover some earlier results in a unified way.     

Estimation of the depth of reversible circuits consisting of NOT,CNOT and 2-CNOT gates

The paper discusses the asymptotic depth of a reversible circuits consisting of NOT, CNOT and 2-CNOT gates. The reversible circuit depth function D(n, q) is introduced for a circuit implementing a mapping f: Z₂ⁿ → Z₂ⁿ as a function of n and the number q of additional inputs. It is proved that for the case of implementation of a permutation from A(Z₂ⁿ) with a reversible circuit having no additional inputs the depth is bounded as D(n, 0) ? 2ⁿ/(3log₂n). It is also proved that for the case of transformation f: Z₂ⁿ → Z₂ⁿ with a reversible circuit having q₀ ~ 2ⁿ additional inputs the depth is bounded as D(n,q₀) ? 3n.     

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

     

Complex powers of some degenerate differential operators related to the Helmholtz operator

In the L _p -spaces, we study the complex powers of the operator

$G_\lambda = m^2 I + \Delta - i\lambda \frac{{\partial ^2 }}{{\partial x_1^2 }},0 < \lambda < 1,m > 0,$

where δ is the Laplace operator. The complex powers G _λ ^?α/2 , Reα > 0, are realized as potential type operators B _λ ^α with a nonstandard metric. We obtain L _p → L _p + L _s -estimates for the operator B _λ ^α . By using the method of approximate inverse operators, we construct the inversion of the potentials B _λ ^α φ with L _p -densities and describe the range B _λ ^α (L _p ) in terms of the inversion constructions.

     

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.     

Reconstruction of the potential of the Sturm–Liouville operator from a finite set of eigenvalues and normalizing constants

It is well known that the potential q of the Sturm–Liouville operator L_y = ?y? + q(x)y on the finite interval [0, π] can be uniquely reconstructed from the spectrum \(\left\{ {{\lambda _k}} \right\}_1^\infty \) and the normalizing numbers \(\left\{ {{\alpha _k}} \right\}_1^\infty \) of the operator L_D with the Dirichlet conditions. For an arbitrary real-valued potential q lying in the Sobolev space \(W_2^\theta \left[ {0,\pi } \right],\theta > - 1\), we construct a function q_N providing a 2N-approximation to the potential on the basis of the finite spectral data set \(\left\{ {{\lambda _k}} \right\}_1^N \cup \left\{ {{\alpha _k}} \right\}_1^N\). The main result is that, for arbitrary τ in the interval ?1 ≤ τ < θ, the estimate \({\left\| {q - \left. {{q_N}} \right\|} \right._\tau } \leqslant C{N^{\tau - \theta }}\) is true, where \({\left\| {\left. \cdot \right\|} \right._\tau }\) is the norm on the Sobolev space \(W_2^\tau \). The constant C depends solely on \({\left\| {\left. q \right\|} \right._\theta }\).     

Traces of Higher Negative Orders for a String with a Singular Weight

We study the linear operator pencil A(λ) = L?λV, λ ∈ ?, where L is the Sturm–Liouville operator with potential q(x) and V is the operator of multiplication by the weight ρ(x). The potential and the weight are assumed to belong to the space W ₂ ^?1 [0, π]. For the pencil A(λ), we seek formulas for the traces of higher negative orders, i.e., for the sums \(\sum\nolimits_{n = 1}^\infty {\lambda _n^{ - p}} \), p ≥ 2, where λ_n, n ∈ ?, is the sequence of eigenvalues of the pencil numbered in nondescending order of absolute values. Trace formulas in terms of the weight ρ(x) and the integral kernel of the operator L^?1 are obtained, and the relationship between these formulas and the classical results about traces of integral operators is described. The theoretical results are illustrated by examples.     

Triebel-Lizorkin space boundedness of rough singular integrals associated to surfaces of revolution

We consider the boundedness of the rough singular integral operator T_(?,ψ,h) along a surface of revolution on the Triebel-Lizorkin space F~α_( p,q)(R~n) for ? ∈ H~1(~(Sn-1)) and ? ∈ Llog~+L(S~(n-1)) ∪_1q∞(B~((0,0))_q(S~(n-1))), respectively.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for the Schrödinger type operators

Let L _k = (?Δ) ^k + V ^k be a Schrödinger type operator, where k ≥ 1 is a positive integer and V is a nonnegative polynomial. We obtain the L ^p estimates for the operators ?^2k L _k ^?1 and ? ^k L _k ^?1/2 .     

On the approximation of continuous functions of two variables

It is shown that if P _m ^α,β (x) (α, β > ?1, m = 0, 1, 2, …) are the classical Jaboci polynomials, then the system of polynomials of two variables {Ψ _mn ^α,β (x, y)} _m,n=0 ^r = {P _m ^α,β (x)P _n ^α,β (y)} _{m, n=0} ^r (r = m + n ≤ N ? 1) is an orthogonal system on the set Ω _N×N = ?ub;(x _i , y _i ) _i,j=0 ^N , where x _i and y _i are the zeros of the Jacobi polynomial P _n ^α,β (x). Given an arbitrary continuous function f(x, y) on the square [?1, 1]², we construct the discrete partial Fourier-Jacobi sums of the rectangular type S _{m, n, N} ^α,β (f; x, y) by the orthogonal system introduced above. We prove that the order of the Lebesgue constants ∥S _{m, n, N} ^α,β ∥ of the discrete sums S _{m, n, N} ^α,β (f; x, y) for ?1/2 < α, β < 1/2, m + n ≤ N ? 1 is O((mn) ^{q + 1/2}), where q = max?ub;α,β?ub;. As a consequence of this result, several approximate properties of the discrete sums S _{m, n, N} ^α,β (f; x, y) are considered.     

Generalized <Emphasis Type="Italic">p</Emphasis>-Adic Fourier Transform and Estimates of Integral Modulus of Continuity in Terms of This Transform

We consider a new class of functions on the p-adic linear space ? _p ⁿ for which a Fourier transform can be defined.We prove equalities of Parseval type, an inversion formula and a sufficient condition for a function to be represented as this Fourier transform. Also we give a sharp estimate of the L²(? _p ⁿ ) modulus of continuity in terms of Fourier transform generalizing the result of S. S. Platonov in the case n = 1. Finally we prove a generalization of this result and its converse for L^q(? _p ⁿ ) with appropriate q.     

Kolmogorov type inequalities for norms of Riesz derivatives of multivariate functions and some applications

Let L _∞,s ¹ (? ^m ) be the space of functions f ∈ L _∞(? ^m ) such that ?f/?x _i ∈ L _s (? ^{m) for each i = 1, ...,m} . New sharp Kolmogorov type inequalities are obtained for the norms of the Riesz derivatives ∥D ^α f∥_∞ of functions f ∈ L _∞,s ¹ (? ^m ). Stechkin’s problem on approximation of unbounded operators D ^α by bounded operators on the class of functions f ∈ L _∞,s ¹ (? ^m ) such that ∥?f∥ _s ≤ 1 and the problem of optimal recovery of the operator D ^α on elements from this class given with error δ are solved.