3
$\begingroup$

Let $u(x) \in L^1( \mathbb{R}^n) \cap BV(\mathbb{R}^n)$ and let $\rho\ge 0$ be the standard mollifier on $\mathbb{R}^d$, supported in unit ball with $\int_{\mathbb{R}^d}\rho \,dx=1$ and define $\rho_\delta= \frac{1}{\delta^n}\rho(\frac{x}{\delta})$, then $\int_{\mathbb{R}^d}\rho_\delta \,dx=1$ . How shall I prove that $$\int_{\mathbb{R}^n} \int_{\mathbb{R}^n}| u(y)-u(x)| \rho_\delta(y-x) \,dx\,dy \le \delta |u|_{BV(\mathbb{R}^d)}$$

I wrote this as after putting $z=\frac{y-x}{\delta}$, $$\int_{|z|\le 1} \int_{\mathbb{R}^n}| u(x+\delta z)-u(x)| \rho(z) \,dx\,dz$$ $$= \int_{|z|\le 1}\int_{\mathbb{R}^n}\Big|\int^1_0 \nabla u( x+\lambda \delta z) \cdot \delta z \,d\lambda\Big| \rho(z)\,dx\,dz$$ $$\le \delta \int_{|z|\le 1} \int^1_0 \int_{\mathbb{R}^n}| \nabla u(x+\lambda \delta z)|\,dx\rho(z)\,d\lambda\,dz$$ Now if I can prove that $\int_{\mathbb{R}^n}| \nabla u(x+\lambda \delta z)|\,dx\ \le |u|_{BV(\mathbb{R}^n)}$ , then I will be done. But I'm not sure how to do this.

$\endgroup$
5
  • 2
    $\begingroup$ @DeaneYang I don't think it is a homework problem. Looks related MathAnimal tries to understand some papers of Brezis and others on a new characterization of BV and Sobolev spaces. $\endgroup$ Commented Oct 5, 2018 at 21:40
  • $\begingroup$ Sorry about that. $\endgroup$
    – Deane Yang
    Commented Oct 6, 2018 at 0:53
  • $\begingroup$ Yes you are right sir, it is not a homework problem. $\endgroup$
    – MathAnimal
    Commented Oct 6, 2018 at 5:12
  • $\begingroup$ So do you mean using density of $C_c^{\infty}(\mathbb{R}^n)$ in $L^1(\mathbb{R}^n)$, and using the fact that $TV(u)= \int | \nabla u|$ ? $\endgroup$
    – MathAnimal
    Commented Oct 7, 2018 at 13:31
  • $\begingroup$ Yes, that seems right $\endgroup$
    – Deane Yang
    Commented Oct 7, 2018 at 18:51

0

You must log in to answer this question.