We develop a variational approach in order to study qualitative properties of nonautonomous parabolic equations. Based on the method of product integrals, we discuss invariance properties and ultracontractivity of evolution families in Hilbert space. Our main results give sufficient conditions for the heat kernel of the evolution family to satisfy Gaussian-type bounds. Along the way, we study examples of nonautonomous equations on graphs, metric graphs, and domains. KEYWORDS evolution families, kernel estimates, nonautonomous parabolic problems
MSC CLASSIFICATION
47D06; 47D07; 47A07; 35K90This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited. Throughout this paper, H is a separable, complex Hilbert space, and V is a further complex Hilbert space that is densely and continuously embedded into H. Let V ′ denote the antidual of V with respect to the pivot space H; the duality between V ′ and V is denoted by ⟨., .⟩. We also denote by (· | ·) V and || · || V the scalar product and the norm on V, respectively, and by (· | ·) and || · || the corresponding quantities in H.We fix T ∈]0, ∞[ and consider a time-dependent family (a(t)) t∈ [0,T] of mappings such that a(t; ·, ·) ∶ V × V → C is for all t ∈ [0, T] a sesquilinear form and(2.1) and such that furthermore there exist constants M, > 0 and ≥ 0 such that the boundedness and H-ellipticity estimatesa.e t ∈ [0, T] and all u, v ∈ V, (2.2) Rea(t; u, u) + ||u|| 2 H ≥ ||u|| 2 V for a.e t ∈ [0, T] and all u ∈ V, (2.3) hold. In what follows, we call such a family ∶= (a(t)) t∈[0,T] bounded H-elliptic nonautonomous form: following Arendt and Dier, 1 we denote by FORM([0, T]; V, H) the class of all such forms. By the Lax-Milgram theorem, for each t ∈ [0, T], there exists an operator associated with a(t, ·, ·), ie, an isomorphism (t, u, v) for all u, v ∈ V ∶ accordingly, we refer to the family (A(t)) t∈ [0,T] as the operator family associated with ∶= (a(t)) t∈ [0,T] . Regarded as an unbounded operator with domain V, −A(t) generates a holomorphic semigroup on V ′ , and in fact by Arendt 25, Thm. 7.1.5 on H too, since a(t) is for all t a bounded, H-elliptic sesquilinear form: With an abuse of notation, we denote its generator -the part of −A(t) in H -again by −A(t), and the semigroup by T t ∶= {e −rA(t) ∶ r ≥ 0}. Hence, for each fixed t, s ∈ [0, T], the Cauchy problem . u(r) + A(t)u(r) = 0, r ∈ [s, T], u(s) = x ∈ H, * 1 (t−s) ẽ * 2 (t−s) (4.16)