Les fonctions génératrices

Bonjour à tous.
J'ai commencé à lire quelques livre de théorie des nombre et le thème des fonctions génératrice apparaît (définition, résultat dans des cas particulier...)
Mais je n'ai pas réussi à cerner l'intérêt de ces fonctions.
Quelles propriétés de la suite étudiée permettent elles d'isoler ?
D'où vient l'idée de ces fonctions ?
Y a-t-il des généralisations, càd au lieu d'utiliser une génératrice sous forme de polynôme utiliser une génératrice trigonométrique. Ou encore à partir d'une classe intéressante de fonctions ?
Merci

Réponses

  • <!--latex-->On peut s'en servir par exemple pour expliciter des suites des suites définies par récurrence, comme dans ce post <BR><a href = "http://www.les-mathematiques.net/phorum/read.php?f=2&i=288953&t=288333#reply_288953"&gt; http://www.les-mathematiques.net/phorum/read.php?f=2&i=288953&t=288333#reply_288953 </a>.
    <BR>
    <BR>La bible sur le sujet sur le sujet se trouve ici : <BR><a href = "http://www.math.upenn.edu/~wilf/gfologyLinked2.pdf"&gt; http://www.math.upenn.edu/~wilf/gfologyLinked2.pdf </a>.
  • Wilf est spécialiste d'analyse combinatoire, mais l'idée générale en théorie des nombres est la même.

    Prenons un cadre concret : celui des fonctions multiplicatives.

    {\bf Exemple} : $f(n) = \tau(n)$, le nombre de diviseurs de $n$, dont on souhaite obtenir des propriétés arithmétiques. Dans une certaine branche de la théorie des nombres, l'un des problèmes essentiels est l'estimation des sommes partielles $\displaystyle {\sum_{n \leqslant x} \tau(n)}$.

    On peut, à l'aide de méthodes "élémentaires" mais astucieuses ({\it principe de l'hyperbole de Dirichlet}), obtenir de bonnes estimations de cette somme, mais, pour améliorer les résultats, on passe par la fonction génératrice de la fonction $\tau$ qui, ici et en raison de son caractère multiplicatif, n'est pas une série entière mais une série de Dirichlet : $$\sum_{n=1}^{\infty} \frac {\tau(n)}{n^s} = \zeta(s)^2,$$ où $\zeta$ est la fonction zeta de Riemann, et $s$ est un nombre complexe tel que $\Re s > 1$. La fonction $\zeta$ a été étudiée sous toutes ses coutures en analyse complexe, et, en connaissant certaines propriétés, on arrive à extraire de $\zeta^2$ les sommes partielles souhaitées, et ce avec un bon terme d'erreur.

    Borde.
  • Merci beaucoup.
    Je pense que je vais prendre un peu de temps pour déchiffrer ce livre de Wilf.
    (Surtout que je ne suis qu'en MPSI).
    Mais il me reste encore la question des généralisations.
  • Parmi les pistes possibles de généralisation, on peut considérer les fonctions génératrices à plusieurs variables, commutantes ou non.
  • et est-ce qeu des gens on travaillé sur des fonctions génératrice "trigo"?
    voir exponentielle. Ou encore je pense à un article sur la lambda pondérabilité de Giblacloni. en effet si je pense à généraliser e genre de transformation, je me dit que dans le cas d'une fonction génératrice d'une suite donné:
    $\sum_{n=0}^{\infty} U_n*x^n$
    on peut la transformer en :
    $\sum_{n=0}^{\infty} U_n*V_n$
    dans ce cas on peut dire que la deuxieme somme est la U-Généré de V
    ou que la première est la V-généré de U.
    Pourquoi la génératrice avec $V_n=x^n$ aurait-elle plus de sens que $V_n=sin(n)^n$ ou du moins il se pourrait que dans d'autre cas cela soit plus pertinant.
  • bbmm,

    outre les fct génératrices du type $\sum\,a_nz^n$, il y a des fcts génératrices exponentielles $\sum\,a_n\frac{z^n}{n!}$ ou encore des fcts génératrices de Dirichlet $\sum\,\frac{a_n}{n^z}$, dont Borde a parlé plus haut, mais je connais pas de fcts génératrices "trigonométriques" proprement dites (mais enfin, à mon avis, tu peux les définir simplement à partir des fg exponentielles).

    Pour des applications de ces diverses fg avec exemples et exercices, je te recommande le célèbre ouvrage suivant :
    D.E. Knuth et al., {\bf concrete mathematics}, ed. Addsion-Wesley.

    il y a une traduction française qu'on peut trouver par exemple ici :
    \lien{http://www.amazon.fr/exec/obidos/ASIN/2711748243/qid=1149449067/sr=2-1/ref=sr_2_9_1/171-5127716-4245002}
    Evidemment c'est pas donné, mais, étant donné l'immense talent des auteurs, {\bf aucun} acheteur de ce livre n'a jamais regretté son geste...
  • J'ai acheté le <I>Mathematiques concrètes</I>, dont parle notre ami Aleg, et il dit vrai : c'est un bon investissement, et c'est un livre suffisamment complet que l'on se doit de posséder.
    <BR>
    <BR>Je rajouterais, au niveau des références, l'excellent <I>Asymptotic enumeration methods</I> d'Odlyzko, à télécharger ici <a href=" http://www.dtc.umn.edu/~odlyzko/doc/asymptotic.enum.pdf"&gt; http://www.dtc.umn.edu/~odlyzko/doc/asymptotic.enum.pdf</a&gt;
    <BR>
    <BR>Borde.<BR>
Connectez-vous ou Inscrivez-vous pour répondre.