En mathématiques, La méthode de sommation d'Euler-Boole est une méthode analogue à celle d'Euler-Maclaurin adaptée aux séries alternées . Le concept doit son appellation aux mathématiciens Leonhard Euler et George Boole . Boole a publié cette méthode de sommation en utilisant les polynômes d'Euler , mais la méthode elle-même était probablement déjà connue d'Euler[ 1] .
Présentation de la méthode
Les polynômes d'Euler sont définis par la série génératrice :
2
e
x
t
e
t
+
1
=
∑
n
=
0
∞
E
n
(
x
)
t
n
n
!
.
{\displaystyle \displaystyle {\frac {2e^{xt}}{e^{t}+1}}=\sum _{n=0}^{\infty }E_{n}(x){\frac {t^{n}}{n!}}.}
Les fonctions d'Euler périodiques suivantes modifient ces polynômes par un changement de signe suivant la parité de la partie entière de
x
{\displaystyle x}
[ 1] :
E
~
n
(
x
+
1
)
=
−
E
~
n
(
x
)
and
E
~
n
(
x
)
=
E
n
(
x
)
pour
0
<
x
<
1.
{\displaystyle \displaystyle {\widetilde {E}}_{n}(x+1)=-{\widetilde {E}}_{n}(x){\text{ and }}{\widetilde {E}}_{n}(x)=E_{n}(x){\text{ pour }}0<x<1.}
La formule sommatoire d'Euler-Boole pour les séries alternées s'écrit alors :
∑
i
=
n
N
(
−
1
)
i
f
(
i
+
h
)
=
1
2
∑
j
=
0
k
−
1
E
j
(
h
)
j
!
(
(
−
1
)
N
f
(
j
)
(
N
+
1
)
+
(
−
1
)
n
f
(
j
)
(
n
)
)
+
1
2
(
k
−
1
)
!
∫
n
N
+
1
f
(
k
)
(
x
)
E
~
k
−
1
(
h
−
x
)
d
x
,
{\displaystyle {\begin{aligned}\displaystyle \sum _{i=n}^{N}(-1)^{i}f(i+h)={}&{\frac {1}{2}}\sum _{j=0}^{k-1}{\frac {E_{j}(h)}{j!}}\left((-1)^{N}f^{(j)}(N+1)+(-1)^{n}f^{(j)}(n)\right)\\&{}+{\frac {1}{2(k-1)!}}\int _{n}^{N+1}f^{(k)}(x){\widetilde {E}}_{k-1}(h-x)\,dx,\end{aligned}}}
où
n
,
k
,
N
∈
N
,
k
>
0
,
n
⩽
N
,
h
∈
[
0
,
1
]
{\displaystyle n,k,N\in \mathbb {N} ,k>0,n\leqslant N,h\in [0,1]}
f
{\displaystyle f}
de classe
C
k
{\displaystyle C^{k}}
sur
[
n
,
N
+
1
]
{\displaystyle [n,N+1]}
;
f
(
j
)
{\displaystyle f^{(j)}}
est la dérivée
j
{\displaystyle j}
-ième de
f
{\displaystyle f}
[ 1] .
Références
(en) Jonathan M. Borwein, Neil J. Calkin, Dante Manna, « Euler–Boole summation revisited », American Mathematical Monthly , vol. 116, no 5, 2009 , p. 387–412 (lire en ligne )
Voir aussi