arxiv: v1 [math.ca] 10 Dec 2017

Transcription

1 ON THE HIGHER DERIVATIVES OF THE INVERSE TANGENT FUNCTION MOHAMED AMINE BOUTICHE AND MOURAD RAHMANI arxiv: v1 [mathca] 10 Dec 017 Abstract In this paper, we find explicit formulas for higher order derivatives of the inverse tangent function More precisely, we study polynomials which are induced from the higher-order derivatives of arctanx) Successively, we give generating functions, recurrence relations and some particular properties for these polynomials Connections to Chebyshev, Fibonacci, Lucas and Matching polynomials are established Mathematics Subject Classification 010: 11B83, 33B10, 05C38, 6A4 Keywords: Explicit formula, Derivative polynomial, Inverse tangent function, Chebyshev polynomial, Matching polynomial 1 Introduction The problem of establishing closed formulas for the n-derivative of the function arctanx) is not straightforward and has been proved to be important for deriving rapidly convergent series for π [, 3, 13] Recently, Many authors investigated the aforementioned problem and derive simple explicit closed-form higher derivative formulas for some classes of functions In [6, 1, 8] and references therein, the authors found explicit forms of the derivative polynomials of the hyperbolic, trigonometric tangent, cotangent and secant functions Several new closed formulas for higher-order derivatives have been established for trigonometric and hyperbolic functions in [17], tangent and cotangent functions in [15] and arc-sine functions in [16] In the present work, we study polynomials which are induced from the higher-order derivatives of arctanx) We consider the problem of finding the nth derivative of arctanx) It is easy to see that there exists a real sequence of polynomials such that 11) P n x) = 1) n n!imx+i) n+1 ) [ d n dn 1 1 arctanx) = dxn dx n 1 i = dn 1 dx n 1 [ Im = P n 1x) 1+x ) n, 1 x i 1 )] x+i )] 1 x i where Imz), denotes the imaginary part of z By differentiation 11) with respect to x, we get the recursion relation [13] 1) P 0 x) = 1, P n+1 x) = 1+x ) P n x) n+1)xp nx) 1

2 MOHAMED AMINE BOUTICHE AND MOURAD RAHMANI An explicit expression of P n x) is obtained by using the binomial formula n/ ) n+1 13) P n x) = 1) n n! 1) k x n k, k +1 where x, denotes the integral part of x, that is, the greatest integer not exceeding x The fundamental properties of the alpha and beta polynomials We may rewrite 1) β n x) := 1) n P n x) n! = Imx+i) n+1 ) n ) n+1 = 1) k k +1 cos ) kπ x n k = n+1)x n F 1 n, 1 n ; 3 ; 1 x ), where F 1 a,b;c;z) denotes the Gaussian hypergeometric function defined by F 1 a,b;c;z) = a) n b) n c) n and x) n is the Pochhammer symbol: x) 0 = 1, x) n = xx+1) x+n 1) In 1755, Euler derived the well-known formula z n n!, arctanx) = n n!) x n+1 n+1)!1+x ) n+1 As immediate application of 1), we obtain another expansion of the inverse tangent function Theorem 1 We have Proof From 13) and arctanx) = β n x) x n+1 n+11+x ) n+1 arctanx) = n 1 1) n+1 d n xn arctanx) dxn n!, we get the desired result Now, we give some fundamental results concerning β n x) Theorem Generating function) The ordinary generating function of β n x) is given by ) f x z) = β n x)z n = 1 1 xz +1+x )z

