Całka po kuli

[MrCommando]

Poszukuję dowodu następującego faktu:

Niech \(\displaystyle{ f}\) będzie funkcją ciągłą na kuli \(\displaystyle{ B(x_0,R)\subset \mathbb{R}^n}\). Udowodnić, że \(\displaystyle{ \int_{B(x_0,R)} f(x)\mbox{d}x=\int_{0}^R \left(\int_{\partial B(x_0,r)} f(x)\mbox{d}S(x)\right)\mbox{d}r}\).

Generalnie nie mam żadnego pomysłu też jak ten dowód przeprowadzić samemu. Za wszelką pomoc będę wdzięczny.

[Dasio11]

A jakiej używasz definicji całki po kuli i całki po sferze?

[Janusz Tracz]

Być może to będzie pomocne

Kod: Zaznacz cały

https://math.stackexchange.com/questions/3093400/is-it-simply-a-coincidence-that-if-you-differentiate-the-formula-for-the-volume?noredirect=1&lq=1

szczególną uwagę zwróć na pierwszą odpowiedź i komentarz:

As you can see, nothing here uses the fact that we have a sphere. This argument is equally valid for any family of objects parametrised by a single parameter r

formalnie nie umiem tego udowodnić ale skojarzyło mi się to własnie z faktem, że \(\displaystyle{ \frac{ \dd V}{ \dd r} = S(r)}\) więc \(\displaystyle{ f(r) \dd V= f(r)S(r) \dd r}\).

PS to tylko taka luźna uwaga. Jak się nie przyda to trudno.

[janusz47]

Patrz twierdzenie Coarea na przykład tutaj

Kod: Zaznacz cały

https://en.wikipedia.org/wiki/Coarea_formula

[MrCommando]

Dasio11, całka po kuli to całka względem \(\displaystyle{ n}\)-wymiarowej miary Lebesgue'a, natomiast całkę po sferze rozumiemy jako całkę względem miary powierzchniowej.