Formule de Faà di Bruno

En mathématiques, et plus précisément en analyse, la formule de Faà di Bruno est une identité généralisant la règle de dérivation des fonctions composées au cas des dérivées d'ordre supérieur. Elle a été souvent attribuée au mathématicien italien François Faà di Bruno, en 1855[1], mais on en connaît des mentions plus anciennes[2],[3], la première étant sans doute due, en 1800, à Louis François Antoine Arbogast[4].

La formule de dérivation de Faà di Bruno

La forme la plus connue de cette formule est sans doute

où la somme parcourt tous les n-uplets (m1, ..., mn) vérifiant la contrainte :

Pour pouvoir la retenir plus facilement, on l'énonce parfois

forme dans laquelle on reconnaît la composition des séries de Taylor, mais sous cette forme, l'interprétation combinatoire des coefficients discutée plus bas est plus difficile à percevoir.

Combinant les termes correspondant à la même valeur de m1 + m2 + ... + mn = k et remarquant que mj doit être nul pour j > nk + 1, on arrive à une autre formule un peu plus simple, exprimée en fonction des polynômes de Bell Bn,k(x1,...,xnk+1) :

Forme combinatoire

La formule peut s'écrire sous la forme « combinatoire » suivante :

  • « B ∈ π » signifie que la variable B parcourt la liste de tous les blocs de la partition π, et
  • |A| désigne le cardinal de l'ensemble A (et donc |π| est le nombre de blocs de la partition π, et |B| est la taille du bloc B).

Explication sur un exemple

La forme combinatoire peut sembler inutilisable au premier abord, aussi nous allons montrer sur un cas concret à quoi elle ressemble :

Quelle est la règle ?

Le facteur , par exemple, correspond à la partition 2 + 1 + 1 de l'entier 4 (puisque nous cherchons la dérivée d'ordre 4), et le facteur qui l'accompagne venant de ce qu'il y a trois termes dans cette partition ; enfin, le coefficient 6 résulte de ce qu'il y a exactement 6 partitions d'un ensemble à 4 éléments de la forme « une paire et deux singletons ».

La combinatoire des coefficients de la formule

Les coefficients de Faà di Bruno correspondant à ces comptes de partitions ont une forme explicite ; en effet, le nombre de partitions d'un entier n correspondant à la somme (la partition entière)

est égal à

Ces coefficients apparaissent aussi dans les polynômes de Bell, utilisés dans l'étude des cumulants.

Deux cas particuliers

Si , alors toutes les dérivées de f sont les mêmes, et sont facteurs communs de tous les termes de la formule. Quand g(x) est une fonction génératrice de cumulants, f(g(x)) est une fonction génératrice de moments, et le polynôme en les dérivées de g est le polynôme exprimant les moments en fonction des cumulants. Prenant , on retrouve aussi de cette manière les polynômes d'Hermite.

Si , on a  ; on en déduit[5] la formule suivante pour la dérivée n-ième de  :

est tel que : .

Une version à plusieurs variables

Soit y = g(x1, ..., xn). Alors l'identité suivante est vraie, que les n variables soient distinctes, ou identiques, ou partitionnées en classes de variables indiscernables (l'exemple concret ci-dessous devrait rendre cela clair) :

[6],

où, comme précédemment, π parcourt l'ensemble Π de toutes les partitions de { 1, ..., n }, B ∈ π signifie que B parcourt les blocs de la partition π, et |A| est le cardinal de l'ensemble A. Une généralisation supplémentaire, correspondant au cas où Y est une variable vectorielle, est due à Tsoy-Wo Ma[7].

Exemple

Les cinq termes de l'expression suivante correspondent aux cinq partitions de l'ensemble {1, 2, 3}, et dans chaque cas l'ordre de la dérivée de f est le nombre de sous-ensembles de la partition :

Si les trois variables sont identiques, les trois facteurs de le sont aussi, et l'on retrouve alors la formule classique à une seule variable.

Une version concernant les séries formelles

