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 $$T\left(q\right)=\sum _{k=1}^{\infty }d\left(k\right)q^k,\left|q\right|<1,$$ where $d\left(k\right)$ denotes the number of positive divisors of the natural number $k$. We present monotonicity properties of functions defined in terms of $T$. More specifically, we prove that $$H\left(q\right)=T\left(q\right)-\frac{log(1-q)}{log\left(q\right)}$$ is strictly increasing on $(0,1)$, while $$F\left(q\right)=\frac{1-q}{q}H\left(q\right)$$ is strictly decreasing on $(0,1)$. These results are then applied to obtain various inequalities, one of which states that the double inequality $$\alpha \frac{q}{1-q}+\frac{log(1-q)}{log\left(q\right)}<T\left(q\right)<\beta \frac{q}{1-q}+\frac{log(1-q)}{log\left(q\right)},0<q<1,$$ holds with the best possible constant factors $\alpha =\gamma$ and $\beta =1$. Here, $\gamma$ denotes Euler’s constant. This refines a result of Salem, who...

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...

We show that if $\alpha >1$, then the logarithmically weighted Bergman space $A_{{log}^{\alpha }}^2$ is mapped by the Libera operator $ℒ$ into the space $A_{{log}^{\alpha -1}}^2$, while if $\alpha >2$ and $0<\epsilon \le \alpha -2$, then the Hilbert matrix operator $H$ maps $A_{{log}^{\alpha }}^2$ into $A_{{log}^{\alpha -2-\epsilon }}^2$.We show that the Libera operator $ℒ$ maps the logarithmically weighted Bloch space ${ℬ}_{{log}^{\alpha }}$, $\alpha \in ℝ$, into itself, while $H$ maps ${ℬ}_{{log}^{\alpha }}$ into ${ℬ}_{{log}^{\alpha +1}}$.In Pavlović’s paper (2016) it is shown that $ℒ$ maps the logarithmically weighted Hardy-Bloch space ${ℬ}_{{log}^{\alpha }}^1$, $\alpha >0$, into ${ℬ}_{{log}^{\alpha -1}}^1$. We show that this result is sharp. We also show that $H$ maps ${ℬ}_{{log}^{\alpha }}^1$, $\alpha \ge 0$,...

In this paper we investigate Ramanujan’s inequality concerning the prime counting function, asserting that $\pi {\left(x\right)}^2<\frac{\mathrm{e}x}{logx}\pi \left(\frac{x}{\mathrm{e}}\right)$ for $x$ sufficiently large. First, we study its sharpness by giving full asymptotic expansions of its left and right hand sides expressions. Then, we discuss the structure of Ramanujan’s inequality, by replacing the factor $\frac{x}{logx}$ on its right hand side by the factor $\frac{x}{logx-h}$ for a given $h$, and by replacing the numerical factor $\mathrm{e}$ by a given positive $\alpha$. Finally, we introduce and study inequalities...

Given an irreducible algebraic curves $A$ in ${ℂ}^N$, let $m_d$ be the dimension of the complex vector space of all holomorphic polynomials of degree at most $d$ restricted to $A$. Let $K$ be a nonpolar compact subset of $A$, and for each $d=1,2,...,$ choose $m_d$ points ${\left\{A_{dj}\right\}}_{j=1,...,m_d}$ in $K$. Finally, let ${\Lambda }_d$ be the $d$-th Lebesgue constant of the array $\left\{A_{dj}\right\}$; i.e., ${\Lambda }_d$ is the operator norm of the Lagrange interpolation operator $L_d$ acting on $C\left(K\right)$, where $L_d\left(f\right)$ is the Lagrange interpolating polynomial for $f$ of degree $d$ at the points ${\left\{A_{dj}\right\}}_{j=1,...,m_d}$. Using techniques...