arxiv: v1 [math.nt] 2 May 2011

Similar documents
On the Iyengar Madhava Rao Nanjundiah inequality and its hyperbolic version

Journal of Inequalities in Pure and Applied Mathematics

An arithmetical equation with respect to regular convolutions

A NOTE ON EXPONENTIAL DIVISORS AND RELATED ARITHMETIC FUNCTIONS

LECTURE 4: CHINESE REMAINDER THEOREM AND MULTIPLICATIVE FUNCTIONS

On (M, N)-convex functions

18.785: Analytic Number Theory, MIT, spring 2006 (K.S. Kedlaya) Dirichlet series and arithmetic functions

Math 314 Course Notes: Brief description

Any real-valued function on the integers f:n R (or complex-valued function f:n C) is called an arithmetic function.

Journal of Inequalities in Pure and Applied Mathematics

THE RELATION AMONG EULER S PHI FUNCTION, TAU FUNCTION, AND SIGMA FUNCTION

Extremal Orders of Certain Functions Associated with Regular Integers (mod n)

On a problem of Nicol and Zhang

On certain generalizations of the Smarandache. function

arxiv: v1 [math.nt] 26 Apr 2016

a = mq + r where 0 r m 1.

Möbius Inversion Formula and Applications to Cyclotomic Polynomials

EQUICONTINUITY AND SINGULARITIES OF FAMILIES OF MONOMIAL MAPPINGS

Numbers and their divisors

Objective Type Questions

SOME RESULTS AND PROBLEMS IN PROBABILISTIC NUMBER THEORY

Math 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby

A Readable Introduction to Real Mathematics

Chapter 1. Sets and Mappings

Theory of Numbers Problems

Summary Slides for MATH 342 June 25, 2018

On Partition Functions and Divisor Sums

Section 11.1 Sequences

Finite groups determined by an inequality of the orders of their subgroups

2 More on Congruences

An Arithmetic Function Arising from the Dedekind ψ Function

ON THE SUM OF DIVISORS FUNCTION

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

Bulletin of the Transilvania University of Braşov Vol 9(58), No Series III: Mathematics, Informatics, Physics, 67-82

arxiv: v3 [math.nt] 15 Dec 2016

MULTIPLICATIVE FUNCTIONS: A REWRITE OF ANDREWS CHAPTER 6

Arkansas Tech University MATH 2924: Calculus II Dr. Marcel B. Finan

Fixed point theorems for Ćirić type generalized contractions defined on cyclic representations

The Humble Sum of Remainders Function

This is a submission to one of journals of TMRG: BJMA/AFA EXTENSION OF THE REFINED JENSEN S OPERATOR INEQUALITY WITH CONDITION ON SPECTRA

arxiv: v4 [math.ca] 9 May 2012

Introduction to Analytic Number Theory Math 531 Lecture Notes, Fall 2005

Generalized GCD matrices

RESEARCH PROBLEMS IN NUMBER THEORY

I(n) = ( ) f g(n) = d n

When is n a member of a Pythagorean Triple?

LEHMER S TOTIENT PROBLEM AND CARMICHAEL NUMBERS IN A PID

INEQUALITIES INVOLVING INVERSE CIRCULAR AND INVERSE HYPERBOLIC FUNCTIONS

Properties of Arithmetical Functions

MIXED TYPE OF ADDITIVE AND QUINTIC FUNCTIONAL EQUATIONS. Abasalt Bodaghi, Pasupathi Narasimman, Krishnan Ravi, Behrouz Shojaee

Euler and music. A forgotten arithmetic function by Euler

COMMON FIXED POINT THEOREMS FOR MULTIVALUED OPERATORS ON COMPLETE METRIC SPACES

arxiv:math/ v2 [math.nt] 10 Oct 2009

Elementary Number Theory Review. Franz Luef

The lowest degree 0, 1-polynomial divisible by cyclotomic polynomial arxiv: v2 [math.nt] 15 Nov 2011

A SURVEY OF PRIMALITY TESTS

STABILITY OF n-th ORDER FLETT S POINTS AND LAGRANGE S POINTS

arxiv: v1 [math.nt] 2 Oct 2015

ON THE ITERATES OF SOME ARITHMETIC. P. Erd~s, Hungarian Academy of Sciences M. V. Subbarao, University of Alberta

Reciprocals of the Gcd-Sum Functions

arxiv:math/ v1 [math.nt] 9 Aug 2004

arxiv: v1 [math.ac] 10 Oct 2014

