Solving Abel's Type Integral Equation with Mikusinski's Operator of Fractional Order

Abstract

This paper gives a novel explanation of the integral equation of Abel's type from the point of view of Mikusinski's operational calculus. The concept of the inverse of Mikusinski's operator of fractional order is introduced for constructing a representation of the solution to the integral equation of Abel's type. The proof of the existence of the inverse of the fractional Mikusinski operator is presented, providing an alternative method of treating the integral equation of Abel's type.

(ProQuest: ... denotes non-US-ASCII text omitted.)

Ming Li 1 and Wei Zhao 2

Recommended by Carlo Cattani

1, School of Information Science & Technology, East China Normal University, No. 500, Dong-Chuan Road, Shanghai 200241, China
2, Department of Computer and Information Science, University of Macau, Avenida Padre Tomas Pereira, Taipa, Macau

Received 21 April 2013; Accepted 10 May 2013

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

1. Introduction

Abel studied a physical problem regarding the relationship between kinetic and potential energies for falling bodies [1]. One of his integrals stated in [1] is expressed in the form [figure omitted; refer to PDF] where f ( t ) is known, but g ( t ) is unknown. The previous expression is in the literature nowadays called Abel's integral equation [2]. In addition to (1), Abel also worked on the integral equation in [1] in the following form: [figure omitted; refer to PDF] which is usually termed the integral equation of Abel's type [3] or the generalized Abel integral equation [4]. The function ^{( t - u ) - λ} may be called Abel's kernel. It is seen that (1) is a special case of (2) for λ = 1 / 2 . This paper is in the aspect of (2). Without generality losing, for the purpose of facilitating the discussions, we multiply the left side of (1) with the constant 1 / Γ ( λ ) , and let a = 0 . That is, we rewrite (2) by [figure omitted; refer to PDF]

The integral equation of Abel's type attracts the interests of mathematicians and physicists. In mathematics, for example, for solving the integral equation of Abel's type, [5] discusses a transformation technique, [6] gives a method of orthogonal polynomials, [7] adopts the method of integral operators, [8, 9] utilize the fractional calculus, [10] is with the Bessel functions, [11, 12] study the wavelet methods, [13, 14] describe the methods based on semigroups, [15] uses the almost Bernstein operational matrix, and so forth [16, 17], just to mention a few. Reference [18] represents a nice description of the importance of Abel's integral equations in mathematics as well as engineering, citing [19-23] for the various applications of Abel's integral equations.

The above stands for a sign that the theory of Abel's integral equations is developing. New methods for solving such a type of equations are demanded in this field. This paper presents a new method to describe the integral equation of Abel's type from the point of view of the Mikusinski operator of fractional order. In addition, we will give a solution to the integral equation of Abel's type by using the inverse of the Mikusinski operator of fractional order.

The remainder of this article is organized as follows. In Section 2, we shall express the integral equation of the Abel's type using the Mikusinski operator of fractional order and give the solution to that type of equation in the constructive way based on the inverse of the fractional-order Mikusinski operator. Section 3 consists of two parts. One is the proof of the existence of the inverse of the fractional-order Mikusinski operator. The other is the computation of the solution to Abel's type integral equation. Finally, Section 4 concludes the paper.

2. Constructive Solution Based on Fractional-Order Mikusinski Operator

Denote the operation of Mikusinski's convolution by [ecedil]7; . Let [ecedil]5; be the operation of its inverse. Then, for a ( t ) , b ( t ) ∈ C ( 0 , ∞ ) , one has [figure omitted; refer to PDF] The inverse of the previous expression is the deconvolution, which is denoted by (see [24-26]) [figure omitted; refer to PDF]

In (4) and (5), the constraint a ( t ) , b ( t ) ∈ C ( 0 , ∞ ) may be released. More precisely, we assume that a ( t ) and b ( t ) may be generalized functions. Therefore, the Diract- δ function in the following is the identity in this convolution system. That is, [figure omitted; refer to PDF] Consequently, [figure omitted; refer to PDF]

