Professional Documents
Culture Documents
Introduction To Hypergeometric Supertrigonometric and Superhyperbolic Functions Xiao Jun Yang Full Chapter PDF
Introduction To Hypergeometric Supertrigonometric and Superhyperbolic Functions Xiao Jun Yang Full Chapter PDF
Supertrigonometric, And
Superhyperbolic Functions Xiao-Jun
Yang
Visit to download the full and correct content document:
https://ebookmass.com/product/introduction-to-hypergeometric-supertrigonometric-an
d-superhyperbolic-functions-xiao-jun-yang/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...
https://ebookmass.com/product/introduction-to-algorithms-for-
data-mining-and-machine-learning-yang/
https://ebookmass.com/product/introduction-to-algorithms-for-
data-mining-and-machine-learning-xin-she-yang/
https://ebookmass.com/product/executive-functions-and-writing-
teresa-limpo/
https://ebookmass.com/product/artificial-intelligence-
programming-with-python-from-zero-to-hero-1st-edition-perry-xiao/
Functions and Change: A Modeling Approach to College
Algebra 6th Edition Bruce Crauder
https://ebookmass.com/product/functions-and-change-a-modeling-
approach-to-college-algebra-6th-edition-bruce-crauder/
https://ebookmass.com/product/the-ultimate-guide-to-functions-in-
power-query-omid-motamedisedeh/
https://ebookmass.com/product/punk-culture-in-contemporary-china-
jian-xiao/
https://ebookmass.com/product/a-roadmap-to-nonhematopoietic-stem-
cell-based-therapeutics-from-the-bench-to-the-clinic-xiao-dong-
chen/
https://ebookmass.com/product/special-functions-of-fractional-
calculus-applications-to-diffusion-and-random-search-processes-
trifce-sandev/
An Introduction to
Hypergeometric,
Supertrigonometric, and
Superhyperbolic Functions
An Introduction to
Hypergeometric,
Supertrigonometric, and
Superhyperbolic Functions
Xiao-Jun Yang
State Key Laboratory for Geomechanics and Deep Underground Engineering
School of Mathematics
China University of Mining and Technology
Xuzhou, Jiangsu, China
Academic Press is an imprint of Elsevier
125 London Wall, London EC2Y 5AS, United Kingdom
525 B Street, Suite 1650, San Diego, CA 92101, United States
50 Hampshire Street, 5th Floor, Cambridge, MA 02139, United States
The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, United Kingdom
Copyright © 2021 Elsevier Inc. All rights reserved.
No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical,
including photocopying, recording, or any information storage and retrieval system, without permission in writing from the
publisher. Details on how to seek permission, further information about the Publisher’s permissions policies and our
arrangements with organizations such as the Copyright Clearance Center and the Copyright Licensing Agency, can be
found at our website: www.elsevier.com/permissions.
This book and the individual contributions contained in it are protected under copyright by the Publisher (other than as may
be noted herein).
Notices
Knowledge and best practice in this field are constantly changing. As new research and experience broaden our
understanding, changes in research methods, professional practices, or medical treatment may become necessary.
Practitioners and researchers must always rely on their own experience and knowledge in evaluating and using any
information, methods, compounds, or experiments described herein. In using such information or methods they should be
mindful of their own safety and the safety of others, including parties for whom they have a professional responsibility.
To the fullest extent of the law, neither the Publisher nor the authors, contributors, or editors, assume any liability for any
injury and/or damage to persons or property as a matter of products liability, negligence or otherwise, or from any use or
operation of any methods, products, instructions, or ideas contained in the material herein.
ISBN: 978-0-12-824154-7
Biography xi
Preface xiii
References 471
Index 481
Biography
xi
Preface
The theory of the special functions plays an important role in the study of the mathe-
matical models of the real-world phenomena with use of the functions in the fields of
mathematics, physics, chemistry, engineering, and other applied sciences. The main aim
of the monograph is not only to explain the role of the hypergeometric series in modern
pure and applied mathematics but also to give the audience an idea for the structure of
the new special functions. It is designed for professional mathematicians, physicists, engi-
neers, chemists, and graduate students in those and closely allied fields who have had no
previous knowledge of the theory of the hypergeometric, supertrigonometric, and super-
hyperbolic functions.
Due to the above-mentioned topics of the special functions containing the Clausen
hypergeometric series, Gauss hypergeometric series, Kummer confluent hypergeometric
series, Jacobi polynomials, Laguerre polynomials, and Legendre polynomials, we demon-
strate a great many of the identities for the special functions and take a systematic account
of the supertrigonometric and superhyperbolic functions from the viewpoint of the Euler’s
tasks.
Professor Dr. Xiao-Jun Yang would like to express grateful thanks to Professor George
E. Andrews, Professor H.M. Srivastava, Professor Bo-Ming Yu, Professor Wolfgang Sprößig,
Professor Souza De Cursi Eduardo, Professor Nouzha El Yacoubi, Professor Mourad Ismail,
Professor Tom H. Koornwinder, Professor Michel L. Lapidus, Professor Simeon Oka, Pro-
fessor Roland W. Lewis, Professor Manuel Lopez Pellicer, Professor Michael Reissig, Profes-
sor George A. Anastassiou, Professor Yalchin Efendiev, Professor Alain Miranville, Professor
Mahmoud Abdel-Aty, Professor Stefano Galatolo, Professor Dumitru Mihalache, Professor
Martin Bohner, Professor Thiab Taha, Professor Chin-Hong Park, Professor Sung Yell Song,
Professor Qin Sheng, Professor Salvatore Capozziello, Professor André Keller, Professor
Martin Ostoja-Starzewski, Professor Minvydas Ragulskis, Professor J.A. Tenreiro Machado,
Professor Mauro Bologna, Professor Carlo Cattani, Professor Semyon Yakubovich, Asso-
ciate Professor Jian-Hua Li, Ms. Karin Uhlemann, Professor Ayman S. Abdel-Khalik, Pro-
fessor Mircea Merca, Professor Irene Maria Sabadini, Professor Mario Di Paola, Professor
Mokhtar Kirane, Professor Giuseppe Failla, Professor Reza Saadati, Professor Amar Deb-
bouche, Professor Yusif Gasimov, and Professor Ivanka Stamova.
By way of acknowledgment, we are grateful to Professor Zhi-Ming Ye, Professor Wei-
Yi Su, Professor Zhi-Ying Wen, Professor Jin-De Cao, Professor Mao-An Han, Professor
Wei Lin, Professor Yi Wang, Professor Long Jiang, Professor Hui-Lai Li, Professor San-
Yang Liu, Professor Wen-Xia Li, Professor Sheng-Bo Li, Professor Qi-Gui Yang, Professor
Qing Qian, Professor Heng-Shan Hu, Professor Xi-Lin Xie, Professor Yi Cheng, Professor
Jian-Jun Zhang, Professor Mei-Qian Chen, Professor Fang Li, Professor Zhi-Liang Zhu, Pro-
fessor Shu-Kai Duan, Professor Yong-Gui Kao, Professor Jing-Yue Xue, Professor Zhen Jin,
Professor Yu-Feng Zhang, Professor Ai-Ming Yang, Professor Zhao-Jun Ou-Yang, Professor
Preface xv
Jun-Guo Lu, Professor Yuan Cao, Professor Wei-Qiu Chen, Professor Hui-Ming Wang, Pro-
fessor Guo-Tao Wang, Professor Wei Jiang, Professor Fa-Zhan Geng, Professor Bao-Li Xie,
Professor Wen-Bin Liu, Professor Deng-Yin Wang, Professor Xin-An Ren, Professor Lian-
Ying Miao, Professor Xiang-Juan Yao, Professor Gang Wu, Professor Hu Shao, Professor
Sheng-Jun Fan, Professor Hui-Xing Zhang, Professor Bo Wu, Professor Xing-Jie Yan, and
Professor Jian-Hua Yang.
My special thanks go to Professor He-Ping Xie, Professor Feng Gao, Professor Cheng-Bin
Wu, Professor Guo-Qing Zhou, Professor Fu-Bao Zhou, Professor Hong-Wen Jing, Profes-
sor Yang Ju, Professor Hong-Wei Zhou, Professor Tian-Jian Zhou, Professor Wei Lai, Profes-
sor Dong Ding, Professor Ming-Zhong Gao, Professor Xian-Biao Mao, Professor Zhan-Qing
Chen, Professor Hai-Bo Bai, Professor Zhan-Guo Ma, Professor Hai Pu, Dr. Pei-Tao Qiu,
my PhD students Jian-Gen Liu and Yi-Ying Feng, and the financial support of the Yue-
Qi Scholar of the China University of Mining and Technology (Grant No. 102504180004).
Finally, I also wish to express my special thanks to Elsevier staff, especially to C. Kat-
saropoulos, M. Conner, A. Packowska and A. Sivaraj for their cooperation in the production
process of this book.
Xiao-Jun Yang
State Key Laboratory for Geomechanics and Deep Underground Engineering,
School of Mathematics,
China University of Mining and Technology,
Xuzhou, Jiangsu, China
May 27, 2020
1
Euler gamma function,
Pochhammer symbols and Euler
beta function
The formula (called the Euler integral of first kind) was discovered by Euler in 1729 (see
[1], p. 1, [2]), and the notation (z) was introduced by Legendre in 1814 (see [3], p. 476).
The formula for the Weierstrass product was discovered by Weierstrass in 1856 [4] and
by Newman in 1848 [6], and the proofs were published by Hölder (1886) [7], Moore (1896)
[8], and Baines (1900) [9].
(z + 1) = z (z) (1.3)
Euler’s functional equation was discovered by Euler in 1729 [2] and reported by Weier-
strass (1856) [4], Brunel (1886) [10], Gronwall (1916) [11], and Olver (1997) [12].
(z + 1) = z! for z ∈ N0 . (1.4)
Euler’s functional equation was discovered by Euler in 1729 [1,2] and discussed by
Weierstrass (1856) [4], Brunel (1886) [10], and Gronwall (1916) [11].
This equality was discovered by Euler in 1729 [1] and discussed by Bell (1968) [13], Luke
(1969) [14], and Bendersky (1933) [15].
n
1−j n−1 1
= (2π) 2 n2 for n, j ∈ N. (1.6)
n
j =1
where z ∈ C and k, j, k, m, n ∈ N.
The Winckler theorem was discovered by Winckler in 1856 [16] and reviewed by Gron-
wall in 1916 [11].
Chapter 1 • Euler gamma function, Pochhammer symbols and Euler beta function 3
The result was discovered by Schlömilch in 1844 [17] and by Newman in 1848 [6].
The Whittaker theorem was first reported by Whittaker in 1902 (see [18], p. 184) and
further reported by Whittaker and Watson in 1920 [19].
The result was first obtained by Whittaker in 1902 (see [18], p. 191) and further reported
by Whittaker and Watson in 1920 [19].
provided that Re (α) > −1, Re (β) > −1, and Re (α + β) > −1.
and
∞
z2
sin (πz) = πz 1− 2 , (1.15)
k
k=1
Legendre’s duplication formula was first discovered by Legendre in 1809 (see [3], p. 477).
For more detail on the Legendre duplication formula, we refer the readers to Gronwall
(1916) [11], Andrews et al. (1999) [25], and Manocha and Srivastava (1984) [22].
m
1−m 1 j −1
(mz) = (2π) 2 mmz− 2 z+ (1.17)
m
j =1
j
for z ∈ C\ 0, − m with j < m and j, m ∈ N.
Gauss’ multiplication formula is due to Guass (1812) [26]. For more detail on Gauss’
multiplication formula, we refer the readers refer to Winckler (1856) [16], Gronwall (1916)
[11], Manocha and Srivastava (1984) [22], and Andrews et al. (1999) [25].
for z ∈ C/Z−
0.
The result was discovered by Weierstrass (1856) [4] and reported by Bell in 1968 [13] and
by Luke in 1969 [14].
Chapter 1 • Euler gamma function, Pochhammer symbols and Euler beta function 5
and
π 2π
(iz) (−iz) = = (1.21)
−iz sin (πzi) z e − e−πz
πz
as |z| → ∞.
The results were reported by different researchers, for example, Lerch (1893) [27], Gode-
froy (1901) [28], Stieltjes (1889) [29], Bateman (1955) [30], and Andrews et al. (1999) [25].
n−1
j j (2π )n−1
1− = , (1.22)
n n n
j =1
1
n √π
n 2
−n + = (−1) , (1.23)
2 (2n − 1)!
√
1 (2n − 1)! π
n+ = , (1.24)
2 2n
πz
n−1
z2
(n + z) (n − z) = ((n − 1)!) 2
1 − , (1.25)
sin (πz) j
j =1
and
2
n + 1
n
1 1 2 4z2
n+ +z n+ −z = 1− (1.26)
2 2 cos (πz)
j =1
(2j − 1)2
The results were reported by Weierstrass in (1856) [4] and Wang et al. (1979) (see [31],
pp. 588–589).
and
a
+ (a, z) = e−t t z−1 dt (|arg (a)| < π) (1.28)
0
with
for z ∈ Z−
0.
The result was discovered by Pearson [38] and reported by Slater (1966) [39], Wang et al.
(1979) [31], and Manocha and Srivastava (1984) [22].
Theorem 1.20. Let h(1) (t) > 0, h (0) = 0, h (∞) = ∞, and x ∈ C with Re (x) > 0.
Then we have
1
(x) = e−h(t) (h (t))x−1 h(1) (t) dt. (1.31)
0
The result was discovered by Yang, Gao, and Ju [40] in 2020 for x ∈ N.
For more detail of the incomplete gamma function, see Pearson (1957) [38], Haskins
(1915) [41], and Pagurova (1963) [42].
(α)k
k
= (α + n − 1)
n=1
(α + k) (1.33)
=
(α)
1 (k = 0) ,
=
α (α + 1) · · · (α + k − 1) (k ∈ N0 ) ,
and
(α)0 = 1, (1.34)
where α ∈ C and k, n ∈ N.
The Pochhammer symbol was first suggested and used by Pochhammer in 1870 [43].
Weierstrass [4] noticed in 1856 that
(α + k) = α (α + 1) · · · (α + k − 1) (α) (k ∈ N0 ) . (1.35)
for z ∈ C\Z−
0.
The result was discovered by Euler in 1729 [2], reported by Weierstrass in 1856 [4], and
discussed by Gronwall in 1916 [11].
8 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
and
(α)m
(α + k)m−k = (1.40)
(α)k
for α ∈ C\Z−
0 and n, k ∈ N.
The first formula was reported by Rainville in 1960 (see [45], p. 59), and the second
formula was suggested by Slater in 1966 (see [39], p. 31).
and
(−1)k n!
(0 ≤ k ≤ n)
(−n)k = (n−k)! (1.53)
0 (k > n)
for j, k, m, n ∈ N0 , k ≤ n, and α, β ∈ C\Z.
For more detail, see [4,11,13,14,22,39].
Theorem 1.25 (Stirling theorem). [Stirling (1730)]
1
z−α
∞
(α)k
=
(z)k+1
k=0
∞ (1.54)
(z) (α + k)
=
(α) (z + k + 1)
k=0
1 α α (α + 1)
= + + + ··· ,
z z (z + 1) z (z + 1) (z + 2)
for α, z ∈ C\Z−
0 with Re (α) > 0, Re (z) > 0, and Re (α − z) > 0.
The result was discovered by Stirling in 1730 [46] and reviewed by Gronwall in 1916 [11].
for α, β ∈ C\Z−
0 with Re (α) > 0 and Re (β) > 0.
10 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
The formula (called the Euler integral of the second kind) was first discovered by Euler
in 1772 [47] and by Legendre in 1811 (see [48], p. 221); the name of the beta function was
introduced by Binet in 1839 [49]. For more detail, see the monograph [44].
for α ∈ C\Z−
0 and n ∈ N.
The results were reported by Whittaker and Watson (see [19], p. 254).
The result was discovered by Euler in 1772 [47] and further reported by Whittaker and
Watson (see [19], p. 261).
The results were discovered by Whittaker and Watson (see [19], p. 254).
where ℵ is the loop contour starting at 0i + ∞, encircling the origin, and tending to 0i − ∞.
The result was discovered by Hankel in 1864 [53].
Definition 1.6 (The logarithmic derivative of the gamma function).
The logarithmic derivative of the gamma function is defined as [11]
The result was discovered by Yang, Gao, and Ju in 2020 for x ∈ R+ and y ∈ R+ [40].
12 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
Theorem 1.33. Let x, y ∈ C with Re (x) > 0 and Re (y) > 0. Then we have
∞
e−e et 1 − et
t y−1
B (x, y) = dt, (1.71)
−1
For more information of the Euler gamma function, Pochhammer symbols, and Euler
beta function, we refer the reader to Gronwall (1916) [11], Bell (1968) [13], Luke (1969) [14],
Whittaker and Watson [19], Manocha and Srivastava (1984) [22], Wang et al. (1979) [31],
Slater [39], Rainville [45], and Andrews et al. (1999) [25].
2
Hypergeometric,
supertrigonometric, and
superhyperbolic functions via
Clausen hypergeometric series
p Fq((a) , (c) ; z)
= p Fq a 1 , · · · , ap ; c1 , · · · , cq ; z
a , · · · , ap
= p Fq 1 ;z (2.1)
c1 , · · · , cq
∞
(a1 )n · · · ap zn
= n ,
n=0
(c1 )n · · · cq n n!
where an , cn , z ∈ C and n, p, q ∈ N0 .
This extended version of the Gauss hypergeometric series was introduced by Clausen
in 1828 [55]. The results were developed by Dutka (1984) [59], Bailey (1935) [60], Karlsson
An Introduction to Hypergeometric, Supertrigonometric, and Superhyperbolic Functions 13
https://doi.org/10.1016/B978-0-12-824154-7.00008-8
Copyright © 2021 Elsevier Inc. All rights reserved.
14 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
(1995) [61], Opps et al. (2005) [62], Miller and Paris (2012) [63], Aomoto et al. (2011) [64], Roy
(1987) [65], Nilsson (2009) [66], Wilson (1978) [67], Fine (1988) [68], Gasper et al. (2004) [69],
Andrews (1974) [70], and Natanzon (1979) [71]. The formula was systematically studied by
Thomae (1870) [72] and Appell and De Fériet (1926) [73].
Theorem 2.1 (Convergence). [60]
The cases of convergence of the Clausen hypergeometric series (2.1) for an ∈ C\Z−
0:
where
(Q (q, μ, cn ) ϕ) (z)
q
d d
= z z ϕ (z) + (cn − 1) ϕ (z)
dz dz (2.3)
n=1
d
q
d
=z z + (cn − 1) ϕ (z)
dz dz
n=1
and
(P (p, μ, an ) ϕ) (z)
p
dϕ (z)
=z z + an ϕ (z)
dz (2.4)
n=1
p
d
=z z + an ϕ (z).
dz
n=1
The result was reported by some researchers, for example, Srivastava and Kashyap
(1982) [51], Rainville (1960) [45], Andrews et al. (1999) [25], Luke (1969) [14], Nørlund (1955)
[74], Smith [75,76], Mehlenbacher (1938) [77], Littlejohn and Kanwal (1987) [78], Dwork
(1984) [79], Zarzo and Dehesa (1994) [80], Takemura (2012) [81], and Plastino and Rocca
(2015) [82].
Chapter 2 • Hypergeometric, supertrigonometric, and superhyperbolic functions 15
As extensions of the results of the Clausen hypergeometric series, we easily show the
following results.
q p
Property 2.1. If an , cn , z ∈ C, n, p, q ∈ N0 , Re k=1 ck − k=1 ak > 0, and |z| < 1, then the
Clausen hypergeometric series of the form
where
(Q (q, μ, cn ) ϕ) (z)
q
d dϕ (z)
=z z + (cn − 1) ϕ (z)
dz dz (2.7)
n=1
q
d d
=z z + (cn − 1) ϕ (z)
dz dz
n=1
and
(P (p, μ, an , λ) ϕ) (z)
p
dϕ (z)
= λz z + an ϕ (z)
dz (2.8)
n=1
p
d
= λz z + an ϕ (z) .
dz
n=1
q p
Property 2.2. If an , cn , μ, λ, z ∈ C, n, p, q ∈ N0 , Re k=1 ck − k=1 ak > 0, and |z| < 1, then
the Clausen hypergeometric series of the form
μp Fq ((a) , (c) ; λz)
= μp Fq a1 , · · · , ap ; c1 , · · · , cq ; λz
a , · · · , ap
= μ p Fq 1 ; λz (2.9)
c1 , · · · , cq
∞
(a1 )n · · · ap (λz)n
=μ n
(c1 )n · · · cq n n!
n=0
16 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
where
(Q (q, μ, λ, cn ) ϕ) (z)
q
d dϕ (z)
= μq z z + (cn − 1) ϕ (z)
dz dz (2.11)
n=1
q
d d
= μq z z + (cn − 1) ϕ (z)
dz dz
n=1
and
(P (p, μ, λ, an ) ϕ) (z)
p
dϕ (z)
= μ λz
p
z + an ϕ (z)
dz (2.12)
n=1
p
d
= μp λz z + an ϕ (z) .
dz
n=1
and
1 d
p Fq a1 , · · · , ap ; c1 , · · · , cq ; λz
λ dz
p
(2.14)
an
= n=1q p Fq (a1 + 1) , · · · , ap + 1 ; (c1 + 1) , · · · , cq + 1 ; λz ,
n=1 cn
q p
where an , cn , λ, z ∈ C, n, p, q ∈ N0 , Re k=1 ck − k=1 ak > 0, and |z| < 1.
The result was discussed by, for example, Srivastava and Kashyap (1982) [51], Rainville
(1960) [45], Andrews et al. (1999) [25] and, Luke (1969) [14].
Without proof, we present extended results for the derivatives of the Clausen hyperge-
ometric series.
Chapter 2 • Hypergeometric, supertrigonometric, and superhyperbolic functions 17
and
dn δ
n
z p Fq a 1 , · · · , ap ; c1 , · · · , cq ; z
dz
(2.16)
= (δ + 1 − n)n zδ−n
× p+1 Fq+1 δ + 1, (a1 + 1) , · · · , ap + 1 ; δ + 1 − n, (c1 + 1) , · · · , cq + 1 ; z ,
q p
where an , cn , λ, z, δ ∈ C, n, p, q ∈ N0 , Re k=1 ck − k=1 ak > 0, and |z| < 1.
The result was also discussed by, for example, Srivastava and Kashyap (1982) [51],
Rainville (1960) [45], and Andrews et al. (1999) [25].
Recalling that δ + 1 − n is a negative integer or zero, we have:
dn δ
z p Fq a 1 , · · · , ap ; c1 , · · · , cq ; z
dzn
ap n! (2.17)
= n−δ
aq n−δ (n − δ)!
× p+1 Fq+1 ((a1 + n − δ) , · · · , n + 1; n − δ + 1, (c1 + n − δ) , · · · ; z),
dn
n
zδ+n−1 p+1 Fq δ, a1 , · · · , ap ; c1 , · · · , cq ; z
dz (2.18)
= (δ)n zδ−1 × p+1 Fq (a1 + n) , · · · , ap + n , n + 1; c1 , · · · , cq ; z ,
dn
n
zδ−1 p Fq+1 a1 , · · · , ap ; δ, c1 , · · · , cq ; z
dz (2.19)
= (δ − n)n zδ−n−1 × p Fq+1 a1 , · · · , ap ; δ − n, (c1 + n) , · · · , cq + n ; z ,
dn
zδ (1 − z)a+b−c 2 F1 (a, b; c; z)
dzn (2.20)
= (δ − n + 1)n zδ−n × 3 F2 (c − a, c − b, δ + 1, c, δ − n + 1; z),
dn
zn+c−1 (1 − z)n+a+b−c 2 F1 (a + n, b + n; c + n; z)
dzn (2.21)
= (c)n zc−1 (1 − z)a+b−c 2 F1 (a, b; c; z),
dn
zc−a+n−1 (1 − z)a+b−c 2 F1 (a, b; c; z)
dzn (2.22)
= (c − a)n zc−a−1 (1 − z)a+b−c−n × 2 F1 (a − n, b; c; z),
18 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
dn
zc−1 (1 − z)a+b−c 2 F1 (a, b; c; z)
dzn (2.23)
= (c − n)n zc−n−1 (1 − z)a+b−c−n × 2 F1 (a − n, b − n; c − n; z),
dn
(1 − z)a+b−c 2 F1 (a, b; c; z)
dzn
(2.24)
(c − n)n (c − b)n
= (1 − z)a+b−c−n × 2 F1 (a, b; c + n; z),
(c)n
dn
za (1 − z)b
dzn
(2.25)
= (a − n + 1)n za−n (1 − z)b−n
× 2 F1 (−n, a + b + 1; a + 1 − n; z) (a < n) ,
dn
za (1 − z)b
dzn
n! (−b)n−a (2.26)
= (1 − z)b−n
(n − a)!
× 2 F1 (−a, b + 1; n − a + 1; z) (a < n) ,
dn
zc−1 (1 − z)b−c+n 2 F1 (a, b; c; z)
dzn
(2.27)
= (c − n)n zc−1−n (1 − z)b−c
× 2 F1 (a − n, b; c − n; z),
and
dn
(1 − z)a+n−1 2 F1 (a, b; c; z)
dzn
(−1)n (a)n (c − b)n (2.28)
= (1 − z)a−1
(c)n
× 2 F1 (a − n, b; c + n; z) ,
q p
where a1 , · · · , ap ; c1 , · · · , cq , δ, a, b, c ∈ C, Re k=1 ck − k=1 ak > 0, and n ∈ N0 .
Returning now to the details of the derivatives of the Clausen hypergeometric series,
see Srivastava and Kashyap (1982) [51], Rainville (1960) [45], and Andrews et al. (1999) [25],
Luke (1969) [14], Andrews (1992) [87], and Erdilyi et al. (1953) [88].
a1 , · · · , ap ;
p Fq λz
c 1 , · · · , cq ;
(2.29)
(c1 ) 1
a1 −1 c1 −a1 −1
= t (1 − t) p−1 Fq−1 a2 , · · · , ap ; c2 , · · · , cq ; λzt dt,
(a1 ) (c1 − a1 ) 0
where λ is a constant.
where λ is a constant.
where λ is a constant.
where λ is a constant.
The results were obtained by Rainville in 1960 (see [45], p. 85) and Askey (1975) [60], and
further investigated by Andrews et al. (see [25], p. 67), Srivastava and Kashyap (1982) [51],
and Slater (1966) [39].
When c − a = 1, we get the following result.
20 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
Corollary 2.3. If p ≤ q + 1, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · , Re cq > 0,
q p
Re k=1 ck − k=1 ak > 0, and |z| < 1, then we have
a1 , · · · , ap , a;
p+1 Fq+1 λz
c1 , · · · , cq , a + 1;
(2.33)
(a + 1) 1 a−1
= t p Fq a1 , a2 , · · · , ap ; c1 , c2 , · · · , cq ; λzt dt,
(a) 0
where λ is a constant.
Corollary 2.4. If p ≤ q + 1, Re (a1 ) > 0, · · · , Re (c) > 1, Re ap > 0, Re (c1 ) > 0, · · · ,
q p
Re cq > 0, Re k=1 ck − k=1 ak > 0, and |z| < 1, then we have
a1 , · · · , ap , 1;
p+1 Fq+1 λz
c1 , · · · , cq , c;
1 (2.34)
(c)
= (1 − t)c−2 p Fq a1 , a2 , · · · , ap ; c1 , c2 , · · · , cq ; λzt dt,
(c − 1) 0
where λ is a constant.
1 z
t α−1 (z − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt κ dt
B (α, β) 0
(2.35)
a1 , · · · , ap , ακ , α+1
κ ,··· ,
α+κ−1
κ ;
=z α+β−1
× p+κ Fq+κ λz κ
,
c1 , · · · , cq , α+β
κ ,
α+β+1
κ , · · · , α+β+κ−1
κ ;
where λ is a constant.
The result was obtained by Rainville in 1960 (see [45], p. 85). Based on this result, we
suggest the following corollaries.
Corollary 2.5. If Re (β) > 0, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · , Re cq > 0, |z| < 1,
q p
Re k=1 ck − k=1 ak > 0, and κ ∈ N, then
Chapter 2 • Hypergeometric, supertrigonometric, and superhyperbolic functions 21
1 z
t β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λ (z − t)κ dt
B (1, β) 0
(2.36)
a1 , · · · , ap , κ1 , κ2 , · · · , 1;
= zβ × p+κ Fq+κ λzκ ,
c1 , · · · , cq , 1+β β+2 β+κ
κ , κ ,··· , κ ;
where λ is a constant.
Corollary 2.6. If Re (β) > 0, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · , Re cq > 0, |z| < 1,
q p
Re k=1 ck − k=1 ak > 0, and κ ∈ N, then
1 z
t β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λ (z − t) dt
B (1, β) 0
(2.37)
a1 , · · · , ap , 1;
= zβ × p+1 Fq+1 λz ,
c1 , · · · , cq , 1 + β;
where λ is a constant.
z
1
t α−1 (z − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt 2 dt
B (α, β) 0
(2.38)
a1 , · · · , ap , α2 , α+1
2 ;
= zα+β−1 × p+2 Fq+2 λz2 ,
c1 , · · · , cq , α+β
2 ,
α+β+1
2 ;
where λ is a constant.
Case 2. Suppose that Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · ,
q p
Re cq > 0, Re k=1 ck − k=1 ak > 0, and |z| < 1. Then we have
z
1
t α−1 (z − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt 3 dt
B (α, β) 0
(2.39)
a1 , · · · , ap , α3 , α+1
3 , 3 ;
α+2
= zα+β−1 × p+3 Fq+3 λz3 ,
c1 , · · · , cq , α+β
3 ,
α+β+1 α+β+2
3 , 3 ;
where λ is a constant.
Case 3. Suppose that Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · ,
q p
Re cq > 0, Re k=1 ck − k=1 ak > 0, and |z| < 1. Then we have
22 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
z
1
t α−1 (z − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt 4 dt
B (α, β) 0
(2.40)
a1 , · · · , ap , α4 , α+1
4 , 4 , 4 ;
α+2 α+3
= zα+β−1 × p+4 Fq+4 λz4 ,
c1 , · · · , cq , α+β
4 ,
α+β+1 α+β+2 α+β+3
4 , 4 , 4 ;
where λ is a constant.
Case 4. Suppose that Re (α) > 0, Re (β) > 0, and Re (β) > Re (α) > 0. Then we have
3, 3 , 3 ;
z α α+1 α+2
1 3
t α−1 (z − t)β−1 eλt dt = zα+β−1 × 3 F3 α+β α+β+1 α+β+2 λz
3
, (2.41)
B (α, β) 0 3 , 3 , 3 ;
where λ is a constant.
Case 5. Suppose that Re (α) > 0, Re (β) > 0, |z| < 1, Re (β) > Re (α) > 0, and κ ∈ N, then we
have
z
1 κ
t α−1 (z − t)β−1 eλt dt
B (α, β) 0
(2.42)
, κ , · · · , α+κ−1
α α+1
;
= zα+β−1 κ Fκ α+β κ α+β+1 κ
λz κ
,
κ , κ , · · · , α+β+κ−1
κ ;
where λ is a constant.
Theorem 2.7. [Rainville (1960)]
IfRe (α) > 0, Re (β)
> 0, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · , Re cq > 0,
q p
Re k=1 ck − k=1 ak > 0, and |z| < 1, then
z
1
t α−1 (z − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt dt
B (α, β) 0
(2.43)
a1 , · · · , ap , α;
= zα+β−1 × p+1 Fq+1 λz ,
c1 , · · · , cq , α + β;
where λ is a constant.
The result was obtained by Rainville in 1960 [45].
Theorem 2.8. [Manocha and Srivastava (1984)]
IfRe (α) > 0, Re (β) > 0, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · , Re cq > 0, and
q p
Re k=1 ck − k=1 ak > 0, then
1 1
t α−1 (1 − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt dt
B (α, β) 0
(2.44)
a1 , · · · , ap , α;
= p+1 Fq+1 λ ,
c1 , · · · , cq , α + β;
where λ is a constant.
Chapter 2 • Hypergeometric, supertrigonometric, and superhyperbolic functions 23
The result was obtained by Manocha and Srivastava in 1984 [22]. Using this formula, we
obtain the following results.
Theorem 2.9. If Re (α) > 0, Re (β) > 0, and |z| < 1, then
z
1 α;
t α−1
(z − t) e dt = z
β−1 λt α+β−1
× 1 F1 λz , (2.45)
B (α, β) 0 α + β;
where λ is a constant.
Theorem 2.10. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, Re (c1 ) > 0, Re (c1 ) > Re (a1 ), and
|z| < 1, then
z
1
t α−1 (z − t)β−1 1 F1 (a1 ; c1 ; λt) dt
B (α, β) 0
(2.48)
a1 , α;
=z α+β−1
× 2 F2 λz ,
c1 , α + β;
where λ is a constant.
Theorem 2.11. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, Re (a2 ) > 0, Re (c1 ) > 0, Re (c2 ) > 0, and
|z| < 1, then
z
1
t α−1 (z − t)β−1 2 F2 (a1 , a2 ; c1 , c2 ; λt) dt
B (α, β) 0
(2.49)
a1 , a2 , α;
= zα+β−1 × 3 F3 λz ,
c1 , c2 , α + β;
where λ is a constant.
24 An Introduction to Hypergeometric, Supertrigonometric, Superhyperbolic Functions
Theorem 2.12. If Re (α) > 0, Re (β) > 0, Re (c) > 0, and |z| < 1, then
z
1 α;
t α−1 (z − t)β−1 0 F1 (−; c; λt) dt = zα+β−1 × 1 F2 λz , (2.50)
B (α, β) 0 c, α + β;
where λ is a constant.
Theorem 2.13. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, Re (c1 ) > 0, Re (c2 ) > 0, |z| < 1, and
κ ∈ N, then
z
1
t α−1 (z − t)β−1 1 F2 (a1 ; c1 , c2 ; λt) dt
B (α, β) 0
(2.51)
a1 , α;
=z α+β−1
2 F3 λz ,
c1 , c2 , α + β;
where λ is a constant.
Theorem 2.14. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, and |z| < 1, then
z
1 a1 , α;
t α−1
(z − t) β−1
1 F0 (a1 ; −; λt) dt = z
α+β−1
2 F1 λz , (2.52)
B (α, β) 0 α + β;
where λ is a constant.
Theorem 2.15. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, and |z| < 1, then
z
1 −a1 a1 , α;
t α−1
(z − t)β−1
(1 − t) dt = z α+β−1
2 F1 z . (2.53)
B (α, β) 0 α + β;
Theorem
2.16. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · ,
Re cq > 0 and |z| < 1, then
z
1
t α−1 (z − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt 2 dt
B (α, β) 0
(2.54)
a1 , · · · , ap , α2 , α+1
2 ;
= zα+β−1 p+2 Fq+2 λz 2
,
c1 , · · · , cq , α+β
2 ,
α+β+1
2 ;
where λ is a constant.
Theorem 2.17. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, Re (c1 ) > 0, and |z| < 1, then
z
1
t α−1 (z − t)β−1 1 F1 a1 ; c1 ; λt 2 dt
B (α, β) 0
(2.55)
=z α+β−1 2 ;
a1 , α2 , α+1 2
3 F3 α+β+1 λz ,
vc1 , α+β
2 , 2 ;
where λ is a constant.
Chapter 2 • Hypergeometric, supertrigonometric, and superhyperbolic functions 25
Theorem 2.18. If Re (α) > 0, Re (β) > 0, and |z| < 1, then
2, 2 ;
z α α+1
1 2
t α−1 (z − t)β−1 eλt dt = zα+β−1 × 2 F2 α+β α+β+1 λz
2
, (2.56)
B (α, β) 0 2 , 2 ;
where λ is a constant.
Theorem 2.19. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, and |z| < 1, then
z
1
t α−1 (z − t)β−1 1 F0 a1 ; −; λt 2 dt
B (α, β) 0
(2.57)
2 ;
a1 , α2 , α+1
= zα+β−1 3 F2 α+β α+β+1 λz2 ,
2 , 2 ;
where λ is a constant.
Theorem 2.20. If Re (α) > 0, Re (β) > 0, Re (c1 ) > 0, and |z| < 1, then
z
1
t α−1 (z − t)β−1 0 F1 −; c1 ; λt 2 dt
B (α, β) 0
(2.58)
2, 2 ;
α α+1
=z α+β−1
2 F3 α+β α+β+1 λz
2
,
c1 , 2 , 2 ;
where λ is a constant.
Theorem 2.21. If Re (α) > 0, Re (β) > 0, |z| < 1, and κ ∈ N, then
z
1 κ
t α−1 (z − t)β−1 eλt dt
B (α, β) 0
(2.59)
κ , κ ,··· , ;
α α+1 α+κ−1
κ
= zα+β−1 κ Fκ α+β α+β+1 α+β+κ−1 λz
κ
,
κ , κ , · · · , κ ;
where λ is a constant.
Theorem 2.23. If Re (a1 ) > 0, · · · , Re ap > 0, Re (c1 ) > 0, · · · , Re cq > 0, Re (α) > 0, and
Re (β) > 0, then
1 1
(1 + t)α−1 (1 − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λ (1 + t) dt
B (α, β) −1
(2.61)
a1 , · · · , ap , α;
=2 α+β−1
× p+1 Fq+1 2λ ,
c1 , · · · , cq , α + β;
where λ is a constant.
we have
1 1
(1 + t)α−1 (1 − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λ (1 + t) dt
B (α, β)−1 (2.63)
= 2α+β−1 × p+1 Fq+1 a1 , · · · , ap , α;c1 , · · · , cq , α + β; 2λ
in association with
2
t α−1 (2 − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λt dt
0
(2.64)
1
= (1 + t)α−1 (1 − t)β−1 p Fq a1 , · · · , ap ; c1 , · · · , cq ; λ (1 + t) dt.
−1
where λ is a constant.
we can write
1
1 α;
(1 + t)α−1 (1 − t)β−1 eλ(1+t) dt = 2α+β−1 1 F1 2λ (2.67)
B (α, β) −1 α + β;
since
2 1
t α−1 (2 − t)β−1 eλt dt = (1 + t)α−1 (1 − t)β−1 eλ(1+t) dt. (2.68)
0 −1
Theorem 2.25. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, and Re (c1 ) > 0, then
1
1
(1 + t)α−1 (1 − t)β−1 1 F1 (a1 ; c1 ; λ (1 + t)) dt
B (α, β) −1
= 2α+β−1 (2.69)
a1 , α;
× 2 F2 2λ ,
c1 , α + β;
where λ is a constant.
we have
1
1
(1 + t)α−1 (1 − t)β−1 1 F1 (a1 ; c1 ; λ (1 + t)) dt
B (α, β) −1
(2.71)
a1 , α;
=2 α+β−1
2 F2 2λ ,
c1 , α + β;
Theorem 2.26. If Re (α) > 0, Re (β) > 0, Re (a1 ) > 0, Re (a2 ) > 0, Re (c1 ) > 0, and Re (c2 ) > 0,
then
1
1
(1 + t)α−1 (1 − t)β−1 2 F2 (a1 , a2 ; c1 , c2 ; λ (1 + t)) dt
B (α, β) −1
= 2α+β−1 (2.73)
a1 , a2 , α;
× 3 F3 2λ ,
c1 , c2 , α + β;
where λ is a constant.
we get
1
1
(1 + t)α−1 (1 − t)β−1 2 F2 (a1 , a2 ; c1 , c2 ; λ (1 + t)) dt
B (α, β) −1
(2.75)
a1 , a2 , α;
=2 α+β−1
× 3 F3 2λ ,
c1 , c2 , α + β;
where
2
t α−1 (2 − t)β−1 2 F2 (a1 , a2 ; c1 , c2 ; λt) dt
0
1
(2.76)
= (1 + t) α−1
(1 − t) β−1
2 F2 (a1 , a2 ; c1 , c2 ; λ (1 + t)) dt.
−1
Theorem 2.27. If Re (α) > 0, Re (β) > 0, and Re (c1 ) > 0, then
1
1
(1 + t)α−1 (1 − t)β−1 0 F1 (−; c; λ (1 + t)) dt
B (α, β) −1
(2.77)
α;
=z α+β−1
1 F2 2λ ,
c, α + β;
where λ is a constant.
Another random document with
no related content on Scribd:
hallo, sólo á Dios, que conoce tu corazón, cumple juzgarte. Que Él
te juzgue, pues; y si lo mereces, te castigue con aquello mismo que,
sólo bajo su omnipotencia, puede hacer tu felicidad.
Entre tanto, si lo que te pasa te parece, como dices, un sueño, pide
al cielo que jamás despiertes.
Dijo, abrió la puerta de la escalera y desapareció por ella.
XVII
Dos horas después salía del puerto el vapor que conducía á los
recién casados á Francia.
Al despedirse don Romualdo de su suegra, la había dicho al oído:
—Sépase usted que los aceptó.
—¿Cuáles?
—Los treinta mil del pico.
—¿César?
—Y va más contento que unas pascuas. ¡Pobre chico!
—¡Miren el sinvergüenza!
Al día siguiente sabía todo el pueblo que don Romualdo había
regalado treinta mil duros á un sobrino de don Serapio, que se había
presentado en su casa después de la boda, de vuelta de América,
pobre y desengañado.
Y como en el pueblo se había sabido algo, tiempos atrás, de ese
sobrino que había sido echado de casa porque amaba á su prima y
era correspondido de ella, se hizo la siguiente traducción del hecho
propagado por doña Sabina:
—César ha venido á interrumpir la boda, ó á provocar un escándalo;
la familia, queriendo evitarle, le ha dicho al novio que ha llegado un
primo de su mujer á pedirle su protección. Don Romualdo le ha
regalado treinta mil duros, y el chico los ha tomado, prometiendo á
sus tíos desaparecer de Europa y no volver á acordarse de
Enriqueta en los días de su vida.
Y así, pensando en don Romualdo, decía la gente:
—Pues, señor, hay que convenir en que ese hombre tiene rasgos
admirables y un corazón de perlas.
Y recordando después á César, exclamaba:
—¡Parece increíble! ¡Qué falta de decoro! ¡Qué poca vergüenza!
Tal es y ha sido siempre y donde quiera, con raras excepciones, el
criterio del público en cuestiones de conciencia y en actos de
justicia.
Con ese mismo criterio se crucificó á Jesucristo ayer, y se levantan
hoy estatuas á más de cuatro criminales. Por eso dijo uno de ellos,
después de rodar del trono que había asentado sobre más de seis
millones de cadáveres:
—«¡La pasión gobierna el mundo!».
1876.
TIPOS TRASHUMANTES
AL LECTOR