3 ON THE HIGHER DERIVATIVES OF THE INVERSE TANGENT FUNCTION 3 Proof We have f x z) = xz) n ) ) n+1 kπ cos x) k k +1 k 0 = ) n+1 xz) n Re i ) ) k k +1 x k 0 = ) i xz) n Re x n x i)n+1 ix = 1 z n ix i) n+1 ixx+i) n+1) = 1 ix i) zx i)) n 1 ix+i) = 1 ix i) 1 zx i) ix+i) ) 1 zx+i) Thus, the proof of the theorem is completed In particular, we have zx+i)) n Corollary 1 For n 0, we have β n 1) = n+1 cos n 1) π ) = n+1 sin n+1) π ) 4 4 Proof It is clear from Re i1 i) n+1) Theorem 3 Generating function) The exponential generating function of β n x) is given by 3) β n x) zn n! = cosz)+xsinz))exz Proof From 1), we have Im x+i) n+1) z n n! = Im x+i) ) x+i)z) n n! = Imx+i)expx+i)z)) Thus, the proof of the theorem is completed = e xz Imx+i)e iz ) = e xz cosz +xsinz) Theorem 4 Recurrence relation) The β n x) satisfy the following three-term recurrence relation 4) β n+1 x) = xβ n x) 1+x ) β n 1 x), with initial conditions β 0 x) = 1 and β 1 x) = x

4 4 MOHAMED AMINE BOUTICHE AND MOURAD RAHMANI Proof By differentiation ) with respect to z, we obtain ) 1 xz + 1+x z ) z f xz) = x 1+x ) z ) f x z), or equivalently ) 1 xz + 1+x z ) nβ n x)z n 1 = x 1+x ) z ) β n x)z n After some rearrangement, we get n+1)β n+1 x)z n = xn+1)βn x) 1+x ) n+1)β n 1 x) ) z n Equating the coefficient of z n, we get the result The first few β n x) are listed in Table 5 5) β 0 x) = 1 β 1 x) = x β x) = 3x 1 β 3 x) = 4x 3 4x β 4 x) = 5x 4 10x +1 β 5 x) = 6x 5 0x 3 +6x Theorem 5 The leading coefficient of x n in β n x) is n+1 and the following result holds true 6) β n x) = 1) n β n x) Proof Hence f x z) = f x z) β n x) z) n = Comparing these two series, we get 6) Remark 1 Using 6) we can write 7) P n x) = n!β n x), β n x)z n and the exponential generating function of P n x) is given by P n x) zn n! = 1 1+xz +1+x )z and 1) becomes 8) β n+1 x) = xβ n x) 1+x n+1 β n x) Theorem 6 For n 1, we have d 9) dx β nx) = n+1)β n 1 x) Proof This follows easily from 1)

5 ON THE HIGHER DERIVATIVES OF THE INVERSE TANGENT FUNCTION 5 Theorem 7 Differential Equation) β n x) satisfies the linear second order ODE 10) ) 1+x β nx) nxβ nx)+nn+1)β n x) = 0 Proof By differentiating 8) and using 9), we find 10) Remark It is well known that the classical orthogonal polynomials are characterized by being solutions of the differential equation Ax)γ n x)+bx)γ n x)+λ nγ n x) = 0, where A and B are independant of n and λ n independant of x It is obvious that the β n x) are non-classical orthogonal polynomials Using matrix notation, 4) can be written as βr+1 x) β r+ x) ) = β r x) β r+1 x) ) ) 0 1+x ) 1 x Therefore βn+r x) β n+r+1 x) ) = β r x) β r+1 x) ) 0 1+x ) 1 x for n 0 Letting r = 0, we get βn x) β n+1 x) ) = 1 x ) ) 0 1+x n ) 1 x Theorem 8 We have β n x) = 1 x ) ) 0 1+x n ) 1 1 x 0) It follows from the general theory of determinant [18] that β n x) is the following n n determinant x 1+x ) x 1+x ) β n x) = x ) x In order to compute the above determinant, we recall that the Chebyshev polynomials U n x) of the second kind is a polynomial of degree n in x defined by U n x) = sinn+1)θ when x = cosθ, sinθ and can also be written as determinant identity x x 1 11) U n x) = x The next lemma is used in the proof of Theorem 9 ) n

