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 → ∞.     

Ramanujan-type congruences for broken 2-diamond partitions modulo 3

The notion of broken k-diamond partitions was introduced by Andrews and Paule.Let△k(n)denote the number of broken k-diamond partitions of n.Andrews and Paule also posed three conjectures on the congruences of△2(n)modulo 2,5 and 25.Hirschhorn and Sellers proved the conjectures for modulo 2,and Chan proved the two cases of modulo 5.For the case of modulo 3,Radu and Sellers obtained an infinite family of congruences for△2(n).In this paper,we obtain two infinite families of congruences for△2(n)modulo 3 based on a formula of Radu and Sellers,a 3-dissection formula of the generating function of triangular number due to Berndt,and the properties of the U-operator,the V-operator,the Hecke operator and the Hecke eigenform.For example,we find that△2(243n+142)≡△2(243n+223)≡0(mod 3).The infinite family of Radu and Sellers and the two infinite families derived in this paper have two congruences in common,namely,△2(27n+16)≡△2(27n+25)≡0(mod 3).     

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.     

Generalized Fibonacci numbers of the form 2 a + 3 b + 5 c

For k ≥ 2, the k-generalized Fibonacci sequence (F _n ^(k)) _n is defined by the initial values 0, 0,..., 0, 1 (k terms) and such that each term afterwards is the sum of the k preceding terms. In this paper, we find all generalized Fibonacci numbers written in the form 2 ^a + 3 ^b + 5 ^c . This work generalizes a recent Marques-Togbé result [20] concerning the case k = 2.     

Simple continued fractions for some irrational numbers,II

In this paper we prove a theorem allowing us to determine the continued fraction expansion for Σ_k=0^∞u^?c(k), where c(k) is any sequence of positive integers that grows sufficiently quickly. As an application, we determine the continued fraction expansion for Liouville's famous transcendental number Σ_k=0^∞m^{?(k + 1)!}.     

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.     

Arithmetic properties of bipartitions with even parts distinct

In this work, we consider various arithmetic properties of the function ped _?2(n) that denotes the number of bipartitions of n with even parts distinct. We prove two infinite families of congruences for p _?2(n) modulo 3. We also give characterizations of ped _?2(n) modulo 2 and 4. Furthermore, for a fixed positive integer k, we show that ped _?2(n) is divisible by 2 ^k for almost all n.     

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.     

Congruences of multipartition functions modulo powers of primes

Let p _r (n) denote the number of r-component multipartitions of n, and let S _γ,λ be the space spanned by η(24z) ^γ ?(24z), where η(z) is the Dedekind’s eta function and ?(z) is a holomorphic modular form in \(M_{\lambda}(\mathrm{SL}_{2}(\mathbb{Z}))\) . In this paper, we show that the generating function of \(p_{r}(\frac{m^{k} n +r}{24})\) with respect to n is congruent to a function in the space S _γ,λ modulo m ^k . As special cases, this relation leads to many well known congruences including the Ramanujan congruences of p(n) modulo 5,7,11 and Gandhi’s congruences of p ₂(n) modulo 5 and p ₈(n) modulo 11. Furthermore, using the invariance property of S _γ,λ under the Hecke operator \(T_{\ell^{2}}\) , we obtain two classes of congruences pertaining to the m ^k -adic property of p _r (n).     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

Characterizations of locally testable events

Let Σ be a finite alphabet, Σ^* the free monoid generated by Σ and χ the length of χ ∈ Σ^*. For any integer k0, f_k(χ) (t_k(χ)) is χ if χ < k + 1, and it is the prefix (suffix) of χ of length k, othewise. Also let m_k+1(χ) = {νχ = uνw and ν = k+1}. For χ, y ε Σ^* define χ ～ _k+1y iff f_k(χ) = f_k(y), t_k(χ) = t_k(y) and m_k+1(χ) = m_k+1(y). The relation ～_k+1 is a congruence of finite index over Σ^*. An event E ? Σ^* is (k+1)-testable iff it is a union of congruence classes of ～_k+1. E is locally testable (LT) if it is k+1-testable for some k. (This definition differs from that of [6] but is equivalent.)We show that the family of LT events is a proper sub-family of star-free events of dot-depth 1. LT events and k-testable events are characterized in terms of (a) restricted star-free expressions based on finite and cofinite events; (b) finite automata accepting these events; (c) semigroups; and (d) structural decomposition of such automata. Algorithms are given for deciding whether a regular event is (a) LT and (b) k+1-testable. Generalized definite events are also characterized.     

Polynomial interpolation and sums of powers of integers

In this note, we revisit the problem of polynomial interpolation and explicitly construct two polynomials in n of degree k + 1, P_k(n) and Q_k(n), such that P_k(n) = Q_k(n) = f_k(n) for n = 1, 2,…?, k, where f_k(1), f_k(2),…?, f_k(k) are k arbitrarily chosen (real or complex) values. Then, we focus on the case that f_k(n) is given by the sum of powers of the first n positive integers S_k(n) = 1^k + 2^k + ??? + n^k, and show that S_k(n) admits the polynomial representations S_k(n) = P_k(n) and S_k(n) = Q_k(n) for all n = 1, 2,…?, and k ≥ 1, where the first representation involves the Eulerian numbers, and the second one the Stirling numbers of the second kind. Finally, we consider yet another polynomial formula for S_k(n) alternative to the well-known formula of Bernoulli.     

