Document 10438088

advertisement
Internat. J. Math. & Math. Sci.
VOL. 12 NO. 3 (1989) 583-588
583
SOME SERIES WHOSE COEFFICIENTS INVOLVE THE VALUES ’(n) FOR n ODD
L.R. BRAGG
Department of Mathematical Sciences
Oakland University
Rochester, Michigan
48309
(Received September I0, 1986)
By using two basic formulas for the digamma function, we derive a variety
that involve as coefficients the values (2n + I), n
1,2,..., of the
A number of these have a combinatorial flavor which we also
Riemann-zeta function.
ABSTRACT.
of
series
express in a trignometric form for special choices of the underlying variable.
We
briefly touch upon their use in the representation of solutions of the wave equation.
KEY
WORDS
AND
PHRASES.
Digamma
function,
Riemann-zeta
function,
series
representations, trigonometric forms, wave solutions.
1980 AMS SUBJECT CLASSIFICATION CODES. 10H05, 35L05.
1.
INTRODUCTION.
For the Riemann-zeta function
(2n)
(2)2n/(2n)!
IB2nl
(z),
in which
it is well known that
B2n
denotes a Bernoulli number [I].
there are no known analogous closed formulas for the numbers
this
brief paper,
we
(2n + I),
n
However,
1,2,... In
call upon two basic formulas for the digamma function
derive series of polynomials and constants that involve these numbers.
z)
to
An
example of such a series is the following:
[.
nffil
(-I)n+l
4
n
(4n-l)
Sums of this type provide insights about these numbers and the relationships among
Aside from number theoretic aspects, series that involve evaluations of various
them.
zeta functions play a role in the foundations of comblnatorlcs
[2].
The formulas we
derive involve polynomials that permit connections with solutions of the wave equation
for certain types of singular data.
While such representations have little practical
value, they illustrate how an intrinsfcally arithmetic function assumes a meaningful
role in a physical problem.
584
L.R. BRAGG
In section 2, we make use of the formulas
I
(a)
(-l)n(n)zn-I
-y +
+ z)
n;2
z
(b)
+ 1)
1/z
z)
(See [3]) to develop a pair of infinite series identities, in a lens shaped
convergence region, that involve the values (n) as well as certain polynomials. The
one of these of interest to us involves only the values (2n + I).
By using
differentiation
and
integration
of
properties
the
polynomials
entering
derive a number of related series that have a combinatoric flavor.
+ iy, one can express these
complex variable has the form z
we
series
in terms
of
for obtaining certain evaluations
trignometric functions which are more convenient
(such as (I.I)).
these,
When the basic
We do this in section 3 and then note the connections with wave
solutions in section 4.
While
the
results
obtained
appear
be
to
can
constructed
corresponding
for
We
developed.
be
easily
results
series
tools
mathematica
used
Further relationships of the type
leave
the
involving
the
novel,
involve little beyond elementary complex variables.
to
it
the
values (2n) by
reader
to
develop
using
the
formula
(2.4b) obtained in the following section.
2.
BASIC SERIES IDENTITIES.
We first define polynomial sets
f
nz
z
2n
{fn(Z)}
and
n(Z)
by means of the relations
_(l_z)2n
(2.1)
2n+l +
z
gn(Z)
for n
0 and take
Using
(l.2a)
(l_z)2n+1
gn(Z)
express I
fn(Z)
to
0 for n
<
O.
+ (l-z)) and l-z) in powers
of
(l-z)
and
(-z)
respectively, we have, by (l.2b),
$(2-z) -(1-z)
$(1 + (-z))
$(1 + (-z))
(2.2)
[ gn(Z)
n=O
$(I+z)
n=O
(2n + 2) +
(z)
gn(Z)
(+z)
g (2n + 2)
[ fn(Z)
n=l
.
(2n + I)
I/(l-z)
Similarly, (1.2) also gives
$( + (z-l))
n=l
(2.3)
fn(Z)
(2n + I)
i/z
SERIES WHOSE COEFFICIENTS INVOLVING THE VALUES OF THE ZELTA FUNCTION
for z e R.
Upon adding (subtracting) the last two members of (2.3) to (from) the
last two members of
.
n=l
(b)
n---O
for z e R.
585
(2.2), we
obtain
-
f (z) (2n + l)
n
gn(Z)
" ("
(2n + 2)
(l-z
-)
(2.4)
+ 3
These serve as the basic starting series.
use of only the first of these.
The subsequent discussion makes
From (2.1), it readily follows that
(a)
D 2p f (z)
(b)
Dz2p+Ifn(Z)
z
[(2n)! / (2n- 2p)! f
n
n-p
(z)
(2.5)
Using these,
follows
it
[(2n)!
I
n;I
(b)
2n +
2p
.
=.
n=
(2n- 2p- I)’].
gn_p_l(Z)
that if we differentiate (2.4a)
respect to z, we get, for z
()
I
2p and 2p +
times w/th
R,
2p) fn(Z)
(2n + 2p + I)
[(i-z) -(2p + I)
z-(2p
+
I)]
(2.6)
+ 2p
(2n 2p+
+ 2
gn(Z)
(2n + 2p + 3)
[(i-z) -(2p + 2) + z -(2p + 2)
q,
if
we multiply (2.4a)
Similarly,
by zP(l-z)
p,q positive integers, and
integrate with respect to z from 0 to I, we get using the definition of the beta
function,
{B(2n + p + I, q + I) -B(p + I, 2n + q + I)} (2n + I)
n=l
=5
(2.7)
[B(p + I, q)- B(p, q + 1)]
One can obtain formulas analogous to (2.7) by using (2.6).
For z e R, the formulas (2.6) are convenient for obtaining a number of specific
For example, if we take z
I/2 in (2.6b), we get
series.
n=0
-"
2n + 2p +
2p +
2)
(2n + 2p + 3)
22p
+ 2
(2.8)
586
L.R. BRAGG
Similarly,
VL
)
in
(2.7) and simplify the corresponding beta
I,
(2n + 1)
(2n + 2p + 2)
n
-(2n +
n=l
3.
p +
q
select
we
if
functions, we have for p
__ip( -1)!
p + I) (2n + p + 2)
(2p + I)’
(2.9)
TRIGNOMETRIC FORMS.
I/2 + iy with
Suppose z
tan
l(2y),
ly <
3/2
Then z
and (l-z)
Note that
e
2n
2 i p
sin (2n8)
2n+
cos (2n + 1)8
gn(Z) 2
ik O
-ik O.
(l-z) -k +/- z -k
+/- e
(a)
e
181
<
iO
/3
2
+ y2
with p
Then we have
f (z)
n
(b)
(3.1)
p-k[e
(c)
.
Using these in (2.6), we deduce that
Ca)
n=l
(2n 2p+ 2p) o2n
(2n8) (2n + 2p + I)
sin
-(2p + I) sin (2p + 1)8
-
n=O
If we select O
(-I) n+l
[
2
n--1
For p
2n
(3.2)
+ 2p
[ (2n 2p+
(b)
+ 2
p
2n +
-(2p+2) cos (2p+2)0
p
/4, then
4n + 2p2p
I/ 2
0
2)
[ (-l)n
(3) +
Then from (3.2a), we get
(4n + 2p
O, this reduces to (I.I).
gives
cos((2n + 1)O) K(2n + 2p + 3)
I)
2
p-2
/
{sin (2p + I) /4}.
(3.3)
Similarly, this choice for O in (3.2b) with p
[4n (4n + I) + (2n + I) (4n + 3)]
0
(3.4)
n=l
Other choices for 8 (such as /6) and p in the formulas (3.2) will lead to additional
identities.
4.
CONNECTIONS WITH WAVE FUNCTIONS.
l,n(x,t)
2w(x,t)
The wave polynomials w
equation
2w(x,t)
2
2
and
-
W2,n(X,t),
n
0,1,2,..., are solutions of the
(4.1)
that correspond, respectively, to the initial conditions
Wl, n (x’ 0)
0 and w
2 ,n
(x 0)
0
W2,n(X
0)
x
n
Wl,n(X,O)
([4], [5]).
x
n
They are given
SERIES WHOSE COEFFICIENTS INVOLVING THE VALUES OF THE ZELTA FUNCTIONS
587
explicitly by
(a)
Wl, n (x,t) =-2-
(b)
(x t)
[(x + t)
n+
(x-t) n
(4.2)
w2, n
[(x +
2(n+l)
t
)n
+
I_( x-t) n
+
Suppose
If we evaluate (2.4a) first at z
x + t and then at x
t and
add, it follows from
the definition of f (z) and (4.2a) that
n
n=l
The series
in
[Wl,2n(X,t) Wl,2n(l-x,t)](2n
the
+ 1)
l-x
(l_x)2_t
x
2
x2_t 2]
left member of this converges in the interior S
of
(4.3)
the square
Note that the right
(0,0), (I,0), (1/2, /2), and (I/2,
I/x) at t
0 hich has singularities at x
member of (4.3) reduces to
0 and
1.
x
he characteristics of the equation (4.1) through he points (0,0) and (1,0)
The formula (2.6a) can be used to construct other such
determine this same region S
sries involving the (2n + I). Finally, one can use (2.4b) to construct examples of
of
series
the
wave
that
the
values (2n) as
involve
polynomials
2/2).
having vertices at
W2,n(X’t)
coefficients.
REFERENCES
I.
MAGNUS, W., OBERHETTINGER, F. and SONI, R., Formulas and theorems for special
functions of mathematical physics, Springer-Verlag, New York (1966).
2.
AIGNER, M., Combinatorial theory, Springer-Verlag, New York (1979).
ABRAMOWITZ, M. and STEGUN, I.A., Ed. Handbook of mathematical functions,
National Bur. of Standards, Washington, D.C. (1968).
BRAGG, L.R. and DETTMAN, J.W., Expansions of solutions of certain hyperbolic
and elliptic problems in terms of Jacobi polynomials, Duke Math. J. 36(1969),
3.
4.
129-144.
5.
WIDDER, D.V., Expansions in
series of homogeneous polynomial solutions of the twodimensional wave equation, Duke Math. J. 26(1959), 591-598.
Download