6 6 MOHAMED AMINE BOUTICHE AND MOURAD RAHMANI Lemma 1 For a,b,c non zero, we have b c 0 0 a b c 1) 0 a 0 c 0 0 a b Proof From 11), we have ) ) nun b ac = ac = ac ) ) n b Un ac b ac 0 0 ac b ac 0 ac 0 ac 0 0 ac b Now, by the symmetrization process [4], we get the result Theorem 9 For n 1, we have d n n 1)! arctanx)) = dxn 1+x ) n Imi x) n ) = n 1)! x U 1+x ) n+1 n 1 1+x where U n is the nth Chebyshev polynomial of the second kind Proof We apply Lemma 1 with a = 1,b = x and c = 1+x ) to obtain ) ) nun x 13) β n x) = 1+x 1+x From 11) and 7), we get the desired result Corollary For n 1, we have ), d n tanh 1 x) ) = n 1)! dx n 1 x ) n x+1) n x 1) n ) Proof Since tanh 1 x) = 1 arctanix), we have i = 1 n 1)! ix U i n 1 1 x ) n+1 n 1 1 x d n tanh 1 x) ) = 1)n P n 1 ix) dx n i n+1 1 x ) n Thus, the proof of the Corollary is completed = 1 i n 1 P n 1 ix) 1 x ) n )

7 ON THE HIGHER DERIVATIVES OF THE INVERSE TANGENT FUNCTION 7 Theorem 10 The roots of β n x) of degree n 1 has n simple zeros in R at ) kπ 14) x k = cot, for each k = 1,,n n+1 Proof Since the zeros of U n z) are z k = cos it follows from 13) and by setting ) kπ,k = 1,,n, n+1 z k = that the zeros of β n x) are given by 14) x k 1+x k It is well-known that for any sequence of monic polynomials p n x) whose degrees increase by one from one member to the next, they satisfy an extended recurrence relation [10] n [ ] n p n+1 x) = xp n x) p n j x), j and [ the zeros of p n x) are the eigenvalues of the n n Hessenberg matrix of the coefficients n ] j arranged upward in the kth column [ 0 ] [ 1 ] [ [ 0 ] n ] [ n 1 ] [ n n ] [ [ 0 1] n ] [ n 1 ] n 3 [ n 0 1 [ H n = 0] n ] [ n 1 ] n 4 n 3 Let j= [ n 0 15) π n x) := β nx) n+1, be the monic polynomial of degree n Theorem 11 For n 0, we have 16) π 0 x) = 1; π n+1 x) = xπ n x) where B n denote the Bernoulli numbers n j=1 ] [ n 1 ] 1 ] [ n 1 0 ) j+1 n B j+1 π n j x) j +1 j Proof By using generating function techniques, we can verify 16) directly From 15) and 3), we have n ) ) j+1 n z n xπ n x) B j+1 π n j x) j +1 j n! j=1 = x π n x) zn n! j 1 j+1 j +1)! B j+1 π n j x) z n n j)!

8 8 MOHAMED AMINE BOUTICHE AND MOURAD RAHMANI Since, = 1 z cotz) 1 z = j x 1 z j j j! B j z j 1, j j! B j z j ) n 1 β n 1 x) zn n! and We get xπ n x) n j=1 n 1 β n 1 x) zn n! = e xz cosz +xsinz)dz = e xz sinz ) ) j+1 n z n B j+1 π n j x) j +1 j n! = exz xz 1)sinz +zcosz) z On the other hand, we have π n+1 x) zn n! = β n+1 x) z n n+ n! = n+1)β n+1 x) z n n+)! = n 1)β n 1 x) zn n! n 1 = 1 β n x) zn z n! 1 β z n 1 x) zn n! n 1 = 1 z exz cosz +xsinz) 1 z exz sinz = 1 z exz zcosz +zx 1)sinz) The theorem is verified Now, using the fact that B n+1 = 0 for n > 1, we can write [ ] [ ] ) n n = 0 and = j+ n B j+1 j j +1 j + j +1

