On the zeros of approximations of the Ramanujan Ξ-function

The analogue of the Riemann hypothesis for the Ramanujan zeta function states that all zeros of the Ramanujan Ξ-function have real zeros only. We study the zeros of approximations of the Ramanujan Ξ-function. This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00021).     

On some new properties of the gamma function and the Riemann zeta function

In this paper, we have exhibited, by utilizing value distribution theory, some new properties of the Gamma function Γ(z) and the Riemann zeta function ζ(z). Specifically, we have proved that both of the two functions are prime and the Riemann zeta function, like Γ(z), does not satisfy any algebraic differential equation with coefficients in ??₀. Moreover, the two functions do not satisfy any functional equation of the form P(Γ, ζ, z) ≡ 0, where P(x, y, z) is a nonconstant polynomial in x, y and z.     

On the Robin Boundary Condition for Laplace's Equation in Lipschitz Domains

Abstract

Let Ω be a bounded Lipschitz domain in ? ⁿ , n ≥ 3 with connected boundary. We study the Robin boundary condition ?u/?N + bu = f ∈ L ^p (?Ω) on ?Ω for Laplace's equation Δu = 0 in Ω, where b is a non-negative function on ?Ω. For 1 < p < 2 + ?, under suitable compatibility conditions on b, we obtain existence and uniqueness results with non-tangential maximal function estimate ‖(?u)*‖ _p  ≤ C‖f‖ _p , as well as a pointwise estimate for the associated Robin function. Moreover, the solution u is represented by a single layer potential.     

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.     

Asymptotic Results for Ruin Probability of a Two-Dimensional Renewal Risk Model

In this article, some asymptotic formulas of the finite-time ruin probability for a two-dimensional renewal risk model are obtained. In the model, the distributions of two claim amounts belong to the intersection of the long-tailed distributions class and the dominated varying distributions class and the claim arrival-times are extended negatively dependence structures. Assumption that the claim arrivals of two classes are governed by a common renewal counting process. The asymptotic formulas hold uniformly for t ∈ [f(x), ∞), where f(x) is an infinitely increasing function.     

Mesoscopic fluctuations of the zeta zeros

We prove a multidimensional extension of Selberg’s central limit theorem for log ζ, in which non-trivial correlations appear. In particular, this answers a question by Coram and Diaconis about the mesoscopic fluctuations of the zeros of the Riemann zeta function. Similar results are given in the context of random matrices from the unitary group. This shows the correspondence n ? log t not only between the dimension of the matrix and the height on the critical line, but also, in a local scale, for small deviations from the critical axis or the unit circle.     

Schanuel's Conjecture and Algebraic Roots of Exponential Polynomials

In this article, I will prove that assuming Schanuel's conjecture, an exponential polynomial with algebraic coefficients can have only finitely many algebraic roots. Furthermore, this proof demonstrates that there are no unexpected algebraic roots of any such exponential polynomial. This implies a special case of Shapiro's conjecture: if p(x) and q(x) are two exponential polynomials with algebraic coefficients, each involving only one iteration of the exponential map, and they have common factors only of the form exp (g) for some exponential polynomial g, then p and q have only finitely many common zeros.     

A New Class of Generalized Thompson's Groups and Their Normal Subgroups

For a given group G and a homomorphism ?: G → G × G, we construct groups ?_?(G), 𝒯_?(G), and 𝒱_?(G) that blend Thompson's groups F, T, and V with G, respectively. Furthermore, we describe the lattice of normal subgroups of the groups ?_Δ(G), where Δ: G → G × G is the diagonal homomorphism, Δ(g) = (g, g).     

Family of Pearson discrete distributions generated by the univariate hypergeometric function 3F2(α1, α2, α3; γ1, γ2; λ)

In this work we present a study of the Pearson discrete distributions generated by the hypergeometric function ₃F₂(α₁, α₂, α₃;γ₁, γ₂; λ), a univariate extension of the Gaussian hypergeometric function, through a constructive methodology. We start from the polynomial coefficients of the difference equation that lead to such a function as a solution. Immediately after, we obtain the generating probability function and the differential equation that it satisfies, valid for any admissible values of the parameters. We also obtain the differential equations that satisfy the cumulants generating function, moments generating function and characteristic function, From this point on, we obtain a relation in recurrences between the moments about the origin, allowing us to create an equation system for estimating the parameters by the moment method. We also establish a classification of all possible distributions of such type and conclude with a summation theorem that allows us study some distributions belonging to this family. © 1997 by John Wiley & Sons, Ltd.     

Galois Theory of Difference Equations with Periodic Parameters

We develop a Galois theory for systems of linear difference equations with periodic parameters, for which we also introduce linear difference algebraic groups. We apply this to constructively test if solutions of linear q-difference equations, with q ∈ ?* and q not a root of unity, satisfy any polynomial ζ-difference equations with ζ ^t  = 1, t ≥ 1.     

