On series Σc k f(kx) and Khinchin’s conjecture

We prove the optimality of a criterion of Koksma (1953) in Khinchin’s conjecture on strong uniform distribution. This verifies a claim of Bourgain (1988) and leads also to a near optimal a.e. convergence condition for series Σ _k=1 ^∞ c _k f(kx) with f ∈ L ². Finally, we show that under mild regularity conditions on the Fourier coefficients of f, the Khinchin conjecture is valid assuming only f ∈ L ².     

An approximation property of exponential functions

We solve the inhomogeneous linear first order differential equations of the form y′(x) ? λy(x) = Σ _m=0 ^∞ a _m (x ? c) ^m , and prove an approximation property of exponential functions. More precisely, we prove the local Hyers-Ulam stability of linear first order differential equations of the form y′(x) = λy(x) in a special class of analytic functions.     

Multigeometric sequences and Cantorvals

For a sequence x ∈ l ₁\c ₀₀, one can consider the achievement set E(x) of all subsums of series Σ _n=1 ^∞ x(n). It is known that E(x) has one of the following structures: a finite union of closed intervals, a set homeomorphic to the Cantor set, a set homeomorphic to the set T of subsums of Σ _n=1 ^∞ x(n) where c(2n ? 1) = 3/4 ⁿ and c(2n) = 2/4 ⁿ (Cantorval). Based on ideas of Jones and Velleman [Jones R., Achievement sets of sequences, Amer. Math. Monthly, 2011, 118(6), 508–521] and Guthrie and Nymann [Guthrie J.A., Nymann J.E., The topological structure of the set of subsums of an infinite series, Colloq. Math., 1988, 55(2), 323–327] we describe families of sequences which contain, according to our knowledge, all known examples of x with E(x) being Cantorvals.     

A Tauberian theorem related to Weyl's criterion

Let {x_n} be a sequence of real numbers and let a(n) be a sequence of positive real numbers, with A(N) = Σ_n=1^Na(n). Tsuji has defined a notion of a(n)-uniform distribution mod 1 which is related to the problem of determining those real numbers t₀ for which A(N)^?1 Σ_n=1^Na(n)e^?it₀x_n → 0 as N → ∞. In case f(s) = Σ_n=1^∞a(n)e^?sx_n, s = σ + it, is analytic in the right half-plane 0 < σ, and satisfies a certain smoothness condition as σ → 0 +, we show that f(σ)^?1f(σ + it₀) → 0 as σ → 0 + if and only if A(N)^?1 Σ_n=1^Na(n)e^?it₀x_n → 0 as N → ∞.     

An identity involving partitional generalized binomial coefficients

Define coefficients (_κ^λ) by C_λ(I_p + Z)/C_λ(I_p) = Σ_k=0^l Σ_{?∈$\text{P}$k} (_?^λ) C_κ(Z)/C_κ(I_p), where the C_λ's are zonal polynomials in p by p matrices. It is shown that C_?(Z) etr(Z)/k! = Σ_l=k^∞ Σ_{λ∈$\text{P}$l} (_?^λ) C_λ(Z)/l!. This identity is extended to analogous identities involving generalized Laguerre, Hermite, and other polynomials. Explicit expressions are given for all (_?^λ), ? ∈ $\text{P}$_k, k ≤ 3. Several identities involving the (_?^λ)'s are derived. These are used to derive explicit expressions for coefficients of $\text{C}{}_{\mathrm{\lambda }}\text{(Z)}\text{l}\text{!}$ in expansions of P(Z), $\text{etr}\text{(Z)}\text{k!}$ for all monomials P(Z) in s_j = tr Z^j of degree k ≤ 5.     

Some congruences for the Apery numbers

In 1979 R. Apéry introduced the numbers a_n = Σ₀ⁿ(_kⁿ)²(_k^{n + k}) and u_n = Σ₀ⁿ(_kⁿ)²(_k^{n + k})² in his irrationality proof for ζ(2) and ζ(3). We prove some congruences for these numbers which generalize congruences previously published in this journal.     

ON possible Turán densities

The Turán density π(F) of a family F of k-graphs is the limit as n → ∞ of the maximum edge density of an F-free k-graph on n vertices. Let Π _∞ ^(k) consist of all possible Turán densities and let Π _fin ^(k) ? Π _∞ ^(k) be the set of Turán densities of finite k-graph families. Here we prove that Π _fin ^(k) contains every density obtained from an arbitrary finite construction by optimally blowing it up and using recursion inside the specified set of parts. As an application, we show that Π _fin ^(k) contains an irrational number for each k ≥ 3. Also, we show that Π _∞ ^(k) has cardinality of the continuum. In particular, Π _∞ ^(k) ≠ Π _fin ^(k) .     

Behavior of the Fourier–Walsh coefficients of a corrected function

