Related papers: Exponential functions in prime characteristic

Let $E/F$ be a cyclic field extension of degree $n$, and let $\sigma$ generate the group ${\rm Gal}(E/F)$. If ${\rm Tr}^E_F(y)=\sum_{i=0}^{n-1}\sigma^i y=0$, then the additive form of Hilbert's Theorem 90 asserts that $y=\sigma x-x$ for…

We consider summation of some finite and infinite functional p-adic series with factorials. In particular, we are interested in the infinite series which are convergent for all primes p, and have the same integer value for an integer…

Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a…

If $\mathfrak{p} \subseteq \mathbb{Z}[\zeta]$ is a prime ideal over $p$ in the $(p^d - 1)$th cyclotomic extension of $\mathbb{Z}$, then every element $\alpha$ of the completion $\mathbb{Z}[\zeta]_\mathfrak{p}$ has a unique expansion as a…

For a local field with finite residue field of characteristique p, we give some refinements of Serre's mass formula in degree p which allow us to compute for example the contribution of cyclic extensions, or of those whose galoisian closure…

Let K be a p-adic field, R the valuation ring of K, and P the maximal ideal of R. Let $Y subseteq R^{2}$ be a non-singular closed curve, and Y_{m} its image in R/P^{m} times R/P^{m}, i.e. the reduction modulo P^{m} of Y. We denote by Psi an…

Let ${\mathcal H}$ be a multiplicative subgroup of $\mathbb{F}_p^*$ of order $H>p^{1/4}$. We show that $$ \max_{(a,p)=1}\left|\sum_{x\in {\mathcal H}} {\mathbf{\,e}}_p(ax)\right| \le H^{1-31/2880+o(1)}, $$ where ${\mathbf{\,e}}_p(z) =…

A prefixed polynomial equation is an equation of the form $P(t_1,\ldots,t_n) = 0$, where $P$ is a polynomial whose variables $t_1,\ldots,t_n$ range over the natural numbers, preceded by quantifiers over some, or all, of its variables. Here,…

Given a prime $p$, and $v_p(a)$ stand for the $p$-adic valuation of the element $a$ in a finite extension $K$ of $\mathbf{Q}_p$, or more generally the field $\mathbf{C}_p$ which is the complete field of the algebraic closure $\mathbf{Q}_p$…

Let $F$ be an algebraically closed field of characteristic $p>0$. In this paper we develop methods to represent arbitrary elements of $F[t]$ as sums of perfect $k$-th powers for any $k\in\mathbb{N}$ relatively prime to $p$. Using these…

We prove bounds for the absolute sum of all level-$k$ Fourier coefficients for $(-1)^{p(x)}$, where polynomial $p:\mathbf{F}_2^n \to \mathbf{F}_2$ is of degree $1$ or degree $2$.

We introduce a class of $f(t)$-factorials, or $f(t)$-Pochhammer symbols, that includes many, if not most, well-known factorial and multiple factorial function variants as special cases. We consider the combinatorial properties of the…

Let $\mathcal{P}$ be an (unbounded) countable multiset of primes, let $G=\bigoplus_{p\in P}\mathbb{F}_p$. We study the $k$'th universal characteristic factors of an ergodic probability system $(X,\mathcal{B},\mu)$ with respect to some…

We transformed the generalized exponential power series to another functional form suitable for further analysis. By applying the Cauchy-Euler differential operator in the form of an exponential operator, the series became a sum of…

Let $F=(F_1, F_2, ... F_n)$ be an $n$-tuple of formal power series in $n$ variables of the form $F(z)=z+ O(|z|^2)$. It is known that there exists a unique formal differential operator $A=\sum_{i=1}^n a_i(z)\frac {\p}{\p z_i}$ such that…

Let us consider a generalized Artin-Schreier algebraic function field extension $F$ of the rational function field $\F_{p^n}(x)$ defined over the finite field extension $K=\F_{p^n}$ of the prime field $\F_p$. We assume that $K$ is…

A finite sum of exponential functions may be expressed by a linear combination of powers of the independent variable and by successive integrals of the sum. This is proved for the general case and the connection between the parameters in…

We introduce a rigorous arithmetic--spectral construction associating planar geometric objects with additive prime factor statistics. Let $\mathrm{sopfr}(n)$ denote the sum of prime factors of $n$, counted with multiplicity, and define the…

In this paper we introduce elementary and completely explicit formulas for the derivative of any order of any function of the type 1/p, where p is a polynomial with known zeros.

Infinite series of Bessel function of the first kind, $\sum_\nu^{\pm\infty} J_{N\nu+p}(x)$, $\sum_\nu^{\pm\infty} (-1)^\nu J_{N\nu+p}(x)$, are summed in closed form. These expressions are evaluated by engineering a Dirac comb that selects…