1605

Lemma 50.0.6 Let γ : [a,b]→C be in C1 ([a,b]) . Then V (γ, [a,b])< ∞ so γ is of boundedvariation.

Proof: This follows from the following

n

∑j=1

∣∣γ (t j)− γ(t j−1

)∣∣ =n

∑j=1

∣∣∣∣∫ t j

t j−1

γ′ (s)ds

∣∣∣∣≤

n

∑j=1

∫ t j

t j−1

∣∣γ ′ (s)∣∣ds

≤n

∑j=1

∫ t j

t j−1

∣∣∣∣γ ′∣∣∣∣∞

ds

=∣∣∣∣γ ′∣∣∣∣

∞(b−a) .

Therefore it follows V (γ, [a,b])≤ ||γ ′||∞(b−a) . Here ||γ||

∞= max{|γ (t)| : t ∈ [a,b]}.

Theorem 50.0.7 Let γ : [a,b]→ C be continuous and of bounded variation. Let Ω be anopen set containing γ∗ and let f : Ω×K→ X be continuous for K a compact set in C, andlet ε > 0 be given. Then there exists η : [a,b]→ C such that η (a) = γ (a) , γ (b) = η (b) ,η ∈C1 ([a,b]) , and

||γ−η ||< ε, (50.0.8)∣∣∣∣∫γ

f (·,z)dγ−∫

η

f (·,z)dη

∣∣∣∣< ε, (50.0.9)

V (η , [a,b])≤V (γ, [a,b]) , (50.0.10)

where ||γ−η || ≡max{|γ (t)−η (t)| : t ∈ [a,b]} .

Proof: Extend γ to be defined on allR according to γ (t)= γ (a) if t < a and γ (t)= γ (b)if t > b. Now define

γh (t)≡12h

∫ t+ 2h(b−a) (t−a)

−2h+t+ 2h(b−a) (t−a)

γ (s)ds.

where the integral is defined in the obvious way. That is,∫ b

aα (t)+ iβ (t)dt ≡

∫ b

aα (t)dt + i

∫ b

aβ (t)dt.

Therefore,

γh (b) =1

2h

∫ b+2h

bγ (s)ds = γ (b) ,

γh (a) =1

2h

∫ a

a−2hγ (s)ds = γ (a) .

Also, because of continuity of γ and the fundamental theorem of calculus,

γ′h (t) =

12h

(t +

2hb−a

(t−a))(

1+2h

b−a

)−

1605Lemma 50.0.6 Let y: [a,b] + C be inC! ([a,b]). Then V (y, [a,b]) <0 so y is of boundedvariation.Proof: This follows from the followingn ndL Ive) -r(ti-1)| = d f Yj=l = Jni Piven (dsJ< fl 7 lls= |ly||.-a).Therefore it follows V (y, [a,b]) < ||7||.. (b — a) . Here ||y||,, = max {|y(t)| :t € [a,b]}.IATheorem 50.0.7 Let y : [a,b] > C be continuous and of bounded variation. Let Q be anopen set containing Y* and let f :Q x K + X be continuous for K a compact set in C, andlet € > 0 be given. Then there exists n : [a,b] + C such that n (a) = y(a), y(b) =n (db),n €C!([a,b]), andlly—nl| <e, (50.0.8)[roaar- [ roan] <€, (50.0.9)Y nNV(n,[a,b]) < V (7, [a,5]), (50.0.10)where ||y— || = max {|y(¢)— 1 (t)| = € [a,b I}.Proof: Extend 7 to be defined on all R according to y(t) = y(a) ift <aand y(t) = y(b)if t > b. Now define1 t+ oa 7) A (ta)ms (0) = 5 V(s)ds,—2h+t+ cant (t—a)where the integral is defined in the obvious way. That is,b b b| a(t) +iB (a= | a(ar+i | B(t)dta a ab+2hmb)=s.[ 1e)ds=16),m(a=s7 [, r)as= 1a).Therefore,Also, because of continuity of y and the fundamental theorem of calculus,7, (t) = = {y(t pag ») (145-5) _