PCSI1DรRIVATION - rรฉsumรฉ de cours 2016-2017
2. Si ๐possรจde un DL1(๐)de la forme ๐(๐ฅ) = ๐(๐) + ๐ผ(๐ฅโ๐) + โ(๐ฅโ๐): au voisinage de ๐, on
a๐(๐ฅ) = ๐(๐) + ๐ผ(๐ฅโ๐) + ๐(๐ฅ).(๐ฅโ๐), oรน lim
๐ฅโ๐๐(๐ฅ)=0. On en dรฉduit lim
๐ฅโ๐๐(๐ฅ) = ๐(๐),
donc nรฉcessairement ๐est continue en ๐. Puis, on en tire ๐(๐ฅ)โ๐(๐)
๐ฅโ๐=๐ผ+๐(๐ฅ). Donc
lim
๐ฅโ๐
๐(๐ฅ)โ๐(๐)
๐ฅโ๐existe, est ๏ฌnie, et vaut ๐ผ. Ceci prouve que ๐est dรฉrivable en ๐et que ๐โฒ(๐) = ๐ผ.
Attention : on a donc les รฉquivalences
(๐est continue en ๐)โ(๐possรจde, en ๐, un DL0(๐))
(๐est dรฉrivable en ๐)โ(๐possรจde, en ๐, un DL1(๐))
MAIS on ne peut pas gรฉnรฉraliser ! Autrement dit, pour ๐โฉพ2, il nโy a PAS , en gรฉnรฉral, dโรฉquivalence
entre (๐est dรฉrivable ๐fois en ๐) et (๐possรจde, en ๐, un DL๐(๐)).
Par exemple : on pose ๐(0) = 0 et ๐(๐ฅ) = ๐ฅ5
2sin(1
๐ฅ)si ๐ฅ > 0. Alors ๐(๐ฅ) = 0+ 0.๐ฅ +0.๐ฅ2+๐ฅ2.๐(๐ฅ), oรน
๐(๐ฅ) = โ๐ฅsin(1
๐ฅ)โโ
๐ฅโ00(car sin(1
๐ฅ)est bornรฉe et โ๐ฅโ0) : ceci dit que ๐possรจde donc un DL2(0) !
MAIS ๐nโest pas deux fois dรฉrivable en 0.
En e๏ฌet : ๐est dรฉrivable sur ]0,+โ[et โ๐ฅ > 0,๐โฒ(๐ฅ) = 5
2๐ฅ3
2sin(1
๐ฅ)โโ๐ฅ. cos(1
๐ฅ).
De plus, ๐0(๐ฅ) = ๐(๐ฅ)โ๐(0)
๐ฅโ0=๐ฅ5
2sin( 1
๐ฅ)
๐ฅ=๐ฅ3
2sin(1
๐ฅ)โโ
๐ฅโ00.
Donc ๐est aussi dรฉrivable en 0 avec ๐โฒ(0) = 0.
MAIS ๐โฒ(๐ฅ)โ๐โฒ(0)
๐ฅโ0=
5
2๐ฅ3
2sin( 1
๐ฅ)โโ๐ฅ. cos( 1
๐ฅ)
๐ฅ=3
2๐ฅ3
2sin(1
๐ฅ)โ1
โ๐ฅ.cos(1
๐ฅ)nโa pas de limite en 0car
โdโune part : 3
2๐ฅ3
2sin(1
๐ฅ)โโ
๐ฅโ00
โdโautre part : ๐(๐ฅ) = 1
โ๐ฅ.cos(1
๐ฅ)nโa pas de limite en zรฉro car en posant ๐ข๐=1
2๐๐ et ๐ฃ๐=1
2๐๐+๐/2,
on a lim
๐โ+โ
๐ข๐= lim
๐โ+โ
๐ฃ๐= 0, mais lim
๐โ+โ
๐(๐ข๐) = lim
๐โ+โ
โ2๐๐ = +โ โ= lim
๐โ+โ
๐(๐ฃ๐) = lim
๐โ+โ0 = 0.
Par consรฉquent, ๐nโest pas deux fois dรฉrivable en 0 (et possรจde nรฉanmoins un DL2(0)) !
4ห) Dรฉrivรฉes successives
On note ๐(0) := ๐. Si ๐est dรฉrivable sur ๐ผ, on note ๐(1) =๐โฒ.
Si ๐(1) est elle-mรชme dรฉrivable sur ๐ผ, on note ๐(2) := (๐(1))โฒ.
Plus gรฉnรฉralement, si ๐(๐)est dรฉrivable sur ๐ผ(avec ๐โโ), on note ๐(๐+1) = (๐(๐))โฒ.
Dรฉ๏ฌnition : si elle existe, ๐(๐)sโappelle la dรฉrivรฉe ๐iรจme de ๐sur ๐ผ.
Dรฉ๏ฌnition : si ๐(๐)existe et si ๐(๐)est continue sur ๐ผ, on dit que ๐est de classe ๐ถ๐sur ๐ผ.
Dรฉ๏ฌnition : on dit que ๐est de classe ๐ถโsur ๐ผsi, pour tout ๐โโ,๐(๐)existe, autrement dit
si ๐est in(dรฉ)๏ฌniment dรฉrivable sur ๐ผ.
Notation : on notera, entre nous ๐โ๐ถ(๐ผ),๐โ๐ท(๐ผ),๐โ๐ท๐(๐ผ),๐โ๐ถ๐(๐ผ),๐โ๐ถโ(๐ผ)lorsque
๐sera une fonction continue, dรฉrivable, dรฉrivable ๐fois, de classe ๐ถ๐, de classe ๐ถโsur lโintervalle ๐ผ.
Exemples : les polynรดmes, exp,cos,sin, ch, sh sont des fonctions de classe ๐ถโsur โ.
Les fonctions ln,[๐ฅ7โ 1
๐ฅ],tan, th =sh
ch , les fractions rationnelles ๐น=๐
๐(oรน ๐et ๐sont deux
polynรดmes, ๐โ=ห
0), sont des fonctions de classe ๐ถโsur leurs ensembles de dรฉ๏ฌnition respectifs.
Notation :๐ท๐(๐ผ)est lโensemble des fonctions ๐fois dรฉrivables (au moins) sur ๐ผ.
๐ถ๐(๐ผ)est lโensemble des fonctions de classe ๐ถ๐(au moins) sur ๐ผ. On a les inclusions
๐ถโ(๐ผ)โ. . . โ๐ถ๐+1(๐ผ)โ๐ท๐+1(๐ผ)โ๐ถ๐(๐ผ)โ๐ท๐(๐ผ)โ. . . โ๐ถ1(๐ผ)โ๐ท1(๐ผ)โ๐ถ0(๐ผ)โโ๐ผ.
Attention : ยซ๐dรฉrivableยป nโentraรฎne pas forcรฉment ยซ๐โฒcontinueยป.
Par exemple, en posant ๐(0) = 0 et ๐(๐ฅ) = ๐ฅ2sin( 1
๐ฅ), on a ๐dรฉrivable sur โ
โ3/10โ Lycรฉe Faidherbe, Lille