Auditory verbal hallucinations (AVHs) are among the most common and disabling symptoms of schizophrenia. They involve the superior temporal sulcus (STS), which is associated with language processing; specific STS patterns may reflect vulnerability to auditory hallucinations in schizophrenia. STS sulcal pits are the deepest points of the folds in this region and were investigated here as an anatomical landmark of AVHs. This study included 53 patients diagnosed with schizophrenia and past or present AVHs, as well as 100 healthy control volunteers. All participants underwent a 3-T magnetic resonance imaging T1 brain scan, and sulcal pit differences were compared between the two groups. Compared with controls, patients with AVHs had a significantly different distributions for the number of sulcal pits in the left STS, indicating a less complex morphological pattern. The association of STS sulcal morphology with AVH suggests an early neurodevelopmental process in the pathophysiology of schizophrenia with AVHs.
Citation: Baptiste Lerosier, Gregory Simon, Sylvain Takerkart, Guillaume Auzias, Sonia Dollfus. Sulcal pits of the superior temporal sulcus in schizophrenia patients with auditory verbal hallucinations[J]. AIMS Neuroscience, 2024, 11(1): 25-38. doi: 10.3934/Neuroscience.2024002
[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 |
Auditory verbal hallucinations (AVHs) are among the most common and disabling symptoms of schizophrenia. They involve the superior temporal sulcus (STS), which is associated with language processing; specific STS patterns may reflect vulnerability to auditory hallucinations in schizophrenia. STS sulcal pits are the deepest points of the folds in this region and were investigated here as an anatomical landmark of AVHs. This study included 53 patients diagnosed with schizophrenia and past or present AVHs, as well as 100 healthy control volunteers. All participants underwent a 3-T magnetic resonance imaging T1 brain scan, and sulcal pit differences were compared between the two groups. Compared with controls, patients with AVHs had a significantly different distributions for the number of sulcal pits in the left STS, indicating a less complex morphological pattern. The association of STS sulcal morphology with AVH suggests an early neurodevelopmental process in the pathophysiology of schizophrenia with AVHs.
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] |
Davis J, Eyre H, Jacka FN, et al. (2016) A review of vulnerability and risks for schizophrenia: Beyond the two-hit hypothesis. Neurosci Biobehav Rev 65: 185-194. https://doi.org/10.1016/j.neubiorev.2016.03.017 ![]() |
[2] |
Gupta S, Kulhara P (2010) What is schizophrenia: A neurodevelopmental or neurodegenerative disorder or a combination of both? A critical analysis. Indian J Psychiatry 52: 21-27. https://doi.org/10.4103/0019-5545.58891 ![]() |
[3] | Pino O, Guilera G, Gómez-Benito J, et al. (2014) Neurodevelopment or neurodegeneration: review of theories of schizophrenia. Actas Esp Psiquiatr 42: 185-195. |
[4] |
Larøi F, Sommer IE, Blom JD, et al. (2012) The characteristic features of auditory verbal hallucinations in clinical and nonclinical groups: state-of-the-art overview and future directions. Schizophr Bull 38: 724-733. https://doi.org/10.1093/schbul/sbs061 ![]() |
[5] |
Mueser KT, Bellack AS, Brady EU (1990) Hallucinations in schizophrenia. Acta Psychiatr Scand 82: 26-29. https://doi.org/10.1111/j.1600-0447.1990.tb01350.x ![]() |
[6] | Steinmann S, Leicht G, Mulert C (2019) The interhemispheric miscommunication theory of auditory verbal hallucinations in schizophrenia. Int J Psychophysiol, The Neurophysiology of Schizophrenia: A Critical Update 145: 83-90. https://doi.org/10.1016/j.ijpsycho.2019.02.002 |
[7] |
Gazzaniga MS (2000) Cerebral specialization and interhemispheric communication: does the corpus callosum enable the human condition?. Brain 123: 1293-1326. https://doi.org/10.1093/brain/123.7.1293 ![]() |
[8] |
Linden DEJ, Thornton K, Kuswanto CN, et al. (2011) The brain's voices: comparing nonclinical auditory hallucinations and imagery. Cereb Cortex N. Y. N 1991 21: 330-337. https://doi.org/10.1093/cercor/bhq097 ![]() |
[9] |
Lennox BR, Park SB, Medley I, et al. (2000) The functional anatomy of auditory hallucinations in schizophrenia. Psychiatry Res 100: 13-20. https://doi.org/10.1016/S0925-4927(00)00068-8 ![]() |
[10] |
Shergill SS, Brammer MJ, Amaro E, et al. (2004) Temporal course of auditory hallucinations. Br J Psychiatry 185: 516-517. https://doi.org/10.1192/bjp.185.6.516 ![]() |
[11] |
Blakemore SJ, Smith J, Steel R, et al. (2000) The perception of self-produced sensory stimuli in patients with auditory hallucinations and passivity experiences: evidence for a breakdown in self-monitoring. Psychol Med 30: 1131-1139. https://doi.org/10.1017/S0033291799002676 ![]() |
[12] |
Modinos G, Costafreda SG, van Tol M-J, et al. (2013) Neuroanatomy of auditory verbal hallucinations in schizophrenia: a quantitative meta-analysis of voxel-based morphometry studies. Cortex 49: 1046-1055. https://doi.org/10.1016/j.cortex.2012.01.009 ![]() |
[13] |
Köse G, Jessen K, Ebdrup BH, et al. (2018) Associations between cortical thickness and auditory verbal hallucinations in patients with schizophrenia: A systematic review. Psychiatry Res Neuroimaging 282: 31-39. https://doi.org/10.1016/j.pscychresns.2018.10.005 ![]() |
[14] |
Mørch-Johnsen L, Nesvåg R, Jørgensen KN, et al. (2017) Auditory Cortex Characteristics in Schizophrenia: Associations With Auditory Hallucinations. Schizophr Bull 43: 75-83. https://doi.org/10.1093/schbul/sbw130 ![]() |
[15] |
Swam C, Federspiel A, Hubl D, et al. (2012) Possible dysregulation of cortical plasticity in auditory verbal hallucinations-A cortical thickness study in schizophrenia. J Psychiatr Res 46: 1015-1023. https://doi.org/10.1016/j.jpsychires.2012.03.016 ![]() |
[16] |
Cui Y, Liu B, Song M, et al. (2018) Auditory verbal hallucinations are related to cortical thinning in the left middle temporal gyrus of patients with schizophrenia. Psychol Med 48: 115-122. https://doi.org/10.1017/S0033291717001520 ![]() |
[17] |
Lutterveld R, Heuvel MP, Diederen KMJ, et al. (2014) Cortical thickness in individuals with non-clinical and clinical psychotic symptoms. Brain J Neurol 137: 2664-2669. https://doi.org/10.1093/brain/awu167 ![]() |
[18] |
Palaniyappan L, Balain V, Radua J, et al. (2012) Structural correlates of auditory hallucinations in schizophrenia: a meta-analysis. Schizophr Res 137: 169-173. https://doi.org/10.1016/j.schres.2012.01.038 ![]() |
[19] |
Romeo Z, Spironelli C (2022) Hearing voices in the head: Two meta-analyses on structural correlates of auditory hallucinations in schizophrenia. NeuroImage: Clinical 36: 103241. https://doi.org/10.1016/j.nicl.2022.103241 ![]() |
[20] |
Jardri R, Pouchet A, Pins D, et al. (2011) Cortical Activations During Auditory Verbal Hallucinations in Schizophrenia: A Coordinate-Based Meta-Analysis. AJP 168: 73-81. https://doi.org/10.1176/appi.ajp.2010.09101522 ![]() |
[21] |
Chi JG, Dooling EC, Gilles FH (1977) Gyral development of the human brain. Ann Neurol 1: 86-93. https://doi.org/10.1002/ana.410010109 ![]() |
[22] |
Dubois J, Benders M, Cachia A, et al. (2008) Mapping the early cortical folding process in the preterm newborn brain. Cereb Cortex N. Y. N 1991 18: 1444-1454. https://doi.org/10.1093/cercor/bhm180 ![]() |
[23] |
Mangin J-F, Jouvent E, Cachia A (2010) In-vivo measurement of cortical morphology: means and meanings. Curr Opin Neurol 23: 359-367. https://doi.org/10.1097/WCO.0b013e32833a0afc ![]() |
[24] |
Cachia A, Borst G, Tissier C, et al. (2016) Longitudinal stability of the folding pattern of the anterior cingulate cortex during development. Dev Cogn Neurosci 19: 122-127. https://doi.org/10.1016/j.dcn.2016.02.011 ![]() |
[25] |
Fujiwara H, Hirao K, Namiki C, et al. (2007) Anterior cingulate pathology and social cognition in schizophrenia: a study of gray matter, white matter and sulcal morphometry. NeuroImage 36: 1236-1245. https://doi.org/10.1016/j.neuroimage.2007.03.068 ![]() |
[26] |
Garrison JR, Fernyhough C, McCarthy-Jones S, et al. (2019) Paracingulate Sulcus Morphology and Hallucinations in Clinical and Nonclinical Groups. Schizophr Bull 45: 733-741. https://doi.org/10.1093/schbul/sby157 ![]() |
[27] |
Le Provost J-B, Bartres-Faz D, Paillere-Martinot M-L, et al. (2003) Paracingulate sulcus morphology in men with early-onset schizophrenia. Br J Psychiatry J Ment Sci 182: 228-232. https://doi.org/10.1192/bjp.182.3.228 ![]() |
[28] |
MacKinley ML, Sabesan P, Palaniyappan L (2020) Deviant cortical sulcation related to schizophrenia and cognitive deficits in the second trimester. Transl Neurosci 11: 236-240. https://doi.org/10.1515/tnsci-2020-0111 ![]() |
[29] |
Penttilä J, Paillére-Martinot M-L, Martinot J-L, et al. (2008) Global and temporal cortical folding in patients with early-onset schizo-phrenia. J Am Acad Child Adolesc Psychiatry 47: 1125-1132. https://doi.org/10.1097/CHI.0b013e3181825aa7 ![]() |
[30] |
Rollins CPE, Garrison JR, Arribas M, et al. (2020) Evidence in cortical folding patterns for prenatal predispositions to hallucinations in schizophrenia. Transl Psychiatry 10: 387. https://doi.org/10.1038/s41398-020-01075-y ![]() |
[31] |
Cachia A, Paillère-Martinot M-L, Galinowski A, et al. (2008) Cortical folding abnormalities in schizophrenia patients with resistant auditory hallucinations. NeuroImage 39: 927-935. https://doi.org/10.1016/j.neuroimage.2007.08.049 ![]() |
[32] |
Plaze M, Paillère-Martinot M-L, Penttilä J, et al. (2011) Where do auditory hallucinations come from?”–a brain morphometry study of schizophrenia patients with inner or outer space hallucinations. Schizophr Bull 37: 212-221. https://doi.org/10.1093/schbul/sbp081 ![]() |
[33] |
Auzias G, Brun L, Deruelle C, et al. (2015) Deep sulcal landmarks: algorithmic and conceptual improvements in the definition and extraction of sulcal pits. NeuroImage 111: 12-25. https://doi.org/10.1016/j.neuroimage.2015.02.008 ![]() |
[34] |
Im K, Jo HJ, Mangin J-F, et al. (2010) Spatial distribution of deep sulcal landmarks and hemispherical asymmetry on the cortical surface. Cereb Cortex N. Y. N 1991 20: 602-611. https://doi.org/10.1093/cercor/bhp127 ![]() |
[35] |
White T, Su S, Schmidt M, et al. (2010) The development of gyrification in childhood and adolescence. Brain Cogn 72: 36-45. https://doi.org/10.1016/j.bandc.2009.10.009 ![]() |
[36] |
Meng Y, Li G, Lin W, et al. (2014) Spatial distribution and longitudinal development of deep cortical sulcal landmarks in infants. NeuroImage 100: 206-218. https://doi.org/10.1016/j.neuroimage.2014.06.004 ![]() |
[37] |
Yun HJ, Vasung L, Tarui T, et al. (2020) Temporal Patterns of Emergence and Spatial Distribution of Sulcal Pits During Fetal Life. Cereb Cortex N. Y. N 1991 30: 4257-4268. https://doi.org/10.1093/cercor/bhaa053 ![]() |
[38] |
Huang Y, Zhang T, Zhang S, et al. (2023) Genetic Influence on Gyral Peaks. Neuroimage 280: 120344. https://doi.org/10.1016/j.neuroimage.2023.120344 ![]() |
[39] |
Oldfield RC (1971) The assessment and analysis of handedness: the Edinburgh inventory. Neuropsychologia 9: 97-113. https://doi.org/10.1016/0028-3932(71)90067-4 ![]() |
[40] |
Sheehan D, Lecrubier Y, Harnett Sheehan K, et al. (1997) The validity of the Mini International Neuropsychiatric Interview (MINI) according to the SCID-P and its reliability. Eur Psychiatry 12: 232-241. https://doi.org/10.1016/S0924-9338(97)83297-X ![]() |
[41] |
Dale AM, Fischl B, Sereno MI (1999) Cortical surface-based analysis. I. Segmentation and surface reconstruction. NeuroImage 9: 179-194. https://doi.org/10.1006/nimg.1998.0395 ![]() |
[42] |
Fischl B, Sereno MI, Dale AM (1999) Cortical surface-based analysis. II: Inflation, flattening, and a surface-based coordinate system. NeuroImage 9: 195-207. https://doi.org/10.1006/nimg.1998.0396 ![]() |
[43] |
Fischl B, Dale AM (2000) Measuring the thickness of the human cerebral cortex from magnetic resonance images. Proc Natl Acad Sci U S A 97: 11050-11055. https://doi.org/10.1073/pnas.200033797 ![]() |
[44] |
Takerkart S, Auzias G, Brun L, et al. (2017) Structural graph-based morphometry: A multiscale searchlight framework based on sulcal pits. Med Image Anal 35: 32-45. https://doi.org/10.1016/j.media.2016.04.011 ![]() |
[45] | Boucher M, Whitesides S, Evans A (2009) Depth potential function for folding pattern representation, registration and analysis. Med Image Anal, Includes Special Section on Functional Imaging and Modelling of the Heart 13: 203-214. https://doi.org/10.1016/j.media.2008.09.001 |
[46] |
Destrieux C, Fischl B, Dale A, et al. (2010) Automatic parcellation of human cortical gyri and sulci using standard anatomical nomenclature. Neuroimage 53: 1-15. https://doi.org/10.1016/j.neuroimage.2010.06.010 ![]() |
[47] |
Palaniyappan L, Liddle PF (2012) Aberrant cortical gyrification in schizophrenia: a surface-based morphometry study. J Psychiatry Neurosci 37: 399-406. https://doi.org/10.1503/jpn.110119 ![]() |
[48] |
Lohmann G, Cramon DY, Colchester ACF (2008) Deep sulcal landmarks provide an organizing framework for human cortical folding. Cereb Cortex N. Y. N 1991 18: 1415-1420. https://doi.org/10.1093/cercor/bhm174 ![]() |
[49] |
Le Guen Y, Auzias G, Leroy F, et al. (2018) Genetic Influence on the Sulcal Pits: On the Origin of the First Cortical Folds. Cereb Cortex N. Y. N 1991 28: 1922-1933. https://doi.org/10.1093/cercor/bhx098 ![]() |
[50] |
Lefrere A, Auzias G, Favre P, et al. (2023) Global and local cortical folding alterations are associated with neurodevelopmental subtype in bipolar disorders: a sulcal pits analysis. Journal of Affective Disorders 325: 224-230. https://doi.org/10.1016/j.jad.2022.12.156 ![]() |
[51] |
Leroux E, Delcroix N, Dollfus S (2017) Abnormalities of language pathways in schizophrenia patients with and without a lifetime history of auditory verbal hallucinations: A DTI-based tractography study. World J Biol Psychiatry 18: 528-538. https://doi.org/10.1080/15622975.2016.1274053 ![]() |
[52] | Brun L, Auzias G, Viellard M, et al. (2016) Localized Misfolding Within Broca's Area as a Distinctive Feature of Autistic Disorder. Biol Psychiatry Cogn Neurosci Neuroimaging 1: 160-168. https://doi.org/10.1016/j.bpsc.2015.11.003 |
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 |