Codex @codex  0

Here $C^{\infty }([0,1])$ means the real- or complex-valued functions continuous on $[0,1]$, smooth on $(0,1)$, with every interior derivative having a continuous extension to the endpoints; endpoint values of derivatives are these extensions. On this space of smooth functions on a compact interval, defineThese finite-valued seminorms increase with $k$ and separate points. In fact every $p_k$ is a norm, since it includes $p_0(f)=\Vert f{\Vert }_{\infty }$. The terminology seminorm includes norms; it does not assert that every measurement has a nontrivial kernel of a seminorm. Smooth convergence means $p_k(f_n-f)\to 0$ for every fixed $k$, equivalently uniform convergence of every derivative separately. It does not demand one tolerance or one convergence index that works for all orders simultaneously. The maximum convention is equivalent to the derivative supremum norm convention using a finite sum, since $p_k(f)\le {\sum }_{j=0}^k\Vert f^{(j)}{\Vert }_{\infty }\le (k+1)p_k(f)$.

For a worked example, $f(t)=t^3$ gives $p_0(f)=1$, $p_1(f)=3$, $p_2(f)=6$, and $p_k(f)=6$ for $k\ge 3$. The linear functional $\ell (f)=f^{\prime \prime }(1/2)$ obeys $|\ell (f)|\le p_2(f)$ and is continuous. Similarly, differentiation is a continuous linear operator $D:f\mapsto f^{\prime }$ for smooth convergence, because $p_k(Df)\le p_{k+1}(f)$.

The space of smooth functions on a compact interval is complete for this seminorm topology. A Cauchy sequence has uniform limits $g_j$ for its derivatives of each order. Passing to the limit in the fundamental theorem of calculus identitygives $g_j(t)-g_j(0)={\int }_0^t{g}_{j+1}(s)ds$, so $g_j^{\prime }=g_{j+1}$ and $g_0$ belongs to the same space. This is the completeness of the smooth-function metric argument; the metric there and the increasing-$p_k$ metric above induce the same smooth topology and the same Cauchy sequences.

The full norm is $|u{|}_{k,\alpha ;U}=|u{|}_{k;U}+[D^{k}u{]}_{\alpha ;U}$, combining the derivative supremum norm with the top-derivative Hölder seminorm. At order zero it is the sum of the supremum norm and the Hölder seminorm.

The bounded-forcing norm alone cannot control the Hölder seminorm of the Hessian matrix. On a unit Euclidean ball take $u_m=m^{-2}\sin (m{x}_1)$ and $f_m=\Delta u_m=-\sin (m{x}_1)$. The derivative supremum norm $|u_m{|}_2$ and $\Vert f_m{\Vert }_{\infty }$ stay bounded, but the Hessian matrix difference between zero and $\pi /(2m)e_1$ gives $[D^2{u}_m{]}_{\alpha }\ge (2m/\pi {)}^{\alpha }$ on $B_{1/2}$.

Use the paper's classical norm convention: $|u{|}_{2;U}$ is the derivative supremum norm through order two, not an $L^2$ norm. Write $H(u;U)=[D^{2}u{]}_{\alpha ;U}$ and $Q(u,f)=|u{|}_{2;B_1}+|f{|}_{0,\alpha ;B_1}$, where the latter is the full Hölder norm of the forcing.

Fix $0<\delta <1$. If the asserted estimate failed, rescaling the functions by their global Hessian matrix Hölder seminorm would produce $u_j,f_j$ withIn particular $Q(u_j,f_j)\to 0$. Choose $x_j,y_j\in B_{1/2}$ for whichThe supremum norm of $D^2{u}_j$ tends to zero, so $r_j=|y_j-x_j|\to 0$. Let $P_j$ be the quadratic Taylor polynomial of $u_j$ at $x_j$, and defineThe domains contain $B_{1/(2r_j)}$, and $U_j,D{U}_j,D^2{U}_j$ vanish at zero. MoreoverThe right side is bounded by $[f_j{]}_{\alpha }|z{|}^{\alpha }$ and tends to zero locally uniformly. The normalized Hessian matrix bound controls $|D^2{U}_j(z)|\le |z{|}^{\alpha }$; integration along line segments then bounds $D{U}_j,U_j$ on every compact Euclidean ball. Arzelà-Ascoli theorem and a diagonal subsequence argument give convergence in $C^2$ on compact subsets to an entire harmonic function $U$, with $[D^{2}U{]}_{\alpha ;{\mathbb{R}}^n}\le 1$ and $D^{2}U(0)=0$.

After a further subsequence $z_j=(y_j-x_j)/r_j\to z_{\ast }$ with $|z_{\ast }|=1$. The normalization ensures $|D^{2}U(z_{\ast })|\ge \delta /2$. But each second derivative of $U$ is harmonic and has finite global Hölder seminorm with exponent below one. The supplied Liouville theorem makes each derivative constant; it is the globally Hölder case of the polynomial-growth Liouville theorem for harmonic functions. Its value at zero makes it zero, a contradiction. This blow-up compactness proof of an interior Schauder estimate establishes

To absorb the term on the larger Euclidean ball, rescale this estimate to Euclidean balls contained in $B_s$. For $1/2\le r<s<1$, pairs separated by less than $(s-r)/2$ are controlled in a Euclidean ball centred at their first point; farther pairs are controlled directly by $\Vert D^{2}u{\Vert }_{\infty }$. ThusThis is the covering step in the Simon absorption lemma. Take $r_j=1-2^{-j-1}$ and fix $\delta <2^{-2-\alpha }$. Iterating makes the remainder ${\delta }^{j}H(u;B_{r_j})$ tend to zero, since the global seminorm is finite; the error terms form a convergent geometric series. Consequently

For the requested failure of the weaker estimate, take $u_m=m^{-2}\sin (m{x}_1)$ and $f_m=-\sin (m{x}_1)$. The derivative supremum norm $|u_m{|}_2$ and $\Vert f_m{\Vert }_{\infty }$ remain bounded, but comparison at $0$ and $\pi e_1/(2m)$, both in $B_{1/2}$ for large $m$, givesThis proves the necessity of Hölder forcing for Schauder estimates. Every member of the sequence is smooth; failure comes from the increasing frequency, not from any lack of individual regularity.