April 6, 2012
A perfect number is a positive integer $N$ such that the sum of all the positive divisors of $N$ equals $2N$, denoted by $\sigma(N) = 2N$. The question of the existence of odd perfect numbers (OPNs) is one of the longest unsolved problems of number theory. This thesis presents some of the old as well as new approaches to solving the OPN Problem. In particular, a conjecture predicting an injective and surjective mapping $X = \sigma(p^k)/p^k, Y = \sigma(m^2)/m^2$ between OPNs $N = {p^k}{m^2}$ (with Euler factor $p^k$) and rational points on the hyperbolic arc $XY = 2$ with $1 < X < 1.25 < 1.6 < Y < 2$ and $2.85 < X + Y < 3$, is disproved. Various results on the abundancy index and solitary numbers are used in the disproof. Numerical evidence against the said conjecture will likewise be discussed. We will show that if an OPN $N$ has the form above, then $p^k < (2/3){m^2}$ follows from \cite{D10}. We will also attempt to prove a conjectured improvement of this last result to $p^k < m$ by observing that $\sigma(p^k)/m \neq 1$ and $\sigma(p^k)/m \neq \sigma(m)/p^k$ in all cases. Lastly, we also prove the following generalization: If $N = \displaystyle\prod_{i=1}^r {{p_i}^{{\alpha}_i}}$ is the canonical factorization of an OPN $N$, then $$\sigma({p_i}^{{\alpha}_i}) \leq (2/3){\frac{N}{{p_i}^{{\alpha}_i}}}$$ for all $i$. This gives rise to the inequality $$N^{2 - r} \leq (1/3)(2/3)^{r - 1}$$ which is true for all $r$, where $r = \omega(N)$ is the number of distinct prime factors of $N$.
Similar papers 1
April 25, 2012
A conjecture predicting an injective and surjective mapping $X = \displaystyle\frac{\sigma(p^k)}{p^k}, Y = \displaystyle\frac{\sigma(m^2)}{m^2}$ between OPNs $N = {p^k}{m^2}$ (with Euler factor $p^k$) and rational points on the hyperbolic arc $XY = 2$ with $1 < X < 1.25 < 1.6 < Y < 2$ and $2.85 < X + Y < 3$, is disproved. We will show that if an OPN $N$ has the form above, then $p^k < {2/3}{m^2}$. We then give a somewhat weaker corollary to this last result ($m^2 - p^k \ge 8$...
June 14, 2012
If $N = {p^k}{m^2}$ is an odd perfect number with special prime factor $p$, then it is proved that ${p^k} < (2/3){m^2}$. Numerical results on the abundancy indices $\frac{\sigma(p^k)}{p^k}$ and $\frac{\sigma(m^2)}{m^2}$, and the ratios $\frac{\sigma(p^k)}{m^2}$ and $\frac{\sigma(m^2)}{p^k}$, are used. It is also showed that $m^2 > \frac{\sqrt{6}}{2}({10}^{150})$.
January 5, 2005
Let $\sigma(n)$ denote the sum of the positive divisors of $n$. We say that $n$ is perfect if $\sigma(n) = 2 n$. Currently there are no known odd perfect numbers. It is known that if an odd perfect number exists, then it must be of the form $N = p^\alpha \prod_{j=1}^k q_j^{2 \beta_j}$, where $p, q_1, ..., q_k$ are distinct primes and $p \equiv \alpha\equiv 1 \pmod{4}$. Define the total number of prime factors of $N$ as $\Omega(N) := \alpha + 2 \sum_{j=1}^k \beta_j$. Sayers sh...
March 8, 2011
In this note, we show that if $N$ is an odd perfect number and $q^{\alpha}$ is some prime power exactly dividing it, then $\sigma(N/q^{\alpha})/q^{\alpha}>5$. In general, we also show that if $\sigma(N/q^{\alpha})/q^{\alpha}<K$, where $K$ is any constant, then $N$ is bounded by some function depending on $K$.
February 8, 2011
A perfect number is a number whose divisors add up to twice the number itself. The existence of odd perfect numbers is a millennia-old unsolved problem. This note proposes a proof of the nonexistence of odd perfect numbers. More generally, the same analysis seems to generalize to a proof of the nonexistence of odd multiperfect numbers.
January 8, 2004
It is sufficient to prove that there is an excess of prime factors in the product of repunits with odd prime bases defined by the sum of divisors of the integer $N=(4k+1)^{4m+1}\prod_{i=1}^\ell ~ q_i^{2\alpha_i}$ to establish that there do not exist any odd integers with equality between $\sigma(N)$ and 2N. The existence of distinct prime divisors in the repunits in $\sigma(N)$ follows from a theorem on the primitive divisors of the Lucas sequences $U_{2\alpha_i+1}(q_i+1,q_i)...
November 10, 2013
Let $\sigma(x)$ be the sum of the divisors of $x$. If $N$ is odd and $\sigma(N) = 2N$, then the odd perfect number $N$ is said to be given in Eulerian form if $N = {q^k}{n^2}$ where $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and $\gcd(q,n) = 1$. In this note, we show that $q < n$ implies that Descartes's conjecture (previously Sorli's conjecture), $k = \nu_{q}(N) = 1$, is not true. This then implies an unconditional proof for the biconditional $$k = \nu_{q}(N) = 1 \Longl...
August 26, 2019
Let $N$ be an odd perfect number and let $a$ be its third largest prime divisor, $b$ be the second largest prime divisor, and $c$ be its largest prime divisor. We discuss steps towards obtaining a non-trivial upper bound on $a$, as well as the closely related problem of improving bounds $bc$, and $abc$. In particular, we prove two results. First we prove a new general bound on any prime divisor of an odd perfect number and obtain as a corollary of that bound that $$a < 2N^{\f...
November 16, 2005
We study some divisibility properties of multiperfect numbers. Our main result is: if $N=p_1^{\alpha_1}... p_s^{\alpha_s} q_1^{2\beta_1}... q_t^{2\beta_t}$ with $\beta_1, ..., \beta_t$ in some finite set S satisfies $\sigma(N)=\frac{n}{d}N$, then N has a prime factor smaller than C, where C is an effective computable constant depending only on s, n, S.
February 22, 2011
A natural number $n$ is called {\it multiperfect} or {\it$k$-perfect} for integer $k\ge2$ if $\sigma(n)=kn$, where $\sigma(n)$ is the sum of the positive divisors of $n$. In this paper, we establish the structure theorem of odd multiperfect numbers analogous as Euler's theorem on odd perfect numbers. We prove the divisibility of the Euler part of odd multiperfect numbers and characterize the forms of odd perfect numbers $n=\pi^\alpha M^2$ such that $\pi\equiv\alpha(\text{mod}...