πh Γ(∆12,0 )Γ(∆02,1 )Γ(∆01,2 )

C∆0 ,∆1 ,∆2 = Γ(∆012 − h)

2 Γ(∆0 )Γ(∆1 )Γ(∆2 )

∞
X 1 a∆
M
1 ,∆2

M =0
N∆1 +∆2 +2M m2∆0 − m2∆1 +∆2 +2M
∞
X
hΓ(2∆12 + 2M − h + 1) (−1)M Γ(2∆12 + 2M ) Γ(2∆12 + M − h)
= − 2π
M =0
Γ(2∆12 + 2M ) M ! Γ(∆1 )Γ(∆2 ) Γ(2∆12 + 2M − h)
1
∆0 (∆0 − 2h) − 4(∆12 + M )(∆12 + M − h)
∞
X (−1)M Γ(2∆12 + M − h) 2∆12 + 2M − h
=2π h
M =0
M! Γ(∆1 )Γ(∆2 ) (2∆12 + 2M − ∆0 )(2∆12 + 2M − 2h + ∆0 )
∞
X
h (−1)M Γ(2∆12 + M − h) ∆12 + M − h2
=π
M =0
M! Γ(∆1 )Γ(∆2 ) (∆12 + M − ∆20 )(∆12 + M − h + ∆0
2
)
π h Γ(2∆12 − h) Γ(∆12 − h2 + 1)Γ(∆12 − ∆20 )Γ(∆12 − h + ∆20 )
=
Γ(∆1 )Γ(∆2 ) Γ(∆12 − h2 )Γ(∆12 − ∆20 + 1)Γ(∆12 − h + ∆20 + 1)
 
h ∆0 ∆0
4 F3 2∆12 − h, ∆12 − + 1, ∆12 − , ∆12 − h +
2 2 2
  
∆0 ∆0 h
; ∆12 − + 1, ∆12 − h + + 1, ∆12 − ; −1
2 2 2
π h Γ(2∆12 − h) Γ(∆12 − h2 + 1)Γ(∆12 − ∆20 )Γ(∆12 − h + ∆20 )
=
Γ(∆1 )Γ(∆2 ) Γ(∆12 − h2 )Γ(∆12 − ∆20 + 1)Γ(∆12 − h + ∆20 + 1)
∆0
Γ(∆12 − + 1)Γ(∆12 − h + ∆20 + 1)
2
Γ(2∆12 − h + 1)
π Γ(2∆12 − h) Γ(∆12 − h2 + 1)Γ(∆12 − ∆20 )Γ(∆12 − h +
h ∆0
2
)
=
Γ(∆1 )Γ(∆2 ) Γ(∆12 − h2 )Γ(2∆12 − h + 1)
π h Γ(2∆12 − h) (∆12 − h2 )Γ(∆12 − ∆20 )Γ(∆12 − h + ∆0
2
)
=
Γ(∆1 )Γ(∆2 ) Γ(2∆12 − h + 1)
h Γ(∆ − ∆0 )Γ(∆ − h + ∆0 )
π 12 2 12 2
=
2 Γ(∆1 )Γ(∆2 )
π h Γ(∆12,0 )Γ(∆012 − h)
=
2 Γ(∆1 )Γ(∆2 )
C∆0 ,∆1 ,∆2
=
B(∆01,2 , ∆02,1 )

1
 Γ(2∆12 + 2M ) (−1)M (∆1 )M (∆2 )M
a∆
M
1 ,∆2
= (1)
Γ(∆1 + M )Γ(∆2 + M ) M ! (2∆12 + M − h)M
(−1)M Γ(2∆12 + 2M ) Γ(2∆12 + M − h)
= (2)
M ! Γ(∆1 )Γ(∆2 ) Γ(2∆12 + 2M − h)

∞
(2)
X (e)`a +`b (a)`a (b)`b
FA (e, a, A, b, B; 1, 1) ≡ (3)
` ,` =0
`a !`b !(A)`a (B)`b
a b
∞ ∞
X (e)`a (a)`a X (e + `a )`b (b)`b
= (4)
` =0
`a !(A)`a ` =0 `b !(B)`b
a b
∞
X (e)`a (a)`a
= 2 F1 (e + `a , b; B; 1) (5)
` =0
`a !(A)`a
a
∞
X (e)`a (a)`a Γ(B)Γ(B − b − e − `a )
= (6)
` =0
`a !(A)`a Γ(B − b)Γ(B − e − `a )
a

