![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
The present article introduces and studies the Fredholm-type integral equation with an incomplete I-function (IIF) and an incomplete -function (I
F) in its kernel. First, using fractional calculus and the Mellin transform principle, we solve an integral problem involving IIF. The idea of the Mellin transform and fractional calculus is then used to analyse an integral equation using the incomplete
-function. This is followed by the discovery and investigation of several important exceptional cases. This article's general discoveries may yield new integral equations and solutions. The desired outcomes seem to be very helpful in resolving many real-world problems whose solutions represent different physical phenomena. And also, findings help solve introdifferential, fractional differential, and extended integral equation problems.
1. Introduction
Over the last four decades, mathematicians and scientists have been attracted to fractional calculus and special functions because of their wide range of applications and significance in fields such as medical science, biological science, computer science, communication theory, fluid dynamics, viscoelasticity, diffusive transport, electrical finance networks, signal processing, probability theory, control theory, ecology, environmental science, and so on [Citation1–4].
The scope of special functions is extensive, yet it constantly expands due to the development of new issues in engineering and applied science fields. In addition, the development of the H-function and the I-function is facilitated by dissemination. Jangid et al. [Citation5] proposed the incomplete I-function and developed various integral transformations for it. A few applications are also presented [Citation6, Citation7]. The integral equation has been observed in various response-related problems, including diffusion, queuing theory, reaction-diffusion, quantum mechanics and a variety of other areas of physics, biology, and probability theory, to name a few [Citation8–10].
Fractional calculus is an augmentation of integer-order calculus and provides more accurate results than classical calculus. Therefore, it is widely used in the mathematical modelling of almost all science and engineering, medicine, and education areas [Citation11–13]. Several fractional operators are available to deal with real-world problems, such as the Riemann–Liouville integral, Caputo derivative, Caputo–Fabrizio derivatives, Weyl integral, Weyl derivatives, Atangana–Balneau derivatives, Atangana–Balneau fractional integral, Hilfer fractional derivatives, and many others.
Methods for obtaining solutions to integral equations (IE) are typically beneficial in science and engineering. That is why we choose Fredholm IE, which consists of incomplete I-function, which are extensions and generalizations of higher transcendental functions. The most commonly used functions in mathematics, physics, engineering, and mathematical biology are special cases of the incomplete I-function.
The Fredholm IE, which incorporates special functions like Hypergeometric functions, Legendre functions, and Fox H-functions, is presented and explored by many authors [Citation14–20]. We present the integral equation of the Fredholm type involving the IIF and IF in the kernel, which was inspired by a recent research endeavour on fractional calculus and special functions.
2. Mathematical preliminaries
The present part defines some basic definitions of the special functions and fractional operators.
Incomplete Gamma Function: The usual incomplete Gamma functions and
represented by Chaudhry and Zubai [Citation21]
(1)
(1) and
(2)
(2) satisfy the subsequent rule of decomposition:
(3)
(3) where
stands for real part of the parameter
.
Moreover, if we set s = 0, then we have .
I-Function: Rathie [Citation22] discovered the I-function in 1997, which is defined as follows by the Mellin–Barnes kind contour integral:
(4)
(4) where
(5)
(5) The appropriate conditions for the $ contour convergence described in (Equation4
(4)
(4) ) and other representations, in addition to documentation about the I-function, can be seen in [Citation22].
The Incomplete I-Functions: Now, we present a family of the incomplete I-functions [Citation23] and
, which leads to a natural generalization of a variety of I-functions:
(6)
(6) and
(7)
(7) for all
, where
(8)
(8) and
(9)
(9) The following division relation is immediately produced by the definitions (Equation6
(6)
(6) ) and (Equation7
(7)
(7) ) for the value of
:
(10)
(10) The Incomplete
-Function: When we fixed
and
, then define the following new incomplete
-function (I
F) [Citation5]:
(11)
(11) and
(12)
(12) for all
, where
(13)
(13) and
(14)
(14) It we put Y = 0 in (Equation12
(12)
(12) ), then we get familiar
suggest by Rathie [Citation22].
The IIF and
identified in (Equation6
(6)
(6) ) and (Equation7
(7)
(7) ) appear for
, according to the family of restrictions provided by Rathie [Citation22], such as
where
(15)
(15)
Remark 2.1
Setting Y = 0, in (Equation6(6)
(6) ) and (Equation7
(7)
(7) ) gives the I-Function determined by Rathie
(16)
(16)
Remark 2.2
When is set to (Equation6
(6)
(6) ) and (Equation7
(7)
(7) ), it becomes the Incomplete H-Function proposed by Srivastava
(17)
(17) and
(18)
(18)
Remark 2.3
Next, we take in (Equation6
(6)
(6) ). The IIF is reduced to the well-known Fox H-function, defined and illustrated as follows
(19)
(19)
Weyl Fractional Integral: The standard definition of the Weyl fractional integral (WFI) as given by Miller and Ross [Citation24]:
(20)
(20) Mellin Transform: The standard definition of the Mellin transform (MT) is given as follows [Citation25, Citation26]:
(21)
(21) and
(22)
(22) where
and ∇ is constant.
Next, we provide two significant results incorporated into our main findings.
The MT of IIF [Citation5] is defined as follows:
(23)
(23) where
is defined in Equation (Equation8
(8)
(8) ) and the terms are given in [Citation5].
The MT of I
F is defined as follows:
(24)
(24) where
is defined in Equation (Equation14
(14)
(14) ).
Assume that is the space with whole functions
that satisfy and are properly characterized on
.
;
, (For all
); (
), and
.
See Lighthill's [Citation27] work for more information on the space of suitable functions expressed on the entire real line .
3. Solution of an integral equation of Fredholm type utilizing IIF
In this section, using the MT method and the well-recognized WFI, we provide the solution to the Fredholm-type integral problem involving the IIF.
Lemma 3.1
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Then,
(25)
(25)
Proof.
We first consider the integral contour framework of the IIF provided in relation (Equation6(6)
(6) ) and then change the sequence of integrals to demonstrate the assertion along with (Equation25
(25)
(25) ). We next apply the WFI defined in Equation (Equation20
(20)
(20) ) (within the specified permitted conditions).
We can easily achieve the desired result by evaluating the power function at the WFI and thereupon trying to interpret the arising Mellin Barnes contour integral in terms of IIF.
Lemma 3.2
Suppose
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Then,
(26)
(26)
Proof.
We won't describe it in detail here because the proof is identical to Lemma 3.1.
Theorem 3.3
Letting
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Consequently, the subsequent integral relationship formula holds: (27)
(27) with the result that
and X>0.
Proof.
Suppose denotes the first component of the statement in Equation (Equation27
(27)
(27) ) of Theorem 3.3. Thereupon, using Lemma 3.1 and the definition in Equation (Equation20
(20)
(20) ), we obtain
Next, by altering the order of integration under the allowable circumstances, we obtain
Moreover, using the widely used definition of the Riemann Liouville (RL) fractional derivative, we get
which is the right-handed component of Equation (Equation27
(27)
(27) ).
Theorem 3.4
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Consequently, the subsequent integral relationship formula holds: (28)
(28) with the result that
and X>0.
Proof.
We won't describe it in detail here because the proof is identical to Theorem 3.3.
Theorem 3.5
Make the assumption that
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Then, the consequent IE: (29)
(29) has now been solved by
(30)
(30) where
and
is shown in Equation (Equation9
(9)
(9) ).
Proof.
ϕ is substituted for in Equation (Equation27
(27)
(27) ) to determine the integral equation's (Equation29
(29)
(29) ) solution; we get
By multiplying both sides by
, integrating from 0 to ∞ with respect to X, and thereupon altering the order of integration together with the allowable circumstances, we get
Now, using Equation (Equation23
(23)
(23) ), we obtain
Moreover, by using the Mellin inversion theorem, we obtain
Next, by operating on each side with
, we obtain
which eventually gives
Theorem 3.6
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Whereupon, the subsequent IE: (31)
(31) has a solution given by
(32)
(32) where
and
is shown in Equation (Equation8
(8)
(8) ).
Proof.
Since the proof is identical to that of Theorem 3.5, we will skip the details here.
4. Solution of an integral equation of Fredholm type utilizing I![](//:0)
F
In this section, using the MT method and the well-recognized WFI, we provide the solution to the Fredholm-type integral problem implicating the IF.
Lemma 4.1
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Then, (33)
(33)
Proof.
We first demonstrate the integral contour form of the IF provided in Equation (Equation11
(11)
(11) ), thereupon change the pattern of integrals to demonstrate the assertion in Equation (Equation33
(33)
(33) ). We next apply the WFI defined in Equation (Equation20
(20)
(20) ) (within the specified permitted conditions). We can easily achieve the desired result by evaluating the power function at the WFI and thereupon trying to interpret the arising Mellin Barnes contour integral in terms of I
F.
Lemma 4.2
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Then, (34)
(34)
Proof.
We first demonstrate the integral contour form of the IF provided in Equation (Equation12
(12)
(12) ), then change the process of integrals to demonstrate the assertion in Equation (Equation34
(34)
(34) ). We next apply the WFI defined in Equation (Equation20
(20)
(20) ) (within the specified permitted conditions). We can easily achieve the desired result by evaluating the power function at the WFI and thereupon trying to interpret the arising Mellin Barnes contour integral in terms of I
F.
Theorem 4.3
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Consequently, the subsequent integral relationship holds: (35)
(35) with the result that
and X>0.
Proof.
Suppose denotes the first component of the statement in Equation (Equation35
(35)
(35) ) of Theorem 4.3. Thereupon, using Lemma 4.1 and the definition in Equation (Equation20
(20)
(20) ), we have
Next, by altering the order of integration under the allowable circumstances, we obtain
Moreover, using the widely used definition of the RL fractional derivative, we get
which is the right-handed component of Equation (Equation35
(35)
(35) ).
Theorem 4.4
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Consequently, the subsequent integral relation holds true: (36)
(36) provided that
and X>0.
Proof.
Since the proof is identical to that of Theorem 4.3, we will skip the details here.
Theorem 4.5
Considering
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Hence, the subsequent IE: (37)
(37) has a solution, and it is provided by
(38)
(38) where
and
is shown in Equation (Equation9
(9)
(9) ).
Proof.
ϕ is substituted for in Equation (Equation35
(35)
(35) ) to determine the integral equation's (Equation37
(37)
(37) ) solution; we get
By multiplying both sides by , integrating from 0 to ∞ in relation to X, and thereafter altering the order of integration along with the allowable circumstances, we get
Now, using Equation (Equation24
(24)
(24) ), we obtain
Moreover, by using the Mellin inversion theorem, we obtain
Next, by operating on each side with
, we obtain
which eventually gives
Theorem 4.6
Let
(A) |
| ||||
(B) |
| ||||
(C) |
| ||||
(D) |
|
Then, the preceding IE: (39)
(39) has a solution given by
(40)
(40) where
and
is shown in Equation (Equation8
(8)
(8) ).
Proof.
Since the proof is identical to that of Theorem 4.5, we will skip the details here.
5. Remarks
This section presents some of the already available findings, which directly follow our major findings. Later, we develop more fascinating outcomes achieved by focusing on the parameters of the IIF and the IF of our main result.
Remark 5.1
If setting in Equations (Equation27
(27)
(27) ) and (Equation28
(28)
(28) ), then the outcome is as reported by Bansal et al. [Citation15].
Remark 5.2
If we consider setting in Equations (Equation27
(27)
(27) ) and (Equation28
(28)
(28) ), then the outcome is as reported by Srivastava et al. [Citation10].
Now, we present some essential examples based on the main findings.
Example 5.3
If we substitute in Theorem 3.3, then we obtain the Fredholm integral equation solution that uses the incomplete Fox–Wright function
.
(41)
(41) Solution: Suppose
denotes the component of Equation (Equation41
(41)
(41) ) of Example 5.3. Thereupon, using Lemma 3.1 and the definition in Equation (Equation20
(20)
(20) ), we obtain
Next, by altering the order of integration under the allowable circumstances, we obtain
Moreover, using the widely used definition of the RL fractional derivative, we get
Now, replacing
, then we get the final solution of Equation (Equation41
(41)
(41) ).
(42)
(42)
Example 5.4
If we substitute in Theorem 3.3, then we obtain the Fredholm integral equation solution that uses the incomplete generalized hypergeometric function
.
(43)
(43) Solution: Suppose
denotes the component of Equation (Equation43
(43)
(43) ) of Example 5.4. Thereupon, using Lemma 3.1 and the definition in Equation (Equation20
(20)
(20) ), we obtain
Next, by altering the order of integration under the allowable circumstances, we obtain
Moreover, using the widely used definition of the RL fractional derivative, we get
Now, replacing
, then we get the final solution of Equation (Equation43
(43)
(43) ).
(44)
(44)
Similarly, as above examples, we find a new instance for Theorems 3.3, 3.4, 4.3 and 4.4.
6. Conclusions
This paper introduces the Fredholm-type IE involving the IIF and the IF in the kernel. After, we acquire the Mellin transformation of the incomplete I-function. By figuring out the precise values of the various parameters of the IIF and the I
F, we also highlight some known outcomes. Given this observation, the results presented here, being of a general character, can yield numerous generating functions for a particular class of incomplete I-function and other special functions expressible in terms of I-functions. Our conclusions are crucial in many different fields. With their aid, a wide range of fascinating and useful fractional integral equations with applications in engineering, communication theory, probability theory, and science can be created. In the near future work, solutions to other differential and integral equations may be obtained by including an incomplete I-function in the kernel for more generalization to transcendental problems.
Acknowledgments
The authors express their sincere thanks to the editor and reviewers for their fruitful comments and suggestions that improved the quality of the manuscript. The third author is grateful to the CSIR, MHRD, Govt. of India, New Delhi for funding through grant number (09/843(0006)/2020-EMR-I). KJ and SB made significant contributions to the creation and contributed to design of the work. S handled the analysis. SDP and DB conceptualized and double-checked the Analysis part. DLS was involved in the manuscript's drafting or critical revision for important intellectual content. All authors read and approved the final version of manuscript.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Data availability statement
No data were used for this study.
References
- Baleanu D, Rezapour S, Saberpour Z. On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound Value Probl. 2019;2019(1):79.
- Choi J, Agarwal P. Certain integral transforms for the incomplete functions. Appl Math Inf Sci. 2015;9(4):2161–2167.
- Purohit SD, Baleanu D, Jangid K. On the solutions for generalised multiorder fractional partial differential equations arising in physics. Math Methods Appl Sci. 2021;1–9. doi:10.1002/mma.7431
- Srivastava HM, Saxena RK. Some Volterra-type fractional integro-differential equations with a multivariable confluent hypergeometric function as their kernel. J Integr Equ Appl. 2005;17(2):199–217.
- Jangid K, Bhatter S, Meena S, et al. Certain classes of the incomplete I-functions and their properties. Discontin Nonlinearity Complex. 2023;12(2).
- Jangid K, Purohit SD, Nisar KS, et al. The internal blood pressure equation involving incomplete I-functions. Inf Sci Lett. 2020;9(3):171–174.
- Purohit SD, Khan AM, Suthar DL, et al. The impact on raise of environmental pollution and occurrence in biological populations pertaining to incomplete H-function. Natl Acad Sci Lett. 2021;44(3):263–266.
- Ioannou Y, Fyrillas MM, Doumanidis C. Approximate solution to Fredholm integral equations using linear regression and applications to heat and mass transfer. Eng Anal Bound Elem. 2012;36(8):1278–1283.
- Ramm AG. Solution of some integral equations arising in integral geometry. Appl Math Lett. 1991;4(4):77–81.
- Srivastava HM, Raina RK. On certain methods of solving a class of integral equations of Fredholm type. J Aust Math Soc. 1992;52(1):1–10.
- Kumawat S, Bhatter S, Suthar DL, et al. Numerical modeling on age-based study of coronavirus transmission. Appl Math Sci Eng. 2022;30:609–634.
- Mohammed PO, Abdeljawad T, Baleanu D, et al. New fractional inequalities of Hermite–Hadamard type involving the incomplete gamma functions. J Inequal Appl. 2020;2020(1):263.
- Shyamsunder, Bhatter S, Jangid K, Purohit SD. Fractionalized mathematical models for drug diffusion. Chaos Solitons Fract. 2022;165:112810.
- Agarwal P, Rassias TM, Singh G, et al. Certain fractional integral and differential formulas involving the extended incomplete generalized hypergeometric functions. Math Anal Appl. 2019;154:217–272. doi:10.1007/978-3-030-31339-5_8
- Bansal MK, Kumar D, Singh J, et al. On the solutions of a class of integral equations pertaining to incomplete H-function and incomplete H¯-function. Mathematics. 2020;8(5):819.
- Choi J, Agarwal P. Certain class of generating functions for the incomplete hypergeometric functions. Abstr Appl Anal. 2014;2014:714560.
- Erdelyi A. An integral equation involving Legendre functions. J Soc Ind Appl Math. 1964;12(1):15–30.
- Love ER. Some integral equations involving hypergeometric functions. Proc Edinb Math Soc. 1967;15(3):169–198.
- Prabhakar TR. A class of integral equations with Gauss functions in the kernels. Math Nachr. 1972;52(1–6):71–83.
- Srivastava HM, Agarwal P. Certain fractional integral operators and the generalized incomplete hypergeometric functions. Appl Appl Math. 2013;8(2):333–345.
- Chaudhry MA, Zubair SM. On a class of incomplete gamma functions with applications. Strand: Chapman and Hall/CRC; 2001.
- Rathie AK. A new generalization of generalized hypergeometric functions. Le Math. 1997;LII:297–310.
- Jangid K, Bhatter S, Meena S, et al. Some fractional calculus findings associated with the incomplete I-functions. Adv Differ Equ. 2020;2020(1):265.
- Miller KS, Ross B. An introduction to the fractional calculus and fractional differential equations. Hoboken (NJ): Wiley; 1993.
- Bellman R, Roth RS. The laplace transform. Singapore: World Scientific; 1984.
- Debnath L, Bhatta D. Integral transforms and their applications. Strand: Chapman and Hall/CRC; 2016.
- Lighthill MJ, Lighthill MJS, Lighthill MJ. An introduction to Fourier analysis and generalised functions. Cambridge: Cambridge University Press; 1958.