Cours de mcanique analytique

MCANIQUE ANALYTIQUE 1. Formalisme Lagrangien 1.1. Coordonnes gnralises et rfrentiels 1.2. Principe variationnel 1.3. quation d'Euler-Lagrange 1.3.1. Thorme du calcul variationnel 1.4. Formalisme canonique 1.4.1. Transformation de Legendre 1.4.2. Hamiltonien 1.4.3. Crochets de Poisson 1.4.4. Transformations canoniques

ous devons la forme actuelle de la mcanique analytique appele aussi parfois

"mcanique lagrangienne" aux travaux des frres Bernoulli et particulirement d'Euler et Lagrange. C'est effectivement en 1696 que commence l'histoire de la vraie physique thorique. Au fait, l'vnement de dpart de la mcanique analytique provient de l'observation suivante (nonce au 17me sicle) : Tout systme semble voluer d'un tat un autre toujours en utilisant les moyens les plus simples et en conservant une grandeur constante entre les deux tats. Remarques: R1. Les moyens prcits peuvent tres : le chemin le plus court, le chemin le plus rapide (les trajectoires spatio-temporelles plus faibles amplitudes en gros...). R2. Selon le premier principe fondamental de la physique, la grandeur constante est choisie comme tant l'nergie. Cet nonc est appel dans le cadre de la mcanique "principe de moindre action (de Maupertuis)" ou dans le cadre de la physique gnrale "principe variationnel" ou encore parfois dans le cadre de l'optique "principe d'conomie" ou "principe de

Fermat". Dans le cadre mathmatique faisant purement abstraction des concepts physiques, nous parlons de "principe de Hamilton". Plus techniquement, il est aussi formul de la manire suivante : Un systme se meut d'une configuration une autre de telle faon que la variation de l'action (voir plus loin) entre la trajectoire naturelle effectivement suivie et toute trajectoire virtuelle infiniment voisine ayant les mmes extrmits dans l'espace et dans le temps soit nulle. Au fait, bien que cet nonc puisse paratre comme cohrent, il peut faire douter mais... nous verrons : 1. Qu'en mcanique classique, nous pouvons dmontrer la premire loi de Newton en admettant ce principe comme vrai et en y superposant le principe de conservation de l'nergie et nous pouvons expliquer le mouvement de nutation presque tout solide simple. 2. En lectromagntisme, nous retrouverons toutes les quations de Maxwell (in extenso la loi de Biot-Savart, Faraday, force de Lorentz, loi de Laplace, etc.) partir des proprits du principe de moindre action et de conservation de l'nergie. 3. En optique, nous dmontrerons que le chemin suivi par la lumire est toujours la plus courte et nous permettra donc de dmontrer le principe de Fermat la base de toute l'optique gomtrique. 4. En physique atomique, les proprits du principe de moindre action nous permettront de dterminer certaines proprits mathmatique des atomes et autres particules (les fermions et les bosons en physique quantique des champs). 5. Le principe de moindre action nous permettra galement de dmontrer que tout corps, avec ou sans masse, est dvi par un champ d'acclration et... permet donc de dterminer l'quation d'Einstein des champs qui est la base de tout le chapitre sur la relativit gnrale. 6. Ce principe s'applique galement pour obtenir des rsultats puissants en gomtrie comme nous allons le voir un peu plus loin. Ainsi, les techniques de la mcanique analytique est trs intiment lie la mathmatique pure. Il va donc sans dire par ces six petits exemples les applications phnomnales de ce principe!! Historiquement, il est intressant de savoir que c'est Pierre-Louis Moreau de Maupertuis qui a nonc le premier le principe de moindre action sous forme peu scientifique. L'intervention d'Euler et Lagrange dans ce domaine a t de mettre sous forme mathmatique ce principe et de dmontrer (tenez-vous bien...) qu'il dcoule d'une simple proprit mathmatique des optima des fonctions continues. Il va sans dire, que sachant que cela a permis de redmontrer toutes les lois de la physique en a drang plus d'un...