9 ON THE HIGHER DERIVATIVES OF THE INVERSE TANGENT FUNCTION 9 Then, the n n Hessenberg matrix H n takes the form n B n n n 1 B 3 15 n n 1) n 3 B 1 n n 1)n ) n 4 B 3 3 n 3 H n = n 1)n )n 3) n 7 B 3 3 n 4, n 1) which the eigenvalues are λ k = cot kπ n+1), for k = 1,,n It is convenient to define a companion sequence α n x) of β n x) by 17) α n x) = Rex+i) n ) = = n/ 1) k n k n n 1) k k ) ) cos x n k ) kπ x n k, = x n F 1 n, 1 n ; 1 ; 1 x ), where Rez), denotes the real part of z By direct computation from 17), we find Similarly, we obtain α 0 x) = 1 α 1 x) = x α x) = x 1 α 3 x) = x 3 3x α 4 x) = x 4 6x +1 α 5 x) = x 5 10x 3 +5x Theorem 1 1) The ordinary generating function of α n x) is given by 18) α n x)z n 1 xz = 1 xz +1+x )z ) The exponential generating function of α n x) is given by 19) α n x) zn n! = cosz)exz 3) The α n x) satisfy the following three-term recurrence relation α n+1 x) = xα n x) 1+x ) α n 1 x), with initial conditions α 0 x) = 1 and α 1 x) = x

10 10 MOHAMED AMINE BOUTICHE AND MOURAD RAHMANI 4) We have 0) 1) ) α n x) = 1 x ) ) 0 1+x n ) 1 1 x 0) x 1+x ) x 1+x ) = x ) x ) ) ntn x = 1+x 1+x where T n is the nth Chebyshev polynomial of the first kind defined by 5) The following result holds true T n x) = cosnθ) when x = cosθ 3) α n x) = 1) n α n x) 6) We have d 4) dx α nx) = nα n 1 x) 7) α n x) satisfies the linear second order ODE 5) ) 1+x α n x) n 1)xα n x)+nn 1)α nx) = 0 8) The roots of α n x) of degree n 1 has n simple zeros in R at ) k 1)π 6) x k = cot, for each k = 1,,n n 9) For n 0, we have 7) α 0 x) = 1; α n+1 x) = xα n x) Theorem 13 For all n 1, we have Proof Since n j=1 α n x) = β n x) xβ n 1 x) j+1 j+1 1) j +1 β n x) = x 1+x ) α n 1 x) x 1 ) α n x) 8) α n x) = x+i)n +x i) n and 9) β n x) = x+i)n+1 x i) n+1, i we get the desired result ) n B j+1 α n j x) j In the same manner, we can prove the Turán s inequalities for α n x) and β n x)

11 ON THE HIGHER DERIVATIVES OF THE INVERSE TANGENT FUNCTION 11 Theorem 14 Turán s inequalities for α n x) and β n x) are α n x) α n 1x)α n+1 x) = x +1 ) n 1 > 0, for n 1 β n x) β n 1x)β n+1 x) = x +1 )n > 0, for n 0 3 Connection with other sequences It is well known that tannarctanx)) is a rational function and is equal to the following identity [5] tannarctanx)) = 1 1+ix) n 1 ix) n i 1+ix) n +1 ix) n It follows from 8) and 9) that for all n 1, we have β n 1x) α tannarctanx)) = n x), n even α n x) β n 1 x), n odd = x 1+x ) α n 1x) α n x), n even β n x) β n 1 x) x, n odd 31 Fibonacci polynomial Let hx) be a polynomial with real coefficients The link between Fibonacci polynomials and Chebyshev polynomials of the second kind is given by ) hx) F n,h x) = i n 1 U n 1, i now using 13) we get ) ) i n 1 n 1βn 1 ihx) F n,h x) = h x)+4) h x)+4 = 1 n/ ) n+1 h n k x) h x)+4 ) k 31) n 1 k +1 3 Lucas polynomial In the same manner, Lucas polynomials and Chebyshev polynomials of the first kind are related by ) hx) L n,h x) = i n T n, i Using ), we get ) ) L n,h x) = in nαn ihx) h x)+4 n 1 h x)+4 = 1 n/ ) n h n k x) h x)+4 ) k 3) n 1 k

