2 April 2005

1991 Mathematics Subject Classification. Primary 11A25; Secondary 11B83.
<ph f="cmbx">Some properties of the pseudo-Smarandache function</ph>

Richard Pinch

2 Eldon Road, Cheltenham, Glos GL52 6TU, U.K. E-mail address : rgep@chalcedon.demon.co.uk

1 Introduction

We define the m   -th triangular number T ( m ) = m ( m + 1 ) 2   . Kashihara [2has defined the pseudo-Smarandache function Z ( n )   by Z ( n ) = min { m : n | T ( m ) } .   Charles Ashbacher [1has posed a number of questions relating to the pseudo-Smarandache function Z ( n )   . In this note we show that the ratio of consecutive values Z ( n ) / Z ( n 1 )   and Z ( n ) / Z ( n + 1 )   are unbounded; that Z ( 2 n ) / Z ( n )   is unbounded; and that n / Z ( n )   takes every integer value infinitely often. He notes that the series n 1 / Z ( n ) α   is divergent for α = 1   and asks whether it is convergent for α = 2   . He further suggests that the least value of α   for which the series converges “may never be known” . We resolve this problem by showing that the series converges for all α > 1   .

2 Some properties of the pseudo-Smarandache function

We record some elementary properties of the function Z   .
Lemma 1.
We shall make use of Dirichlet's Theorem on primes in arithmetic progression in the following form.
Lemma 2. Let a , b   be coprime integers. Then the arithmetic progression a + b t   is prime for infinitely many values of t   .

3 Successive values of the pseudo-Smarandache function

Using properties (3) and (5), Ashbacher observed that | Z ( 2 k ) Z ( 2 k 1 ) | > 2 k   and so the difference between the conecutive values of Z   is unbounded. He asks about the ratio of consecutive values.
Theorem 1. For any given L > 0   there are infinitely many values of n   such that Z ( n + 1 ) / Z ( n ) > L   , and there are infinitely many values of n   such that Z ( n 1 ) / Z ( n ) > L   .
We note that this Theorem, combined with Lemma 1(2), gives another proof of the result that the difference of consecutive values is unbounded.

4 Divisibility of the pseudo-Smarandache function

Theorem 2. For any integer k 2   , the equation n / Z ( n ) = k   has infinitely many solutions n   .

5 Another divisibility question

Theorem 3. The ratio Z ( 2 n ) / Z ( n )   is not bounded above.

6 Convergence of a series

Ashbacher observes that the series n 1 / Z ( n ) α   diverges for α = 1   and asks whether it converges for α = 2   .
In this section we prove convergence for all
α > 1   .
Lemma 3. log n m = 1 n 1 m 1 + log n ;   1 2 ( log n ) 2 0.257 m = 1 n log m m 1 2 ( log n ) 2 + 0.110 for n 4 .  
Lemma 4. Let d ( m )   be the function which counts the divisors of m   .
For
n 2   we have m = 1 n d ( m ) / m < 7 ( log n ) 2 .  
Lemma 5. Fix an integer t 5   . Let e t > Y > e ( t 1 ) / 2   . The number of integers n   with e t 1 < n e t   such that Z ( n ) Y   is at most 196 Y t 2   .
Theorem 4. Fix 1 2 < β < 1   and an integer t 5   . The number of integers n   with e t 1 < n e t   such that Z ( n ) < n β   is at most 196 t 2 e β t   .
Theorem 5. The series n = 1 1 Z ( n ) α   is convergent for any α > 2   .
Theorem 6. The series n = 1 1 Z ( n ) α   is convergent for any α > 1   .
References

  1. Charles Ashbacher, Pluckings from the tree of Smarandache sequences and functions, American Research Press, 1998, http://www.gallup.unm.edu/   smarandache/Ashbacher-pluckings.pdf.
  2. K. Kashihara, Comments and topics on Smarandache notions and problems, Erhus University Press, Vail, AZ, USA, 1996.

2 Eldon Road, Cheltenham, Glos GL52 6TU, U.K. E-mail address : rgep@chalcedon.demon.co.uk