Intégration des fonctions réciproques

L'intégration de la fonction réciproque f −1 d'une bijection f peut être effectuée au moyen d'une formule mathématique mettant seulement en jeu la bijection réciproque f −1 et une primitive de f.

Énoncé du théorème

Soit I1 et I2 deux intervalles de . Supposons que f : I1I2 est une bijection continue et soit f −1 : I2I1 sa bijection réciproque (on démontre que f −1 est également continue, donc f et f −1 admettent des primitives). Si F désigne une primitive de f, les primitives de f −1 sont de la forme

Preuve sans mots du théorème

Preuves

Ces deux cas particuliers du théorème sont en fait équivalents puisque (cf. ci-dessous) son énoncé peut se reformuler de façon symétrique en f et f −1. La première méthode s'adapte au cas où f −1 est seulement absolument continue[4]. La seconde s'adapte au cas général : il suffit de raisonner sur des intégrales de Stieltjes[4].

  • Si f(a) = c et f(b) = d, le théorème se réécrit :
    La figure ci-contre[1],[5],[6] est une preuve sans mots de cette formule (proche sous cette forme de l'inégalité de Young), que l'on peut expliciter en termes d'intégrales de Riemann-Darboux[5],[6].
  • On peut aussi vérifier simplement[réf. souhaitée] qu'en tout point y de I2, le nombre dérivé de la fonction yyf −1(y) – F(f −1(y)) est bien égal à f −1(y), c'est-à-dire que
    Il suffit pour cela d'appliquer le théorème des accroissements finis à la fonction F entre x et x + h, puis de se souvenir que f est monotone.

Exemples

  1. Supposons que , donc . La formule ci-dessus implique immédiatement
  2. De même, avec et , il vient
  3. Avec et , il vient

Historique

Ce théorème d'intégration, accompagné de sa justification géométrique en termes d'aire, et d'une démonstration supposant f −1 dérivable, fut publié en 1905 par Charles-Ange Laisant[1], qui la jugeait « d'une telle simplicité qu'[il avait] peine à croire nouvelle [cette] règle », mais cherchait à la répandre dans l'enseignement. Le résultat fut publié indépendamment en 1912 par un ingénieur italien, Alberto Caprilli[7].

Le théorème a été traité dans des publications destinées à l'enseignement. En 1955, F. D. Parker souligne son intérêt pour les premières années universitaires et en donne plusieurs applications[8]. Dans son Calculus de 1967, Michael Spivak propose en exercice les trois premières preuves ci-dessus, en détaillant la troisième (par les sommes de Darboux), qui traite le cas général. Dans un article de 1994[6], Eric Key rédige cette démonstration, qui souligne l'adéquation dans ce cas de la définition formelle de l'intégrale à l'intuition géométrique donnée par l'aire et insiste sur l'intérêt du théorème en s'appuyant sur Parker.

Analogue pour les fonctions holomorphes

Pour les fonctions holomorphes, on démontre la même formule par la première des preuves ci-dessus (transcrite en termes de différentiation complexe) :

Soient U et V deux ouverts simplement connexes du plan complexe. Supposons que f : UV est un biholomorphisme, c'est-à-dire une bijection holomorphe dont la réciproque est holomorphe (f et f −1 admettent donc des primitives). Si F désigne une primitive de f, les primitives de f −1 sont de la forme

Notes et références

  1. a b et c C.-A. Laisant, « Intégration des fonctions inverses », Nouvelles annales de mathématiques, vol. 5, no 4,‎ , p. 253-257 (lire en ligne).
  2. (en) Michael Spivak, Calculus, , chap. 12 (« Inverse Functions »), p. 212.
  3. Spivak 1967, chap. 18, (« Integration in Elementary Terms »), p. 326.
  4. a et b (en) M. Bensimhoun, « On the antiderivative of inverse functions », arXiv,‎ (arXiv 1312.3839).
  5. a et b Spivak 1967, chap. 13, (« Integrals »), p. 235 et p. 273 de la réédition de 2006.
  6. a b et c (en) E. Key, « Disks, Shells, and Integrals of Inverse Functions », The College Mathematics Journal (en), vol. 25, no 2,‎ , p. 136-138 (DOI 10.2307/2687137, lire en ligne).
  7. (it) Alberto Caprilli, Nuove formole d'integrazione, , 178 p. (lire en ligne).
  8. (en) F. D. Parker, « Integrals of inverse functions », The American Mathematical Monthly, vol. 62, no 6,‎ , p. 439–440 (DOI 10.2307/2307006), publié comme « Classroom notes ».

Read other articles:

CA28Stasiun Aino愛野駅Stasiun Aino pada 2006Lokasi691-8 Aino, Fukuroi-shi, Shizuoka-kenJepangKoordinat34°45′9″N 137°57′42″E / 34.75250°N 137.96167°E / 34.75250; 137.96167Koordinat: 34°45′9″N 137°57′42″E / 34.75250°N 137.96167°E / 34.75250; 137.96167Operator JR CentralJalur Jalur Utama TokaidoLetak234.6 kilometer dari TokyoJumlah peron1 peron pulauInformasi lainStatusMemiliki staf (Midori no Madoguchi)SejarahDibuka22 Ap...

 

Baudouin IV, Comte FlandriaPasanganOgive dari LuksemburgÉléonore dari NormandiaAnakBaudouin V dari Flandria Judith dari FlandriaKeluarga bangsawanWangsa FlandriaBapakArnoul II dari FlandriaIbuRosala dari ItaliaLahir980Meninggal30 Mei 1035 Baudouin IV dari Flandria (980 – 30 Mei 1035) yang dikenal sebagai si Jenggot, merupakan seorang Comte Flandria. Biografi Baudouin IV yang lahir pada sekitar tahun 980, merupakan putra Arnoul II dari Flandria (skt. 961 - 987) dan Rosala dari Italia (950/...

 

artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Medina Warda AuliaMedina Warda Aulia, World Junior Championship 2012 di AthenaNama lengkapMedina Warda AuliaAsal negaraIndonesiaLahir7 J...

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. Berikut ini adalah daftar bangunan tertinggi menurut prefektur Jepang. Daftar bangunan Prefektur Kota Nama Gambar Tinggim (ft) Lantai Tahun Koordinat Ref Aichi Nagoya Midland Square 247 (810) 47 2006 35°10′14″N 136°53′06″E / ...

 

Strada statale 736di CosenzaLocalizzazioneStato Italia Regioni Calabria DatiClassificazioneStrada statale InizioA2 uscita Cosenza FineCosenza Lunghezza0,693[1] km GestoreANAS (2015-) PedaggioGratuito PercorsoLocalità serviteCittà di Cosenza Manuale La strada statale 736 di Cosenza (SS 736) è una strada statale italiana che collega l'A2 Salerno-Reggio Calabria all'omonimo capoluogo calabrese. Con i suoi 693 metri è la strada statale più corta d’Italia. Indice 1 Percor...

 

Renan Silva Informasi pribadiNama lengkap Renan da SilvaTanggal lahir 2 Januari 1989 (umur 35)Tempat lahir Rio de Janeiro, BrasilTinggi 176 cm (5 ft 9 in)Posisi bermain Gelandang serangInformasi klubKlub saat ini Persik KediriNomor 10Karier junior2000–2010 FlamengoKarier senior*Tahun Tim Tampil (Gol)2011 Vitória 1 (0)2011 Olaria 16 (6)2012 Boavista 4 (1)2012 Rapid Bucureşti 5 (3)2013 Petrolul Ploiești 12 (1)2013 Al-Nahda 11 (3)2014 Macaé 4 (0)2014 Songkhla United 12...

Satirical conspiracy theory Billboard in Memphis, Tennessee, 2019[1] Birds Aren't Real is a satirical conspiracy theory which posits that birds are actually drones operated by the United States government to spy on American citizens.[2][3][4][5] In 2018, journalist Rachel Roberts described Birds Aren't Real as a joke that thousands of people are in on.[3] Background Poster inspired by the movement at the 35th Chaos Communication Congress confer...

 

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: Cassini–Huygens – berita · surat kabar · buku · cendekiawan · JSTOR (Februari 2023) Cassini–HuygensArtist's concept of Cassini's orbit insertion around SaturnJenis misiCassini: Saturn orbiterHuygens: ...

 

3 Sempruuul Mengejar Surga 4Genre Drama Roman Komedi Religi PembuatStarvisionSkenarioAngtut LangsiCeritaAngtut LangsiSutradaraRievy IndriasariPemeran Andhika Pratama Gading Marten Uus Eriska Rein Sahila Hisyam Gisella Anastasia Vicky Nitinegoro Andrea Dian Cok Simbara Fendy Chow Nikki Frazetta Harry de Fretes Cahya Kamila Budi Dalton Erly Ashy Chrissie Vanessa Astri Nurdin Arya Saloka Cole Gribble Billy Boedjanger Kiki Farrel Penggubah lagu temaWaliLagu pembukaSi Udin Bertanya oleh WaliLagu ...

Jordan Veretout Informasi pribadiNama lengkap Jordan Marcel Gilbert Veretout[1]Tanggal lahir 1 Maret 1993 (umur 31)[2]Tempat lahir Ancenis, PrancisTinggi 177 cm (5 ft 10 in)[2]Posisi bermain GelandangInformasi klubKlub saat ini MarseilleNomor 27Karier junior1999–2003 Belligne2003–2011 NantesKarier senior*Tahun Tim Tampil (Gol)2011–2015 Nantes 130 (14)2015–2017 Aston Villa 25 (0)2016–2017 → Saint-Étienne (pinjaman) 35 (3)2017–2020 Fio...

 

American software company Zip2 Corp.FormerlyGlobal Link Information Network (1995–1996)Company typePrivateFoundedNovember 6, 1995 (1995-11-06)FounderElon MuskKimbal MuskGreg KouriDefunctJuly 28, 2003 (2003-07-28)(7 years, 8 months and 22 days)FatePurchased by Compaq ComputerHeadquartersPalo Alto, California, United StatesArea servedUnited StatesProductsZip2.comAuto GuideParentCompaq Computer (1999–)Websitezip2.com at the Wayback Machine (ar...

 

Indians should get the Moderna vaccine and Pfizer vaccine Artikel ini memerlukan pemutakhiran informasi. Harap perbarui artikel dengan menambahkan informasi terbaru yang tersedia. Artikel ini mendokumentasikan suatu wabah penyakit terkini. Informasi mengenai hal itu dapat berubah dengan cepat jika informasi lebih lanjut tersedia; laporan berita dan sumber-sumber primer lainnya mungkin tidak bisa diandalkan. Pembaruan terakhir untuk artikel ini mungkin tidak mencerminkan informasi terkini meng...

Alessandro Frara Frara al Frosinone nel 2017 Nazionalità  Italia Altezza 177[1] cm Peso 72 kg Calcio Ruolo Centrocampista Termine carriera 2018 CarrieraGiovanili ?-2002 JuventusSquadre di club1 2000-2002 Juventus0 (0)2002-2003→  Bologna19 (0)2003-2006 Ternana67 (0)2006-2008 Spezia48 (0)2008-2010 Rimini51 (5)2010-2011 Varese30 (2)2011-2018 Frosinone169 (15)[2]Nazionale 1998 Italia U-161 (0)1998-2001 Italia U-184 (0) 1 I due numer...

 

Socialist state in Europe, in 1918 Not to be confused with Ukrainian People's Republic of Soviets or Ukrainian Soviet Socialist Republic. For anti-Bolshevik Ukrainian states, see Ukrainian People's Republic and West Ukrainian People's Republic. This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: Ukrainian Soviet Republic – ne...

 

Thai Overseas Thai people (Thai: คนไทยพลัดถิ่น, คนไทยในต่างแดน) number approximately 1.1 million persons worldwide. They can be roughly divided into two groups: A non-resident Thai is a citizen of Thailand who holds a Thai passport and has temporarily emigrated to another country for employment, residence, education or any other purpose. The Bank of Thailand estimates that, as of 2016[update], 1,120,837 Thais worked overseas.[1...

Second Extraordinary General Assembly of the Synod of BishopsSt. Peter's BasilicaDate24 November–8 December 1985Convoked byPope John Paul IIPresidentPope John Paul IIAttendance165TopicsThe Twentieth Anniversary of the Conclusion of the Second Vatican CouncilDocuments and statementsFinal Report of the Second Extraordinary General Assembly of the Synod of BishopsChronological list of ecumenical councilsPart of a series on theCatholic ChurchSt. Peter's Basilica, Vatican City Overview...

 

Test of existing medicines on COVID-19 Not to be confused with RECOVER Initiative. This article needs more reliable medical references for verification or relies too heavily on primary sources. Please review the contents of the article and add the appropriate references if you can. Unsourced or poorly sourced material may be challenged and removed. Find sources: RECOVERY Trial – news · newspapers · books · scholar · JSTOR (May 2021) RECOVERY Trial log...

 

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Air Terjun Sumenep – berita · surat kabar · buku · cendekiawan · JSTOR Air Terjun Sumenep Lokasi di Indonesia Informasi Lokasi Batealit, Batealit, Kabupaten Jepara, Propinsi Jawa Tengah. Negara  Ind...

Vojislav KoštunicaВојислав Коштуница Presiden Yugoslavia ke-4Masa jabatan6 Oktober 2000 – 7 Maret 2003Perdana MenteriMomir BulatovićZoran ŽižićDragiša PešićPendahuluSlobodan MiloševićPenggantiSvetozar Marović Informasi pribadiLahir24 Maret 1944 (umur 80)Belgrade, YugoslaviaPartai politikDSSSuami/istriZorica RadovićSunting kotak info • L • B Dr. Vojislav Koštunica dengarkanⓘ (bahasa Serbia: Војислав Коштуница) (diej...

 

Genus of flowering plants For other uses, see Malva (disambiguation). Malva Malva sylvestris Scientific classification Kingdom: Plantae Clade: Tracheophytes Clade: Angiosperms Clade: Eudicots Clade: Rosids Order: Malvales Family: Malvaceae Subfamily: Malvoideae Tribe: Malveae Genus: MalvaL.[1] Type species M. sylvestris[2] Species See text. Synonyms[3] Anthema Medik. Axolopha Alef. Bismalva Medik. Dinacrusa G.Krebs Lavatera L. Navaea Webb & Berthel. Olbia Medik. Sa...