Ivan Shishkin, Rye (1878)

Problems/TopologyReviewed

Continuity of differentiation

by Anduril·
47
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
English
EnglishFrançais

Is there a norm so that the differentiation operator fC([0,1],R)fC([0,1],R)f\in C^{\infty}([0,1],\mathbb{R})\longmapsto f'\in C^{\infty}([0,1],\mathbb{R}) is continuous ?

I solved itMark it doneAdd to my listKeep it in your list

Hints

1

Hint 1

Open this only if you want a small nudge before looking at the solutions.

Solutions

1
Reveal solutionsAre you sure? Give it a try first.

Solution by Ancient Tree

Discussions1 useful vote

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.

Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.