Let l be an operator that corresponds to the function 1 ( t ) such that [figure omitted; refer to PDF] Therefore, the operator ^{l 2} implies [figure omitted; refer to PDF] For n = 1 , ... , consequently, we have [figure omitted; refer to PDF] where 0 ! = 1 .

The Cauchy integral formula may be expressed by using ^{l n} , so that [figure omitted; refer to PDF] Generalizing ^{l n} to ^{l λ} in (12) for λ > 0 yields the Mikusinski operator of fractional order given by [figure omitted; refer to PDF] Thus, taking into account (12), we may represent the integral equation of Abel's type by [figure omitted; refer to PDF] Rewrite the above by [figure omitted; refer to PDF] Then, the solution to Able's type integral equation (3) may be represented by [figure omitted; refer to PDF] where ^{l - λ} is the inverse of ^{l λ} .

There are two questions in the constructive solution expressed by (15). One is whether ^{l - λ} exists. The other is how to represent its computation. We shall discuss the answers next section.

3. Results

3.1. Existence of the Inverse of Mikusinski's Operator of Order λ

Let G and F be two normed spaces for g ( t ) ∈ G and f ( t ) ∈ F , respectively. Then, the operator ^{l λ} regarding Able's type integral equation (13) may be expressed by [figure omitted; refer to PDF]

The operator ^{l λ} is obviously linear. Note that (3) is convergent [1]. Thus, one may assume that [figure omitted; refer to PDF] where [figure omitted; refer to PDF]

Define the norm of f ( t ) by [figure omitted; refer to PDF] Then, we have [figure omitted; refer to PDF] The above implies that ^{l λ} is bounded. Accordingly, it is continuous [27, 28].

Since [figure omitted; refer to PDF] ^{l - λ} exists. Moreover, the inverse of ^{l λ} is continuous and bounded according to the inverse operator theorem of Banach [27, 28]. This completes the proof of (15).

3.2. Computation Formula

According to the previous analysis, ^{l - λ} exists. It actually corresponds to the differential of order λ . Thus, [figure omitted; refer to PDF] In (13), we write ^{∫ 0 t} ( ( ( t - τ ^{) λ - 1} / Γ ( λ ) ) g ( τ ) ) d τ = f ( t ) by [figure omitted; refer to PDF] Following [29, p. 13, p. 527], [30], therefore, [figure omitted; refer to PDF] Since [figure omitted; refer to PDF] we write (24) by [figure omitted; refer to PDF] In the solution (26), if f ( 0 ) = 0 , one has [figure omitted; refer to PDF] which is a result described by Gelfand and Vilenkin in [9, Section 5.5].

Note that Mikusinski's operational calculus is a tool usually used for solving linear differential equations [24-26], but we use it in this research for the integral equation of the Abel's type from a view of fractional calculus. In addition, we suggest that the idea in this paper may be applied to studying other types of equations, for instance, those in [31-50], to make the possible applications of Mikusinski's operational calculus a step further.

4. Conclusions

We have presented the integral equation of Abel's type using the method of the Mikusinski operational calculus. The constructive representation of the solution to Abel's type integral equation has been given with the Mikusinski operator of fractionally negative order, giving a novel interpretation of the solution to Abel's type integral equation.

Acknowledgments

This work was supported in part by the 973 plan under the Project Grant no. 2011CB302800 and by the National Natural Science Foundation of China under the Project Grant nos. 61272402, 61070214, and 60873264.

References

[1] N. H. Abel, "Solution de quelques problèmes à l'aide d'intégrales définies," Magaziu for Naturvidenskaberue , Alu-gang I, Bînd 2, Christiania, pp. 11-18, 1823

[2] R. Gorenflo, S. Vessella Abel Integral Equations , Springer, 1991.

[3] P. P. B. Eggermont, "On Galerkin methods for Abel-type integral equations," SIAM Journal on Numerical Analysis , vol. 25, no. 5, pp. 1093-1117, 1988.

[4] A. Chakrabarti, A. J. George, "Diagonalizable generalized Abel integral operators," SIAM Journal on Applied Mathematics , vol. 57, no. 2, pp. 568-575, 1997.