(−1)ka +kb
c∆ a ,∆3 ,∆b
ka ,kb = (∆3a,b )ka −kb (∆ab,3 )ka +kb (∆3b,a )−ka +kb
ka !kb !
(2)
 n   n n 
× FA ∆ab3, − ; − ka , −kb ; ∆a − + 1, ∆b − + 1 ; 1, 1
2 2 2
(−1)ka +kb
= (∆3a,b )ka −kb (∆ab,3 )ka +kb (∆3b,a )−ka +kb
ka !kb !
∞
X (−kb )`b (∆ab3 − h)`b Γ(∆a − h + 1)Γ(∆a,b3 + 1 + ka − `b )
` =0
`b !(∆b − h + 1)`b Γ(∆a − h + 1 + ka )Γ(∆a,b3 + 1 − `b )
b

(−1)ka +kb
ck∆a0,k,∆b 3 ,2∆03 +2M = (−M )ka −kb (∆0 + M )ka +kb (∆3 + M )−ka +kb
ka !kb !
(2)
 n   n n 
× FA 2∆03, + M − ; − ka , −kb ; ∆0 − + 1, 2∆03 + 2M − + 1 ; 1, 1
2 2 2

n
π 2 Γ ∆3ab, − n2 (−1)ka +kb


d∆ a ∆3 ∆b
ka kb ≡ (∆3 )ka (∆b )2kb +ka Γ(∆a,b3 − kb − ka )
2Γ(∆a ) ka !kb !
(2)
 n n n n o 
× FA ∆3ab, − ; {∆a,b3 − kb − ka , −kb } ; ∆a − + 1, ∆b − + 1 ; 1, 1
n
2 2 2
π 2 Γ ∆3ab, − n2 (−1)ka +kb
= (∆3 )ka (∆b )2kb +ka Γ(∆a,b3 − kb − ka )
2Γ(∆a ) ka !kb !
X (−kb )`b (∆a,b3 − `b + 1)kab +∆b3,a
(∆ab3 − h)`b
`
`b !(∆b − h + 1)`b (∆a − h + 1)kab +∆b3,a
b

n
π 2 Γ ∆b03, − n2 (−1)ka +kb


dk∆abk∆b 3 ∆0 ≡ (∆3 )ka (∆0 )2kb +ka Γ(∆b,03 − ka − kb )
2Γ(∆b ) ka !kb !
(2)
 n n n n o 
× FA ∆b03, − ; {∆b,03 − ka − kb , −kb } ; ∆b − + 1, ∆0 − + 1 ; 1, 1
2 2 2

2
 ∞
X ∞
X
∆4 ,∆5 ∆4 +∆5 +2Mb ,∆3 ,∆0
aM b
dkb ,ka = f (M )c∆ 0 ,∆3 ,2∆03 +2M
ka ,kb +ka −M (7)
Mb =0 M =0
∞
X β∞ (2∆3 + 2M, 2∆0 + 2M )
= a∆
M
3 ,∆0
C∆4 ,∆5 ,∆3 +∆0 +2M c∆ 0 ,∆3 ,2∆03 +2M
ka ,kb +ka −M (8)
M =0
β∞ (2∆034,5 + 2M, 2∆035,4 + 2M )

∞
X
a∆
Ma
1 ,∆2 ∆1 +∆2 +2Ma ,∆3 ,∆b
dka ,kb (9)
Ma =0
∞
X β∞ (2∆3 + 2M, 2∆b + 2M )a∆ 3 ,∆b

= M
C∆1 ,∆2 ,∆3 +∆b +2M c∆ 3 +∆b +2M,∆3 ,∆b
kab −M,kb (10)
M =0
β∞ (2∆3b1,2 + 2M, 2∆3b2,1 + 2M )

∞
X (−1)kb +M
R= f (M ) (−M )M −kb (∆0 + M )2ka +kb −M (∆3 + M )kb −M (11)
ka !(kb + ka − M )!
M =0
(2)
 n   n n 
× FA 2∆03, + M − ; − ka , M − ka − kb ; ∆0 − + 1, 2∆03 + 2M − + 1 ; 1, 1
2 2 2
(12)

(12,123)
Pe1
∆ ,∆a1
= a∆
Ma
1 ,∆2
β∞ (2∆1 + 2Ma , 2∆2 + 2Ma ) aM3 β∞ (2∆3 + 2M, 2∆a1 + 2M ) C∆4 ,∆5 ,2∆3a1 , +2M

3
 ∞ ∞  ∆1 +∆2 +2Ma ,∆3 ,∆b
X X a∆ 1 ,∆2
dka ,kb d∆ 0 ,∆3 ,∆b 
ka ,kb
f (M )c∆ 3 +∆b +2M,∆3 ,∆b
kab −M,kb = Ma
2 − m2
− (13)
M =0 Ma =0
m a 0 N 0 Na
∞ ∆1 ,∆2 ∆ +∆ +2Ma ,∆3 ,∆b
X aM dka1,kb 2 C∆0 ,∆1 ,∆2
= a
+ d∆0 ,∆3 ,∆b (14)
Ma =0
m2a − m20 N0 B(∆01,2 , ∆02,1 ) ka ,kb

n
π 2 Γ ∆3ab, − n2 (−1)ka +kb


d∆ a ∆3 ∆b
ka kb = (∆3 )ka (∆b )2kb +ka Γ(∆a,b3 − kb − ka )
2Γ(∆a ) ka !kb !
X (−kb )`b (∆a,b3 − `b + 1)kab +∆b3,a
(∆ab3 − h)`b
`
`b !(∆b − h + 1)`b (∆a − h + 1)kab +∆b3,a
b

n
π 2 Γ (∆03b, − h) (−1)ka +kb
d∆ 0 ∆3 ∆b
ka kb = (∆3 )ka (∆b )2kb +ka Γ(∆0,b3 − kb − ka )
2Γ(∆0 ) ka !kb !
X (−kb )`b (∆03b − h)`b Γ(∆0 − h + 1)Γ(1 + kab − `b )
`
`b !(∆b − h + 1)`b Γ(∆0,b3 − `b + 1)Γ(∆b03 − h + kab + 1)
b

n
π 2 Γ (∆b123, + Ma − h) (−1)ka +kb
dk∆a1k+∆2 +2Ma ,∆3 ,∆b
= (∆3 )ka (∆b )2kb +ka Γ(∆12,b3 + Ma − kb − ka )
b
2Γ(∆1 + ∆2 + 2Ma ) ka !kb !
X (−kb )`b (∆12,b3 + Ma − `b + 1)kab +∆b3,12 −Ma
(∆b123, + Ma − h)`b
`
`b !(∆b − h + 1)`b (2∆12 + 2Ma − h + 1)kab +∆b3,12 −Ma
b

checkpoint

a∆
Ma
1 ,∆2

d∆1 +∆2 +2Ma ,∆3 ,∆b

N0 (m2a − m20 ) ka kb
n
π 2 Γ (∆b123, + Ma − h) (−1)ka +kb
= (∆3 )ka (∆b )2kb +ka Γ(∆12,b3 + Ma − kb − ka )
2Γ(∆1 + ∆2 + 2Ma ) ka !kb !
1 (−1)Ma Γ(2∆12 + 2Ma ) Γ(2∆12 + Ma − h)
2 2
N0 (ma − m0 ) Ma ! Γ(∆1 )Γ(∆2 ) Γ(2∆12 + 2Ma − h)
X (−kb )`b (∆12,b3 + Ma − `b + 1)kab +∆b3,12 −Ma
(∆b123, + Ma − h)`b
`
`b !(∆b − h + 1)`b (2∆12 + 2Ma − h + 1)kab +∆b3,12 −Ma
b
n
π (−1)ka +kb (∆3 )ka (∆b )2kb +ka X
2 (−kb )`b
= Γ(kab − `b + 1)La
2N0 ka !kb ! Γ(∆1 )Γ(∆2 ) `
`b !(∆b − h + 1)`b
b

4
 (−1)Ma 1
La ≡
Ma ! 4(∆12 + Ma )(∆12 + Ma − h) − ∆0 (∆0 − 2h)
Γ (∆b123, + Ma − h) Γ(2∆12 + Ma − h)
Γ(∆12,b3 + Ma − kb − ka )Γ(2∆12 + 2Ma )
Γ(∆1 + ∆2 + 2Ma ) Γ(2∆12 + 2Ma − h)
Γ(2∆12 + 2Ma − h + 1) 1
(∆b123, + Ma − h)`b
Γ(∆b123 + Ma − h + kab + 1) Γ(∆12,b3 + Ma − `b + 1)
Ma
(−1) 1
=
Ma ! (2∆12,0 + 2Ma )(2∆012 + 2Ma − 2h)
Γ(∆12,b3 + Ma − kab )Γ(2∆12 + Ma − h)Γ(∆b123, + Ma − h + `b ) Γ(2∆12 + 2Ma − h + 1)
Γ(∆b123 + Ma − h + kab + 1)Γ(∆12,b3 + Ma − `b + 1) Γ(2∆12 + 2Ma − h)
Ma
(−1) 2
=
Ma ! (2∆12,0 + 2Ma )(2∆012 + 2Ma − 2h)
Γ(∆12,b3 + Ma − kab )Γ(2∆12 + Ma − h)Γ(∆b123, + Ma − h + `b ) Γ(∆12 + Ma − h2 + 1)
Γ(∆b123 + Ma − h + kab + 1)Γ(∆12,b3 + Ma − `b + 1) Γ(∆12 + Ma − h2 )
(−1)Ma 1
=
2Ma ! (∆12,0 + Ma )(∆012 + Ma − h)
Γ(∆12,b3 + Ma − kab )Γ(2∆12 + Ma − h)Γ(∆b123, + Ma − h + `b ) Γ(∆12 + Ma − h2 + 1)
Γ(∆b123 + Ma − h + kab + 1)Γ(∆12,b3 + Ma − `b + 1) Γ(∆12 + Ma − h2 )

checkpoint

X 1 Γ(∆12,b3 − kab )Γ(2∆12 − h)Γ(∆b123, − h + `b )Γ(∆12 − h2 + 1)Γ(∆12,0 )Γ(∆012 − h)

