Fractional Laplace Transform and Fractional Calculus
Total Page:16
File Type:pdf, Size:1020Kb
International Mathematical Forum, Vol. 12, 2017, no. 20, 991 - 1000 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2017.71194 Fractional Laplace Transform and Fractional Calculus Gustavo D. Medina1, Nelson R. Ojeda2, Jos´eH. Pereira3 and Luis G. Romero4 1;2;3;4 Faculty of Humanities 1Faculty of Natural Resources National Formosa University. Av. Gutnisky, 3200 Formosa 3600, Argentina Copyright c 2017 Gustavo D. Medina, Nelson R. Ojeda, Jos´eH. Pereira and Luis G. Romero. This article is distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In this work we study the action of the Fractional Laplace Transform introduced in [6] on the Fractional Derivative of Riemann-Liouville. The properties of the transformation in the convolution product defined as Miana were also presented. As an example we calculate the solution of a differential equation. Mathematics Subject Classification: 26A33, 44A10 Keywords: Integral Laplace transform. Convolution products. Fractional Derivative 1 Introduction and Preliminaries We start by recalling some elementary definitions of page. 103 of [7]. + Definition 1. Let f = f(t) be a function of R0 .The Laplace transform f~(s) is given by the integral Z 1 ~ −st f(s) = L[f(t)](s) = e f(t)dt (1.1) 0 992 Gustavo D. Medina, Nelson R. Ojeda, Jos´eH. Pereira and Luis G. Romero for s 2 R + Definition 2. Let A(R0 ) a function of the space: + i) f is piecewise continuous in the interval 0 ≤ t ≤ T for any T 2 R0 . ii) f it is of exponential order , jf(t)j ≤ Keat for t ≥ M where M; K y a are real positive constants. The parameter a is called the abscissa of convergence of the Laplace transform.Therefore we have the next classic + Definition 3. Let f = f(t) a function defined in R0 The incomplete Laplace transform f~(s) is given by the integral Z b −st L[f(t); b](s) = e f(t)dt (1.2) 0 for b; s 2 R Medina, Ojeda, Pereira and Romero (cf.[6]) has introduced the following + Definition 4. Let f = f(t) by a function of R0 .The α−Integral Laplace ~ + Transform fα(s) of order α 2 R is given the integral Z 1 ~ −s1/αt fα(s) = Lα[f(t)](s) = e f(t)dt (1.3) 0 for s 2 R The α−Integral Laplace Transform it is a generalization of the Laplace trans- form so that when α ! 1. That is to say L1[f(t)](s) = L[f(t)](s) (1.4) Then we can generalize + ~ α Theorem 2. If f(t) 2 A(R0 ) , then there fα(s) = Lα[f(t)](s) for s > a Note that it is natural to enunciate the following Lemma 2. Let f be a sufficiently well-behaved function and let α be a real number,0 < α < 1. The fraccional Laplace transform of the f function is given by 1 Lα[f](s) = L[f](µ); µ = s α Proof Follow from the definition (1.3) Fractional Laplace transform and fractional calculus 993 (k) + Properties If f (t) 2 A(R0 ) con k = 1; 2; ::::n y n 2 N then n n df(t) n X n−k k−1 L (s) = s α L [f(t)](s) − s α f (0) (1.5) α dt α k=1 Proof: Recall n n df(t) X L (µ) = µnL [f(t)](s) − µn−kf k−1(0) (1.6) dt α k=1 and how 1 Lα[f](s) = L[f](µ); µ = s α we obtained n n df(t) n X n−k k−1 L (s) = s α L [f(t)](s) − s α f (0) (1.7) α dt α k=1 Now, we are able to find the inversion formula for the k-TL. 1 Lα[f](s) = L[f](µ) = g1(µ); µ = s α then −1 −1 f(t) = Lα [Lα[f](s)] = L (g1(µ))(t) applying the Laplace inverse transform gives Z a+i1 Z a+i1 −1 1 µt 1 µt L (g1(µ))(t) = e g1(µ)dµ = e L[f](µ)dµ(1.8) 2πi a−i1 2πi a−i1 1 1 1 α α −1 and making the change of variable µ = s , where dµ = α s ds Z aα+i1 −1 1 sαt 1 1 −1 L (g1(µ))(t) = e Lα[f](s) s α ds (1.9) 2πi aα−i1 α From this expression we have the following Definition 5. Let f be a sufficiently well-behaved function and let α be a real number,0 < α < 1. The inverse α−Integral Laplace Transform is given by aα+i1 1 Z α 1−α −1 ~ s t ~ α Lα [fα(s)](t) = e fα(s)s ds (1.10) 2πiα aα−i1 1 Remark. Making the change of variable µ = s α , and taking into account the formula that establish the relationship between the conventional and the fractional Laplace transform, easily we can prove that 994 Gustavo D. Medina, Nelson R. Ojeda, Jos´eH. Pereira and Luis G. Romero −1 Lα[Lα ] = Id where Id denote the identity operator. Definition 6. Let f and g functions belonging to L1(R+) , the ussual or classic convolution product is given by Z t (f ∗ t)(t) = f(τ)g(t − τ)dτ ; t > 0 (1.11) 0 Definition 7. Let f and g functions belonging to L1(R+) , Miana in [2] introduce the convolution product ◦ as the integral Z 1 (f ◦ g)(t) = f(τ − t)g(τ)dτ ; t > 0 (1.12) t + ~ Theorem 5. If f(t), g(t) 2 A(R0 ) such that fα(s) = Lα[f(t)](s) and g~α(s) = Lα[g(t)](s), then ~ Lα[f(t) ∗ g(t)](s) = fα(s):g~α(s) (1.13) 2 Main Results Properties Let λ 2 R+, f and g functions belonging to L1(R+) and the λ1/αt exponential function eλ1/α := e then: i) f ◦ eλ1/α = Lα[f](λ):eλ1/α α ii) eλ1/α ◦ f = Lα[f](λ )e−λ1/α − (e−λ ∗ f)(t) 1/α iii) Lα(f ◦ g)(s) = Lα(gLα(f; :)(−s ))(s) Proof i) From definition 7 we have Z 1 −λ1/ατ (f ◦ eλ1/α )(t) = f(τ − t)e dτ t if u = τ − t, then du = dτ Z 1 −λ1/α(u+t) (f ◦ eλ1/α )(t) = f(u)e du 0 Z 1 −λ1/αu = f(u)e du :eλ1/α 0 = Lα[f](λ):eλ1/α Fractional Laplace transform and fractional calculus 995 ii) From definition 7 we have Z 1 −λ1/α(τ−t) (eλ1/α ◦ f)(t) = e f(τ)dτ (2.1) t 1 + 1 + as f y e−λ1/α are functions belonging to L (R ), then e−λ1/α ∗ f 2 L (R ) we obtain Z 1 −λ1/α(τ−t) (eλ1/α ◦ f)(t) = e f(τ)dτ − (e−λ ∗ f)(t) 0 Z 1 −λ1/ατ = e f(τ)dτ e−λ1/α − (e−λ ∗ f)(t) 0 = Lα[f](λ)e−λ1/α − (e−λ1/α ∗ f)(t) iii) Let f and g functions belonging to L1(R+) , from definition 7 we have Z 1 (f ◦ g)(t) = f(τ − t)g(τ)dτ ; t > 0 t applying definition 4 we obtain Z 1 −s1/αt Lα[(f ◦ g)(t)](s) = e (f ◦ g)(t)dt 0 Z 1 Z 1 = e−s1/αt f(τ − t)g(τ)dτ dt 0 t Applying Fubini's Theorem we have Z 1 Z 1 Z 1 Z τ e−s1/αt f(τ − t)g(τ)dτ dt = g(τ) e−s1/αtf(τ − t)dt dτ 0 t 0 0 If τ < t < 1 ,0 < τ < 1 and we consider changing the variable u = τ − t, then τ = u + t , 0 < u < 1 and the differential dt = du Z 1 Z τ −s1/α(τ−u) Lα[(f ◦ g)(t)](s) = g(τ) e f(u)du dτ 0 0 Z 1 Z τ = es1/ατ g(τ) es1/αuf(u)du dτ 0 0 1/α = Lα(gL(f; :)(−s ))(s) 3 α-Laplace Transform of Fractional Riemann- Liouville Operator In this last section we consider the Riemann-Liouville fractional operators and we show the results of applies our α-Laplace Transform to them. 996 Gustavo D. Medina, Nelson R. Ojeda, Jos´eH. Pereira and Luis G. Romero Previously we need some elementary definitions and results. Definition 8. Let f be a locally integrable function on (a; +1) . The Riemann-Liouville integral of order α, of the function f is given by Z x α : 1 α−1 Ix f(t) = (x − t) f(t)dt (3.1) Γ(α) a here Γ(α) denotes the Gamma function of Euler Z 1 Γ(z) = e−ttz−1dt (3.2) 0 tα−1 For α > 1, and t > 0, let jα(t) = Γ(α) , be the singular kernel of Riemann- Liouville. It can be proved that the Riemann-Liouville fractional integral may be expressed as the convolution tα−1 Iαf(t) = ∗ f (x) (3.3) x Γ(α) The Riemann-Liouville fractional derivative of order α , is defined inverse α α Dx Ix = id Another way to defined this fractional derivative is as follows. Definition 9. Let be a real number, and let m be an integer. Then the Riemann-Liouville fractional derivative of order α is given by d m Dαf(t) = Im−αf(t) (3.4) x dx x Lemma 1.