Electrostatic potential of a uniformly charged disk through Green’s theorem

Alina E. Sagaydak1 and Zurab K. Silagadze1,2 1 Novosibirsk State University, 630 090, Novosibirsk, Russia 2 Budker Institute of Nuclear Physics, 630 090, Novosibirsk, Russia a.sagaidak@g.nsu.ru silagadze@inp.nsk.su
Abstract

All existing derivations of the electrostatic potential of a uniformly charged disk are technically rather involved. In an old and now almost forgotten publication, Duffin and McWhirter proposed a method for calculating the electrostatic potentials of planar bodies by a skillful application of Green’s theorem. It is shown that this method significantly simplifies the problem of calculating the electrostatic potential of a uniformly charged disk and makes it an almost trivial task.

Keywords: Electrostatic potential; Uniformly charged disk; Green’s theorem.

1 Introduction

Calculating the electrostatic potential of a uniformly charged disk (or its gravitational analogue) is a classic problem, and there are a variety of ways to solve this problem [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]. However, all existing solution methods are quite complex from a technical point of view, which perhaps explains why this interesting electrostatic problem is not reflected in introductory textbooks on classical electrodynamics.

When the observation point is in the plane of the disk, in [4, 5] the electrostatic potential was calculated by skillful use of Green’s theorem [11, 12]

D(QxPy)𝑑x𝑑y=D(Pdx+Qdy).subscriptdouble-integral����𝑄𝑥𝑃𝑦differential-d𝑥differential-d𝑦subscriptcontour-integral𝐷𝑃𝑑𝑥𝑄𝑑𝑦\iint\limits_{D}\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y% }\right)dxdy=\oint\limits_{\partial D}\left(Pdx+Qdy\right).∬ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ( divide start_ARG ∂ italic_Q end_ARG start_ARG ∂ italic_x end_ARG - divide start_ARG ∂ italic_P end_ARG start_ARG ∂ italic_y end_ARG ) italic_d italic_x italic_d italic_y = ∮ start_POSTSUBSCRIPT ∂ italic_D end_POSTSUBSCRIPT ( italic_P italic_d italic_x + italic_Q italic_d italic_y ) . (1)

This neat trick replaces the double integral over the surface of the disk with a line integral over the boundary of the disk and really makes calculating the electrostatic potential much easier. However, it cannot be extended in the form in which it is used in [5] to observation points located outside the plane of the disk.

It is well known that Green’s theorem (1) is equivalent to the two-dimensional divergence theorem [11, 12]

D(Axx+Ayy)𝑑x𝑑y=D𝐀𝐧𝑑l.subscriptdouble-integral𝐷subscript𝐴𝑥𝑥subscript𝐴𝑦𝑦differential-d𝑥differential-d𝑦subscriptcontour-integral𝐷𝐀𝐧differential-d𝑙\iint\limits_{D}\left(\frac{\partial A_{x}}{\partial x}+\frac{\partial A_{y}}{% \partial y}\right)dxdy=\oint\limits_{\partial D}{\bf{A}}\cdot{\bf{n}}\,dl.∬ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT ( divide start_ARG ∂ italic_A start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_x end_ARG + divide start_ARG ∂ italic_A start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_y end_ARG ) italic_d italic_x italic_d italic_y = ∮ start_POSTSUBSCRIPT ∂ italic_D end_POSTSUBSCRIPT bold_A ⋅ bold_n italic_d italic_l . (2)

Indeed, it is clear from Fig.1 that 𝐧dl=dy𝐢dx𝐣𝐧𝑑𝑙𝑑𝑦𝐢𝑑𝑥𝐣{\bf n}\,dl=dy{\bf i}-dx{\bf j}bold_n italic_d italic_l = italic_d italic_y bold_i - italic_d italic_x bold_j, and if we choose 𝐀=(Q,P)𝐀𝑄𝑃{\bf A}=(Q,-P)bold_A = ( italic_Q , - italic_P ) it is easy to see that (2) transforms into (1).

Refer to caption
Figure 1: A planar region D𝐷Ditalic_D bounded by a closed curve D𝐷\partial D∂ italic_D, the tangent vector d𝐥𝑑𝐥d{\bf{l}}italic_d bold_l and the outer normal vector 𝐧dl𝐧𝑑𝑙{\bf{n}}\,dlbold_n italic_d italic_l at a given point.

