Calcolare in forma chiusa
$ \displaystyle f(n)=\sum_{k} \left[\begin{matrix} n \\ k \end{matrix}\right]B_k $,
dove $ \displaystyle \left[\begin{matrix} n \\ k \end{matrix}\right] $ è un numero di Stirling del primo tipo, $ \displaystyle B_k $ è un numero di Bernoulli.
Somma alla Stirling - Bernoulli
-
- Messaggi: 1776
- Iscritto il: 17 nov 2007, 19:12
Re: Somma alla Stirling - Bernoulli
$ \displaystyle \sum_{k} \left[\begin{matrix} n \\ k \end{matrix}\right]B_k = (-1)^n \frac{n!}{n+1} $
- FrancescoVeneziano
- Site Admin
- Messaggi: 606
- Iscritto il: 01 gen 1970, 01:00
- Località: Genova
- Contatta:
Per nota di cronaca, i numeri di Bernoulli sono definiti come le derivate della funzione $ \frac{z}{e^z-1} $ in z=0, in modo che
$ \displaystyle \sum_{n=0}^\infty B_n \frac{z^n}{n!}=\frac{z}{e^z-1} $.
I numeri di Stirling del primo tipo $ \left[\frac{n}{k}\right] $ invece sono definiti come il numero di permutazioni di $ \{1,\dotsc,n\} $ che si decompongono come prodotto di esattamente k cicli disgiunti (un punto fisso conta come un ciclo).
Forse elgiovo sta leggendo Generatingfunctionology?
$ \displaystyle \sum_{n=0}^\infty B_n \frac{z^n}{n!}=\frac{z}{e^z-1} $.
I numeri di Stirling del primo tipo $ \left[\frac{n}{k}\right] $ invece sono definiti come il numero di permutazioni di $ \{1,\dotsc,n\} $ che si decompongono come prodotto di esattamente k cicli disgiunti (un punto fisso conta come un ciclo).
Forse elgiovo sta leggendo Generatingfunctionology?
Wir müssen wissen. Wir werden wissen.
-
- Messaggi: 1776
- Iscritto il: 17 nov 2007, 19:12
-
- Messaggi: 1776
- Iscritto il: 17 nov 2007, 19:12
Re: Somma alla Stirling - Bernoulli
Ah no, ho capito: esistono almeno due definizioni di numeri di Stirling del primo tipo. Quella che ha dato FrancescoVeneziano e che usa Generatingfunctionology, ed un'altra che uso io, Wikipedia, Mathworld, Planetmath, etc. La relazione fra le due è
$ \displaystyle \left[\begin{matrix} n \\ k \end{matrix}\right]_1 = (-1)^{n+k}\left[\begin{matrix} n \\ k \end{matrix}\right]_2 $.
In pratica, secondo la notazione di FrancescoVeneziano, io ho calcolato
$ \displaystyle \sum_{k} (-1)^{n+k}\left[\begin{matrix} n \\ k \end{matrix}\right]B_k $,
ed il mio calcolo era in effetti giusto.
$ \displaystyle \left[\begin{matrix} n \\ k \end{matrix}\right]_1 = (-1)^{n+k}\left[\begin{matrix} n \\ k \end{matrix}\right]_2 $.
In pratica, secondo la notazione di FrancescoVeneziano, io ho calcolato
$ \displaystyle \sum_{k} (-1)^{n+k}\left[\begin{matrix} n \\ k \end{matrix}\right]B_k $,
ed il mio calcolo era in effetti giusto.