Skip to main content
deleted 14 characters in body
Source Link
Christian Remling
  • 24.2k
  • 2
  • 48
  • 83

Q1: Yes. Since $f'_n$ is bounded in $L^p$, a suitable subsequence will converge $f_n'\to g$ weakly. Then also $$ f(x) =\lim f_n(x) = \lim \left( f_n(a)+\int_a^x f'_n(t)\, dt \right) = f(a) + \int_a^x g(t)\, dt , $$ initially for almost allso $x$, but then$f$ is absolutely continuous (with derivative in fact for all $x$ by continuity$L^p$).

Q2: No. For example $f(x)=|x|^{-\alpha}$$f(x)=|x|^{\alpha}$ has a derivative $f'\in L^p$ for $p<1/\alpha$$p<1/(1-\alpha)$, so can easily be approximated by functions with bounded $L^p$ derivatives.

Q1: Yes. Since $f'_n$ is bounded in $L^p$, a suitable subsequence will converge $f_n'\to g$ weakly. Then also $$ f(x) =\lim f_n(x) = \lim \left( f_n(a)+\int_a^x f'_n(t)\, dt \right) = f(a) + \int_a^x g(t)\, dt , $$ initially for almost all $x$, but then in fact for all $x$ by continuity.

Q2: No. For example $f(x)=|x|^{-\alpha}$ has a derivative $f'\in L^p$ for $p<1/\alpha$, so can easily be approximated by functions with bounded $L^p$ derivatives.

Q1: Yes. Since $f'_n$ is bounded in $L^p$, a suitable subsequence will converge $f_n'\to g$ weakly. Then also $$ f(x) =\lim f_n(x) = \lim \left( f_n(a)+\int_a^x f'_n(t)\, dt \right) = f(a) + \int_a^x g(t)\, dt , $$ so $f$ is absolutely continuous (with derivative in $L^p$).

Q2: No. For example $f(x)=|x|^{\alpha}$ has a derivative $f'\in L^p$ for $p<1/(1-\alpha)$, so can easily be approximated by functions with bounded $L^p$ derivatives.

Post Undeleted by Christian Remling
Post Deleted by Christian Remling
Source Link
Christian Remling
  • 24.2k
  • 2
  • 48
  • 83

Q1: Yes. Since $f'_n$ is bounded in $L^p$, a suitable subsequence will converge $f_n'\to g$ weakly. Then also $$ f(x) =\lim f_n(x) = \lim \left( f_n(a)+\int_a^x f'_n(t)\, dt \right) = f(a) + \int_a^x g(t)\, dt , $$ initially for almost all $x$, but then in fact for all $x$ by continuity.

Q2: No. For example $f(x)=|x|^{-\alpha}$ has a derivative $f'\in L^p$ for $p<1/\alpha$, so can easily be approximated by functions with bounded $L^p$ derivatives.