On the Upper Bound Estimation of a Class Sum of Divisors

WU Li,YANG Shi-chun

DOI: https://doi.org/10.3969/j.issn.1003-2843.2010.05.006

2010-01-01

Abstract:For any positive integer k,let σ(k)denote the sum of distinct divisors of k.With some elementary number theory methods,using sum of equal powers of the Bernoulli expansion,the best constant of type of upper bound estimates is determined.

What problem does this paper attempt to address?

A variety of Euler’s sum of powers conjecture

Tianxin Cai,Yong Zhang

DOI: https://doi.org/10.21136/CMJ.2021.0210-20

2021-01-01

Czechoslovak Mathematical Journal

Abstract:We consider a variety of Euler’s sum of powers conjecture, i.e., whether the Diophantine system $$\left\{{\matrix{{n = {a_1} + {a_2} + \ldots + {a_{s - 1}},} \hfill \cr {{a_1}{a_2} \ldots {a_{s - 1}}({a_1} + {a_2} + \ldots + {a_{s - 1}}) = {b^s}} \hfill \cr}} \right.$$ has positive integer or rational solutions n, b, aj, i = 1, 2, …, s − 1, s ⩾ 3. Using the theory of elliptic curves, we prove that it has no positive integer solution for s = 3, but there are infinitely many positive integers n such that it has a positive integer solution for s ⩾ 4. As a corollary, for s ⩾ 4 and any positive integer n, the above Diophantine system has a positive rational solution. Meanwhile, we give conditions such that it has infinitely many positive rational solutions for s ⩾ 4 and a fixed positive integer n.
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
On a Sumset Problem for Integers.

Shan-Shan Du,Hui-Qin Cao,Zhi-Wei Sun

DOI: https://doi.org/10.37236/2801

2014-01-01

Abstract:Let A be a finite set of integers. We show that if k is a prime power or a product of two distinct primes then vertical bar A + k . A vertical bar >= (k + 1) vertical bar A vertical bar - [k(k +2)/4] provided vertical bar A vertical bar >= (k -)(2)k!, where A + k . A = {a + kb : a, b is an element of A}. We also establish the inequality vertical bar A vertical bar 4 . A vertical bar >= 5 vertical bar A vertical bar - 6 for vertical bar A vertical bar >= 5.
On the Karatsuba divisor problem

Vitalii V. Iudelevich

2023-04-06

Abstract:We obtain an upper bound for the sum $\Phi_a(x) = \sum_{p\le x}1/(\tau(p+a))$, where $\tau(n)$ is the divisor function, $a\ge 1$ is a fixed integer, and $p$ run through primes up to $x$.

Number Theory
On the divisor problem with congruence conditions

Lirui Jia,Wenguang Zhai,Tianxin Cai

DOI: https://doi.org/10.48550/arxiv.1908.05598

2019-01-01

Abstract: Let $d(n; r_1, q_1, r_2, q_2)$ be the number of factorization $n=n_1n_2$ satisfying $n_i\equiv r_i\pmod{q_i}$ ($i=1,2$) and $\Delta(x; r_1, q_1, r_2, q_2)$ be the error term of the summatory function of $d(n; r_1, q_1, r_2, q_2)$ with $x\geq (q_1q_2)^{1+\varepsilon}, 1\leq r_i\leq q_i$, and $(r_i, q_i)=1$ ($i=1, 2$). We study the power moments and sign changes of $\Delta(x; r_1, q_1, r_2, q_2)$, and prove that for a sufficiently large constant $C$, $\Delta(q_1q_2x; r_1, q_1, r_2, q_2)$ changes sign in the interval $[T,T+C\sqrt{T}]$ for any large $T$. Meanwhile, we show that for a small constant $c'$, there exist infinitely many subintervals of length $c'\sqrt{T}\log^{-7}T$ in $[T,2T]$ where $\pm \Delta(q_1q_2x; r_1, q_1, r_2, q_2)> c_5x^\frac{1}{4}$ always holds.
On moments of the error term of the multivariable k-th divisor functions

Zhen Guo,Xin Li

2024-11-11

Abstract:Suppose $k\geqslant3$ is an integer. Let $\tau_k(n)$ be the number of ways $n$ can be written as a product of $k$ fixed factors. For any fixed integer $r\geqslant2$, we have the asymptotic formula \begin{equation*} \sum_{n_1,\cdots,n_r\leqslant x}\tau_k(n_1 \cdots n_r)=x^r\sum_{\ell=0}^{r(k-1)}d_{r,k,\ell}(\log x)^{\ell}+O(x^{r-1+\alpha_k+\varepsilon}), \end{equation*} where $d_{r,k,\ell}$ and $0<\alpha_k<1$ are computable constants. In this paper we study the mean square of $\Delta_{r,k}(x)$ and give upper bounds for $k\geqslant4$ and an asymptotic formula for the mean square of $\Delta_{r,3}(x)$. We also get an upper bound for the third power moment of $\Delta_{r,3}(x)$. Moreover, we study the first power moment of $\Delta_{r,3}(x)$ and then give a result for the sign changes of it.

Number Theory
The Distribution of $k$-Free Effective Divisors and the Summatory Totient Function in Function Fields

Sanjana Das,Hannah Lang,Hamilton Wan,Nancy Xu

2023-07-26

Abstract:Motivated by the study of the summatory $k$-free indicator and totient functions in the classical setting, we investigate their function field analogues. First, we derive an expression for the error terms of the summatory functions in terms of the zeros of the associated zeta function. Under the Linear Independence hypothesis, we explicitly construct the limiting distributions of these error terms and compute the frequency with which they occur in an interval $[-\beta, \beta]$ for a real $\beta > 0$. We also show that these error terms are unbiased, that is, they are positive and negative equally often. Finally, we examine the average behavior of these error terms across families of hyperelliptic curves of fixed genus. We obtain these results by following a general framework initiated by Cha and Humphries.

Number Theory
On A Problem Of Pongsriiam On The Sum Of Divisors

RUI-JING WANG

DOI: https://doi.org/10.1017/s0004972724000492

2024-09-15

Bulletin of the Australian Mathematical Society

Abstract:For any positive integer n, let be the sum of all positive divisors of n. We prove that for every integer k with and for all which gives a positive answer to a problem posed by Pongsriiam ['Sums of divisors on arithmetic progressions', Period. Math. Hungar. 88 (2024), 443–460].

mathematics
A Note on an Upper-Bound for the Sum of a Class K and an Extended Class K Function

Adrian Wiltz,Dimos V. Dimarogonas

2024-08-23

Abstract:In this short note, we derive an upper-bound for the sum of two comparison functions, namely for the sum of a class K and an extended class K function. To the best of our knowledge, the relations derived in this note have not been previously derived in the literature.

Systems and Control
On Erdős sums of almost primes

Ofir Gorodetsky,Jared Duker Lichtman,Mo Dick Wong

2024-05-13

Abstract:In 1935, Erdős proved that the sums $f_k=\sum_n 1/(n\log n)$, over integers $n$ with exactly $k$ prime factors, are bounded by an absolute constant, and in 1993 Zhang proved that $f_k$ is maximized by the prime sum $f_1=\sum_p 1/(p\log p)$. According to a 2013 conjecture of Banks and Martin, the sums $f_k$ are predicted to decrease monotonically in $k$. In this article, we show that the sums restricted to odd integers are indeed monotonically decreasing in $k$, sufficiently large. By contrast, contrary to the conjecture we prove that the sums $f_k$ increase monotonically in $k$, sufficiently large. Our main result gives an asymptotic for $f_k$ which identifies the (negative) secondary term, namely $f_k = 1 - (a+o(1))k^2/2^k$ for an explicit constant $a= 0.0656\cdots$. This is proven by a refined method combining real and complex analysis, whereas the classical results of Sathe and Selberg on products of $k$ primes imply the weaker estimate $f_k=1+O_{\varepsilon}(k^{\varepsilon-1/2})$. We also give an alternate, probability-theoretic argument related to the Dickman distribution. Here the proof reduces to showing a sequence of integrals converges exponentially quickly to $e^{-\gamma}$, which may be of independent interest.

Number Theory,Probability
On general sums involving the floor function with applications to $k$-free numbers

Wei Zhang

2023-10-01

Abstract:In this paper, we consider sums related the floor function. We can improve some previous results for some special arithmetic functions considered by Bordellés [3], Stucky[9] and Liu-Wu-Yang [6]. We can also give a refined result for previous results for general function considered by Bordellés, Dai, Heyman, Pan and Shparlinski [1] and Wu [11].

Number Theory
Divisor Goldbach Conjecture and Its Partition Number

Yan Kun,Li Hou Biao

DOI: https://doi.org/10.48550/arxiv.1603.05233

2016-01-01

Abstract:Based on the Goldbach conjecture and arithmetic fundamental theorem, the Goldbach conjecture was extended to more general situations, i.e., any positive integer can be written as summation of some specific prime numbers, which depends on the divisible factor of this integer, that is: For any positive integer n (n>2), if there exists an integer m, such that m|n ( 1 < m < n ), then n=∑_i=1^m p_i, where p_i (i=1,2 ,3...m) is prime number. In addition, for more prime summands, the combinatorial counting is also discussed. For some special cases, some brief proofs are given. By the use of computer, the preliminary numerical verification was given, there is no an anti-example to be found.
Higher order divisor functions over values of mixed powers

Chenhao Du,Qingfeng Sun

2024-08-20

Abstract:Let $\tau_k(n)$ be the $k$-th divisor function. In this paper, we derive an asymptotic formula for the sum $$ \sum_{1\leq n_1,n_2, \dots, n_{\ell}\leq X^{\frac{1}{r}} \atop 1\leq n_{\ell+1}\le X^{\frac{1}{s}}}\tau_k(n_1^r+n_2^r+\dots +n_{\ell}^r+n_{\ell+1}^s), $$ where $k\geq 4$, $r\geq 2$, $s\geq 2$ and $\ell\geq 2$ are integers. Previously only special cases are studied.

Number Theory
A lower bound on high moments of character sums

Barnabás Szabó

2024-09-20

Abstract:For any real $k\geq 2$ and large prime $q$, we prove a lower bound on the $2k$-th moment of the Dirichlet character sum \begin{equation*} \frac{1}{\phi(q)} \sum_{\substack{\chi \text{ mod }q\\ \chi\neq \chi_0}} \Big| \sum_{n\leq x} \chi(n)\Big|^{2k}, \end{equation*} where $1\leq x\leq q$, and $\chi$ is summed over the set of non-trivial Dirichlet characters mod $q$. Our bound is known to be optimal up to a constant factor under the Generalised Riemann Hypothesis. We also get a sharp lower bound on moments of theta functions using the same method.

Number Theory
Sums related to Euler's totient function

Artyom Radomskii

2024-11-30

Abstract:We obtain an upper bound for the sum $\sum_{n\leq N} (a_{n}/\varphi (a_{n}))^{s}$, where $\varphi$ is Euler's totient function, $s\in \mathbb{N}$, and $a_{1},\ldots, a_{N}$ are positive integers (not necessarily distinct) with some restrictions. As applications, for any $t>0$, we obtain an upper bound for the number of $n\in [1,N]$ such that $a_{n}/ \varphi (a_{n})> t$.

Number Theory
Mean values of multiplicative functions and applications to the distribution of the sum of divisors

Akash Singha Roy

2023-11-08

Abstract:We provide uniform bounds on mean values of multiplicative functions under very general hypotheses, detecting certain power savings missed in known results in the literature. As an application, we study the distribution of the sum-of-divisors function $\sigma(n)$ in coprime residue classes to moduli $q \le (\log x)^K$, obtaining extensions of results of Śliwa that are uniform in a wide range of $q$ and optimal in various parameters. As a consequence of our results, we obtain that the values of $\sigma(n)$ sampled over $n \le x$ with $\sigma(n)$ coprime to $q$ are asymptotically equidistributed among the coprime residue classes mod $q$, uniformly for odd $q \le (\log x)^K$. On the other hand, if $q$ is even, then equidistribution is restored provided we restrict to inputs $n$ having sufficiently many prime divisors exceeding $q$.

Number Theory
On sums of unequal powers of primes and powers of 2

Yuhui Liu

2023-12-11

Abstract:In this paper, it is proved that every sufficiently large even integer can be represented as the sum of two squares of primes, two cubes of primes, two biquadrates of primes and 16 powers of 2. Furthermore, there are at least 5.313% odd integers that can be represented as one square of prime, one cube of prime and one biquadrate of prime. This result constitutes a refinement upon that of R. Zhang [8].

Number Theory
Superluminal Localized Solutions to Maxwell Equations propagating along a waveguide: The finite-energy case

M. Zamboni-Rached,Flavio Fontana,Erasmo Recami

DOI: https://doi.org/10.1103/PhysRevE.67.036620

2002-09-30

Abstract:In a previous paper of ours [Phys. Rev. E64 (2001) 066603, e-print <a class="link-https" data-arxiv-id="physics/0001039" href="https://arxiv.org/abs/physics/0001039">physics/0001039</a>] we have shown localized (non-evanescent) solutions to Maxwell equations to exist, which propagate without distortion with Superluminal speed along normal-sized waveguides, and consist in trains of "X-shaped" beams. Those solutions possessed therefore infinite energy. In this note we show how to obtain, by contrast, finite-energy solutions, with the same localization and Superluminality properties. [PACS nos.: <a class="link-external link-http" href="http://41.20.Jb" rel="external noopener nofollow">this http URL</a>; <a class="link-external link-http" href="http://03.50.De" rel="external noopener nofollow">this http URL</a>; 03.30.+p; <a class="link-external link-http" href="http://84.40.Az" rel="external noopener nofollow">this http URL</a>; <a class="link-external link-http" href="http://42.82.Et" rel="external noopener nofollow">this http URL</a>. Keywords: Wave-guides; Localized solutions to Maxwell equations; Superluminal waves; Bessel beams; Limited-dispersion beams; Finite-energy waves; Electromagnetic wavelets; X-shaped waves; Evanescent waves; Electromagnetism; Microwaves; Optics; Special relativity; Localized acoustic waves; Seismic waves; Mechanical waves; Elastic waves; Guided gravitational waves.]

Classical Physics,General Physics,Optics
Upper Bound and Formula for Class Numbers of Abelian Function Fields

Lr Ma,Xk Zhang

2006-01-01

Abstract:For any abelian function field K (i.e. any subfield of a cyclotomic function field L = k (Lambda(P)) over the rational function field k) with conductor being an irreducible polynomial over a finite field of odd characteristic, by studying the Carlitz-module structure and the character group of K, an explicit upper bound and a calculating formula of the relative divisor class number h(-) (K) of K are given. Our calculated results of K develop Rosen's recent results of L.

On the Upper Bound Estimation of a Class Sum of Divisors

A variety of Euler’s sum of powers conjecture

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

On a Sumset Problem for Integers.

On the Karatsuba divisor problem

On the divisor problem with congruence conditions

On moments of the error term of the multivariable k-th divisor functions

The Distribution of $k$-Free Effective Divisors and the Summatory Totient Function in Function Fields

On A Problem Of Pongsriiam On The Sum Of Divisors

A Note on an Upper-Bound for the Sum of a Class K and an Extended Class K Function

On Erdős sums of almost primes

On general sums involving the floor function with applications to $k$-free numbers

Divisor Goldbach Conjecture and Its Partition Number

Higher order divisor functions over values of mixed powers

A lower bound on high moments of character sums

Sums related to Euler's totient function

Mean values of multiplicative functions and applications to the distribution of the sum of divisors

On sums of unequal powers of primes and powers of 2

Superluminal Localized Solutions to Maxwell Equations propagating along a waveguide: The finite-energy case

Upper Bound and Formula for Class Numbers of Abelian Function Fields