Maximal regularity for evolution equations governed by non-autonomous forms

Authors Wolfgang Arendt, Dominik Dier, Hafida Laasri, E. M. Ouhabaz

Publication date 15 October 2014

Published in Advances in Differential Equations (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1303.1166, https://projecteuclid.org/euclid.ade/1408367288

abstract Cauchy problem non-autonomous maximal regularity non-autonomous problems

Initial value problems for second-order parabolic systems (35K45) Abstract parabolic equations (35K90) One-parameter semigroups and linear evolution equations (47D06)

Abstract: �egin{abstract}label{abstract} We consider a non-autonomous evolutionary problem [ dot{u} (t)+A(t)u(t)=f(t), quad u(0)=u_0 ] where the operator

A (t) : V o V^{p} r i m e

is associated with a form

f r a (t, ., .) : V i m e s V o R

and

u_{0} i n V

. Our main concern is to prove well-posedness with maximal regularity which means the following. Given a Hilbert space

H

such that

V

is continuously and densely embedded into

H

and given

f i n L^{2} (0, T; H)

we are interested in solutions

u i n H^{1} (0, T; H) c a p L^{2} (0, T; V)

. We do prove well-posedness in this sense whenever the form is piecewise Lipschitz-continuous and symmetric. Moreover, we show that each solution is in

C ([0, T]; V)

. We apply the results to non-autonomous Robin-boundary conditions and also use maximal regularity to solve a quasilinear problem.

Review text

The authors study non-autonomous Cauchy problems of the form \(\dot{u}(t) + \mathcal{A}(t)u(t) = f(t)\) on some Hilbert space \(H\), where the operators \(\mathcal{A}(t)\) are associated to a family of sesquilinear forms \(a(t, \cdot, \cdot): V \times V \to \mathbb{C}\). It is known under very mild assumptions on the forms \(a\) (strong measurability and uniform boundedness and coercivity in \(t\)) by a classical result of Lions that for every \(f \in L^2(0, T; V')\) and every initial value \(u_0 \in H\) there exists a unique solution \(u \in L^2(0,T;V) \cap H^1(0,T;V')\) of the problem. In the treatment of quasilinear problems, it is a central question whether this solution has stronger regularity properties. In fact, a classical problem also due to Lions asks under the additional assumption that all forms \(a(t, \cdot, \cdot)\) are symmetric whether for \(f \in L^2(0,T;H)\) and \(u_0 \in V\) the solutions of the non-autonomous problem satisfy maximal regularity in \(H\), i.e., the solutions lie in \(H^1(0,T;H) \cap L^2(0,T;V)\). NEWLINENEWLINENEWLINEIn this article, the authors establish such maximal regularity results under stronger regularity assumptions on the mapping \(t \mapsto a(t, \cdot, \cdot)\) than in Lions' problem. It is shown that if \(t \mapsto a(t,\cdot, \cdot)\) is piecewise Lipschitz continuous with finitely many jumps, then one has maximal regularity in \(H\). Furthermore, it is shown that the solution lies in \(C([0,T];V)\). More generally, the results remain true for certain multiplicative perturbations of \(\mathcal{A}(t)\), the symmetric forms \(a(t,\cdot,\cdot)\) can be replaced by non-symmetric forms uniformly satisfying the Kato square root property and \(a(t,\cdot,\cdot)\) can further be additively perturbed by a non-autonomous form \(b(t,\cdot,\cdot): V \times H \to \mathbb{C}\). NEWLINENEWLINENEWLINEIn the last section, it is illustrated how the results can be used to establish the existence of solutions for quasilinear problems.

Recommendations

Cited in

(34)

This page was built for publication: Maximal regularity for evolution equations governed by non-autonomous forms

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