Bonsoir ,
merçi ThSQ pour la réponse.
1)
A priori, f est continue sur

, dérivable sauf sur l'ensemble dénombrable

de mesure nulle.
Je ne vois pas comment définir que f est deux fois dérivable p.p
puisque f ' est définie sur le complémentaire d'un ensemble dense de
Comment est-ce que l'on concilie les problèmes de mesure et de topologie ?
je ne vois comment on dérive une fonction au voisinage d'un point

duquel on a retiré un ensemble dense ?
2)
Pour calculer des valeurs exactes de f, par exemple pour

on s'intéresse à des fonctions du style
=\sum_{k=0}^{+\infty} \, \frac{x^{6k}}{(6k)!})
est-ce que cela se calcule ?
3)truc étrange:
si l'on définit la fonction g par
=\sum_{k=0}^{+\infty} \, \frac{\arccos(\cos(2^n \pi x))}{4^n \pi })
Pour x >0, en posant le développement dyadique de

on vérifie que p,p:
=\sum_{k=0}^{+\infty} \, \frac{\sin(2^k x \pi)}{|\sin(2^k x \pi)|} 2^{ -k} = \sum_{k=0}^{+\infty} \, \frac{\epsilon_{k}}{2^k}=x)
je ne pense pas que g soit une primitive de sa dérivée

,p.p, pourtant continue.
Serait-ce un contre-exemple ?