Ce principe a eu (et a toujours) des rpercussions inimaginables et le problme fut d'appliquer l'expression mathmatique de ce dernier tous les phnomnes physiques qui avaient dj ts dmontrs de faon exprimentale et empirique l'poque. Effectuer cette dmonstration revenait ainsi expliquer pourquoi tel phnomne ou tel loi tait ainsi plutt qu'autrement. Imaginez ! Ainsi, le premier s'attaquer au problme ft donc le Blois (Suisse) Lonhard Euler. Mais nous avons galement gard le nom de Lagrange (d'o l'appellation : "formalisme lagrangien") pour dfinir toute la mthode et le formalisme mathmatique construit autour du principe de moindre action.

FORMALISME LAGRANGIEN
MCANIQUE ANALYTIQUE 1. Formalisme Lagrangien 1.1. Coordonnes gnralises et rfrentiels 1.2. Principe variationnel 1.3. quation d'Euler-Lagrange 1.3.1. Thorme du calcul variationnel 1.4. Formalisme canonique 1.4.1. Transformation de Legendre 1.4.2. Hamiltonien 1.4.3. Crochets de Poisson 1.4.4. Transformations canoniques La mcanique classique peut tre formalise de diffrentes manires. La plus courante est la formulation de Newton, qui utilise la notion de force (cf. chapitre de Mcanique Classique). Elle est de loin la plus simple lorsqu'il s'agit de considrer un problme concret et c'est pourquoi c'est celle qui est enseigne. Mais pour pouvoir traiter des problmes plus complexes ou plus finement, et pour pouvoir faire des dmonstrations rigoureuses, cette formulation n'est pas la plus pratique. La mcanique analytique, initie ds le 18me sicle, regroupe ainsi diffrentes formulations trs mathmatises de la mcanique classique, notamment les mcaniques de Hamilton et de Lagrange (toutes ces formulations sont quivalentes!).

Cette formalisation est assez peu enseigne dans les petites coles car il faut bien l'avouer le formalisme lagrangien et hamiltonien (contenant donc le principe de moindre action sous forme mathmatique) fait appel un niveau d'abstraction un peu plus lev que les mthodes normales et malgr qu'il soit souvent d'une aide prcieuse dans l'laboration de thories (physique fondamentale, physique quantique, relativit gnrale, thorie quantique des champs, thorie des supercordes), il en dcoule rarement de nouvelles solutions (mais plutt une rduction et une mthode de validation utile et trs puissante). Commenons donc notre travail :

COORDONNES GNRALISES ET RFRENTIELS