La =
Ma
2 Γ(∆b123 − h + kab + 1)Γ(∆12,b3 − `b + 1)Γ(∆12 − h2 )Γ(∆12,0 + 1)Γ(∆012 − h + 1)
 
h
6 F5 2∆12 − h, ∆12,b3 − kab , ∆b123 − h + `b , ∆12,0 , ∆012 − h, ∆12 − + 1 ;
2
  
h
∆b123 − h + kab + 1, ∆12,b3 − `b + 1, ∆12,0 + 1, ∆012 − h + 1, ∆12 − ; −1
2

kab = `b ≡ k:

(−1)Ma Γ(2∆12 + Ma − h) 2∆12 + 2Ma − h

La =
4Ma ! (∆12,0 + Ma )(∆012 + Ma − h) (∆b123 + Ma − h + k)(∆12,b3 + Ma − k)

5
 (−1)ka +kb
c∆ a ,∆3 ,∆b
ka ,kb = (∆3a,b )ka −kb (∆ab,3 )ka +kb (∆3b,a )−ka +kb
ka !kb !
(2)
 n   n n 
× FA ∆ab3, − ; − ka , −kb ; ∆a − + 1, ∆b − + 1 ; 1, 1
2 2 2
ka +kb
(−1)
= (∆3a,b )ka −kb (∆ab,3 )ka +kb (∆3b,a )−ka +kb
ka !kb !
∞
X (−kb )`b (∆ab3 − h)`b Γ(∆a − h + 1)Γ(∆a,b3 + 1 + ka − `b )
` =0
`b !(∆b − h + 1)`b Γ(∆a − h + 1 + ka )Γ(∆a,b3 + 1 − `b )
b

∞
X
f (M )c∆ 3 +∆b +2M,∆3 ,∆b
kab −M,kb (15)
M =0
(−1)ka +M
=f (M ) (∆3 + M )ka −M (∆b + M )ka +2kb −M (−M )M −ka (16)
(kab − M )!kb !
∞
X (−kb )` (2∆b3 + M − h)` Γ(2∆b3 + 2M − h + 1)Γ(1 + kab − `b )
b b
(17)
`b =0
`b !(∆b − h + 1)`b Γ(2∆b3 + M − h + 1 + kab )Γ(M + 1 − `b )
∞
X (−kb )`b Γ(1 + kab − `b )
= R`b (18)
`b =0
`b !(∆b − h + 1)`b

