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