arxiv: v1 [math.nt] 4 Jun 2018

Exact formulae for the prime counting function

On Exponentially Perfect Numbers Relatively Prime to 15

A FIXED POINT PROOF OF THE CONVERGENCE OF A NEWTON-TYPE METHOD

A strongly rigid binary relation

Smol Results on the Möbius Function

Written Homework # 5 Solution

Part IA. Numbers and Sets. Year

The Chinese Remainder Theorem

Math 324, Fall 2011 Assignment 6 Solutions

Upper Bounds for Partitions into k-th Powers Elementary Methods

Trifectas in geometric progression

BEST APPROXIMATIONS AND ORTHOGONALITIES IN 2k-INNER PRODUCT SPACES. Seong Sik Kim* and Mircea Crâşmăreanu. 1. Introduction

Quintic Functional Equations in Non-Archimedean Normed Spaces

Journal of Inequalities in Pure and Applied Mathematics

ON THE UNIFORM DISTRIBUTION OF CERTAIN SEQUENCES INVOLVING THE EULER TOTIENT FUNCTION AND THE SUM OF DIVISORS FUNCTION

PM functions, their characteristic intervals and iterative roots

p-regular functions and congruences for Bernoulli and Euler numbers

GAPS IN BINARY EXPANSIONS OF SOME ARITHMETIC FUNCTIONS, AND THE IRRATIONALITY OF THE EULER CONSTANT

arxiv:math/ v3 [math.nt] 16 Sep 2007

arxiv: v2 [math.nt] 17 Jul 2012

ON A CLASS OF LINEAR POSITIVE BIVARIATE OPERATORS OF KING TYPE

Slow P -point Ultrafilters

Florian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P , Morelia, Michoacán, México

Summary: Divisibility and Factorization

Perov s fixed point theorem for multivalued mappings in generalized Kasahara spaces

Linear Recurrence Relations for Sums of Products of Two Terms

Tripotents: a class of strongly clean elements in rings

Some new representation problems involving primes

A Variation of a Congruence of Subbarao for n = 2 α 5 β, α 0, β 0

arxiv:math/ v2 [math.nt] 3 Dec 2003

PARALLEL NUMERICAL METHODS FOR SOLVING NONLINEAR EQUATIONS

Numerical Sequences and Series

Selberg s proof of the prime number theorem

GLOBAL ATTRACTIVITY IN A NONLINEAR DIFFERENCE EQUATION

FIRST MIDTERM MATH 104B, UCSD, WINTER 18

Functions of several variables of finite variation and their differentiability

Transcription:

Inequalities for multiplicative arithmetic functions arxiv:1105.0292v1 [math.nt] 2 May 2011 József Sándor Babeş Bolyai University Department of Mathematics Str. Kogălniceanu Nr. 1 400084 Cluj Napoca, Romania jsandor@math.ubbcluj.ro, jjsandor@hotmail.com Abstract Let f,g : N R be arithmetic functions. The function f is called multiplicative, if fmn) = fm)fn) for all m,n) = 1; and sub super)- multiplicative, if fmn) ) = fm) fn) for all m,n 1. The function g is called sub super)-homogeneous, if fmn) ) mfn) for all m,n 1. We say that f is 2-sub super)-multiplicative, if fmn) )2 fm 2 )fn 2 ) for all m,n 1; and 2-sub super)-homogeneous if fmn) )2 m 2 fn 2 ) for all m,n 1. In this paper we study the above classes of functions, with applications. AMS Subject Classification: 11A25, 11N56 Keywords and phrases: arithmetic functions; inequalities 1 Introduction Let ϕ, d, σ denote, as usual, the classical arithmetic functions, representing Euler s totient, the number of divisors, and the sum of divisors, respectively. Then it is well-known see e.g. [1], [7]) that ϕ1) = d1) = σ1) = 1, and all these functions are multiplicative, i.e. satisfy the functional equation fmn) = fm)fn) for all m,n) = 1. 1) Here f : N R, as one can find also many examples to 1), when f has not integer values, namely e.g. fn) = σn) σn), or fn) = ϕn) dn), etc. The functions d and σ are classical examples of the so-called sub-multiplicative function, i.e. satisfying fmn) fm)fn) for all m,n 1. 2) 1

