The heat flow in an optimal Fréchet space of unbounded initial data in [formula omitted

Abstract

In this paper we show that solutions of the heat equation that are given in terms of the heat kernel define semigroups on the family of Fréchet spaces L0p(Rd), the intersection (over all ε>0) of the spaces Lεp(Rd) of functions such that ∫Rde−ε|x|2|f(x)|pdx<∞. These spaces consist of functions that are ‘large at infinity’, and L01(Rd) is the maximal space in which one can use the heat kernel to obtain globally-defined solutions of the heat equation. We prove suitable estimates from L0p(Rd) into L0q(Rd), q≥p, for these semigroups.We then consider the heat semigroup posed in spaces that are dual to these spaces of functions, namely the spaces L−εp(Rd) of very-rapidly decreasing functions such that ∫Rdeε|x|2|f(x)|pdx<∞. We show that (Lpεp(Rd))′=L−qεq(Rd) (with 1<p<∞ and (p,q) conjugate), and that the heat flow on Lεp(Rd) is the adjoint of the flow on L−δq(Rd) for an appropriate (time-dependent) choice of δ.