On conditions for Dirichlet series absolutely convergent in a half-plane to belong to the class of convergence

Let M(σ) = sup{|F(σ + it)|: t ∈ ℝ} and μ(σ) = max {|a _n |exp(σλ_n): n ≥ 0}, σ < 0, for a Dirichlet series {fx995-01} with abscissa of absolute convergence σ_a = 0. We prove that the condition ln ln n = o(ln λ_n), n → ∞, is necessary and sufficient for the equivalence of the relations {fx995-02}, for each series of this type. Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 60, No. 6, pp. 851–856, June, 2008.     

Algebraic relations for reciprocal sums of odd terms in Fibonacci numbers

In this paper, we prove the algebraic independence of the reciprocal sums of odd terms in Fibonacci numbers ∑ _n=1^∞ F _2n−1⁻¹, ∑ _n=1^∞ F _2n−1⁻², ∑ _n=1^∞ F _2n−1⁻³ and write each ∑ _n=1^∞ F _2n−1^−s (s≥4) as an explicit rational function of these three numbers over ℚ. Similar results are obtained for various series including the reciprocal sums of odd terms in Lucas numbers.      

On the regular growth of Dirichlet series absolutely convergent in a half-plane

For the Dirichlet series F(s) = ?_{n = 1}^￥ a_nexp{ sl_n } F(s) = \sum\nolimits_{n = 1}^\infty {{a_n}\exp \left\{ {s{\lambda_n}} \right\}} with abscissa of absolute convergence σ _a =0, we establish conditions for (λ _n ) and (a _n ) under which lnM( s, F ) = T_R( 1 + o(1) )exp{ r_R

Oscillations of Cusp Form Coefficients Over Primes

Let f(z)=∑ _n=1^∞ λ _f (n)n ^(κ−1)/2 e(nz) be a holomorphic cusp form of weight κ for the full modular group SL ₂(ℤ). In this paper we study the cancellation of the coefficients λ _f (n) over primes in exponential sums.     

Analytic Continuation of Dirichlet Series with Almost Periodic Coefficients

We consider Dirichlet series z_g,a(s)=?_n=1^￥ g(na) e^{-l_n s}{\zeta_{g,\alpha}(s)=\sum_{n=1}^\infty g(n\alpha) e^{-\lambda_n s}} for fixed irrational α and periodic functions g. We demonstrate that for Diophantine α and smooth g, the line Re(s) = 0 is a natural boundary in the Taylor series case λ _n  = n, so that the unit circle is the maximal domain of holomorphy for the almost periodic Taylor series ?_n=1^￥ g(na) zⁿ{\sum_{n=1}^{\infty} g(n\alpha) z^n}. We prove that a Dirichlet series z_g,a(s) = ?_n=1^￥ g(n a)/n^s{\zeta_{g,\alpha}(s) = \sum_{n=1}^{\infty} g(n \alpha)/n^s} has an abscissa of convergence σ ₀ = 0 if g is odd and real analytic and α is Diophantine. We show that if g is odd and has bounded variation and α is of bounded Diophantine type r, the abscissa of convergence σ ₀ satisfies σ ₀ ≤ 1 − 1/r. Using a polylogarithm expansion, we prove that if g is odd and real analytic and α is Diophantine, then the Dirichlet series ζ _g,α (s) has an analytic continuation to the entire complex plane.     

A unified approach for univalent functions with negative coefficients using the Hadamard product

For given analytic functions ϕ(z) = z + Σ _n=2^∞ λ _n z ⁿ , Ψ(z) = z + Σ _n=2^∞ μ with λ _n ≥ 0, μ _n ≥ 0, and λ _n ≥ μ _n and for α, β (0≤α<1, 0<β≤1), let E(φ,ψ; α, β) be of analytic functions ƒ(z) = z + Σ _n=2^∞ a _n z ⁿ in U such that f(z)*ψ(z)≠0 and

Large Distinct Part Sizes in a Random Integer Partition

Let Y _s,n denote the number of part sizes ≧ s in a random and uniform partition of the positive integer n that are counted without multiplicity. For s = λ(6n)^1/2/π + o(n ^1/4), 0 ≦ λ < ∞, as n → ∞, we establish the weak convergence of Y _s,n to a Gaussian distribution in the form of a central limit theorem. The mean and the standard deviation are also asymptotically determined. This revised version was published online in June 2006 with corrections to the Cover Date.     

On the growth of functions represented by Dirichlet series with complex coefficients on the real axis

We establish conditions under which, for a Dirichlet series F(z) = Σ _{n = 1} ^∞ d _n exp(λ _n z), the inequality ⋎F(x)⋎≤y(x),x≥x _o, implies the relation Σ _{n = 1} ^∞ |d _n exp(λ _n z)| ⪯ γ((1 + o(1))x) as x→+∞, where γ is a nondecreasing function on (−∞,+∞). Franko Drohobych State Pedagogic Institute, Drohobych. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 12, pp. 1610–1616. December, 1997     

Fibrewise construction applied to Lusternik-Schnirelmann category

In this paper a variant of Lusternik-Schnirelmann category is presented which is denoted byQcat(X). It is obtained by applying a base-point free version ofQ=Ω^∞∑^∞ fibrewise to the Ganea fibrations. We provecat(X)≥Qcat(X)≥σcat(X) whereσcat(X) denotes Y. Rudyak’s strict category weight. However,Qcat(X) approximatescat(X) better, because, e.g., in the case of a rational spaceQcat(X)=cat(X) andσcat(X) equals the Toomer invariant. We show thatQcat(X×Y)≤Qcat(X)+Qcat(Y). The invariantQcat is designed to measure the failure of the formulacat(X×S ^r )=cat(X)+1. In fact for 2-cell complexesQcat(X)<cat(X)⇔cat(X×S ^r )=cat(X) for somer≥1. We note that the paper is written in the more general context of a functor λ from the category of spaces to itself satisfying certain conditions; λ=Q, Ω ⁿ Σ ⁿ ,Sp ^∞ orL _f are just particular cases.     

Implicatively selector sets

Let A⊆N={0,1,2,...} and β be an n-ary Boolean function. We call A a β-implicatively selector (β-IS) set if there exists an n-ary selector general recursive function f such that (∀x₁,...,x_n)(β(χ(x₁),...,χ(x_n))=1⟹f(x₁,...,x_n)∈A), where χ is the characteristic function of A. Let F^(m), m≥1, be the family of all d _m+1 ^* -IS sets, where , F⁽⁰⁾=N, and F^(∞) is the class of all subsets in N. The basic result of the article says that the family of all β-IS sets coincides with one of F^(m), m≥0, or F^(∞), and, moreover, the inclusions F⁽⁰⁾⊂F⁽¹⁾⊂...⊂F^(∞) hold. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 145–153, March–April, 1996.     

Asymptotic behavior of eigenvalues of two-parameter nonlinear Sturm-Liouville problems

The nonlinear two-parameter Sturm-Liouville problemu ^"+μg(u)=λf(u) is studied for μ, λ>0. By using Ljusternik-Schnirelman theory on the general level set developed by Zeidler, we shall show the existence of ann-th variational eigenvalue λ=λ_n(μ). Furthermore, for specialf andg, the asymptotic formula of λ₁(μ)) as μ→∞ is established.     

Certain asymptotic expansions for laguerre polynomials and Charlier polynomials

Here proposed are certain asympotic expansion formulas for L _n ^(∞-1) (λz) and C _n ^(∞) (λz) in which 0<w=0(λ) and C_n/(^w)(λz), z being a complex number. Also presented are certain estimates for the remainders (error bounds) of the asymptotic expansions within the regions D₁(-∞<R_ez<=1/2(ω/λ) and D₂(1/2(ω/λ)<=Re_z<∞), respectively. Supported by NSERC (Canada) and also by the National Natural Science Foundation of China.     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

A congruence for the Fourier coefficients of a modular form and its application to quadratic forms

Let F(z)=∑ _n=1^∞ A(n)q ⁿ denote the unique weight 6 normalized cuspidal eigenform on Γ₀(4). We prove that A(p)≡0,2,−1(mod 11) when p≠11 is a prime. We then use this congruence to give an application to the number of representations of an integer by quadratic form of level 4.      

Grow-up of critical solutions for a non-local porous medium problem with Ohmic heating source

We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation ${u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2}We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation u_t = (uⁿ)_xx + lf(u)/(ò_-1¹ f(u)dx)²{u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2} with Dirichlet boundary conditions and positive initial data. The function f satisfies: f(s),−f ′ (s) > 0 for s ≥ 0 and s ^n-1 f(s) is integrable at infinity. Due to the conditions on f, there exists a critical value of parameter λ, say λ*, such that for λ > λ* the solution u = u(x, t; λ) blows up globally in finite time, while for λ ≥ λ* the corresponding steady-state problem does not have any solution. For 0 < λ < λ* there exists a unique steady-state solution w = w(x; λ) while u = u(x, t; λ) is global in time and converges to w as t → ∞. Here we show the global grow-up of critical solution u* =  u(x, t; λ*) (u* (x, t) → ∞, as t → ∞ for all x ? (-1,1){x\in(-1,1)}.     

Joint ergodicity and mixing

The study of jointly ergodic measure preserving transformations of probability spaces, begun in [1], is continued, and notions of joint weak and strong mixing are introduced. Various properties of ergodic and mixing transformations are shown to admit analogues for several transformations. The case of endomorphisms of compact abelian groups is particularly emphasized. The main result is that, given such commuting endomorphisms σ₁σ₂,...,σ, ofG, the sequence ((1/N)Σ _n=0 ^N−1 σ ₁ ⁿ f ¹·σ ₂ ⁿ f ²· ··· · σ _s ⁿ f ^sconverges inL ²(G) for everyf ₁,f ₂,…,f _s∈L ^∞(G). If, moreover, the endomorphisms are jointly ergodic, i.e., if the limit of any sequence as above is Π _i=1 ^s ∫ _G f ₁ d μ, where μ is the Haar measure, then the convergence holds also μ-a.e.     

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

K-Theory of pseudodifferential operators with semi-periodic symbols

Let 𝔄 denote the C^*-algebra of bounded operators on L ² ℝ generated by: (i) all multiplications a(M) by functions a∈C[ − ∞, + ∞], (ii) all multiplications by 2π-periodic continuous functions, and (iii) all operator of the form F ⁻¹ b(M)F, where F denotes the Fourier transform and b∈C[ − ∞, + ∞]. A given A ∈ 𝔄 is a Fredholm operator if and only if σ(A) and γ(A) are invertible, where σ denotes the continuous extension of the usual principal symbol, while γ denotes an operator-valued “boundary principal symbol” (the “boundary” here consists of two copies of the circle, one at each end of the real line). We give two proofs of the fact that K ₀(𝔄) is isomorphic to ℤ and that K ₁(𝔄) is isomorphic to ℤ ⊕ ℤ . We do it first by computing the connecting mappings in the six-term exact sequence associated to σ. For the second proof, we show that the image of γ is isomorphic to the direct sum of two copies of the crossed product , where α denotes the translation-by-one automorphism. Its K-theory can be computed using the Pimsner–Voiculescu exact sequence, and that information suffices for the analysis of the standard cyclic exact sequence associated to γ. Received: February 2006     

Asymptotic formulas for the hyperġeometric function2 F 1 of matrix argument,useful in multivariate analysis

Summary LetS _i have the Wishart distributionW _p(∑_i,n_i) fori=1,2. An asymptotic expansion of the distribution of for large n=n₁+n₂ is derived, when∑ ₁∑ ₂ ⁻¹ =I+n^−1/2θ, based on an asymptotic solution of the system of partial differential equations for the hypergeometric function₂ F ₁, obtained recently by Muirhead [2]. Another asymptotic formula is also applied to the distributions of −2 log λ and −log|S ₂(S ₁+S ₂)⁻¹| under fixed∑ ₁∑ ₂ ⁻¹ , which gives the earlier results by Nagao [4]. Some useful asymptotic formulas for₁ F ₁ were investigated by Sugiura [7].