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.     

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.     

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.     

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.     

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

Estimates for Sobolev norms of triangular mappings

An increasing triangular mapping T on the n-dimensional cube Θ = [0, 1] ⁿ transforming a measure μ to a measure ν is considered, where μ and ν are absolutely continuous Borel probability measures having densities ρ _μ and ρ _ν . It is shown that if there exist positive constants ? and M such that ? < ρ _ν < M, ? < ρ _ν < M, there exist numbers α, β > 1 such that p = αβ(n ? 1)^?1 (α + β)^?1 > 1 and ρ _μ ∈ W ^1,α (Θ), ρ _ν ∈ W ^1,β ) (Θ), where W ^1,q denotes a Sobolev class, then the mapping T belongs to the class W ^1,p (Θ).     

On low discrepancy sequences and low discrepancy ergodic transformations of the multidimensional unit cube

In this paper we describe a third class of low discrepancy sequences. Using a lattice Γ ? ? ^s , we construct Kronecker-like and van der Corput-like ergodic transformations T _1,Γ and T _2,Γ of [0, 1) ^s . We prove that for admissible lattices Γ, (T _ν,Γ ⁿ (x))_n≥0 is a low discrepancy sequence for all x ∈ [0, 1) ^s and ν ∈ {1, 2}. We also prove that for an arbitrary polyhedron P ? [0, 1) ^s , for almost all lattices Γ ∈ L _s = SL(s,?)/SL(s, ?) (in the sense of the invariant measure on L _s ), the following asymptotic formula

$\# \{ 0 \le n < N:T_{v,\Gamma }^n(x) \in P\} = NvolP + O({(\ln N)^{s + \varepsilon }}),N \to \infty$

holds with arbitrary small ? > 0, for all x ∈ [0, 1) ^s , and ν ∈ {1, 2}.

     

On the convergence of the formal Fourier solution of the wave equation with a summable potential

The convergence of the formal Fourier solution to a mixed problem for the wave equation with a summable potential is analyzed under weaker assumptions imposed on the initial position u(x, 0) = φ(x) than those required for a classical solution up to the case φ(x) ∈ L_p[0,1] for p > 1. It is shown that the formal solution series always converges and represents a weak solution of the mixed problem.     

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.     

Relationships between generalized Wiener integrals and conditional analytic Feynman integrals over continuous paths

Let C[0, t] denote a generalized Wiener space, the space of real-valued continuous functions on the interval [0, t], and define a random vector Z _n: C[0, t] → R ⁿ⁺¹ by \({Z_n}\left( x \right) = \left( {x\left( 0 \right) + a\left( 0 \right),\int_o^{{t_1}} {h\left( s \right)dx\left( s \right) + x\left( 0 \right) + a\left( {{t_1}} \right),...,\int_0^{{t_n}} {h\left( s \right)dx\left( s \right) + x\left( 0 \right) + a\left( {{t_n}} \right)} } } \right)\), where a ∈ C[0, t], h ∈ L ₂[0, t], and 0 < t ₁ <... < t _n ≤ t is a partition of [0, t]. Using simple formulas for generalized conditional Wiener integrals, given Z _n we will evaluate the generalized analytic conditional Wiener and Feynman integrals of the functions F in a Banach algebra which corresponds to Cameron-Storvick’s Banach algebra S. Finally, we express the generalized analytic conditional Feynman integral of F as a limit of the non-conditional generalized Wiener integral of a polygonal function using a change of scale transformation for which a normal density is the kernel. This result extends the existing change of scale formulas on the classical Wiener space, abstract Wiener space and the analogue of the Wiener space C[0, t].     

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.     

Pointwise estimates of polynomials orthogonal on a circle with respect to a weight not belonging to the spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript> (<Emphasis Type="Italic">r</Emphasis> &gt; 1)

Two-sided pointwise estimates are established for polynomials that are orthogonal on the circle |z| = 1 with respect to the weight ?(τ): = h(τ)|sin(τ/2)|^?1 g(|sin(τ/2)|) (τ ∈ ?), where g(t) is a concave modulus of continuity slowly changing at zero such that t ^?1 g(t) ∈ L ¹[0, 1] and h(τ) is a positive function from the class C _2π with a modulus of continuity satisfying the integral Dini condition. The obtained estimates are applied to find the order of the distance from the point t = 1 to the greatest zero of a polynomial orthogonal on the segment [?1, 1].     

On existence of a universal function for <Emphasis Type="Italic">L</Emphasis> <Superscript> <Emphasis Type="Italic">p</Emphasis> </Superscript>[0, 1] with <Emphasis Type="Italic">p</Emphasis>∈(0, 1)

