Properties of field functionals and characterization of local functionals

Abstract

Functionals (i.e. functions of functions) are widely used in quantum field theory and solid-state physics. In this paper, functionals are given a rigorous mathematical framework and their main properties are described. The choice of the proper space of test functions (smooth functions) and of the relevant concept of differential (Bastiani differential) are discussed. The relation between the multiple derivatives of a functional and the corresponding distributions is described in detail. It is proved that, in a neighborhood of every test function, the support of a smooth functional is uniformly compactly supported and the order of the corresponding distribution is uniformly bounded. Relying on a recent work by Yoann Dabrowski, several spaces of functionals are furnished with a complete and nuclear topology. In view of physical applications, it is shown that most formal manipulations can be given a rigorous meaning. A new concept of local functionals is proposed and two characterizations of them are given: the first one uses the additivity (or Hammerstein) property, the second one is a variant of Peetre's theorem. Finally, the first step of a cohomological approach to quantum field theory is carried out by proving a global Poincaré lemma and defining multi-vector fields and graded functionals within our framework.

32 pages, no figure

References in corpus (3)

• A smooth introduction to the wavefront set
• The Quantum Sine Gordon model in perturbative AQFT
• Initial value problems for wave equations on manifolds

Cited by in corpus (10)

• Asymptotic symmetries in the BV-BFV formalism
• Covariant canonical formulations of classical field theories
• $C^{\ast }$-algebraic approach to interacting quantum field theory: Inclusion of Fermi fields
• The algebra of Wick polynomials of a scalar field on a Riemannian manifold
• On Wick polynomials of boson fields in locally covariant algebraic QFT
• Ricci Flow from the Renormalization of Nonlinear Sigma Models in the Framework of Euclidean Algebraic Quantum Field Theory
• Lorentzian 2d CFT from the pAQFT perspective
• Locality and causality in perturbative AQFT
• Asymptotic Symmetries of SU(2) Yang-Mills-Higgs Theory in Hamiltonian Formulation
• Møller maps for Dirac fields in external backgrounds