§ Flat functions
This is smooth, but is badly non-analytic. Any taylor expansion around
is going to be identically zero. So we're going to prove that it possesses
all derivatives. This implies that the derivative at zero is equal to zero,
because the left derivative is always equal to zero.
- . Differentiate to get . Change to get . As , decays more rapidly than increases, thus the limit is zero.Hence, .
- For higher derivatives, let for some polynomial .See that . To compute this, set and compute which is:
- Flat functions on wikipedia
- So we can write higher derivatives too as times which also decaysrapidly to .