Si alors le coefficient cn (qui est la dérivée formelle n-ième en 0 de la série formelle h) est donné par : (avec les mêmes conventions que précédemment : π parcourt l'ensemble des partitions de l'ensemble {1, ..., n}, B1,..., Bk sont les blocs de la partition π, et |Bj| est le nombre d'éléments du j-ème bloc pour j = 1,..., k).

Cette version de la formule est particulièrement bien adaptée aux méthodes de l'analyse combinatoire[8].

Elle se récrit : où les Bn,k(a1,...,ank+1) sont des polynômes de Bell.

Par exemple, pour tout entier ℓ ≥ 1 : ou encore :

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Faà di Bruno's formula » (voir la liste des auteurs).
  1. (it) Faà di Bruno, « Sullo sviluppo delle funzioni », Annali di scienze matematiche e fisiche, vol. 6,‎ , p. 479 (lire en ligne).
  2. (en) Alex D. D. Craik, « Prehistory of Faà di Bruno's formula », Am. Math. Monthly, vol. 112, no 2,‎ , p. 119–130 (JSTOR 30037410).
  3. (en) Warren P. Johnson, « The curious history of Faa di Bruno's formula », Am. Math. Monthly, vol. 109,‎ , p. 217-234 (lire en ligne) (prix Paul R. Halmos-Lester R. Ford 2003).
  4. Louis François Antoine Arbogast, Du calcul des dérivations, Strasbourg, Levrault, (lire en ligne), p. 43.
  5. Feldmann 2013.
  6. (en) Michael Hardy, « Combinatorics of Partial Derivatives », Electronic Journal of Combinatorics, vol. 13, no 1,‎ , R1 (lire en ligne).
  7. (en) Ma, Tsoy Wo, « Higher Chain Formula proved by Combinatorics », Electronic Journal of Combinatorics, vol. 16, no 1,‎ , N21 (lire en ligne).
  8. Voir la « formule de composition » dans (en) Richard P. Stanley, Enumerative Combinatorics, vol. 2, Cambridge, CUP, , 7e éd. (ISBN 978-0-521-55309-4, présentation en ligne, lire en ligne), chap. 5.

Voir aussi

Article connexe

Calcul ombral

Liens externes

Read other articles:

Babun hamadria[1] Papio hamadryas Babun hamadria jantan di Pegunungan Hijaz di dekat Ta'if, Arab SaudiBabun hamadria betina di Taman Nasional Awash, EtiopiaStatus konservasiRisiko rendahIUCN16019 TaksonomiKerajaanAnimaliaFilumChordataKelasMammaliaOrdoPrimatesFamiliCercopithecidaeGenusPapioSpesiesPapio hamadryas (Linnaeus, 1758) Tata namaSinonim taksonSimia hamadryas Linnaeus, 1758ProtonimSimia hamadryas Distribusi lbs Babun hamadria (Papio hamadryas) adalah spesies babun yang ber...

 

 

Questa voce o sezione sull'argomento isole d'Italia non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. SpargiGeografia fisicaLocalizzazioneMar Tirreno Coordinate41°14′36″N 9°20′51″E / 41.243333°N 9.3475°E41.243333; 9.3475Coordinate: 41°14′36″N 9°20′51″E / 41.243333°N 9.3475°E41.243333; 9.3475 Arcipelag...

 

 

Caño Tomás FaultFalla de Caño TomásEtymologyCaño TomásNamed byPageYear defined1986Coordinates8°26′N 73°17′W / 8.433°N 73.283°W / 8.433; -73.283Country ColombiaRegionAndeanStateNorte de SantanderCharacteristicsRangeEastern Ranges, AndesPart ofAndean thrust faultsLength81.6 km (50.7 mi)Strike011.4 ± 8DipWestDip angleHighDisplacement<0.2 mm (0.0079 in)/yrTectonicsPlateNorth AndeanStatusInactiveTypeThrust faultMovementReverseAgeQu...

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапсиды�...

 

 

Pour les articles homonymes, voir Bertrade. Bertrade de Montfort Bertrade de Monfort dans une miniature du XVe siècle.Titres Reine des Francs 1092 – 29 juillet 1108(16 ans) Données clés Prédécesseur Berthe de Hollande Successeur Adélaïde de Savoie Comtesse d'Anjou 1089 – 1092(3 ans) Données clés Prédécesseur N. de Brienne Successeur Erembourg du Maine Biographie Dynastie Maison de Montfort-l'Amaury Naissance vers 1070 Décès 14 février 1117Fontevraud-l'Abbaye ...

 

 

Israeli politician (1919–2009) Jabr MuadiFaction represented in the Knesset1951–1955Democratic List for Israeli Arabs1956–1959Democratic List for Israeli Arabs1961–1966Cooperation and Brotherhood1966–1967Cooperation and Development1967Cooperation and Brotherhood1967–1969Druze Party1969–1974Progress and Development1974–1976Alignment1976–1977Progress and Development1977United Arab List1981United Arab List Personal detailsBorn1 April 1919Yirka, OETA, PalestineDied19 May 2009(20...

كثافة الكتليةمعلومات عامةالرموز الشائعة ρ Dالتعريف الرياضي ρ = d m d V {\displaystyle \rho ={\frac {\mathrm {d} m}{\mathrm {d} V}}} [1][2][3]نظام الوحدات الدولي كجم/م3التحليل البعدي L − 3 M {\displaystyle {\mathsf {L}}^{-3}{\mathsf {M}}} تعديل - تعديل مصدري - تعديل ويكي بيانات برج الكثافة, ويوضح بعض المواد المختل...

 

 

Частина серії проФілософіяLeft to right: Plato, Kant, Nietzsche, Buddha, Confucius, AverroesПлатонКантНіцшеБуддаКонфуційАверроес Філософи Епістемологи Естетики Етики Логіки Метафізики Соціально-політичні філософи Традиції Аналітична Арістотелівська Африканська Близькосхідна іранська Буддій�...

 

 

10th and 12th Vice President of Indonesia Jusuf KallaOfficial portrait, 201410th and 12th Vice President of IndonesiaIn office20 October 2014 – 20 October 2019PresidentJoko WidodoPreceded byBoedionoSucceeded byMa'ruf AminIn office20 October 2004 – 20 October 2009PresidentSusilo Bambang YudhoyonoPreceded byHamzah HazSucceeded byBoediono12th Chairman of the IndonesianRed Cross SocietyIncumbentAssumed office 22 December 2009Preceded byMar'ie Muhammad8th Gene...

Check on the accuracy of measurement devices Zeroing redirects here. For the U.S. government antidumping duties, see Zeroing (trade). For other uses, see Zeroing (disambiguation). This article is about assessing the accuracy of a measurement device, like a scale or a ruler. For the statistical concept, see Calibration (statistics). For the geometry concept, see Calibrated geometry. In measurement technology and metrology, calibration is the comparison of measurement values delivered by a devi...

 

 

As a result of the Soviet invasion of Poland in 1939, hundreds of thousands of Polish soldiers became prisoners of war. Many of them were executed; 22,000 Polish military personnel and civilians perished in the Katyn massacre alone.[1][2] Soviet invasion of Poland Further information: Soviet invasion of Poland Polish prisoners of war captured by the Red Army during the Soviet invasion of Poland Polish policemen and civilians captured by the Red Army after the Soviet invasion ...

 

 

Combat involving electronics and directed energy For warfare on the Internet, see Cyberwarfare. For the Underground Resistance album, see Electronic Warfare (album). United States Space Force personnel operating a satellite antenna during an electromagnetic warfare military exercise Part of a series onWarOutline History Prehistoric Ancient Post-classical castles Early modern pike and shot napoleonic Late modern industrial fourth-gen Military Organization Command and control Defense ministry A...

British television drama series TrinityCreated byKieron QuirkeRobin FrenchDirected byColin TeagueDeclan O'DwyerStephen WoolfendenStarringCharles DanceClaire SkinnerAntonia BernathChristian CookeReggie YatesIsabella CalthorpeElen RhysArnab ChandaMark WoodPaul HunterMichael HiggsTom HughesDavid OakesRod ArthurAnthony CalfCountry of originUnited KingdomOriginal languageEnglishNo. of series1No. of episodes8 (list of episodes)ProductionProducerSue HowellsEditorXavier RussellRunning time60 minutes ...

 

 

Questa voce sull'argomento centri abitati dell'Oxfordshire è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Chestertonparrocchia civileChesterton – Veduta LocalizzazioneStato Regno Unito    Inghilterra RegioneSud Est Contea Oxfordshire DistrettoCherwell TerritorioCoordinate51°53′16.8″N 1°11′02.4″W51°53′16.8″N, 1°11′02.4″W (Chesterton) Superficie13,2 km² Abitanti850 (2011) Densità64,39 ab./km²...

 

 

Greek bread Paximadia Paximathia (Greek: παξιμάδια), also spelt paximadia (plural), or paximadi/paximathi (singular), is a hard bread of Greek origin, similar to rusk, that is prepared with whole wheat, chick pea or barley flour.[1][2][3] It has been referred to as being similar to biscotti or as a type of biscotti.[4] Paximathia is a common food in Greece and many Greek bakeries sell the bread, which is often served as a breakfast food with marmalade ...

One hundred years, from 2001 to 2100 For other uses, see 21st century (disambiguation). Millennium 3rd millennium Centuries 20th century 21st century 22nd century Timelines 20th century 21st century 22nd century State leaders 20th century 21st century 22nd century Decades 2000s 2010s 2020s 2030s 2040s 2050s 2060s 2070s 2080s 2090s Categories: Births – Deaths Establishments – Disestablishments vte The 21st century is the current century in ...

 

 

Norvègeau Concours Eurovision 1960 Données clés Pays  Norvège Chanson Voi Voi Interprète Nora Brockstedt Compositeur Georg Elgaaen Parolier Georg Elgaaen Langue Norvégien Sélection nationale Radiodiffuseur Norsk rikskringkasting (NRK) Type de sélection Finale nationaleÉmission télévisée : Melodi Grand Prix 1960 Date 20 février 1960 Lieu Oslo Concours Eurovision de la chanson 1960 Position en finale 4e (ex-aequo)(11 points) 1961 modifier La Norvège a participé au Conc...

 

 

إيميرالد ماونتن   الإحداثيات 32°26′53″N 86°05′39″W / 32.4481°N 86.0942°W / 32.4481; -86.0942   [1] تقسيم إداري  البلد الولايات المتحدة  التقسيم الأعلى مقاطعة إلمور  خصائص جغرافية  المساحة 43.342278 كيلومتر مربع43.342269 كيلومتر مربع (1 أبريل 2010)  ارتفاع 325 قدم  عدد الس�...

1986 single by DivinylsHeart TelegraphSingle by Divinylsfrom the album What a Life! B-sideGuillotine DayReleased5 May 1986[1]GenreNew waveLength4:48LabelChrysalisSongwriter(s)Christina Amphlett, Mark McEnteeProducer(s)Gary LanganDivinyls singles chronology Sleeping Beauty (1985) Heart Telegraph (1986) Back to the Wall (1988) Heart Telegraph is a song by Australian rock band Divinyls. It was released in 1986 as the fifth and final single from their second studio album What a Life!. The...

 

 

Musical instrument LijericaA Lijerica from DalmatiaString instrumentHornbostel–Sachs classification321.321-71(Necked bowl lute sounded by a bow)Related instruments Byzantine lyra Classical Kemenche, (Turkish: Armudî kemençe, Greek: Πολίτικη Λύρα) Cello Lira (Calabrian) (Italian: Lira Calabrese) Lira da braccio Lyra (Cretan) (Greek: Λύρα) Lyre (terminology) Fiddle Gadulka (Bulgarian: Гъдулка) Gudok (‹See Tfd›Russian: гудок Ukrainian: гудок) Kemenche Rab...