Calcul ombral

Calcul ombral

En mathématiques, le calcul ombral est le nom d'un ensemble de techniques de calcul formel qui, avant les années 1970, était plutôt appelé en français calcul symbolique. Il s'agit de l'étude des similarités surprenantes entre certaines formules polynomiales a priori non reliées entre elles, et d'un ensemble de règles de manipulation assez obscures pouvant être utilisées pour les obtenir (mais non les démontrer). Ces techniques furent introduites en 1861 par John Blissard (et sont parfois connues sous le nom de méthode symbolique de Blissard), mais elles sont souvent attribuées à James Joseph Sylvester, qui les utilisa de manière extensive, ou à Edouard Lucas[1]. On a parfois également employé le terme de calcul symbolique pour désigner le calcul opérationnel de Heaviside, mais les deux méthodes n'ont que peu de points communs.

Dans les années 1930 et 1940, Eric Temple Bell essaya de donner des bases rigoureuses au calcul ombral, peut-être pas tout à fait avec succès.

Dans les années 1970, Steven Roman, Gian-Carlo Rota et d'autres développèrent le calcul ombral du point de vue des formes linéaires sur les espaces de polynômes. Actuellement, le calcul ombral est ainsi compris comme l'étude de certaines suites de polynômes, les suites de Sheffer, incluant les suites de polynômes de type binomial (liées aux polynômes de Bell) et les suites d'Appell[2].

Sommaire

Le calcul symbolique du XIXe siècle

La méthode symbolique repose sur des analogies de notation pour obtenir des identités concernant des suites de nombres indexées en "faisant comme si" les indices étaient des exposants. Présenté de la sorte, cela semble absurde, mais cela marche pourtant ; les résultats ainsi obtenus peuvent ensuite être démontrées par des méthodes plus complexes, mais en revanche parfaitement rigoureuses. Voici un exemple mettant en jeu les polynômes de Bernoulli : considérons le développement binomial ordinaire

(x+y)^n=\sum_{k=0}^n{n\choose k}x^{n-k} y^k

et la relation remarquablement similaire sur les polynômes de Bernoulli :

B_n(x+y)=\sum_{k=0}^n{n\choose k}B_{n-k}(x) y^k

Comparons aussi la dérivée ordinaire

\frac{d}{dx} x^n = nx^{n-1}

à la relation très similaire sur les polynômes de Bernoulli :

\frac{d}{dx} B_n(x) = nB_{n-1}(x)

Ces similarités nous permettent de construire des « démonstrations » ombrales, qui, de prime abord ne peuvent pas être correctes, mais qui semblent donner tout de même des formules exactes. Ainsi, par exemple, en supposant que l'indice n − k est un exposant :

B_n(x)=\sum_{k=0}^n {n\choose k}b^{n-k}x^k=(b+x)^n,

et, en dérivant, on obtient le résultat escompté :

B_n'(x)=n(b+x)^{n-1}=nB_{n-1}(x)\,.

Dans cette formule, la variable b est une ombre. On trouvera un autre exemple plus détaillé dans l'article formule de Faulhaber.

Les séries de Taylor ombrales

Article détaillé : différence finie.

Des relations similaires ont aussi été observées dans la théorie des différences finies. La version ombrale des séries de Taylor est donnée par une expression similaire impliquant les k-èmes "différences vers l'avant" \Delta^k [f]\, d'une fonction polynomiale f,

f(x)=\sum_{k=0}^\infty\frac{\Delta^k [f](0)}{k!}(x)_k

où

(x)_k=x(x-1)(x-2)\cdots(x-k+1)

est la factorielle décroissante de Pochhammer. Une relation similaire est valable pour les différences vers l'arrière et la factorielle croissante.

Bell et Riordan

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !

Dans les années 1930 et 1940, Eric Temple Bell a essayé sans succès de donner à cette sorte d'argument une rigueur logique. Le combinatoriste John Riordan, dans son ouvrage Combinatorial Identities publié dans les années 1960, a utilisé ces techniques extensivement.

Le calcul ombral moderne

Un autre combinatoriste, Gian-Carlo Rota, indiqua que le mystère s'évanouissait si on considère la forme linéaire L sur les polynômes en y définie par

L(y^n)= B_n(0)= B_n.\,

Alors, on peut écrire

