DOCSLIB.ORG

Some Results on the Digamma Function -.:: Natural Sciences Publishing

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Some Results on the Digamma Function -.:: Natural Sciences Publishing Appl. Math. Inf. Sci. 7, No. 1, 167-170 (2013) 167 Applied Mathematics & Information Sciences An International Journal °c 2013 NSP Natural Sciences Publishing Cor. Some results on the digamma function Biljana Jolevska-Tuneska1 and Ilija Jolevski2 1 Faculty of Electrical Engineering and Informational Technologies, Karpos II bb, Skopje, Republic of Macedonia 2 Technical Faculty Bitola, University of St. Kliment Ohridski, Bitola, Republic of Macedonia Received: 19 Jul. 2011; Revised 11 Oct. 2012; Accepted 23 Oct. 2012 Published online: 1 Jan. 2012 Abstract: The digamma function is defined for x > 0 as a locally summable function on the real line by Z 1 e¡t ¡ e¡xt Ã(x) = ¡γ + ¡t dt : 0 1 ¡ e In this paper we use the neutrix calculus to extend the definition for digamma function for the negative integers. Also we consider the derivatives of the digamma function for negative integers. Keywords: Digamma Function, Gamma Function, Delta Function, Neutrices 1. Introduction defined infinite quantities was devised by Hadamard and the resulting finite value extracted from the divergent inte- The gamma function ¡ (x) was introduced by Leonard Eu- gral is usually referred to as Hadamard finite part. ler as a generalization of the factorial function on the set Using the concepts of the neutrix and the neutrix limit of all real numbers. It is defined for x > 0 by:(see [3] and due to van der Corput [4], Fisher gave the general princi- [13]) Z 1 ple for the discarding of unwanted infinite quantities from ¡ (x) = tx¡1e¡t dt : asymptotic expansions and has been exploited in context 0 of distributions, see [7,6]. Due to the difficulties in dealing with ¡ 0(x) in particulary We also note that recently Ng and van Dam applied because it is a large function that increases very rapidly, the neutrix calculus, in conjunction with the Hadamar in- the logarithmic derivative of ¡ (x) is studied instead. This tegral, developed by van der Corput, to the quantum field function is known as the digamma function (or psi func- theories, in particular to obtain finite results for the coeffi- tion) Ã(x) (see [5,2]) and is defined for positive real num- cients in the perturbation series. They also applied neutrix bers x by: calculus to quantum field theory, and obtained finite renor- malization in the loop calculations, see [16,17]. d [ln ¡ (x)] ¡ 0(x) Ã(x) = = : dx ¡ (x) 2. Neutrix calcucus The infinite family of approximations of the Digammma function were recently considered by I. Muqattash and In the following, we let N be the neutrix, see van der Cor- M.Yahdi (see [1]). put [4], having domain N 0 = f² : 0 < ² < 1g and In this paper we consider the values of the digamma negligible functions finite linear sums of the functions function for negative integers. Also we consider the deriva- ²¸ lnr¡1 ²; lnr ² : ¸ < 0; r = 1; 2;::: tives of the digamma function for negative integers. To define the digamma function for this values we use neu- and all functions f(²) which tend to zero in the normal trix calculus. The technique of neglecting appropriately sense as ² tends to zero. ¤ Corresponding author: e-mail: [email protected] °c 2013 NSP Natural Sciences Publishing Cor. 168 B. Jolevska-Tuneska et al : Some results on the digamma function If f(²) is a real (or complex) valued function defined for r = 0; 1; 2;::: and m = 1; 2;::: on N 0 and if it is possible to find a constant c such that In [10] and [8] Fisher et al. defined the incomplete f(²) ¡ c is in N, then c is called the neutrix limit of f(²) gamma function γ(¡m; x) for m = 0; 1; 2;::: Some con- as ² ! 0 ; and we write N¡lim f(²) = c : Note that taking volutions and neutrix convolution of this function and other ²!0 functions were considered in [11] and [12]. Recently, Ozcag the neutrix limit of a function f(²) is equivalent to taking et al. in [15] defined the incomplete beta function and its the usual limit of Hadamar’s finite part of f(²), and if a derivatives. function f(²) tends to c in the normal sense as ² tends to zero, also it converges to c in the neutrix sense. The reader may find the general definition of a neutrix limit with some 3. Main result examples in [9]. In the following we apply Fishers’s principle to define The digamma function (see [14]) has its integral represen- the digamma function for negative integers. tation Z It was proved in [9] that 1 e¡t ¡ e¡xt Z Ã(x) = ¡γ + ¡t dt ; 1 0 1 ¡ e ¡ (x) = N¡lim tx¡1e¡t dt ²!0 and the integral is convergent for x > 0 : Also, for x > 0 ; ² this can be written as: for x 6= 0; ¡1; ¡2;:::; where ¡ denotes the Gamma func- Z 1 1 ¡ tx¡1 tion. This suggested that ¡ (¡m) be defined by: Ã(x) = ¡γ + dt : (3) Z 1 0 1 ¡ t ¡ (¡m) = N¡lim t¡m¡1e¡t dt (1) It can be easily proved from equation (3) that: ²!0 ² 1 for m = 0; 1; 2;:::: Ã(x + 1) = Ã(x) + ; (4) It was also proved that x Z 1 for x > 0 and this equation can be used to define Ã(x) ¡ (0) = e¡t ln t dt = ¡ 0(1) = ¡γ; for negative, non-integer values of x. Thus if ¡1 < x < 0 0 then 1 where γ denotes Euler’s constant, and Ã(x) = Ã(x + 1) ¡ : Z 1 x ¡ (¡m) = t¡m¡1e¡t dt + So, we have that if ¡n < x < ¡n + 1 ; n = 1; 2;:::; 1 then: Z m 1 h X i i Z 1 x¡1+n n ¡m¡1 ¡t (¡t) 1 ¡ t X 1 + t e ¡ dt + Ã(x) = ¡γ + dt ¡ : (5) 0 i! 1 ¡ t x + k ¡ 1 i=0 0 k=1 m¡1 X (¡1)i It follows that if ¡n < x < ¡n + 1 ; n = 1; 2;:::; and ¡ (2) i!(m ¡ i) x > 0, then: i=0 Z Z 1 1 ¡ tx¡1 1 1 ¡ tx¡1+n for m = 0; 1; 2;:::: ¡γ + dt = ¡γ + dt ¡ Fisher and Kuribayashi [9] proved the existence of ² 1 ¡ t ² 1 ¡ t (r) (r) Z ¡ (0) and then defined ¡ (0) by the equation: 1 tx¡1(1 ¡ tn) Z 1 ¡ dt = ¡ (r)(0) = N¡lim t¡1 lnr te¡t dt ² 1 ¡ t Z n ²!0 ² 1 1 ¡ tx¡1+n X 1 Z 1 Z 1 = ¡γ + dt ¡ + ¡1 r ¡t ¡1 r ¡t 1 ¡ t x + k ¡ 1 = t ln te dt + t ln t[e ¡ 1] dt ; ² k=1 1 0 Xn ²x+k¡1 for r = 0; 1; 2;::: This suggested that ¡ (r)(¡m) be de- + ; fined by: x + k ¡ 1 Z k=1 1 and it follows that ¡ (r)(¡m) = N¡lim t¡m¡1 lnr te¡t dt Z 1 1 ¡ tx¡1 ²!0 ² N¡lim dt = Z 1 ²!0 ² 1 ¡ t = t¡m¡1 lnr te¡t dt + " # Z 1 x¡1+n n 1 1 ¡ t X 1 " # = lim dt ¡ + Z 1 m i X (¡t) ²!0 ² 1 ¡ t x + k ¡ 1 + t¡m¡1 lnr t e¡t ¡ dt + k=1 i! n x+k¡1 0 i=0 X ² + N¡lim = mX¡1 (¡1)i ²!0 x + k ¡ 1 + r!(m ¡ i)¡r¡1 ; k=1 i! i=0 = Ã(x) + γ °c 2013 NSP Natural Sciences Publishing Cor. Appl. Math. Inf. Sci. 7, No. 1, 167-170 (2013) / www.naturalspublishing.com/Journals.asp 169 on using equation (5). We have therefore shown that Definition 2The derivative of the digamma function Ã(x) Z is defined by 1 1 ¡ tx¡1 Ã(x) = ¡γ + N¡lim dt (6) Z 1 ²!0 1 ¡ t t¡n¡1 ln t ² Ã0(¡n) = N¡lim dt (9) for x 6= 0; ¡1; ¡2;:::: This suggest the following defini- ²!0 ² 1 ¡ t tion. for n = 0; 1; 2;:::; provided that the neutrix limit exists. Definition 1The digamma function Ã(x) is defined by Z Now we have the following theorem. 1 1 ¡ t¡n¡1 Ã(¡n) = ¡γ + N¡lim dt (7) Theorem 2.The derivative of the digamma function Ã(x) ²!0 ² 1 ¡ t have values for negative integers, and for n = 0; 1; 2;:::; provided that the neutrix limit exists. X1 1 Now we have the following theorem. Ã0(¡n) = : (10) (k ¡ n)2 Theorem 1.The digamma function Ã(x) have values for k=1 negative integers, and for n = 0; 1; 2;::: Xn 1 Ã(¡n) = ¡γ + : (8) Proof. Using the equation k Z Z k=1 1 t¡n¡1 ln t X1 1 ¡ dt = t¡n¡1+i ln t dt for n = 0; 1; 2;::: 1 ¡ t ² i=0 ² Proof. We will now prove the existence of Ã(0): We 1 · ¸ X ²¡n+i ln ² ²¡n+i ¡ 1 have Z Z = + ; 1 1 ¡ t¡1 1 dt ¡n + i (¡n + i)2 dt = ¡ = ¡ ln ² ; i=0 ² 1 ¡ t ² t and taking the neutrix limit we have that Z 1 ¡1 1 ¡ t Z and it follows that N¡lim dt = 0 :Ã(0) there- 1 t¡n¡1 ln t X1 1 ²!0 ² 1 ¡ t N¡lim dt = ; fore exists and Ã(0) = ¡γ : ²!0 1 ¡ t (k ¡ n)2 ² k=1 Next we have: Z 1 1 ¡ t¡n¡1 Xn 1 Xn 1 proving the theorem. dt = ¡ + ln ² ; 1 ¡ t k k²k ² k=1 k=1 Acknowledgement and Z 1 1 ¡ t¡n¡1 Xn 1 N¡lim dt = : The author is grateful to the anonymous referee for a care- ²!0 1 ¡ t k ² k=1 ful checking of the details and for helpful comments that Finally, we have that Ã(¡n) exists and Ã(¡n) = ¡γ + improved this paper.
Load more

