Each Positive Rational Number Has the Form Φ(m2)/φ(n2).

Dmitry Krachun,Zhi-Wei Sun

DOI: https://doi.org/10.1080/00029890.2020.1801294

2020-01-01

Abstract:Abstract In this note, we show that each positive rational number can be written as , where is Euler’s totient function and m and n are positive integers.

What problem does this paper attempt to address?

Each positive rational number has the form $φ(m^2)/φ(n^2)$

Dmitry Krachun,Zhi-Wei Sun

DOI: https://doi.org/10.48550/arXiv.2001.03736

2020-10-23

Abstract:In this note, we show that each positive rational number can be written as $\varphi(m^2)/\varphi(n^2)$, where $\varphi$ is Euler's totient function and $m$ and $n$ are positive integers.

History and Overview,Number Theory
Each positive rational number has the form $\varphi(m^2)/\varphi(n^2)$

Dmitry Krachun,Zhi-Wei Sun

2020-01-01

Abstract:In this note, we show that each positive rational number can be written as $\varphi(m^2)/\varphi(n^2)$, where $\varphi$ is Euler's totient function and $m$ and $n$ are positive integers.
An Equation Involving the Smarandache Function Φ(n)=s(n~(10))

Qi Liu

2012-01-01

Abstract:In this paper,we use the elementary number theory methods the combination analysis and C++ program to get the solutions of the equation φ(n)=S(n10),and a result is proved that the equation has only positive integer solutions n=1.Here for any positive integer n,let φ(n) and S(n) denote the Euler function and the Smarandache function of the integer.
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.
An Equation Involving the Functions Z(n) and D(n) and Its All Positive Integer Solutions

Jun Ge

2009-01-01

Pure and Applied Mathematics

Abstract:For any positive integer n, the famous pseudo Smarandache function Z(n) is defined as the smallest positive integer m such that n | m(m+1)/2. The number theory function D(n) is defined as the smallest positive integer m such that n divides d(1)d(2)…d(m), where d(n) is the Dirichlet divisor function. The main purpose of this paper is using the elementary method and the properties of the pseudo Smarandache function Z(n) and number theory function D(n) to study the solvability of the equation 2Z(n) = D(n), and obtain its all positive integer solutions.
On sums involving divisor function, Euler's totient function, and floor function

Junya Sebata

DOI: https://doi.org/10.33774/coe-2023-sjwkq-v2

2023-06-26

Abstract:Every positive integer $l \in \mathbb{N}$ can be formed $l = (m + n)d$, provided $gcd(m,n)=1$. From this point of view, the next formulas $n=\sum_{d|l} \varphi(d)$ and $\frac{n(n+1)}{2}=\sum_{k=1}^{n} \varphi(k)[\frac{n}{k}]$, and these equivalence had been proved. In this paper on an extension of these results, the next identity is proved: $\sum_{k=1}^{n} \sum_{\substack{(a+b)c=k \\ gcd(a,b)=1}} f(a,b)\cdot g(c) = \sum_{k=1}^{n} \sum_{\substack{a+b=k \\ gcd(a,b)=1}} f(a,b) \sum_{i\leq [\frac{n}{k}]} g(i) = \sum_{a+b \leq n} f(\frac{a}{gcd(a,b)},\frac{b}{gcd(a,b)})\cdot g(gcd(a,b))$. We also show the next formulas are corollaries of it: $\sum_{k=1}^{n} \tau(k)=\sum_{k=1}^{n} [\frac{n}{k}] = \sum_{a+b \leq n} \frac{1}{\varphi(\frac{a+b}{gcd(a,b)})}$, $\sum_{d|n} f(d)\cdot g(\frac{n}{d}) = \sum_{k = 1}^{n} f(gcd(k,n))\cdot\frac{g(\frac{n}{gcd(k,n)})}{\varphi(\frac{n}{gcd(k,n)})}$, $\tau(n)=\sum_{a+b = n} \frac{1}{\varphi(\frac{a+b}{gcd(a,b)})}$, $\sum_{\substack{a+b=n \\ gcd(a,b)=1}} gcd(a-1,b+1) = \sum_{a+b=n} \frac{\varphi(n)}{\varphi(\frac{n}{gcd(a,b)})}$, and so on. In addition to it, we evaluate a sequence $\sum_{k=1}^{n} \varphi(k)\tau(k)$.
New notes on the equation d ( n ) = d ( φ ( n )) and the inequality d ( n ) > d ( φ ( n ))