Some Remarks on Syzygies of Adjoint Line Bundles

In this article, we construct examples of n-folds X carrying an ample line bundle A ∈ Pic X such that property N _p fails for K _X  + (n + 1 + p)A. This shows that the condition of Mukai's conjecture is optimal for every n ≥ 1 and p ≥ 0.     

On Radicals with Amitsur Property

Abstract

A radical γ has the Amitsur property, if γ(A[x]) = (γ(A[x]) ∩ A)[x] for every ring A. To any radical γ with Amitsur property we construct the smallest radical γ ^x which coincides with γ on polynomial rings. Distinct special radicals with Amitsur property are given which coincide on simple rings and on polynomial rings, answering thus a stronger version of M. Ferrero's problem. Radicals γ with Amitsur property are characterized which satisfy A[x, y] ∈ γ whenever A[x] ∈ γ.     

Lie-admissible algebras and generalized witt algebras ∗

The symmetric group 𝔖_n+1 of degree n + 1 admits an n-dimensional irreducible Q𝔖_n-module V corresponding to the hook partition (2, 1^n?1). By the work of Craig and Plesken, we know that there are σ(n + 1) many isomorphism classes of Z𝔖_n+1-lattices which are rationally equivalent to V, where σ denotes the divisor counting function. In the present article, we explicitly compute the Solomon zeta function of these lattices. As an application we obtain the Solomon zeta function of the Z𝔖_n+1-lattice defined by the Specht basis.     

On Kirchhoff's Model of Parabolic Type

In this article, the existence of a global strong solution for all finite time is derived for the Kirchhoff's model of parabolic type. Based on exponential weight function, some new regularity results which reflect the exponential decay property are obtained for the exact solution. For the related dynamics, the existence of a global attractor is shown to hold for the problem when the non-homogeneous forcing function is either independent of time or in L^∞(L²). With the finite element Galerkin method applied in spatial direction keeping time variable continuous, a semidiscrete scheme is analyzed, and it is also established that the semidiscrete system has a global discrete attractor. Optimal error estimates in L^∞(H¹) norm are derived which are valid uniformly in time. Further, based on a backward Euler method, a completely discrete scheme is analyzed and error estimates are derived. It is also further, observed that in cases where f = 0 or f = O(e^?γ₀t) with γ₀ > 0, the discrete solutions and error estimates decay exponentially in time. Finally, some numerical experiments are discussed which confirm our theoretical findings.     

Suboptimal Polynomial Meshes on Planar Lipschitz Domains

We construct norming meshes with cardinality 𝒪(n ^s ), s = 3, for polynomials of total degree at most n on the closure of bounded planar Lipschitz domains. Such cardinality is intermediate between optimality (s = 2), recently obtained by Kroó on multidimensional C ² star-like domains, and that arising from a general construction on Markov compact sets due to Calvi and Levenberg (s = 4).     

Random Measures and Applications

Abstract

A mapping Z(·) from a δ-ring ?₀(?) into the vector space of random variables L ^p (P) is a vector-valued measure if it is σ-additive in the metric of its range. It is a vector measure if the range is a Banach space and a random measure if also its values are independent on disjoint sets. An important reason for this study is to construct integrals relative to such Zs, which typically do not have finite variation. For this, it is essential to find a controlling (σ-finite) measure for Z that is not available if 0 <p < 1, and here the random measure is taken to be p-stable and utilize properties of infinitely divisible distributions. In the case of p = 2, Z(·) induces a bimeasure, and if p > 2 is an integer it induces a polymeasure, either of which need not be (signed) measures on product spaces. Important applications lead to all these possibilities. In all those cases, a detailed analysis of vector-valued set functions is presented, with special focus for the cases of 0 <p < 1 and p = 2 where probability and Bochner's L ^{2, 2} boundedness plays a key role. Specialization if Z is stationary, harmonizable, and/or isotropic are discussed using the group structure of ? ⁿ , n ≥ 1, extending it for an lca group G. If Z is Banach valued or a quasi-martingale measure, methods of obtaining integrals are outlined in the last section, and open problems motivated by applications are pointed out at various places.     

Almost Injective Transformations of an Infinite Set

Let V be an infinite-dimensional vector space, let n be a cardinal such that ?₀ ≤ n ≤ dim V, and let AM(V, n) denote the semigroup consisting of all linear transformations of V whose nullity is less than n. In recent work, Mendes-Gonçalves and Sullivan studied the ideal structure of AM(V, n). Here, we do the same for a similarly-defined semigroup AM(X, q) of transformations defined on an infinite set X. Although our results are clearly comparable with those already obtained for AM(V, n), we show that the two semigroups are never isomorphic.