Secvența Appel este o secvență de polinoame care satisface identitatea:
,unde este o constantă diferită de zero.
Numit după Paul Emil Appel . Printre cele mai cunoscute secvențe Appel, pe lângă exemplul banal , sunt polinoamele Hermite , polinoamele Bernoulli și polinoamele Euler . Fiecare secvență Appel este o secvență Schaeffer , dar, în general, secvențele Schaeffer nu sunt secvențe Appel. Secvențele de apel au o interpretare probabilistică ca sisteme de momente .
Următoarele condiții privind secvențele de polinoame sunt echivalente cu definiția unei secvențe Appell:
În cazul în care un:
,unde ultima egalitate definește un operator liniar pe spațiul polinoamelor în , și:
este operatorul invers, unde coeficienții sunt coeficienții seriei de puteri formale inverse , astfel încât:
,(în terminologia calculului umbră , o serie de putere formală este adesea folosită în locul secvenței Appel în sine ), atunci avem:
folosind expansiunea obișnuită a seriei pentru logaritm și definiția obișnuită a compoziției seriilor formale. De unde vine:
.(Această diferențiere formală a unei serii în raport cu un operator diferenţial este un exemplu de derivată Pinkerle ).
În cazul polinoamelor Hermite , aceasta se reduce la formula recursivă obișnuită pentru această secvență.
Mulțimea tuturor secvențelor Schaeffer este închisă sub compoziția umbră a secvențelor polinomiale, definite după cum urmează. Fie și secvențe polinomiale definite după cum urmează:
.Atunci compoziția umbrei este o succesiune de polinoame, al căror termen are forma:
(indicele apare în , deoarece este al- lea membru al acestei secvențe, dar nu în , deoarece aici se referă la întreaga secvență, nu la unul dintre membrii ei).
În cadrul unei astfel de operații, mulțimea tuturor secvențelor Schaeffer este un grup non-abelian , dar setul tuturor secvențelor Appel este un subgrup abelian . Proprietatea sa abeliană rezultă din faptul că fiecare secvență Appel are forma:
,și că produsul umbră al secvențelor Appel corespunde înmulțirii acestor serii formale de putere cu o variabilă operator .