Dérivation des fonctions numériques d une variable réelle

Transcription

1 Maths PCSI Cours Dérivation des fonctions numériques d une variable réelle Table des matières 1 Résultats locaux Dérivée d une fonction en un point Opérations sur les dérivées Dérivation des fonctions réciproques Fonctions usuelles Dérivées d ordre Extrema locaux des fonctions dérivables Résultats globaux Théorème de Rolle Théorème des accroissements finis Inégalités des accroissements finis Un théorème mal compris Dérivées et variations Retour sur les difféomorphismes (HP) Formules de Taylor - première couche Formule de Taylor avec reste intégral Inégalité de Taylor-Lagrange Théorème de Taylor-Young Extension aux fonctions à valeurs complexes Généralités Ce qui reste vrai Ce qui ne l est plus Théorème de relèvement

2 1 Résultats locaux La plupart des résultats des trois premiers paragraphes sont connus depuis la terminale. C est l occasion non pas de passer rapidement à la suite, mais de se mettre au point sur des notions élémentaires donc importantes. 1.1 Dérivée d une fonction en un point Définition 1 Soit f une fonction définie sur un intervalle I de R, à valeurs réelles, et x 0 I. On note p x0 la fonction définie sur I \ {x 0 } par p x0 (x) = f(x) f(x 0) x x 0 Lorsque p x0 admet une limite l en x 0, on dit que f est dérivable en x 0, de dérivée l, notée f (x 0 ). Lorsque p x0 admet une limite à droite (resp. à gauche) l en x 0, on dit que f est dérivable à droite (resp. à gauche) en x 0, de dérivée l, notée f d (x 0) (resp. f g(x 0 ) ). Remarques 1 Si x 0 est à l intérieur de I, il est clair que f est dérivable en x 0 si et seulement si f est dérivable à droite et à gauche en x 0, avec f g(x 0 ) = f d (x 0). Géométriquement, f (x 0 ) s interprète comme ( la pente limite des sécantes (M 0 M) du graphe de f lorsque x tend vers x 0, où M 0 x0, f(x 0 ) ) et M ( x, f(x) ) (dessin... ). Si on note D la droite passant par M 0 et de pente f (x 0 ), on voit bien que le graphe Γ de f va coller à D. On dit que D est la tangente à Γ en M 0. Lorsque f est dérivable à droite et à gauche, avec f d (x 0) f g(x 0 ), Γ n admet plus de tangente, mais deux demi-tangentes en ( x 0, f(x 0 ) ). On montrera sans mal que si f est dérivable en x 0, alors f est continue en x 0, et on exhibera un contre-exemple pour la réciproque (résultat à comparer avec vos souvenirs de terminale... ). La dérivabilité de f en x 0 est par définition équivalente à l existence d un DL à l ordre 1 en x 0 (le vérifier tout de même... ). d On note parfois dx f(x) à la place de f (x). Cette notation est toutefois dangereuse... et laissée provisoirement aux physiciens. Exemple 1 La fonction x x est dérivable en tout point de R, mais pas en 0. Lorsque f : I R est dérivable en tout point de I, f (x) est défini pour tout x. On peut donc voir f comme une application de I dans R. Notons dès maintenant que cette application, qu on 1 note parfois D(f), n a aucune raison d être elle-même dérivable, ou même continue. 1.2 Opérations sur les dérivées Proposition 1 Si λ R, et f et g sont dérivables en x 0, alors λf + g également, de dérivée λf (x 0 ) + g (x 0 ) (on dit que la dérivation est linéaire). Si f et g sont dérivables en x 0, alors fg également, de dérivée : (fg) (x 0 ) = f (x 0 )g(x 0 ) + f(x 0 )g (x 0 ). 1 en particulier Maple 2

