∫1Since f(x) is an integrable function, the integralF (x) =∫ x−1−1|f(x)|p −11 (x)dx converges, andf(t)dtp 1 (t)is absolutely continuous (as a function in the form of an integral depending on the upper limitof integration), F ′ (x) = f(x)p −11 (x), and2π∫1−1The latter equalities yieldU n (x)f(x) dxp 1 (x) = 2 π∫1−1U n (x)F ′ (x)dx = − 2 π∫1−1U ′ n(x)F (x)dx.∫1−1∫1U n(x)[ϕ(x) ′ − F (x)]dx = −n−1dxT n (x)[ϕ(x) − F (x)]p 1 (x)= 0, n ≥ 1.Hence, ϕ(x) − F (x) = C = const. The explicit form of F ′ (x) yields ϕ ′ (x) = f(x)p −11 (x);therefore, ϕ ′ (x)p 1 (x) ∈ L (1)2 and ϕ ′ (x) ∈ L (2)2 .Now, let us prove the inverse statement. Let ϕ ∈ ˜W 21 and be represented by the Fourier–Chebyshev series (366). Form the Fourier serieswhereη n = 2 π∫1−1∞∑p 1 (x)ϕ ′ (x) = η n U n (x), |x| ≤ 1,n=1U n (x)(p 1 (x)ϕ ′ (x)) dxp 1 (x) = − 2 π= 2n π∫1−1∫1−1T n (x) ϕ(x)dxp 1 (x) .U ′ n(x)ϕ(x)dx =Now, in order to prove that ξ ∈ h 2 , it is sufficient to apply the Bessel inequality to η n = nξ n ,whereξ n = 2 ∫1ϕ(x)T n (x) dxπp 1 (x) .✷−120.1 Solution to integral equations with a logarithmic singularity ofthe kernelConsider the integral operator with a logarithmic singularity of the kernelLϕ = − 1 π∫1−1ln |x − s|ϕ(s) dsp 1 (s) , ϕ ∈ ˜W 1 2 ,76
and the integral equationwhereΦ N (x) = Nϕ =Lϕ + Nϕ = f, ϕ ∈ ˜W 1 2 , (367)∫ 1−1dsN(q)ϕ(s)πp 1 (x) ,q = (x, s),and N(q) is an arbitrary complex-valued function satisfying the continuity conditionsandN(q) ∈ C 1 (Π 1 );Write the Fourier–Chebyshev expansionswhere the coefficientsϕ(s) = 1 √2ξ 0 T 0 +f n = 2 π∂ 2 N∂x 2 (q) ∈ L 2[Π 1 , p −11 (x)p −11 (s)],Π 1 = ([−1, 1] × [−1, 1]).∞∑ξ n T n (s), ξ = (ξ 0 , ξ 1 , ..., ξ n , ...) ∈ h 2 , (368)n=1f(x) = f 02 T 0(x) +∫ 1−1∞∑f n T n (x),n=1dxf(x)T n (x) √ , n = 0, 1, . . . .1 − x2Function Φ N (x) is continuous and may be thus also expanded in the Fourier–Chebyshev serieswhereΦ N (x) = 1 ∞∑2 b 0T 0 (x) + b n T n (x), (369)n=1∫ ∫b n = 2Π 1dxdsN(q)T n (x)ϕ(s)π 2 p 1 (x)p 1 (s) . (370)According to Lemma 6 and formulas (368) and (369), equation (367) is equivalent in ˜W 2 1 to theequationln 2 ξ 0∞∑√ T 0 (x) + n −1 ξ n T n (x) + b 0∞∑2 n=12 T 0(x) + b n T n (x)n=1= f 0∞∑(371)2 T 0(x) + f n T n (x), |x| ≤ 1.n=1Note that since Φ N (x) is a differentiable function of x in [−1, 1], the series in (371) convergeuniformly, and the equality in (371) is an identity in (−1, 1).Now, we substitute series (368) for ϕ(x) into (370). Taking into account that {T n (x)} is abasis and one can change the integration and summation and to pass to double integrals (thesestatements are verified directly), we obtain an infinite system of linear algebraic equations{ √2 ln 2ξ0 + b 0 = f 0 ,(372)n −1 ξ n + b n = f n , n ≥ 1.77
- 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 and 12:
Example 7 The space C[a, b] of cont
- Page 13 and 14:
where the kernel K(x, y) is a conti
- 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: where T n (x) = cos(n arccos x) are
- 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