Appel sorozat

Az Appel sorozat polinomok sorozata  [ , amely megfelel a következő azonosságnak:

,

ahol  egy nem nulla állandó.

Paul Emil Appelről nevezték el . A leghíresebb Appel-szekvenciák közé tartozik a triviális példa mellett a Hermite-polinomok , a Bernoulli-polinomok és az Euler-polinomok . Minden Appel -szekvencia egy Schaeffer-szekvencia , de általában a Schaeffer-szekvenciák nem Appel-szekvenciák. Az Appel sorozatok valószínűségi értelmezése pillanatrendszerekként történik .

Egyenértékű definíciók

A polinomok sorozataira vonatkozó alábbi feltételek egyenértékűek egy Appell sorozat meghatározásával:

Rekurzív hozzárendelés

Ha egy:

,

ahol az utolsó egyenlőség egy lineáris operátort határoz meg a polinomok terén , és:

az inverz operátor, ahol az együtthatók az inverz formális hatványsor együtthatói , így:

,

( az árnyékkalkulus terminológiájában gyakran egy formális hatványsort használnak maga az Appel-sorozat helyett ), akkor van:

a szokásos sorozatbővítést használva a logaritmushoz és a formális sorozatok összetételének szokásos definíciójához. Honnan származik:

.

(Egy sorozatnak ez a formális differenciálása egy differenciáloperátorhoz képest a Pinkerle-származék példája ).

A Hermite polinomok esetében ez a sorozat szokásos rekurzív képletére redukálódik.

Schaeffer-polinomok alcsoportja

Az összes Schaeffer-szekvencia halmaza a polinomiális sorozatok árnyékkompozíciója alatt zárva van, az alábbiak szerint. Legyen és  az alábbiak szerint meghatározott polinomiális sorozatok:

.

Ekkor az árnyékkompozíció  polinomok sorozata, amelynek a következő alakja van:

(az alsó index a -ban jelenik meg , mivel ennek a sorozatnak a th tagja, de nem -ben , mivel itt a teljes sorozatra vonatkozik, nem annak egyik tagjára).

Egy ilyen művelet során az összes Schaeffer-szekvencia halmaza egy nem Abeli-csoport , de az összes Appel-sorozat halmaza egy Abeli-alcsoport . Abeli ​​tulajdonsága abból a tényből következik, hogy minden Appel-szekvenciának a következő alakja van:

,

és hogy az Appel sorozatok árnyékszorzata megfelel ezeknek a formális hatványsoroknak egy operátorváltozóval való szorzásának .

Irodalom

Linkek