3 Si f est dérivable en x 0 et f(x 0 ) 0, on sait que 1 f est définie au voisinage de x 0. Cette fonction est alors dérivable en x 0, de dérivée f (x 0 ) ( f(x0 ) ) 2 Si f est dérivable en x 0 et ϕ en f(x 0 ), alors ϕ f est dérivable en x 0, de dérivée (ϕ f) (x 0 ) = f (x 0 )ϕ ( f(x 0 ) ). Preuve : Le point de vue développement limité fournit des preuves spectaculairement efficaces et simples Dérivation des fonctions réciproques On commencera par traiter soigneusement l exercice suivant... Exercice 1 Si f est un homéomorphisme dérivable, tel que f (x 0 ) = 0, montrer que l homéomorphisme réciproque n est pas dérivable en f(x 0 ). Définition 2 Un difféomorphisme est une application dérivable, bijective, de bijection réciproque dérivable. On a vu que si f est continue, bijective 2, définie sur un intervalle, alors la bijection réciproque est nécessairement continue. On va voir que l existence d une dérivée ne va pas de soi. Proposition 2 Soit f une application réalisant une bijection de I sur J, dérivable en x 0 I, avec f (x 0 ) 0. Alors la bijection réciproque g = f 1 est dérivable en f(x 0 ), de 1 dérivée f (x 0 ) Preuve : Puisque g est continue en y 0 = f(x 0 ), l application t : h g(y 0 + h) est continue en 0, et on peut écrire en composant les limites : g(y 0 + h) g(y 0 ) h = t(h) t(0) f ( t(h) ) f ( t(0) ) 1 h 0 f (x 0 ) Corollaire 1 Soit f une bijection dérivable en tout point d un intervalle I sur J, de dérivée ne s annullant pas ; alors f est un difféomorphisme, et sa réciproque g a pour dérivée g = 1 f g = 1 f f 1 Remarque 2 Pour retenir la formule, on peut dériver la relation f g = Id. On obtient ainsi facilement la condition NECESSAIRE f (x 0 ) 0 (voir l exercice 1). Exemple 2 x x 3 + x est un difféomorphisme de R sur lui-même, alors que x x 3 est une bijection dérivable de f sur lui-même, qui n est pas un difféomorphisme. 2 cf le chapitre sur la continuité. En fait, l hypothèse de bijectivité peut être remplacée par celle de stricte monotonie 3

