SOLUTION of INTEGRAL EQUATIONS and LAPLACE - STIELTJES TRANSFORM Deshna Loonker
Total Page:16
File Type:pdf, Size:1020Kb
Palestine Journal of Mathematics Vol. 5(1) (2016) , 43–49 © Palestine Polytechnic University-PPU 2016 SOLUTION OF INTEGRAL EQUATIONS AND LAPLACE - STIELTJES TRANSFORM Deshna Loonker Communicated by P. K. Banerji MSC 2010 Classifications: Primary 44A35; Secondary 44A99, 45D05, 45E10, 46F10, 46F12 Keywords : Laplace - Stieltjes transform, Laplace transform, distribution spaces, Volterra integral equation, Fredlom integral equation of convolution type, convolution. This work is partially supported by the UGC Post Doctoral Fellowship for Women, India, No. F.15-134/12 (SA-II), sanctioned to the author. Abstract We have obtained solutions of integral equations such as Volterra convolution type of first and second type and Abel integral equation using Laplace - Stieltjes transform and ap- plications are mentioned through examples. The convolution property for Laplace - Stieltjes transform is obtained. The solution obtained is considered in distributional sense. 1 Introduction Integral transforms, viz. Fourier, Laplace, Hankel, Sumudu, Elzaki, Aboodh, and the wavelet transform among other, have been used [1, 3, 4, 5, 6, 7, 8] to obtain solutions of various types of differential and integral equations. The Laplace transform can be studied and researched from years ago [1, 9] In this paper, Laplace - Stieltjes transform is employed in evaluating solutions of certain integral equations that is aided by the convolution. It is remarked that the solution of integral equations obtained by using Laplace - Stieltjes transform, can also be defined on distribution spaces. Let F (t) is a well defined function of t, for t ≥ 0 and s be a complex number. The Stieltjes integral is 1 Z ∗ −st (LsF )(s) = F (s) = e dF (t); (1.1) 0 which converges on some s0; the Stieltjes integral (1.1) converges on s such that Re(s) > Re(s0). The integral (1.1) is called Laplace - Stieltjes transform of F (t): Its inversion formula is given by b+ic Z est F (t) = lim F ∗(s)ds: (1.2) c!1 s b−ic where i is imaginary unit; b > max(σ; 0) and σ is the radius of convergence. The inversion theorem is given by Saltz [11] and further an improved form of it is proved by Ditzian and Jakimovzvi [2]. Laplace - Stieltjes transform is defined for generalized functions by [3] . Growth for analytic function of Laplace - Stieltjes transform and some other properties are proved by [13, 14]. Convolution theorem and the Parseval equation is defined by [4]. 1. Laplace - Stieltjes transform of derivative is defined by 0 ∗ (Ls(F (t)) = s[F (s) − F (0)] (1.3) 2. When F (t) = tn;the same yields n! G(n + 1) F ∗[tn] = = : (1.4) sn sn 44 Deshna Loonker 3. If α; β are any constants and F (t) and G(t) are functions of t, then the linear property for Laplace - Stieltjes transform is defined by F ∗[αf(t) + βg(t)] = αF ∗(s) + βG∗(s) . (1.5) 4. The relation between the Laplace - Stieltjes transform and Laplace transform is given by 1 1 Z Z F ∗(s) = e−stdF (t) = s e−stF (t) (1.6) 0 0 Theorem 1.1: Let F (t) and G(t) are Laplace - Stieltjes transform of F ∗(s) and G∗(s); respectively. Then the convolution is 1 L [(F ∗ G)] = F ∗(s)G∗(s) S s Proof . The convolution of two function F (t) and G(t) is 1 Z F (t) ∗ G(t) = F (t − τ)G(t)dτ 0 Using Laplace - Stieltjes transform (1.6), we get 2 1 3 Z Ls[F (t) ∗ G(t)] = Ls 4 F (t − τ)G(τ)dτ5 0 1 1 Z Z = s e−stF (t − τ)G(τ)dτdt 0 0 1 1 Z Z = s G(t)dτ e−stF (t − τ)dt 0 0 Now setting t − τ = ξ;we have 1 1 Z Z −s(τ+ξ) Ls[F (t) ∗ G(t)] = s G(τ)dτ e F (ξ)dξ 0 −τ 1 1 Z Z = s e−sτ G(τ)dτ e−sξF (ξ)dξ 0 0 2 1 1 3 1 Z Z = s2 e−sτ G(τ)dτ e−sξF (ξ)dξ s 4 5 0 0 i.e. 1 L [F (t) ∗ G(t)] = F ∗(s)G∗(s) (1.7) s s This proves the theorem of convolution. 2 Solution of Integral Equations by Laplace - Stieltjes Transform Solution of different types of integral equations are given by using different types of integral transforms [1, 6, 7, 8]. In this section we use Laplace - Stieltjes to obtain solution of certain integral equation. 1. Consider the Volterra integral equation of first kind with a convolution type kernel SOLUTION OF ....... LAPLACE - STIELTJES TRANSFORM 45 Z x f(x) = k(s − t)g(t)dt , (2.1) 0 where k(s − t) depends only on the difference (x − t). Invoking the Laplace - Stieltjes transform (1.1) and convolution (1.7), the expression (2.1) yields 1 F ∗(s) = K∗(s)G∗(s) s i.e. sF ∗(s) G∗(s) = : (2.2) K∗(s) Taking inverse Laplace - Stieltjes transform, we obtain sF ∗(s) g(x) = G−1 ; (2.3) K∗(s) as the solution to (2.1). 2. Consider the Volterra integral equation of second kind with a convolution type kernel Z x g(x) = f(x) + k(s − t)g(t)dt . (2.4) 0 On applying the Laplace - Stieltjes transform (1.1) to both the sides, and using convolution formula (1.7), equation (2.4) gives 1 G∗(s) = F ∗(s) + K∗(s)G∗(s) s i.e. G∗(s)[s − K∗(s)] = sF ∗(s) i.e. sF ∗(s) G∗(s) = [s − K∗(s)] and the inverse Laplace - Stieltjes transform, when invoked, gives sF ∗(s) g(x) = G−1 ; (2.5) [s − K∗(s)] which is the required solution of (2.4). Similarly, considering Fredhlom integral equation of first and second kind of convolution type and using the Laplace - Stieltjes transform and its convolution, under similar analysis, solutions for these can be obtained. 3. Now, let we consider the Abel integral equation [5, 7] Z x g(x) f(t) = α dx ; 0 < α < 1 (2.6) 0 (t − x) i.e. −α f = g ∗ t+ , (2.7) −α −α −α ∗ −α where t+ = t H(t); and t+ is Heaviside unit step function . When F [t ] is known and the convolution of the Laplace - Stieltjes transform is employed, the solution of (2.6) will be as follows 1 F ∗[f(t)] = F ∗[g(t)] F ∗[t−α] . s + 46 Deshna Loonker n ∗ G(n+1) When f(t) = t , the Laplace - Stieltjes transform is F (s) = sn . Similarly, we prove that if f(t) = t−α, then the Laplace - Stieltjes transform is F ∗(s) = G(1 − α)sα; where H(t) = 1; t ≥ 0: Putting the value of F ∗[t−α] in above equation, we have 1 F ∗(s) = F ∗[g(t)] · G(1 − α)sα . (2.8) s F ∗(s) 1 F ∗[g(t)] = · . G(1 − α) sα−1 i.e. F ∗(s)G(α) 1 π = · ; G(α)G(1 − α) = G(α)G(1 − α) sα−1 sin πα sin πα F ∗(s) F ∗[g(t)] = [G(α) ] π sα−1 sin πα G(n) = ·s [tα−1∗F ∗(s)] ; F ∗[tn−1] = π sn−1 sin πα Z t F ∗[g(t)] = · s · F ∗ (t − x)α−1f(x)dx (2.9) π 0 i.e. sin πα F ∗[g(t)] = · s · F ∗[G(t)] , (2.10) π R t α−1 where G(t) = 0 (t − x) f(x)dx; G(0) = 0. By virtue of (1.3), F ∗[G0(t)] = sG∗(s) − sG(0) = sG∗(s): Invoking it in (2.10), we have sin πα F ∗[G0(t) F ∗[g(t)] = ·s[ ]: π s Therefore, the complete solution of (2.10) is obtained as sin(πα) d Z t g(t) = (t − x)α−1f(x)dx . (2.11) π dt 0 . We need to specify the space (or spaces) of generalized function in order to define integral equations on distribution spaces. Then, we need to give an interpretation of the equation in terms of an operator defined in that space of distributions. This interpretation should be such that when 0 applied to ordinary functions, integral equation can be recovered. One is the space D41[a; 1), which is known as mixed distribution space [cf. [5]] that can be identified with the space of 0 0 distribution D (R) whose support is [a; 1). Another distribution space is D43[a; 1), which can be identified with the space S0(R) (tempered distribution space) whose support is contained in [a; 1): The interpretation of integral equation can be achieved by using the concept of convolution of distributions. If both u and v have supports bounded on the left, then u ∗ v is always defined. Actually, if supp u ⊆ [a; 1) and supp v ⊆ [b; 1), then supp u ∗ v ⊆ [a + b; 1):Thus, the 0 0 0 convolution can be considered as a bilinear operation ∗ : D41[a; 1)×D41[b; 1) ! D41[a+b; 1): 0 0 If u 2 D41[a; 1) and v 2 D41[b; 1) are locally integrable functions, then we have Z t−b (u ∗ v)(t) = u(τ)v(t − τ)dτ , t > a + b . (2.12) a 0 0 When b = 0 and v 2 D41[0; 1);we have u ∗ v 2 D41[a; 1) . Thus the convolution, with v; 0 defines an operator of the space D41[a; 1) , which is given by SOLUTION OF ....... LAPLACE - STIELTJES TRANSFORM 47 Z t (u ∗ v)(t) = u(τ)v(t − τ)dτ , t > a , (2.13) a where u and v are locally integrable functions.