# Boundedness of a family of functions in $C^{1}[0,1]$

Suppose we have a set $S$ which contains all functions $v \in C^{1}[0,1]$ so that $v(0) = 0$ and

$$\int_{0}^{1} |v'(x)|^2 dx = 1.$$

How can I show that $S$ is bounded with the infinity norm. That is, how can I show that

$$sup_{v\in S}\lVert v\rVert_{\infty}$$

exists.

I know that for each $v \in S$ there exists a constant $M(v)$ so that $|v(x)| \le M(v)$ for all $x \in [0,1]$ since $v$ is continuous on a closed interval $[0,1]$. What I fail to see is how $\int_{0}^{1} |v'(x)|^2 dx = 1$ helps me.

-

Assume you have $v_n=n\cdot x$. Then $v_n\in C^1[0,1]$ and $v_n(0)=0$ is fulfilled for all $n$. But $\sup_{v\in S}||v||_{\infty} \geq \sup_{n}||v_n||_{\infty}\rightarrow \infty$. – macydanim Dec 17 '12 at 20:24
@macydanim, so you are saying that $sup_{v\in S}\lVert v\rVert_{\infty} = \infty$ and thus $S$ is not bounded? – user53477 Dec 17 '12 at 20:27
I have no idea what @macydanim is trying to say. Because $v_n(x) = nx$ certainly doesn't satisfy $\int_0^1 |v_n'(x)|^2 \,dx = 1$. – kahen Dec 17 '12 at 20:28
@kahen , exactly. I just wanted to provide an example that shows that the condition $\int_0^1 ||v'|| dx$ is important and what can go wrong otherwise. Sorry if that did not come through. – macydanim Dec 17 '12 at 20:30
@macydanim, so is there something very obvious that I might be missing from that integral? – user53477 Dec 17 '12 at 20:35

## 2 Answers

Let $v\in S$ and $x\in[0,1]$. Then $$|v(x)|=\Bigl|\int_0^xv'(t)\,dt\Bigr|\le\int_0^x|v'(t)|\,dt\le\Bigl(\int_0^x|v'(t)|^2dt\Bigr)^{1/2}\Bigl(\int_0^xdt\Bigr)^{1/2}\le\sqrt x\le1.$$ Use has been made of the Cauchy-Schwarz inequality and the fact that $$\int_0^x|v'(t)|^2dt\le\int_0^1|v'(t)|^2dt\le1.$$

-

Thank you. I'm still wondering why I couldn't see that connection. – user53477 Dec 17 '12 at 21:05
From your expression we have that $-\sqrt{x} \le v(x) \le \sqrt{x}$. So $\sqrt{x} \in S$. But now we have a problem since $\int_{0}^{1} |\frac{d}{dx} \sqrt{x}|^2 dx = \int_{0}^{1} \frac{1}{2 \sqrt{x}}^2 dx = \int_{0}^{1} \frac{1}{4x} dx$ which does not converge. Do we really have $v(x) \le \sqrt{x}$? or perhaps $v(x) \lt \sqrt{x}$? – user53477 Dec 17 '12 at 22:57
We certainly have $|v(x)|\le\sqrt x$. Can you spot something wrong in the proof? But this does nor mean that $\sqrt x\in S$. – Julián Aguirre Dec 18 '12 at 10:03

Another one by contradiction.

Suppose $\sup_{v\in S} || v||_{\infty} =\infty$ That means there exists a sequence $(x_n)\rightarrow \tilde{x}>0$ such that $v(x_n)\rightarrow \infty$. Now the mean value theorem states, that $\exists \xi$ such that $\xi \in [0,{x_n}]$ and $$v'(\xi) = \frac{v(x_n)-v(0)}{{x_n} -0}=\frac{v({x_n})}{{x_n}}$$ So we know
$$|v'(\xi)| =|\frac{v({x_n})}{{x_n}}| \rightarrow |\frac{v(\tilde{x})}{\tilde{x}}|= \infty\, \text{ as } n \rightarrow \infty$$ Now as $v\in C^1[0,1]$ we know that $v'\in C^0[0,1]$ so $\int_0^1 || v'(x) || dx \rightarrow \infty$. Which is a contradiction.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 39, "mathjax_display_tex": 6, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9679324626922607, "perplexity_flag": "head"}