Spaces of initial data for differential equations in a Hilbert space (Q4658237)

Let \(V, H\) be separable Hilbert spaces such that \(V\) is continuously and densely embedded in \(H\), let \(A\) be a \(V\)-coercive operator and let \({\mathcal A}\) be a closely defined sectorial operator associated with \(A\) such that \(-{\mathcal A}\) generates an analytic semigroup. The author considers the Cauchy problem \[ {\dot u}(t) + {\mathcal A} u(t) = f(t),\;t \in (0, T), \quad u_{| _{t=0}} = \varphi, \] with \(T \in (0, \infty), f \in L_2(0, T; H)\) and \(\varphi \in H\) and proves that this problem has a unique strong solution if and only if \(\varphi \in [{\mathcal D}({\mathcal A}); H]_{1/2}\). He obtains that if \(V \subset [{\mathcal D}({\mathcal A}); H]_{1/2}\) and \(V \subset [{\mathcal D}({\mathcal A^*}); H]_{1/2}\) are continuous embeddings, then \(V = [{\mathcal D}({\mathcal A}); H]_{1/2} = [{\mathcal D}({\mathcal A^*}); H]_{1/2}\) and \({\mathcal D}({\mathcal A}^{1/2})= {\mathcal D}(({\mathcal A^*})^{1/2}) = V\). The author applies his results in order to deduce necessary and sufficient conditions for the existence of strong solutions of various parabolic problems.