Let ϕ(n) be the Euler function of n. We put $E\left(n\right)={\sum }_{m\le n}\varphi \left(m\right)-(3/\pi ²)n²$ and give an asymptotic formula for the second moment of E(n).

Menon’s identity is a classical identity involving gcd sums and the Euler totient function $\phi$. A natural generalization of $\phi$ is the Klee’s function ${\Phi }_s$. We derive a Menon-type identity using Klee’s function and a generalization of the gcd function. This identity generalizes an identity given by Y. Li and D. Kim (2017).

Let λ denote Carmichael’s function, so λ(n) is the universal exponent for the multiplicative group modulo n. It is closely related to Euler’s φ-function, but we show here that the image of λ is much denser than the image of φ. In particular the number of λ-values to x exceeds $x/{\left(logx\right)}^{.36}$ for all large x, while for φ it is equal to $x/{\left(logx\right)}^{1+o\left(1\right)}$, an old result of Erdős. We also improve on an earlier result of the first author and Friedlander giving an upper bound for the distribution of λ-values.

The incidence coalgebras $K^{\square }I$ of interval finite posets I and their comodules are studied by means of the reduced Euler integral quadratic form $q^{•}:{\mathbb{Z}}^{\left(I\right)}\to \mathbb{Z}$, where K is an algebraically closed field. It is shown that for any such coalgebra the tameness of the category $K^{\square }I-comod$ of finite-dimensional left $K^{\square }I$-modules is equivalent to the tameness of the category $K^{\square }I-Como{d}_{fc}$ of finitely copresented left $K^{\square }I$-modules. Hence, the tame-wild dichotomy for the coalgebras $K^{\square }I$ is deduced. Moreover, we prove that for an interval finite...

Let d be a positive integer and α a real algebraic number of degree d + 1. Set $\alpha ̲:=(\alpha ,\alpha ²,...,{\alpha }^d)$. It is well-known that $c\left(\alpha ̲\right):=limin{f}_{q\to \infty }{q}^{1/d}·\left|\right|q\alpha ̲\left|\right|>0$, where ||·|| denotes the distance to the nearest integer. Furthermore, $c\left(\alpha ̲\right)n^{-1/d}\le c\left(n\alpha ̲\right)\le nc\left(\alpha ̲\right)$ for any integer n ≥ 1. Our main result asserts that there exists a real number C, depending only on α, such that $c\left(n\alpha ̲\right)\le C{n}^{-1/d}$ for any integer n ≥ 1.

We prove the existence of an effectively computable integer polynomial P(x,t₀,...,t₅) having the following property. Every continuous function $f:{ℝ}^s\to ℝ$ can be approximated with arbitrary accuracy by an infinite sum ${\sum }_{r=1}^{\infty }{H}_r(x₁,...,x_s)\in C^{\infty }\left({ℝ}^s\right)$ of analytic functions $H_r$, each solving the same system of universal partial differential equations, namely $P(x_{\sigma };H_r,\partial H_r/\partial x_{\sigma },...,\partial ⁵H_r/\partial x{⁵}_{\sigma }⁵)=0$ (σ = 1,..., s).

Let $M_g^n$ be the moduli space of $n$-pointed Riemann surfaces of genus $g$. Denote by $\overline{M_g^n}$ the Deligne-Mumford compactification of $M_g^n$. In the present paper, we calculate the orbifold and the ordinary Euler characteristic of $\overline{M_g^n}$ for any $g$ and $n$ such that $n>2-2g$.

