01 General Dirichlet Series & Power Series

Total Page:16

File Type:pdf, Size:1020Kb

01 General Dirichlet Series & Power Series 01 General Dirichlet Series & Power Series 1.1 Definition & Theorems Definition 1.1.1 (General Dirichlet Series) Let R be a real number set. And let , t R and n R , n < n+1 n =1,2,3, . When s = +it and an are complex numbers, we call the following series General Dirichlet Series. -n s Σan e n =1 Note Especially when n = log n in General Dirichlet Seris, it is called Ordinary Dirichlet Series. This is discussed in another chapter. Theorem 1.1.2 -n s Let Dirichlet serie f()s =Σan e . And assume f()s is convergent at s =sc =c + tc i . Then n =1 1. f()s converges uniformly in Args -s < . c 2 2. f()s converges for any s = + t i s.t. > c . This c is called the line of convergence. By convention, c = if f()s converges nowhere and c =- if f()s converges everywhere on the complex plane. How to calculate c n 1. When Σak is divergent, k=1 loga1 + a2 + + an c = limsup n n n 2. When Σak is convergent, k=1 logan+1 + an+2 + an+3 c = limsup n n Absolute Convergence -n s -n s A Dirichlet series f()s =Σan e is absolutely convergent if the series Σan e is convergent. n =1 n =1 There exist a a c such that f()s converges absolutely for > a and converges non-absolutely for < a . This a is called the line of absolute convergence. - 1 - How to calculate a n 1. When Σak is divergent, k=1 loga1 +a2 + +an a = limsup n n n 2. When Σak is convergent, k=1 logan+1 +an+2 +an+3 a = limsup n n Uniform Convergence -n s As seen in Theorem 1.1.2 , Dirichlet serie f()s =Σan e converges uniformly in a certain domain. n =1 If we see it a little in detail, it is as follows. There exist a u c u a such that f()s converges uniformly for > u and converges non-uniformly for < u . This u is called the line of uniform convergence. How to calculate u log Tx u = limsup x log x where -i n y Tx = sup Σ an e ||y <[]x n <x Theorem 1.1.3 (Holomorphy) -n s If Dirichlet serie f()s =Σan e s = + t i converges for > c , n =1 f()s is holomophic at > c . And the derivative of f()s is given as follows. k k k -n s f ()s = ()-1 Σn an e n =1 Theorem 1.1.4 (Uniqueness) Let two Dirichlet series are as follows. -n s -n s f()s =Σan e , g()s =Σbn e n =1 n =1 If both are convergent in a certain domain and f()s = g()s holds at there, an = bn for n =1,2,3, . Bibliography 「数論入門」D.B.ザギヤー 著、片山考次 訳 岩波 1990年, etc. - 2 - 1.2 General Dirichlet Series & Power Series General Dirichlet Series can contain Power Series other than Ordinary Dirichlet Series. In the following section, we will consider this. 1.2.1 Relation between Power Series and General Dirichlet Series n -n s Relations between power series Σcn z -z0 and general Dirichlet series Σan e are as follows. n =1 n =1 -s cn = an , n = n , z -z0 = e (2.1) Especially, when the power series starts from n =0 , -s cn-1 = an , n-1= n , z -z0 = e (2.0) Calculation n n-1 -s n -n s Σcn z -z0 = Σcn-1 z -z0 = Σan(e ) = Σan e n =0 n =1 n =1 n =1 -n s -s n n-1 n Σan e = Σcn-1(e ) = Σcn-1z -z0 = Σcn z -z0 n =1 n =1 n =1 n =0 Note When a function f()z is expressed with a power series, Dirichlet series equivalent to this does not express -s -s f()s . Since z -z0 = e , it is fz = f (e +z0) . That is, Dirichlet series equivalent to the power series express the composition f . 1.2.2 Circle of convergence & Line of convergence As seen above, the relation between the variable z -z0 of power series and the variable s of Dirichlet series was as follows.. -s z -z0 = e That is, s = -logz -z0 = -logz -z0 - i argz -z0 Here, let s = +i t , z = x +iy . Then +it = -logx -x0 + i y -y0 - i argx -x0 + i y -y0 Although coordinates x -y are transferred to coordinates -t by the conversion, the coordinates -t are similar to pola coordinates r - . The difference among both is only the existence of log in the real part. From this, 2 2 = -log x -x0 + y -y0 (2.) t = -argx -x0 + i y -y0 (2.t) When z0 = x0+iy0 =1+i1 , the real part (2.) is drawn on the left figure. All the horizontal sections of the real part (2.) are circles centered on the point 1,1 . Radius of each circle is given by x -1 2+ y -1 2 - 3 - For example, if the radius is 1 , =-log1=0 from (2.) . If the left figure is horizontally cut at this height, it is the right figure. When the radius is 1 , the power series converges in the circle. This means that the corresponding Dirichlet series should converge at the upper than the circle i.e. >0. The height c =-log R which provides the convergence circle with the radius R is the line of convergence. So far, we have seen the relationship between circle of convergence and line of convergence in the figure. It is as follows analytically. -s using z -z0 = e -c -s - - i t - e R > z -z0 = e = e = e i.e. e- < e-c = R Taking the logarithm of both sides, we obtain > c = -logR (2.2) c.f. According to the definition in 1.1 , the convergence line c is calculated as follows. n When Σcn or Σcn is convergent, Σck is also convergent. Then n =1 n =0 k=1 logan+1 + an+2 + an+3 logcn+1 + cn+2 + cn+3 c = limsup = limsup n n n n The calculation by this formula is difficult in many cases. It is better to use the above (2.2) . Byproduct -1/n From the above and R = lim infcn , c = -logR , we obtain the following n 1/n 1/n limsupcn + cn + cn = limsupcn () = 1/R (2.3) n +1 +2 +3 n - 4 - 1.3 Dirichlet series expression of primary functions 1.3.1 Dirichlet series expression of logarithmic function Function log z is expanded in power series as follows. n-1 ()-1 n log z = Σ ()z-1 = f()z (1.f) n =1 n When z = x +iy , the real part and the imaginary part of both sides are illustrated respectively as follows. The left figure is a real part, the right figure is an imaginary part. In both figures, the left-hand side is orange, and the right-hand side is blue. In both figures, we can see that the radius of convergence of the right-hand side is 1. Further, for comparison with latter figures, appropriate 5 points on the circumference is marked in red. -s Substituting z -1 = e for (1.f) , n-1 -s ()-1 -ns log1+e = Σ e = g()s (1.g) n =1 n n-1 ()-1 -n s Let an = , n = n . Then the right-hand side becomes Σan e , which is general Dirichlet n n =1 -s series. Where, we should note that the left-hand side is not log s but log(1+e ) . When s = +it , the real part and the imaginary part of both sides are illustrated respectively as follows. The left figure is a real part, the right figure is an imaginary part. In both figures, the left-hand side is orange, and the right-hand side is blue. In both figures, we can see that the line of convergence of the right-hand side - 5 - is 0. Further, we can see that 5 points in the former figures are transferred from the circle of convergence to the line of convergence by s =-log(z -1) . ( White points.) In addition, the line of convergence c is calculated as follows using 1.2.2 (2.2) . c =-logR =-log 1 = 0 1.3.2 Dirichlet series expression of tangent function Function tan z is expanded in power series as follows. Where, Bk is Bernouilli number. 2n 2n n-1 2 2 -1 2n-1 tan z = Σ()-1 B2n z = f()z (2.f) n =1 2n ()2n -1 ! When z = x +iy , the real part and the imaginary part of both sides are illustrated respectively as follows. The left figure is a real part, the right figure is an imaginary part. In both figures, the left-hand side is orange, and the right-hand side is blue. In both figures, the radius of convergence of the right-hand side looks like /2 Further, for comparison with latter figures, appropriate 4 points on the circumference is marked in red. -s Substituting z = e for (2.f) , 2n 2n -s n-1 2 2 -1 -2n-1 s tan e = Σ()-1 B2n e = g()s (2.g) n =1 2n ()2n -1 ! 2n 2n n-1 2 2 -1 -n s Let an = ()-1 B2n , n = 2n -1 , Then the right-hand side becomes Σan e , 2n 2n -1 ! n =1 -s which is general Dirichlet series.
Recommended publications
  • Calculus and Differential Equations II
    Calculus and Differential Equations II MATH 250 B Sequences and series Sequences and series Calculus and Differential Equations II Sequences A sequence is an infinite list of numbers, s1; s2;:::; sn;::: , indexed by integers. 1n Example 1: Find the first five terms of s = (−1)n , n 3 n ≥ 1. Example 2: Find a formula for sn, n ≥ 1, given that its first five terms are 0; 2; 6; 14; 30. Some sequences are defined recursively. For instance, sn = 2 sn−1 + 3, n > 1, with s1 = 1. If lim sn = L, where L is a number, we say that the sequence n!1 (sn) converges to L. If such a limit does not exist or if L = ±∞, one says that the sequence diverges. Sequences and series Calculus and Differential Equations II Sequences (continued) 2n Example 3: Does the sequence converge? 5n 1 Yes 2 No n 5 Example 4: Does the sequence + converge? 2 n 1 Yes 2 No sin(2n) Example 5: Does the sequence converge? n Remarks: 1 A convergent sequence is bounded, i.e. one can find two numbers M and N such that M < sn < N, for all n's. 2 If a sequence is bounded and monotone, then it converges. Sequences and series Calculus and Differential Equations II Series A series is a pair of sequences, (Sn) and (un) such that n X Sn = uk : k=1 A geometric series is of the form 2 3 n−1 k−1 Sn = a + ax + ax + ax + ··· + ax ; uk = ax 1 − xn One can show that if x 6= 1, S = a .
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • Formal Power Series - Wikipedia, the Free Encyclopedia
    Formal power series - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Formal_power_series Formal power series From Wikipedia, the free encyclopedia In mathematics, formal power series are a generalization of polynomials as formal objects, where the number of terms is allowed to be infinite; this implies giving up the possibility to substitute arbitrary values for indeterminates. This perspective contrasts with that of power series, whose variables designate numerical values, and which series therefore only have a definite value if convergence can be established. Formal power series are often used merely to represent the whole collection of their coefficients. In combinatorics, they provide representations of numerical sequences and of multisets, and for instance allow giving concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved; this is known as the method of generating functions. Contents 1 Introduction 2 The ring of formal power series 2.1 Definition of the formal power series ring 2.1.1 Ring structure 2.1.2 Topological structure 2.1.3 Alternative topologies 2.2 Universal property 3 Operations on formal power series 3.1 Multiplying series 3.2 Power series raised to powers 3.3 Inverting series 3.4 Dividing series 3.5 Extracting coefficients 3.6 Composition of series 3.6.1 Example 3.7 Composition inverse 3.8 Formal differentiation of series 4 Properties 4.1 Algebraic properties of the formal power series ring 4.2 Topological properties of the formal power series
    [Show full text]
  • Some Questions About Spaces of Dirichlet Series
    Some questions about spaces of Dirichlet series. Jos´eBonet Instituto Universitario de Matem´aticaPura y Aplicada Universitat Polit`ecnicade Val`encia Eichstaett, June 2017 Jos´eBonet Some questions about spaces of Dirichlet series Dirichlet Series P1 an A Dirichlet Series is an expression of the form n=1 ns with s 2 C. Riemann's zeta function: If s 2 C, 1 1 1 X 1 ζ(s) := 1 + + + ::: = : 2s 3s ns n=1 Euler 1737 considered it for s real: He proved ζ(2) = π2=6, and he relation with the prime numbers: −1 Y 1 ζ(s) = 1 − ; ps p the product extended to all the prime numbers p. Jos´eBonet Some questions about spaces of Dirichlet series Riemann Riemann (1826-1866) and his Memoir \Uber¨ die Anzahl der Primzahlen unter einer gegebenen Gr¨osse", in which he formulated the \Riemann Hypothesis". Jos´eBonet Some questions about spaces of Dirichlet series Riemann The series ζ(s) converges if the real part of s is greater than 1, and ζ(s) has an analytic extension to all the complex plane except s = 1, where it has a simple pole. Obtained the functional equation. s s−1 ζ(s) = 2 π sen(πs=2)Γ(1 − s)ζ(1 − s); s 2 C: Proved that there are no zeros of ζ(s) outside 0 ≤ <(s) ≤ 1, except the trivial zeros s = −2; −4; −6; :::. Jos´eBonet Some questions about spaces of Dirichlet series Riemann's Hypothesis Riemann conjectured that all the non-trivial zeros of ζ(s) are in the line <(s) = 1=2.
    [Show full text]
  • Shintani's Zeta Function Is Not a Finite Sum of Euler Products
    SHINTANI’S ZETA FUNCTION IS NOT A FINITE SUM OF EULER PRODUCTS FRANK THORNE Abstract. We prove that the Shintani zeta function associated to the space of binary cubic forms cannot be written as a finite sum of Euler products. Our proof also extends to several closely related Dirichlet series. This answers a question of Wright [22] in the negative. 1. Introduction In this paper, we will prove that Shintani’s zeta function is not a finite sum of Euler products. We will also prove the same for the Dirichlet series counting cubic fields. Our work is motivated by a beautiful paper of Wright [22]. To illustrate Wright’s work, we recall a classical example, namely the Dirichlet series associated to fundamental discrim- inants. We have s 1 s s ζ(s) s L(s, χ4) (1.1) D− = 1 2− +2 4− + 1 4− , 2 − · ζ(2s) − L(2s, χ4) D>0 X as well as a similar formula for negative discriminants. These formulas may look a bit messy. However, if one combines positive and negative discriminants, one has the beautiful formulas s s s ζ(s) 1 s (1.2) D − = 1 2− +2 4− = Disc(K ) , | | − · ζ(2s) 2 | v |p p [Kv:Qp] 2 X Y X≤ and L(s, χ4) arXiv:1112.1397v3 [math.NT] 9 Nov 2012 s s (1.3) sgn(D) D − = 1 4− . | | − L(2s, χ4) X These are special cases of much more general results. Wright obtains similar formulas for quadratic extensions of any global field k of characteristic not equal to 2, which are in turn n the case n = 2 of formulas for Dirichlet series parameterizing the elements of k×/(k×) .
    [Show full text]
  • Zeros and Coefficients
    Zeros and coefficients Alexandre Eremenko∗ 10.28.2015 Abstract Asymptotic distribution of zeros of sequences of analytic functions is studied. Let fn be a sequence of analytic functions in a region D in the complex plane. The case of entire functions, D = C will be the most important. Sup- pose that there exist positive numbers Vn → ∞, such that the subharmonic functions 1 log |fn| areuniformlyboundedfromabove (1) Vn on every compact subset of D, and for some z0 ∈ D the sequence 1 log |fn(z0)| isboundedfrombelow. (2) Vn Under these conditions, one can select a subsequence such that for this sub- sequence 1 log |fn| → u, (3) Vn where u is a subharmonic function in D, u =6 −∞. This convergence can be understood in various senses, for example, quasi-everywhere, which means at every point except a set of points of zero logarithmic capacity, and also in ′ p D (Schwartz distributions), or in Lloc, 1 ≤ p< ∞. The corresponding Riesz measures converge weakly. The limit measure, −1 which is (2π) ∆u, describes the limit distribution of zeros of fn. ∗Supported by NSF grant DMS-1361836. 1 For all these facts we refer to [9] or [10]. This setting is useful in many cases when one is interested in asymptotic distribution of zeros of sequences of analytic functions. Let us mention several situations to which our results apply. 1. Let fn be monic polynomials of degree n, and Vn = n. We denote by µn the so-called empirical measures, which are the Riesz measures of (1/n)log |fn|. The measure µn is discrete, with finitely many atoms, with an atom of mass m at every zero of fn of multiplicity m.
    [Show full text]
  • Dirichlet Series
    数理解析研究所講究録 1088 巻 1999 年 83-93 83 Overconvergence Phenomena For Generalized Dirichlet Series Daniele C. Struppa Department of Mathematical Sciences George Mason University Fairfax, VA 22030 $\mathrm{U}.\mathrm{S}$ . A 84 1 Introduction This paper contains the text of the talk I delivered at the symposium “Resurgent Functions and Convolution Equations”, and is an expanded version of a joint paper with T. Kawai, which will appear shortly and which will contain the full proofs of the results. The goal of our work has been to provide a new approach to the classical topic of overconvergence for Dirichlet series, by employing results in the theory of infinite order differential operators with constant coefficients. The possibility of linking infinite order differential operators with gap theorems and related subjects such as overconvergence phenomena was first suggested by Ehrenpreis in [6], but in a form which could not be brought to fruition. In this paper we show how a wide class of overconvergence phenomena can be described in terms of infinite order differential operators, and that we can provide a multi-dimensional analog for such phenomena. Let us begin by stating the problem, as it was first observed by Jentzsch, and subsequently made famous by Ostrowski (see [5]). Consider a power series $f(z)= \sum_{=n0}^{+\infty}anZ^{n}$ (1) whose circle of convergence is $\triangle(0, \rho)=\{z\in C : |z|<\rho\}$ , with $\rho$ given, therefore, by $\rho=\varliminf|a_{n}|^{-1/}n$ . Even though we know that the series given in (1) cannot converge outside of $\Delta=\Delta(0, \rho)$ , it is nevertheless possible that some subsequence of its sequence of partial sums may converge in a region overlapping with $\triangle$ .
    [Show full text]
  • Calculus Terminology
    AP Calculus BC Calculus Terminology Absolute Convergence Asymptote Continued Sum Absolute Maximum Average Rate of Change Continuous Function Absolute Minimum Average Value of a Function Continuously Differentiable Function Absolutely Convergent Axis of Rotation Converge Acceleration Boundary Value Problem Converge Absolutely Alternating Series Bounded Function Converge Conditionally Alternating Series Remainder Bounded Sequence Convergence Tests Alternating Series Test Bounds of Integration Convergent Sequence Analytic Methods Calculus Convergent Series Annulus Cartesian Form Critical Number Antiderivative of a Function Cavalieri’s Principle Critical Point Approximation by Differentials Center of Mass Formula Critical Value Arc Length of a Curve Centroid Curly d Area below a Curve Chain Rule Curve Area between Curves Comparison Test Curve Sketching Area of an Ellipse Concave Cusp Area of a Parabolic Segment Concave Down Cylindrical Shell Method Area under a Curve Concave Up Decreasing Function Area Using Parametric Equations Conditional Convergence Definite Integral Area Using Polar Coordinates Constant Term Definite Integral Rules Degenerate Divergent Series Function Operations Del Operator e Fundamental Theorem of Calculus Deleted Neighborhood Ellipsoid GLB Derivative End Behavior Global Maximum Derivative of a Power Series Essential Discontinuity Global Minimum Derivative Rules Explicit Differentiation Golden Spiral Difference Quotient Explicit Function Graphic Methods Differentiable Exponential Decay Greatest Lower Bound Differential
    [Show full text]
  • Power Series and Convergence Issues
    POWER SERIES AND CONVERGENCE ISSUES MATH 153, SECTION 55 (VIPUL NAIK) Corresponding material in the book: Section 12.8, 12.9. What students should definitely get: The meaning of power series. The relation between Taylor series and power series, the notion of convergence, interval of convergence, and radius of convergence. The theorems for differentiation and integration of power series. Convergence at the boundary and Abel’s theorem. What students should hopefully get: How notions of power series provide an alternative interpre- tation for many of the things we have studied earlier in calculus. How results about power series combine with ideas like the root and ratio tests and facts about p-series. Executive summary Words ... P∞ k (1) The objects of interest here are power series, which are series of the form k=0 akx . Note that for power series, we start by default with k = 0. If the set of values of the index of summation is not specified, assume that it starts from 0 and goes on to ∞. The exception is when the index of summation occurs in the denominator, or some other such thing that forces us to exclude k = 0. 0 (2) Also note that x is shorthand for 1. When evaluating a power series at 0, we simply get a0. We do not actually do 00. (3) If a power series converges for c, it converges absolutely for all |x| < |c|. If a power series diverges for c, it diverges for all |x| > |c|. P k (4) Given a power series akx , the set of values where it converges is either 0, or R, or an interval that (apart from the issue of inclusion of endpoints) is symmetric about 0.
    [Show full text]
  • Lagrange Inversion Theorem for Dirichlet Series Arxiv:1911.11133V1
    Lagrange Inversion Theorem for Dirichlet series Alexey Kuznetsov ∗ November 26, 2019 Abstract We prove an analogue of the Lagrange Inversion Theorem for Dirichlet series. The proof is based on studying properties of Dirichlet convolution polynomials, which are analogues of convolution polynomials introduced by Knuth in [4]. Keywords: Dirichlet series, Lagrange Inversion Theorem, convolution polynomials 2010 Mathematics Subject Classification : Primary 30B50, Secondary 11M41 1 Introduction 0 The Lagrange Inversion Theorem states that if φ(z) is analytic near z = z0 with φ (z0) 6= 0 then the function η(w), defined as the solution to φ(η(w)) = w, is analytic near w0 = φ(z0) and is represented there by the power series X bn η(w) = z + (w − w )n; (1) 0 n! 0 n≥0 where the coefficients are given by n−1 n d z − z0 bn = lim n−1 : (2) z!z0 dz φ(z) − φ(z0) 0 This result can be stated in the following simpler form. We assume that φ(z0) = z0 = 0 and φ (0) = 1. We define A(z) = z=φ(z) and check that A is analytic near z = 0 and is represented there by the power series arXiv:1911.11133v1 [math.NT] 25 Nov 2019 X n A(z) = 1 + anz : (3) n≥1 Let us define B(z) implicitly via A(zB(z)) = B(z): (4) Then the function η(z) = zB(z) solves equation η(z)=A(η(z)) = z, which is equivalent to φ(η(z)) = z. Applying Lagrange Inversion Theorem in the form (2) we obtain X an(n + 1) B(z) = zn; (5) n + 1 n≥0 ∗Dept.
    [Show full text]
  • SOLUTIONS of the LINEAR BOLTZMANN EQUATION and SOME DIRICHLET SERIES 1. Introduction Classical Special Functions Are Used In
    SOLUTIONS OF THE LINEAR BOLTZMANN EQUATION AND SOME DIRICHLET SERIES A.V. BOBYLEV(∗) AND I.M. GAMBA(∗∗) Abstract. It is shown that a broad class of generalized Dirichlet series (includ- ing the polylogarithm, related to the Riemann zeta-function) can be presented as a class of solutions of the Fourier transformed spatially homogeneous linear Boltz- mann equation with a special Maxwell-type collision kernel. The result is based on an explicit integral representation of solutions to the Cauchy problem for the Boltz- mann equation. Possible applications to the theory of Dirichlet series are briefly discussed. 1. Introduction Classical special functions are used in different fields of mathematics and its ap- plications. Most of such functions (spherical and cylindrical functions, Hermite and Laguerre polynomials and many others) appear as solutions of some ODEs or PDEs. There is, however, another big class of functions which have no connections with differential equations. The well known examples are the Gamma and Beta functions, the Riemann Zeta-function ζ(z), obtained as an analytic continuation of the Dirichlet series [6] 1 X 1 (1.1) ζ(z) = ; Re z > 1 ; nz n=1 and some similar functions. One more example is a generalization of ζ(z), the so called polylogarithm 1 X xn (1.2) Li (x) = ; jxj < 1 ; z nz n=1 also known as de Longni´ere'sfunction [3]. Hilbert conjectured in the beginning of last century that ζ(z) and other functions of the same type do not satisfy algebraic differential relations [4]. His conjectures were proved in [7, 8]. Other references and new results on differential independence of zeta-type functions can also be found, for example, in the book [6].
    [Show full text]
  • Pell Numbers
    Int. Journal of Math. Analysis, Vol. 7, 2013, no. 38, 1877 - 1884 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2013.35131 On Some Identities and Generating Functions for k- Pell Numbers Paula Catarino 1 Department of Mathematics School of Science and Technology University of Trás-os-Montes e Alto Douro (Vila Real – Portugal) [email protected] Copyright © 2013 Paula Catarino. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract We obtain the Binet’s formula for k-Pell numbers and as a consequence we get some properties for k-Pell numbers. Also we give the generating function for k-Pell sequences and another expression for the general term of the sequence, using the ordinary generating function, is provided. Mathematics Subject Classification: 11B37, 05A15, 11B83. Keywords : Pell numbers, k-Pell numbers, Generating functions, Binet’s formula 1. Introduction Some sequences of number have been studied over several years, with emphasis on studies of well-known Fibonacci sequence (and then the Lucas sequence) that is related to the golden ratio. Many papers and research work are dedicated to Fibonacci sequence, such as the work of Hoggatt, in [15] and Vorobiov, in [13], among others and more recently we have, for example, the works of Caldwell et al . in [4], Marques in [7], and Shattuck, in [11]. Also 1 Collaborator of CIDMA and CM-UTAD (Portuguese researches centers). 1878 Paula Catarino relating with Fibonacci sequence, Falc ın et al ., in [14], consider some properties for k-Fibonacci numbers obtained from elementary matrix algebra and its identities including generating function and divisibility properties appears in the paper of Bolat et al., in [3].
    [Show full text]