Let us prove that this is a contraction mapping of the complete set C ∗ = C[x 0 − d, x 0 + d] ofcontinuous functions defined in a closed interval x 0 − d ≤ x ≤ x 0 + d (see Example 7). We have∫ x∫ x∫ x|ψ(x) − y 0 | =∣ f(t, φ(t))dt∣ ≤ |f(t, φ(t))| dt ≤ k dt = k(x − x 0 ) ≤ kd. (54)x 0 x 0 x 0∫ x|ψ 1 (x) − ψ 2 (x)| ≤ |f(t, φ 1 (t)) − f(t, φ 2 (t))| dt ≤ Md max |φ 1(x)| − φ 2 (x). (55)x 0 x 0 −d≤x≤x 0 +dSince Md < 1, the mapping ψ = Aφ is a contraction.From this it follows that the operator equation φ = Aφ and consequently the integralequation (33) has one and only one solution.This result can be generalized to systems of ODEs of the first order.To this end, denote by ¯f = (f 1 , . . . , f n ) an n-dimensional vector-function and write theinitial value problem for a system of ODEs of the first order using this vector notationdȳdx = ¯f(x, ȳ), ȳ(x 0 ) = ȳ 0 . (56)where the vector-function ¯f is defined and continuous in a region G of the n + 1-dimensionalspace R n+1 such that G contains the ’n+1-dimensional’ point x 0 , ȳ 0 . We assume that f satisfiesthe the Lipschitz condition (51) termwise in variables ȳ 0 . the initial value problem (56) isequivalent to a system of IEs¯φ(x) = ȳ 0 +∫ xx 0¯f(t, ¯φ(t))dt. (57)Since function ¯f(t, ȳ) is continuous we have ||f(x, y)|| ≤ K in a region G ′ ⊂ G which contains(x 0 , ȳ 0 ). Now choose a number d such that(x, ȳ) ∈ G ′ if |x 0 − x| ≤ d, ||ȳ 0 − ȳ|| ≤ KdMd < 1.Then we consider the mapping ¯ψ = A ¯φ defined by¯ψ(x) = ȳ 0 +∫ xx 0¯f(t, ¯φ(t))dt, |x0 − x| ≤ d. (58)and prove that this is a contraction mapping of the complete space ¯C ∗ = ¯C[x 0 − d, x 0 + d] ofcontinuous (componentwise) vector-functions into itself. The proof is a termwise repetitiion ofthe reasoning in the scalar case above.5 Unique solvability of the Fredholm IE of the 2nd kindusing the contraction mapping. Neumann series5.1 Linear Fredholm IE of the 2nd kindConsider a Fredholm IE of the 2nd kindf(x) = φ(x) + λ∫ ba12K(x, y)φ(y)dy, (59)
where the kernel K(x, y) is a continuous function in the squareΠ = {(x, y) : a ≤ x ≤ b, a ≤ y ≤ b},so that |K(x, y)| ≤ M for (x, y) ∈ Π. Consider the mapping g = Af defined byof the complete space C[a, b] into itself. We have∫ bg(x) = φ(x) + λ K(x, y)φ(y)dy, (60)a∫ bg 1 (x) = λg 2 (x) = λa∫ bρ(g 1 , g 2 ) = max |g 1(x) − g 2 (x)| ≤a≤x≤b∫ baK(x, y)f 1 (y)dy + φ(x),K(x, y)f 2 (y)dy + φ(x),≤ |λ| |K(x, y)||f 1 (y) − f 2 (y)|dy ≤ |λ|M(b − a) max |f 1(y)| − f 2 (y)| (61)aa≤y≤b1< ρ(f 1 , f 2 ) if |λ|
- Page 1 and 2: Karlstad UniversityDivision for Eng
- Page 3 and 4: 10.5 The Hilbert-Schmidt theorem .
- Page 5 and 6: 2 Notion and examples of integral e
- Page 7 and 8: Subtracting termwise we obtain an o
- Page 9 and 10: with the initial conditiony(x 0 ) =
- Page 11: Example 7 The space C[a, b] of cont
- Page 15 and 16: and so on, obtaining for the (n + 1
- Page 17 and 18: Thus the common term of the series
- Page 19 and 20: Proof. To prove the theorem, it is
- Page 21 and 22: Theorem 9 (Superposition principle)
- Page 23 and 24: A, being completely continuous in t
- Page 25 and 26: These conditions are equivalent to
- Page 27 and 28: In particular, if λ is a regular v
- Page 29 and 30: so thatanda 11 =a 12 =a 21 =a 22 =f
- Page 31 and 32: Therefore the solution isφ(x) = f(
- Page 33 and 34: ∫ bc n = . . .a∫ ba∣K(y 1 , y
- Page 35 and 36: is called the Euclidian space.In a
- Page 37 and 38: Now note that K N (x, y) in (189) i
- Page 39 and 40: Proof. Assume that y n ∈ Im T and
- Page 41 and 42: We see that, on the one hand, vecto
- Page 43 and 44: Multiply equality (213) by ¯φ 0 a
- Page 45 and 46: Replacing x by y abd vice versa, we
- Page 47 and 48: 12 Harmonic functions and Green’s
- Page 49 and 50: Since on Ω(x, r) we havegrad y Φ(
- Page 51 and 52: From Green’s first formula applie
- Page 53 and 54: which proves the continuity of the
- Page 55 and 56: where B 1 is a constant taken accor
- Page 57 and 58: Theorem 36 The operators I − K 0
- Page 59 and 60: Theorem 41 Let D ∈ R 2 be a domai
- Page 61 and 62: n = 2 π∫1−1f(x)U n (x) √ 1
- Page 63 and 64:
A similar statement is valid for th
- Page 65 and 66:
In some cases one can determine the
- Page 67 and 68:
Coefficient a 0 vanishes because (s
- Page 69 and 70:
Expand the right-hand side in the C
- Page 71 and 72:
We see that the equation has the un
- Page 73 and 74:
or, in other notation,andorL = {l n
- Page 75 and 76:
where T n (x) = cos(n arccos x) are
- Page 77 and 78:
and the integral equationwhereΦ N
- Page 79 and 80:
Let us expand the functiong(s) = 1l
- Page 81 and 82:
Assume that X n and Y n are the spa