Théorème du prolongement dérivable...
Théorème du prolongement dérivable...
J'ai entendu parlé du théoeème du prolongement dérivable qui sert à montrer qu'une fonction $ C^{p} $ par morceaux est de classe $ C^{p} $ sur le domaine de définition.Je ne sais pas si quelqu'un pourrait me préciser ses hypothèses.Merci d'avance.[/tex]
En fait on démontre mon théorème par récurrence avec comme initialisation le théorème de prolongement des fonctions de classe C1.Et donc on peut l'énoncé comme suit:"Soit f une fonction continue sur [a,b](respectivement sur I),de classe $ C^{(p)} $ sur [a,b[(resp. $ C^{(p)} $ par morceaux sur I). Si $ f^{(p)} $ admet une limite L en b (resp. si $ f^{(p)} $ est prolongeable par continuité aux points de discontinuités) alors f est de classe $ C^{(p)} $ sur [a,b] (resp. de classe $ C^{(p)} $sur I) et $ f^{(p)}(b) $=L". ça me paraît cool comme théorème .
Il l'est. A titre d'exercice, tu peux l'utiliser pour démontrer qu'il existe une fonction $ C^{\infty} $ de $ \mathbb{R} $ dans lui-même nulle en dehors d'un segment donné mais non identiquement nulle. Cette construction est marrante en soi et surtout sert à un niveau plus élevé pour construire proprement la théorie des distributions.fredo118 a écrit :En fait on démontre mon théorème par récurrence avec comme initialisation le théorème de prolongement des fonctions de classe C1.Et donc on peut l'énoncé comme suit:"Soit f une fonction continue sur [a,b](respectivement sur I),de classe $ C^{(p)} $ sur [a,b[(resp. $ C^{(p)} $ par morceaux sur I). Si $ f^{(p)} $ admet une limite L en b (resp. si $ f^{(p)} $ est prolongeable par continuité aux points de discontinuités) alors f est de classe $ C^{(p)} $ sur [a,b] (resp. de classe $ C^{(p)} $sur I) et $ f^{(p)}(b) $=L". ça me paraît cool comme théorème .
fredo118 a écrit :La fonction escalier sur [0;1] et nulle sur ailleurs.Elle me paraît faire l'affaire en considérant sa subdivision $ (a_{i})_{i\in\I} $et en appliquant le théorème de prolongement dérivable sur chaque intervalle $ [a_{i},a_{i+1}] $.cqfd
Une fonction en escalier n'est continue que si elle est constante, vu qu'elle ne prend qu'un nombre fini de valeurs... A fortiori, pas $ C^{\infty} $!
N'oublions pas qu'il y a une hypothèse de continuité dans le théorème sus-cité, et que tu viens juste en fait de démontrer qu'on ne peut pas s'en passer.
Oui. Enfin bon, on peut toujours étendre les définitions comme on veut, mais en prépa, elles sont d'abord définies sur les segments, puis on peut étendre cette définition de manière intéressante aux intervalles quelconques. Cependant, ça n'a que peu de rapport avec la question initiale (qui demandait des fonctions définies sur R).jojo a écrit :Est ce qu'une fonction en escalier est nécessairement définie sur un intervalle?