Wolfe's theorem for weakly differentiable cochains

DOI10.1016/J.JFA.2015.01.006MaRDI QIDQ491501zbMATH OpenOpenAlexWikidataFDO

Authors Camille Petit, Kai Rajala, Stefan Wenger

Publication date 26 August 2015

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.7956

zbMATH Keywords

flat cochaingeometric integration theorypolyhedral chainweakly differentiable cochain

Mathematics Subject Classification ID

Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Geometric measure and integration theory, integral and normal currents in optimization (49Q15) Differential forms in global analysis (58A10)

Abstract: A fundamental theorem of Wolfe isometrically identifies the space of flat differential forms of dimension $m$ in $mathbb{R}^n$ with the space of flat $m$-cochains, that is, the dual space of flat chains of dimension $m$ in $mathbb{R}^n$. The main purpose of the present paper is to generalize Wolfe's theorem to the setting of Sobolev differential forms and Sobolev cochains in $mathbb{R}^n$. A suitable theory of Sobolev cochains has recently been initiated by the second and third author. It is based on the concept of upper norm and upper gradient of a cochain, introduced in analogy with Heinonen-Koskela's concept of upper gradient of a function.

Review text

A fundamental theorem (Wolfe's theorem) in geometric integration theory states that the space of flat \(m\)-forms, endowed with the flat norm, is isometric to the space of flat \(m\)-cochains. In the paper under review the authors generalize such a theorem to the setting of Sobolev differential forms and Sobolev cochains in \({\mathbb R}^n\). They use the results in a previous paper of the second and the third author [J. Math. Pures Appl. (9) 100, No. 6, 868--906 (2013; Zbl 1277.49051)] where a suitable framework of Sobolev cochains in complete metric measure spaces has been initiated. The main result is the following: Let \(1\leq m\leq n\) and \(1<q,p<\infty\). If \(p>n-m\) or \(q\leq \frac{pn}{n-p}\) then the space \(W_d^{q,p}({\mathbb R}^n,\wedge^m)\) (of \(L^q\)-integrable differential \(m\)-forms, \(\omega\), whose distributional exterior derivatives \(d\omega\) are \(L^p\)-integrable and endowed with the norm \[ ||\omega||_{q,p} = \max\{\left(\int||\omega(x)||^q dx \right)^{\frac1q},\left(\int||d\omega(x)||^p dx \right)^{\frac1p} \},) \] is isometrically isomorphic to the space \(W_{q,p}({\mathcal P}_m)\) (of equivalence classes of additive cochains with upper norm in \(L^q({\mathbb R}^n)\) and upper gradient in \(L^p({\mathbb R}^n)\), under the equivalence relation defined by \(X_1\sim X_2\) if \(||X_1-X_2||_{q,p} = 0\) where the Sobolev norm is based on a notion of upper gradient of a function defined in the cited paper).

Recommendations

• scientific article; zbMATH DE number 6701550
• An upper gradient approach to weakly differentiable cochains
• Sobolev met Poincaré
• Dual spaces of spaces of differential forms
• Generalized weighted Sobolev spaces and applications to Sobolev orthogonal polynomials. I
• The Sobolev imbedding theorem of differential forms
• scientific article; zbMATH DE number 2051136
• Definitions of Sobolev classes on metric spaces
• A Universality Property of Sobolev Spaces in Metric Measure Spaces
• Quasiconformal pullbacks of some Newtonian functions on metric measure spaces

Cited in

(9)

• Isomorphisms of differential forms and cochains
• An upper gradient approach to weakly differentiable cochains
• Mass Continuous Cochains are Differential Forms
• Flat forms in metric spaces
• Extremal length and duality
• Reprint of: ``Extremal length and duality
• On the moduli of Lipschitz homology classes
• Pushforward of currents under Sobolev maps
• Wolfe's theorem for differential forms of classes \(W^*_{p,q}\)

This page was built for publication: Wolfe's theorem for weakly differentiable cochains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q491501)