X (−1)ka +M
R`b ≡ f (M ) (∆3 + M )ka −M (∆b + M )ka +2kb −M (−M )M −ka
M
(kab − M )!kb !
(2∆b3 + M − h)`b Γ(2∆b3 + 2M − h + 1)
Γ(2∆b3 + M − h + 1 + kab )Γ(M + 1 − `b )
kab
X M!
= f (M ) (∆3 + M )ka −M (∆b + M )ka +2kb −M
(kab − M )!ka !kb !
M =` b

(2∆b3 + M − h)`b Γ(2∆b3 + 2M − h + 1)

Γ(2∆b3 + M − h + 1 + kab )Γ(M + 1 − `b )

6
 ∞ ∞ ∆ +∆ +2Ma ,∆3 ,∆b
X X a∆ 1 ,∆2
dka1,kb 2 C∆0 ,∆1 ,∆2
f (M )ck∆ab3 +∆b +2M,∆3 ,∆b
−M,kb = Ma
+ d∆0 ,∆3 ,∆b
M =0 Ma =0
m2a − m20 N0 B(∆01,2 , ∆02,1 ) ka ,kb

P (−kb )`b Γ(1+kab −`b )

assuming the identity holds true term by term with `b `b !(∆b −h+1)`b
:

kab
X M!
f (M ) (∆3 + M )ka −M (∆b + M )ka +2kb −M
M =`b
(kab − M )!ka !kb !
(2∆b3 + M − h)`b Γ(2∆b3 + 2M − h + 1)
Γ(2∆b3 + M − h + 1 + kab − M )Γ(M + 1 − `b )

