1

I read two proofs of Rademacher’s theorem, on the book Measure Theory and Fine Properties of Functions by Evans, P103 and Sets of Finite Perimeter and Geometric Variation Problems by Francesco, P75.

(1) On Evans’s book, there is a step to derive $$\int_{\mathbb{R}^n} D_v f(x) \zeta(x) \,dx = \int_{\mathbb{R}^n}(v \cdot \operatorname{grad} f(x)) \zeta(x) \, dx$$ I would like to know why here use Fubini’s Theorem and absolute continuity of $f$ on lines.

(2) On Francesco’s book, in the last step, he claims that $$\int_{\mathbb{R}^n} g_0 \nabla \varphi = 0, \forall \varphi \in C_c^\infty(B)$$ I would like to know how to derive this result.

enter image description here

enter image description here

MichaelS
  • 105
  • Without context it is impossible to know what these are saying. What is $f$? What is $v$? What is $\zeta$? What is $g_0$? What is $B$? – Umberto P. Jul 28 '21 at 15:22
  • Sorry for unclear statement. I add the screenshot of original proofs to clarify the question. – MichaelS Jul 29 '21 at 13:55

1 Answers1

1

I only have the first book in hand. The author uses Fubini's theorem and absolute continuity in this line to make sure changing order of summation and integral is valid $$\int_{\mathbb{R}^{n}}f\left(x\right)\sum_{i=1}^{n}v_{i}\zeta_{x_{i}}\left(x\right)dx=\sum_{i=1}^{n}v_{i}\int_{\mathbb{R}^{n}}f\left(x\right)\zeta_{x_{i}}\left(x\right)dx,$$ note that summation can be seen as an integral respect to some counting measure $N$, the absolute continuity of $f$ ensures that it can be seen as a Radon–Nikodym derivative of some measure $\mu$ with respect to Lebesgue measure. LHS is integral with respect to $N$ first then $\mu$, RHS is integral with respect to $\mu$ fisrt then $N$, Fubini's theorem applies here.

Q9y5
  • 1,394