The proposed reconfigurable BPF satisfies the International Telecommunication Unionos (ITU) region 3 spectrum requirement. In transmit mode, the frequency range 11.41-12.92 GHz is used by the direct broadcast service (DBS) and the fixed satellite service (FSS). Direct broadcast service (DBS) in reception mode employs 11.7-12.2 GHz and 17.3-17.8 GHz frequency ranges. Frequency reconfigurable filters are popular because they can cover wide range of frequencies, reducing system cost and space. Another emerging trend is electronic component flexibility or conformability, which allows them to be mounted on non-planar objects and are used in wearable applications. This project contains a frequency-reconfigurable BPF that has been entirely printed on a flexible polimide substrate. Frequency reconfigurability is obtained by using a pin diode HSCH 5318 and it is used to switch between 12 GHz and 18 GHz. The prototype reconfigurable BPF is highly compact and low-cost due to the flexible polimide substrate and the measured results are promising and match the simulated results well.
Citation: Ambati. Navya, Govardhani. Immadi, Madhavareddy. Venkata Narayana. Flexible ku/k band frequency reconfigurable bandpass filter[J]. AIMS Electronics and Electrical Engineering, 2022, 6(1): 16-28. doi: 10.3934/electreng.2022002
[1] | Gashaw Beyene, Gamachis Sakata, Teshome Senbeta, Belayneh Mesfin . Effect of core size/shape on the plasmonic response of spherical ZnO@Au core-shell nanostructures embedded in a passive host-matrices of MgF2. AIMS Materials Science, 2020, 7(6): 705-719. doi: 10.3934/matersci.2020.6.705 |
[2] | Ruijin Hong, Jialin Ji, Chunxian Tao, Daohua Zhang, Dawei Zhang . Fabrication of Au/graphene oxide/Ag sandwich structure thin film and its tunable energetics and tailorable optical properties. AIMS Materials Science, 2017, 4(1): 223-230. doi: 10.3934/matersci.2017.1.223 |
[3] | Aruna P. Wanninayake, Shengyi Li, Benjamin C. Church, Nidal Abu-Zahra . Electrical and optical properties of hybrid polymer solar cells incorporating Au and CuO nanoparticles. AIMS Materials Science, 2016, 3(1): 35-50. doi: 10.3934/matersci.2016.1.35 |
[4] | Ravipati Praveena, Gottapu. Varaprasada Rao, Karna Balasubrahmanyam, M. Ghanashyam Krishna, Vinjanampati Madhurima . Optical and water repellant properties of Ag/SnO2 bilayer thin films. AIMS Materials Science, 2016, 3(1): 231-244. doi: 10.3934/matersci.2016.1.231 |
[5] | Sekhar Chandra Ray . Possible magnetic performances of graphene-oxide and it's composites: A brief review. AIMS Materials Science, 2023, 10(5): 767-818. doi: 10.3934/matersci.2023043 |
[6] | Jiyu Cai, Qian Sun, Xiangbo Meng . Novel nanostructured materials by atomic and molecular layer deposition. AIMS Materials Science, 2018, 5(5): 957-999. doi: 10.3934/matersci.2018.5.957 |
[7] | Min Lai, Xiaofang Yang, Qing Liu, Jinghua Li, Yanhua Hou, Xiuyong Chen, Kaiyong Cai . The surface nanostructures of titanium alloy regulate the proliferation of endothelial cells. AIMS Materials Science, 2014, 1(1): 45-58. doi: 10.3934/matersci.2014.1.45 |
[8] | Abdullah Ahmed Ali Ahmed, Zainal Abidin Talib, Mohd Zobir Hussein, Yusra Abdullah Ahmed Al-Magdashi . New DC conductivity spectra of Zn–Al layered double hydroxide (Zn–Al–NO3–LDH) and its calcined product of ZnO phase. AIMS Materials Science, 2017, 4(3): 670-679. doi: 10.3934/matersci.2017.3.670 |
[9] | Narayan Poudyal, Kinjal Gandha, Kevin Elkins, J. Ping Liu . Anisotropic SmCo5/FeCo core/shell nanocomposite chips prepared via electroless coating. AIMS Materials Science, 2015, 2(3): 294-302. doi: 10.3934/matersci.2015.3.294 |
[10] | Christoph Nick, Helmut F. Schlaak, Christiane Thielemann . Simulation and Measurement of Neuroelectrodes Characteristics with Integrated High Aspect Ratio Nano Structures. AIMS Materials Science, 2015, 2(3): 189-202. doi: 10.3934/matersci.2015.3.189 |
The proposed reconfigurable BPF satisfies the International Telecommunication Unionos (ITU) region 3 spectrum requirement. In transmit mode, the frequency range 11.41-12.92 GHz is used by the direct broadcast service (DBS) and the fixed satellite service (FSS). Direct broadcast service (DBS) in reception mode employs 11.7-12.2 GHz and 17.3-17.8 GHz frequency ranges. Frequency reconfigurable filters are popular because they can cover wide range of frequencies, reducing system cost and space. Another emerging trend is electronic component flexibility or conformability, which allows them to be mounted on non-planar objects and are used in wearable applications. This project contains a frequency-reconfigurable BPF that has been entirely printed on a flexible polimide substrate. Frequency reconfigurability is obtained by using a pin diode HSCH 5318 and it is used to switch between 12 GHz and 18 GHz. The prototype reconfigurable BPF is highly compact and low-cost due to the flexible polimide substrate and the measured results are promising and match the simulated results well.
There is a close relationship between the special functions and fractional calculus, which is a branch gaining popularity, especially in the last decades, because of its potential usefulness in real world applications (see [1,2,3,4,5,6,7,8,9,10]). Different definitions of fractional calculus have been introduced in the literature, each of which has their own advantages or disadvantages. One direction of research has been to add more parameters, for instance the Erdelyi-Kober fractional model, and another direction is to consider some analytic functions in the kernel of fractional calculus operators such as the Prabhakar model.
Recently, the extended R-L fractional integral of order μ[11] was defined by
Dμ,pz(f(z))=1Γ(−μ)∫z0f(t)(z−t)−μ−1exp(−pz2t(z−t))dt,Re(μ)<0,Re(p)>0, |
and it has been shown that these operators are useful in the analysis of certain extensions of special functions defined in [12,13,14].
Another interesting approach in generalizing fractional calculus is given in the papers [15,16], where the authors, instead of integrating over a full interval [0,z], introduced two integral operators by separeting the interval by a variable yz(0<y<1), therefore this approach provides a general definition of fractional integrals, in which the singular and nonsingular parts of the integral can be separated. More precisely they introduced the operators
Dμz[f(z);y]=z−μΓ(−μ)∫y0f(uz)(1−u)−μ−1du,Re(μ)<0 | (1.1) |
and
Dμz{f(z);y}=z−μΓ(−μ)∫1yf(uz)(1−u)−μ−1du,Re(μ)<0. | (1.2) |
The incomplete fractional integrals and derivatives have been subjected to an in-depth analysis in the papers [15,16,17,18].
On the other hand, in recent papers such as [11,12,13,14,19,20,21,22,23,24,25,26,27,28], several extensions of the well-known special functions have been considered, many of which have close relationships with fractional calculus. Also we should refer the recent surveys on the transcendental functions with their connections between the fractional calculus [29,30].
Very recently, in order to introduce a different variant of incomplete Gauss hypergeometric functions which is more suitable for the fractional calculus results as well, the authors introduced the incomplete Pochhammer ratios as follows [15]:
[b,c;y]n:=By(b+n,c−b)B(c−b,b) |
and
{b,c;y}n:=B1−y(c−b,b+n)B(c−b,b) |
where 0≤y<1 and
By(x,z)=∫y0tx−1(1−t)z−1dt,Re(x)>0,Re(z)>0,0<y<1. | (1.3) |
is the incomplete beta function.
They defined the incomplete Gauss hypergeometric functions as follows:
2F1(a,[b,c;y];x):=∞∑n=0(a)n[b,c;y]nxnn!, | (1.4) |
and
2F1(a,{b,c;y};x):=∞∑n=0(a)n{b,c;y}nxnn!. | (1.5) |
Several properties of these functions were obtained, such as integral representations, derivative formulae, transformation formulae, and recurrence relations. Also, the incomplete Appell's functions were defined and expressed using integral representations. It should be mentioned that, in a recent paper, the incomplete Gauss hypergeometric function was used in the derivation of some new estimates for the generalized Simpson's quadrature rule [31].
One of the generalisation of Gauss hypergeometric function was defined by Chaudhry [13,14]
Fp(a,b;c;z)=∞∑n=o(a)nBp(b+n,c−b)B(b,c−b)znn!,p≥0,Re(c)>Re(b)>0 | (1.6) |
where
Bp(x,y):=∫10tx−1(1−t)y−1exp[−pt(1−t)]dt,Re(p)>0,Re(x)>0,Re(y)>0. | (1.7) |
is the extended beta function. On the other hand, the incomplete version of the extended beta function has been defined as
By(x,z;p)=∫y0tx−1(1−t)z−1exp(−pt(1−t))dt,Re(p)>0,0≤y<1 | (1.8) |
and investigated in [14]. Some applications, where these functions are used, can be found in [14].
We saw from the above discussion that both structures of generalisations by adding new parameters or incomplitifications are interesting topics of study with potential real world applications. By combining both forms of generalisations, we are able to construct new functions and operators which have the advantages of both the incomplete versions and the parametric versions. Therefore in this paper, in Sections 2 and 3 we combine these generalisations and investigate them thoroughly. More precisely in Section 2, we introduce the extended incomplete versions of the Riemann-Liouville (R-L) fractional integral operator and investigate their transformation properties in L1 and L∞ spaces. We observe that the extended incomplete fractional calculus operators can be used in the analysis of a wider class of functions than the extended fractional calculus operator. Moreover, by considering the concept of analytical continuation, definitions for extended incomplete R-L fractional derivatives are given and therefore the full fractional calculus model has been completed for each complex order. In Section 3, similar treatment has been considered to introduce extended incomplete τ-Gauss, confluent and Appell's hypergeometric functions. Some of their properties such as integral representations and their relations with the extended R-L fractional calculus has been given. In the last section, one particular advantage of the new fractional integral operators has been exhibited by deriving some generating relations of linear and bilinear type for extended incomplete τ-hypergeometric functions.
The extended incomplete R-L fractional integral operators Dμ,pz[f(z);y]and Dμ,pz{f(z);y} are introduced by
Dμ,pz[f(z);y]:=z−μΓ(−μ)∫y0f(uz)(1−u)−μ−1exp(−pu(1−u))du,Re(μ)<0,Re(p)>0,0≤y≤1, | (2.1) |
and
Dμ,pz{f(z);y}:=z−μΓ(−μ)∫1yf(uz)(1−u)−μ−1exp(−pu(1−u))du,Re(μ)<0,Re(p)>0,0≤y≤1. | (2.2) |
Setting p→0 in (2.1) and (2.2), we obtain the incomplete R-L fractional integral operators which are defined in (1.1) and (1.2), respectively. These extended incomplete R-L fractional integral operators satisfy the following decomposition formula:
Dμ,pz[f(z);y]+Dμ,pz{f(z);y}=Dμ,pz(f(z)). |
We start the analytical investigation of these operators by considering their transformation properties:
Theorem 2.1. Let A>0,0<y<1 and Re(μ)>0. Then D−μ,pz[⋅;y]:L1[0,yA]→L1[0,A].
Proof. Fix 0<y<1 choose any f∈L1[0,yA].For z∈[0,A], since Re(p)>0, we can write
|D−μ,pz[f(z);y]|≤1|Γ(μ)|∫zy0|f(t)(z−t)μ−1exp(−pz2t(z−t))|dt≤[sup[0,yz](z−t)Re(μ)−1exp(−Re(p)z2t(z−t))]1|Γ(μ)|∫zy0|f(t)|dt≤[sup[0,yz](z−t)Re(μ)−1]1|Γ(μ)|∫zy0|f(t)|dt={(z−yz)Re(μ)−1|Γ(μ)|‖f‖L1[0,yA],0<Re(μ)<1zRe(μ)−1|Γ(μ)|‖f‖L1[0,yA],Re(μ)>1.. |
Integrating both sides of this inequality over z∈[0,A], we get
‖D−μ,pz[f;y]‖L1[0,A]≤{(1−y)Re(μ)−1ARe(μ)|Γ(μ)|Re(μ)‖f‖L1[0,yA],0<Re(μ)<1ARe(μ)|Γ(μ)|Re(μ)‖f‖L1[0,yA],Re(μ)>1. |
Thus the proof is completed.
Theorem 2.2. Let A>0,0<y<1 and Re(μ)>1. Then D−μ,pz{⋅;y}:L1[0,A]→L1[0,A].
Proof. Fix 0<y<1 choose any f∈L1[0,A]. For z∈[0,A], since Re(p)>0 we have
|D−μ,pz{f(z);y}|≤1|Γ(μ)|∫zzy|f(t)(z−t)μ−1exp(−pz2t(z−t))|dt≤[sup[zy,z](z−t)Re(μ)−1exp(−Re(p)z2t(z−t))]1|Γ(μ)|∫zzy|f(t)|dt≤(z−zy)Re(μ)−1|Γ(μ)|‖f‖L1[0,A]. |
Integrating both sides of this inequality over z∈[0,A], we get
‖D−μ,pz{f;y}‖L1[0,A]≤(1−y)Re(μ)−1ARe(μ)|Γ(μ)|Re(μ)‖f‖L1[0,A]. |
Whence the result.
Therefore, using the above two Theorems, we can give the following definitions.
Definition 2.3. Let A>0,0<y<1 and Re(μ)>0. Then for all f∈L1[0,yA] the μ th order extended incomplete lower fractional integral is defined by
0Iμ,pz[f(z);y]:=zμΓ(μ)∫y0f(uz)(1−u)−μ−1exp(−pu(1−u))du. |
Definition 2.4. Let A>0,0<y<1 and Re(μ)>1. Then for all f∈L1[0,A] the μ th order extended incomplete upper fractional integral is defined by
0Iμ,pz{f(z);y}:=zμΓ(μ)∫1yf(uz)(1−u)−μ−1exp(−pu(1−u))du. |
There is a gap in the definition of the extended incomplete upper fractional integral for the case 0<Re(μ)≤1. In order to fill this gap, in the following theorem, we consider the operators in the space L∞.
Theorem 2.5. Let A>0,0<y<1 and Re(μ)>0. Then we have
D−μ,pz[⋅;y]:L∞[0,yA]→L∞[0,A] |
and
D−μ,pz{⋅;y}:L∞[0,A]→L∞[0,A]. |
Proof. For any z∈[0,A], since Re(p)>0, we have
D−μ,pz[f(z);y]≤1|Γ(μ)|∫zy0|f(t)||(z−t)μ−1exp(−pz2t(x−t))|dt≤1|Γ(μ)|essup[0,yA]|f|∫zy0(z−t)Reμ−1dt≤AReμ(1−(1−y)Reμ)Reμ|Γ(μ)|‖f‖L∞[0,A]. |
Taking essup over all z∈[0,A] on both sides of the inequality, we complete the proof of the first statement.
Since Re(p)>0, we have for any x∈[0,A] that
|D−μ,pz{f(z);y}|≤1|Γ(μ)|∫zzy|f(t)||(z−t)μ−1exp(−pz2t(x−t))|dt≤1|Γ(μ)|essup[0,yA]|f|∫zzy(z−t)Reμ−1dt≤AReμ(1−y)ReμReμ|Γ(μ)|‖f‖L∞[0,A]. |
Taking essup over all z∈[0,A] on both sides of the inequality, we complete the proof of the second statement.
Using the above Theorem, in the following we give definition of the μ th order extended incomplete upper fractional integrals for the case 0<Re(μ)≤1.
Definition 2.6. Let A>0,0<y<1 and 0<Re(μ)≤1. Then for all f∈L∞[0,A], the μ th order extended incomplete upper fractional integral is defined by
0Iμ,pz{f(z);y}:=zμΓ(μ)∫1yf(uz)(1−u)−μ−1exp(−pu(1−u))du. |
Remark 2.7. It should be remarked that the transformation properties of
D−μ,pz(f(z))=1Γ(μ)∫z0f(t)(z−t)μ−1exp(−pz2t(z−t))dt, |
has not been investigated and it can be easily proved by majorizing the exponential term that D−μ,pz(⋅):L1[0,A]→L1[0,A] and D−μ,pz(⋅):L∞[0,A]→L∞[0,A] for Re(μ)>0. Therefore it is clear that the extended incomplete fractional calculus operators can be used in the analysis of a wider class of functions than the extended fractional calculus operator D−μ,pz.
The extended incomplete R-L fractional integral operators D−μ,pz[f(z);y]and D−μ,pz{f(z);y} are defined in the case Re(μ)>0. In order to extend the domain of μ to Re(μ)≤0, and by this way defining the corresponding derivative operators, we consider the concept of analytic continuation in μ. The following theorems will be crucial in this respect.
Theorem 2.8. Let A>0,0<y<1,Re(μ)>2. For all f,z−1f∈L1[0,yA], we have
ddz(D−μ,pz[f(z);y])=yf(zy)(z−zy)μ−1exp(−py(1−y))Γ(μ)+D1−μ,pz[f(z);y]+pz(μ−1)(μ−2)D2−μ,pz[f(z);y]−pzμ−1D1−μ,pz[z−1f(z);y]. |
For all f,z−1f∈L1[0,A], we have
ddz(D−μ,pz{f(z);y})=−yf(zy)(z−zy)μ−1exp(−py(1−y))Γ(μ)+D1−μ,pz{f(z);y}+pz(μ−1)(μ−2)D2−μ,pz{f(z);y}−pzμ−1D1−μ,pz{z−1f(z);y}. |
Proof. Firstly, using the usual technique of differentiation under the integral sign, we have
ddz(D−μ,pz[f(z);y])=ddz1Γ(μ)∫zy0f(t)(z−t)μ−1exp(−pz2t(z−t))dt=1Γ(μ)[y(z−yz)μ−1exp(−py(1−y))f(yz)+(μ−1)∫zy0f(t)(z−t)μ−2exp(−pz2t(z−t))dt+pz∫zy0f(t)(z−t)μ−3exp(−pz2t(z−t))dt−pz∫zy0t−1f(t)(z−t)μ−2exp(−pz2t(z−t))dt]=y(z−yz)μ−1exp(−py(1−y))f(yz)Γ(μ)+D1−μ,pz[f(z);y]+pz(μ−1)(μ−2)D2−μ,pz[f(z);y]−pzμ−1D1−μ,pz[z−1f(z);y]. |
Secondly, taking derivative from the definition of the upper incomplete integral operator, we get
ddz(D−μ,pz{f(z);y})=1Γ(μ)ddz(∫zzyf(t)(z−t)μ−1exp(−pz2t(z−t))dt)=1Γ(μ)[−yf(zy)(z−zy)μ−1exp(−py(1−y))+(μ−1)∫zzyf(t)(z−t)μ−2exp(−pz2t(z−t))dt+pz∫zzyf(t)(z−t)μ−3exp(−pz2t(z−t))dt−pz∫zzyt−1f(t)(z−t)μ−2exp(−pz2t(z−t))dt]=−yf(zy)(z−zy)μ−1exp(−py(1−y))Γ(μ)+D1−μ,pz{f(z);y}+pz(μ−1)(μ−2)D2−μ,pz{f(z);y}−pzμ−1D1−μ,pz{z−1f(z);y}. |
Using the above theorem, in the following definitions, we extend the domain of analyticity of both Dμ,pz[f(z);y] and Dμ,pz{f(z);y} to the right half-plane and hence we call them as the μth order extended upper and lower R-L derivative operators.
Definition 2.9. The μth order extended upper R-L derivative operator is defined by
pzμ(μ−1)Dμ,pz[f(z);y]=ddz(Dμ−2,pz[f(z);y])−y(z−yz)1−μexp(−py(1−y))Γ(2−μ)f(yz)−Dμ−1,pz[f(z);y]+pz1−μDμ−1,pz[z−1f(z);y] |
for each successive region 0≤Re(μ)<1,1≤Re(μ)<2,⋯(μ≠0), provided that f,z−1f∈L1[0,yA].
Definition 2.10. The μth order extended lower R-L derivative operator is defined by
pzμ(μ−1)Dμ,pz{f(z);y}=ddz(Dμ−2,pz{f(z);y})+y(z−yz)1−μexp(−py(1−y))Γ(2−μ)f(yz)−Dμ−1,pz{f(z);y}+pz1−μDμ−1,pz{z−1f(z);y} |
for each successive region 0≤Re(μ)<1,1≤Re(μ)<2,⋯(μ≠0), provided that f,z−1f∈L1[0,A].
Remark 2.11. It is important to mention that the definition of Dμ,pz[f(z);y] given in (10) does not require the condition Re(μ)<0 since the interval of integration in this definition is [0,y] with 0<y<1. Therefore the formula (10) is valid for all μ∈C.
Example 2.12. Let Re(λ)>−1,Re(μ)<0and Re(p)>0. Then
Dμ,pz[zλ;y]=By(λ+1,−μ;p)Γ(−μ)zλ−μ. |
In the next theorem, we present useful representations of the extended upper and lower R-L derivatives of an analytic function.
Theorem 2.13. If f(z)is an analytic function on the disk |z|<Rand has a power series expansion f(z)=∑∞n=0cnzn, then for Re(λ)>0 and Re(p)>0 we have
Dμ,pz[zλ−1f(z);y]=zλ−μ−1Γ(−μ)∞∑n=0anBy(λ+n,−μ;p)zn, | (2.3) |
and
Dμ,pz{zλ−1f(z);y}=zλ−μ−1Γ(−μ)∞∑n=0anB1−y(−μ,λ+n;p)zn. |
Proof. Since the function is analytic in the given disc, its series expansion is uniformly convergent. Using the relation in the above Example,
Dμ,pz[zλ;y]=By(λ+1,−μ;p)Γ(−μ)zλ−μ,(Re(λ)>−1,Re(p)>0), |
we get
Dμ,pz[zλ−1f(z);y]=∞∑n=0anDμ,pz[zλ+n−1;y]=∞∑n=0an(z−μΓ(−μ)∫y0(uz)λ+n−1(1−u)−μ−1exp(−pu(1−u))du)=zλ−μ−1Γ(−μ)∞∑n=0anBy(λ+n,−μ;p)zn. |
Similarly,
Dμ,pz{zλ−1f(z);y}=∞∑n=0anDμ,pz{zλ+n−1;y}=∞∑n=0an(z−μΓ(−μ)∫1y(uz)λ+n−1(1−u)−μ−1exp(−pu(1−u))du)=zλ−μ−1Γ(−μ)∞∑n=0anB1−y(−μ,λ+n;p)zn, |
using uniform convergence of the series and absolute convergence of the integral under the given conditions.
Now we consider the Mellin transform of the extended incomplete beta function. For Re(s)>0, we have
M(By(x,z;p):p→s)=∫∞0ps−1(∫y0tx−1(1−t)y−1exp(−pt(1−t))dt)dp=Γ(s)By(x+s,z+s). |
Therefore, from the inverse Mellin transform, we have
By(x,z;p)=12πi∫c+i∞c−i∞Γ(s)By(x+s,z+s)p−sds. |
Using this result, we have
Dμ,pz[zλ−1f(z);y]=zλ−μ−1Γ(−μ)∞∑n=0anBy(λ+n,−μ;p)zn=zλ−μ−1Γ(−μ)∞∑n=0an12πi∫c+i∞c−i∞Γ(s)By(λ+n+s,−μ+s)p−sdszn=zλ−μ−12πiΓ(−μ)∫c+i∞c−i∞Γ(s)p−s(∞∑n=0anBy(λ+n+s,−μ+s)zn)ds, |
where we have interchanged the contour integral and the series by considering that the function is analytic in the given disc and Re(s)>0, Re(p)>0, Re(λ)>0.
Now we consider the case p→0, which gives
Dμ,pz[f(z);y]:=z−μΓ(−μ)∫y0f(uz)(1−u)−μ−1du, |
the incomplete lower R-L fractional integral operator. Recalling the incomplete beta ratio
Iy(p,q)=By(p,q)B(p,q)=1B(p,q)∫y0τp−1(1−τ)q−1dτ, |
the following complex contour representation of this function was given in [32] for p<1,p+q>0,0<d<1;
Iy(p,q)=yp(1−y)q2πi∫d+i∞d−i∞τ−p(1−τ)−qdττ−x. |
The condition p<1, which is important for the evaluation of the contour integral, can be cancelled by using the analytic continuation principle. Using the above integral representation, we have for λ−μ>0 that
Dμz[zλ−1f(z);y]=zλ−μ−1Γ(−μ)∞∑n=0anBy(λ+n,−μ)zn=zλ−μ−1Γ(−μ)∞∑n=0anBy(λ+n,−μ)B(λ+n,−μ)B(λ+n,−μ)zn=zλ−μ−1Γ(−μ)∞∑n=0anIy(λ+n,−μ)B(λ+n,−μ)zn=zλ−μ−1Γ(−μ)∞∑n=0anyλ+n(1−y)−μ2πi∫d+i∞d−i∞τ−λ−n(1−τ)μdττ−xB(λ+n,−μ)zn=zλ−μ−1yλ(1−y)−μ2πiΓ(−μ)∫d+i∞d−i∞τ−λ(1−τ)μτ−x∞∑n=0anB(λ+n,−μ)(zyτ)ndτ=zλ−μ−1yλ(1−y)−μ2πiB(λ,−μ)∫d+i∞d−i∞τ−λ(1−τ)μτ−x∞∑n=0an(λ)n(λ−μ)n(zyτ)ndτ. |
For instance, let's choose f(z)=pFq(a1,⋯,ap;b1,⋯,bq;z) with p≤q, which is an entire function on the whole domain. From the above result, we can immediately write an elegant contour integral representation:
μz[zλ−1pFq(a1,⋯,ap;b1,⋯,bq;z);y]=zλ−μ−1yλ(1−y)−μ2πiΓ(−μ)∫d+i∞d−i∞τ−λ(1−τ)μτ−x×pFq(λ,a1,⋯,ap;b1,⋯,bq,λ−μ;zyτ)dτ. |
The heading levels should not be more than 4 levels. The font of heading and subheadings should be 12 point normal Times New Roman. The first letter of headings and subheadings should be capitalized.
The main aim of this section is to initiate the study of the extended incomplete τ-hypergeometric type function and the extended incomplete τ-Appell functions, where, as mentioned in the introduction, the investigation of the usual cases was a concern of the recent years. The second aim of the section is to make the preparation for the next section, where we obtain their generating relations. We should note here that the results obtained in Sections 3 and 4 are reduced to the incomplete versions in the case p→0, where the reduced results will be new for τ−incomplete special functions discussed in these sections.
We shall introduce the extended incomplete τ-Gauss and confluent hypergeometric functions in terms of the extended incomplete beta function By(x,z;p), as follows :
2R(τ,p)1[z;y]=2R(τ,p)1(a,[b,c;y];z)=∞∑n=0(a)nBy(b+τn,c−b;p)B(c−b,b)znn!,(Re(p)>0,τ>0,|z|<1,Re(c)>Re(b)>0) | (3.1) |
and
1ϕ(τ,p)1[z;y]=1ϕ(τ,p)1([b,c;y];z)=∞∑n=0By(b+τn,c−b;p)B(c−b,b)znn!,(Re(p)>0,τ>0,|z|<1,Re(c)>Re(b)>0). | (3.2) |
Remark 3.1. The special case of the definitions (3.1) and (3.2) when τ=1and p=0are easily seen to reduce to the incomplete Gauss and confluent hypergeometric functions [15]:
2F1(a,[b,c;y];z)=∞∑n=0(a)n[b,c;y]nznn! |
and
1F1([b,c;y];z)=∞∑n=0[b,c;y]nznn!. |
Also, it should be mentioned that in the special case of (3.1) and (3.2) when p→0, we arrive at the new definitions which can be called as the incomplete τ-Gauss and confluent hypergeometric functions as follows:
2Rτ1[z;y]=2Rτ1(a,[b,c;y];z)=∞∑n=0(a)nBy(b+τn,c−b)B(c−b,b)znn!,(0≤y<1,τ>0,|z|<1,Re(c)>Re(b)>0) | (3.3) |
and
1ϕτ1[z;y]=1ϕτ1([b,c;y];z)=∞∑n=0By(b+τn,c−b)B(c−b,b)znn!.(0≤y<1,τ>0,|z|<1,Re(c)>Re(b)>0) | (3.4) |
In the following propositions, we obtain integral representations and derivative formulas for incomplete τ-Gauss and confluent hypergeometric functions.
Proposition 3.2. The extended incomplete τ-Gauss hypergeometric function can be represented by an integral as follows:
2R(τ,p)1(a,[b,c;y];z)=ybB(c−b,b)∫10ub−1(1−uy)c−b−1(1−(uy)τz)−aexp(−puy(1−uy))du,p>0;p=0 and |arg(1−z)|<π,Re(c)>Re(b)>0. | (3.5) |
Proof. Replacing the extended incomplete beta function in the definition (3.5) by its integral representation given by (1.8), we have
2R(τ,p)1(a,[b,c;y];z)=1B(c−b,b)∞∑n=0(a)nznn!∫y0tb+τn−1(1−t)c−b−1exp(−pt(1−t))dt. |
From the uniform convergence, summation and integration can be interchanged. Then, we have
2R(τ,p)1(a,[b,c;y];z)=1B(c−b,b)∫y0tb+τn−1(1−t)c−b−1(1−ztτ)−aexp(−pt(1−t))dt=ybB(c−b,b)∫10ub−1(1−uy)c−b−1(1−(uy)τz)−aexp(−puy(1−uy))du. |
Corollary 3.3. If p is set to 0 in the above proposition, we reach the result corresponding to the incomplete τ-Gauss hypergeometric function which is given as follows:
2Rτ1(a,[b,c;y];z)=ybB(c−b,b)∫10ub−1(1−uy)c−b−1(1−(uy)τz)−adu,Re(c)>Re(b)>0,|z|<1. |
Proposition 3.4. For the extended incomplete τ-confluent hypergeometric function, we have the following integral representation:
1ϕ(τ,p)1([b,c;y];z)=ybB(c−b,b)∫10ub−1(1−uy)c−b−1exp(−puy(1−uy)+(uy)τz)du. |
Corollary 3.5. If we set p=0 in the above theorem, we can give the corresponding result for the incomplete τ-confluent hypergeometric function as follows:
1ϕτ1([b,c;y];z)=ybB(c−b,b)∫10ub−1(1−uy)c−b−1e(uy)τzdu. |
Proposition 3.6. The equation shown below holds true for the incomplete τ-Gauss hypergeometric function:
dndzn[2Rτ1(a,[b,c;y];z)]=(a)n(b)τn(c)τn2Rτ1(a+n,[b+τn,c+τn;y];z). | (3.6) |
Proof. Using (3.3), differentiating on both sides with respect to z, we get
ddz[2Rτ1(a,[b,c;y];z)]=aB(c−b,b)∫y0tb+τ−1(1−t)c−b−1(1−ztτ)−a−1dt=aB(c−b,b)∫y0t(b+τ)−1(1−t)(c+τ)−(b+τ)−1(1−ztτ)−(a+1)dt=a(b)τ(c)τ1B(c−b,,b+τ)∫y0t(b+τ)−1(1−t)(c+τ)−(b+τ)−1(1−ztτ)−(a+1)dt. |
which is (3.6) for n=1. Recursive application of this procedure yields the general result.
In a similar manner, we have the following.
Proposition 3.7. The equation shown below holds true for the incomplete τ-Gauss hypergeometric function:
dndzn[1ϕτ1([b,c;y];z)]=(b)τn(c)τn1ϕτ1([b+τn,c+τn;y];z). |
In the following theorem, we give expressions for the Mellin transforms of the extended incomplete τ-Gauss hypergeometric function an expression which involves incomplete τ-Gauss hypergeometric function.
Theorem 3.8. The extended incomplete τ-hypergeometric function has a Mellin transform which can be written as follows :
M{2R(τ,p)1(a,[b,c;y];z):p→s}=Γ(s)B(c−b+s,b+s)B(c−b,b)2Rτ1(a,[b+s,c+2s;y];z). | (3.7) |
Proof. To get the Mellin transform, multiplying (3.5) by ps−1and integrate over the interval [0,∞) with respect to p to get
M{2R(τ,p)1(a,[b,c;y];z):p→s}=∫∞0ps−12R(τ,p)1(a,[b,c;y];z)dp=ybB(c−b,b)∫10ub−1(1−uy)c−b−1(1−z(uy)τ)−a×[∫∞0ps−1exp(−puy(1−uy))dp]du. | (3.8) |
Setting p=tuy(1−uy) in (3.8),
∫∞0ps−1exp(−puy(1−uy))dp=∫∞0ts−1(uy)s(1−uy)sexp(−t)dt=(uy)s(1−uy)s∫∞0ts−1exp(−t)dt=(uy)s(1−uy)sΓ(s). |
Thus we get
M{2R(τ,p)1(a,[b,c;y];z):p→s}==yb+sΓ(s)B(c−b,b)∫10ub+s−1(1−uy)c−b+s−1(1−z(uy)τ)−adu=Γ(s)B(c−b+s,b+s)B(c−b,b)2Rτ1(a,[b+s,c+2s;y];z). |
Remark 3.9. Setting s=1 in (3.7), we get
∫∞02R(τ,p)1(a,[b,c;y];z)dp=b(c−b)c(c+1)2Rτ1(a,[b+1,c+2;y];z). |
By means of the extended incomplete beta function By(x,z;p) stated by (1.8), we introduce the extended incomplete τ−Appell's functions as follows:
Fτ,p1[λ,α,β;μ;x,z;y]=∞∑m,n=0By(λ+τm+τn,μ−λ;p)B(μ−λ,λ)(α)m(β)nxmm!znn!, | (3.9) |
Fτ,p1{λ,α,β;μ;x,z;y}=∞∑m,n=0B1−y(μ−λ,λ+τm+τn;p)B(μ−λ,λ)(α)m(β)nxmm!znn!, | (3.10) |
where max{|x|,|z|}<1, and
Fτ,p2[α,β,λ;γ,μ;x,z;y]=∞∑m,n=0(α)n+mBy(β+τm,γ−β;p)B(γ−β,β)By(λ+τn,μ−λ;p)B(μ−λ,λ)xmm!znn!, | (3.11) |
Fτ,p2{α,β,λ;γ,μ;x,z;y}=∞∑m,n=0(α)n+mB1−y(γ−β,β+τm;p)B(γ−β,β)B1−y(μ−λ,λ+τn;p)B(μ−λ,λ)xmm!znn!. | (3.12) |
where |x|+|z|<1.
Remark 3.10. The special case of the definitions (3.9–3.12) when τ=1and p→0are easily seen to reduce to the incomplete Appell's functions [15]:
F1[λ,α,β;μ;x,z;y]:=∞∑m,n=0[λ,μ;y]m+n(α)m(β)nxmm!znn!, max{|x|,|z|}<1 |
and
F1{λ,α,β;μ;x,z;y}:=∞∑m,n=0{λ,μ;y}m+n(α)m(β)nxmm!znn!, max{|x|,|z|}<1 |
and
F2[α,β,λ;γ,μ;x,z;y]:=∞∑m,n=0(α)m+n[β,γ;y]m[λ,μ;y]nxmm!znn!, |x|+|z|<1 |
and
F2{α,β,λ;γ,μ;x,z;y}:=∞∑m,n=0(α)m+n{β,γ;y}m{λ,μ;y}nxmm!znn!, |x|+|z|<1. |
Also, in the case of p→0, we can give the incomplete versions of the τ−Appell's functions as follows:
Fτ1[λ,α,β;μ;x,z;y]=∞∑m,n=0By(λ+τm+τn,μ−λ)B(μ−λ,λ)(α)m(β)nxmm!znn!, | (3.13) |
Fτ1{λ,α,β;μ;x,z;y}=∞∑m,n=0B1−y(μ−λ,λ+τm+τn)B(μ−λ,λ)(α)m(β)nxmm!znn!, | (3.14) |
Fτ2[α,β,λ;γ,μ;x,z;y]=∞∑m,n=0(α)n+mBy(β+τm,γ−β)B(γ−β,β)By(λ+τn,μ−λ)B(μ−λ,λ)xmm!znn!, | (3.15) |
and
Fτ2{α,β,λ;γ,μ;x,z;y}=∞∑m,n=0(α)n+mB1−y(γ−β,β+τm)B(γ−β,β)B1−y(μ−λ,λ+τn)B(λ,μ−λ)xmm!znn!. | (3.16) |
and we call these functions as the incomplete τ-Appell's functions.
We can rewrite the series for incomplete τ-Appell's functions in terms of the incomplete τ-Gauss hypergeometric functions, so that
Fτ2[α,β,λ;γ,μ;x,z;y]=∞∑n=0(α)nBy(λ+τn,μ−λ)B(μ−λ,λ)2Rτ1(α+n,[β,γ;y];x)znn!. |
In the following proposition, integral representations of the extended incomplete τ-Appell's functions are given.
Proposition 3.11. The extended incomplete τ-Appell's functions can be represented by an integral as follows:
Fτ,p1[λ,α,β;μ;x,z;y]=yλB(μ−λ,λ)∫10uλ−1(1−uy)μ−λ−1(1−x(uy)τ)−α(1−z(uy)τ)−β×exp(−puy(1−uy))du, p>0;p=0 and |arg(1−x)|<π,|arg(1−z)|<π,Re(μ)>Re(λ)>0,Re(α)>0,Re(β)>0, | (3.17) |
and
Fτ,p2[α,β,λ;γ,μ;x,z;y]=yλ+βB(γ−β,β)B(μ−λ,λ)∫10∫10uβ−1(1−uy)γ−β−1vλ−1(1−vy)μ−λ−1×(1−(uy)τx−(vy)τz)−αexp(−puy(1−uy))exp(−pvy(1−vy))dudv,p>0;p=0 and|arg(1−x−z)|<π,Re(μ)>Re(λ)>0,Re(γ)>Re(β)>0,Re(α)>0. | (3.18) |
Proof. Replacing the extended incomplete beta function in the definition (3.9) by its integral representation given by (1.8), then we have
τ,p1[λ,α,β;μ;x,z;y]=1B(μ−λ,λ)∞∑m,n=0(α)m(β)nxmm!znn!∫y0tλ+τm+τn−1(1−t)μ−λ−1exp(−pt(1−t))dt. |
From the uniform convergence condition, summation and integration can be swapped. Then, we get
Fτ,p1[λ,α,β;μ;x,z;y]==1B(μ−λ,λ)∫y0tλ−1(1−t)μ−λ−1(1−xtτ)−α(1−ztτ)−βexp(−pt(1−t))dt=yλB(μ−λ,λ)∫10uλ−1(1−uy)μ−λ−1(1−x(uy)τ)−α(1−z(uy)τ)−βexp(−puy(1−uy))du. |
Whence the result. In a similar manner, formula (3.18) can be proved.
If p is set to 0 in the above proposition, we have the following corollary:
Corollary 3.12. The incomplete τ-Appell's functions can be represented by an integral as follows:
τ1[λ,α,β;μ;x,z;y]=yλB(μ−λ,λ)∫10uλ−1(1−uy)μ−λ−1(1−x(uy)τ)−α(1−z(uy)τ)−βdu,Re(μ)>Re(λ)>0,Re(α)>0,Re(β)>0,x∉[1,∞),z∉[1,∞), | (3.19) |
and
τ2[α,β,λ;γ,μ;x,z;y]=yλ+βB(γ−β,β)B(μ−λ,λ)∫10∫10uβ−1(1−uy)γ−β−1vλ−1(1−vy)μ−λ−1×(1−(uy)τx−(vy)τz)−αdudv,Re(μ)>Re(λ)>0,Re(γ)>Re(β)>0,Re(α)>0,|arg(1−x−z)|<π. | (3.20) |
Now we evaluate the following fractional derivative formulas, which we shall need them in the derivation of the generating functions in Section 4.
Proposition 3.13. Let Re(μ)>Re(λ)>0,Re(p)>0,Re(α)>0,τ∈Nand |z|<1.Then
Dλ−μ,pz[zλ−1(1−zτ)−α;y]=Γ(λ)Γ(μ)zμ−12R(τ,p)1(α,[λ,μ;y];zτ) |
and
Dλ−μ,pz{zλ−1(1−zτ)−α;y}=Γ(λ)Γ(μ)zμ−12R(τ,p)1(α,{λ,μ;y};zτ). | (3.21) |
Proof. We have
Dλ−μ,pz[zλ−1(1−zτ)−α;y]==zμ−λΓ(μ−λ)∫y0(uz)λ−1(1−(uz)τ)−α(1−u)μ−λ−1exp(−pu(1−u))du=zμ−1yλΓ(μ−λ)∫10tλ−1(1−ty)μ−λ−1(1−(ty)τzτ)−αexp(−pty(1−ty))dt. |
By (3.5), we can write
Dλ−μ,pz[zλ−1(1−zτ)−α;y]=zμ−1Γ(μ−λ)B(λ,μ−λ)2R(τ,p)1(α,[λ,μ;y];zτ)=Γ(λ)Γ(μ)zμ−12R(τ,p)1(α,[λ,μ;y];zτ). |
Whence the result. In a similar manner, formula (3.21) can be proved.
Proposition 3.14. Let Re(μ)>Re(λ)>0,Re(β)>0,Re(α)>0,Re(p)>0,τ∈N;|z|<min(1a,1b).Then
Dλ−μ,pz[zλ−1(1−azτ)−α(1−bzτ)−β;y]=Γ(λ)Γ(μ)zμ−1F(τ,p)1[λ,α,β;μ;azτ,bzτ;y] |
and
Dλ−μ,pz{zλ−1(1−azτ)−α(1−bzτ)−β;y}=Γ(λ)Γ(μ)zμ−1F(τ,p)1{λ,α,β;μ;azτ,bzτ;y}. | (3.22) |
Proof. Direct calculations yield
Dλ−μ,pz[zλ−1(1−azτ)−α(1−bzτ)−β;y]=zμ−λΓ(μ−λ)∫y0(uz)λ−1(1−a(uz)τ)−α(1−b(uz)τ)−β(1−u)μ−λ−1exp(−pu(1−u))du=zμ−1yλΓ(μ−λ)∫10tλ−1(1−a(ty)τzτ)−α(1−b(ty)τzτ)−β(1−ty)μ−λ−1×exp(−pty(1−ty))dt. |
By (3.17), we can write
Dλ−μ,pz[zλ−1(1−azτ)−α(1−bzτ)−β;y]=zμ−1Γ(μ−λ)B(λ,μ−λ)F(τ,p)1[λ,α,β;μ;azτ,bzτ;y]=Γ(λ)Γ(μ)zμ−1F(τ,p)1[λ,α,β;μ;azτ,bzτ;y]. |
Hence the proof is completed. In a similar manner, formula (3.22) can be proved.
Proposition 3.15. For Re(μ)>Re(λ)>0,Re(β)>0,Re(α)>0,Re(p)>0,Re(γ)>0,τ∈N;|t1−z|<1and |t|+|z|<1,we have
Dλ−μ,pz[zλ−1(1−zτ)−α2R(τ,p)1(α,[β,γ;y];t1−zτ)]=Γ(λ)Γ(μ)zμ−1F(τ,p)2[α,β,λ;γ,μ;t,zτ;y]. |
Proof. Using Example 12 and (3.15), we have
Dλ−μ,pz[zλ−1(1−zτ)−α2R(τ,p)1(α,[β,γ;y];t1−zτ)]=Dλ−μ,pz[zλ−1(1−zτ)−α1B(γ−β,β)∞∑n=0(α)nn!By(β+τn,γ−β;p)(t1−zτ)n;y]=1B(γ−β,β)Dλ−μ,pz[zλ−1∞∑n=0(α)nBy(β+τn,γ−β;p)tnn!(1−zτ)−α−n;y]=1B(γ−β,β)∞∑m,n=0By(β+τn,γ−β;p)tnn!(α)n(α+n)mm!Dλ−μ,pz[zλ+τm−1;y]=1B(γ−β,β)∞∑m,n=0By(β+τn,γ−β;p)tnn!(α)n+mm!By(λ+τm,μ−λ;p)Γ(μ−λ)zμ+τm−1=Γ(λ)Γ(μ)zμ−1F(τ,p)2[α,β,λ;γ,μ;t,zτ;y]. |
In the case p→0, we list the consequences of the above propositions for the incomplete τ-hypergeometric functions below:
Corollary 3.16. Let Re(α)>0,Re(μ)>Re(λ)>0,τ∈Nand |z|<1.Then
Dλ−μz[zλ−1(1−zτ)−α;y]=Γ(λ)Γ(μ)zμ−12Rτ1(α,[λ,μ;y];zτ). |
Corollary 3.17. Let Re(μ)>Re(λ)>0,Re(β)>0,Re(α)>0,τ∈N;|z|<min(1a,1b). Then
Dλ−μz[zλ−1(1−azτ)−α(1−bzτ)−β;y]=Γ(λ)Γ(μ)zμ−1Fτ1[λ,α,β;μ;azτ,bzτ;y]. |
Corollary 3.18. For Re(μ)>Re(λ)>0,Re(β)>0,Re(γ)>0,Re(α)>0,τ∈N;|t1−z|<1and |t|+|z|<1,we have
Dλ−μz[zλ−1(1−zτ)−α2Rτ1(α,[β,γ;y];t1−zτ)]=Γ(λ)Γ(μ)zμ−1Fτ2[α,β,λ;γ,μ;t,zτ;y]. |
Here we shall obtain linear and bilinear type generating relations for the extended incomplete τ-hypergeometric functions.
Theorem 4.1. The extended incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2R(τ,p)1(λ+n,[α,β;y];zτ)tn=(1−t)−λ2R(τ,p)1(λ,[α,β;y];zτ1−t) | (4.1) |
where τ∈N,|z|<min{1,|1−t|}.
Proof. By expanding as a binomial series, we have for |t|<|1−zτ| that
(1−zτ)−λ∞∑n=0(λ)nn!(t1−zτ)n=[(1−zτ)−t]−λ=(1−t)−λ[1−zτ1−t]−λ. |
Multiplying by zα−1 on both sides and applying the extended incomplete fractional derivative operator Dα−β,pz[f(z);y] on both sides, we have
Dα−β,pz[∞∑n=0(λ)nn!(1−zτ)−λ(t1−zτ)nzα−1;y]=(1−t)−λDα−β,pz[zα−1[1−zτ1−t]−λ;y]. |
Swapping the summation and integration, we get
∞∑n=0(λ)nn!Dα−β,pz[zα−1(1−zτ)−λ−n;y]tn=(1−t)−λDα−β,pz[zα−1[1−zτ1−t]−λ;y]. |
Using Proposition 6, the result follows.
Theorem 4.2. The extended incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2R(τ,p)1(ρ−n,[α,β;y];zτ)tn=(1−t)−λF(τ,p)1[α,ρ,λ;β;zτ,−zτt1−t;y] |
where τ∈N,|t|<11+|z|.
Proof. By expanding as a binomial series, we have for |t|<|1−zτ| that
∞∑n=0(λ)nn!(1−zτ)ntn=[1−(1−zτ)t]−λ=(1−t)−λ[1+zτt1−t]−λ. |
Multiplying by zα−1(1−zτ)−ρ on both sides and applying the extended incomplete fractional derivative operator Dα−β,pz[f(z);y] on both sides, we have
Dα−β,pz[∞∑n=0(λ)nn!zα−1(1−zτ)−ρ+ntn;y]=(1−t)−λDα−β,pz[zα−1(1−zτ)−ρ[1−−zτt1−t]−λ;y]. |
Interchanging the order, we get
∞∑n=0(λ)nn!Dα−β,pz[zα−1(1−zτ)−(ρ−n);y]tn=(1−t)−λDα−β,pz[zα−1(1−zτ)−ρ[1−−zτt1−t]−λ;y]. |
To get the desired result, we use Propositions 6 and 7.
Theorem 4.3. The extended incomplete τ-hypergeometric function can be represented by a bilinear generating relation as follows:
∞∑n=0(λ)nn!2R(τ,p)1(−n,[γ,δ;y];xτ)2R(τ,p)1(λ+n,[α,β;y];zτ)tn=(1−t)−λF(τ,p)2[λ,α,γ;β,δ;zτ1−t,−xτt1−t;y] |
where τ∈N,|t|<1−|z|1+|x| and |z|<1.
Proof. Starting from (4.2), we replace twith(1−xτ)t, introduce a factor of xγ−1, and apply Dγ−δ,px[f(x);y]. Then we have
Dγ−δ,px[∞∑n=0(λ)nn!xγ−12R(τ,p)1(λ+n,[α,β;y];zτ)(1−xτ)ntn;y]=Dγ−δ,px[(1−(1−xτ)t)−λxγ−12R(τ,p)1(λ,[α,β;y];zτ1−(1−xτ)t);y]. |
Provided that |z|<1,|1−x1−zt|<1 and |z1−t|+|xt1−t|<1, we can interchange the order to obtain:
∞∑n=0(λ)nn!Dγ−δ,px[xγ−1(1−xτ)n;y]2R(τ,p)1(λ+n,[α,β;y];zτ)=(1−t)−λDγ−δ,px[xγ−1(1−−xτt1−t)−λ2R(τ,p)1(λ,[α,β;y];zτ1−t1−−xτt1−t);y]. |
To get the result, we use Propositions 6 and 8.
In a similar manner, the linear and bilinear type generating relation can be given for incomplete τ-hypergeometric function.
Corollary 4.4. The incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2Rτ1(λ+n,[α,β;y];zτ)tn=(1−t)−λ2Rτ1(λ,[α,β;y];zτ1−t). |
Corollary 4.5. The incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2Rτ1(ρ−n,[α,β;y];zτ)tn=(1−t)−λFτ1[α,ρ,λ;β;zτ,−zτt1−t;y]. |
Corollary 4.6. The incomplete τ-hypergeometric function can be represented by a bilinear generating relation as follows:
∞∑n=0(λ)nn!2Rτ1(−n,[γ,δ;y];xτ)2Rτ1(λ+n,[α,β;y];zτ)tn=(1−t)−λFτ2[λ,α,γ;β,δ;zτ1−t,−xτt1−t;y]. |
Here we shall obtain linear and bilinear type generating relations for the extended incomplete τ-hypergeometric functions.
Theorem 4.7. The extended incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2R(τ,p)1(λ+n,[α,β;y];zτ)tn=(1−t)−λ2R(τ,p)1(λ,[α,β;y];zτ1−t) | (4.2) |
where τ∈N,|z|<min{1,|1−t|}.
Proof. By expanding as a binomial series, we have for |t|<|1−zτ| that
(1−zτ)−λ∞∑n=0(λ)nn!(t1−zτ)n=[(1−zτ)−t]−λ=(1−t)−λ[1−zτ1−t]−λ. |
Multiplying by zα−1 on both sides and applying the extended incomplete fractional derivative operator Dα−β,pz[f(z);y] on both sides, we have
Dα−β,pz[∞∑n=0(λ)nn!(1−zτ)−λ(t1−zτ)nzα−1;y]=(1−t)−λDα−β,pz[zα−1[1−zτ1−t]−λ;y]. |
Swapping the summation and integration, we get
∞∑n=0(λ)nn!Dα−β,pz[zα−1(1−zτ)−λ−n;y]tn=(1−t)−λDα−β,pz[zα−1[1−zτ1−t]−λ;y]. |
Using Proposition 6, the result follows.
Theorem 4.8. The extended incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2R(τ,p)1(ρ−n,[α,β;y];zτ)tn=(1−t)−λF(τ,p)1[α,ρ,λ;β;zτ,−zτt1−t;y] |
where τ∈N,|t|<11+|z|.
Proof. By expanding as a binomial series, we have for |t|<|1−zτ| that
∞∑n=0(λ)nn!(1−zτ)ntn=[1−(1−zτ)t]−λ=(1−t)−λ[1+zτt1−t]−λ. |
Multiplying by zα−1(1−zτ)−ρ on both sides and applying the extended incomplete fractional derivative operator Dα−β,pz[f(z);y] on both sides, we have
Dα−β,pz[∞∑n=0(λ)nn!zα−1(1−zτ)−ρ+ntn;y]=(1−t)−λDα−β,pz[zα−1(1−zτ)−ρ[1−−zτt1−t]−λ;y]. |
Interchanging the order, we get
∞∑n=0(λ)nn!Dα−β,pz[zα−1(1−zτ)−(ρ−n);y]tn=(1−t)−λDα−β,pz[zα−1(1−zτ)−ρ[1−−zτt1−t]−λ;y]. |
To get the desired result, we use Propositions 6 and 7.
Theorem 4.9. The extended incomplete τ-hypergeometric function can be represented by a bilinear generating relation as follows:
∞∑n=0(λ)nn!2R(τ,p)1(−n,[γ,δ;y];xτ)2R(τ,p)1(λ+n,[α,β;y];zτ)tn=(1−t)−λF(τ,p)2[λ,α,γ;β,δ;zτ1−t,−xτt1−t;y] |
where τ∈N,|t|<1−|z|1+|x| and |z|<1.
Proof. Starting from (4.2), we replace twith(1−xτ)t, introduce a factor of xγ−1, and apply Dγ−δ,px[f(x);y]. Then we have
Dγ−δ,px[∞∑n=0(λ)nn!xγ−12R(τ,p)1(λ+n,[α,β;y];zτ)(1−xτ)ntn;y]=Dγ−δ,px[(1−(1−xτ)t)−λxγ−12R(τ,p)1(λ,[α,β;y];zτ1−(1−xτ)t);y]. |
Provided that |z|<1,|1−x1−zt|<1 and |z1−t|+|xt1−t|<1, we can interchange the order to obtain:
∞∑n=0(λ)nn!Dγ−δ,px[xγ−1(1−xτ)n;y]2R(τ,p)1(λ+n,[α,β;y];zτ)=(1−t)−λDγ−δ,px[xγ−1(1−−xτt1−t)−λ2R(τ,p)1(λ,[α,β;y];zτ1−t1−−xτt1−t);y]. |
To get the result, we use Propositions 6 and 8.
In a similar manner, the linear and bilinear type generating relation can be given for incomplete τ-hypergeometric function.
Corollary 4.10. The incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2Rτ1(λ+n,[α,β;y];zτ)tn=(1−t)−λ2Rτ1(λ,[α,β;y];zτ1−t). |
Corollary 4.11. The incomplete τ-hypergeometric function can be represented by a linear generating relation as follows:
∞∑n=0(λ)nn!2Rτ1(ρ−n,[α,β;y];zτ)tn=(1−t)−λFτ1[α,ρ,λ;β;zτ,−zτt1−t;y]. |
Corollary 4.12. The incomplete τ-hypergeometric function can be represented by a bilinear generating relation as follows:
∞∑n=0(λ)nn!2Rτ1(−n,[γ,δ;y];xτ)2Rτ1(λ+n,[α,β;y];zτ)tn=(1−t)−λFτ2[λ,α,γ;β,δ;zτ1−t,−xτt1−t;y]. |
The authors declare there is no conflicts of interest.
[1] |
Arain S, Vryonides P, Abbasi M, et al. (2018) Reconfigurable bandwidth bandpass filter with enhanced out-of-band rejection using π-section loaded ring resonator. IEEE Microw Wirel Co 28: 28-30. https://doi.org/10.1109/LMWC.2017.2776212 doi: 10.1109/LMWC.2017.2776212
![]() |
[2] |
Cheng T, Tam K (2017) A wideband bandpass filter with reconfigurable bandwidth based on cross-shaped resonator. IEEE Microw Wirel Co 27: 909-91. https://doi.org/10.1109/LMWC.2017.2746679 doi: 10.1109/LMWC.2017.2746679
![]() |
[3] |
Zhang X, Wong S, Guo S, et al. (2020) Design of notched-wideband bandpass filters with reconfigurable bandwidth based on terminated cross-shaped resonators. IEEE Access 8: 37416-37427. https://doi.org/10.1109/ACCESS.2020.2975379 doi: 10.1109/ACCESS.2020.2975379
![]() |
[4] |
Sanchez-Soriano MA, Gomez-Garcia R, Torregrosa-Penalva G, et al. (2013) Reconfigurable-bandwidth bandpass filter within 10-50%. IET Microw Antenna P 7: 502-509. https://doi.org/10.1049/iet-map.2012.0274 doi: 10.1049/iet-map.2012.0274
![]() |
[5] |
Borja AL, Carbonell J, Martinez JL, et al. (2011) A controllable bandwidth filter using varactor-loaded metamaterial-inspired transmission lines. IEEE Antenn Wirel Pr 10: 1575-1578. https://doi.org/10.1109/LAWP.2012.2183111 doi: 10.1109/LAWP.2012.2183111
![]() |
[6] |
Chen N, Jeng SK (2012) Reconfigurable bandpass filter with separately relocatable passband edge. IEEE Microw Wirel Co 22: 559-561. https://doi.org/10.1109/LMWC.2012.2225606 doi: 10.1109/LMWC.2012.2225606
![]() |
[7] |
Wang XM, Bi XK, Guo SH, et al. (2020) Synthesis design of equal-ripple and quasi-elliptic wideband BPFs with independently reconfigurable lower passband edge. IEEE Access 8: 76856-76866. https://doi.org/10.1109/ACCESS.2020.2989449 doi: 10.1109/ACCESS.2020.2989449
![]() |
[8] |
Gomez-Garcia R, Guyette AC, Psychogiou D, et al. (2019) Quasi-elliptic multi-band filters with center-frequency and bandwidth tenability. IEEE Microw Wirel Co 26: 192-194. https://doi.org/10.1109/LMWC.2016.2526026 doi: 10.1109/LMWC.2016.2526026
![]() |
[9] |
Huang BC, Chen NW, Jeng SK (2014) A reconfigurable bandpass filter based on a varactor-perturbed, T-shaped dual-mode resonator. IEEE Microw Wirel Co 24: 297-299. https://doi.org/10.1109/LMWC.2014.2306893 doi: 10.1109/LMWC.2014.2306893
![]() |
[10] |
Sanchez-Renedo M, Gomez-Garcia R, Alonso JI, et al. (2005) Tunable combline filter with continuous control of center frequency and bandwidth. IEEE T Microw Theory 53: 191-199. https://doi.org/10.1109/TMTT.2004.839309 doi: 10.1109/TMTT.2004.839309
![]() |
[11] |
Wong PW, Hunter IC (2009) Electronically reconfigurable microwave bandpass filter. IEEE T Microw Theory 57: 3070-3079. https://doi.org/10.1109/TMTT.2009.2033883 doi: 10.1109/TMTT.2009.2033883
![]() |
[12] |
Tsai H, Chen N, Jeng S (2013) Center frequency and bandwidth controllable microstrip bandpass filter design using loop-shaped dual-mode resonator. IEEE T Microw Theory 61: 3590-3600. https://doi.org/10.1109/TMTT.2013.2280129 doi: 10.1109/TMTT.2013.2280129
![]() |
[13] |
Guo H, Hong J (2018) Varactor-tuned dual-mode bandpass filter with nonuniform Q distribution. IEEE Microw Wirel Co 28: 1002-1004. https://doi.org/10.1109/LMWC.2018.2870934 doi: 10.1109/LMWC.2018.2870934
![]() |
[14] |
Schuster C, Wiens A, Schmidt F, et al. (2017) Performance analysis of reconfigurable bandpass filters with continuously tunable center frequency and bandwidth. IEEE T Microw Theory 65: 4572-4583. https://doi.org/10.1109/TMTT.2017.2742479 doi: 10.1109/TMTT.2017.2742479
![]() |
[15] |
Kingsly S, Kanagasabai M, Alsath MG, et al. (2018) Compact frequency and bandwidth tunable bandpass-band stop microstrip filter. IEEE Microw Wirel Co 28: 786-788. https://doi.org/10.1109/LMWC.2018.2858005 doi: 10.1109/LMWC.2018.2858005
![]() |
[16] |
Ghaderi A, Golestanifar A, Shama F (2017) Design of a compact microstrip tunable dual-band bandpass filter. AEU-Int J Electron C 82: 391-396. https://doi.org/10.1016/j.aeue.2017.10.002 doi: 10.1016/j.aeue.2017.10.002
![]() |
[17] |
Qin W, Cai J, Li YL, et al. (2017) Wideband tunable bandpass filter using optimized varactor-loaded SIRs. IEEE Microw Wirel Co 27: 812-814. https://doi.org/10.1109/LMWC.2017.2734848 doi: 10.1109/LMWC.2017.2734848
![]() |
[18] | Karim MF, Guo YX, Chen ZN, et al. (2009) Miniaturized reconfigurable and switchable filter from UWB to 2.4 GHz WLAN using PIN diodes. In IEEE Microwave Symposium Digest. MTT-S International, 509-512. https://doi.org/10.1109/MWSYM.2009.5165745 |
[19] | Elelimy AM, El-Tager AM, Sobih AG (2013) A compact size switched reconfigurable tri-band BPF for modern wireless applications. In 56th International Midwest Symposium on Circuits and Systems (MWSCAS), 772-775. https://doi.org/10.1109/MWSCAS.2013.6674763 |
[20] |
Boutejdar A (2016) Design of 5 GHz-compact reconfigurable DGS-bandpass filter using varactor-diode device and coupling matrix technique. Microw Opt Techn Let 58: 304-309. https://doi.org/10.1002/mop.29561 doi: 10.1002/mop.29561
![]() |
[21] | Zhang ZC, Liu H (2018) A ultra-compact wideband bandpass filter using a quad mode stub-loaded resonator. Prog Electrom Res Le 77: 35-40. |
[22] |
Navya A, Immadi G, Narayana MV (2021) A Low-Profile Wideband BPF for Ku Band Applications, Prog Electrom Res Le 100: 127-135. https://doi.org/10.2528/PIERL21082101 doi: 10.2528/PIERL21082101
![]() |
[23] |
Ambati N, Immadi G, Narayana MV, et al. (2021), Parametric Analysis of the Defected Ground Structure-Based Hairpin Band Pass Filter for VSAT System on Chip Applications. Eng Technol Appl Sci 11: 7892-7896. https://doi.org/10.48084/etasr.4495 doi: 10.48084/etasr.4495
![]() |
1. | Sarfraz Khan, Muhammad Waseem, Shahzad Khalid, Denise-Penelope N. Kontoni, Mahmood Ahmad, Suraparb Keawsawasvong, Roberto Nascimbene, Fuzzy Clustering Analysis of HVSR Data for Seismic Microzonation at Lahore City, 2022, 2022, 1875-9203, 1, 10.1155/2022/3109609 | |
2. | Ahmad Mustafa, Klaas Koster, Ghassan AlRegib, Explainable machine learning for hydrocarbon prospect risking, 2024, 89, 0016-8033, WA13, 10.1190/geo2022-0594.1 |