Higher Order Bernoulli and Euler Numbers
Download
Report
Transcript Higher Order Bernoulli and Euler Numbers
David Vella,
Skidmore College
[email protected]
Generating Functions and
Exponential Generating Functions
β’ Given a sequence {ππ } we can associate to it
two functions determined by power series:
β’ Its (ordinary) generating function is
β
ππ ππ
π π =
π=π
β’ Its exponential generating function is
β
ππ π
π π =
π
π!
π=π
Examples
β’ The o.g.f and the e.g.f of {1,1,1,1,...} are:
2
3
β’ f(x) = 1 + π₯ + π₯ + π₯ + β― =
β’ g(x) = 1 +
π₯
1!
+
π₯2
2!
+
π₯3
3!
1
,
1βπ₯
and
+ β― = π π₯ , respectively.
The second one explains the name...
Operations on the functions correspond to manipulations
on the sequence. For example, adding two sequences
corresponds to adding the ogfβs, while to shift the index
of a sequence, we multiply the ogf by x, or differentiate
the egf. Thus, the functions provide a convenient way of
studying the sequences.
Here are a few more famous examples:
Bernoulli & Euler Numbers
β’ The Bernoulli Numbers Bn are defined by
the following egf:
x
ο½
x
e ο1
ο₯
ο₯
n ο½1
Bn n
x
n!
β’ The Euler Numbers En are defined by the
following egf:
x
ο₯
2e
En n
Sech( x) ο½ 2 x
ο½ο₯ x
e ο« 1 nο½0 n!
Catalan and Bell Numbers
β’ The Catalan Numbers Cn are known to have the
ogf:
β
1 β 1 β 4π₯
2
πΆ π₯ =
πΆπ π₯ =
=
2π₯
1 + 1 β 4π₯
π=1
π
β’ Let Sn denote the number of different ways of
partitioning a set with n elements into nonempty
subsets. It is called a Bell number. It is known
to have the egf:
β
ππ π
π₯ β1
π
π₯ =π
π!
π=1
Higher Order Bernoulli and Euler Numbers
β’ The nth Bernoulli Number of order w, Bwn is
defined for positive integer w by:
w
ο₯
B n
ο¦ x οΆ
x
ο§ x ο· ο½ο₯
ο¨ e ο1 οΈ
n ο½1 n!
w
n
β’ The nth Euler Number of order w, Ewn is
similarly defined for positive integer w as:
β
π€
π₯
2π
πΈπ€ π π
=
π₯
2π₯
π +1
π!
π=1
Reversing the Process
β’ If you start with a function and ask what sequence generates it
(as an ogf), the answer is given by Taylorβs theorem:
π
π
(0)
ππ =
π!
β’ More generally, if we use powers of (x-a) in place of powers of
x, Taylorβs theorem gives:
π π (π)
ππ =
π!
β’ Let us abbreviate the nβth Taylor coefficient of f about x = a by:
ππ π; π =
π
π
(π)
π!
A Key Question
β’ I have mentioned that operations on the functions correspond
to manipulations of the sequence. What manipulations
correspond to composing the generating functions?
β’ That is, we are asking to express
ππ π βπ; π
in terms of the Taylor coefficients of f and of g.
β’ In January, 2008, I published a paper entitled Explicit
Formulas for Bernoulli and Euler Numbers, in the
electronic journal Integers. In this paper, I answer the above
question and give some applications of the answer.
A Key Answer
β’ Since
ππ π βπ; π =
π βπ
(π) (π)
π!
,
the answer would depend on evaluating the numerator, which
means extending the chain rule to nth derivatives. This was
done (and published by Faà di Bruno in 1855.) I noticed (in
1994) a corollary of di Brunoβs formula which exactly answers the
above question.
β’ Francesco Faà di Bruno:
THE MAIN RESULT
With the above definitions, if both π¦ = π(π₯) and π₯ = π(π‘) have n
derivatives, then so does π¦ = π β π(π‘), and
π»π π βπ; π =
π
βπ·π
π π
πΉ π
π
ππ
π
(π; π π )
ππ (π; π)
ππ
π=1
where ππ is the set of partitions of n, π π is the length of the
partition π, and ππ is the multiplicity of i as a part of π. Here, πΏ π
is the set of multiplicities {ππ } which is itself a partition of π π (I call
it the derived partition πΏ π ), and πΏπ ππ is the associated
multinomial coefficient
π π !
.
π1 !π2 !β¦ππ !
Illustration β How to use this machine
β’ Let π π₯ = π π₯ and let π₯ = π π‘ = π π‘ β 1 Set π = 0 and
observe π π = 0. Then:
ππ π; π 0
ππ π; 0 =
=
1
π!
for all m and similarly,
if π β₯ 1. The right side becomes:
π!
π!
1
π!
1
π!
πβππ
πβππ
π π
πΏ π
1
π(π)!
1 π! 1
=
πΏ π ! π! π!
π
π=1
1
π!
ππ
πβππ
ππ
ππ
=
π!
Illustrations, continued
β’ But the left hand side is ππ π βπ; 0 for the
composite function
π βπ(π‘) = π
π π‘ β1
So we just proved this is the egf for the
sequence of Bell numbers ππ . This is a very
short proof of a known (and famous) result.
Likewise, I can provide new proofs of many
combinatorial identities using this technique.
Can we discover new results with this machine?
Yes!
Illustrations, continued
ln(1+π₯)
Let π π₯ =
and π π‘ = π π‘ β 1. Again if π = 0 then
π₯
π‘
π π = π 0 = 0. Also we have π βπ π‘ = π‘
which is
π β1
precisely the egf of the Bernoulli numbers. In this case, our
machine yields the formulas:
(ο1) ο¬ (ο° ) ο¦ ο¬(ο° ) οΆο¦ n οΆ
ο§ο§
ο·ο·ο§ο§ ο·ο·
Bn ο½ ο₯
ο° οPn 1 ο« ο¬ (ο° ) ο¨ ο€ (ο° ) οΈο¨ ο° οΈ
and:
(ο1) m
Bn ο½ ο₯
m! S (n, m)
m ο½1 1 ο« m
n
where S(n,m) is the number of ways of partitioning a set of size
n into m nonempty subsets (a Stirling number of the 2nd kind.)
Illustrations, continued
β’ This was published in my 2008 paper, along with similar
formulas for Euler numbers.
β’ These formulas can be generalized in at least two ways:
1. Express the higher order Bernoulli numbers in terms of the
usual Bernoulli numbers, since the egf for them is obviously
a composite. Similarly for the higher order Euler numbers.
This result is still unpublished (but I spoke at HRUMC a
couple of years ago about it.)
2. Generalize my corollary of di Brunoβs formula to the
multivariable case. (The next talk is about this in the case of
multivariable Bernoulli numbers!)
β’ For the remainder of this talk, Iβd like to focus on one case
where the identity I obtain from my machine is not obviously
useful (or is it?)
Final Example: the Catalan numbers
β’ Recall from an earlier slide the generating function (ogf) of the
Catalan numbers:
β
1 β 1 β 4π₯
2
π
πΆ π₯ =
πΆπ π₯ =
=
2π₯
1 + 1 β 4π₯
π=1
β’ This can be expressed as a composite generating function as
2
follows: Let π π’ =
and let π’ = π π₯ = 1 β 4π₯. Then
1+π’
πΆ π₯ = π π π₯ . If π = 0 then π π = 1, so the derivatives and
Taylor coefficients of π π’ have to be evaluated at π’ = 1.
β’ It is easy to check by direct calculation that π
and therefore ππ π; 1 =
ππ 1
π!
=
(β1)π
.
π
2
π
1 =
(β1)π π!
2π
Catalan numbers, continued
β’ To find ππ (π; 0), we write the radical as a power and use
Newtonβs binomial series:
π π₯ = 1 β 4π₯
πβππ
2
1
It follows that ππ π; 0 =
πΆπ =
1
π
2
1
β
2
π=0 π
=
β4 π .
So our formula yields:
β1
2π(π)
ππ
π
π(π)
π π
πΏ π
β4 π π₯ π .
1
π
π=1
2
β4
However, we can simplify this because
π
β4
π=1
π
ππ
= β4
πππ
= β4
π
π
Simplifications
Thus,
πΆπ =
4π
πβππ
π π
πΏ π
Next, we rewrite the terms
ππ
1 1
1
β1
2
2
2
=
π
π+π(π)
β1
2π(π)
π
π=1
ππ
1
π
2
1
1
β2 β¦ βπ+1
2
2
π!
ππ
When we take the product of these terms over i, the
denominator becomes ππ=1 π! ππ , the product of the factorials of
all the parts of π, which I abbreviate as π!. Observe that
1
π
= π!
π!
π
Looking more carefully at the numerator, we obtain:
Simplifications, continued
1 1
β1
2 2
1
1
β2 β¦
βπ+1
2
2
ππ
1
1
=
β
2
2
3
2π β 3
β β¦ β
2
2
ππ
ππ
π
2
We can factor out a power of 2 in the denominator, namely
= 2πππ ,
and since every factor except the first is negative, we can also factor out a
power of -1, namely
(β1)πβ1
ππ
= β1
πππ βππ .
Now when we take the
product over i, this means we factor out the following: in the denominator,
2πππ = 2 πππ = 2π
(which cancels part of the 4π outside the sum), and in the numerator,
(β1)πππ βππ = (β1) πππ β ππ = (β1)πβπ(π) .
Combined with the (β1)π+π(π) term in front of the product, this becomes
(β1)2π = 1. In other words, all the negatives cancel out! Finally, what
remains in the square brackets is a product of odd integers, which we
abbreviate with the double factorial notation (with the convention that
(-1)!! = 1). The entire thing simplifies to:
New formula for the Catalan numbers!
β’ We have proved:
π
2
πΆπ =
π!
πβππ
π
π
π π
πΏ π
π
1
2π(π)
2π β 3 βΌ
π=1
Letβs illustrate this with n = 4. We need the table:
π
π
π
π
π
π
π
π
π
π(π
)
πΉ(π
)
[4]
0
0
0
1
1
[1]
[3,1]
1
0
1
0
2
[12 ]
[22 ]
0
2
0
0
2
[2]
[2, 12 ]
2
1
0
0
3
[2,1]
14
4
0
0
0
4
[4]
ππ
Catalan example (n = 4)
β’ Our formula becomes:
πΆ4 =
16
=
24
24
4!
πβπ4
4
π
π π
πΏ π
1
2π(π)
4
2π β 3 βΌ
ππ
π=1
4 1 1
4
2 1
1
1+
(5βΌ) +
(3βΌ)
4 1 2
3 1 1 1 22
16
4
3 1
4
4
1+
+
(1βΌ)
24 2 1 1 2 1 23
1111 4
4
2 1
2
(1βΌ)
2 2 2 22
1
((β1)βΌ)4
4
2
16
1
1
1 2
=
1β1β β 5β3β1 +4β
2β
β
3β
1 +6β
1β
β
1
24
2
4
4
16
1
1
+
12 β 3 β β
1 + 24 β
1 β
β
1
24
8
16
Catalan example (n = 4)
= 5 + 4 + 1 + 3 + 1 = 14
This is the correct value as
πΆ4 =
1 8
5 4
= 14
Of course it appears as if my formula is kind of
useless since it is so inefficient!
Or maybe not.....
The Catalan numbers are known to count many
things β maybe my formula gives some sort of
refinement of this count?
Speculation: Dyck words?
The 14 Dyck words of length 8
AAAABBBB
AAABABBB
AABAABBB
AABABABB
ABAAABBB
ABAABABB
AAABBABB
AAABBBAB
AABABBAB
AABBAABB
AABBABAB
ABAABBAB
ABABAABB
ABABABAB
β’ I tried many ways to βnaturallyβ break these up into groups of sizes 5,4,1,3,1
but always without success. But then β what if we lump the terms together
corresponding to partitions of the same length? This leads to groups of size
5,5,3,1 β and such groups DO appear naturally in the table....
I have some ideas on how to do this in general (no proof yet), but I believe that I
can make the individual terms in my sum always correspond to such groups of
Dyck words. Hopefully this will lead to a bijective proof of my formula.
ο¨
ο¨
ο¨
The 2008 paper, which has the explicit formulas
for the ordinary Bernoulli & Euler numbers
(but not the higher order ones), can be
downloaded from this website:
http://www.integers-ejcnt.org/
Just click on the 2008 volume. My paper is the
first one in the January issue.
Appendix: My Bernoulli number formula
β’ Letβs see how it works for n = 4:
Partitions of 4
[4]
[3,1]
[2,2]
[2,1,1]
[1,1,1,1]
β’
Length
1
2
2
3
4
β’
Derived
[1]
[1,1]
[2]
[1,2]
[4]
β’ B4 =
1
( ο1) ο¦ 1 οΆο¦ 4 οΆ
( ο1)
1ο«1
1ο« 2
ο«
ο«
ο§ 1ο·ο§ 4 ο· ο«
ο¨ οΈο¨ οΈ
( ο1)
3
1ο« 3
1
3
2
ο¦ 3 οΆο¦ 4 οΆ ο«
ο§ 1, 2 ο·ο§ 1,1, 2 ο·
ο¨ οΈο¨
οΈ
ο1ο 6 ο
1
4
ο 3 ο 12 ο«
1
5
ο¦ 2 οΆο¦ 4 οΆ ο«
ο§ 1,1ο·ο§ 1,3 ο·
ο¨ οΈο¨ οΈ
( ο1)
4
1ο« 4
( ο1)
2
1ο« 2
ο¦ 2 οΆο¦ 4 οΆ
ο§ 2 ο·ο§ 2, 2 ο·
ο¨ οΈο¨ οΈ
ο¦ 4 οΆο¦ 4 οΆ ο½
ο§ 4 ο·ο§ 1,1,1,1ο·
ο¨ οΈο¨
οΈ
ο 1 ο 24 ο½
ο1
2
ο«
8
3
ο1
2
ο«2ο9ο«
ο«
24
5
1
3
ο2ο4
ο½ο
1
30
β’
Appendix: My second Bernoulli number formula
For example:
(ο1)
Bn ο½ ο₯
m! S (n, m)
m ο½1 1 ο« m
n
m
( ο1) m
B4 ο½ ο₯
m! S ( 4, m)
m ο½1 1 ο« m
ο1
1
ο1
1
ο½
1!ο1 ο« 2!ο7 ο«
3!ο6 ο« 4!ο1
2
3
4
5
1 14
24
1
ο½ο ο«
ο9ο«
ο½ο
2
3
5
30
4
Appendix: My higher order
Bernoulli number formula
ο (Vella, Feb., 2008 - unpublished):
B ο½
w
n
ο₯
ο°
οPn
ο¬ (ο° ) ο£ w
w
( ο¬ (ο° ))
n
ο Sο° ο ο ο¨Bi ο©
ο°i
i ο½1
which expresses the higher order Bernoulli numbers in
terms of the ordinary ones. Here, π€ (π) is the falling
factorial function π€ (π) = π€ π€ β 1 π€ β 2 β¦ (π€ β π + 1)
Appendix: Example of Higher Order Bernoulli formula
β’ For example, letβs compute B42. There are 5 partitions of 4,
but only three of them have length at most 2: [4], [3,1] and
[2,2]:
οο¨B ο©
ο¨B2 ο© ο¨B3 ο© ο¨B4 ο©
1
0
1
0
( 2)
ο«2
ο S[1, 3] ο οο¨B1 ο© ο¨B2 ο© ο¨B3 ο© ο¨B4 ο© ο
0
2
0
0
( 2)
ο«2
ο S[ 2 , 2 ] ο οο¨B1 ο© ο¨B2 ο© ο¨B3 ο© ο¨B4 ο© ο
2
ο½ 2 ο1 ο B4 ο« 2 ο1 ο 4 ο 0 ο« 2 ο1 ο 3 ο ο¨B2 ο©
2
4
B
ο½2
(1)
ο S[ 4 ] ο
ο½ 2 B4 ο« 6ο¨B2 ο©
2
0
0
0
1
1
ο¦ ο1 οΆ
ο¦1οΆ
ο½ 2ο§
ο· ο« 6ο§ ο·
ο¨ 30 οΈ
ο¨6οΈ
1
1
1
ο½ο
ο«
ο½
.
15
6
10
2
ο½
ο