Smooth orthogonal projections on Riemannian manifold

DOI10.1007/S11118-019-09818-3MaRDI QIDQ2223706zbMATH OpenOpenAlexWikidataFDO

Authors Marcin Bownik, Karol Dziedziul, Anna Kamont

Publication date 1 February 2021

Published in Potential Analysis (Search for Journal in Brave)

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

Hestenes operator latitudinal projection Morse function Riemannian manifold smooth decomposition of identity smooth orthogonal projection Sobolev space

Mathematics Subject Classification ID

Nontrigonometric harmonic analysis involving wavelets and other special systems (42C40) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Integration on manifolds; measures on manifolds (58C35)

Abstract: We construct a decomposition of the identity operator on a Riemannian manifold

M

as a sum of smooth orthogonal projections subordinate to an open cover of

M

. This extends a decomposition of the real line by smooth orthogonal projection due to Coifman, Meyer and Auscher, Weiss, Wickerhauser, and a similar decomposition when

M

is the sphere by the first two authors.

Review text

Let \(C_0(M)\) be the space of continuous functions defined on \(M\), a smooth connected Riemannian manifold, and vanishing at infinity. Let \(\mathcal{H}(M)\) be the space of \(C_0(M)\)-valued operators on \(C_0(M)\). The authors state that there is \((P_U)_{U\in\mathcal{U}}\), a class of operators defined on \(C_0(M)\) where \(\mathcal{U}\) is an open/precompact cover of \(M\), satisfying the following conditions: \((P_U)_{U\in\mathcal{U}}\) is locally finite, each \(P_U\) belonging to \(\mathcal{H}(M)\) is localised on \(U\in\mathcal{U}\), \(P_U\) is an orthogonal projection on \(L_2(M)\), and the projections \((P_U)_{U\in\mathcal{U}}\) are pairwise orthogonal and \(P_{U_1}\circ P_{U_2}=0\) whenever \(U_1\neq U_2\) and \( \sum_{U\in\mathcal{U}}P_U= \mathrm{Id}_{L_2(M)}\) (Theorem~1.1). Among the techniques used for the proof, the authors employ known results of Morse theory.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Smooth orthogonal projections on Riemannian manifold

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