Un rflexe naturel conduit gnralement rfrer la position d'un point dans l'espace la seule connaissance de ses trois coordonnes cartsiennes x, y, z. Cette attitude est d'ailleurs le plus souvent justifie par la simplicit d'un grand nombre de situations rencontres dans la pratique, o il n'est pas ncessaire de rechercher de mthodes plus labores ou de passer dans d'autres systmes de coordonnes (cf. chapitre de Calcul Vectoriel). Pour reprer la position d'un mobile (ou d'un point matriel) en physique il est ncessaire dans un premier temps d'associer un repre au rfrentiel. Ainsi, un "repre" est un systme (physique concret) de reprage dans l'espace associ au rfrentiel. Les repres conventionnels en mcanique classique constituent majoritairement des bases d'espaces pr-euclidiens canoniques (cf. chapitre de Calcul Vectoriel) orients et o chaque point, ou vecteur de l'espace, peut-tre reprsent algbriquement par ses valeurs d'affixes (la valeur l'ordoonne (projection sur l'axe vertical) et la valeur l'abscisse (projection sur l'axe horizontal). Voici quelques exemples triviaux:

(ou plan d'Argand-Cauchy)

(29.1)

Remarque: Comme nous l'avons vu dans le chapitre de Gomtrie Diffrentielle, la distance entre deux points d'une trajectoire courbe en parcourant la courbe est appele "abscisse curviligne". Sinon, la distance entre deux points d'une trajectoire rectiligne est appele simplement "abscisse".

Dfinitions: D1. Un repre, assimil un rfrentiel, est dit "rfrentiel Galilen" (c'est rare que nous en fassions explicitement mention en physique par manque de rigueur) si : - Nous pouvons le considrer comme immobile pendant toute l'tude du mouvement du systme ou comme tant en translation rectiligne uniforme par rapport un autre rfrentiel lui mme immobile. Donc si on nglige le mouvement de rotation du Soleil autour du centre de la galaxie, alors le rfrentiel hliocentrique peut tre considr comme galilen. Si on nglige le mouvement de rotation de la Terre autour du Soleil, alors le rfrentiel gocentrique peut tre considr comme galilen. Si on nglige le mouvement de rotation de la Terre sur elle mme, alors le rfrentiel terrestre peut-tre considr comme galilen. Dans beaucoup d'expriences de mcanique la surface de la Terre, nous constatons que le rfrentiel terrestre peut-tre considr comme galilen avec une trs bonne prcision. Heureusement qu'il y a quand mme un tas de phnomne o il faut tenir compte de la rotation de la Terre (dviation vers l'est, pendule de Foucault...etc.) - Nous pouvons le considrer comme un systme o les lois de Newton sont vrifies (cf. chapitre de Mcanique Classique) D2. Un repre, assimil un rfrentiel, est dit "barycentrique" (cf. le chapitre de Gomtrie Euclidienne) s'il a pour origine le centre de masse (cf. chapitre de Mcanique Classique) du corps tudi.

Ainsi, le "repre de Copernic" est assimil au centre de gravit (d'inertie) du systme solaire, le "repre hliocentrique" appel aussi "repre de Kepler" au centre d'inertie du Soleil. D3. Un repre, assimil un rfrentiel, est dit "rfrentiel gocentrique" lorsque nous prenons pour rfrence un systme d'axes placs au centre d'inertie de la Terre. Les axes, parallles ceux du rfrentiel de Copernic, pointent vers trois toiles fixes. Dans ce rfrentiel la Terre tourne sur elle mme en 24 [h.]. D4. Un repre, assimil un rfrentiel, est dit "rfrentiel Terrestre" lorsque nous prenons pour rfrence un systme d'axes placs au centre d'inertie de la Terre et qui un mouvement de rotation uniforme correspondant la vitesse de rotation de la Terre. Traditionnellement un des axes est dirig vers l'toile polaire. C'est le rfrentiel auquel nous nous rfrons le plus dans la vie courante il n'est donc pas galilen en toute rigueur! Ceci va induire des effets particuliers sur les mouvements dans l'atmosphre tels que nous les ressentons.
Remarque: Dire qu'un repre orthonorm l'angle orient repre orthonorm mesure principale sous-entend que a pour mesure principale est un "repre direct" signifie que (dans le sens horaire). Dire qu'un

est un "repre indirect" signifie que l'angle orient a pour . Dans tout ce qui suit, si nous ne spcifions pas l'orientation, cela est direct.

Il est bien exact que les trois paramtres x, y, z suffisent parfaitement reprer un point matriel dans l'espace usuel comme nous en avons dj fait mention dans notre tude des espaces ponctuels (cf. chapitre sur les Principes), mais il n'en demeure pas moins qu'il est parfois invitable, ou mme tout simplement plus avantageux, d'utiliser un nombre de paramtres suprieur trois. Nous pouvons videmment envisager toutes sortes de paramtrages pour atteindre les coordonnes d'un point dans l'espace, de telle sorte que, d'une faon plus gnralise nous serons amens prendre en considration des relations du type (nous ne gardons plus la mme criture que celle que nous avions lors de notre tude des espace ponctuels par cohrence avec les nombreuses rfrences dj existant sur le sujet):

(29.2)

Les paramtres portent le nom de "coordonnes gnralises", paramtres auxquels un problme sera le plus souvent rfr. Connatre leur expression en fonction du temps est le problme fondamental de la dynamique. Cela signifie que nous serons parvenus une solution quand nous disposerons des relations indpendantes :

(29.3)

Il est donc important de retenir que le nombre de paramtres dfinissant le reprage d'un point dans l'espace est au moins gal trois, sans tre ncessairement diffrent de trois. C'est finalement la nature des situations envisages qui suggrent le choix du nombre des paramtres utiliser (coordonnes cartsiennes, cylindriques, sphriques,...). Dans une vision plus gnrale, la configuration instantane d'un systme, quelle qu'en soit la nature, sera dtermine par la connaissance, en fonction du temps, de n paramtres, n dfinissant le nombre de "degrs de libert" du systme (cf. chapitre de Mcanique Classique). Il est tout naturel, mathmatiquement, d'associer la manipulation des n paramtres au recours un hyper-espace n dimensions, dans lequel les apparatraient comme les coordonnes d'un point P reprsentatif de la configuration d'un systme quelconque. Nous donnons cet espace n dimensions configuration". , le nom "d'espace de

Mais la rigueur de la mathmatique-physique, nous amne disposer d'une description plus prcise des phnomnes en ajoutant cette variable importante qu'est le temps, considre souvent comme variable indpendante, aux arriverons donc fatalement utiliser un autre hyper-espace donn le nom "d'espace des vnements". . Nous en auquel nous avons

Ce dernier espace de rfrence revt un intrt capital pour un grand nombre de problmes de la science moderne et se trouve particulirement bien adapt aux raisonnements de nature relativiste. Les variables indpendantes constituant les coordonnes spatiales et temporelle forment alors ce que nous appelons les "variables d'Euler". Dans la mesure o les paramtres avec sont simplement prsents comme des fonctions ,

explicites du temps, le point P dcrit une courbe paramtre, dfinie par . Cela revient exploiter simultanment les quations:

(29.4)

Il arrivera frquemment que, pour des raisons d'opportunit, nous souhaitions changer de systme de coordonnes gnralises, et utiliser un autre ensemble plus compatible avec les spcificits du problme envisag. Nous substituerons alors au jeu des nouveau jeu de coordonnes . Il est alors vident que nous devrons, avant toute chose, nous doter des relations de dpendance existant entre les deux ensembles de coordonnes (cf. chapitre de Calcul Vectoriel) : un

(29.5)

Les fonctions

seront maintenant supposes dfinies, continues, de classe

(pour travailler avec l'acclration) par rapport aux et devront conduire un jacobien diffrent de zro (cf. chapitre de Calcul Diffrentiel Et Intgral). Dans ces conditions, chaque point de l'espace des configurations des x, not ,

correspondra un point de l'espace de configuration des q , not . Nous avons ainsi effectu une transformation ponctuelle, autrement dit une application de l'espace sur lui-mme. Pour tudier des milieux continus (concept radicalement diffrent du point matriel), nous aurons cependant deux approches diffrentes: 1. Mthode de Lagrange: nous cherchons caractriser le mouvement du milieu dcrit par une formulation Lagrangienne consistant donc le caractriser en se donnant un systme d'quations au sens newtonien. Par drivations, nous avons alors la vitesse et l'acclration du milieu. 2. Mthode d'Euler: Au lieu de suivre le parcours d'un point, nous portons notre attention sur l'volution des caractristiques physiques en un point donn comme la vitesse, l'acclration la temprature, la pression ou autre. Nous parlons alors frquemment de "systme Eulrien".

PRINCIPE VARIATIONNEL
Le "principe variationnel" n'est donc que la forme mathmatique contemporaine du principe de moindre action qui est, comme nous en avons dj fait mention, la base du formalisme lagrangien. Rappelons que selon l'nonc du principe variationnel nous devons trouver dans tout phnomne physique, une certaine quantit qui est naturellement optimise (minimise ou maximise) et qui dcrit toutes les variables du systme tudi et ainsi son issue.

Voici la dmarche que nous allons suivre, une fois cette dmarche prsente, nous nous attaquerons sa formalisation mathmatique. Les propositions sont les suivantes: P1. Nous supposons donc le principe variationnel et le principe de conservation de l'nergie comme justes. P2. L'nergie totale d'un systme ferm est constante et constitue de la sommation de l'nergie cintique et l'nergie potentielle. Si nous ne considrons que l'nergie cintique, alors le systme est dit "systme libre", si les deux nergies sont considres, nous disons alors que le systme est un "systme gnralis". P3. Nous dfinissons une fonction mathmatique (dont les variables sont les coordonnes gnralises) appele "Lagrangien" qui est donne par la diffrence entre les deux nergies prcites. P4. Sur l'volution d'un systme entre deux tats, nous cherchons les proprits de la fonction (du langrangien) qui donne la minimisation de la variation de la diffrence des deux nergies sur l'volution temporelle ou mtrique du systme. Enfin, une fois cette proprit dtermine (mise sous la forme que nous appelons "quation d'Euler-Lagrange") nous chercherons toutes les autres proprits possibles afin d'avoir les outils ncessaires pour la physique thorique et vous allez voir cela marche terriblement bien... Donc, pour mettre cela sous forme mathmatique, nous commenons par poser qu'il existe une fonction relle de 2n variables:
(29.6)

que nous appellerons "Lagrangien gnralis" du systme, dont l'intgrale satisfait l'nonc suivant : Dans un mouvement naturel partant d'un point au point l'instant ou simplement "action": l'instant , arrivant

, l'intgrale suivante appele "intgrale d'action"

(29.7)

qui peut aussi tre note dans une criture plus abrge :

(29.8)

doit tre un extrmum (en fait, "un minimum" ou "un maximum", puisque nous aurions pu tout aussi bien prendre -L au lieu de +L dans le choix de la dfinition du Lagrangien gnralis). L'action S est ce que nous appelons communment en physique une "fonctionnelle" et a les units de l'nergie multipli par le temps puisque L est une nergie.

QUATION D'EULER-LAGRANGE

MCANIQUE ANALYTIQUE 1. Formalisme Lagrangien 1.1. Coordonnes gnralises et rfrentiels 1.2. Principe variationnel 1.3. quation d'Euler-Lagrange 1.3.1. Thorme du calcul variationnel 1.4. Formalisme canonique 1.4.1. Transformation de Legendre 1.4.2. Hamiltonien 1.4.3. Crochets de Poisson 1.4.4. Transformations canoniques Le principe de moindre action nonce donc que (l'intgrale) S est extrmale si:
(29.9)

est la trajectoire naturelle effectivement suivie par le systme physique. Considrons alors une trajectoire trs voisine la prcdente, que nous noterons:
(29.10)

Remarque: Nous avons omis maintenant l'criture des arguments t des fonctions du temps afin d'allger les critures.

Si est bien l'volution d'un systme voluant selon le principe de moindre action, alors l'action donn par la variation :
(29.11)

est nulle pour et tendant vers zro (sous-entendu que tout systme physique revient son tat initial sans intervention extrieure). Ce qui nous amne crire :

(29.12)

Ce qui nous permet de justifier la dnomination de "principe variationnel" (aussi appele parfois le "principe de stationnarit de l'action"):

(29.13)

Ce principe stipule donc que la trajectoire d'une particule (ou d'un systme plus gnral) s'obtient en demandant qu'une certaine fonctionnelle S appele "action" soit stationnaire par rapport une variation de la trajectoire. En d'autres termes, si nous effectuons une variation infiniment petite de la trajectoire, la variation doit tre nulle. Pour un systme mcanique simple l'action est alors videmment de par le principe de conservation de l'nergie gale l'intgrale sur la trajectoire de (par dfinition du lagrangien) la diffrence entre l'nergie cintique et l'nergie potentielle. Ds lors, dans une thorie pour laquelle les forces drivent d'un potentiel V, nous sommes naturellement amens dfinir le "Lagrangien" par la relation (il faudra s'en souvenir !) :
(29.14)

o T et V sont la notation traditionnelle dans le formalisme Lagrangien de l'nergie cintique et de l'nergie potentiel donnes par :

et

(29.15)

Remarque: Pour l'tude de la relativit gnrale, nous ne chercherons pas ce que la variation de la diffrence des nergies soit minimale tel que c'est le cas pour les systmes mcaniques, mais la variation de la longueur d'un arc ds (non dpendant du temps contrairement l'exemple prcdent) dans un espace quelconque lors d'une trajectoire d'un systme libre. Ce qui nous amnera crire simplement (rappelez-vous en aussi car ce sera trs important) l'action:

(29.16)

pour un masse unitaire et en prenant les units naturelles. Pour revenir notre application du principe variationnel dans le cas du lagrangien gnralis, nous pouvons alors crire la diffrentielle totale exacte (cf. chapitre de Calcul Diffrentiel Et Intgral) de dL et nous obtenons alors la relation :

(29.17)

Intgrons par parties (cf. chapitre de Calcul Diffrentiel Et Intgral) le deuxime terme de la somme de l'intgrale prcdente :

(29.18)

Le premier terme de la dernire galit est nul puisque

(29.19)

Effectivement, par dfinition, les

ont exactement le mme ordre de grandeur.

L'expression de l'intgrale de moindre action peut finalement s'crire :

(29.20)

Mais les et tendent vers 0 d'une infinit de manires diffrentes et nous devons cependant avoir nanmoins . Cela veut dire alors que chaque terme somm de l'intgrale peut tre pris indpendamment et doit satisfaire :

(29.21)

Mais comme les fonctions et peuvent toujours tendre vers zro de multiple faon, et que cette intgrale doit tre quand mme nulle, nous en dduisons que ce sont les intgrandes qui sont nuls :

(29.22)

Ces n quations, satisfaites par le lagrangien gnralis du systme pour le mouvement effectivement suivi, sont appeles "quations d'Euler-Lagrange", ou plus brivement (mais plus rarement) "quations de Lagrange". Ce sont, comme nous allons le voir, les quations du mouvement du systme: rsolues, elles donnent l'volution effective du systme dans le temps.

(29.23)

Remarque: C'est en tudiant la physique (les chapitres suivants du site) que l'on comprend mieux les applications de cette quation (obtenue quasiment que par des dveloppements purement mathmatiques !!!) et qu'il devient alors possible de comprendre sa signification. A notre niveau du discours, il est inutile de dire quoi que ce soit. Il faut faire de la physique, et encore de la physique pour la comprendre et la voir apparatre.

Donc dans l'approche lagrangienne, nous apprenons raisonner partir des concepts d'nergie potentielle et cintique, au lieu des concepts de force. Les deux approches sont videmment quivalentes physiquement, mais les nergies n'tant pas des quantits vectorielles, elles sont conceptuellement plus faciles utiliser dans une vaste gamme de problmes. En physique quantique par exemple, la notion de force n'a aucune signification mais les notions d'nergie demeurent valables. C'est une raison de plus pour se familiariser avec leur utilisation. De plus, la force au sens de Newton est une action instantane distance. En relativit, une telle chose est impossible. La notion de force est donc une cration purement classique et macroscopique contrairement notre intuition, son intrt est limit. Exemple d'application (les autres exemples seront vus pendant notre tude des lois de Newton, de l'lectrodynamique, de la relativit restreinte, de la relativit gnrale, de la physique quantique des champs, etc..): Dans un premier temps, posons sous une forme mathmatique conventionnelle l'quation d'Euler-Lagrange (la notation des coordonnes gnralises n'est pas identique en mathmatiques celle de la physique...):

(29.24)

Prenons un exemple mathmatique pratique simple mondialement connu et trs important (nous rutiliserons les dveloppements effectus ici pour l'tude du pendule de Huygens). L'nonc du problme est le suivant : dterminer quel est le plus court chemin entre deux points d'un plan (nous devinons que c'est la droite mais il faut le dmontrer!).

Ce problme consiste trouver la courbe paramtre la plus courte relie deux points (attention la variable t n'a rien voir avec le temps!) :
(29.25)

qui

Ainsi la longueur infinitsimale par application de Pythagore est :

(29.26)

Ainsi, la longueur de la courbe paramtre est donne par :

(29.27)

Il s'agit d'une relation que nous retrouverons souvent en physique et en mathmatiques!! Ainsi, ce problme, dont la solution gomtrique est trs simple, se formule sous forme de problme de calcul variationnel de la manire suivante :
(29.28)

Ecrivons l'quation d'Euler-Lagrange que la solution de ce problme, si elle existe, doit vrifier. Nous avons :

(29.29)

L'quation d'Euler-Lagrange dans ce cas particulier devient alors :

(29.30)

Donc :

(29.31)

o C est une constante d'intgration (cf. chapitre de Calcul Diffrentiel Et Intgral). Cette dernire galit implique que :

(29.32)

En revenant aux notations utilises au dbut :

(29.33)

donc nous avons par intgration :

(29.34)

ce qui est bien l'quation d'une droite. Autrement crite :

(29.35)

THORME DU CALCUL VARIATIONNEL

Le thorme du calcul variationnel consiste montrer qu'en considrant f une fonction continue sur valeurs relles et H l'ensemble des fonctions continues sur et qui s'annulent en a et b alors pour toute fonction indfiniment drivables sur :

(29.36)

f est nulle sur

Pourquoi s'intresser ce thorme? Parce que nous le rencontrerons trs souvent lors de l'application du principe variationnel ayant une configuration de ce type. Effectivement, rappelons que le principe variationnel amne avoir :
(29.37)

et l'expression intgre est rarement une fonction simple comme le lecteur s'en apercevra au cours de sa lecture des diffrentes chapitres du site. Il est donc important de connatre une proprit qui simplifie parfois l'analyse du problme.
Remarque: Certains penseront que le cas avec avec et

contredit l'nonc du thorme! Au fait ce n'est pas vraiment a... le thorme se doit d'tre valable pour et non juste pour l'exemple cit. D'o le fait que f devra bien tre nul comme nous allons le dmontrer.

Dmonstration: Pour simplifier nous prendrons le cas , . A quelques dtails techniques prs la preuve par l'absurde ci-dessous peut tre adapte au cas a, b quelconques. Supposons que f ne soit pas nulle sur . Nous pouvons supposer . Alors il existe (mme raisonnement si tel que ).

Par l'hypothse initiale de continuit et de non nullit de f il existe alors un petit intervalle autour de tel que Considrons prsent la fonction sur lequel f est strictement positive. C'est--dire, qu'il existe et dfinie par .

(29.38)

Nous vrifions assez facilement que indfiniment drivable sur Diffrentiel Et Intgral). De plus, :

est continue (positive) sur

et

(cf. chapitres d'Analyse Fonctionnelle et de Calcul

. Et donc,

. Voici une reprsentation graphique de

(29.39)

A partir de

nous voulons obtenir une fonction continue sur

, indfiniment

drivable sur positive sur et nulle en dehors de afin de montrer l'absurde de l'hypothse de non nullit de f pour que le thorme soit vrifi (rappelons que nous sommes en train de faire un dmonstration par l'absurde!) . Pour ceci, il suffit de centrer La fonction en et de la contracter.

dfinie par :

(29.40)

rpond aux critres exigs. De plus, Ainsi, la fonction ailleurs. Nous avons : sera continue sur

et donc, positive sur

. et nulle

(29.41)

Or, si une fonction

est continue et positive et :

(29.42)

cela entrane forcment (nous supposerons cela comme trop intuitif pour avoir besoin d'tre dmontr) sur . selon notre

Par consquent sur or hypothse absurde initiale, ce qui est contradictoire. L'hypothse de dpart est donc bien fausse et f doit tre nulle sur