Algebrability and nowhere Gevrey differentiability (Q2339728)

Let \(s>0\) be a real number\(.\) An infinitely differentiable function \(f\) defined on an open set \(\Omega \subset \mathbb{R}\) is Gevrey differentiable of order \(s\) at a point \(x_{0}\in \) \(\Omega \) if there exist a compact neighborhood \(I\) of \(x_{0}\) and constants \(C,h>0\) such that \(\sup_{x\in I}\left| f^{(n)}(x)\right| \leq Ch^{n}\left( n!\right) ^{s}\) for all non-negative integers \(n\). Also, \(f\) is said to be nowhere Gevrey differentiable on \(\mathbb{R}\) if \(f\) is not Gevrey differentiable of order \( s\) at \(x_{0}\), for every \(s>1\) and every \(x_{0}\in \mathbb{R}\). In this paper it is proved that there exist \(\mathfrak{c}\)-generated algebras whose non-zero elements are nowhere Gevrey differentiable. From this result we know, for instance, that the set of functions enjoying this property is lineable. As a consequence of the proofs of the results of the paper, a new method of generating nowhere Gevrey differentiable functions is presented.