Djamel Bellaouar,Alain Togbé,Rafael Jakimczuk

DOI: https://doi.org/10.1515/ms-2024-0081

2024-10-16

Mathematica Slovaca

Abstract:Let d(n) and φ (n) denote the number of positive divisors of n and the Euler's phi function of n, respectively. In this paper, we prove various (conditional and unconditional) results about the solvability of the Diophantine equation d(n) = d(φ(n)) and a related inequality. For further research, we present some open problems.

mathematics
Mathematical irrational numbers not so physically irrational

Y. J. Zhao,Y. H. Gao,J. P. Huang

DOI: https://doi.org/10.48550/arXiv.0901.0768

2009-01-07

Data Analysis, Statistics and Probability

Abstract:We investigate the topological structure of the decimal expansions of the three famous naturally occurring irrational numbers, $\pi$, $e$, and golden ratio, by explicitly calculating the diversity of the pair distributions of the ten digits ranging from 0 to 9. And we find that there is a universal two-phase behavior, which collapses into a single curve with a power law phenomenon. We further reveal that the two-phase behavior is closely related to general aspects of phase transitions in physical systems. It is then numerically shown that such characteristics originate from an intrinsic property of genuine random distribution of the digits in decimal expansions. Thus, mathematical irrational numbers are not so physically irrational as long as they have such an intrinsic property.
Riesz means of the Euler totient function

Shota Inoue,Isao Kiuchi

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

2019-03-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let $\phi$ denote the Euler totient function, defined by $id*\mu$ where $\mu$ is the M\"{o}bius function. We shall consider the $k$-th Riesz mean of the arithmetical function $n/\phi(n)$ for any positive integer $k \geq 2$ on the assumption of the Riemann Hypothesis. Our result is a refinement of Theorem 2 in A. Sankaranarayanan and S.K. Singh [6]. We also improve it upon the assumption of the Gonek-Hejhal Hypothesis.
The fractional parts of Dedekind sums

Kurt Girstmair

DOI: https://doi.org/10.48550/arXiv.1310.1253

2013-10-14

Abstract:We show that each rational number $r$, $0\le r<1$, occurs as the fractional part of a Dedekind sum $S(m,n)$.

Number Theory
On a New Zeta Function

Zhi-Wei Sun

2012-01-01

Abstract:Let $m$ be a positive integer, and define $$\zeta_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\omega(n)}}{n^s} \zeta^*_m(s)=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\Omega(n)}}{n^s},$$ for $\Re(s)>1$, where $\omega(n)$ denotes the number of distinct prime factors of $n$, and $\Omega(n)$ represents the total number of prime factors of $n$ (counted with multiplicity). In this paper we study these two zeta functions and related arithmetical functions. We show that $$\sum^\infty_{n=1\atop n \text{is squarefree}}\frac{(-e^{2\pi i/m})^{\omega(n)}}n=0\quad\text{if} m>4,$$ which is similar to the known identity $\sum_{n=1}^\infty\mu(n)/n=0$ equivalent to the Prime Number Theorem. For $m>4$, we prove that $$\zeta_m(1):=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\omega(n)}}n=0 \text{and} \zeta^*_m(1):=\sum_{n=1}^\infty\frac{(-e^{2\pi i/m})^{\Omega(n)}}n=0.$$ We also raise a hypothesis on the parities of $\Omega(n)-n$ which implies the Riemann Hypothesis.
A Note on Finite Number Rings

Suk-Geun Hwang,Woo Jeon,Ki-Bong Nam,Tung T. Nguyen

2023-12-02

Abstract:We define the finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ where $m,n$ are positive integers and $r$ in an integer akin to the definition of the Gaussian integer ${\Bbb Z}[i]$. This idea is also introduced briefly in [7]. By definition, this finite number ring ${\Bbb Z}_n [\sqrt [m] r]$ is naturally isomorphic to the ring ${\Bbb Z}_n[x]/{\langle x^m-r \rangle}$. From an educational standpoint, this description offers a straightforward and elementary presentation of this finite ring, making it suitable for readers who do not have extensive exposure to abstract algebra. We discuss various arithmetical properties of this ring. In particular, when $n=p$ is a prime number and $\mathbb{Z}_p$ contains a primitive $m$-root of unity, we describe the structure of $\mathbb{Z}_n[\sqrt[m]{r}]$ explicitly.

Rings and Algebras
A Number Field Analogue of Ramanujan's identity for $ζ(2m+1)$

Diksha Rani Bansal,Bibekananda Maji

