Le calcul et le changement

Mesurer le changement — les maths du mouvement !

Niveau Débutant — langage simple, sans maths

Lance une balle droit en l'air. Elle monte vite, puis plus lentement, reste suspendue le temps d'un battement de cœur tout en haut, puis retombe de plus en plus vite. Voici une question sournoise qui a déconcerté les gens pendant des siècles : à quelle vitesse va-t-elle à un instant exact — pas sur une seconde, pas même sur un millième de seconde, mais à un unique moment figé ? Fige complètement le temps et la balle n'a pas bougé du tout, donc l'habituel « distance divisée par temps » ne te livre qu'un déroutant zéro sur zéro.

Newton et Leibniz le percèrent au XVIIe siècle, en travaillant séparément, et leur idée est magnifiquement simple : zoome sur n'importe quelle courbe lisse d'assez près et elle commence à ressembler à une droite. La pente de cette droite est la vitesse à cet instant — et, plus généralement, la dérivée, le taux auquel quelque chose change en ce moment même. La raideur devient vitesse.

Fais tourner la même machine à l'envers — additionne une infinité de tranches infiniment minces — et tu obtiens l'intégrale, qui te livre aires, volumes, distances et grands totaux. Dérivées et intégrales sont deux faces d'une même pièce, et ensemble elles sont peut-être les outils les plus puissants que les mathématiques aient jamais produits, faisant tourner discrètement la physique, l'ingénierie, la médecine, l'économie et presque toutes les sciences qui existent.

Dérivées, intégrales et le théorème fondamental du calcul

Niveau Élève — les équations essentielles