4 1.4 Fonctions usuelles Si n N, f : t t n est dérivable sur R, de dérivée f (t) = nt n 1 : le prouver par récurrence. On admet que les fonctions sin, cos et tan sont dérivables, de dérivées ce que l on sait. Les fonctions arcsin et arccos (définies sur [ 1, 1]) ne sont dérivables que sur ] 1, 1[, de dérivées arcsin 1 (x) = et 1 x 2 arccos = arcsin. Cette relation n a rien d étonnant, puisque pour tout t [ 1, 1], on a arccos t+arcsin t = π 2 Pourquoi, au fait? De même, la fonction arctan (qui établit une bijection continue de R sur ] π/2, π/2[) est dérivable sur R, de dérivée t 1 ; il s agit donc d un difféomorphisme. 1 + t2 On admet que la fonction exp est un difféomorphisme de R sur R +, se dérivant en lui-même, et on note ln sa fonction réciproque. La fonction ln : R + R se dérive alors en x 1 x Si a > 0, l application x a x se dérive en x (ln a)a x : il faut savoir montrer ce résulat... pour pouvoir le retrouver facilement et rapidement en cas de doute (légitime). Remarque 3 Si f est dérivable et à valeurs strictement positives, ln f se dérive en f f (dérivée d une composée), alors que si f est à valeurs strictement négatives, ln( f) se dérive en f f = f 1.5 Dérivées d ordre 2 f Cela explique la formule magique mais utile (ln f ) = f f Définition 3 Soit f : I R. Si n 2, on dit que f est dérivable n fois sur I, et on note f D n (I) lorsque f est dérivable n 1 fois, de dérivée (n 1)-ième dérivable. Cette dérivée est alors notée f (n) ou D n (f) dérivée n-ième de f (il s agit d une définition récursive... passons la dessus). f est dite de classe C n sur I lorsque f D n (I), avec f (n) continue sur I. On note alors f C n (I). f est dite de classe C sur I lorsque f C n (I) pour tout n N (en aucun cas il n est question d une dérivée infinie... ). C (I) désigne l ensemble des fonctions de classe C sur I. Il n est pas difficile (récurrence) de montrer que si λ R et f, g D n (I), alors λf + g D n (I), avec D n (λf + g) = λd n (f) + D n (g). Cette remarque et le résultat suivant montrent que C n (I) est stable par combinaisons linéaires et produits. Quand on veut frimer, on parle alors d une algèbre (comme pour K[X]). Proposition 3 Formule de Leibniz Soient f, g C n (I) (n N ). Alors fg C n (I), avec : (fg) (n) = n C k nf (k) g (n k). k=0 4

5 Preuve : Récurrence soignée (ne pas se focaliser sur la formule : il faut justifier les dérivabilités!). On pourra commencer par dériver 3-4 fois le produit fg, pour voir ce qui se passe. Exercice 2 Soit n N. Montrer que l application ϕ : x > 0 x n 1 e 1/x est de classe C, avec ϕ (n) (x) = e 1/x x n Extrema locaux des fonctions dérivables Proposition 4 Soit f : I R dérivable en un point x 0 intérieur à I, et admettant un extremum local en x 0. Alors f (x 0 ) = 0. Preuve : On regarde le signe du rapport f(x 0 + t) f(x 0 ) pour t positif proche de 0, t puis on fait tendre t vers 0 +. On fait ensuite la même chose à gauche. Remarque 4 La condition selon laquelle x 0 est intérieur à I est tout à fait essentielle. La fonction f : x [0, 1] x admet par exemple un minimum global (donc local) en 0, et y est dérivable avec f (0) = 1. 2 Résultats globaux 2.1 Théorème de Rolle Théorème 1 Soit f : [a, b] R (a < b) une fonction continue sur [a, b] et dérivable sur ]a, b[. Si f(a) = f(b), alors il existe c ]a, b[ tel que f (c) = 0. Preuve : Un dessin nous suggère de choisir pour c un point de ]a, b[ en lequel f admet un extremum local. L*Il faut justifier l existence d un tel point : on traite d abord le cas ou f est constante, puis celui où il existe c ]a, b[ tel que f(c) < f(a) ; on cherche alors un minimum global Théorème des accroissements finis Le théorème suivant généralise le théorème de Rolle dans la mesure où on peut voir le second comme cas particulier du premier. En fait, on va montrer le cas général (TAF) à partir du cas particulier (Rolle). Théorème 2 Soit f : [a, b] R (a < b) une fonction continue sur [a, b] et dérivable sur ]a, b[. Alors il existe c ]a, b[ tel que f f(b) f(a) (c) = b a Preuve : Un dessin nous suggère de redresser le graphe de f, en considérant la fonction f(b) f(a) g : t [a, b] f(t) ϕ(t), où ϕ(t) = f(a) + t b a Ainsi, le taux d accroissement de la sécante passant par A ( a, f(a) ) et B ( b, f(b) ) est également la pente d une tangente à la courbe (ce qui représente une pente limite de sécantes). 5

6 2.3 Inégalités des accroissements finis On retrouve ici un résultat vu en terminale. Théorème 3 Soit I un intervalle et f D(I) telle que f (t) K pour tout t I. Alors f est K-lipschitzienne sur I. Preuve : On fixe a, b I tel que a < b, et on écrit le rapport f(b) f(a) b a grâce au théorème des accroissements finis. Remarques 5 Dans l énoncé, on pourrait se contenter d une condition de la forme f C([a, b]) D(]a, b[), mais dans la pratique... Tout comme en terminale, la présence de valeurs absolues est essentielle : cf la fonction x e x pour laquelle il n est pas compliqué de majorer la dérivée (par 1, 10, ou même 0), mais qui n est pourtant pas lipschitzienne (pourquoi, au fait?). Pour montrer que f = 0 implique f constante, on pourra utiliser au choix l inégalité ou le théorème des accroissements finis (cela dit, autant revenir au plus élémentaire, c est-à-dire ici au théorème). 2.4 Un théorème mal compris - Oh! Regarde! Des sangliers domestiques! - Non. Ce sont des cochons sauvages. Avant d énoncer le prochain résultat, il convient de signaler que prolonger une application dérivée n a a priori aucun sens... Le terme de théorème de prolongement de la dérivée que l on trouvera souvent dans la littérature est donc très dangereux... Nous préfererons parler du théorème de la limite de la dérivée. Il faut bien comprendre que poser = 6 ou affirmer = 6 sont deux démarches bien distinctes. Dans le premier cas, on semble définir 6 comme la somme de 3 et 3, ce qui est grotesque (pourquoi pas ? En fait, 6 est le successeur de 5, mais c est une autre histoire... ). Dand le second cas, on se réserve la possibilité de prouver que 3 et 3 font 6 3. De même, poser f (a) = l EST GROTESQUE : cela reviendrait en effet à poser f(a + h) f(a) h l, ce qui n a aucun sens. h 0 { 1 si x = 0 Exercice 3 Montrer que l application f : t [0, 1] n est pas dérivable 0 sinon en 0, bien que f :]0, 1] R admette un prolongement continu sur [0, 1]. Il se peut également qu une application soit dérivable en tout point, mais que l application dérivée ne soit pas continue : 0 si x = 0 Exercice 4 Montrer que l application f : x 2 sin 1 x sinon est continue, dérivable sur R, mais que f n est pas continue en 0. 3 ce qui est effectivement possible : vos ancètres (et les miens) faisaient parfois cela... en terminale! 6

