ANZIAM J. 46 (E) ppE70–E84, 2004 E70
Hypergeometric function expressions for the molecule-micropore Lennard–Jones potential
Guangfeng Jiang ∗ Jianghua Zhang ∗ XianRen Zhang † Wenchuan Wang †
(Received 10 October 2003; revised 3 August 2004)
Abstract
We present hypergeometric function expressions for the molecule- micropore Lennard–Jones potential in cylindrical pores, in which the cylindrical wall can be a surface, or have thickness or have infinite thickness. These expressions are useful in theoretical study and com- puter simulations of fluids in micropore of circular cross sections.
∗
Department of mathematics and information science, Mailbox 66, Faculty of Science, Beijing university of chemical technology, Beisanhuandonglu 15, Beijing 100029,
P. R. China. mailto:[email protected], mailto:[email protected]
†
College of Chemical Engineering, Beijing university of chemical technology,
Beisanhuandonglu 15, Beijing 100029, P. R. China. mailto:[email protected], mailto:[email protected]
See http://anziamj.austms.org.au/V46/E/Jiang/home.html for this article, c
Austral. Mathematical Soc. 2004. Published October 5, 2004; amended December 1,
2004. ISSN 1446-8735
ANZIAM J. 46 (E) ppE70–E84, 2004 E71
Contents
1 Introduction E71
2 The cylindrical surface wall without thickness E73 3 The cylindrical pore with infinite thickness E77
References E84
1 Introduction
Microporous and mesoporous materials, such as zeolites, aluminosilicates, activated carbon, and pillared clays, have a wide range of industrial appli- cations, including heterogeneous catalysis, purification of gases and water streams, and storage of gaseous fuels. Recently there has been great inter- est in theoretical and computer simulation studies of the equilibrium and transport properties of fluids confined inside micropores. The interaction between the fluid molecules and the micropore walls have been taken into account by introducing various interatomic potentials from the view point of quantum and statistical mechanics. The main idea is as follows. In colloidal system, the interatomic potential consists of an attractive contribution from van der Walls forces and repulsive part due to electrostatic effects between the charged particles.
The most widely used interatomic potential is the so called Lennard–Jones p − q potential [1].
E
p,q= q
q − p
q p
p/(q−p)h σ r
q− σ r
pi
where r is the interatomic separation, σ the separation at which the poten-
tial becomes 0, and the depth of the primary well. The two adjustable
1 Introduction E72
parameters σ and are actually determined on the basis of experiments.
The Lennard–Jones potential contains an attractive part due to van der Waals forces and a repulsive contribution known as Born forces.
The parameter pair (p, q) is often chosen to be (6, q) (8 ≤ q ≤ 20) and (4, 20). For this reason, we assume in this article that p and q are even numbers with 4 ≤ p < q .
Denote by
C
p,q= q
q − p
q p
p/(q−p). For example, C
6,12= 4 .
If the atoms up to and on the wall of the cylindrical pore are distributed continuously, the interaction energy U = U
p,qof the test fluid atom with the wall of volume Ω and number density N of the wall molecules is given by the interaction over Ω, we have
U = U
p,q= N Z
Ω
E
p,qdΩ .
To evaluate this integral, one meets a kind of elliptic type integrals. In this article, we express U = U
p,qby hypergeometric functions for Ω to be the following objects:
1. a cylindrical surface with infinite length and without thickness (see formula (8));
2. the complement of a cylindrical pore in the three dimensional Euclidean space R
3with infinite length (see the formula in Remark 7);
3. the wall of a cylindrical pore with infinite length and finite thickness (see the formula in Remark 8).
Note that the last case can be deduced from the second case.
1 Introduction E73
2 The cylindrical surface wall without thickness
In this section we assume the wall of the cylindrical pore is a cylinder sur- face S with infinite length and without thickness. The interaction energy U
p,qof the test fluid atom with the surface of area S and number density N of the wall molecules is given by the following integral over S:
U
p,q= N C
p,qZ Z
S
h σ r
q− σ r
pi
dS . (1)
We explain the notations in the this integral (see Figure 1). The test fluid atom sits at the origin O
Tof the coordinate in R
3, the z axis is parallel to the axis of the cylinder, choose the x axis such that the symmetric center O of the cylinder is on the negative part of the x axis. Let |OO
T| = ρ, R is the radius of the cylinder. For P (x, y, z) on the cylinder S, let A(x, y, 0), ϕ = ∠( −−→
O
TA, x − axis) , and ψ = ∠( −−→
OO
T, −→
OA) . Denote by r
2= |O
TP |
2= z
2+ ˜ r
2,
where
˜
r
2= |O
TA| = ρ
2+ R
2− 2ρR cos ψ . By symmetry properties, we have
U
p,q= 4N RC
p,qZ
π0
dψ Z
+∞0
"
σ
2˜ r
2+ z
2 q/2−
σ
2˜ r
2+ z
2 p/2#
dz . (2)
Recall that p and q are even numbers. Since Z
+∞0
1
(a
2+ z
2)
sdz = π
2 · (2s − 3)!!
(2s − 2)!! · 1
a
2s−1, (3)
2 The cylindrical surface wall without thickness E74
O O
A P
x
y
T ρ ψ
φ
R
z
Figure 1:
2 The cylindrical surface wall without thickness E75
we have
U
p,q= 4N RC
p,qπ
2 · (q − 3)!!
(q − 2)!! σ
qZ
π0
dψ
˜
r
q−1− π
2 · (p − 3)!!
(p − 2)!! σ
pZ
π0
dψ
˜ r
p−1. (4)
We have to evaluate the following integral J ˜
2s=
Z
π 0dψ
˜ r
2s−1=
Z
π 0dψ
(ρ
2+ R
2− 2ρR cos ψ)
(2s−1)/2= 2
(ρ + R)
2s−1Z
π/20
dθ
(1 − k
2sin
2θ)
(2s−1)/2, (5) where k = 2 √
ρR/(ρ + R) .
Let t = sin
2θ , then dt = 2 sin θ cos θ dθ = 2 √ t √
1 − t dθ . From (5) we have
J ˜
2s= 1 (ρ + R)
2s−1Z
1 0t
−1/2(1 − t)
−1/2(1 − k
2t)
−(2s−1)/2dt . (6)
By integral representation of hypergeometric function [2], we have J ˜
2s= π
(ρ + R)
2s−1F 2s − 1 2 , 1
2 ; 1; k
2. (7)
Hence,
U
p,q= 2π
2N RC
p,q(q − 3)!!
(q − 2)!!
σ
q(ρ + R)
q−1F q − 1 2 , 1
2 ; 1; k
2− (p − 3)!!
(p − 2)!!
σ
p(ρ + R)
p−1F p − 1 2 , 1
2 ; 1; k
2, (8)
where k
2= 4ρR/(ρ + R)
2.
2 The cylindrical surface wall without thickness E76
O O
P A Q
x y z
T
ψ φ ρ R
r
Figure 2:
2 The cylindrical surface wall without thickness E77
3 The cylindrical pore with infinite thickness
In this section, we consider a test atom in a cylindrical pore, and the thickness of the wall is infinite. Suppose that the atoms of the wall are distributed continuously and uniformly within the whole region of the wall. Let the test atom sit at the origin O
T, the z axis be parallel to the axis of the cylindrical surface, and, the intersection O of the x axis and the axis of the cylindrical surface be on the negative part of the x axis. See Figure 2.
Denote by Ω the complement of the cylindrical pore in the three dimen- sional Euclidean space R
3. Then the Lennard–Jones potential is
U
p,q= N Z Z
Ω
E
p,qdΩ = 2N C
p,qZ Z
D
dx dy Z
+∞0
h σ r
q− σ r
pi
dz , (9) where D := Ω ∩ {z = 0}, r = px
2+ y
2+ z
2, ˜ r = |O
TQ| = px
2+ y
2. By (3), we have
U
p,q= N πC
p,qσ
q(q − 3)!!
(q − 2)!!
Z Z
D
dx dy
˜
r
q−1− σ
p(p − 3)!!
(p − 2)!!
Z Z
D
dx dy
˜ r
p−1. (10) Since we assume p and q are even number, it is enough to prove the following lemma.
Lemma 1 By the above notation, T
2s−1:=
Z Z
D
dx dy
˜
r
2s−1= 2 2s − 3
Z
π 01
r
φ2s−3dφ , (11)
where r
φ= |O
TA| .
3 The cylindrical pore with infinite thickness E78
Q
ψ φ O ρ O
ΤR
D
D D
21
A
x y
Figure 3:
3 The cylindrical pore with infinite thickness E79
Proof: We divide D into two parts (see Figure 3):
D
1:= {(x, y) | x
2+ y
2≤ (R + ρ)
2} ∩ D , D
2:= D \ D
1,
where ρ = |OO
t| . By using polar coordinates, one easily evaluates the inte- gral on D
2:
Z Z
D2
dx dy
(x
2+ y
2)
(2s−1)/2= Z
2π0
dθ Z
+∞ρ+R
˜ r d˜ r
˜
r
2s−1= 2π 2s − 3
1 (ρ + R)
2s−3. Similarly
Z Z
D1
dx dy
(x
2+ y
2)
(2s−1)/2= 2 Z
π0
dφ Z
ρ+Rrφ
˜ r d˜ r
˜ r
2s−1= 2
2s − 3 Z
π0
"
1
r
φ2s−3− 1 (ρ + R)
2s−3# dφ .
♠
Lemma 2 Let k := ρ/R , then T
2s−1= 2
2s − 3
R
2s−3(R
2− ρ
2)
2s−3Z
π 0q
1 − k
2sin
2φ + k cos φ
2s−3dφ . (12)
Proof: Since r
φ> 0 , and
r
2φ+ 2ρr
φcos φ + ρ
2− R
2= 0 , we have
r
φ= −ρ cos φ + q
R
2− ρ
2sin
2φ = R
q
1 − k
2sin
2φ − k cos φ
.
Substituting this into formula (11) in Lemma 1, we obtain formula (12). ♠
3 The cylindrical pore with infinite thickness E80
Theorem 3 For integer n ≥ 1 , denote by I
2n−1=
Z
π 0q
1 − k
2sin
2φ + k cos φ
2n−1dφ , (13)
then
I
2n−1= πF
− 2n − 1
2 , − 2n − 3 2 ; 1; k
2. (14)
We divide the proof of Theorem 3 into the following three lemmas. In the following, we agree that (−1)!! = 1 , 0! = 1 and
n0= 1 .
Lemma 4 I
2n−1= 2
n−1
X
µ=0
2n − 1 2µ
k
2µZ
π20
(1 − k
2sin
2φ)
2n−1−2µ2(cos φ)
2µdφ . (15)
Proof: Note I
2n−1=
Z
π20
q
1 − k
2sin
2φ + k cos φ
2n−1dφ +
Z
ππ 2
q
1 − k
2sin
2φ + k cos φ
2n−1dφ .
For the second integral, let t = π − φ , we have
I
2n−1= Z
π20
"
q
1 − k
2sin
2φ + k cos φ
2n−1+
q
1 − k
2sin
2φ − k cos φ
2n−1#
dφ
3 The cylindrical pore with infinite thickness E81
= 2 Z
π20
"
q
1 − k
2sin
2φ + k cos φ
2n−1+
q
1 − k
2sin
2φ − k cos φ
2n−1# dφ
= 2 Z
π20
"
n−1X
µ=0
2n − 1 2µ
q
1 − k
2sin
2φ
2n−1−2µ(k cos φ)
2µ# dφ
= 2
n−1
X
µ=0
2n − 1 2µ
k
2µZ
π20
1 − k
2sin
2φ
(2n−1−2µ)/2(cos φ)
2µdφ .
♠
Lemma 5
I
2n−1= πF
−n + 1 2 , 1
2 ; 1; k
2+ π
n−1
X
µ=1
n − 1 µ
(2n − 1)(2n − 3) · · · (2n − 2µ + 1) 2
µµ!
× k
2µF
−n + µ + 1 2 , 1
2 ; µ + 1; k
2.
Proof: Substitute t = sin
2φ into formula (15), we have
I
2n−1=
n−1
X
µ=0
2n − 1 2µ
k
2µZ
1 0t
−12(1 − t)
µ−12(1 − k
2t)
n−µ−12dt .
By the integral representation of hypergeometric function [2]
F (α, β; γ; z) = 1 B(β, γ − β)
Z
1 0t
β−1(1 − t)
γ−β−1(1 − tz)
−αdt ,
3 The cylindrical pore with infinite thickness E82
where <γ > <β > 0 , and B(−, −) is the beta function.
Let α = −n + µ +
12, β =
12, γ = µ + 1 , and z = k
2, we have Z
10
t
−12(1 − t)
µ−1/2(1 − tk
2)
n−µ−1/2dt
= B 1
2 , µ + 1 2
F
−n + µ + 1 2 , 1
2 ; µ + 1; k
2. Then
I
2n−1=
n−1
X
µ=0
2n − 1 2µ
k
2µB 1
2 , µ + 1 2
F
−n + µ + 1 2 , 1
2 ; µ + 1; k
2. Since
B 1
2 , µ + 1 2
= Γ(
12)Γ(µ +
12)
Γ(µ + 1) = π(2µ − 1)!!
2
µµ! . For µ ≥ 1
2n − 1 2µ
= n − 1 µ
(2n − 1)(2n − 3) · · · (2n − 2µ + 1)
(2µ − 1)!! .
And
2n − 1 2µ
B 1
2 , µ + 1 2
= π n − 1 µ
(2n − 1)(2n − 3) · · · (2n − 2µ + 1)
2
µµ! .
This proves the lemma. ♠
Lemma 6 F
−n + 1
2 , −n + 1 + 1 2 ; 1; k
2=
n−1
X
µ=0