4.3. Applications to Ordinary Differential Operators
197
We take now u E LP(0,1) and A sufficiently large. We have
SP(t)u=R(X;
Ap(Q0,,01))(AI-Ap(/3o,$,))2SP(t)R(X; AP(/3o,$1))u
= R(A; A2(Q0, a1))(AI - A2(Qo, #,))2Sz(t)R(A; AP(Q0, $,)) u,
(4.3.41)
the last equality justified by (4.3.40) and preceding considerations. In view
of Theorem 4.3.1 forp = 2, S2(t) can be analytically extended to Y. +(ir/2-)
and satisfies (4.3.4) there for any (p
with 0 < 4p < it/2. Noting that
A2($0, $,)2S2G) = (A2(130,
and using (4.1.18), we can show
that for every 99 with 0 < p < it/2 and for each e > 0 there exist C, w
depending on 99 and a such that
II(AI-A2(/30,$,))zSzq)II<Cewli'I
( Egy(m), ICI%e) (4.3.42)
with C and w depending on T. Consider now D(Ap(,130, $1)), which consists
of all u E W" P(0,1) that satisfy the boundary conditions at 0 and 1. Since
D(AP(ao, /3,)) is a Banach space both under the norm of W,P and under
(the norm equivalent to) the graph norm IIuII'= II(XI - Ap(f30,,0,))uII and
the first norm dominates the second (times a constant), it follows from the
closed graph theorem that both are equivalent, so that, taking norms in
(4.3.41) (or, rather, in its analytic extension to Re t > 0), we obtain from
(4.3.40) that
can be extended to a C[0, l]-valued analytic function in
2+(ir/2-) and
Ap(Qo,al))u112
<Cew13"Illullp
under the conditions claimed in Theorem 4.3.5. This ends the proof.
As it may be expected, greater x-smoothness may be obtained if the
coefficients of A0 are assumed smoother. An auxiliary estimate will be
needed.
4.3.6 Lemma.
Let a (resp. b, c) be k + 2 times (resp. k + 1, k times)
continuously differentiable in 0 < x < 1;
let 1 < p < oo and A large enough.
Then the only solution of
(JAI-Ap(Qo,ar))u=f (4.3.43)
in D(A(,13o, /3,)) belongs to
W1+2.P(0,1) if f E Wk"P(0, I). Moreover, there
exists a constant C = Ck independent off such that
IIuIIWF+2.p <CIIfllws,p.
(4.3.44)
Proof. For k = 0 the result is of course a consequence of the
identification of the domain of Ap(/3o,,13,) in Section 3.4. Consider now the