td2-fonctions_holomorphes-corr.pdf
TRANSCRIPT
![Page 1: td2-fonctions_holomorphes-corr.pdf](https://reader036.vdocuments.site/reader036/viewer/2022072009/55cf9292550346f57b979613/html5/thumbnails/1.jpg)
Page 1 sur 5
M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html
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 ๐ ๐ ๐;๐ = ๐ โ ๐๐
Remarque : ๐๐ฅ =1
2 ๐๐ง + ๐๐ง et ๐๐ฆ =
1
2 ๐๐ง โ ๐๐ง
2. Non dรฉrivabilitรฉ.
Mรฉthode 1 : Avec la dรฉfinition.
๐ ๐ง0 + ฮ๐ง โ ๐(๐ง0)
ฮ๐ง=
๐ง0 + ฮ๐ง โ ๐ง0
ฮ๐ง=ฮ๐ง
ฮ๐ง=ฮx โ iฮy
ฮx + iฮy
Donc si ฮx = 0 ; ๐ ๐ง0+ฮ๐ง โ๐(๐ง0)
ฮ๐ง= โ1.
Et si ฮy = 0 ; ๐ ๐ง0+ฮ๐ง โ๐(๐ง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.
![Page 2: td2-fonctions_holomorphes-corr.pdf](https://reader036.vdocuments.site/reader036/viewer/2022072009/55cf9292550346f57b979613/html5/thumbnails/2.jpg)
Page 2 sur 5
M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html
Exercice 3
Soit ๐ค = ๐ ๐ง =1+๐ง
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)
ฮ๐งร ฮ๐ง
Et donc puisque ๐๐๐๐ฅ๐งโถ0 ๐ ๐ง0+๐ฅ๐ง โ๐(๐ง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 ๐ฆ
![Page 3: td2-fonctions_holomorphes-corr.pdf](https://reader036.vdocuments.site/reader036/viewer/2022072009/55cf9292550346f57b979613/html5/thumbnails/3.jpg)
Page 3 sur 5
M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html
๐2๐ข
๐๐ฆยฒ= ๐โ๐ฅ 2 sin๐ฆ โ ๐ฅ sin ๐ฆ + ๐ฆ cos ๐ฆ donc
๐๐๐ฎ
๐๐ฑยฒ +
๐๐๐ฎ
๐๐ฒยฒ= ๐
Diffรฉrentielles.
Exercice 7 Soit ๐ค = ๐ ๐ง = ๐ง3 โ 2๐งยฒ
1. Calculer ๐ซ๐.
ฮ๐ค = ๐ ๐ง0 + ฮ๐ง โ ๐ ๐ง0 = ๐ง0 + ฮ๐ง 3 โ 2 ๐ง0 + ฮ๐ง ยฒ โ ๐ง03 โ 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 ๐ ๐ง = ๐๐๐ง .
3. ๐ dรฉfinie par ๐ ๐ง = ๐ ๐๐ ๐ง = ๐ ๐๐งโ๐โ๐๐ง
2๐.
4. ๐ dรฉfinie par ๐ ๐ง = ๐๐๐ ๐ง = ๐ ๐๐ง+๐โ๐๐ง
2.
5. ๐ dรฉfinie par ๐ ๐ง = ๐ก๐๐ ๐ง.
![Page 4: td2-fonctions_holomorphes-corr.pdf](https://reader036.vdocuments.site/reader036/viewer/2022072009/55cf9292550346f57b979613/html5/thumbnails/4.jpg)
Page 4 sur 5
M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html
๐
๐๐ง๐ก๐๐ ๐ง0 =
1
๐๐๐ ยฒ ๐ง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.
On sait que la fonction ๐ง โ ๐ ๐ง = ๐ = ๐ง1
๐ nโest pas clairement dรฉfinie.
๐(๐ง) correspond au(x) complexe(s) ๐ = ๐๐๐๐ก tels que ๐๐ = ๐ง = ๐๐๐๐
Soit :
๐๐๐๐ก ๐
= ๐๐๐๐
๐ = ๐1๐
๐๐ก = ๐ + 2๐๐
๐ = ๐
1๐
๐ก =๐
๐+
2๐๐
๐
Donc tous les nombres ๐ = ๐๐๐๐ก tels que ๐ = ๐
1
๐
๐ก =๐
๐+
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/2pour laquelle ๐ค = 1 ๐๐๐ข๐ ๐ง = 1.
Alors ๐คยฒ = ๐ง ๐โฒ๐รน, ๐
๐๐ค ๐คยฒ =
๐
๐๐ค ๐ง ๐ ๐๐๐ก 2๐ค =
๐๐ง
๐๐ค
et 1
2๐ค=
๐๐ค
๐๐ง ๐ ๐๐๐ก
๐
๐๐ง ๐ง1/2 =
1
2๐ง1/2
Considรฉrons la branche de ๐ค = ๐ง1/2pour laquelle ๐ค = โ1 ๐๐๐ข๐ ๐ง = 1.
Alors ๐คยฒ = ๐ง ๐โฒ๐รน, ๐
๐๐ค ๐คยฒ =
๐
๐๐ค ๐ง ๐ ๐๐๐ก 2๐ค =
๐๐ง
๐๐ค
et 1
2๐ค=
๐๐ค
๐๐ง ๐ ๐๐๐ก
๐
๐๐ง ๐ง1/2 =
1
2๐ง1/2
La dรฉrivรฉe nโexiste pas en 0. (Point de ยซ branchement ยป )
![Page 5: td2-fonctions_holomorphes-corr.pdf](https://reader036.vdocuments.site/reader036/viewer/2022072009/55cf9292550346f57b979613/html5/thumbnails/5.jpg)
Page 5 sur 5
M. Duffaud http://www.math93.com/gestclasse/classes/ipsa_ing1.html
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.