Solutions of the Generalized Abel’s Integral Equations of the Second Kind with Variable Coefficients

Applying Babenko’s approach, we construct solutions for the generalized Abel’s integral equations of the second kind with variable coefficients on R and Rn, and show their convergence and stability in the spaces of Lebesgue integrable functions, with several illustrative examples.


Introduction
In 1823, Abel studied a physical problem regarding the relationship between kinetic and potential energies for falling bodies and constructed the integral equation [1][2][3][4] g(x) = x c (x − t) −1/2 u(t)dt, c > 0, where g(x) is given and u(x) is unknown.Later on, he worked on a more general integral equation given as which is called Abel's integral equation of the first kind.Abel's integral equation of the second kind is generally given as where λ is a constant.Abel's integral equations are related to a wide range of physical problems, such as heat transfer [5], nonlinear diffusion [6], the propagation of nonlinear waves [7], and applications in the theory of neutron transport and traffic theory.There are many studies [8][9][10][11][12][13][14] on Abel's integral equations, including their variants and generalizations [15,16].In 1930, Tamarkin investigated integrable solutions of Abel's integral equations under certain conditions by several integral operators [17].Sumner [18] studied Abel's integral equations using the convolutional transform.Minerbo and Levy [19] found a numerical solution of Abel's integral equation by orthogonal polynomials.In 1985, Hatcher [20] worked on a nonlinear Hilbert problem of power type, solved in closed form by representing a sectionally holomorphic function by means of an integral with power kernel, and transformed the problem to one of solving a generalized Abel's integral equation.Using a modification of Mikusinski operational calculus, Gorenflo and Luchko [21] obtained an explicit solution of the generalized Abel's integral equation of the second kind, in terms of the Mittag-Leffler function of several variables.
where λ i is a constant for i = 1, 2, • • • , m, and I µ is the Riemann-Liouville fractional integral of order µ ∈ R + with initial point zero [22], Lubich [10] constructed the numerical solution for the following Abel's integral equation of the second kind based on fractional powers of linear multistep methods where x ∈ [0, T] and α > 0. The case α = 1/2 is encountered in a variety of problems in physics and chemistry [23].Pskhu [24] considered the following generalized Abel's integral equation with constant coefficients where α k ≥ 0 and x ∈ (0, a), and constructed an explicit solution based on the Wright function and convolution.Li et al. [25][26][27] recently studied Abel's integral Equation (1) for any arbitrary α ∈ R in the generalized sense based on fractional calculus of distributions, inverse convolutional operators and Babenko's approach [28].They obtained several new and interesting results that cannot be realized in the classical sense or by the Laplace transform.Many applied problems from physical science lead to integral equations which can be converted to the form of Abel's integral equations for analytic or distributional solutions in the case where classical ones do not exist [15,27]. Letting and a > 0, we consider the generalized Abel's integral equation of the second kind with variable coefficients where x ∈ (0, a), a i (x) is Lebesgue integrable and bounded on (0, a) is a given function in L(0, a) and u(x) is the unknown function.Clearly, Equation (2) turns to be if n = 1 and a 1 (x) = a 1 (constant).Equation ( 3) is the classical Abel's integral equation of the second kind, with the solution given by Hille and Tamarkin [29] u where Following a similar approach, we also establish a convergent and stable solution for the generalized Abel's integral equation on R n with variable coefficients , ) and I α k is the partial Riemann-Liouville fractional integral of order α ∈ R + with respect to x k , with initial point 0,

The Main Results
Theorem 1.Let x ∈ (0, a), a i (x) be Lebesgue integrable and bounded on (0, a) for i = 1, 2, • • • , n, and g(x) be a given function in L(0, a).Then the generalized Abel's integral equation of the second kind with variable coefficients has the following convergent and stable solution in L(0, a) where which implies, by Babenko's approach (treating the operator like a variable), that Let f be the usual norm of f ∈ L(0, a), given by Then, we have from [30] where This implies that .
Since a i (x) is bounded over (0, a), there exists M > 0 such that sup x∈(0,a) Then, On the other hand, since there exists m i ≥ m/n for some i by noting that m 1 + m 2 + • • • + m n = m, and the factor Γ(m j α n + 1) ≥ 1/2 for j = i.Hence, , and Furthermore, the solution is stable from the last inequality.This completes the proof of Theorem 1.

Illustrative Examples
Let α and β be arbitrary real numbers.Then it follows from [31] Example 1. Assume α > 0. Then Abel's integral equation with a variable coefficient u(x) − x α I 2.5 u(x) = x, x ∈ (0, a) has the following stable solution Clearly, where m ≥ 1.
Example 2. Let a > 0. Then Abel's integral equation u(x) − xI 0.5 u(x) − x 0.5 Iu(x) = x −0.5 , x ∈ (0, a) has the following stable solution in L(0, a), where Clearly, where C k is defined as above.Furthermore, where B m,k is defined above.

Remark 1.
As far as we know, the solution for the generalized Abel's integral equation with variable coefficients over the interval (0, a) is obtained for the first time.However, this approach seems unworkable if the interval is unbounded, as the Riemann-Liouville fractional integral operator is therefore unbounded.In the proof and computations of the above examples, we should point out that the convolution operations are prior to functional multiplications, according to our approach.
Assuming that ω i > 0 for all i = 1, 2, • • • , n, and Ω = (0, ω 1 ) × (0, ω 2 ) × • • • × (0, ω n ), we can derive the following theorem by a similar procedure.Theorem 2. Let α k ≥ 0 for k = 1, 2, • • • , n and there is at least one α i > 0 for some 1 ≤ i ≤ n.Then the generalized Abel's integral equation of the second kind with variable coefficients on R n for a given function g has the following convergent and stable solution in L(Ω) where a k (x) is Lebesgue integrable and bounded on It remains to show that the above is convergent and stable in L(Ω).Let Let f be the usual norm of f ∈ L(Ω), given by Then, it follows from [30] for where This implies for α k > 0 that where In particular for α k = 0, Therefore, , where S = max{ω α 1 1 , • • • , ω α n n }.