TD n°2 : Fonctions Holomorphes. CORRECTION
Transcription
TD n°2 : Fonctions Holomorphes. CORRECTION
Page 1 sur 5 TD n°2 : Fonctions Holomorphes. CORRECTION Exercice 1 Calculer la dérivée de ๐ค = ๐ ๐ง = ๐ง 3 โ 2๐ง aux points 1. ๐ = ๐๐ . En utilisant les règle de dérivation on obtient facilement que : ๐ ๐๐ง ๐ ๐ง0 = 3๐ง0 ² โ 2 . 2. ๐ = โ๐. ๐ ๐ โ1 = 1 ๐๐ง Exercice 2 Montrer que lโapplication ๐; ๐ โถ ๐ = ๐ โ ๐๐, est différentiable mais nโest pas dérivable. 1. Différentiabilité. Soit lโapplication ๐; ๐ โถ ๐ = ๐ โ ๐๐ ๐ ๐ฅ + ๐; ๐ฆ + ๐ = ๐ฅ + ๐ โ i ๐ฆ + ๐ = ๐ฅ โ ๐๐ฆ + ๐ โ ๐๐ ๐ ๐ฅ + ๐; ๐ฆ + ๐ = ๐ ๐ฅ; ๐ฆ + ๐ ๐ ๐; ๐ โ ๐ ๐ ๐ ๐; ๐ on note sa différentielle ๐ ๐ = ๐ ๐ โ ๐๐ ๐ , on a ๐ ๐ ๐; ๐ = ๐ โ ๐๐ 1 Remarque : ๐๐ฅ = 2 ๐๐ง + ๐๐ง 1 et ๐๐ฆ = 2 ๐๐ง โ ๐๐ง 2. Non dérivabilité. Méthode 1 : Avec la définition. ๐ ๐ง0 + ฮ๐ง โ ๐(๐ง0 ) ๐ง0 + ฮ๐ง โ ๐ง0 ฮ๐ง ฮx โ iฮy = = = ฮ๐ง ฮ๐ง ฮ๐ง ฮx + iฮy ๐ ๐ง0 +ฮ๐ง โ๐(๐ง0 ) ฮ๐ง ๐ ๐ง0 +ฮ๐ง โ๐(๐ง0 ) = ฮ๐ง ๏ท Donc si ฮx = 0 ; = โ1. ๏ท Et si ฮy = 0 ; 1 La limite nโest donc pas indépendante de la façon dont ฮ๐ง tend vers 0, la fonction nโest donc pas dérivable. Méthode 2 : Avec les conditions de Cauchy-Riemann. โ๐ โ๐ฅ = 1 ๐๐ก โ๐ โ๐ฆ = โ1 donc la fonction ne vérifie pas les conditions de Cauchy-Riemann, elle nโest de ce fait pas dérivable. M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html Page 2 sur 5 Exercice 3 1+๐ง Soit ๐ค = ๐ ๐ง = 1โ ๐ง . Trouver ๐ ๐๐ง ๐(๐ง0 ) et déterminer en quels points ๐ nโest pas dérivable. En utilisant les règle de dérivation on obtient facilement que : ๐ ๐๐ง ๐ ๐ง0 = 2 . 1โ๐ง0 ² Elle nโest donc pas dérivable en 1. Exercice 4 1. Montrer que si f est dérivable en ๐ง0 , alors f est continue en ๐ง0 . ๐ ๐ง0 + ฮ๐ง โ ๐(๐ง0 ) ๐ ๐ง0 + ฮ๐ง โ ๐ ๐ง0 = × ฮ๐ง ฮ๐ง ๐ ๐ง0 +๐ฅ๐ง โ๐(๐ง0 ) ๐ Et donc puisque ๐๐๐๐ฅ๐งโถ0 = ๐๐ง ๐(๐ง0 ) existe, on a : ๐ฅ๐ง ๐๐๐ ๐ ๐ง0 + ฮ๐ง โ ๐ ๐ง0 = 0 ๐ฅ๐งโถ0 Ce qui assure la continuité de f en ๐ง0 2. Montrer par un contre-exemple que la réciproque est fausse. Lโapplication ๐ฅ; ๐ฆ โถ ๐ง = ๐ฅ โ ๐๐ฆ est continue mais pas dérivable. (cf. Exercice 2). La continuité est évidente puisque ๐ ๐ง0 + ฮ๐ง โ ๐ ๐ง0 = ฮ๐ง , tend bien vers 0 quand ๐ฅ๐ง โถ 0. Conditions de Cauchy-Riemann Exercice ๐โ (Démonstration de cours) En supposant les dérivées partielles continues dans โ, montrer que : Soit f une fonction définie au voisinage de ๐ง0 = ๐ฅ0 + ๐๐ฆ0 . Les propositions suivantes sont équivalentes : 1. ๐ est dérivable en ๐๐ . 2. ๐ est différentiable en ๐ฅ0 ; ๐ฆ0 et : ๐๐ ๐๐ ๐๐ ; ๐๐ + ๐ ๐ ;๐ = ๐ ๐๐ ๐๐ ๐ ๐ Si on note P et Q les parties réelles et imaginaires de ๐ on a : ๐๐ท ๐๐ธ ๐๐ท ๐๐ธ = ๐๐ญ =โ ๐๐ ๐๐ ๐๐ ๐๐ Exercice 6 Montrer que ๐ข = ๐ โ๐ฅ ๐ฅ sin ๐ฆ โ ๐ฆ cos ๐ฆ est harmonique c'est-à-dire que ๏ท ๐2๐ข ๐๐ฅ² ๐๐ ๐ฎ ๐๐ฑ² + ๐๐ ๐ฎ ๐๐ฒ² =๐. = ๐โ๐ฅ โ2 sin ๐ฆ + ๐ฅ sin ๐ฆ โ ๐ฆ cos ๐ฆ M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html Page 3 sur 5 ๏ท ๐2๐ข ๐๐ฆ² = ๐โ๐ฅ 2 sin ๐ฆ โ ๐ฅ sin ๐ฆ + ๐ฆ cos ๐ฆ donc ๐๐ ๐ฎ ๐๐ ๐ฎ + =๐ ๐๐ฑ² ๐๐ฒ² Différentielles. Exercice 7 Soit ๐ค = ๐ ๐ง = ๐ง 3 โ 2๐ง² 1. Calculer ๐ซ๐. ฮ๐ค = ๐ ๐ง0 + ฮ๐ง โ ๐ ๐ง0 = ๐ง0 + ฮ๐ง 3 โ 2 ๐ง0 + ฮ๐ง ² โ ๐ง0 3 โ 2๐ง0 ² ฮ๐ค = ๐ ๐ง0 + ฮ๐ง โ ๐ ๐ง0 = 3๐ง0 ² โ 4๐ง0 ฮ๐ง + 3๐ง0 โ 2 ฮ๐ง 2 + ฮ๐ง 3 2. Calculer ๐ ๐. On peut écrire aussi que : ๐ ๐ง0 + ฮ๐ง โ ๐ ๐ง0 = 3๐ง0 ² โ 4๐ง0 ฮ๐ง + ฮ๐ง 3๐ง0 โ 2 ฮ๐ง + ฮ๐ง 2 Donc ici, ๐๐ง0 ๐ ฮ๐ง = 3๐ง0 ² โ 4๐ง0 ฮ๐ง Et ๐ ๐ ๐ง0 = 3๐ง0 ² โ 4๐ง0 ๐๐ง Dérivation. Exercice 8 Etudier et calculer les dérivées de fonctions suivantes : 1. ๐ définie par ๐ ๐ง = ๐ ๐ง . ๏ท On montre facilement que f est différentiable car les dp existent et sont continues. ๏ท f vérifient les conditions de Cauchy-Riemann donc on peut facilement calculer la dérivée. 2. ๐ définie par ๐ ๐ง = ๐ ๐๐ง . ๐ ๐๐ง โ๐ โ๐๐ง . 2๐ ๐๐ง โ๐๐ง ๐ +๐ = . 2 3. ๐ définie par ๐ ๐ง = ๐ ๐๐ ๐ง = 4. ๐ définie par ๐ ๐ง = ๐๐๐ ๐ง 5. ๐ définie par ๐ ๐ง = ๐ก๐๐ ๐ง. M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html Page 4 sur 5 ๐ 1 ๐ก๐๐ ๐ง0 = ๐๐ง ๐๐๐ ² ๐ง0 6. ๐ définie par ๐ ๐ง = ๐ง1/2 . La fonction m est dite multimorphe car elle possède 2 déterminations possibles. On doit se restreindre à une seule branche. 1 On sait que la fonction ๐ง โ ๐ ๐ง = ๐ = ๐ง ๐ nโest pas clairement définie. ๐(๐ง) correspond au(x) complexe(s) ๐ = ๐๐ ๐๐ก tels que ๐ ๐ = ๐ง = ๐๐ ๐๐ Soit : ๐๐ ๐๐ก ๐ = ๐๐ ๐๐ 1 ๐ = ๐๐ ๐๐ก = ๐ + 2๐๐ 1 ๐ = ๐๐ ๐ 2๐๐ ๐ก= + ๐ ๐ 1 ๐ = ๐๐ Donc tous les nombres ๐ = ๐๐ ๐๐ก tels que ๐ ๐ ๐ก= + 2๐๐ ๐ ๐๐ฃ๐๐ ๐ โ 0, 1, . . , ๐ โ 1 , vérifient, ๐ ๐ = ๐ง et sont donc images par ๐ ๐๐ ๐ง. Ici par exemple ๐ง = 1 = ๐ ๐0 a deux images possibles, ๐ = ๐ ๐0 = 1 ๐๐ข ๐ = ๐ ๐๐ = โ1 vérifient, ๐ 2 = 1 et sont donc images par ๐ ๐๐ ๐ง. ๏ท Considérons la branche de ๐ค = ๐ง1/2 pour laquelle ๐ค = 1 ๐๐๐ข๐ ๐ง = 1. Alors ๐ค² = ๐ง ๐โฒ ๐ù, et ๏ท 1 2๐ค = ๐๐ค ๐๐ง ๐ ๐๐๐ก ๐ ๐๐ค ๐ ๐๐ง ๐ ๐ค² = ๐๐ค ๐ง ๐ ๐๐๐ก 2๐ค = ๐๐ง ๐๐ค 1 ๐ง1/2 = 2๐ง 1/2 Considérons la branche de ๐ค = ๐ง1/2 pour laquelle ๐ค = โ1 ๐๐๐ข๐ ๐ง = 1. Alors ๐ค² = ๐ง ๐โฒ ๐ù, et 1 2๐ค = ๐๐ค ๐๐ง ๐ ๐๐๐ก ๐ ๐๐ค ๐ ๐๐ง ๐ ๐ค² = ๐๐ค ๐ง ๐ ๐๐๐ก 2๐ค = ๐๐ง ๐๐ค 1 ๐ง1/2 = 2๐ง 1/2 La dérivée nโexiste pas en 0. (Point de « branchement » ) M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html Page 5 sur 5 7. ๐ฟ définie par ๐ฟ ๐ง = ๐ฟ๐๐ ๐ง. ๐ค = ๐ฟ๐๐ ๐ง , ๐โฒ ๐ù ๐ง = ๐ ๐ค ๐๐ก ๐๐ง = ๐๐ค = ๐ง ๐๐ค donc ๐๐ค 1 = ๐๐ง ๐ง Le résultat est valable quelle que soit la branche considérée mais la dérivée nโest pas définie au point de branchement ๐ง = 0. M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html