n
π 2 (−1)ka +kb (∆3 )ka (∆b )2kb +ka X
La
2N0 ka !kb ! Γ(∆1 )Γ(∆2 ) M
a
n
C∆0 ,∆1 ,∆b π Γ (∆03b, − h) (−1)ka +kb (∆3 )ka (∆b )2kb +ka Γ(∆0,b3 − kb − ka )(∆03b − h)`b Γ(∆0 − h + 1)
2
+
B(∆01,2 , ∆02,1 ) 2Γ(∆0 ) ka !kb ! Γ(∆0,b3 − `b + 1)Γ(∆b03 − h + kab + 1)

cancelling some common factors:

kab
X M! (2∆b3 + M − h)`b Γ(2∆b3 + 2M − h + 1)
f (M )
M =`b
(kab − M )!Γ(∆3 + M )Γ(∆b + M ) Γ(2∆b3 + M − h + 1 + kab )Γ(M + 1 − `b )

n
π2 (−1)kab X
La
2N0 Γ(∆b )Γ(∆1 )Γ(∆2 )Γ(∆3 ) M
a
n
kab
(−1) C∆0 ,∆1 ,∆b π Γ (∆03b, − h) Γ(∆0,b3 − kb − ka )(∆03b − h)`b Γ(∆0 − h + 1)
2
+
B(∆01,2 , ∆02,1 ) 2Γ(∆0 )Γ(∆3 )Γ(∆b ) Γ(∆0,b3 − `b + 1)Γ(∆b03 − h + kab + 1)
(−1)kab π h
 X
= − π h Γ(∆0 − h + 1) La
2Γ(∆b )Γ(∆0 )Γ(∆1 )Γ(∆2 )Γ(∆3 ) Ma
h

π Γ(∆0,b3 − kab )(∆03b − h)`b Γ(∆0 − h + 1)
+ Γ(∆12,0 )Γ(∆012 − h)Γ (∆03b, − h)
2 Γ(∆0,b3 − `b + 1)Γ(∆b03 − h + kab + 1)

kab = `b ≡ k:

k!(2∆b3 + k − h)k
f (k)
Γ(∆3 + k)Γ(∆b + k)

(−1)k π h
 X
− π h Γ(∆0 − h + 1) La
2Γ(∆b )Γ(∆0 )Γ(∆1 )Γ(∆2 )Γ(∆3 ) M a
h

π Γ(∆0,b3 − k)(∆03b − h)k Γ(∆0 − h + 1)
+ Γ(∆12,0 )Γ(∆012 − h)Γ (∆03b, − h)
2 Γ(∆0,b3 − k + 1)Γ(∆b03 − h + k + 1)

7
 πh (−1)k (∆3 )k (∆b )k
 X
f (k) = − π h Γ(∆0 − h + 1) La kab =`b =k
2 k!(2∆b3 + k − h)k Γ(∆0 )Γ(∆1 )Γ(∆2 ) M
a

πh

Γ(∆0,b3 − k)(∆03b − h)k Γ(∆0 − h + 1)
+ Γ(∆12,0 )Γ(∆012 − h)Γ (∆03b, − h)
2 Γ(∆0,b3 − k + 1)Γ(∆b03 − h + k + 1)

∆1 ,∆2 Γ(2∆12 + 2M ) (−1)M (∆1 )M (∆2 )M

aM = (19)
Γ(∆1 + M )Γ(∆2 + M ) M ! (2∆12 + M − h)M
(−1)M Γ(2∆12 + 2M ) Γ(2∆12 + M − h)
= (20)
M ! Γ(∆1 )Γ(∆2 ) Γ(2∆12 + 2M − h)