On Linear Elliptic and Parabolic etc. 293
which, by Lemma 3.1, converges in B([δ, T ]; N
β
p
), for every δ ∈ (0,T], to
K
k
(t)g(t)+
t
0
K
k
(t −s)[g(s) − g(t)]ds =[A(., ∂
x
)+P ]u(t), (3.23)
by (3.16) and (3.18). This can be extended to t = 0, observing that the final
expression in (3.23) converges to 0 in N
β
p
(Ω) as t → 0.
Inconclusion,wehaveprovedthatu ∈ C
1
([0,T]; N
β
p
(Ω)) ∩B([0,T]; N
2m+β
p
(Ω)). By interpolation, u ∈ C([0,T]; N
ρ
p
(Ω)) for every ρ<2m + β. Finally, from
D
t
u =[A(., ∂
x
)+P ]u we deduce that D
t
u ∈ B([0,T]; N
β
p
(Ω)).
The proof is complete.
Now we are able to prove the main result of existence and uniqueness of a
solution in the autonomous case.
Theorem 3.6. Assume that the assumptions (I1)–(I4) hold. We consider system
(2.1) and assume that:
(I) for some β
<β, f ∈ B([0,T]; N
β
p
(Ω)) ∩ C([0,T]; N
β
p
(Ω));
(II) for each k ∈{1,...,m},andforsomeθ ∈ (0,p
−1
), g
k
∈ B([0,T]; N
2m+β−μ
k
p
(Ω)) ∩ C
2m+β−μ
k
−θ
2m
([0,T]; N
θ
p
(Ω));
(III) u
0
∈ N
2m+β
p
(Ω);
(IV) for each k ∈{1,...,m}, (B
k
(., ∂
x
)u
0
)
|∂Ω
= g
k
(0)
|∂Ω
.
Then (3.1) has a unique solution u belonging to C
1
([0,T]; N
β
p
(Ω))∩B([0,T];
N
2m+β
p
(Ω))),withD
t
u ∈ B([0,T]; N
β
p
(Ω))). u can be represented by the variation
of parameter formula
u(t)=T (t)u
0
+
t
0
T (t − s)f(s)ds +
m
!
k=1
t
0
K
k
(t − s)g
k
(s)ds. (3.24)
Proof. The uniqueness follows from well-known properties of sectorial operators.
Concerning the existence, we already know, from Lemmas 3.3 and 3.5, that it holds
if u
0
=0andg
k
(0) = 0 for each k =1,...,m. Now we consider the general case.
Subtracting to the unknown u the initial value u
0
, and setting v(t):=u(t) − u
0
,
we are reduced to the system
D
t
v(t, x)=A(x, ∂
x
)v(t, x)+Pv(t, x)+f(t, x)+A(x, ∂
x
)u
0
(x)+Pu
0
(x),
(t, x) ∈ [0,T] × Ω,
⎧
⎪
⎪
⎪
⎪
⎪
⎪
⎨
⎪
⎪
⎪
⎪
⎪
⎪
⎩
B
k
(x
,∂
x
)v(t, x
) − (g
k
(t, x
) − B
k
(x
,∂
x
)u
0
(x
)) = 0,k=1,...,m,
(t, x
) ∈ [0,T] ×∂Ω
v(0,x)=0,x∈ Ω. (3.25)
From assumption (IV), we have that, if we set ˜g
k
:= g
k
−B
k
(., ∂
x
)u
0
,˜g
k
(0) vanishes
in ∂Ω. So, if we replace ˜g
k
with ˜g
k
− ˜g
k
(0), (3.25) does not change and we are