Holder Convergence of the Composition of Holder and Lipschitz Continuous functions

910 Views Asked by At

Trying to fill in a proof, and I was wondering if the following is true.

Let $f \in C^{\gamma}(\mathbb{[0,1]})$ (ie a $\gamma$-Holder continuous funtion with $\gamma \in (0,1)$). Define the norm $\| \cdot\|_{L}$ and $\| \cdot \|_{\gamma}$ on $C([0,1])$ as follows:

\begin{eqnarray*} \| h\|_L &=& |h(0)| + \sup_{x \neq y} \frac{|h(x)-h(y)|}{|x-y|} \\ \| h \|_{\gamma} &=& |h(0)| + \sup_{x \neq y} \frac{|h(x)-h(y)|}{|x-y|^{\gamma}} \end{eqnarray*}

Suppose $g_n([0,1]),g([0,1]) \subset [0,1]$. If $g_n \rightarrow g$ in $\|\cdot\|_L$, does $f \circ g_n \rightarrow f \circ g$ in $\|\cdot\|_{\gamma}$?

1

There are 1 best solutions below

2
On

Hint: These inequalities might be useful $$ \begin{align} \frac{|f\circ g(x)-f\circ g(y)|}{|x-y|^\gamma} &=\frac{|f\circ g(x)-f\circ g(y)|}{|g(x)-g(y)|}\frac{|g(x)-g(y)|}{|x-y|^\gamma}\\ &\le\|f\|_L\|g\|_\gamma \end{align} $$ and $$ \begin{align} \frac{|f\circ g(x)-f\circ g(y)|}{|x-y|^\gamma} &=\frac{|f\circ g(x)-f\circ g(y)|}{|g(x)-g(y)|^\gamma}\left(\frac{|g(x)-g(y)|}{|x-y|}\right)^\gamma\\ &\le\|f\|_\gamma\|g\|_L^\gamma \end{align} $$