B_n(x)=\sum_{k=0}^n{n\choose k}B_{n-k}x^k=\sum_{k=0}^n{n\choose k}L(y^{n-k})x^k=L\left(\sum_{k=0}^n{n\choose k}y^{n-k}x^k\right)=L((y+x)^n),

etc. Rota affirma par la suite que beaucoup de confusions résultaient de l'échec à distinguer les trois relations d'équivalence qui apparaissent dans ce sujet, toutes étant désignées par le symbole "=".

Dans un article publié en 1964, Rota utilisa des méthodes symboliques pour établir la formule récursive satisfaite par les nombres de Bell, qui énumèrent les partitions des ensembles finis.

Dans l'article de Roman et Rota, le calcul ombral devient l'étude de l'algèbre ombrale, définie comme l'algèbre des formes linéaires sur l'espace vectoriel des polynômes de variable x, où le produit des formes linéaires L1 et L2 est défini par

\langle L_1 L_2 \mid x^n \rangle = \sum_{k=0}^n {n \choose k}\langle L_1 \mid x^k\rangle \langle L_2 \mid x^{n-k} \rangle.

Lorsque les suites de polynômes remplacent les suites de nombres comme images de yn sous l'application linéaire L, la méthode ombrale est vue comme un composant essentiel de la théorie générale des polynômes de Rota ; c'est cette théorie qui constitue le calcul ombral au sens moderne. Un petit échantillon de cette théorie peut être trouvé dans l'article type binomial (en) ; un autre peut être trouvé dans l'article suite de Sheffer (en).

Notes

  1. ↑ E. T. Bell, "The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life", The American Mathematical Monthly 45:7 (1938), pp. 414–421.
  2. ↑ Voir les articles anglais correspondants : suite de Sheffer, suites de polynômes de type binômial et suites d'Appell

Références

  • Steven Roman et Gian-Carlo Rota, "The Umbral Calculus", Advances in Mathematics, volume 27, pages 95 - 188, (1978).
  • G.-C. Rota, D. Kahaner, et A. Odlyzko, "Finite Operator Calculus," Journal of Mathematical Analysis and its Applications, vol. 42, no. 3, juin 1973. Réédité avec le même titre, Academic Press, New York, 1975.
  • Steven Roman, The Umbral Calculus, Dover Publications.

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Calcul ombral de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Différence finie — En mathématique, une différence finie est une expression de la forme f(x + b) − f(x + a). (où f est une fonction numérique) ; la même expression divisée par b − a s appelle un taux d accroissement (ou taux de… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Méthode des indivisibles — En géométrie, la méthode des indivisibles est une méthode de calcul d aire et de volume inventée par Cavalieri au XVIIe siècle, développée par Roberval, Torricelli et Pascal, plus efficace que la méthode d exhaustion d Archimède mais aussi… …   Wikipédia en Français

  • Eric Temple Bell — (né le 7 février 1883 à Peterhead (en), Écosse mort le 21 décembre 1960 à Watsonville (en), États Unis) est un mathématicien et auteur de science fiction. Ses œuvres de fiction ont été publiées sous le pseudonyme de John Taine …   Wikipédia en Français

  • Nombre De Stirling — En mathématiques, les nombres de Stirling apparaissent dans plusieurs problèmes combinatoires. Ils tirent leur nom de James Stirling, qui les a introduits au XVIIIe siècle. Il en existe deux sortes, nommés les nombres de Stirling de première …   Wikipédia en Français

  • Nombre de Stirling — En mathématiques, les nombres de Stirling apparaissent dans plusieurs problèmes combinatoires. Ils tirent leur nom de James Stirling, qui les a introduits au XVIIIe siècle. Il en existe deux sortes, nommés les nombres de Stirling de première …   Wikipédia en Français

  • Nombre de stirling — En mathématiques, les nombres de Stirling apparaissent dans plusieurs problèmes combinatoires. Ils tirent leur nom de James Stirling, qui les a introduits au XVIIIe siècle. Il en existe deux sortes, nommés les nombres de Stirling de première …   Wikipédia en Français

  • Gian-Carlo Rota — Rota en 1970 Gian Carlo Rota, né le 27 avril 1932, à Vigevano, en Italie, mort le 18 avril 1999, est un mathématicien et philosophe américain né en Italie. Biographie Né en Italie, il y demeure 13 ans. Sa famille émigre en Suisse, puis il entre… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”