|
应用公式(A.10),我们检查对于任何大于0的小enoughfx,q(y)=O(y^ρ-),如y→ 0,(24)fx,q(y)=O(y-1.-ζ) ,作为y→ +∞, (25)所以函数ys-1fx,q(y)可积为0∨ (1)-^ζ)<Re(s)<1。对于该条带中的s,我们定义为:=Zxfx,q(y)ys-1dy,I(s)=Z∞xfx,q(y)ys-1dy,现在我们的目标是检查I(s)+I(s)=Mx,q(s)(其中右侧由(20)给出)。首先,我们使用公式(A.14)和公式(s)=nqA-^ζxs-^ζsin(π(ρ-^ζ)sin(π(^ζ-^ζ)Φ^ζ,1+^ζ+ρ,1+^ζ- ^ρ1+^ζ-^ζ,1+^ζ+ζ,1+^ζ+ζAx×G4,14,51.- ^ρ,1,1+ρ,s+1s,1+ζ,1+ζ,1-^ζ,1-^ζAxo+n与^ζ和^ζ互换相同的表达式。类似地,使用公式(A.15),我们发现(s)=nqxζ+ζMx,q(ζ)ψ′(ζ)xs-1.-ζ1+ζ- 旧金山1+ζ- s、 1+ζ,1+ζ- ρ、 1+ζ+^ρ2+ζ- s、 1+ζ- ζ、 1+ζ+^ζ,1+ζ+^ζ-Axo+n与ζ和ζ互换的表达式相同。让我们概述一下证明身份I(s)+I(s)的计划- Mx,q(s)=0,对于条带0中的所有s∨ (1)-^ζ)<Re(s)<1。(26)首先,我们使用公式(A.11)并用超几何函数表示(26)中出现的所有Meijer G函数。这将给出一个包含两个超几何函数乘积的表达式。简化此表达式后,我们将获得以下等式xi=1(ai- ρ) (ai+ρ)Q1≤j≤5j6=i(ai- aj)×F1+人工智能- ρ、 1+ai+ρ,1+ai,1+ai- s1+ai- 一*, . . . , 1+人工智能- 一-Ax(27)×F1+ρ- ai,1- ^ρ-ai,-ai,s- ai1+a- ai,*, . . . , 1+a- 人工智能Ax= 0,x∈ R \\{0},其中[a,a,a,a,a]=[ζ,ζ,-^ζ,-^ζ,s- 1] 星号表示t项1+ai- 已提交。已知等式(27)为真:这是Feng等人[6]中定理1的特例。上述证明步骤虽然概念上很简单,但需要很长的计算时间。因此,我们在此省略所有这些细节,并在附录B中列出。备注2。
|