0
$\begingroup$

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.

$\endgroup$
4
  • 1
    $\begingroup$ I think the second term on the RHS should read $\int_Mf\text{div}X d\text{vol}$. $\endgroup$ – S.Surace May 16 '19 at 13:58
  • $\begingroup$ Thanks, I fixed it. $\endgroup$ – Δημήτρης Ο May 16 '19 at 14:02
  • 3
    $\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 Yang Mar 4 '20 at 13:51
  • 1
    $\begingroup$ ^Especially since corners are measure 0 points. $\endgroup$ – Chris Gerig Jul 2 '20 at 6:40
0
$\begingroup$

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 \sum_i x_i$ is a Lipschitz map which is positive inside $R$ and negative outside it.

$\endgroup$
2
  • $\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$ – user7868 Feb 3 '20 at 4:02
  • $\begingroup$ The last sentence needs work; clearly if $n=2$ then at $x=(2,-1)$ that map is positive. $\endgroup$ – Ben McKay Jul 2 '20 at 7:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.