We prove that, given a sequence {ak}_k=1^∞ with a_k ↓ 0 and {ak}_k=1^∞ ? l₂, reals 0 < ε < 1 and p ∈ [1, 2], and f ∈ L^p(0, 1), we can find f ∈ L^p(0, 1) with mes{f ≠ f < ε whose nonzero Fourier–Walsh coefficients c_k(f) are such that |c_k(f)| = a_k for k ∈ spec(f).     

A dimension gap for continued fractions with independent digits—the non stationary case

We show there exists a constant 0 < c₀ < 1 such that the dimension of every measure on [0, 1], which makes the digits in the continued fraction expansion independent, is at most 1 ? c₀. This extends a result of Kifer, Peres and Weiss from 2001, which established this under the additional assumption of stationarity. For k ≥ 1 we prove an analogous statement for measures under which the digits form a *-mixing k-step Markov chain. This is also generalized to the case of f-expansions. In addition, we construct for each k a measure, which makes the continued fraction digits a stationary and *-mixing k-step Markov chain, with dimension at least 1 ? 2^3?k.     

Spectral asymptotics and trace formulas for differential operators with unbounded coefficients

In the space L ²[0, π], we consider the operators $$ L = L_0 + V, L_0 = - y'' + (\nu ^2 - 1/4)r^{ - 2} y (\nu \geqslant 1/2) $$ with the Dirichlet boundary conditions. The potential V is the operator of multiplication by a function (in general, complex-valued) in L ²[0, π] satisfying the condition $$ \int\limits_0^\pi {r^\varepsilon } (\pi - r)^\varepsilon |V(r)|dr < \infty , \varepsilon \in [0,1] $$ . We prove the trace formula Σ _n=1 ^∞ [µ _n ? λ _n ? Σ _k=1 ^m α _k ⁽ⁿ⁾ ] = 0.     

Stirling polynomials

An investigation is made of the polynomials f_k(n) = S(n + k, n) and g_k(n) = (?1)^ks(n, n ? k), where S and s denote the Stirling numbers of the second and first kind, respectively. The main result gives a combinatorial interpretation of the coefficients of the polynomial (1 ? x)^2k+1Σ_n=0^∞f_k(n)xⁿ analogous to the well-known combinatorial interpretation of the Eulerian numbers in terms of descents of permutations.     

Bell Numbers, Log-Concavity, and Log-Convexity

Let {b _k (n)} _n=0 ^∞ be the Bell numbers of order k. It is proved that the sequence {b _k (n)/n!} _n=0 ^∞ is log-concave and the sequence {b _k (n)} _n=0 ^∞ is log-convex, or equivalently, the following inequalities hold for all n?0, $$1 \leqslant \frac{{b_k (n + 2)b_k (n)}}{{b_k (n + 1)^2 }} \leqslant \frac{{n + 2}}{{n + 1}}$$ . Let {α(n)} _n=0 ^∞ be a sequence of positive numbers with α(0)=1. We show that if {α(n)} _n=0 ^∞ is log-convex, then α(n)α(m)?α(n+m), ?n,m?0. On the other hand, if {α(n)/n!} _n=0 ^∞ is log-concave, then $$\alpha (n + m) \leqslant \left( {\begin{array}{*{20}c} {n + m} \\ n \\ \end{array} } \right)\alpha (n)\alpha (m),{\text{ }}\forall n,m \geqslant 0$$ . In particular, we have the following inequalities for the Bell numbers $$b_k (n)b_k (m) \leqslant b_k (n + m) \leqslant \left( {\begin{array}{*{20}c} {n + m} \\ n \\ \end{array} } \right)b_k (n)b_k (m),{\text{ }}\forall n,m \geqslant 0$$ . Then we apply these results to characterization theorems for CKS-space in white noise distribution theory.     

Almost everywhere divergent subsequences of Fourier sums of functions from φ(L) ∩ H 1 ω

For a gap sequence of natural numbers {n _k } _k=1 ^∞ , for a nondecreasing function φ: [0,+∞) → [0,+∞) such that φ(u) = o(u ln ln u) as u → ∞, and a modulus of continuity satisfying the condition (ln k)^?1 = O(ω(n _k ^?1 )), we present an example of a function F ∈ φ(L) ∩ H ₁ ^ω with an almost everywhere divergent subsequence {S _{n k} (F, x)} of the sequence of partial sums of the trigonometric Fourier series of the function F.     

Summation of weakly dependent sequences by Cesàro methods

Пусть (X, A, u) — пространст во с конечной мерой, (ξ_k) ₁ ^∞ — последовательност ь функций, \(\xi _k \varepsilon L_{2r} (X), r > 1, \int\limits_X {\xi _k d\mu = 0} \) . Изучаются условия, п ри которых справедли вgа - у. з. б.ч., т. e. (ξ _k) суммируется к ну лю почти всюду методо м (С, а),а > 0. Приведем два резу льтата. 1) Если (ξ _k) — слабо мульт ипликативная систем а (в частности, мартингал-разности или независимая сист ема), то условие $$\mathop \sum \limits_1^\infty \mathop {\smallint }\limits_X \left| {\xi _k } \right|^{2r} d\mu \cdot c_r (k,\alpha )< \infty $$ влечетβ - у.з.б.ч. Здесьc _r(k,α)=k ^-2rα при 0<α<(r+1)/2r, c_r=k^?(r+1) In3r-1 k приа=(r+1)/2r, с_r=k^?(r+1) при а >(r+1)/2r. 2) Если (ξ _k) независимы,Mξ _k=0, (r+1)/2r<α=1, то условия $$\mathop \sum \limits_{k = 1}^\infty \frac{{(M\xi _k^2 )^r }}{{k^{r + 1} }}< \infty ,\mathop \sum \limits_{k = 1}^\infty \frac{{M|\xi _k |^{2r} }}{{k^{2r\alpha } }}< \infty $$ влекут за собой а - у. з. б. ч.     