2024-07-04

Abstract:Ramanujan's famous formula for $\zeta(2m+1)$ has captivated the attention of numerous mathematicians over the years. Grosswald, in 1972, found a simple extension of Ramanujan's formula which in turn gives transformation formula for Eisenstein series over the full modular group. Recently, Banerjee, Gupta and Kumar found a number field analogue of Ramanujan's formula. In this paper, we present a new number field analogue of the Ramanujan-Grosswald formula for $\zeta(2m+1)$ by obtaining a formula for Dedekind zeta function at odd arguments. We also obtain a number field analogue of an identity of Chandrasekharan and Narasimhan, which played a crucial role in proving our main identity. As an application, we generalize transformation formula for Eisenstein series $G_{2k}(z)$ and Dedekind eta function $\eta(z)$. A new formula for the class number of a totally real number field is also obtained, which provides a connection with the Kronceker's limit formula for the Dedekind zeta function.

Number Theory
Natural Numbers Represented by ⌊ X^2/a⌋+⌊ Y^2/b⌋+⌊ Z^2/c⌋

Zhi-Wei Sun

2015-01-01

Abstract:Let a,b,c be positive integers. It is known that there are infinitely many positive integers not representated by ax^2+by^2+cz^2 with x,y,z∈ℤ. In contrast, we conjecture that any natural number is represented by ⌊ x^2/a⌋+⌊ y^2/b⌋ +⌊ z^2/c⌋ with x,y,z∈ℤ if (a,b,c)≠(1,1,1),(2,2,2), and that any natural number is represented by ⌊ T_x/a⌋+⌊ T_y/b⌋+⌊ T_z/c⌋ with x,y,z∈ℤ, where T_x denotes the triangular number x(x+1)/2. We confirm this general conjecture in some special cases; in particular, we prove that {x^2+y^2+⌊z^2/5⌋: x,y,z∈ℤ 2∤ y}={1,2,3,…} and {⌊x^2/m⌋+⌊y^2/m⌋+⌊z^2/m⌋:x,y,z∈ℤ} ={0,1,2,…} m=5,6,15. We also pose several conjectures for further research; for example, we conjecture that any integer can be written as x^4-y^3+z^2, where x, y and z are positive integers.
How often is Euler's totient a perfect power?

Paul Pollack

DOI: https://doi.org/10.1016/j.jnt.2018.10.011

IF: 0.679

2019-04-01

Journal of Number Theory

Abstract:Fix an integer k ≥ 2 . We investigate the number of n ≤ x for which φ ( n ) is a perfect kth power. If we assume plausible conjectures on the distribution of smooth shifted primes, then the count of such n is at least x / L ( x ) 1 + o ( 1 ) , as x → ∞ , where L ( x ) = exp ⁡ ( log ⁡ x ⋅ log ⁡ log ⁡ log ⁡ x / log ⁡ log ⁡ x ) . This lower bound is implicit in work of Banks–Friedlander–Pomerance–Shparlinski. We prove — unconditionally — that x / L ( x ) 1 + o ( 1 ) serves as an upper bound. In fact, we establish this same bound for the count of n ≤ x for which φ ( n ) is squarefull. The proof builds on methods recently introduced by the author to study “popular subsets” for Euler's function.

mathematics
On Almost Universal Mixed Sums of Squares and Triangular Numbers

Ben Kane,Zhi-Wei Sun

DOI: https://doi.org/10.1090/s0002-9947-2010-05290-0

IF: 1.3529

2010-01-01

Transactions of the American Mathematical Society

Abstract:In 1997 K. Ono and K. Soundararajan [Invent. Math. 130(1997)] proved that under the generalized Riemann hypothesis any positive odd integer greater than 2719 can be represented by the famous Ramanujan form x(2) + y(2) + 10z(2); equivalently the form 2x(2) + 5y(2) + 4T(z) represents all integers greater than 1359, where T(z) denotes the triangular number z(z + 1)/2. Given positive integers a, b, c we employ modular forms and the theory of quadratic forms to determine completely when the general form ax(2) + by(2) + cT(z) represents sufficiently large integers and to establish similar results for the forms ax(2) + bT(y) + cT(z) and aT(x) + bT(y) + cT(z). Here are some consequences of our main theorems: (i) All sufficiently large odd numbers have the form 2ax(2) + y(2) + z(2) if and only if all prime divisors of a are congruent to 1 modulo (ii) The form ax(2) + y(2) + T(z) is almost universal (i.e., it represents sufficiently large integers) if and only if each odd prime divisor of a is congruent to 1 or 3 modulo 8. (iii) ax(2) + T(y) + T(z) is almost universal if and only if all odd prime divisors of a are congruent to 1 modulo 4. (iv) When v(2)(a) not equal 3, the form aT(x) + T(y) + T(z) is almost universal if and only if all odd prime divisors of a are congruent to 1 modulo 4 and v(2)(a) not equal 5, 7,..., where v(2)(a) is the 2-adic order of a.
The Rational Maps F Λ (z) = Z M + Λ/z D Have No Herman Rings