The function ϕ is super-multiplicative, i.e. satisfies the inequality 2) in reversed order: fmn) fm)fn) for all m,n 1. 3) Similarly, we will say that g is sub-homogeneous, when and super-homogeneous, whenever gmn) mgn) for all m,n 1, 4) gmn) mgn) for all m,n 1. 5) For example, the function ϕ satisfies inequality 4), while σ, the inequality 5). As the function d satisfies inequality 2), and dn) n for all n, clearly g = d is also a sub-homogeneous function. Let k 2 be a positive integer. In what follows, we will say that f is k-sub-multiplicative function, if one has fmn) ) k fm k )fn k ) for all m,n 1. 6) For example, in [3] it is proved that ϕ is 2-sub-multiplicative, while in [4] that d and σ are 2-super-multiplicative, to the effect that they satisfy the functional inequality fmn) ) k fm k )fn k ) for all m,n 1, 7) when k = 2. In fact, as we shall see, ϕ satisfies 6) for any k 2, and similarly d and σ satisfy relation 7). In papers [4], among the inequalities 2) 7) for the particular functions ϕ,σ,dandk = 2,wehaveshownalsoe.g. thatfn) = σn) dn) issuper-multiplicative i.e., satisfies 3)), 2-sub-multiplicative i.e. satisfies 6) for k = 2), and it is sub-homogeneous i.e. satisfies 4)). A last class of functions, which we will introduce here is the class of ksub-homogeneous k-super-homogeneous ) functions, i.e. functions g with the property gmn) ) k ) mk gn k ), m,n 1; 8) where k 2 is a fixed positive integer. 2 Main result The first result is almost trivial, we state it for the sake of completeness and for applications in the next sections. Theorem 1. Let f, g be two nonnegative arithmetic functions. 2

a) If f and g are sub-mult abbreviation for sub-multiplicative ), then f g is sub-mult, too. Similarly, if f and g are sup-mult i.e. super-multiplicative ), then f g is sup-mult, too. b) If f > 0 is sub-mult sup-mult), then 1 f is sup-mult sub-mult). c) If f is sup-mult sub-mult) and g > 0 sub-mult sup-mult), then f g is sup-mult sub-mult). d) If f and g are sub-mult, then f +g is sub-mult, too. Proof. a) c) are easy consequences of the definitions 2) and 3), and the positivity of functions; for d) put hn) = fn)+gn). Then hnm) = fnm)+gnm) fn)fm)+gn)gm) hn)hm) = [fn)+gn)] [fm)+gm)] = = fn)fm)+gn)gm)+a, where A = fn)gm)+gn)fm) 0. Examples 1. a) fn) = σn) is sub-mult. ϕn) b) fn) = ϕn) is sup-mult. dn) c) fn) = n+dn) is sub-mult. Theorem 2. Let f be nonnegative sub-mult sup-mult) function, and suppose that fn) ) n for all n 1. Then f is sub-hom sup-hom) abbreviation for sub-homogeneous function). Proof. As fmn) fm)fn) and 0 fm) m, we have fm)fn) mfn), so fmn) mfn). The sup-case follows in the same manner. Examples 2. a) fn) = dn) is sub-mult and dn) n, so dn) is sub-hom. b) fn) = ngn), where gn) 1 is sup-hom. Then Th.1 a) and Th.2 implies that f is sup-hom. For example, fn) = nϕn) is sup-hom. On the other hand, fn) = n is sub-hom, as f is sub-mult and fn) n. ϕn) Theorem 3. Assume that f 0 is sub-mult sup-mult) and sup-hom subhom). Then f is k-sup-hom k-sub-hom) for any k 2. 3

Proof. As fmn) fm)fn) one gets by induction that fa 1 a 2...a k ) fa 1 )fa 2 )...fa k ). Letting a 1 = a 2 =... = a k = mn, we get fmn) ) k f mn) k) = fm k n k ). Since f is sup-hom, by definition 5) we have fm k n k ) m k fn k ). Thus, we get fmn) ) k m k fn k ), which by 8) gives that f is k-sup-hom. Theorem 4. Assume that f 0 is k-sub-mult k-sup-mult) and that fn) n fn) n) for all n. Then f is k-sub-hom k-sup-hom). Proof. As by 6) one has fmn) ) k fm k )fn k ) and by fm k ) m k we get fmn) ) k m k fn k ), i.e. relation 8). The other case may be proved similarly. Examples 3. 1. Let fn) = ϕn); which is 2-sub-mult. As ϕn) n, the function ϕ is 2-sub-hom. 2. fn) = σn) is 2-sub-mult. Since σn) n, the function σ is 2-sup-hom. 3. fn) = σn) satisfies also the conditions of this theorem. dn) Remark 1. As dn) n is not true, relation 4) is not a consequence of this theorem. The next theorem involves also power functions. Theorem 5. Let f, g > 0 and suppose that f is sub-mult sup-mult) and g is sub-hom sup-hom). Then the function hn) = fn) gn)/n is sub-mult supmult), too. Proof. fmn) gmn) fm)fn) ) gmn) = fm) ) gmn) fn) ) gmn) fm) ) ngm) fn) ) mgn) = [fm) gm)] n [fn) gn)] m Therefore, hmn) = fmn) gmn)/mn fm) gm)/m fn) gn)/n = hm) hn). Corollary 1. Assume that for f, g satisfying the conditions of Theorem 5 one has for any prime p 2 fp) gp) < p p. 9) Then one has the inequality for any n > 1. fn) gn) < n n 10) 4

