Ivan Shishkin, Rye (1878)

Discussions

Continuity of differentiation

0 messages

Solution

Solution by Ancient Tree · EN

Note that differentiation is linear, so the continuity of differentiation is equivalent to continuity at 0 (here, the 0 of the vector space C([0,1],R)C^{\infty}([0,1],\R), that is, the constant function equal to 0). In other words: for every ε>0\varepsilon >0, there would exist a δ>0\delta >0, such that for every function f:[0,1]Rf:[0,1]\rightarrow \R of class CC^{\infty} satisfying fδ\|f\|\leq \delta, we would have fε\|f'\|\leq\varepsilon.

However, this is false for any norm. To see this, it is enough to find functions such that f\|f'\| is arbitrarily larger than f\|f\|. Natural candidates are the functions fλ(x)=eλxf_{\lambda}(x)=e^{\lambda x}. Indeed, we have:
fλ=λeλx=λeλx=λfλ.||f_{\lambda}'||=||\lambda e^{\lambda x}||=|\lambda| \|e^{\lambda x}\|=|\lambda|\|f_{\lambda}\|.

Now, if we take ε>0\varepsilon>0, and fix δ>0\delta >0, the problem with the functions fλ(x)=eλxf_{\lambda}(x)=e^{\lambda x} is that their norm is not necessarily less than or equal to δ\delta.
We can therefore simply normalize them and multiply by δ\delta so that this is the case: we define
gλ(x)=δeλxeλxg_{\lambda}(x)=\frac{\delta e^{\lambda x}}{||e^{\lambda x}||}

and automatically their norm is exactly δ\delta; moreover, we still have the condition gλ=λgλ\|g_{\lambda}'\|=|\lambda|\|g_{\lambda}\|.
By taking λ>ε/δ\lambda>\varepsilon/\delta, we therefore obtain gλδ\|g_{\lambda}\|\leq\delta but gλ>ε\|g_{\lambda}'\|>\varepsilon, which contradicts continuity.

No messages yet.