Yingqing Xiao,Weiyuan Qiu

DOI: https://doi.org/10.1007/s12044-010-0044-x

2010-01-01

Proceedings - Mathematical Sciences

Abstract:It is proved that the rational maps in the family {z → z m +λ/z d : λ ∈ ℂ\{0}} for integers m, d ≥ 2 have no Herman rings.
Quantum Kronecker fractions

S.J. Evans,A.P. Veselov,B. Winn

2024-10-21

Abstract:A few years ago Morier-Genoud and Ovsienko introduced an interesting quantization of the real numbers as certain power series in a quantization parameter $q.$ It is known now that the golden ratio has minimal radius among all these series. We study the rational numbers having maximal radius of convergence equal to 1, which we call Kronecker fractions. We prove that the corresponding continued fraction expansions must be palindromic and describe all Kronecker fractions with prime denominators. We found several infinite families of Kronecker fractions and all Kronecker fractions with denominator less than 2000. We also comment on the irrational case and on the relation with braids, rational knots and links.

Number Theory
On A^n+bn Modulo M

Zhi-Wei Sun

2013-01-01

Abstract:Let a and m>0 be integers. We show that for any integer b relatively prime to m, the set {a^n+bn: n=1,…,m^2} contains a complete system of residues modulo m. We also pose several conjectures for further research; for example, we conjecture that any integer n>1 can be written as k+m with 2^k+m prime, where k and m are positive integers.
Covers of the Integers with Odd Moduli and Their Applications to the Forms X^m-2^N and X^2-F_3n/2

Ke-Jian Wu,Zhi-Wei Sun

DOI: https://doi.org/10.1090/s0025-5718-09-02212-1

IF: 2.118

2009-01-01

Mathematics of Computation

Abstract:In this paper we construct a cover a_s(mod n_s)_s=1^k of Z with oddmoduli such that there are distinct primes p_1,...,p_k dividing2^n_1-1,...,2^n_k-1 respectively. Using this cover we show that for anypositive integer m divisible by none of 3, 5, 7, 11, 13 there exists aninfinite arithmetic progression of positive odd integers the m-th powers ofwhose terms are never of the form 2^n± p^a with p a prime and a,n in0,1,2,.... We also construct another cover of Z with odd moduli and use it toprove that x^2-F_3n/2 has at least two distinct prime factors whenever n isa nonnegative integer and x=a (mod M), where F_i_i≥0 is the Fibonaccisequence, and a and M are suitable positive integers having 80 decimal digits.

Each Positive Rational Number Has the Form Φ(m2)/φ(n2).

Each positive rational number has the form $φ(m^2)/φ(n^2)$

Each positive rational number has the form $\varphi(m^2)/\varphi(n^2)$

An Equation Involving the Smarandache Function Φ(n)=s(n~(10))

A variety of Euler’s sum of powers conjecture

An Equation Involving the Functions Z(n) and D(n) and Its All Positive Integer Solutions

On sums involving divisor function, Euler's totient function, and floor function

New notes on the equation d ( n ) = d ( φ ( n )) and the inequality d ( n ) > d ( φ ( n ))

Mathematical irrational numbers not so physically irrational

Riesz means of the Euler totient function

The fractional parts of Dedekind sums

On a New Zeta Function

A Note on Finite Number Rings

A Number Field Analogue of Ramanujan's identity for $ζ(2m+1)$

Natural Numbers Represented by ⌊ X^2/a⌋+⌊ Y^2/b⌋+⌊ Z^2/c⌋

How often is Euler's totient a perfect power?

On Almost Universal Mixed Sums of Squares and Triangular Numbers

The Rational Maps F Λ (z) = Z M + Λ/z D Have No Herman Rings

Quantum Kronecker fractions

On A^n+bn Modulo M

Covers of the Integers with Odd Moduli and Their Applications to the Forms X^m-2^N and X^2-F_3n/2