Calculation of the eigenvalues of Schrödinger equations by an extension of Hill's method

The eigenfunctions of the one dimensional Schrödinger equation Ψ″ + [E ? V(x)]Ψ=0, where V(x) is a polynomial, are represented by expansions of the form $\text{∑}\text{k}\text{=0}\text{∞}{}^{\mathrm{<mtext>c</mtext>}}\text{k}{}^{\mathrm{?}}\text{k}\text{(ω,}\text{x}\text{)}$. The functions ?_k (ω, x) are chosen in such a way that recurrence relations hold for the coefficients c_k: examples treated are D_k(ωx) (Weber-Hermite functions), exp (?ωx²)x^k, exp (?cx^q)D_k(ωx). From these recurrence relations, one considers an infinite bandmatrix whose finite square sections permit to solve approximately the original eigenproblem. It is then shown how a good choice of the parameter ω may reduce dramatically the complexity of the computations, by a theoretical study of the relation holding between the error on an eigenvalue, the order of the matrix, and the value of ω. The paper contains tables with 10 significant figures of the 30 first eigenvalues corresponding to V(x) = x^2m, m = 2(1)7, and the 6 first eigenvalues corresponding to V(x) = x² + λx¹⁰ and x² + λx¹², λ = .01(.01).1(.1)1(1)10(10)100.     

Paley-Wiener theorems on groups of split rank one

Let G be a linear semisimple Lie group of split rank one with K a maximal compact subgroup. In this paper, we consider the space C_c^∞(G:F) of all functions in C_c^∞(G) whose left and right K-translates span a finite-dimensional space. Using the analytic continuation of the principal series to define the Fourier transform, we give a characterization of the Fourier transform of the space C_c^∞(G:F). This gives an analog of the classical Paley-Wiener theorem which gives a characterization of the Fourier transform of the space C_c^∞(Rⁿ).     

Polynomials generalizing binomial coefficients and their application to the study of Fermat's last theorem

We study properties of the polynomials φ_k(X) which appear in the formal development Π_{k ? 0}ⁿ (a + bX^k)^rk = Σ_{k ≥ 0}φ_k(X) a^{r ? k}b^k, where r_k ∈ $\text{l}$ and r = Σr_k. this permits us to obtain the coefficients of all cyclotomic polynomials. Then we use these properties to expand the cyclotomic numbers G_r(ξ) = Π_{k = 1}^{p ? 1} (a + bξ^k)^kr, where p is a prime, ξ is a primitive pth root of 1, a, b ∈ $\text{l}$ and 1 ≤ r ≤ p ? 3, modulo powers of ξ ? 1 (until (ξ ? 1)^{2(p ? 1) ? r}). This gives more information than the usual logarithmic derivative. Suppose that $\text{p ? ab(a + b)}$. Let $\text{m = ?}\text{b}\text{a}$. We prove that G_r(ξ) ≡ c^p mod p(ξ ? 1)² for some c ∈ $\text{l}$, if and only if Σ_{k = 1}^{p ? 1}k^{p ? 2 ? r}m^k ≡ 0 (mod p). We hope to show in this work that this result is useful in the study of the first case of Fermat's last theorem.     

Simple continued fractions for the Fredholm numbers

Let {a_i} with a₁ ≥ 2 be an infinite bounded sequence of positive integers, and d₁ = 1, d_i = ±1 for i = 2, 3,…. Let {Q_i} be another sequence defined by the recursion Q₁ = 1, Q_i = a_i?1Q_i?1^k for i = 2, 3,…, where k ≥ 2 an integer. Put C_k(a) = Σ_{i = 1}^∞d_iQ_i^?1. In this paper we shall determine the simple continued fraction expansion for the real numbers C_k(a).     

An inversion formula for a class of integral transforms,II

In this note we give a procedure for inverting the integral transform f(x) = ∫₀^∞k(xt) φ(t) dt, where the functions f(x) and k(x) are known and φ(x) is to be found. The inversion is accomplished in two steps: by first defining a transforming function, which is an integral, followed by the application of an infinite order differential operator.     

Total chromatic number of graphs with small genus

Given a graph G, a total k-coloring of G is a simultaneous coloring of the vertices and edges of G with k colors. Denote χ_ve (G) the total chromatic number of G, and c(Σ) the Euler characteristic of a surfase Σ. In this paper, we prove that for any simple graph G which can be embedded in a surface Σ with Euler characteristic c(Σ), χ_ve (G) = Δ (G) + 1 if c(Σ) > 0 and Δ (G) ≥ 13, or, if c(Σ) = 0 and Δ (G) ≥ 14. This result generalizes results in [3], [4], [5] by Borodin.