Professional Documents
Culture Documents
SOMNATH DATTA
656, “Snehalata”. l3th Main, 4th Stage, T.K. Layout
Mysore 570009
Email: datta.som@gmail.com
Website “Physics for Pleasure”:http://
www.geocities.com/somdatta.2k
ABSTRACT
The focal points of this article are exact expressions for the E field
caused by a uniformly charged ring of radius R and the B field caused by
a current I flowing along such a ring. We first obtained expressions for
these two fields by direct application of Coulomb’s law and Biot-Savart’s
law respectively, in terms of a new set of Complete Elliptic Integrals
(K(k),H(k)) replacing the conventional pair (K(k),E(k)). Subsequently
we wrote the scalar potential Φ and the vector potential A and re-
established the same results by a second route. The new function H(k)
that replaces E(k) is related to the latter by a simple multiplicative
factor. We checked our formulas against known approximate formulas by
expanding the expressions in power series of Rr .
1
∫
λ 2π Rdφ ′ dt
Φ(r)=
4 πε 0 ∫ 0
r 2 + R 2 − 2rR sin θ cos φ ′
. H(k)=
0
(1 − t 2 )(1 − k 2 t 2 ) 3
(4) π
dϑ
μ I 2π ( − sin φ ′i + cos φ ′j) Rdφ ′
= ∫ 2
(8)
∫
0 3
A(r)= 0 . (5) (1 − k sin
2 2
ϑ) 2
4π 0
r 2 + R 2 − 2rR sin θ cos φ ′
In the above k is a real number lying
Our first task will be to evaluate the integrals between 0 and l. That is, 0≤k≤1. Each one of
given in Eqs.(2)-(5) and obtain closed form the above functions can be identified with a
expressions for these fields. We shall begin hypergeometric series (multiplied by a
with a brief review of the properties of the
elliptic integrals relevant to the sequel. ⎛ a,b ⎞
constant) 2F1 ⎜ ; x⎟ with b= 21 , c=1, x=k2
⎝ c ⎠
2 Important Identities common to all the functions and a= 21 ,− 21 and
3
The complete elliptic integrals of the first kind 2
for K(k), E(k) and H(k) respectively. The
K(k) and the second kind E(k) constitute a pair task can be achieved by Binomial expansion of
of functions4 that are well known for many the integrands, and their integration term by
useful applications in physics and term.4
mathematics,5-7 e.g., time period of a simple
pendulum, evaluation of the circumference of π⎡ ⎛ 1 , 1 2⎞⎤
an ellipse, analysis of the relativistic planetary
K(k)= ⎢ 2 F1 ⎜ 2 2 ; k ⎟ ⎥ . (a)
2 ⎢⎣ ⎝ 1 ⎠ ⎥⎦
orbits, precession of a spinning top, etc. There
are standard tables giving values of these
π⎡ ⎛− 1 , 1 2⎞⎤
functions versus their argument.8 We shall, E(k)= ⎢ 2 F1 ⎜ 2 2 ; k ⎟ ⎥ . (b) (9)
however, find it convenient to find a 2 ⎢⎣ ⎝ 1 ⎠ ⎥⎦
replacement function H(k) for E(k) so that
{K(k), H(k)}, rather than {K(k), E(k)}, will π⎡ ⎛ 3 , 1 2⎞⎤
form the acting pair in this article. These three H(k)= ⎢ 2 F1 ⎜ 2 2 ; k ⎟ ⎥ . (c)
2 ⎢⎣ ⎝ 1 ⎠ ⎥⎦
functions are formally defined as follows.
1 This identification will enable us to exploit
∫
dt
K(k)= some of the known properties of the
0
(1 − t 2 )(1 − k 2 t 2 ) hypergeometric series9 to establish some
important identities crucial in our work. For
π
dϑ example, invoking Euler transformation
= ∫ 0
2
1 − k 2 sin 2 ϑ
, (6)
⎛ a, b ⎞ ⎛ c − a, c − b ⎞
2 F1 ⎜ x⎟ =(1–x)c–a–b 2 F1 ⎜ ; x⎟ (10)
⎝ c ⎠ ⎝ c ⎠
1 1 − k 2t 2
E(k)= ∫ 0 1− t 2
dt
and setting a= 21 ; b=− 21 ;c=1; x=k2 would lead
E(k)=(1−k2)H(k). (11)
with p=− 21 , 1
2
and 3
2
. We set
For another illustration we use the contiguous
relations 4rR sin θ
k= . (15)
x(1–x) dF
dx
=(c−b)F(b−)+(b−c+a−x)F, (a) r + R 2 + 2rR sin θ
2
x dF =b{F(b+)−F}, (b) (12) Note that k≤1, since 0≤θ≤π. For compactness
dx and economy of space we shall introduce the
following variables
⎛ a, b ⎞
where F is an abbreviation for 2 F1 ⎜ ; x⎟
⎝ c ⎠ ρ= r 2 + R 2 + 2rR sin θ ;
⎛ a, b + 1 ⎞ ξ= r 2 + R 2 − 2rR sin θ .
2 F1 ⎜ ; x⎟
and F(b+), F(b−), for and (16)
⎝ c ⎠
They satisfy the following identities which we
⎛ a, b − 1 ⎞ shall find useful.
2 F1 ⎜ ; x⎟ 2
respectively. Setting x=k ,
⎝ c ⎠
2
k2ρ2=4rRsinθ; ξ2=ρ2(1−k2). (17)
1 1 1
a=b= , c = 1 in (12a), and x=k , a= , b=− ,
2 2 2
Now we make the substitution φ = π + 2t. As a
c=1 in (12b) would lead to the following
result
formulas3 for the derivatives of K(k) and E(k).
r2+R2−2rRsinθcosφ=ρ2(1−k2sin2t). (18)
dK ( k ) 1 ⎡ E ( k ) ⎤
= ⎢ − K ( k )⎥
dk k ⎣1 − k 2
⎦ Using Eqs. (6), (8) and (11) the integrals Ιp
can now be readily computed.
1
= [ H ( k ) − K ( k )] , (a) π
∫
dk k 4 dt 4K ( k )
Ι 21 =
2
= . (b) (19)
ρ 0
1 − k sin t
2 2 ρ
3 Evaluation of the Integrals π
∫
4 dt 4 H (k )
A look at Eqs. (2)-(5) (and Eq. (21) to follow) Ι 23 = 2
= . (c)
would suggest that our main task is evaluation ρ 3 0 (1 − k sin t )
2 2 3/ 2
ρ3
of the integrals
For evaluation of Χp let us first note that
2π cos φdφ
Χp= ∫ 0 (r 2 + R 2 − 2rR sin θ cos φ) p
, (a)
cosφ=
(r 2 + R 2 ) − (r 2 + R 2 − 2rR sin θ cos φ)
.
2rR sin θ
2π sin φdφ
Σp= ∫ 0 (r 2 + R 2 − 2rR sin θ cos φ) p
, (b) (14) (20)
Hence
Using Eqs.(19) we can now evaluate the above Using Eqs.(19), (22) and (23) we get the
integrals for p= 21 , 23 , the cases of relevance to following.
us. 4λR
E(r)= ×
2 4 πε 0ρ 3
Χ 21 = [(r2+R2)K(k)–ρ2E(k)]. (a)
rRρ sin θ
⎡ 1 ⎤
⎢rH ( k )e r − 2r sin θ {(r + R ) H ( k ) − ρ K ( k )i⎥ .
2 2 2
Χ 23 =
2
[(r2+R2)H(k)–ρ2K(k)]. (b) (22) ⎣ ⎦
rRρ3 sin θ
(26)
It is easy to see that
Noting that i=cosθeθ+sinθer, we get
Σp = 0. (23)
λR 2
To see this transparently all one needs to do Er= ×
4 πε 0 rρ 3
is to substitute φ → π+x, so that the integral
becomes [(r2−R2)H(k)+ρ2K(k)]. (a)
π
∫
sin xdx λR 2 cot θ
Σp= − Eθ=− × (27)
−π (r + R + 2rR sin θ cos x ) p
2 2
4 πε 0 rρ3
which is zero since the integrand is an [(r2+R2)H(k)−ρ2K(k)]. (b)
antisymmetric function.
1 ∂ ∞
Br= {sin θAφ } π
r sin θ ∂θ H(k)=
2 ∑α k
n=0
n
2n
; where
μ0I 2
= ×
4 π r 2 sin θ αn=(2n+1)βn, n=0,1,2,3,… (38)
We shall find it convenient to change the
⎡ ∂ ⎪⎧ 2 2 ⎛ K(k ) ⎞ ⎪⎫⎤
⎢ ⎨( R + r )⎜ ⎟ − ρE ( k ) ⎬⎥ . variable from k2 to
⎢⎣ ∂θ ⎪⎩ ⎝ ρ ⎠ ⎪⎭⎥⎦
k 2 rR sin θ 1
x= = ; x≤ (39)
1 ∂ 4 ρ 2
4
Bθ= − {rAφ }
r ∂r
It now follows that
μ I 2
=− 0 × ∞
4 π r sin θ π
⎡ ∂ ⎪⎧ 2 2 ⎛ K(k ) ⎞ ⎪⎫⎤
K(k)=
2 ∑b x n
n
; where
⎢ ⎨( R + r )⎜ ⎟ − ρE ( k ) ⎬⎥ . (37) n= 0
⎢⎣ ∂r ⎪⎩ ⎝ ρ ⎠ ⎪⎭⎥⎦
Collecting the derivatives from (33) the b0=1; bn= [ ( 2 n −1)!! 2
n! ]
for n=1,2,3,…
remaining steps can be completed leading to
μ 0 IR 2 sin θ
[r
(b) (51)
Bθ= 2
− 2 R 2 − 4rR sin θ +
4ρ5 R ⎛ R ⎞
x= sin θ⎜ 1 − 2 sin θ⎟ + . . .;
r ⎝ r ⎠
3rR sin θ ⎤
{3r 2 − 2 R 2 − 4rR sin θ}+...⎥ 2
ρ 2
⎦ ⎛R ⎞
x2= ⎜ sin θ⎟ + . . . (c)
⎝r ⎠
=
μ 0 IR 2 sin θ
4ρ 5 [r 2
− 2 R 2 − rR sin θ + We now go back to Eq.(41) for Br. The
required coefficients are written below Eq.(41).
Then
3rR sin θ ⎤
{3r 2 − 2 R 2 − 6rR sin θ}+...⎥ . (50)
ρ 2
⎦ μ 0 I 2 πR 2 cos θ 1
Br≈ ×
4π r3 r3
Again we have written the expansion in two
different ways, the first one with direct ⎡ R 3 R2 ⎤
⎢1 − 3 sin θ − (1 − 5 sin θ) 2 +...⎥ ×
2
application of Eqs.(49) and (48), and the
second one by a readjustment of terms so that ⎢⎣ r 2 r ⎥⎦
the first order term in the second line becomes
identical with the approximate expression ⎡ R ⎛ R ⎞ 45 ⎛ R sin θ ⎞ ⎤
2
⎢1 + 3 sin θ⎜ 1 − 2 sin θ⎟ + ⎜ ⎟ ⎥.
given in Ref.2. ⎢⎣ r ⎝ r ⎠ 4 ⎝ r ⎠ ⎥
⎦
∑
1
cn x n = ⎢1 + ⎜ sin θ − ⎟ ⎥ +...
337.
ρ5 n= 0
r 5 ⎢⎣ ⎝ 8 2 ⎠ r 2 ⎥⎦ 5. H.C. Corben and P. Stehle, Classical
Mechanics, 2nd Ed. (Wiley, 1960) pp.50-53.
(56) 6. T.C. Bradbury, Theoretical Mechanics, Wiley
International Edn (Wiley, New York, 1968)
Hence from Eq.(48) p.225.
7. D.P. Lawden, Elliptic Functions and
μ I πR 2 sin θ Applications (Springer-Verlag, New York,
Bθ= 0
4π r3 1989) Ch. 3,4,5.
8. Handbook of Chemistry and Physics, 44th Ed.
⎡ ⎛ 45 2 ⎤ 2 (The Chemical Rubber and Publishing Co.,
9⎞ R
⎢1 + ⎜ sin θ − ⎟ 2 +...⎥ . (57) Cleveland, Ohio, 1963) pp.230-235.
⎢⎣ ⎝ 8 2⎠ r ⎥⎦ 9. G.E. Andrews, R. Askey and R. Roy, Special
Functions (Cambridge Univ, Cambridge 1999)
The expressions for Br, Bθ given in (53) and pp.61-64, 68, 94-97.
(57) tally with their counterparts presented by
Jackson3 when the terms written by him are
expanded in the power series of ar .