Proof. Let m,n two numbers satisfying 10). Then as fn) gn)/n < n and fm) gm)/m < m, by Theorem 5 we have fmn) gmn)/mn fm) gm)/m fn) gn)/n < mn, so fmn) gmn) < mn, i.e. inequality 10) holds true also for mn. Thus, if 9) is true, then applying the above remark for m = p,n = p; we get that 10) will be true for n = p 2, too. By induction this implies that 10) is true for any prime power p k. Similarly, it is true for any other prime power q s, so by the remark it will be true for p k q k, too. By induction it follows the inequality for any product of distinct prime powers, i.e. for any n. Examples 4. a) Let fn) = σn), which is sub-mult, and gn) = ϕn), which is sub-hom. The inequality 9) becomes p+1) p 1 < p p. 11) ) p p+1 11) may be written also as < p+1 or 1+ 1 p < p+1. As p p) 1+ 1 p) p < e < 3 p+1 for p 2, this is true. Therefore, σn) ϕn) < n n for all n 2. 12) Remark 2. Inequality 12) appeared for the first time in [4], [5]. There are many other inequalities of these types. b) Other examples for Theorem 5: fn) = dn), gn) = σn) dn) ; etc. fn) = σn) ; gn) = σn), dn) Now we shall find conditions for the sub-multiplicativity, k-sub-multiplicativity, sub-homogeneity, etc. properties. Theorem 6. Let f 0 be a multiplicative function, f1) = 1, and assume that for any prime numbers p and any a,b 0 one has the inequality fp a+b ) ) fpa ) fp b ). 13) Then f is sub-mult sup-mult) function. Reciprocally, if f is sub-mult supmult), then 13) is true. 5

Proof. We may assume that two positive integers m and n has the same number ofdistinctprimefactors,withexponents 0.Letm = p a1 1 par r,n = p a 1 1 pa r r with p 1,...p r distinct primes, and a i 0, a i 0. As f is multiplicative, and f1) = 1, clearly fm) = fp a1 1 ) fpar r ). Now, as by 13) one has fp ai+a i i ) fp ai i ) fpa i i ) 14) after term-by term multiplication in 14), and using the multiplicativity of f, we get fmn) fm) fn), i.e. f is sub-multiplicative. Reciprocally, letting m = p a, n = p b, we get relation 13). Examples 5. a) Let fn) = dn), multiplicative. As dp a ) = a + 1 for any prime p and any a 0 as d1) = 1), 13) becomes a + b + 1 a + 1)b + 1) = ab + a + b + 1, i.e. ab 0; which is trivial. Thus, the function d is sub-mult. A similar case is fn) = σn) with a slightly more involved proof) b) Let fn) = σn), which is multiplicative. When a = 0 or b = 0, 13) is dn) trivial, so we may assume a,b 1. We will prove the inequality p a+b+1 1 p 1)a+b+1) p a+1 1 p 1)a+1) p b+1 1 p 1)b+1). 15) For this reason, apply the Chebyshev integral inequality see [2]) β α fx)dx β α gx)dx β α β α β α fx)gx)dx β α 16) to the case fx) = x a, gx) = x b, α = 1, β = p. Since f and g are monotonic functions of the same type, 16) holds true, so 15) follows. This provesthat the function fn) = σn) is sup-mult but σ and d are both dn) sub-mult). Theorem 7. Let f 0 be multiplicative, f1) = 1, and assume that for any primes p, and any a,b 0 one has fp a+b ) ) k ) fpka ) fp kb ) 17) where k 2 is fixed. Then f is k-sub-mult k-sup-mult) function. Proof. This is very similar to the proof of Theorem 6, and we shall omit it. Examples 6. 6