A multiindexed sturm sequence of polynomials and unimodality of certain combinatorial sequences

With any multiset n we associate the numbers $\text{O}$(n, k) of compositions of n into exactly k parts. The polynomials k_n(x) = Σ_kO(n, k)x^k are shown to form a multiindexed Sturm sequence over (?1, 0). As consequences we obtain the unimodality of the sequence {O(n, k)}_k for any n, of the generalized Eulerian numbers, and of the number of compositions of n with certain supplementary conditions imposed on the parts. The strong logarithmic concavity of the Stirling numbers of the second kind also follows as a corollary.     

Long time small solutions to nonlinear parabolic equations

A sharp result on global small solutions to the Cauchy problem $$u_t = \Delta u + f\left( {u,Du,D^2 u,u_t } \right)\left( {t > 0} \right),u\left( 0 \right) = u_0 $$ In Rⁿ is obtained under the the assumption thatf is C^1+r forr>2/n and ‖u ₀‖C²(R ⁿ ) +‖u ₀‖W ₁ ² (R ⁿ ) is small. This implies that the assumption thatf is smooth and ‖u ₀ ‖W ₁ ^k (R ⁿ )+‖u ₀‖W ₂ ^k (R ⁿ ) is small fork large enough, made in earlier work, is unnecessary.     

Zero-free regions of derivatives of Riemann zeta function

Zero-free regions of thekth derivative of the Riemann zeta function ζ^(k)(s) are investigated. It is proved that fork≥3, ζ^(k)(s) has no zero in the region Res≥(1·1358826...)k+2. This result is an improvement upon the hitherto known zero-free region Res≥(7/4)k+2 on the right of the imaginary axis. The known zero-free region on the left of the imaginary axis is also improved by proving that ζ ^k)(s) may have at the most a finite number of non-real zeros on the left of the imaginary axis which are confined to a semicircle of finite radiusr _k centred at the origin.     

Sums over numbers with restricted prime factors

For k a non-negative integer, let P_k(n) denote the kth largest prime factor of n where P₀(n) = +∞ and if the number of prime factors of n is less than k, then P_k(n) = 1. We shall study the asymptotic behavior of the sum Ψ_k(x, y; g) = Σ_{1 ≤ n ≤ x, Pk(n) ≤ y}g(n), where g(n) is an arithmetic function satisfying certain general conditions regarding its behavior on primes. The special case where g(n) = μ(n), the Möbius function, is discussed as an application.     

A symmetry relationship for a class of partitions

Let S(n, k, v) denote the number of vectors (a₀,…, a_n?1) with nonnegative integer components that satisfy a₀ + … + a_{n ? 1} = k and Σ_i=0^n?1ia_i ≡ v (mod n). Two proofs are given for the relation S(n, k, v) = S(k, n, v). The first proof is by algebraic enumeration while the second is by combinatorial construction.     

On three zero-sum Ramsey-type problems

For a graph G whose number of edges is divisible by k, let R(G,Z_k) denote the minimum integer r such that for every function f: E(K_r) ? Z_k there is a copy G¹ of G in K_r so that Σe∈E(G¹) f(e) = 0 (in Z_k). We prove that for every integer k₁ R(K_n, Z_k) ≤ n + O(k³ log k) provided n is sufficiently large as a function of k and k divides (). If, in addition, k is an odd prime-power then R(K_n, Z_k) ≤ n + 2k - 2 and this is tight if k is a prime that divides n. A related result is obtained for hypergraphs. It is further shown that for every graph G on n vertices with an even number of edges R(G,Z₂) ≤ n + 2. This estimate is sharp. © 1993 John Wiley & Sons, Inc.     

Pairs of B-Splines with Small Support on the Four-Directional Mesh Generating a Partition of Unity

Let τ be the four-directional mesh of the plane and let Σ₁ (respectively Λ₁) be the unit square (respectively the lozenge) formed by four (respectively eight) triangles of τ. We study spaces of piecewise polynomial functions in C ^k (R ²) with supports Σ₁ or Λ₁ having sufficiently high degree n, which are invariant with respect to the group of symmetries of Σ₁ or Λ₁ and whose integer translates form a partition of unity. Such splines are called complete Σ₁ and Λ₁-splines. We first give a general study of spaces of linearly independent complete Σ₁ and Λ₁-splines of class C ^k and degree n. Then, for any fixed k≥0, we prove the existence of complete Σ₁ and Λ₁-splines of class C ^k and minimal degree, but they are not unique. Finally, we describe algorithms allowing to compute the Bernstein–Bézier coefficients of these splines.     

Betti and Tachibana numbers

The Tachibana numbers t _r (M), the Killing numbers k _r (M), and the planarity numbers p _r (M) are considered as the dimensions of the vector spaces of, respectively, all, coclosed, and closed conformal Killing r-forms with 1 ≤ r ≤ n ? 1 “globally” defined on a compact Riemannian n-manifold (M,g), n >- 2. Their relationship with the Betti numbers b _r (M) is investigated. In particular, it is proved that if b _r (M) = 0, then the corresponding Tachibana number has the form t _r (M) = k _r (M) + p _r (M) for t _r (M) > k _r (M) > 0. In the special case where b ₁(M) = 0 and t ₁(M) > k ₁(M) > 0, the manifold (M,g) is conformally diffeomorphic to the Euclidean sphere.