elementary differential geometry question Suppose $\Omega \subset {\mathbb R}^n$ be open and bounded with smooth boundary.  Let $t_0 > 0$ be small enough so that for every $x \in \partial \Omega$, there exists a unique $y \in \Omega$ with $|x-y|=t_0=dist(y,\partial \Omega)$.  Let $h \in L^1(\Omega)$ with $h \geq 0$.  For $x \in \Omega$, let $n(x)$ be the inward normal vector to $\partial \Omega$.  Let $\Omega_t = \{x\in \Omega \mid dist(x,\partial \Omega) >t\}$.  I would like to show that there exists $C = C(\Omega)$ such that if $t \in (0,t_0)$, then
$$ \int_{\partial \Omega} \int_0^t h(x+sn(x))\,ds \leq C\int_{\Omega \setminus \Omega_t} h\,dx.$$
This is not a homework problem.
 A: Fix $t<t_0$. Let $M=\partial \Omega\times (0,t)$ equipped with the structure of product manifold, and product measure. Also let $N=\Omega\setminus\overline{\Omega_t}$. We have a smooth bijective map $F:M\to N$ defined by $F(x,s)=x+sn(x)$. You would like to show that $\int_{M}h\circ F\le C\int_N h$ for any $h\in L_+^1(N)$. By the change of variables formula $\int_N h=\int_{M}(h\circ F)J_F$, this amounts to showing that the Jacobian determinant $J_F$ is bounded on $M$. The only questionable part of $F$ is $n(x)$, but $C^2$ smoothness of the boundary ensures that $n(x)$ is $C^1$ smooth, and therefore its contribution to the Jacobian is bounded. 
A: I'll define $C$ at the end.
Define $\displaystyle f(t)=\int_{\partial \Omega}\int_{0}^{t}h(x+sn(x))ds-C\int_{\Omega- \Omega_t}hdx$. Then, $$f'(t)=\int_{\partial \Omega}h(x+tn(x))dx'-C\int_{\partial \Omega_t}hdx'.$$
Here, $dx'$ is surface area measure for the boundary. 
Since $$g(t)=\frac{\int_{\partial \Omega}h(x+tn(x))dx'}{\int_{\partial \Omega_t}hdx'}$$
is continues, as you can see $lim_{t\to 0}g(t)=1$, therefore $g$ achieves its maximum, $M$, on any compact interval, for example, $[0,t_0].$ Define $C:=M$. Therefore $f$ is non-increasing so we must have $f(t)\leq f(0)=0.$
