Related papers: On p-Adic Power Series

In a prior paper we found that the Fourier-Legendre series of a Bessel function of the first kind J_{N}\left(kx\right) and of a modified Bessel functions of the first kind I_{N}\left(kx\right) lead to an infinite set of series involving…

A finite group $G$, its group algebra $R[G]$ over the field of real numbers, any power series $p(t)= a_0+a_1t+ a_{2}t^{2}+ ...$, where $ a_i \geq 0$, and $a_0+a_1+ a_{2}+...= 1$, and simplex $$ S= \{x=\sum_{g\in G}x_gg\in R[G]: \sum_{g\in…

Let X be a finite set of points in R^n. A polynomial p nonnegative on X can be written as a sum of squares of rational functions modulo the vanishing ideal I(X). From the point of view of applications, such as polynomial optimization, we…

We give a self-contained proof of the fact that, for any prime number $p$, there exists a power series $$\Psi= \Psi_p(T) \in T + T^2\Z[[T]] $$ which trivializes the addition law of the formal group of Witt covectors is $p$-adically entire…

It is known that solutions of the KZ equations can be written in the form of multidimensional hypergeometric integrals. In 2017 in a joint paper of the author with V. Schechtman the construction of hypergeometric solutions was modified, and…

Let $p$ be a prime number. The $p$-power cyclic resultant of a polynomial is the determinant of the Sylvester matrix of $t^{p^n}-1$ and the polynomial. It is known that the sequence of $p$-power cyclic resultants and its non-$p$-parts…

We provide explicit descriptions for the rational powers and Rees valuations of several classes of ideals invariant under natural actions of tori and products of general linear groups, in terms of polyhedra and lattice points. This allows…

We establish several sum-product estimates over finite fields that involve polynomials and rational functions. First, |f(A)+f(A)|+|AA| is substantially larger than |A| for an arbitrary polynomial f over F_p. Second, a characterization is…

In this paper we will extend a $p$-adic algorithm of Boyd in order to study the size of the set: \[J_p(y)=\left\{n :\sum_{j=1}^{n}\frac{y^j}{j}\equiv 0(\mod p)\right\}.\] Suppose that $p$ is one of the first 100 odd primes and…

Using appropriate power series evaluations, we determine all moments of arbitrary positive powers of the arcsine. As consequences we evaluate several doubly infinite classes of power series involving central binomial coefficients and…

By employing certain extended classical summation theorems, several surprising \pi and other formulae are displayed.

We consider a generalization of the "Hadamard quotient theorem" of Pourchet and van der Poorten. A particular case of our conjecture states that if $f := \sum_{n \geq 0} a(n)x^n$ and $g := \sum_{n \geq 0} b(n)x^n$ represent, respectively,…

(Dieudonn\'e and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the…

It is a classical fact that domains of convergence of power series of several complex variables are characterized as logarithmically convex complete Reinhardt domains; let $D \subsetneq \mathbb{C}^N$ be such a domain. We show that a…

Let $p$ be an odd prime, and let $a$ be a rational $p$-adic integer with $a\not\equiv 0\pmod p$. In this paper, using WZ method we establish the congruences for $\sum_{k=0}^{p-1} \binom ak^2(-1)^k(1-\frac 2ak)$ modulo $p^2$ and…

In this paper, we will show that the $p$-adic valuation (where $p$ is a given prime number) of some type of rational numbers is unusually large. This generalizes the very recent results by the author and by A. Dubickas, which are both…

A master formula of transformation formulas for bilinear sums of basic hypergeometric series is proposed. It is obtained from the author's previous results on a transformation formula for Milne's multivariate generalization of basic…

For integer $m, p,$ we study tangent power sum $\sum^m_{k=1}\tan^{2p}\frac{\pi k}{2m+1}.$ We prove that, for every $m, p,$ it is integer, and, for a fixed p, it is a polynomial in $m$ of degree $2p.$ We give recurrent, asymptotical and…

A more general notion of weight called admissible is introduced and then an investigation is carried out on the a.e. convergence of weighted strong laws of large numbers and their applications to weighted one-sided ergodic Hilbert…

This study presents explicit evaluations of the series \begin{equation*} \sum_{k=1}^\infty \frac{H_{k/n}^{(p)}}{k^q} \quad \text{and} \quad \sum_{k=1}^\infty \frac{(-1)^k H_{k/2n}^{(p)}}{k^q}, \quad p,q,n \in \mathbb{Z}_{\ge 1},\; q \ne 1,…