Recommended publications
  • The Digamma Function and Explicit Permutations of the Alternating Harmonic Series
    The digamma function and explicit permutations of the alternating harmonic series. Maxim Gilula February 20, 2015 Abstract The main goal is to present a countable family of permutations of the natural numbers that provide explicit rearrangements of the alternating harmonic series and that we can easily define by some closed expression. The digamma function presents its ubiquity in mathematics once more by being the key tool in computing explicitly the simple rearrangements presented in this paper. The permutations are simple in the sense that composing one with itself will give the identity. We show that the count- able set of rearrangements presented are dense in the reals. Then, slight generalizations are presented. Finally, we reprove a result given originally by J.H. Smith in 1975 that for any conditionally convergent real series guarantees permutations of infinite cycle type give all rearrangements of the series [4]. This result provides a refinement of the well known theorem by Riemann (see e.g. Rudin [3] Theorem 3.54). 1 Introduction A permutation of order n of a conditionally convergent series is a bijection φ of the positive integers N with the property that φn = φ ◦ · · · ◦ φ is the identity on N and n is the least such. Given a conditionally convergent series, a nat- ural question to ask is whether for any real number L there is a permutation of order 2 (or n > 1) such that the rearrangement induced by the permutation equals L. This turns out to be an easy corollary of [4], and is reproved below with elementary methods. Other \simple"rearrangements have been considered elsewhere, such as in Stout [5] and the comprehensive references therein.
    [Show full text]
  • SARS-Cov-2 B.1.617.2 Delta Variant Emergence, Replication
    bioRxiv preprint doi: https://doi.org/10.1101/2021.05.08.443253; this version posted July 16, 2021. The copyright holder for this preprint (which was not certified by peer review) is the author/funder, who has granted bioRxiv a license to display the preprint in perpetuity. It is made available under aCC-BY 4.0 International license. 1 SARS-CoV-2 B.1.617.2 Delta variant emergence, replication and sensitivity to 2 neutralising antibodies 3 4 Petra Mlcochova1,2*, Steven Kemp1,2,6*, Mahesh Shanker Dhar3*, Guido Papa4, Bo Meng1,2, 5 Swapnil Mishra5, Charlie Whittaker5, Thomas Mellan5, Isabella Ferreira1,2, Rawlings Datir1,2, 6 Dami A. Collier,2,6, Anna Albecka4, Sujeet Singh3, Rajesh Pandey7, Jonathan Brown8, Jie 7 Zhou8, Niluka Goonawardne8, Robin Marwal3, Meena Datta3, Shantanu Sengupta7, 8 Kalaiarasan Ponnusamy3, Venkatraman Srinivasan Radhakrishnan3, Adam Abdullahi1,2, Oscar 9 Charles6, Partha Chattopadhyay7, Priti Devi7, Daniela Caputo9, Tom Peacock8, Dr Chand 10 Wattal10, Neeraj Goel10, Ambrish Satwik10, Raju Vaishya11, Meenakshi Agarwal12, The Indian 11 SARS-CoV-2 Genomics Consortium (INSACOG), The CITIID-NIHR BioResource COVID- 12 19 Collaboration, The Genotype to Phenotype Japan (G2P-Japan) Consortium, Antranik 13 Mavousian13, Joo Hyeon Lee13,14, Jessica Bassi15 , Chiara Silacci-Fegni15, Christian Saliba15, 14 Dora Pinto15 , Takashi Irie16, Isao Yoshida17, William L. Hamilton2, Kei Sato18,19, Leo James4, 15 Davide Corti15, Luca Piccoli15, Samir Bhatt4,20,, Seth Flaxman21, Wendy S. Barclay8, Partha 16 Rakshit3*, Anurag Agrawal7*, Ravindra K. Gupta1,2, 22* 17 18 1 Cambridge Institute of Therapeutic Immunology & Infectious Disease (CITIID), Cambridge, 19 UK. 20 2 Department of Medicine, University of Cambridge, Cambridge, UK.
    [Show full text]
  • The Riemann and Hurwitz Zeta Functions, Apery's Constant and New
    The Riemann and Hurwitz zeta functions, Apery’s constant and new rational series representations involving ζ(2k) Cezar Lupu1 1Department of Mathematics University of Pittsburgh Pittsburgh, PA, USA Algebra, Combinatorics and Geometry Graduate Student Research Seminar, February 2, 2017, Pittsburgh, PA A quick overview of the Riemann zeta function. The Riemann zeta function is defined by 1 X 1 ζ(s) = ; Re s > 1: ns n=1 Originally, Riemann zeta function was defined for real arguments. Also, Euler found another formula which relates the Riemann zeta function with prime numbrs, namely Y 1 ζ(s) = ; 1 p 1 − ps where p runs through all primes p = 2; 3; 5;:::. A quick overview of the Riemann zeta function. Moreover, Riemann proved that the following ζ(s) satisfies the following integral representation formula: 1 Z 1 us−1 ζ(s) = u du; Re s > 1; Γ(s) 0 e − 1 Z 1 where Γ(s) = ts−1e−t dt, Re s > 0 is the Euler gamma 0 function. Also, another important fact is that one can extend ζ(s) from Re s > 1 to Re s > 0. By an easy computation one has 1 X 1 (1 − 21−s )ζ(s) = (−1)n−1 ; ns n=1 and therefore we have A quick overview of the Riemann function. 1 1 X 1 ζ(s) = (−1)n−1 ; Re s > 0; s 6= 1: 1 − 21−s ns n=1 It is well-known that ζ is analytic and it has an analytic continuation at s = 1. At s = 1 it has a simple pole with residue 1.
    [Show full text]
  • COMPLETE MONOTONICITY for a NEW RATIO of FINITE MANY GAMMA FUNCTIONS Feng Qi
    COMPLETE MONOTONICITY FOR A NEW RATIO OF FINITE MANY GAMMA FUNCTIONS Feng Qi To cite this version: Feng Qi. COMPLETE MONOTONICITY FOR A NEW RATIO OF FINITE MANY GAMMA FUNCTIONS. 2020. hal-02511909 HAL Id: hal-02511909 https://hal.archives-ouvertes.fr/hal-02511909 Preprint submitted on 19 Mar 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. COMPLETE MONOTONICITY FOR A NEW RATIO OF FINITE MANY GAMMA FUNCTIONS FENG QI Dedicated to people facing and fighting COVID-19 Abstract. In the paper, by deriving an inequality involving the generating function of the Bernoulli numbers, the author introduces a new ratio of finite many gamma functions, finds complete monotonicity of the second logarithmic derivative of the ratio, and simply reviews complete monotonicity of several linear combinations of finite many digamma or trigamma functions. Contents 1. Preliminaries and motivations 1 2. A lemma 3 3. Complete monotonicity 4 4. A simple review 5 References 7 1. Preliminaries and motivations Let f(x) be an infinite differentiable function on (0; 1). If (−1)kf (k)(x) ≥ 0 for all k ≥ 0 and x 2 (0; 1), then we call f(x) a completely monotonic function on (0; 1).
    [Show full text]
  • United States Patent (19) 11 Patent Number: 4,890,321 Seth-Smith Et Al
    United States Patent (19) 11 Patent Number: 4,890,321 Seth-Smith et al. (45) Date of Patent: Dec. 26, 1989 (54) COMMUNICATIONS FORMAT FOR A 4,636,854 1/1987 Crowther et al. .................... 380/20 SUBSCRIPTION TELEVISION SYSTEM 4,694,491 9/1987 Horne et al. .......................... 380/20 PERMITTING TRANSMISSION OF 4,739,510 4/1988 Jeffers et al. .......................... 380/15 NDIVIDUAL TEXT MESSAGESTO 4,768,228 8/1988 Clupper et al. ....................... 380/20 SUBSCRIBERS OTHER PUBLICATIONS (75) Inventors: Nigel Seth-Smith; Cameron Bates; Lowry, "B-MAC: An Optimum Format for Satellite Samson Lim; William van Rassel; Television Transmission', SMPTE Journal, Nov., Robert Yoneda, all of Toronto; Keith 1984, pp. 1034–1043. Lucas, Richmond Hill, all of Canada The CCIR Study Group Report Document 10-11S/106-E of Sep. 23, 1983. (73) Assignee: Scientific Atlanta, Inc., Atlanta, Ga. Chouinard et al., "NTSC and MAC Television Signals 21 Appl. No.: 253,320 in Noise and Interference Environments', SMPTE 22 Filed: Sep. 30, 1988 Journal, Oct. 1984, pp. 930-949. Primary Examiner-Thomas H. Tarcza Related U.S. Application Data Assistant Examiner-Linda J. Wallace (63) Continuation of Ser. No. 883,310, Jul. 8, 1986, aban Attorney, Agent, or Firm-Banner, Birch, McKie & doned. Beckett (51) Int. Cl'....................... H04N 7/167; H04N 7/10; 57 ABSTRACT H04N 7/04 A subscription television system in which individual (52) U.S. C. ........................................ 380/20; 358/86; decoders are enabled to receive individually addressed 358/145; 358/147; 380/21; 455/4; 455/6 messages is disclosed. The composite signal, including (58 Field of Search ...................
    [Show full text]
  • Some Notes on Limits
    Some notes on limits Shivaram Lingamneni Fall 2011 1 The standard definition The formal (\delta-epsilon") definition of a limit is as follows: Definition 1 We say that lim f(x) = L x!c if and only if for all > 0, there exists δ > 0 such that 0 < jx−cj < δ implies jf(x) − Lj < . The good thing about this definition is that it defines the limit in terms of the ordinary ideas of subtracting numbers and comparing them with <. It gets rid of the vague and imprecise idea of \approaching" or \getting close to" a value. The problem with this definition is that it is very confusing. To a large extent, it's confusing because it has many of what mathematicians call \quantifiers”; there is a \for all" and a \there exists" in it, and the second quantity (δ) depends on the first (). It's not necessarily easy to wrap your head around the relationship between and δ, and how they relate to the behavior of the function f. In fact, it gets a little worse before it gets better. The above definition has an implicit \for all" that we can make explicit: Definition 2 We say that lim f(x) = L x!c if and only if for all > 0, there exists δ > 0 such that for all x 6= c in (c − δ; c + δ), jf(x) − Lj < . 1 To get a clearer picture of what this is actually saying, let's negate the definition | let's write out explicitly what it means for L not to be the limit of f(x) at c.
    [Show full text]
  • Euler-Maclaurin and Euler-Boole Formulas
    Appendix A Euler-MacLaurin and Euler-Boole Formulas A.1 A Taylor Formula The classical Taylor formula Z Xm xk x .x t/m f .x/ D @kf .0/ C @mC1f .t/dt kŠ 0 mŠ kD0 xk can be generalized if we replace the polynomial kŠ by other polynomials (Viskov 1988; Bourbaki 1959). Definition If is a linear form on C0.R/ such that .1/ D 1,wedefinethe polynomials .Pn/ by: P0 D 1 @Pn D Pn1 , .Pn/ D 0 for n 1 P . / k The Generating Function k0 Pk x z We have formally X X X k k k @x. Pk.x/z / D Pk1.x/z D z. Pk.x/z / k0 k1 k0 © Springer International Publishing AG 2017 175 B. Candelpergher, Ramanujan Summation of Divergent Series, Lecture Notes in Mathematics 2185, DOI 10.1007/978-3-319-63630-6 176 A Euler-MacLaurin and Euler-Boole Formulas thus X k xz Pk.x/z D C.z/e k0 To evaluate C.z/ we use the notation x for and by definition of .Pn/ we can write X X k k x. Pk.x/z / D x.Pk.x//z D 1 k0 k0 X k xz xz x. Pk.x/z / D x.C.z/e / D C.z/x.e / k0 1 this gives C.z/ D xz . Thus the generating function of the sequence .Pn/ is x.e / X n xz Pn.x/z D e =M.z/ n xz where the function M is defined by M.z/ D x.e /: Examples P xn n xz .
    [Show full text]
  • BLUE PRINT Delta Epsilon Psi Fraternity, Inc. Upsilon Colony
    BLUE PRINT Delta Epsilon Psi Fraternity, Inc. Upsilon Colony DISCLAIMER: BLUE PRINT is property of Delta Epsilon Psi, Upsilon Colony. Unless otherwise stated, the contents of this document including, but not limited to, the text, thoughts, ideas, descriptions, and images contained herein and their arrangements are the property of Delta Epsilon Psi, Upsilon Colony. Any unauthorized use or distribution of this document without the written consent of Delta Epsilon Psi Fraternity, Inc. is strictly prohibited. Any person who violates these terms or conditions is susceptible to legal liability. Amendments, Revisions or Modifications to this document can only be made by the National Council of Delta Epsilon Psi Fraternity, Inc. PREAMBLE MISSION STATEMENT: We the brothers of Delta Epsilon Psi, vow to be a fraternity, whose primary purpose is to instill brotherhood, discipline, and commitment, within its members through various social and service driven endeavors. HISTORY: The establishment of Delta Epsilon Psi was the inspired result of similar thought and ideas between young South Asian men at the University of Texas at Austin who, though from different backgrounds, had an identical vision of the ideal South Asian fraternity. Starting from scratch, with no template or working model to guide them, the Founding Fathers embarked on a journey they hoped would unite and strengthen their community. ARTICLE I. NAME NAME: Delta Epsilon Psi, Upsilon Colony ARTICLE II. PURPOSE SECTION 1. Upsilon Colony of Delta Epsilon Psi has designed and adopted “BLUE PRINT” to serve as the operating procedures of the fraternity. It is intended to list responsibilities, rules, and regulations that concern the daily activity of Delta Epsilon Psi, Upsilon Colony.
    [Show full text]
  • The Mathspec Package Font Selection for Mathematics with Xǝlatex Version 0.2B
    The mathspec package Font selection for mathematics with XƎLaTEX version 0.2b Andrew Gilbert Moschou* [email protected] thursday, 22 december 2016 table of contents 1 preamble 1 4.5 Shorthands ......... 6 4.6 A further example ..... 7 2 introduction 2 5 greek symbols 7 3 implementation 2 6 glyph bounds 9 4 setting fonts 3 7 compatability 11 4.1 Letters and Digits ..... 3 4.2 Symbols ........... 4 8 the package 12 4.3 Examples .......... 4 4.4 Declaring alphabets .... 5 9 license 33 1 preamble This document describes the mathspec package, a package that provides an interface to select ordinary text fonts for typesetting mathematics with XƎLaTEX. It relies on fontspec to work and familiarity with fontspec is advised. I thank Will Robertson for his useful advice and suggestions! The package is developmental and later versions might to be incompatible with this version. This version is incompatible with earlier versions. The package requires at least version 0.9995 of XƎTEX. *v0.2b update by Will Robertson ([email protected]). 1 Should you be using this package? If you are using another LaTEX package for some mathematics font, then you should not (unless you know what you are doing). If you want to use Asana Math or Cambria Math (or the final release version of the stix fonts) then you should be using unicode-math. Some paragraphs in this document are marked advanced. Such paragraphs may be safely ignored by basic users. 2 introduction Since Jonathan Kew released XƎTEX, an extension to TEX that permits the inclusion of system wide Unicode fonts and modern font technologies in TEX documents, users have been able to easily typeset documents using readily available fonts such as Hoefler Text and Times New Roman (This document is typeset using Sabon lt Std).
    [Show full text]
  • On Some Series Representations of the Hurwitz Zeta Function Mark W
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Computational and Applied Mathematics 216 (2008) 297–305 www.elsevier.com/locate/cam On some series representations of the Hurwitz zeta function Mark W. Coffey Department of Physics, Colorado School of Mines, Golden, CO 80401, USA Received 21 November 2006; received in revised form 3 May 2007 Abstract A variety of infinite series representations for the Hurwitz zeta function are obtained. Particular cases recover known results, while others are new. Specialization of the series representations apply to the Riemann zeta function, leading to additional results. The method is briefly extended to the Lerch zeta function. Most of the series representations exhibit fast convergence, making them attractive for the computation of special functions and fundamental constants. © 2007 Elsevier B.V. All rights reserved. MSC: 11M06; 11M35; 33B15 Keywords: Hurwitz zeta function; Riemann zeta function; Polygamma function; Lerch zeta function; Series representation; Integral representation; Generalized harmonic numbers 1. Introduction (s, a)= ∞ (n+a)−s s> a> The Hurwitz zeta function, defined by n=0 for Re 1 and Re 0, extends to a meromorphic function in the entire complex s-plane. This analytic continuation to C has a simple pole of residue one. This is reflected in the Laurent expansion ∞ n 1 (−1) n (s, a) = + n(a)(s − 1) , (1) s − 1 n! n=0 (a) (a)=−(a) =/ wherein k are designated the Stieltjes constants [3,4,9,13,18,20] and 0 , where is the digamma a a= 1 function.
    [Show full text]
  • A New Entire Factorial Function
    A new entire factorial function Matthew D. Klimek Laboratory for Elementary Particle Physics, Cornell University, Ithaca, NY, 14853, USA Department of Physics, Korea University, Seoul 02841, Republic of Korea Abstract We introduce a new factorial function which agrees with the usual Euler gamma function at both the positive integers and at all half-integers, but which is also entire. We describe the basic features of this function. The canonical extension of the factorial to the complex plane is given by Euler's gamma function Γ(z). It is the only such extension that satisfies the recurrence relation zΓ(z) = Γ(z + 1) and is logarithmically convex for all positive real z [1, 2]. (For an alternative function theoretic characterization of Γ(z), see [3].) As a consequence of the recurrence relation, Γ(z) is a meromorphic function when continued onto − the complex plane. It has poles at all non-positive integer values of z 2 Z0 . However, dropping the two conditions above, there are infinitely many other extensions of the factorial that could be constructed. Perhaps the second best known factorial function after Euler's is that of Hadamard [4] which can be expressed as sin πz z z + 1 H(z) = Γ(z) 1 + − ≡ Γ(z)[1 + Q(z)] (1) 2π 2 2 where (z) is the digamma function d Γ0(z) (z) = log Γ(z) = : (2) dz Γ(z) The second term in brackets is given the name Q(z) for later convenience. We see that the Hadamard gamma is a certain multiplicative modification to the Euler gamma.
    [Show full text]
  • The Greek Alphabet Sight and Sounds of the Greek Letters (Module B) the Letters and Pronunciation of the Greek Alphabet 2 Phonology (Part 2)
    The Greek Alphabet Sight and Sounds of the Greek Letters (Module B) The Letters and Pronunciation of the Greek Alphabet 2 Phonology (Part 2) Lesson Two Overview 2.0 Introduction, 2-1 2.1 Ten Similar Letters, 2-2 2.2 Six Deceptive Greek Letters, 2-4 2.3 Nine Different Greek Letters, 2-8 2.4 History of the Greek Alphabet, 2-13 Study Guide, 2-20 2.0 Introduction Lesson One introduced the twenty-four letters of the Greek alphabet. Lesson Two continues to present the building blocks for learning Greek phonics by merging vowels and consonants into syllables. Furthermore, this lesson underscores the similarities and dissimilarities between the Greek and English alphabetical letters and their phonemes. Almost without exception, introductory Greek grammars launch into grammar and vocabulary without first firmly grounding a student in the Greek phonemic system. This approach is appropriate if a teacher is present. However, it is little help for those who are “going at it alone,” or a small group who are learning NTGreek without the aid of a teacher’s pronunciation. This grammar’s introductory lessons go to great lengths to present a full-orbed pronunciation of the Erasmian Greek phonemic system. Those who are new to the Greek language without an instructor’s guidance will welcome this help, and it will prepare them to read Greek and not simply to translate it into their language. The phonic sounds of the Greek language are required to be carefully learned. A saturation of these sounds may be accomplished by using the accompanying MP3 audio files.
    [Show full text]