Although (1) and (2) are equivalent, Duffin and McWhirter [13] showed that the divergence theorem (2) is more useful and suggestive when used in electrostatic problems for planar charged bodies (they attribute the origin of the idea to Collie [14]). Crucial observation of [13] is that, if we take a two-variable scalar function (z𝑧zitalic_z considered as a parameter)

ψ(x,y)=r|z|ln(r+|z|),r=(xX)2+(yY)2+z2,formulae-sequence𝜓𝑥𝑦𝑟𝑧𝑟𝑧𝑟superscript𝑥𝑋2superscript𝑦𝑌2superscript𝑧2\psi(x,y)=r-|z|\ln{(r+|z|)},\;\;\;r=\sqrt{(x-X)^{2}+(y-Y)^{2}+z^{2}},italic_ψ ( italic_x , italic_y ) = italic_r - | italic_z | roman_ln ( italic_r + | italic_z | ) , italic_r = square-root start_ARG ( italic_x - italic_X ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_y - italic_Y ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (3)

then

2ψx2+2ψy2=r(r+|z|)(xX)2r(r+|z|)2+r(r+|z|)(yY)2r(r+|z|)2=1r.superscript2𝜓superscript𝑥2superscript2𝜓superscript𝑦2𝑟𝑟𝑧superscript𝑥𝑋2𝑟superscript𝑟𝑧2𝑟𝑟𝑧superscript𝑦𝑌2𝑟superscript𝑟𝑧21𝑟\frac{\partial^{2}\psi}{\partial x^{2}}+\frac{\partial^{2}\psi}{\partial y^{2}% }=\frac{r(r+|z|)-(x-X)^{2}}{r(r+|z|)^{2}}+\frac{r(r+|z|)-(y-Y)^{2}}{r(r+|z|)^{% 2}}=\frac{1}{r}.divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ end_ARG start_ARG ∂ italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ end_ARG start_ARG ∂ italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG italic_r ( italic_r + | italic_z | ) - ( italic_x - italic_X ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r ( italic_r + | italic_z | ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_r ( italic_r + | italic_z | ) - ( italic_y - italic_Y ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r ( italic_r + | italic_z | ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG italic_r end_ARG . (4)

Therefore, taking

𝐀=ψ=(ψx,ψy),𝐀𝜓𝜓𝑥𝜓𝑦{\bf A}={\bf\nabla}\psi=\left(\frac{\partial\psi}{\partial x},\frac{\partial% \psi}{\partial y}\right),bold_A = ∇ italic_ψ = ( divide start_ARG ∂ italic_ψ end_ARG start_ARG ∂ italic_x end_ARG , divide start_ARG ∂ italic_ψ end_ARG start_ARG ∂ italic_y end_ARG ) , (5)

in (2), we find that the electrostatic potential created by a uniformly charged planar region D𝐷Ditalic_D with a surface charge density σ𝜎\sigmaitalic_σ at the observation point (X,Y,z)𝑋𝑌𝑧(X,Y,z)( italic_X , italic_Y , italic_z ) is given by

ϕ(X,Y,z)=σ4πϵ0Ddxdyr=σ4πϵ0Dψ𝐧dl.italic-ϕ𝑋𝑌𝑧𝜎4𝜋subscriptitalic-ϵ0subscriptdouble-integral𝐷𝑑𝑥𝑑𝑦𝑟𝜎4𝜋subscriptitalic-ϵ0subscriptcontour-integral𝐷𝜓𝐧𝑑𝑙\phi(X,Y,z)=\frac{\sigma}{4\pi\epsilon_{0}}\iint\limits_{D}\frac{dxdy}{r}=% \frac{\sigma}{4\pi\epsilon_{0}}\oint\limits_{\partial D}\nabla\psi\cdot{\bf n}% \,dl.italic_ϕ ( italic_X , italic_Y , italic_z ) = divide start_ARG italic_σ end_ARG start_ARG 4 italic_π italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ∬ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT divide start_ARG italic_d italic_x italic_d italic_y end_ARG start_ARG italic_r end_ARG = divide start_ARG italic_σ end_ARG start_ARG 4 italic_π italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ∮ start_POSTSUBSCRIPT ∂ italic_D end_POSTSUBSCRIPT ∇ italic_ψ ⋅ bold_n italic_d italic_l . (6)

Note that the absolute value for z𝑧zitalic_z in (3) is needed to avoid logarithmic singularity when z<0,x=X,y=Yformulae-sequence𝑧0formulae-sequence𝑥𝑋𝑦𝑌z<0,x=X,y=Yitalic_z < 0 , italic_x = italic_X , italic_y = italic_Y.

2 Calculation of the electrostatic potential

Let point P𝑃Pitalic_P in Fig.2 be the projection onto the disk of the point at which we want to find the electrostatic potential (observation point). The coordinate axes can be selected so that P=(X,Y)=(ηR,0)𝑃𝑋𝑌𝜂𝑅0P=(X,Y)=(\eta R,0)italic_P = ( italic_X , italic_Y ) = ( italic_η italic_R , 0 ), R𝑅Ritalic_R being the disk radius and η0𝜂0\eta\geq 0italic_η ≥ 0. In view of the axial symmetry of the problem, to characterize the integration point on the disk, we choose polar coordinates x=ρcosα,y=ρsinαformulae-sequence𝑥𝜌𝛼𝑦𝜌𝛼x=\rho\cos{\alpha},\,y=\rho\sin{\alpha}italic_x = italic_ρ roman_cos italic_α , italic_y = italic_ρ roman_sin italic_α. Then r=(ηR)22ηRρcosα+ρ2+z2𝑟superscript𝜂𝑅22𝜂𝑅𝜌𝛼superscript𝜌2superscript𝑧2r=\sqrt{(\eta R)^{2}-2\eta R\rho\cos{\alpha}+\rho^{2}+z^{2}}italic_r = square-root start_ARG ( italic_η italic_R ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_η italic_R italic_ρ roman_cos italic_α + italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and

𝐧ψ|ρ=R=ψρ|ρ=R=1ηcosα1+η22ηcosα+z2/R2+|z|/R.evaluated-at𝐧𝜓𝜌𝑅evaluated-at𝜓𝜌𝜌𝑅1𝜂𝛼1superscript𝜂22𝜂𝛼superscript𝑧2superscript𝑅2𝑧𝑅\left.{\bf n}\cdot{\bf\nabla}\psi\right|_{\rho=R}=\left.\frac{\partial\psi}{% \partial\rho}\right|_{\rho=R}=\frac{1-\eta\cos{\alpha}}{\sqrt{1+\eta^{2}-2\eta% \cos{\alpha}+z^{2}/R^{2}}+|z|/R}.bold_n ⋅ ∇ italic_ψ | start_POSTSUBSCRIPT italic_ρ = italic_R end_POSTSUBSCRIPT = divide start_ARG ∂ italic_ψ end_ARG start_ARG ∂ italic_ρ end_ARG | start_POSTSUBSCRIPT italic_ρ = italic_R end_POSTSUBSCRIPT = divide start_ARG 1 - italic_η roman_cos italic_α end_ARG start_ARG square-root start_ARG 1 + italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_η roman_cos italic_α + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + | italic_z | / italic_R end_ARG . (7)
Refer to caption
Figure 2: If P𝑃Pitalic_P is projection of the observation point to the disk plane, D1subscript𝐷1D_{1}italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and D2subscript𝐷2D_{2}italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT subdomains of the disk contribute equally to the electrostatic potential.

From the symmetry it is clear that the D1subscript𝐷1D_{1}italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and D2subscript𝐷2D_{2}italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT halves of the disk make equal contributions to the potential (see Fig.2). In a line integral, the linear segments of D1subscript𝐷1D_{1}italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and D2subscript𝐷2D_{2}italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT go in opposite directions, so their contributions cancel each other (alternatively, the symmetry argument can be applied to the line integral itself, stating that the two halves of the circle contribute equally). Therefore, since dl=Rdα𝑑𝑙𝑅𝑑𝛼dl=Rd\alphaitalic_d italic_l = italic_R italic_d italic_α,

ϕ(ηR,z)=σR2πϵ00π1ηcosα1+η22ηcosα+z2/R2+|z|/R𝑑α=σR2πϵ0[I1|z|RI2],italic-ϕ𝜂𝑅𝑧𝜎𝑅2𝜋subscriptitalic-ϵ0superscriptsubscript0𝜋1𝜂𝛼1superscript𝜂22𝜂𝛼superscript𝑧2superscript𝑅2𝑧𝑅differential-d𝛼𝜎𝑅2𝜋subscriptitalic-ϵ0delimited-[]subscript𝐼1𝑧𝑅subscript𝐼2\phi(\eta R,z)=\frac{\sigma R}{2\pi\epsilon_{0}}\int\limits_{0}^{\pi}\frac{1-% \eta\cos{\alpha}}{\sqrt{1+\eta^{2}-2\eta\cos{\alpha}+z^{2}/R^{2}}+|z|/R}d% \alpha=\frac{\sigma R}{2\pi\epsilon_{0}}\left[I_{1}-\frac{|z|}{R}\,I_{2}\right],italic_ϕ ( italic_η italic_R , italic_z ) = divide start_ARG italic_σ italic_R end_ARG start_ARG 2 italic_π italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT divide start_ARG 1 - italic_η roman_cos italic_α end_ARG start_ARG square-root start_ARG 1 + italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_η roman_cos italic_α + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + | italic_z | / italic_R end_ARG italic_d italic_α = divide start_ARG italic_σ italic_R end_ARG start_ARG 2 italic_π italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG [ italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG | italic_z | end_ARG start_ARG italic_R end_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ] , (8)

where

I1=0π(1ηcosα)1+η22ηcosα+z2/R21+η22ηcosα𝑑α,subscript𝐼1superscriptsubscript0𝜋1𝜂𝛼1superscript𝜂22𝜂𝛼superscript𝑧2superscript𝑅21superscript𝜂22𝜂𝛼differential-d𝛼I_{1}=\int\limits_{0}^{\pi}\frac{(1-\eta\cos{\alpha})\sqrt{1+\eta^{2}-2\eta% \cos{\alpha}+z^{2}/R^{2}}}{1+\eta^{2}-2\eta\cos{\alpha}}d\alpha,italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT divide start_ARG ( 1 - italic_η roman_cos italic_α ) square-root start_ARG 1 + italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_η roman_cos italic_α + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 + italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_η roman_cos italic_α end_ARG italic_d italic_α , (9)

and

I2=0π1ηcosα1+η22ηcosα𝑑α.subscript𝐼2superscriptsubscript0𝜋1𝜂𝛼1superscript𝜂22𝜂𝛼differential-d𝛼I_{2}=\int\limits_{0}^{\pi}\frac{1-\eta\cos{\alpha}}{1+\eta^{2}-2\eta\cos{% \alpha}}d\alpha.italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT divide start_ARG 1 - italic_η roman_cos italic_α end_ARG start_ARG 1 + italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_η roman_cos italic_α end_ARG italic_d italic_α . (10)

The integral I2subscript𝐼2I_{2}italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT can be calculated by a standard substitution t=tanα2𝑡𝛼2t=\tan{\frac{\alpha}{2}}italic_t = roman_tan divide start_ARG italic_α end_ARG start_ARG 2 end_ARG which gives

I2=201η+(1+η)t2(1+t2)[(1η)2+(1+η)2t2]𝑑t=0[11+t2+1+η1η11+(1+η1ηt)2]𝑑t.subscript𝐼22superscriptsubscript01𝜂1𝜂superscript𝑡21superscript𝑡2delimited-[]superscript1𝜂2superscript1𝜂2superscript𝑡2differential-d𝑡superscriptsubscript0delimited-[]11superscript𝑡21𝜂1𝜂11superscript1𝜂1𝜂𝑡2differential-d𝑡I_{2}=2\int\limits_{0}^{\infty}\frac{1-\eta+(1+\eta)t^{2}}{(1+t^{2})[(1-\eta)^% {2}+(1+\eta)^{2}t^{2}]}dt=\int\limits_{0}^{\infty}\left[\frac{1}{1+t^{2}}+% \frac{1+\eta}{1-\eta}\;\frac{1}{1+\left(\frac{1+\eta}{1-\eta}t\right)^{2}}% \right]dt.italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 2 ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT divide start_ARG 1 - italic_η + ( 1 + italic_η ) italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) [ ( 1 - italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] end_ARG italic_d italic_t = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT [ divide start_ARG 1 end_ARG start_ARG 1 + italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 + italic_η end_ARG start_ARG 1 - italic_η end_ARG divide start_ARG 1 end_ARG start_ARG 1 + ( divide start_ARG 1 + italic_η end_ARG start_ARG 1 - italic_η end_ARG italic_t ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] italic_d italic_t . (11)

In the second integral, we make a substitution s=1+η|1η|t𝑠1𝜂1𝜂𝑡s=\frac{1+\eta}{|1-\eta|}titalic_s = divide start_ARG 1 + italic_η end_ARG start_ARG | 1 - italic_η | end_ARG italic_t, where the absolute value is needed to have limits (0,)0(0,\infty)( 0 , ∞ ) in s𝑠sitalic_s. Finally,

I2=π2[1+|1η|1η]=πθ(1η),subscript𝐼2𝜋2delimited-[]11𝜂1𝜂𝜋𝜃1𝜂I_{2}=\frac{\pi}{2}\left[1+\frac{|1-\eta|}{1-\eta}\right]=\pi\theta(1-\eta),italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = divide start_ARG italic_π end_ARG start_ARG 2 end_ARG [ 1 + divide start_ARG | 1 - italic_η | end_ARG start_ARG 1 - italic_η end_ARG ] = italic_π italic_θ ( 1 - italic_η ) , (12)

where θ(x)={1,x>0,0,x<0.𝜃𝑥cases1𝑥00𝑥0\theta(x)=\left\{\begin{array}[]{c}1,x>0,\\ 0,x<0.\end{array}\right.italic_θ ( italic_x ) = { start_ARRAY start_ROW start_CELL 1 , italic_x > 0 , end_CELL end_ROW start_ROW start_CELL 0 , italic_x < 0 . end_CELL end_ROW end_ARRAY is the Heaviside step function.

Let α=π2φ𝛼𝜋2𝜑\alpha=\pi-2\varphiitalic_α = italic_π - 2 italic_φ. Then (9) can be rewritten in the following way

I1=20π/2(1+η2ηsin2φ)(1+η)2+z2/R24ηsin2φ(1+η)24ηsin2φ𝑑φsubscript𝐼12superscriptsubscript0𝜋21𝜂2𝜂superscript2𝜑superscript1𝜂2superscript𝑧2superscript𝑅24𝜂superscript2𝜑superscript1𝜂24𝜂superscript2𝜑differential-d𝜑I_{1}=2\int\limits_{0}^{\pi/2}\frac{(1+\eta-2\eta\sin^{2}{\varphi})\sqrt{(1+% \eta)^{2}+z^{2}/R^{2}-4\eta\sin^{2}{\varphi}}}{(1+\eta)^{2}-4\eta\sin^{2}{% \varphi}}\,d\varphiitalic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 2 ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT divide start_ARG ( 1 + italic_η - 2 italic_η roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ ) square-root start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 italic_η roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ end_ARG end_ARG start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 italic_η roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ end_ARG italic_d italic_φ (13)

Denoting temporarily A=(1+η)2+z2/R24ηsin2φ𝐴superscript1𝜂2superscript𝑧2superscript𝑅24𝜂superscript2𝜑A=(1+\eta)^{2}+z^{2}/R^{2}-4\eta\sin^{2}{\varphi}italic_A = ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 italic_η roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ, we have

1+η2ηsin2φ=12[1η2+Az2/R2],1𝜂2𝜂superscript2𝜑12delimited-[]1superscript𝜂2𝐴superscript𝑧2superscript𝑅21+\eta-2\eta\sin^{2}{\varphi}=\frac{1}{2}\left[1-\eta^{2}+A-z^{2}/R^{2}\right],1 + italic_η - 2 italic_η roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ = divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (14)

and

I1=0π/2[1η2+Az2/R2]A[Az2/R2]A𝑑φ.subscript𝐼1superscriptsubscript0𝜋2delimited-[]1superscript𝜂2𝐴superscript𝑧2superscript𝑅2𝐴delimited-[]𝐴superscript𝑧2superscript𝑅2𝐴differential-d𝜑I_{1}=\int\limits_{0}^{\pi/2}\frac{\left[1-\eta^{2}+A-z^{2}/R^{2}\right]A}{% \left[A-z^{2}/R^{2}\right]\sqrt{A}}\;d\varphi.italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT divide start_ARG [ 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] italic_A end_ARG start_ARG [ italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] square-root start_ARG italic_A end_ARG end_ARG italic_d italic_φ . (15)

But

[1η2+Az2/R2]AAz2/R2=A+(1η2)AAz2/R2=A+1η2+z2/R21η2Az2/R2.delimited-[]1superscript𝜂2𝐴superscript𝑧2superscript𝑅2𝐴𝐴superscript𝑧2superscript𝑅2𝐴1superscript𝜂2𝐴𝐴superscript𝑧2superscript𝑅2𝐴1superscript𝜂2superscript𝑧2superscript𝑅21superscript𝜂2𝐴superscript𝑧2superscript𝑅2\frac{\left[1-\eta^{2}+A-z^{2}/R^{2}\right]A}{A-z^{2}/R^{2}}=A+(1-\eta^{2})% \frac{A}{A-z^{2}/R^{2}}=A+1-\eta^{2}+z^{2}/R^{2}\frac{1-\eta^{2}}{A-z^{2}/R^{2% }}.divide start_ARG [ 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] italic_A end_ARG start_ARG italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = italic_A + ( 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) divide start_ARG italic_A end_ARG start_ARG italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = italic_A + 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (16)

Therefore, I1=J1+J2+J3subscript𝐼1subscript𝐽1subscript𝐽2subscript𝐽3I_{1}=J_{1}+J_{2}+J_{3}italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_J start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, where

J1=0π/2A𝑑φ=(1+η)2+z2/R20π/21k2sin2φ𝑑φ,subscript𝐽1superscriptsubscript0𝜋2𝐴differential-d𝜑superscript1𝜂2superscript𝑧2superscript𝑅2superscriptsubscript0𝜋21superscript𝑘2superscript2𝜑differential-d𝜑\displaystyle J_{1}=\int\limits_{0}^{\pi/2}\sqrt{A}\,d\varphi=\sqrt{(1+\eta)^{% 2}+z^{2}/R^{2}}\int\limits_{0}^{\pi/2}\sqrt{1-k^{2}\sin^{2}{\varphi}}\;d\varphi,italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT square-root start_ARG italic_A end_ARG italic_d italic_φ = square-root start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT square-root start_ARG 1 - italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ end_ARG italic_d italic_φ ,
J2=(1η2)0π/2dφA=1η2(1+η)2+z2/R20π/2dφ1k2sin2φ,subscript𝐽21superscript𝜂2superscriptsubscript0𝜋2𝑑𝜑𝐴1superscript𝜂2superscript1𝜂2superscript𝑧2superscript𝑅2superscriptsubscript0𝜋2𝑑𝜑1superscript𝑘2superscript2𝜑\displaystyle J_{2}=(1-\eta^{2})\int\limits_{0}^{\pi/2}\frac{d\varphi}{\sqrt{A% }}=\frac{1-\eta^{2}}{\sqrt{(1+\eta)^{2}+z^{2}/R^{2}}}\int\limits_{0}^{\pi/2}% \frac{d\varphi}{\sqrt{1-k^{2}\sin^{2}{\varphi}}},italic_J start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ( 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT divide start_ARG italic_d italic_φ end_ARG start_ARG square-root start_ARG italic_A end_ARG end_ARG = divide start_ARG 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT divide start_ARG italic_d italic_φ end_ARG start_ARG square-root start_ARG 1 - italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ end_ARG end_ARG , (17)

with

k2=4η(1+η)2+z2/R2,superscript𝑘24𝜂superscript1𝜂2superscript𝑧2superscript𝑅2k^{2}=\frac{4\eta}{(1+\eta)^{2}+z^{2}/R^{2}},italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 4 italic_η end_ARG start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (18)

and

J3=z2R2(1η2)0π/2dφA(Az2/R2)=subscript𝐽3superscript𝑧2superscript𝑅21superscript𝜂2superscriptsubscript0𝜋2𝑑𝜑𝐴𝐴superscript𝑧2superscript𝑅2absent\displaystyle J_{3}=\frac{z^{2}}{R^{2}}(1-\eta^{2})\int\limits_{0}^{\pi/2}% \frac{d\varphi}{\sqrt{A}\,(A-z^{2}/R^{2})}=italic_J start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = divide start_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT divide start_ARG italic_d italic_φ end_ARG start_ARG square-root start_ARG italic_A end_ARG ( italic_A - italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG =
1η1+ηz2/R2(1+η)2+z2/R20π/2dφ(1n2sin2φ)1k2sin2φ,1𝜂1𝜂superscript𝑧2superscript𝑅2superscript1𝜂2superscript𝑧2superscript𝑅2superscriptsubscript0𝜋2𝑑𝜑1superscript𝑛2superscript2𝜑1superscript𝑘2superscript2𝜑\displaystyle\frac{1-\eta}{1+\eta}\,\frac{z^{2}/R^{2}}{\sqrt{(1+\eta)^{2}+z^{2% }/R^{2}}}\int\limits_{0}^{\pi/2}\frac{d\varphi}{(1-n^{2}\sin^{2}{\varphi})% \sqrt{1-k^{2}\sin^{2}{\varphi}}},divide start_ARG 1 - italic_η end_ARG start_ARG 1 + italic_η end_ARG divide start_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT divide start_ARG italic_d italic_φ end_ARG start_ARG ( 1 - italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ ) square-root start_ARG 1 - italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_φ end_ARG end_ARG , (19)

with

n2=4η(1+η)2.superscript𝑛24𝜂superscript1𝜂2n^{2}=\frac{4\eta}{(1+\eta)^{2}}.italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 4 italic_η end_ARG start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (20)

From the definitions of complete elliptic integrals of the first, second and third types [15] it is clear that the final expression for the electrostatic potential of a uniformly charged disk, valid for all observation points, takes the form

ϕ(ηR,z)=σR2πϵ0[1η2(1+η)2+z2/R2K(k)+(1+η)2+z2/R2E(k)+1η1+ηz2/R2(1+η)2+z2/R2Π(n2,k)πθ(1η)|z|R].\eqalign{\;\;\;\;\;\phi(\eta R,z)=\frac{\sigma R}{2\pi\epsilon_{0}}\left[\frac% {1-\eta^{2}}{\sqrt{(1+\eta)^{2}+z^{2}/R^{2}}}\,K(k)+\sqrt{(1+\eta)^{2}+z^{2}/R% ^{2}}\,E(k)+\right.\cr\left.\;\;\;\;\;\frac{1-\eta}{1+\eta}\frac{z^{2}/R^{2}}{% \sqrt{(1+\eta)^{2}+z^{2}/R^{2}}}\,\Pi(n^{2},k)-\pi\,\theta(1-\eta)\,\frac{|z|}% {R}\right].}start_ROW start_CELL italic_ϕ ( italic_η italic_R , italic_z ) = divide start_ARG italic_σ italic_R end_ARG start_ARG 2 italic_π italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG [ divide start_ARG 1 - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG italic_K ( italic_k ) + square-root start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_E ( italic_k ) + end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 - italic_η end_ARG start_ARG 1 + italic_η end_ARG divide start_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG ( 1 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG roman_Π ( italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_k ) - italic_π italic_θ ( 1 - italic_η ) divide start_ARG | italic_z | end_ARG start_ARG italic_R end_ARG ] . end_CELL start_CELL end_CELL end_ROW (21)

Because of the presence of the θ𝜃\thetaitalic_θ-function, when calculating the electric field from (21), care must be taken not to get a spurious δ𝛿\deltaitalic_δ-function singularity [16].

3 Concluding remarks

If z=0𝑧0z=0italic_z = 0, then

xxXr+yyYr=1r,𝑥𝑥𝑋𝑟𝑦𝑦𝑌𝑟1𝑟\frac{\partial}{\partial x}\frac{x-X}{r}+\frac{\partial}{\partial y}\frac{y-Y}% {r}=\frac{1}{r},divide start_ARG ∂ end_ARG start_ARG ∂ italic_x end_ARG divide start_ARG italic_x - italic_X end_ARG start_ARG italic_r end_ARG + divide start_ARG ∂ end_ARG start_ARG ∂ italic_y end_ARG divide start_ARG italic_y - italic_Y end_ARG start_ARG italic_r end_ARG = divide start_ARG 1 end_ARG start_ARG italic_r end_ARG , (22)

and we can use Green’s theorem (1) to get

ϕ(X,Y,z)=σ4πϵ0Ddxdyr=σ4πϵ0D(xX)dy(yY)dxr.italic-ϕ𝑋𝑌𝑧𝜎4𝜋subscriptitalic-ϵ0subscriptdouble-integral𝐷𝑑𝑥𝑑𝑦𝑟𝜎4𝜋subscriptitalic-ϵ0subscriptcontour-integral𝐷𝑥𝑋𝑑𝑦𝑦𝑌𝑑𝑥𝑟\phi(X,Y,z)=\frac{\sigma}{4\pi\epsilon_{0}}\iint\limits_{D}\frac{dxdy}{r}=% \frac{\sigma}{4\pi\epsilon_{0}}\oint\limits_{\partial D}\frac{(x-X)dy-(y-Y)dx}% {r}.italic_ϕ ( italic_X , italic_Y , italic_z ) = divide start_ARG italic_σ end_ARG start_ARG 4 italic_π italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ∬ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT divide start_ARG italic_d italic_x italic_d italic_y end_ARG start_ARG italic_r end_ARG = divide start_ARG italic_σ end_ARG start_ARG 4 italic_π italic_ϵ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ∮ start_POSTSUBSCRIPT ∂ italic_D end_POSTSUBSCRIPT divide start_ARG ( italic_x - italic_X ) italic_d italic_y - ( italic_y - italic_Y ) italic_d italic_x end_ARG start_ARG italic_r end_ARG . (23)

Using this formula, Kondratyev in [4, 5] considered a number of electrostatic problems, including uniformly charged circular and elliptical disks. Many other interesting results on potential theory with and without the constraint z=0𝑧0z=0italic_z = 0 can also be found in [4, 5].

The use of Green’s theorem for planar electrostatic problems in the form proposed in [13] makes calculating the electrostatic potential of a uniformly charged disk in terms of complete elliptic integrals an almost trivial task.

The reason for this simplification is that the method fully exploits the cylindrical symmetry of the problem. If this symmetry is broken, such as in the case of an elliptical disk, the calculations will not be as simple.

The electrostatic potential of a uniformly charged elliptical disk was found in [4, 5]. Of course, it will be interesting to reproduce this result using Green’s theorem in the form (2).

A drawback of the method under consideration is that its application is limited only to the case of uniform charge density.

Nevertheless, we hope that students will benefit from this approach and that this interesting problem will finally find its place in introductory classical electrodynamics textbooks.

References

References

  • [1] Cayley A 1874 On the potential of the ellipse and the circle Proc. Lond. Math. Soc. s1-6 38–58 URL https://doi.org/10.1112/plms/s1-6.1.38
  • [2] Durand E 1953 Électrostatique. Vol. I. Les distributions (Masson et Cie)
  • [3] Duboshin G N 1961 The theory of attraction (Fizmatlit) (in Russian)
  • [4] Kondratyev B P 2003 Theory of potential and equilibrium figures (Publishing House ”RHD”) (in Russian)
  • [5] Kondratyev B P 2007 Potential theory: new methods and problems with solutions (Mir) (in Russian)
  • [6] Krogh F T, Ng E W and Snyder W V 1982 The gravitational field of a disk Celestial Mech. 26 395–405 URL https://doi.org/10.1007/BF01230419
  • [7] Lass H and Blitzer L 1983 The gravitational potential due to uniform disks and rings Celestial Mech. 30 225–228 URL https://doi.org/10.1007/BF01232189
  • [8] Conway J T 2000 Analytical solutions for the Newtonian gravitational field induced by matter within axisymmetric boundaries Mon. Not. Roy. Astron. Soc. 316 540–554 URL https://doi.org/10.1046/j.1365-8711.2000.03523.x
  • [9] Bochko V and Silagadze Z K 2020 On the electrostatic potential and electric field of a uniformly charged disk Eur. J. Phys. 41 045201 URL https://dx.doi.org/10.1088/1361-6404/ab87aa
  • [10] Ciftja O and Hysi I 2011 The electrostatic potential of a uniformly charged disk as the source of novel mathematical identities Appl. Math. Lett. 24 1919–1923 URL https://www.sciencedirect.com/science/article/pii/S0893965911002564
  • [11] Riley K F, Hobson M P and Bence S J 2006 Mathematical Methods for Physics and Engineering: A Comprehensive Guide 3rd ed (Cambridge University Press) URL https://doi.org/10.1017/CBO9780511810763
  • [12] Stewart J 2016 Calculus: Early Transcendentals 8th ed (Cengage Learning)
  • [13] Duffin R and McWhirter J 1983 A formula for the potential of a polygon with varying charge density J. Franklin Inst. 316 451–466 URL https://www.sciencedirect.com/science/article/pii/0016003283900923
  • [14] Collie C J 1976 Magnetic fields and potentials of linearly varying current or magnetization in a plane-bounded region Proc. Compumag Conference on the Computation of Magnetic Fields (Oxford) pp 86–95
  • [15] Byrd P and Friedman M 1971 Handbook of Elliptic Integrals for Engineers and Scientists Grundlehren der mathematischen Wissenschaften (Springer) URL https://doi.org/10.1007/978-3-642-65138-0
  • [16] Martín-Luna P, Gimeno B and Esperante D 2023 Comment on ‘on the electrostatic potential and electric field of a uniformly charged disk’ Eur. J. Phys. 44 068003 URL https://dx.doi.org/10.1088/1361-6404/acf81c