1444 CHAPTER 43. INTERPOLATION IN BANACH SPACE

Proof: First consider the issue of S being a subset of C ([a,b] ;W ) . By Theorem 43.1.9on Page 1416 the following holds in X for u ∈ S.

u(t)−u(s) =∫ t

su′ (r)dr.

Thus S⊆C ([a,b] ;X) . Let ε > 0 be given. Then by Theorem 43.5.2 there exists a constant,Cε such that for all u ∈W

||u||W ≤ε

4R||u||E +Cε ||u||X .

Therefore, for all u ∈ S,

||u(t)−u(s)||W ≤ ε

6R||u(t)−u(s)||E +Cε ||u(t)−u(s)||X

≤ ε

3+Cε

∣∣∣∣∣∣∣∣∫ t

su′ (r)dr

∣∣∣∣∣∣∣∣X

≤ ε

3+Cε

∫ t

s

∣∣∣∣u′ (r)∣∣∣∣X dr ≤ ε

3+Cε R |t− s|1/q . (43.5.22)

Since ε is arbitrary, it follows u ∈C ([a,b] ;W ).Let D = Q∩ [a,b] so D is a countable dense subset of [a,b]. Let D = {tn}∞

n=1. Bycompactness of the embedding of E into W, there exists a subsequence u(n,1) such thatas n→ ∞, u(n,1) (t1) converges to a point in W. Now take a subsequence of this, called(n,2) such that as n→ ∞,u(n,2) (t2) converges to a point in W. It follows that u(n,2) (t1) alsoconverges to a point of W. Continue this way. Now consider the diagonal sequence, uk ≡u(k,k) This sequence is a subsequence of u(n,l) whenever k > l. Therefore, uk (t j) convergesfor all t j ∈ D.

Claim: Let {uk} be as just defined, converging at every point of D ≡ Q∩ [a,b] . Then{uk} converges at every point of [a,b].

Proof of claim: Let ε > 0 be given. Let t ∈ [a,b] . Pick tm ∈ D∩ [a,b] such that in43.5.22 Cε R |t− tm|< ε/3. Then there exists N such that if l,n > N, then

||ul (tm)−un (tm)||X < ε/3.

It follows that for l,n > N,

||ul (t)−un (t)||X ≤ ||ul (t)−ul (tm)||+ ||ul (tm)−un (tm)||+ ||un (tm)−un (t)||

≤ 2ε

3+

ε

3+

3< 2ε

Since ε was arbitrary, this shows {uk (t)}∞

k=1 is a Cauchy sequence. Since W is complete,this shows this sequence converges.

Now for t ∈ [a,b] , it was just shown that if ε > 0 there exists Nt such that if n,m > Nt ,then

||un (t)−um (t)||< ε

3.

1444 CHAPTER 43. INTERPOLATION IN BANACH SPACEProof: First consider the issue of S being a subset of C({a,b];W). By Theorem 43.1.9on Page 1416 the following holds in X for u € S.u(t) —u(s) = [varThus S C C ([a, b] ;X). Let € > 0 be given. Then by Theorem 43.5.2 there exists a constant,Cz such that for all ue WElull S Gp llelle + Ce [lull -Therefore, for all u € S,EI|u (1) —u(s)||p +Ce ||u (t) —u(s)|lyept/ u' (r)dr5 xt< £46. [IIe (lear s $+ CRs". 435.22)Ssllu(e)—ulslwE< 3 tCeSince € is arbitrary, it follows u € C ([a,b];W).Let D = QM [a,b] so D is a countable dense subset of [a,b]. Let D = {t,}7,. Bycompactness of the embedding of E into W, there exists a subsequence u(,,1) such thatas N — ©, U(p,1) (t,) converges to a point in W. Now take a subsequence of this, called(n,2) such that as n — 0, u(,,) (t2) converges to a point in W. It follows that u(,,2) (¢1) alsoconverges to a point of W. Continue this way. Now consider the diagonal sequence, uw, =Ux,~) This sequence is a subsequence of u,;) whenever k > /. Therefore, ux (t;) convergesfor all t; € D.Claim: Let {u;,} be as just defined, converging at every point of D = QN [a,b]. Then{u,} converges at every point of [a,D].Proof of claim: Let € > 0 be given. Let t € [a,b]. Pick t, € DM [a,b] such that in43.5.22 CeR|t —tm| < €/3. Then there exists N such that if /,n > N, then||27 (tm) — Un (tm) ||x < €/3.It follows that for /,n > N,lui (t) Un ()\ly S| fer (t) — Wa (tn) || + |] (in) = Un (tm)+ ||Un (tm) = Un (1)||< 26 € 2 oe~ 3 3 3Since € was arbitrary, this shows {u, (t)}¢_, is a Cauchy sequence. Since W is complete,this shows this sequence converges.Now for t € [a,b], it was just shown that if € > 0 there exists N, such that if n,m > N,,thentn (¢) =m (2) <5.