La dérivée est bâtie sur une limite qui fixe droit dans les yeux le problème du « zéro sur zéro » et le bat : \(f'(x) = \lim_{h\to 0} \dfrac{f(x+h) - f(x)}{h}\). Géométriquement c'est la pente de la tangente ; physiquement, si \(f(t)\) est la position alors \(f'(t)\) est la vitesse et \(f''(t)\) l'accélération. Deux règles portent l'essentiel du travail : la règle de la puissance \(\dfrac{d}{dx}x^n = n x^{n-1}\), et la règle de la chaîne \(\dfrac{d}{dx}f(g(x)) = f'(g(x))\,g'(x)\) pour éplucher les fonctions imbriquées.

L'intégrale définie \(\int_a^b f(x)\,dx\) est l'aire signée sous une courbe, définie comme la limite de rectangles toujours plus fins — une somme de Riemann \(\lim_{n\to\infty}\sum_i f(x_i)\,\Delta x\). Puis vient la chute qui lie tout le sujet, le théorème fondamental du calcul : si \(F' = f\), alors \(\int_a^b f(x)\,dx = F(b) - F(a)\). Dérivation et intégration ressemblent à des tâches totalement différentes — trouver des pentes contre trouver des aires — et pourtant elles sont des inverses exacts. Ce seul fait est le pivot sur lequel tourne le sujet entier.

Pointe le calcul sur le temps et tu obtiens les équations différentielles, le langage que la nature utilise pour énoncer ses lois. La plus simple, \(\dfrac{dy}{dt} = ky\), capture tout ce dont la croissance suit le rythme de sa propre taille — populations, intérêts composés, désintégration radioactive — et se résout élégamment en \(y(t) = y_0 e^{kt}\). Ajoute un peu de complexité et le même mécanisme livre la deuxième loi de Newton, l'équation des ondes et l'équation de la chaleur, les équations différentielles qui font tourner l'essentiel de la physique et de l'ingénierie.

Analyse réelle, théorie de la mesure et l'intégrale de Lebesgue

Niveau Expert — profondeur mathématique complète

01Là où Riemann s'épuise

L'intégrale que tu rencontres d'abord — celle de Riemann — découpe l'axe horizontal en fines bandes et somme leurs aires. Elle marche magnifiquement pour les fonctions lisses de la physique, mais elle s'étrangle sur tout ce qui est trop dentelé. L'horreur classique est la fonction de Dirichlet, égale à 1 sur les rationnels et 0 sur les irrationnels : entre deux points quelconques elle saute une infinité de fois, aucune bande ne se cale, et l'intégrale de Riemann refuse catégoriquement d'exister. Pour faire de l'analyse honnêtement — échanger limites et intégrales sans croiser les doigts — il te faut une définition plus robuste.

02L'idée de Lebesgue : trancher l'image, pas le domaine

Le geste de Lebesgue (1902) fut de basculer le tableau sur le côté. Au lieu de partitionner l'entrée, partitionne la sortie : demande quelle part du domaine tombe dans chaque fine bande horizontale de valeurs, et pondère par cette quantité — \(\int f\,d\mu = \sup \sum_i y_i\,\mu\!\left(f^{-1}[y_i, y_{i+1}]\right)\). La fonction de Dirichlet devient aussitôt triviale : les rationnels, où elle vaut 1, forment un ensemble de mesure nulle, donc ils ne contribuent rien et l'intégrale est simplement 0. L'espace \(L^1(\mu)\) des fonctions intégrables devient un espace de Banach complet — un vrai foyer pour l'analyse.

03La mesure, et les choses qu'on ne peut mesurer

Sous tout cela se tient la théorie de la mesure, l'art d'attribuer de façon cohérente une « taille » aux ensembles — longueur sur la droite, aire dans le plan, probabilité dans un espace d'épreuves — qui survit aux unions dénombrables. Elle est assez générale pour mesurer des bizarreries comme l'ensemble de Cantor, et pourtant elle a une limite dure : en concédant l'axiome du choix, tu peux construire des ensembles si pathologiques qu'aucune mesure cohérente n'existe pour eux. Le paradoxe de Banach-Tarski rôde ici, tranchant une sphère en quelques bouts non mesurables et les réassemblant en deux sphères identiques à la première. La théorie de la mesure est précisément le langage qui explique pourquoi cela devrait sembler impossible.

04Les théorèmes de convergence — le vrai prix

Les analystes ne changèrent pas pour l'élégance ; ils changèrent pour la puissance. L'intégrale de Lebesgue arrive avec des théorèmes pour échanger une limite et une intégrale — le pas que les physiciens font constamment, d'ordinaire sans y penser à deux fois. Le théorème de convergence dominée est le cheval de trait : si \(f_n \to f\) ponctuellement et sont toutes majorées par une seule \(g\) intégrable, avec \(|f_n| \le g\), alors \(\lim \int f_n\,d\mu = \int f\,d\mu\). Riemann n'offre aucune garantie aussi propre, et presque chaque échange de somme, limite et intégrale en physique moderne s'appuie discrètement sur ce résultat.

05L² et Fourier : les fonctions comme géométrie

Les fonctions de carré intégrable \(L^2\) forment un espace de Hilbert — une géométrie de dimension infinie dotée de longueurs et d'angles, où les exponentielles complexes \(\{e^{inx}/\sqrt{2\pi}\}\) servent d'axes perpendiculaires. Développer une fonction en elles n'est que tracer des perpendiculaires, et l'identité de Parseval \(\|f\|^2 = \sum_n |\hat{c}_n|^2\) est Pythagore déguisé : l'énergie d'un signal égale l'énergie de son spectre. La version continue, la transformée de Fourier \(\hat{f}(\xi) = \int f(x)\,e^{-2\pi i \xi x}\,dx\), porte la même géométrie sur toute la droite réelle.

06Où tout cela atterrit

Rien de tout ceci n'est ornemental — c'est le plancher sur lequel se tient la science moderne. La mécanique quantique est l'étude des vecteurs d'état dans un espace de Hilbert, avec \(|\hat{\psi}(p)|^2\) la densité de probabilité de la quantité de mouvement et des opérateurs à la place des observables. La théorie des probabilités est la théorie de la mesure sous un autre nom, et le théorème central limite en découle proprement via les fonctions caractéristiques. Chaque MP3, JPEG et scanner IRM est de l'analyse de Fourier encaissée dans le silicium. Les « infinitésimaux » branlants de Newton et Leibniz mirent deux siècles à devenir rigoureux — et cette rigueur se révéla le socle de la physique du XXe siècle.