Classe de diferenciabilitat: diferència entre les revisions
Contingut suprimit Contingut afegit
→Exemples: gràfiques |
→Exemples: millores variades |
||
Línia 18:
[[Image:C0 function.svg|right|thumb|La funció ''f''(''x'')=''x'' per a ''x''≥0 i 0 altrament és de classe C<sup>0</sup> però no diferenciable.]]
[[Image:TV pic3.png|thumb|right|La funció ''f''(''x'')=''x''<sup>2</sup> sin(1/''x'') per a ''x''≠0 i 0 altrament és diferenciable però no de classe C<sup>1</sup>.]]
[[Image:Mollifier illustration.png|right|thumb|300px|Una funció llisa que no és analítica.]]▼
La funció
: <math>f(x) = \begin{cases}x & \mbox{si }x \ge 0, \\ 0 &\mbox{si }x < 0\end{cases}</math>
és continua, però no diferenciable a ''x'' = 0, així que és de classe
La funció
Línia 27:
És diferenciable, amb derivada
:<math>f'(x) = \begin{cases}-\mathord{\cos(\tfrac{1}{x})} + 2x\sin(\tfrac{1}{x}) & \mbox{si }x \neq 0, \\ 0 &\mbox{si }x = 0.\end{cases}</math>
Com que cos(1/''x'') oscil·la quan ''x'' → 0, ''f'' '(''x'') no és continua al zero. Per això, aquesta funció és diferenciable però no de classe C<sup>1</sup>.
Modificant aquest exemple a
{{nowrap begin}}''f''(''x'') = ''x''<sup>3/2</sup>sin(1/''x''){{nowrap end}} {{nowrap begin}}(''x'' ≠ 0){{nowrap end}}
es veu que la funció derivada d'una funció diferenciable pot ser no fitada en un [[espai compacte|conjunt compacte]] i, per tant, que una funció diferenciable en un conjunt compacte pot no ser localment [[Funció Lipschitz|lipschitziana]].
Les funcions
: <math>f(x)=|x|^{k+1}</math>,
on ''k'' és parell, són contínues i ''k'' vegades diferenciables en tot ''x''. Però a ''x'' = 0 no són (''k''+1) vegades diferenciables, així que són de classe
▲[[Image:Mollifier illustration.png|right|thumb|300px|Una funció llisa que no és analítica.]]
La [[funció exponencial]] és analítica, i doncs, de classe
La funció
:<math>f(x) = \begin{cases}e^{-\frac{1}{1-x^2}} & \mbox{ si } |x| < 1, \\ 0 &\mbox{ altrament }\end{cases}</math>
és llisa, doncs de classe
===Classes de diferenciabilitat en diverses variables===
|