We prove: If $A\left(n\right)$ and $G\left(n\right)$ denote the arithmetic and geometric means of the first $n$ positive integers, then the sequence $n\mapsto nA\left(n\right)/G\left(n\right)-(n-1)A(n-1)/G(n-1)$ $(n\ge 2)$ is strictly increasing and converges to $e/2$, as $n$ tends to $\infty$.

For $x\in ℂ$, $\left|x\right|\<1$, $s\in \mathbb{N}$, let ${\mathrm{Li}}_s\left(x\right)$ be the $s$-th polylogarithm of $x$. We prove that for any non-zero algebraic number $\alpha$ such that $\left|\alpha \right|\<1$, the $\mathbb{Q}\left(\alpha \right)$-vector space spanned by $1,{\mathrm{Li}}_1\left(\alpha \right),{\mathrm{Li}}_2\left(\alpha \right),\cdots$ has infinite dimension. This result extends a previous one by Rivoal for rational $\alpha$. The main tool is a method introduced by Fischler and Rivoal, which shows the coefficients of the polylogarithms in the relevant series to be the unique solution of a suitable Padé approximation problem.

Assume $f_1,...,f_N$ a finite set of functions in $H^{\infty }\left(D\right)$, the space of bounded analytic functions on the open unit disc. We give a sufficient condition on a function $f$ in $H^{\infty }\left(D\right)$ to belong to the norm-closure of the ideal $I(f_1,...,f_N)$ generated by $f_1,...,f_N$, namely the property $$\left|f\right(z\left)\right|\le \alpha \left(\right|f_1\left(z\right)|+...+|f_N\left(z\right)\left|\right)\text{for}z\in D$$ for some function $\alpha$ : ${\mathbf{R}}_{+}\to {\mathbf{R}}_{+}$ satisfying ${lim}_{t\to 0}\alpha \left(t\right)/t=0.$ The main feature in the proof is an improvement in the contour-construction appearing in L. Carleson’s solution of the corona-problem. It is also shown that the property $$\left|f\left(z\right)\right|\le C\underset{1\le j\le N}{max}\left|f_j\left(z\right)\right|\text{for}z\in D$$ ...

The tempered fundamental group of a $p$-adic analytic space classifies covers that are dominated by a topological cover (for the Berkovich topology) of a finite étale cover of the space. Here we construct cospecialization homomorphisms between $\left(p^{\prime }\right)$ versions of the tempered fundamental groups of the fibers of a smooth family of curves with semistable reduction. To do so, we will translate our problem in terms of cospecialization morphisms of fundamental groups of the log fibers of the log...

Let We prove that $F$ is completely monotonic on $(0,\mathrm{\infty })$. This complements a result of Miller and Moskowitz (2006), who proved that $F$ is positive and strictly decreasing on $(0,\mathrm{\infty })$. The sequence $\{S(k)\}$ $(k=1,2,\mathrm{\dots })$ plays a role in information theory.

We present a method that in certain sense stores the inverse of the stiffness matrix in $O(NlogN)$ memory places, where $N$ is the number of degrees of freedom and hence the matrix size. The setup of this storage format requires $O\left(N^{3/2}\right)$ arithmetic operations. However, once the setup is done, the multiplication of the inverse matrix and a vector can be performed with $O(NlogN)$ operations. This approach applies to the first order finite element discretization of linear elliptic and parabolic problems in triangular...