td2-fonctions_holomorphes-corr.pdf

5
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.

Upload: mustapha-elamrani

Post on 24-Dec-2015

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: td2-fonctions_holomorphes-corr.pdf

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

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

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

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

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.