Some remarks on the \([x/n]\)-sequence (Q6989504)

The article focuses on number theoretic applications of sums of functions from \(1\leq n\leq x\) involving the floor function, \(\lfloor\frac{x}{n}\rfloor\). The authors improve some upper bounds on classical partial sum results. Sums involving the floor function such as these occur in practice when evaluating number theoretic functions and partial sums. For example, if \(\alpha(n)\) is a Dirichlet invertible arithmetic function, i.e., if \(\alpha(1) \neq 0\), then as in Section 2 of \textit{T. M. Apostol}'s [Introduction to analytic number theory. Corrected 5th printing. New York, NY: Springer (1998; Zbl 1154.11300)], we can invert sums of the following form:\N\begin{align*}\NG(x) & := \sum_{n \leq x} \alpha(n) F\left(\lfloor \frac{x}{n} \rfloor\right) \\\NF(x) & \phantom{:} = \sum_{n \leq x} \alpha^{-1}(n)G\left(\lfloor \frac{x}{n} \rfloor\right).\N\end{align*}\NThe reviewer also notes some identities proved in the preprint article [\textit{M. D. Schmidt}, ``Exact formulas for partial sums of the Möbius function expressed by partial sums weighted by the Liouville lambda function'', Preprint, \url{arXiv:2102.05842}] given as follows for \(r(1)\neq 0\) where \(R(x) := \sum_{n \leq x} r(n)\), \(H(x) := \sum_{n \leq x} h(n)\), and \(R^{-1}(x) := \sum_{n \leq x} r^{-1}(n)\) with \(r^{-1}(n)\) taken to be the Dirichlet (convolution) inverse of the arithmetic function \(r\):\N\begin{align*}\NS_{r \ast h}(x) & := \sum_{n \leq x} \sum_{d|n} r(d) h\left(\frac{n}{d}\right) \\\N& \phantom{:} = \sum_{d \leq x} r(d) H\left(\left\lfloor \frac{x}{d} \right\rfloor\right) \\\N& \phantom{:} = \sum_{k \leq x} H(k) \left[ R\left(\left\lfloor \frac{x}{k} \right\rfloor\right) - R\left(\left\lfloor \frac{x}{k+1} \right\rfloor\right) \right] \\\NH(x) & \phantom{:} = \sum_{j \leq x} S_{r \ast h}(j) \left[ R^{-1}\left(\left\lfloor \frac{x}{j} \right\rfloor\right) - R^{-1}\left(\left\lfloor \frac{x}{j+1} \right\rfloor\right) \right] \\\N& \phantom{:} = \sum_{k \leq x} r^{-1}(k) S_{r \ast h}\left( \left\lfloor \frac{x}{k} \right\rfloor\right).\N\end{align*}