[5] J. R. Hatcher, "A nonlinear boundary problem," Proceedings of the American Mathematical Society , vol. 95, no. 3, pp. 441-448, 1985.

[6] G. N. Minerbo, M. E. Levy, "Inversion of Abel's integral equation by means of orthogonal polynomials," SIAM Journal on Numerical Analysis , vol. 6, no. 4, pp. 598-616, 1969.

[7] J. D. Tamarkin, "On integrable solutions of Abel's integral equation," The Annals of Mathematics , vol. 31, no. 2, pp. 219-229, 1930.

[8] D. B. Sumner, "Abel's integral equation as a convolution transform," Proceedings of the American Mathematical Society , vol. 7, no. 1, pp. 82-86, 1956.

[9] I. M. Gelfand, K. Vilenkin Generalized Functions , vol. 1, Academic Press, New York. NY, USA, 1964.

[10] C. E. Smith, "A theorem of Abel and its application to the development of a function in terms of Bessel's functions," Transactions of the American Mathematical Society , vol. 8, no. 1, pp. 92-106, 1907.

[11] S. Sohrabi, "Comparison Chebyshev wavelets method with BPFs method for solving Abel's integral equation," Ain Shams Engineering Journal , vol. 2, no. 3-4, pp. 249-254, 2011.

[12] A. Antoniadis, J. Q. Fan, I. Gijbels, "A wavelet method for unfolding sphere size distributions," The Canadian Journal of Statistics , vol. 29, no. 2, pp. 251-268, 2001.

[13] R. J. Hughes, "Semigroups of unbounded linear operators in Banach space," Transactions of the American Mathematical Society , vol. 230, pp. 113-145, 1977.

[14] K. Ito, J. Turi, "Numerical methods for a class of singular integro-differential equations based on semigroup approximation," SIAM Journal on Numerical Analysis , vol. 28, no. 6, pp. 1698-1722, 1991.

[15] O. P. Singh, V. K. Singh, R. K. Pandey, "A stable numerical inversion of Abel's integral equation using almost Bernstein operational matrix," Journal of Quantitative Spectroscopy and Radiative Transfer , vol. 111, no. 1, pp. 245-252, 2010.

[16] R. K. Pandey, O. P. Singh, V. K. Singh, "Efficient algorithms to solve singular integral equations of Abel type," Computers & Mathematics with Applications , vol. 57, no. 4, pp. 664-676, 2009.

[17] M. Khan, M. A. Gondal, "A reliable treatment of Abel's second kind singular integral equations," Applied Mathematics Letters , vol. 25, no. 11, pp. 1666-1670, 2012.

[18] R. Weiss, "Product integration for the generalized Abel equation," Mathematics of Computation , vol. 26, pp. 177-190, 1972.

[19] W. C. Brenke, "An application of Abel's integral equation," The American Mathematical Monthly , vol. 29, no. 2, pp. 58-60, 1922.

[20] E. B. Hansen, "On drying of laundry," SIAM Journal on Applied Mathematics , vol. 52, no. 5, pp. 1360-1369, 1992.

[21] A. T. Lonseth, "Sources and applications of integral equations," SIAM Review , vol. 19, no. 2, pp. 241-278, 1977.

[22] Y. H. Jang, "Distribution of three-dimensional islands from two-dimensional line segment length distribution," Wear , vol. 257, no. 1-2, pp. 131-137, 2004.

[23] L. Bougoffa, R. C. Rach, A. Mennouni, "A convenient technique for solving linear and nonlinear Abel integral equations by the Adomian decomposition method," Applied Mathematics and Computation , vol. 218, no. 5, pp. 1785-1793, 2011.

[24] J. Mikusinski Operational Calculus , Pergamon Press, 1959.

[25] T. K. Boehme, "The convolution integral," SIAM Review , vol. 10, no. 4, pp. 407-416, 1968.

[26] G. Bengochea, L. Verde-Star, "Linear algebraic foundations of the operational calculi," Advances in Applied Mathematics , vol. 47, no. 2, pp. 330-351, 2011.

[27] V. I. Istratescu Introduction to Linear Operator Theory , vol. 65, Marcel Dekker, New York, NY, USA, 1981.

