Suppose that $M$ is a compact manifold with corners, where each boundary hypersurface is an embedded submanifold. Then, do we have an integration by parts identity? i.e. \begin{align*} \int_M g(\nabla f, X) \,d\textrm{vol} = \int_{\partial M} f\left\langle X,N \right\rangle \,d\textrm{vol}_{\tilde{g}} - \int_M f\cdot (\operatorname{div} X ) \,d\textrm{vol} \end{align*} with $f\in C^\infty(M), X\in \Gamma(M,TM)$. I know that this identity hold for domains with lipschitz boundary, but it is not very clear to me if a domain with corners is a special case of a lipschitz domain.
$\begingroup$
$\endgroup$
2
-
5$\begingroup$ Proving this identity on a manifold with corners is quite straightforward using a partition of unity and local coordinates. Citing a theorem about domains with Lipschitz boundary seems unnecessary to me. $\endgroup$– Deane YangMar 4, 2020 at 13:51
-
1$\begingroup$ ^Especially since corners are measure 0 points. $\endgroup$– Chris GerigJul 2, 2020 at 6:40
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
2
Yes, you can treat manifolds with corners as Lipschitz domains.
By definition of a manifold with corners $M$, for any $p \in \partial M$, there is a smooth coordinate map sending a neighbourhood of $p$ to a subset of $R:=(\mathbb{R}_{\ge 0})^n$. Then $x \mapsto \min_i x_i$ is a Lipschitz map which is positive inside $R$ and negative outside it.
-
$\begingroup$ I found a theorem statement in Mikhail S. Agranovich's Sobolev Spaces, Their Generalizations, and Elliptic Problems in Smooth and Lipschitz Domains. There may be better ones out there, please leave a comment if you know of any. $\endgroup$– user7868Feb 3, 2020 at 4:02
-