7 Théorème 4 Soit f : [a, b] R une application dérivable sur ]a, b], continue en a, et telle que f (t) l R. Alors f est dérivable en a, avec f (a) = l, et f est continue en t a + a. Preuve : Evaluer le rapport f(a + h) f(a) h grâce au théorème des accroissements finis. Exercice 5 (difficile) { 0 si x 0 Soit f : x R e 1/x sinon Montrer que f est de classe C sur R Solution : f est clairement de classe C sur ]0, + [ et ], 0[. La continuité en 0 s établit par exemple en montrant que f admet en 0 une limite à gauche (... ) et à droite, et que ces limites sont égales à f(0). Pour montrer que f est dérivable en 0, on note déjà que f est dérivable à gauche, avec f g(0) = 0. Maintenant, f 1 = f R + est continue, dérivable sur R +, avec f 1 e 1/t (t) = t 2 pour tout t > 0. Ainsi, f 1 est continue en 0 et f 1 (t) 0, si bien que f est dérivable t 0 à droite en 0, avec f d (0) = 0 = f g(0), puis f est dérivable en 0, avec f (0) = 0. f est donc continue en 0 puisque f (t) 0 = f (0) et f (t) 0 = f (0). f est donc de t 0 + t 0 classe C 1 sur R. Considérons maintenant g = f : g est continue en 0 et dérivable sur R d après ce qui précède. De plus, g est dérivable à gauche en 0, avec g g(0) = 0. g 1 = g R + est ( continue, dérivable sur R +, avec g 1 (t) = 2 t )e 1/t t 4 pour tout t > 0. Ainsi, g 1 est continue en 0 et g 1 (t) 0, si bien que g est dérivable à droite en 0, avec t 0 g d (0) = 0 = g g(0), puis g est dérivable en 0, avec g (0) = 0. g est donc continue en 0 puisque g (t) 0 = g (0) et g (t) 0 = g (0). f est donc de classe C 2 sur R. t 0 + t 0 On montre enfin que f est de classe C n par récurrence sur n N. La proposition que l on montrera pourra être de la forme : f est de classe C n sur R, f (n) = 0 sur R, et il existe une application polynômiale P n telle que f (n) (t) = P n (1/t)e 1/t pour tout t > 0. Remarque 6 Pour terminer ce paragraphe, notons que le fait que f n admette pas de limite finie en a n implique pas que f n est pas dérivable en a (cf exercice 4). Cependant, on pourra montrer que si f est continue en a et f (t) +, alors f n est pas dérivable t a + en a. 2.5 Dérivées et variations Proposition 5 Soit f C(I) dérivable sur I (sauf éventuellement aux bords ). Si f = 0, alors f est constante. f est croissante sur I si et seulement si f 0 f est strictement croissante sur I si et seulement si f 0 et l ensemble E = { x I f (x) = 0 } est d intérieur vide, c est-à-dire : ne contient pas d intervalle non réduit à un singleton. Preuve : Appliquer le théorème des accroissements finis dès qu il apparaît une pente! 7

8 Remarque 7 Si E est fini, alors E est d intérieur vide. On retrouve alors le résultat énoncé en terminale, qui est plus faible, mais en fait largement suffisant pour tous les jours. 2.6 Retour sur les difféomorphismes (HP) Définition 4 Soit k N. Un C k -difféomorphisme est une bijection de classe C k dont la réciproque est de classe C k. On combinant les différents résultats de ce chapitre, on arrive à une caractérisation minimaliste des C k -difféomorphismes sur un intervalle : Proposition 6 Soient I un intervalle et k N. Une application f : I R est un C k -difféomorphisme si et seulement si elle est de classe C k et sa dérivée ne s annulle pas. Preuve : Les conditions données sont clairement (quoique... ) nécessaires. Pour montre qu elles sont suffisantes, on pourra utiliser le TVI (qui nous assure que f reste de signe strict constant), la proposition 5 et le corollaire de la proposition 2 3 Formules de Taylor - première couche On va maintenant prouver la correction des développements limités donnés dans les chapitres précédents. Les formules de Taylor ont pour objet l approximation d une fonction par un polynôme de Taylor, généralisant l approximation d un graphe par la tangente. Si f est dérivable n fois en x 0 (n 1), on définit le polynôme de Taylor de f en x 0 d ordre n (ouf!) par : x R, T n,f,x0 (x) = f(x 0 ) + n k=1 f (k) (x 0 ) (x x 0 ) k, k! et le reste associé : R n,f,x0 (x) = f(x) T n,f,x0 (x) (il ne s agit en général pas d un polynôme). Les formules de Taylor fournissent diverses informations sur le reste. 3.1 Formule de Taylor avec reste intégral Proposition 7 Soit f C n+1 (I), avec a, b I. Alors : f(b) = ( f(a) + n k=1 f (k) ) (a) (b a) k + 1 k! n! b a f (n+1) (t)(b t) n dt. Preuve : Récurrence : pour n = 0, c est le théorème fondamental du calcul différentiel/intégral qu on verra dans le chapitre suivant. Pour passer de n à n + 1, c est une simple IPP. Remarques 8 Cette formule est a connaître dès maintenant. On s en servira pour montrer tous les autres taylorismes. 8

9 On peut déduire de ce résultat le très ancien (et HP) théorème de Taylor-Lagrange, qui généralise le théorème des accroissements finis : Soit f une fonction de classe C n (n N) sur un intervalle [a, b], et dérivable n + 1 fois sur ]a, b[. Alors il existe c ]a, b[ tel que : f(b) = ( f(a) + n k=1 f (k) ) (a) (b a) k + f (n+1) (c) k! (n + 1)! (b a)n+1. On verra dans les exercices une preuve magique. Dans le cas où f C n+1 ([a, b]), la FTRI est suffisante : on encadre soigneusement l intégrale en utilisant le maximum et le minimum de f (n+1) (justifier!), et on utilise enfin le théorème des valeurs intermédiaires à f (n+1). Le théorème de Taylor-Lagrange donne simplement l existence de c : il ne dit rien sur sa position dans ]a, b[, si bien que lorsque f (n+1) varie fortement sur ]a, b[, l information donnée par le théorème de Taylor-Lagrange est peu intéressante. Dans la pratique, il peut presque systématiquement être remplacé par la formule de Taylor avec reste intégral, dès que la régularité de la fonction le permet, ce qui est presque toujours le cas dans la vraie vie. 3.2 Inégalité de Taylor-Lagrange Le résultat suivant ressemble fortement à l IAF : c est une généralisation. Théorème 5 Soit f C n+1 ([a, b]) telle que f (n+1) (t) M pour tout t [a, b]. Alors : (f(a) f(b) + n k=1 f (k) (a) (b a) k) M k! (n + 1)! (b a)n+1. Preuve : Majorer (non subtilement) le reste dans la FTRI. Remarque 9 En finassant, on peut affaiblir les hypothèses,en prenant f de classe C n sur [a, b] et D n+1 sur ]a, b[ (comme pour le TAF...) Exercice 6 Montrer que pour tout x R, e x 1 x x2 2 e x. Exercice 7 Soit f : [0, 1] R de classe C 2 telle que f(0) = f (0) = f (1) = 0 et f(1) = 1. Montrer qu il existe a ]0, 1[ tel que f (a) Théorème de Taylor-Young Le résultat suivant fournit des DLs dans la plupart des cas usuels. Théorème 6 Soit f de classe C n au voisinage de x 0. Alors : ( f(x) f(x 0 ) + n k=1 f (k) (x 0 ) (x x 0 ) k) = o ( (x x 0 ) n). k! x0 Preuve : On peut utiliser la FTRI, ou bien l inégalité de Taylor-Lagrange, et la continuité de f (n) en x 0. Cela dit, difficile d échapper à un (petit) ε... 9

10 Remarque 10 Utilisé seul, le théorème de Taylor-Young ne permettra JAMAIS d avoir une inégalité GLOBALE... Corollaire 2 Soit f C n (I) et x 0 I, alors f admet un DL en x 0 à l ordre n. Remarque 11 ATTENTION, la réciproque de ce théorème est fausse : un contreexemple spectaculaire 4 sera vu en exercice. Par contre, la dérivabilité de f reste équivalente à l existence d un DL à l ordre 1. Corollaire 3 Si f C (I) et x 0 I, alors f admet un DL en x 0 à tout ordre. Exercice 8 Retrouver quelques-uns des DLs des fonctions usuelles donnés dans le chapitre sur les fonctions continues. 4 Extension aux fonctions à valeurs complexes On s intéresse maintenant à des fonctions de R dans C. Fondamentalement, l étude d une telle fonction se ramène à l étude de ses parties réelle et imaginaire. 4.1 Généralités Définition 5 D désigne encore un domaine de R. Soient f : D C et x 0 au bord de D. On dit que f tend vers Z C en x 0 lorsque f(t) Z 0. On note alors f Z. t x0 x0 f : D C sera dite continue en x 0 D lorsqu elle admet une limite en x 0 (qui est alors nécessairement f(x 0 )... ) f : D C est dite dérivable en x 0 D lorsque f(x) f(x 0) admet une limite l C quand x tend vers x 0. On note alors f (x 0 ) = l. D k (D, C) et C k (D, C) désignent ce que l on pense. x x 0 Le fait suivant est tout-à-fait crucial (comme pour le passage des suites réelles aux suites complexes) : Proposition 8 Soit f : D C. On peut écrire f = f 1 + if 2 avec f 1, f 2 : D R. On a alors f x0 Z si et seulement si f 1 x0 Re Z et f 2 x0 Im Z. On en déduit rapidement la : Proposition 9 f = f 1 + if 2 est continue en x 0 si et seulement si f 1 et f 2 le sont. f = f 1 + if 2 est dérivable en x 0 si et seulement si f 1 et f 2 le sont. On a alors f (x 0 ) = f 1 (x 0) + if 2 (x 0). 4 une fonction admettant un DL à l ordre 1515, mais dérivable une seule fois en 0 10

11 4.2 Ce qui reste vrai De la proposition 9, on déduit facilement les résultats suivants : Proposition 10 Si f et g sont dérivables en x 0 et λ C, alors λf + g et fg le sont également, de dérivée ce que l on peut espérer... La formule de Leibniz s étend à f, g C n (I, C). Si f : D R et g : R C sont dérivables, alors g f : I C également, avec (g f) = f.g f. (e λt ) = λe λt et (t z ) = zt z 1 (par définition, t z = e z ln t lorsque t > 0). Proposition 11 Les résultats suivants restent valables : La formule de Taylor avec reste intégral. L inégalité des accroissements finis et celle de Taylor-Lagrange (qui s en déduisent), ainsi que le théorème de Taylor-Young. f C(I, C) est constante si et seulement si f = 0. Remarque 12 En exercice, on montrera de façon élémentaire ce dernier résultat. 4.3 Ce qui ne l est plus Fondamentalement, les conclusions de la forme il existe c I tel que g(c) = 0, à savoir le théorème de Rolle, et son copain le TAF (et accessoirement celui de Taylor- Lagrange), ne passent pas de R à C. En effet, on trouve c 1 tel que Re g(c 1 ) = 0 et c 2 tel que Im g(c 2 ) = 0, mais rien n impose c 1 = c 2... Exemple 3 La fonction f : t [0, 1] e it est de classe C 1, vérifie f(0) = f(1), mais sa dérivée ne s annulle pas. 4.4 Théorème de relèvement On termine ce chapitre par un résultat à la frontière du programme (utilisé rarement, et en général rappelé dans un éventuel énoncé l utilisant). Il s agit, en somme, de paramétrer en polaire (ρ et θ en fonction de t) une courbe ne passant pas par l origine (le pôle), à partir d une paramétrisation cartésienne (x, y en fonction de t). Si θ : I R et ρ : I R + sont de classe C k, l application t ρ(t)e iθ(t) est de classe C k de I dans C. Mais réciproquement, si f C k (I, C), peut-on trouver θ : I R et ρ : I R + de classe C k telles que f = ρe iθ? Une condition nécessaire est bien-entendu que f ne s annulle pas. Dans ce cas, pour tout t I, on peut trouver ρ(t) > 0 et θ(t) tels que f(t) = ρ(t)e iθ(t). Pour ρ, on a nécessairement ρ(t) = f(t), donc ρ est C k (exercice peut-être pas si évident!). Le problème, c est qu on a beaucoup de possibilités pour chaque θ(t). On peut penser qu en prenant les θ(t) au hasard parmi les différents possibilités, il y a peu de chances pour qu on obtienne une fonction θ ne serait-ce que continue... Proposition 12 Soient I un intervalle et f C k (I, C ) (k 0). Alors il existe ρ C k (I, R +) et θ C k (I, R) telles que f(t) = ρ(t)e iθ(t) pour tout t I. Il y a de plus unicité de ρ, mais si θ 0 est une solution, les autres solutions sont les fonctions de la forme θ 0 + 2kπ, pour k Z. Preuve : (HP) On propose une preuve sur la feuille de TD, basée sur des relèvements locaux C de l exponentielle. 11

12 BIEN ENTENDU, on ne parlera pas d une mystérieuse fonction ln qui serait définie sur C. Ou alors, on essaiera de la définir, et on verra qu on a quelques soucis de régularité au voisinage de