For any natural number$m$(>1) let$P$($m$) denote the greatest prime divisor of$m$. By the problem of Erdős in the title of the present paper we mean the general version of his problem, that is, his conjecture from 1965 that $$\frac{P(2^n-1)}{n} \to \infty \quad {\rm as}\, n \to \infty$$ (see Erdős [10]) and its far-reaching generalization to Lucas and Lehmer numbers. In the present paper the author delivers three refinements upon Yu [40] required by C. L. Stewart for solving completely the problem of Erdős (see Stewart [25]). The author gives also some remarks on the solution of this problem, aiming to be more streamlined with respect to the$p$-adic theory of logarithmic forms.

Let σ be the geodesic inversion on a Heisenberg type group$N$with homogeneous dimension$Q$, and denote by$S$the jacobian of σ. We prove that, for $$ - \frac{1}{2}Q< \alpha< \frac{1}{2}Q$$ , the operators $$T_\alpha :f \mapsto S^{1/2 - \alpha /Q} (f \circ \sigma )$$ are bounded on certain homogeneous Sobolev spaces $$\mathcal{H}^\alpha (N)$$ if and only if$N$is an Iwasawa$N$-group.

For decades, the widely used finite difference method on staggered grids, also known as the marker and cell (MAC) method, has been one of the simplest and most effective numerical schemes for solving the Stokes equations and Navier–Stokes equations. Its superconvergence on uniform meshes has been observed by Nicolaides (SIAM J Numer Anal 29(6):1579–1591, 1992), but the rigorous proof is never given. Its behavior on non-uniform grids is not well studied, since most publications only consider uniform grids. In this work, we develop the MAC scheme on non-uniform rectangular meshes, and for the first time we theoretically prove that the superconvergence phenomenon (i.e., second order convergence in the L2 norm for both velocity and pressure) holds true for the MAC method on non-uniform rectangular meshes. With a careful and accurate analysis of various sources of errors, we observe that even though the local truncation errors are only first order in terms of mesh size, the global errors after summation are second order due to the amazing cancellation of local errors. This observation leads to the elegant superconvergence analysis even with non-uniform meshes. Numerical results are given to verify our theoretical analysis.

The classical Fej\'er's theorem is a criterion for pointwise convergence of Fourier series on the unit circle. We generalize it to locally compact groups.

In this article, we classify all standard invariants that can arise from a composed inclusion of an A 3 with an A 4 subfactor. More precisely, if N P is an A 3 subfactor and P M is an A 4 subfactor, then only four standard invariants can arise from the composed inclusion N M. We answer a question posed by Bisch and Haagerup in 1994. The techniques of this paper also show that there are exactly four standard invariants for the composed inclusion of two A 4 subfactors.