We consider the integral functional $J\left(u\right)={\int }_{\Omega }\left[f\right(\left|Du\right|\left)-u\right]dx$, $u\in W_0^{1,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^n$, $n\ge 2$, is a nonempty bounded connected open subset of ${ℝ}^n$ with smooth boundary, and $ℝ\ni s\mapsto f\left(\right|s\left|\right)$ is a convex, differentiable function. We prove that if $J$ admits a minimizer in $W_0^{1,1}\left(\Omega \right)$ depending only on the distance from the boundary of $\Omega$, then $\Omega$ must be a ball.

The main result is as follows. Let X be a Banach space and let Y be a closed subspace of X. Assume that the pair $(X*,Y^{\perp })$ has the λ-bounded approximation property. Then there exists a net $\left(S_{\alpha }\right)$ of finite-rank operators on X such that $S_{\alpha }\left(Y\right)\subset Y$ and $\left|\right|S_{\alpha }\left|\right|\le \lambda$ for all α, and $\left(S_{\alpha }\right)$ and $\left(S{*}_{\alpha }\right)$ converge pointwise to the identity operators on X and X*, respectively. This means that the pair (X,Y) has the λ-bounded duality approximation property.

Suppose Δ̃ is the Laplace-Beltrami operator on the sphere $S^{d-1},{\Delta }_{\rho }^{k}f\left(x\right)={\Delta }_{\rho }{\Delta }_{\rho }^{k-1}f\left(x\right)$ and ${\Delta }_{\rho }f\left(x\right)=f\left(\rho x\right)-f\left(x\right)$ where ρ ∈ SO(d). Then ${\omega }^m{(f,t)}_{L_p\left(S^{d-1}\right)}\equiv sup\parallel {\Delta }_{\rho }^{m}f{\parallel }_{L_p\left(S^{d-1}\right)}:\rho \in SO\left(d\right),ma{x}_{x\in S^{d-1}}\rho x·x\ge cost$ and $K̃ₘ{(f,t^m)}_p\equiv inf\parallel f-g{\parallel }_{L_p\left(S^{d-1}\right)}+t^m\parallel {(-\Delta ̃)}^{m/2}g{\parallel }_{L_p\left(S^{d-1}\right)}:g\in \left({(-\Delta ̃)}^{m/2}\right)$ are equivalent for 1 < p < ∞. We note that for even m the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p\left(S^{d-1}\right)$ given in this paper plays a significant role in the proof.

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

It is shown that there is a subspace $Z_q$ of ${\ell }_q$ for $1<q<2$ which is isomorphic to ${\ell }_q$ such that ${\ell }_q/Z_q$ does not have the approximation property. On the other hand, for $2<p<\infty$ there is a subspace $Y_p$ of ${\ell }_p$ such that $Y_p$ does not have the approximation property (AP) but the quotient space ${\ell }_p/Y_p$ is isomorphic to ${\ell }_p$. The result is obtained by defining random “Enflo-Davie spaces” $Y_p$ which with full probability fail AP for all $2<p\le \infty$ and have AP for all $1\le p\le 2$. For $1<p\le 2$, $Y_p$ are isomorphic to ${\ell }_p$.

The energy class ${}_p$ is studied for 0 < p < 1. A characterization of certain bounded plurisubharmonic functions in terms of ${ℱ}_p$ and its pluricomplex p-energy is proved.

The maximal operator S⁎ for the spherical summation operator (or disc multiplier) $S_R$ associated with the Jacobi transform through the defining relation $\widehat{S_{R}f}\left(\lambda \right)=1_{\left|\lambda \right|\le R}f̂\left(t\right)$ for a function f on ℝ is shown to be bounded from $L^p(ℝ₊,d\mu )$ into $L^p(ℝ,d\mu )+L²(ℝ,d\mu )$ for (4α + 4)/(2α + 3) < p ≤ 2. Moreover S⁎ is bounded from $L^{p₀,1}(ℝ₊,d\mu )$ into $L^{p₀,\infty }(ℝ,d\mu )+L²(ℝ,d\mu )$. In particular ${S_{R}f\left(t\right)}_{R>0}$ converges almost everywhere towards f, for $f\in L^p(ℝ₊,d\mu )$, whenever (4α + 4)/(2α + 3) < p ≤ 2.

The Littlewood conjecture in Diophantine approximation claims that $$\underset{q\ge 1}{inf}q·\parallel q\alpha \parallel ·\parallel q\beta \parallel =0$$ holds for all real numbers $\alpha$ and $\beta$, where $\parallel ·\parallel$ denotes the distance to the nearest integer. Its $p$-adic analogue, formulated by de Mathan and Teulié in 2004, asserts that $$\underset{q\ge 1}{inf}q·\parallel q\alpha \parallel ·{\left|q\right|}_p=0$$ holds for every real number $\alpha$ and every prime number $p$, where ${|·|}_p$ denotes the $p$-adic absolute value normalized by ${\left|p\right|}_p=p^{-1}$. We survey the known results on these conjectures and highlight recent developments. ...

A space-time formulation for unsteady inviscid compressible flow computations in 2D moving geometries is presented. The governing equations in Arbitrary Lagrangian-Eulerian formulation (ALE) are discretized on two layers of space-time finite elements connecting levels $n$, $n+1/2$ and $n+1$. The solution is approximated with linear variation in space (P1 triangle) combined with linear variation in time. The space-time residual from the lower layer of elements is distributed to the nodes at level...

We classify all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $A$ transforming projectable-projectable torsion-free classical linear connections $\nabla$ on fibered-fibered manifolds $Y$ of dimension $(m_1,m_2,n_1,n_2)$ into $r$th order Lagrangians $A\left(r\right)$ on the fibered-fibered linear frame bundle $L^{fib-fib}\left(Y\right)$ on $Y$. Moreover, we classify all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $B$ transforming projectable-projectable torsion-free classical linear connections r on fiberedfibered manifolds $Y$ of dimension $(m_1,m_2,n_1,n_2)$ into Euler morphism $B\left(\nabla \right)$ on $L^{fib-fib}\left(Y\right)$. These classifications can be expanded on...

Let $\alpha \&gt;1$ be irrational. Several authors studied the numbers $${\ell }^m\left(\alpha \right)=inf\left\{\right|y|:y\in {\Lambda }_m,y\ne 0\},$$ where $m$ is a positive integer and ${\Lambda }_m$ denotes the set of all real numbers of the form $y={ϵ}_0{\alpha }^n+{ϵ}_1{\alpha }^{n-1}+\cdots +{ϵ}_{n-1}\alpha +{ϵ}_n$ with restricted integer coefficients $|{ϵ}_i|\le m$. The value of ${\ell }^1\left(\alpha \right)$ was determined for many particular Pisot numbers and ${\ell }^m\left(\alpha \right)$ for the golden number. In this paper the value of ${\ell }^m\left(\alpha \right)$ is determined for irrational numbers $\alpha$, satisfying ${\alpha }^2=a\alpha \pm 1$ with a positive integer $a$.