We show that, for every number p ∈ (0, 1), there is g ∈ L¹[0, 1] (a universal function) that has monotone coefficients c_k(g) and the Fourier–Walsh series convergent to g (in the norm of L¹[0, 1]) such that, for every f ∈ L^p[0, 1], there are numbers δ_k = ±1, 0 and an increasing sequence of positive integers N_q such that the series ∑ _k=0^+∞δ_kc_k(g)W_k (with {W_k} theWalsh system) and the subsequence \(\sigma _{{N_q}}^{\left( \alpha \right)}\), α ∈ (?1, 0), of its Cesáro means converge to f in the metric of L^p[0, 1].     

Representations of the Klein Group Determined by Quadruples of Polynomials Associated with the Double Confluent Heun Equation

The canonical representation of the Klein group K₄ = ?₂⊕?₂ on the space ?* = ? {0} induces a representation of this group on the ring L = C[z, z^?1], z ∈ ?*, of Laurent polynomials and, as a consequence, a representation of the group K₄ on the automorphism group of the group G = GL(4,L) by means of the elementwise action. The semidirect product ?G = GK₄ is considered together with a realization of the group ? as a group of semilinear automorphisms of the free 4-dimensional L-module M⁴. A three-parameter family of representations R of K₄ in the group ? and a three-parameter family of elements X ∈ M⁴ with polynomial coordinates of degrees 2(? ? 1), 2?, 2(? ? 1), and 2?, where ? is an arbitrary positive integer (one of the three parameters), are constructed. It is shown that, for any given family of parameters, the vector X is a fixed point of the corresponding representation R. An algorithm for calculating the polynomials that are the components of X was obtained in a previous paper of the authors, in which it was proved that these polynomials give explicit formulas for automorphisms of the solution space of the doubly confluent Heun equation.     

On the divergence of Fourier series in the spaces ϕ(<Emphasis Type="Italic">L</Emphasis>) containing <Emphasis Type="Italic">L</Emphasis>

The paper deals with the question of the divergence of Fourier series in function spaces wider than L = L[?π, π], but narrower than L^p = L^p[?π, π] for all p ∈ (0, 1). It is proved that the recent results of Filippov on the generalization to the space ?(L) of Kolmogorov’s theorem on the convergence of Fourier series in L^p, p ∈ (0, 1), cannot be improved.     

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

Modified boundary element method for problems on oscillations of flat membranes

In the space L ² of real-valued measurable 2π-periodic functions that are square summable on the period [0, 2π], the Jackson-Stechkin inequality

$$E_n (f) \leqslant \mathcal{K}_n (\delta ,\omega )\omega (\delta ,f), f \in L^2 $$

, is considered, where E _n (f) is the value of the best approximation of the function f by trigonometric polynomials of order at most n and ω(δ, f) is the modulus of continuity of the function f in L ² of order 1 or 2. The value

$$\mathcal{K}_n (\delta ,\omega ) = \sup \left\{ {\frac{{E_n (f)}}{{\omega (\delta ,f)}}:f \in L^2 } \right\}$$

is found at the points δ = 2π/m (where m ∈ ?) for m ≥ 3n ² + 2 and ω = ω ₁ as well as for m ≥ 11n ⁴/3 ? 1 and ω = ω ₂.

     

Blow-up of critical norms for the 3-D Navier-Stokes equations

Let u =(uh, u3) be a smooth solution of the 3-D Navier-Stokes equations in R3× [0, T). It was proved that if u3 ∈ L∞(0, T;˙B-1+3/p p,q(R3)) for 3 p, q ∞ and uh∈ L∞(0, T; BMO-1(R3)) with uh(T) ∈ VMO-1(R3), then u can be extended beyond T. This result generalizes the recent result proved by Gallagher et al.(2016), which requires u ∈ L∞(0, T;˙B-1+3/pp,q(R3)). Our proof is based on a new interior regularity criterion in terms of one velocity component, which is independent of interest.     

Cotorsion and wild homology

We solve the problem of describing the solutions of E-operators of order μ ≥ 1 admitting at z = 0 a basis over C of local solutions which are all holomorphic at z = 0. We prove that the components of such a basis can be taken of the form \(\sum {_{j = 1}^\ell } {P_j}\left( z \right){e^{{\beta _{{j^z}}}}}\), where ? ≤ μ, β ₁,...,β _? ∈ \(\overline {\mathbb{Q}} \) ^x, and P ₁(z),..., P _?(z) ∈ \(\overline {\mathbb{Q}} \)[z].