RESEARCH NOTES

advertisement
407
Internat. J. Math. & Math. Scl.
Vol. 8 No. 2 (1985) 407-411
RESEARCH NOTES
ON LEGENDRE NUMBERS
PAUL W. HAGGARO
Department of Mathematics, East Carolina University
Greenville, North Carolina 27834 U.S.A.
(Received February 7, 1984)
The Legendre numbers, an infinite set of rational
ABSTRACT.
numbers are defined
from the associated Legendre functions and several elementary properties are pre-
A general formula for the Legendre numbers is given.
sented.
Applications include
summing certain series of Legendre numbers and evaluating certain integrals.
Le-
gendre numbers are used to obtain the derivatives of all orders of the Legendre
polynomials at x
i.
KEY WORDS AND PHRASES.
of tege nb, eg
of Legnee polyno
THEMATI SUBJECT CIFICATION CES.
1980
I.
o,
,
tegedt polynomt, _t.
dvv
of Lege polno, ohoon
Aoed tegedte
OA40, 26C99, A45.
INTRODUCTION.
For example, Stlrllng
Many sets of numbers are associated with polynomials.
numbers of the first and second kinds, Bernoulli
defined from certain polynomials.
2.
numbers
We follow this pattern by defining the Legendre
numbers from the associated Legendre functions.
ropertles
and Euler numbers are
These Legnedre numbers have many
and applications and our purpose is to examine some of these.
THE LEGENDRE NUERS.
The associated Legnedre functions are defined by
m
m
pm(x)
(l
(x)),
n
x2) (Pn
where
P (x)
is the nth order Legendre polynomial and
n
integers.
these
m
and
n
are non-negatlve
Using Rodriques’ formula, one has
P(x)
With
(2.1)
x2.)2 Dm+n(x2
.(I.
n[2
n
I)
n.
(2.2)
the legendre numbers can be defined as follows.
Definition i.
The Legendre number
pm
n’
are the values of
Pro(x)
for
From (2.1) and the definition, it is clear that
pmn
where
p(m) (0)
is the mth derivation of
p(m)(o),
n
P (x),
(2.3)
evaluated at
x
O.
From (2.2),
P.W. HAGGARD
408
one sees that
pmn
From (2.4) it is clear that
m
+
n
even and
m < n,
i
n!2 n
pm
for
0
n
Dm+n (x2
+
m
n
I )n
(2.4)
Ix=O.
odd and also for
there is exactly one term (2.4) void of
m > n.
x
For
(before taking
x-O) and this term simplifies to the third part of the explicit formula
0, m + n odd
pm
O, m > n
n-m
n
(-I) 2 (n+m)!
m
2n() ()
This gives all Legendre numbers with
[1]
gives all values of
m
and
n even, m < n
non-negatlve integers.
(2.5)
Ralnville,
pO
P
1
P0
P2n+l
0
(-l)n(1/2)
P2n
which agrees with
n
+
(2.6)
n
n!
O.
(2.5) for m
The following table gives some of the Legendre numbers.
Note from (2.5) that all
Legendre numbers are rational.
TABLE I. LEGENDRE NUMBERS
3.
SOME BASIC PROPERTIES.
The following list of simple properties, observable from the table, can be
easily proved using (2.5).
pn
n
pm
1-3-5---(2n- I), n
n-i
n-m
_nm
(m +n
pm=
-(n
n
(3.l)
pm+l
n
p
i.
m
m
n, n > i.
l)pm-i
n-i
+ 2)(n +
m
m
(3.2)
n > 1
I)Pm-2
n
(3.3)
m > 2.
(3.4)
LEGENDRE NUMBERS
(n + m- 1)
pm_.__
n
n
pm
(n + m
n
pm
n-2
m
1)(n + m
409
3)---(n
(3.5)
2.
n > 2, m < n
+ 3)(n
m
+ 1)Pn-m’
m
m > 1.
(3.6)
Equation (3.1) gives the value on the "main" diagonal of the table. Equation (3.2)
gives each entry, except the last, in a row of the table from the entry just above
and to the right, while (3.3) gives each entry from the one just above and to the
left. Equation (3.4) allows one to fill in the entries of a row from left to right.
Equation (3.5) shows the connection between entries in the same column but two rows
apart.
Finally, Equation (3.6) gives each Legendre number in terms of a Legendre
number in the first column of the table.
4.
EXPANSIONS OF LEGENDRE POLYNOMIALS AND ASSOCIATED LEGENDRE FUNCTIONS.
P (x),
By Maclaurln’s expansion, the Legendre polynomials,
P (x)
.
n
n
p (x)
n
With the table
(4.1)
pmxm
n
(4.2)
m!
m= 0
(4.2) gives a simple way of writing out P n
105 3
63 5
15
Ps(X)
is easily obtained using
can be expressed as
m!
0
mffi
Using (2.3), one has
n
p(m)
(0)xm
n
n
-x --x m+-x
PS’
(4.2) and the entries
for
m
For example
(4.3)
zero through five, from
the table.
from (4.2) into (2.1) one has
m
n
m
n
pm(x)
D
(I
[ m!
n
m= 0
P (x)
Substituting
n
pmxm
x2)
If
m
and
n
(4 4)
are not too large, (4.4) is easy to use to obtain
Pnm(X).
table provides the summation entries and the mth derivative is then evaluated,
example,
P(x)
Pxm
x2)D 2
(i
m=0
(i-
For
(4.5)
m!
x2)(P + Px)
x2)(O +
15x(l- x2).
(I-
5.
The
15x)
SOME SERIES AND AN INTEGRAL INVOLVING LEGENDRE NUMBERS.
Taking
x
0
and
t
in the known generating relation for the Legendre
1
polynomials, see Rainville, [I],
(i
2xt
+
t
2)
1
2
[
n=0
p (x)t n
n
gives
1
(5.2)
the sum of the non-zero terms in the first column of the table.
In (5.1) take
k
410
P.W. HAGGARD
then let
x,
derivative with respect to
pk
n= k
and t
0
x
1 to obtain
2k+l.
1-3-5.7--.(2k- i)2
n
(5.3)
This gives the sum of the non-zero terms in the kth column of the table.
A well known series involves the Legendre numbers.
Let
in (5.1) to
0
x
obtain
+
(i
Next, let
tan 0
t
for
I01
1
2
2)
t
n
P t
Z
n
n 0
(5.4)
and use the appropriate trigonometric identities
<
to obtain
cos
P0 + P2 tan20 + P4 tan4 + P6 tan6
1
tan20 + 3 tan40 5 tan60
1
+’’"
(5.5)
+.--
where the coefficients in the series are the Legendre numbers,
Next
I Pmxm, "I
1
n
for
n
>_ O.
Using (4.2), one has
an integral is evaluated.
lIP0
P2n’
n
_---)dx
(x)dx
(5.6)
0 m=O
n
_
pmxm
n
I
m=O
dx
0
m=0 [.(-i)J 0
n
m-0
Therefore, for
n
pm
n
(-l)
any non-negative integer, one sees that
pm
n
ipn (x)dx
I0
(m+l)n
m--0
(5.7)
A better formula for this integral will be obtained in that the summation will be
evaluated.
Recall that the Legendre polynomials form an orthogonal set for
positive integer.
fl
-i
For
n
P (x)dx
0
P (x)dx
fo
n
n
P (x)dx
-i
2
0
P (x)
n
is an even function for
0
are thus seen to have the value
for
any positive integer.
n
n
Pn(X)dx
+
Pn(X)dx
0
Pn
(5.9)
(x) dx,
The integral and summation in (5.7)
positive and even.
pm
0
n
even.
n
More generally,
for
a
positive and even,
-1
since
n
Thus,
n
(re+l)’
m--0
Pn+l
(5.1o)
n
Now, (5.10) certainly holds for
n
even since
LEGENDRE NUMBERS
411
O, by (2.5). To prove (5.10) for n odd an inductive type argument omitted
here, can be used.
6. DERIVATIVE OF LEGENDRE POLYNOMIALS AT x
i.
First the Oth derivative, that is, Pn (x), can be evaluated at x
i. From
Pn+l
(4.2), one has
pm
n
(6.1)
n
I
can be shown that
ment can be used.
PI(1)
Pk+l(1)
P (i)
n
First if
1
by evaluating the series
i, then since
n
Also, recall that
i.
m
I.
PO(1)
P (x)
n
Next, if
Pk(1)
it is clear that
i,
we can argue that
The proof can be completed by inducting on k twice once for k even
k odd. ,erefore, for all positive integers n,
i.
and once for
pm
n
n
P (i)
n
Since
An inductive type argux,
i.
(6.2)
0
P (x)
I for n
0
(6 2) than holds for all non-negatlve integers
n
From (4.2), the ith derivative of P (x) evaluated for x
1 is
pm
n
e(1)(1)
n
n.
n
(6.3)
m=l(mi)!
It can be shown that
(n-i+l)
p(i) (i)
n
i!2
where the numerator is in factorial notation.
here also.
The induction is on
not be given here.
k
0
for
i
for
i
0,
k
# 0,
i.
2i
(6.4)
i
An inductive type proof can be used
Since the argument is long and involved it will
Nith the usual agreements,
P(O)(x)
n
P (x)
n
(6.4) holds for all non-negative integers
(6.4) reduces to (6.2).
and the factorial
i
and
n.
Also,
Equation (6.4) can easily be shown to have
the forms
p(i) (i)
n
C(n+i,2i)
(n+i)
i! (n_l) t2
i
(6.5)
Pi
REFERENCES
i.
2.
3.
RAINVILLE, E.D. Special Functions The Macmillan Company New York 1960.
COPSON, E.T. An Introduction to the Theory of Functions of a Complex Variable,
Oxford University Press London, 1935.
RICHARDSON, C.H. An Introduction to the Calculus of Finite Differences, C. Van
Nostrand Company Inc., New York, 1954.
Download