Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I read in a paper (pp8) that the set $$A=\left\{f\in W^{1,1}(0,1):\sup |f|\leq C,\ \int_0^1|f'(t)|dt\leq M \right\}$$ is compact in $C([0,1])$, where $C$ and $M$ are fixed constants. I understand that $W^{1,1}(0,1)$ denotes in this situation the space of absolutely continuous functions. In order to apply the Arzela Ascoli Theorem, I would require uniform boundedness which is given, but to prove equicontinuity, a bound on $f'$ would have been nicer. I do not see how to use the second condition to prove equicontinuity. Could someone give a hint.

share|improve this question
2  
Let $f_n$ such that $f_n(x)=0$ if $0\leq x\leq 1/2-1/n$ or $x\geq 1/2+1/n$, $f_n(1/2)=1$ and $f_n$ is piecewise linear. We can approximate these functions by smooth ones with compact support. The set $\{f_n,n\in\Bbb N\}$ is not compact in $C[0,1]$, unless I'm missing something. –  Davide Giraudo Nov 5 '12 at 8:54
    
@DavideGiraudo It seems to me that $\int_0^1 |f'_n(t)|\, dt \sim n$. –  Siminore Nov 5 '12 at 9:02
    
Sorry, I was computing the integral of $f_n$... –  Siminore Nov 5 '12 at 9:07
add comment

1 Answer 1

up vote 2 down vote accepted

Let $$f_n(x):=\begin{cases} 0&\mbox{if }0\leq x\leq \frac 12-\frac 1n\mbox{ or }\frac 12+\frac 1n\leq x\leq 1;\\ 1&\mbox{if }x=\frac 12;\\ \mbox{piecewise linear}.& \end{cases}$$ We have $0\leq f_n(x)\leq 1$ for all $x$. This function is weakly differentiable, of weak derivative $n\chi_{(1/2-1/n,1/2)}-n\chi_{(1/2,1/2+1/n)}$, so $\int_{(0,1)}|f'_n(x)|dx=2$.

But $\{f_n,n\in\Bbb N\}$ is not relatively compact for the uniform norm as each subsequence converge pointwise to $\chi_{\{1,2\}}$, a discontinuous function, hence cannot converge uniformly.

An other way to see that is to note that this set is not equi-continuous at $1/2$.

share|improve this answer
    
Could it be that the paper has a mistake? –  Vivek Nov 5 '12 at 10:22
    
I haven't red it in details, just in order to be sure there weren't other additional assumption. So to determine whether there is a mistake, I need to read it carefully. –  Davide Giraudo Nov 5 '12 at 10:33
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.