a) Let fn) = dn), k 2. We will prove that f is k-sup-mult though, it is sub-mult, see Example 5 a)), i.e. the inequality dp a+b ) ) k dp ka ) dp kb ), 18) i.e. a+b+1) k ka+1)kb+1). 19) We shall prove inequality 19) by induction upon k. For k = 2 it is true, as a+b+1) 2 = a 2 +b 2 +1+2ab+2a+2b 2a+1)2b+1) = 4ab+2a+2b+1, i.e. a 2 +b 2 2ab, which is true by a b) 2 0. Assume that 19) holds true for k, and try to prove it for k+1 : a+b+ 1) k+1 ka+1)kb+1)a+b+1) ka+a+1)kb+b+1). After some easy computations this becomes k 2 a 2 b+k 2 ab 2 +ka 2 +kb 2 ab, which is true. Thus 18) holds for any k 2. Remark 3. For k = 2, the 2-sup-mult property of d was first published in [4]. For a recent rediscovery of this result, see [8]Theorem 2.3). b) Let fn) = ϕn),k 2. We will prove that f is k-sub-mult, i.e.; 17) holds true. We may assume a,b 1. As ϕp m ) = p m 1 p 1) for p prime, m 1; we have to show that p ka+b 1) p 1) k p ka 1 p 1)p kb 1 p 1). This becomes 1 1 k 1 p) p) 1 2, which is true for any k 2, as 0 < 1 1 p < 1. Remark 4. For k = 2, the 2-sub-mult property of ϕ was first discovered by T. Popoviciu [3]. Theorem 8. Let f 0 be multiplicative, f1) = 1, and assume that fp a+b ) ) pa fp b ) 20) holds true for any primes p 2 and any a,b 0. Then f is sub-hom sup-hom) function. Proof. Similar to the proof of Theorem 6. 7

Examples 7. a) Let fn) = σn). We will prove 20) with sign of inequality. If b = 0, σp a ) p a is true. For a = 0 we get equality. Assume a,b 1. Then 20) becomes 1+p+ +p a+b p a 1+p+ +p b ), which is true, as the left-hand side contains also the terms p a +p a+1 + +p a+b, which is the right side. b) For fn) = ϕn), we will prove 20) with sign i.e. ϕ will be subhom). As ϕp a ) p a, 20) holds for b = 0, while for a = 0 one has equality. For a,b 1 we have to prove which holds true with equality. p a+b 1 p 1) p a p b 1 p 1), Theorem 9. Let f 0 be multiplicative, f1) = 1 and assume that for any primes p and any a,b 0 one has Then f is k-sub-hom ksup-hom) function. Proof. This is similar to the proof of Theorem 6. fp a+b ) ) k ) pka fp kb ). 21) a) Let fn) = ϕn). We will prove that f is k-sub-hom. In- Examples 8. equality ϕp a+b ) ) k p ka ϕp kb ) 22) holds true for b = 0, as ϕp a ) p a. For a = 0 the inequality ϕp b ) ) k ϕp kb ) holds true by ϕp b p b ) ϕp }{{} b ) ϕp b ), using the sup-mult property of ϕ. Let a,b 1. Then 22) k becomes i.e. 1 1 p ) p ka+b 1) p 1) k p ka p kb 1 p 1), 1 1 p. As 0 < 1 1 < 1 and k > 1, this is true. p b) fn) = σn) is k-sup-hom; and follows similarly from 21). We omit the details. References [1] G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, Oxford Univ. Press, 1938. [2] D. S. Mitrinović, Analytic inequalities, Springer Verlag, 1970. [3] T. Popoviciu, Gaz. Mat. 461940), p. 334. 8

[4] J. Sándor, Some arithmetic inequalities, Bull. Numb. Theor. Rel. Top. 111987), 149 161 [Corrigendum in: 121988), 93 94]. [5] J. Sándor, On the arithmetical functions σ k n) and ϕ k n), Math. Student 581990), 49 54. [6] J. Sándor, On Dedekind s arithmetical functions, Seminarul de t. structurilor, No. 51, Univ. Timişoara, 1988. [7] J. Sándor et al., Handbook of number theory I, Springer Verlag, 2006 first published in 1996 by Kluwer Acad. Publ.) [8] N. Minculete and P.Dicu, Several inequalities about the number of positive divisors of a natural number n, General Mathematics, 172009), no.1, 65 70. 9