[28] M. Li, W. Zhao Analysis of Min-Plus Algebra , Nova Science Publishers, 2011.

[29] A. D. Polyanin, A. V. Manzhirov Handbook of Integral Equations , CRC Press, Boca Raton, Fla, USA, 1998.

[30] http://eqworld.ipmnet.ru/

[31] C. Cattani, A. Kudreyko, "Harmonic wavelet method towards solution of the Fredholm type integral equations of the second kind," Applied Mathematics and Computation , vol. 215, no. 12, pp. 4164-4171, 2010.

[32] C. Cattani, M. Scalia, E. Laserra, I. Bochicchio, K. K. Nandi, "Correct light deflection in Weyl conformal gravity," Physical Review D , vol. 87, no. 4, 2013.

[33] C. Cattani, "Fractional calculus and Shannon wavelet," Mathematical Problems in Engineering , vol. 2012, 2012.

[34] M. Carlini, T. Honorati, S. Castellucci, "Photovoltaic greenhouses: comparison of optical and thermal behaviour for energy savings," Mathematical Problems in Engineering , vol. 2012, 2012.

[35] M. Carlini, S. Castellucci, "Modelling the vertical heat exchanger in thermal basin," Computational Science and Its Applications , vol. 6785, of Lecture Notes in Computer Science, pp. 277-286, Springer, 2011.

[36] M. Carlini, C. Cattani, A. Tucci, "Optical modelling of square solar concentrator," Computational Science and Its Applications , vol. 6785, of Lecture Notes in Computer Science, pp. 287-295, Springer, 2011.

[37] E. G. Bakhoum, C. Toma, "Mathematical transform of traveling-wave equations and phase aspects of Quantum interaction," Mathematical Problems in Engineering , vol. 2010, 2010.

[38] E. G. Bakhoum, C. Toma, "Specific mathematical aspects of dynamics generated by coherence functions," Mathematical Problems in Engineering , vol. 2011, 2011.

[39] C. Toma, "Advanced signal processing and command synthesis for memory-limited complex systems," Mathematical Problems in Engineering , vol. 2012, 2012.

[40] G. Toma, "Specific differential equations for generating pulse sequences," Mathematical Problems in Engineering , vol. 2010, 2010.

[41] J. Yang, Y. Chen, M. Scalia, "Construction of affine invariant functions in spatial domain," Mathematical Problems in Engineering , vol. 2012, 2012.

[42] J. W. Yang, Z. R. Chen, W.-S. Chen, Y. J. Chen, "Robust affine invariant descriptors," Mathematical Problems in Engineering , vol. 2011, 2011.

[43] Z. Jiao, Y.-Q. Chen, I. Podlubny, "Distributed-Order Dynamic Systems," Springer , 2011.

[44] H. Sheng, Y.-Q. Chen, T.-S. Qiu Fractional Processes and Fractional Order Signal Processing , Springer, 2012.

[45] H. G. Sun, Y.-Q. Chen, W. Chen, "Random-order fractional differential equation models," Signal Processing , vol. 91, no. 3, pp. 525-530, 2011.

[46] S. V. Muniandy, W. X. Chew, C. S. Wong, "Fractional dynamics in the light scattering intensity fluctuation in dusty plasma," Physics of Plasmas , vol. 18, no. 1, 2011.

[47] H. Asgari, S. V. Muniandy, C. S. Wong, "Stochastic dynamics of charge fluctuations in dusty plasma: a non-Markovian approach," Physics of Plasmas , vol. 18, no. 8, 2011.

[48] C. H. Eab, S. C. Lim, "Accelerating and retarding anomalous diffusion," Journal of Physics A , vol. 45, no. 14, 2012.

[49] C. H. Eab, S. C. Lim, "Fractional Langevin equations of distributed order," Physical Review E , vol. 83, no. 3, 2011.

[50] L.-T. Ko, J.-E. Chen, Y.-S. Shieh, H.-C. Hsin, T.-Y. Sung, "Difference-equation-based digital frequency synthesizer," Mathematical Problems in Engineering , vol. 2012, 2012.