12 1 MOHAMED AMINE BOUTICHE AND MOURAD RAHMANI Note that the above formulas 31) and 3) are given in [14] which generalize the Catalan formulas for Fibonacci and Lucas numbers see Koshy [1] page 16) 33 Matching polynomial The matching polynomial [9] is a well-known polynomial in graph theory and is defined by n/ M G x) = 1) k mg,k)x n k We know from Hosoya in [11], a transformation of a matching polynomial into typical orthogonal polynomials by M Pn x) = U n x/), M Cn x) = T n x/), where P n and C n are the path and the cycle graph respectively Now, by using 13) and ) with an appropriate change of variables, we get 33) 34) M Pn x) = 1 n/ ) n+1 1) k x n k 4 x )k, n k +1 M Cn x) = 1 n/ n 1 1) k n K ) x n k 4 x )k 4 Conclusion In our present investigation, we have studied polynomials which are induced from the higher-order derivatives of arctanx) We have derived some explicit formula for higher order derivatives of the inverse tangent function, generating functions, recurrence relations and some particular properties for these polynomials As a consequence, we have established connections to Chebyshev, Fibonacci, Lucas and Matching polynomials We did not examine the orthogonality of α n x) and β n x) polynomials We believe that these polynomials are a nice example for Sobolev orthogonal polynomials Acknowledgement The second author wish to thank Professor Gradimir V Milovanović for the fruitful discussions during his visit to the University of Sciences and Technology USTHB) at Algiers, Algeria References [1] VS Adamchik, On the Hurwitz function for rational arguments Appl Math Comput ) 3 1 [] K Adegoke and O Layeni, The higher derivatives of the inverse tangent function and rapidly convergent BBP-type formulas for pi Appl Math E-Notes ) [3] K Adegoke and O Layeni, The higher derivatives of the inverse tangent function and rapidly convergent BBP-type formulas arxiv V1 016) [4] Q Al-Hassan, An inverse eigenvalue problem for general tridiagonal matrices Int J Contemp Math Sci 4 009)

13 ON THE HIGHER DERIVATIVES OF THE INVERSE TANGENT FUNCTION 13 [5] M Beeler, RW Gosper, and R Schroeppel, HAKMEM MIT AI Memo 39, Feb 9, 197 [6] KN Boyadzhiev, Derivative polynomials for tanh, tan, sech and sec in explicit form Fibonacci Quart ) [7] YA Brychkov, Handbook of special functions Derivatives, integrals, series and other formulas CRC Press, Boca Raton, FL, 008 [8] D Cvijović, Derivative polynomials and closed-form higher derivative formulae Appl Math Comput ) [9] EJ Farrel, An introduction to matching polynomials J Comb Theory Ser B ) [10] W Gautschi, Orthogonal Polynomials: Computation and Approximation, Oxford University Press, Oxford, 004 [11] H Hosoya, Topological Index and Some Counting Polynomials for Characterizing the Topological Structure and Properties of Molecular Graphs, Research of Pattern Formation, KTK Scientific Publishers, Tokyo, 1994) [1] T Koshy, Fibonacci and Lucas Numbers with Applications New York, Wiley, 001 [13] V Lampret, The higher derivatives of the inverse tangent function revisited Appl Math E-Notes ) 4 31 [14] A Nalli and P Haukkanen, On generalized Fibonacci and Lucas polynomials Chaos Solitons Fractals 4 009) [15] F Qi, Derivatives of tangent function and tangent numbers Appl Math Comput ) [16] F Qi and M-M Zheng Explicit expressions for a family of the Bell polynomials and applications Appl Math Comput ) [17] A-M Xu and Zhong-Di Cen, Closed formulas for computing higher-order derivatives of functions involving exponential functions Appl Math Comput ) [18] R Vein and P Dale, Determinants and Their Applications in Mathematical Physics, Springer-Verlag, New York, Inc, Applied Mathematical Sciences, address: mboutiche@usthbdz address: mrahmani@usthbdz Faculty of Mathematics, University of Sciences and Technology Houari Boumediene, BP 3, El Alia, Bab Ezzouar 16111, Algiers, Algeria