In the answer to Characterisation of one-dimensional Sobolev space Tomás wrote

... let $\eta_\delta$ be the standard mollifier sequence. Let $u_\delta=\eta_\delta\star u$ and note that for any $c\in (a,b)$ $$|u_\delta(x)-u_\epsilon(x)|\le \int_c^x |u'_\delta (t)-u'_\epsilon(t)|dt+|u_\delta (c)-u_\epsilon(c)|\tag{1}.$$

Since I am new to this subject, I'd like to know which theorem/lemma Tomás used to get inequality (1).

  • 1
    $\begingroup$ Post it as a comment under his answer. $\endgroup$ – barak manos Aug 28 '14 at 10:18
  • $\begingroup$ I am unable to, my reputation points have to be over 50 to comment under the answer. $\endgroup$ – Mr Nemo Aug 28 '14 at 10:47
  • $\begingroup$ OK, 6 more up-votes and you're there. Here's one from me... $\endgroup$ – barak manos Aug 28 '14 at 10:48
  • $\begingroup$ @barakmanos Spurious upvotes are to be avoided. This issue was discussed, and resolved, on Meta. $\endgroup$ – user147263 Aug 28 '14 at 14:46
  • $\begingroup$ @Thursday: OK, sorry, I cannot revert that by now (BTW, it looks as though I wasn't the only one)... $\endgroup$ – barak manos Aug 28 '14 at 14:47

By the fundamental theorem of calculus, we have that $$u_\delta(x)=u_\delta (c)+\int_c^xu_\delta'(t)dt,$$

Can you conclude now?

  • $\begingroup$ Indeed I can. Thank you very much for your clarification. Sorry for causing such a fuss due to my lack of reputation points. $\endgroup$ – Mr Nemo Aug 28 '14 at 15:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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