A new proof of the Gaffney's inequality for differential forms on manifolds-with-boundary: the variational approach \`{a} la Kozono--Yanagisawa

TL;DR

This paper introduces a novel variational proof of Gaffney's inequality for differential forms on manifolds with boundary, combining Kozono--Yanagisawa's approach with Bochner's technique to enhance understanding of boundary value problems.

Contribution

It provides a new proof of Gaffney's inequality using a variational approach and global Bochner techniques, expanding the theoretical toolkit for differential forms on manifolds with boundary.

Findings

New variational proof of Gaffney's inequality

Integration of Kozono--Yanagisawa's approach with Bochner's technique

Enhanced understanding of boundary value problems for differential forms

Abstract

Let $(\mathcal{M},g_0)$ be a compact Riemannian manifold-with-boundary. We present a new proof of the classical Gaffney's inequality for differential forms in boundary value spaces over $\mathcal{M}$, via the variational approach \`{a} la Kozono--Yanagisawa [$L^r$-variational inequality for vector fields and the Helmholtz--Weyl decomposition in bounded domains, Indiana Univ. Math. J. 58 (2009), 1853--1920] combined with global computations based on the Bochner's technique.