Generalizations of the Fundamental Theorem of Calculus (Part II)

Using Divergence theorem to find London attraction potential between point particle and a finite cylinder.

$\mathrm{The}\mathrm{dipole}--\mathrm{dipole}\mathrm{interaction}\mathrm{force}\mathrm{goes}\mathrm{like}\frac{1}{r^6}.\mathrm{The}\mathrm{London}\mathrm{interaction}\mathrm{that}\mathrm{gives}\mathrm{the}\mathrm{force}\mathrm{between}\mathrm{two}\mathrm{bodies}\mathrm{due}\mathrm{to}\mathrm{the}\mathrm{superposition}\mathrm{of}\mathrm{all}\mathrm{pointwise}\mathrm{dipole}\mathrm{interactions}.\text{}\text{}\mathrm{To}\mathrm{find}\mathrm{such}\mathrm{forces},\mathrm{it}\mathrm{is}\mathrm{necessary}\mathrm{to}\mathrm{integrate}\mathrm{over}\mathrm{the}\mathrm{volumes}\mathrm{of}\mathrm{both}\mathrm{bodies}--\mathrm{an}\mathrm{integral}\mathrm{over}\mathrm{six}\mathrm{dimensions}.\mathrm{There}\mathrm{are}a\mathrm{few}\mathrm{cases}--\mathrm{such}\mathrm{as}\mathrm{two}\mathrm{spheres},a\mathrm{sphere}\mathrm{and}a\mathrm{semi}-\mathrm{infinite}\mathrm{solid},\mathrm{etc}.---\mathrm{where}\mathrm{closed}\mathrm{form}\mathrm{solutions}\mathrm{can}\mathrm{be}\mathrm{obtained}.\mathrm{However},\mathrm{in}\mathrm{general},\mathrm{it}\mathrm{is}\mathrm{necessary}\mathrm{to}\mathrm{perform}a\mathrm{numerical}\mathrm{integration}.\mathrm{If}\mathrm{the}\mathrm{integral}\mathrm{over}\mathrm{both}\mathrm{volumes}\mathrm{could}\mathrm{be}\mathrm{converted}\mathrm{to}\mathrm{integrals}\mathrm{over}\mathrm{both}\mathrm{surfaces},\mathrm{then}\mathrm{the}\mathrm{numerical}\mathrm{integration}\mathrm{is}\mathrm{considerably}\mathrm{more}\mathrm{efficient}.\mathrm{Such}\mathrm{conversions},\mathrm{can}\mathrm{be}\mathrm{obtained}\mathrm{though}\mathrm{application}\mathrm{of}\mathrm{the}\mathrm{divergence}\mathrm{theorem}.\text{}\text{}\mathrm{Here}\mathrm{is}\mathrm{an}\mathrm{example}\mathrm{for}\mathrm{the}\mathrm{interaction}\mathrm{between}a\mathrm{single}\left(\mathrm{point}\right)\mathrm{and}a\mathrm{finite}\mathrm{volume}\left(a\mathrm{cylinder}\right).\mathrm{To}\mathrm{proceed},a\mathrm{vector}\mathrm{integrand}\mathrm{must}\mathrm{be}\mathrm{found}\mathrm{for}\mathrm{which}\mathrm{the}\mathrm{divergence}\mathrm{is}\mathrm{the}\mathrm{desired}\mathrm{pointwise}\mathrm{interaction}.$

Find $\overrightarrow{F}$ such that div $\overrightarrow{F}$ is $\frac{-1}{{\left(\overrightarrow{r}-\overrightarrow{x}\right)}^6}$   where $\overrightarrow{r}$ = (ξ,η,ζ) is a position in the cylinder and $\overrightarrow{x}$=(x,y,z) is a general position in space (A fairly general method to do this and similar problems can be found in Argento C; Jagota A; Carter WC ``Surface formulation for molecular interactions of macroscopic bodies'' J.Mech. Physics Solids 1997,  pp 1161-1183 .

The following is a ``guess'' at the vector potential; it will be verified as the correct one by checking its divergence.

In[1]:=

$\mathrm{FVecLondon}=\frac{1}{3{\left({\left(\xi -x\right)}^2+{\left(\eta -y\right)}^2+{\left(\zeta -z\right)}^2\right)}^3}\left\{\xi -x,\eta -y,\zeta -z\right\}$

Out[1]=

$\left\{\frac{-x+\xi }{3{\left({\left(-z+\zeta \right)}^2+{\left(-y+\eta \right)}^2+{\left(-x+\xi \right)}^2\right)}^3},\frac{-y+\eta }{3{\left({\left(-z+\zeta \right)}^2+{\left(-y+\eta \right)}^2+{\left(-x+\xi \right)}^2\right)}^3},\frac{-z+\zeta }{3{\left({\left(-z+\zeta \right)}^2+{\left(-y+\eta \right)}^2+{\left(-x+\xi \right)}^2\right)}^3}\right\}$

In[2]:=

$<<\text{Calculus`VectorAnalysis`}$

The following verifies that the correct vector potential is obtained

In[3]:=

$\mathrm{FullSimplify}\left[\mathrm{Div}\left[\mathrm{FVecLondon},\mathrm{Cartesian}\left[\xi ,\eta ,\zeta \right]\right]\right]$

Out[3]=

$-\frac{1}{{\left({\left(z-\zeta \right)}^2+{\left(y-\eta \right)}^2+{\left(x-\xi \right)}^2\right)}^3}$

Therefore,  ${\int }_{\mathrm{Cylinder}\text{}\mathrm{Volume}}$$\frac{1}{{\left(\overrightarrow{r}-\overrightarrow{x}\right)}^6}$dV = ${\int }_{\mathrm{Cylinder}\text{}\mathrm{Surfaces}}$$\stackrel{\rightharpoonup }{\mathrm{FVecLondon}}$•d$\overrightarrow{A}$ =  ${\int }_{\mathrm{Cylinder}\text{}\mathrm{Surface}}$$\stackrel{\rightharpoonup }{\mathrm{FVecLondon}}$•d$\overrightarrow{A}$+ ${\int }_{\mathrm{Cylinder}\text{}\mathrm{Ends}}$$\stackrel{\rightharpoonup }{\mathrm{FVecLondon}}$•d$\overrightarrow{A}$ is the total interaction between a point an a cylinder.

Cylindrical coordinates: (ξ,η,ζ) = (r Cos[t], r Sin[t], ζ):
One cylindrical surface  r= R = const. t ∈ (0, 2π), ζ ∈ (-$\frac{L}{2}$ , $\frac{L}{2}$)
Two caps r ∈ (0,R) t ∈ (0, 2π), ζ=±$\frac{L}{2}$

Cylinder Surface normals and differential quantities

The following is a parametric representation of a cylinder surface that is coaxial with the z-axis (the cylinder ends will be included later)

In[4]:=

$\mathrm{CylSurf}=\left\{R\mathrm{Cos}\left[t\right],R\mathrm{Sin}\left[t\right],\zeta \right\}$

Out[4]=

$\left\{R\mathrm{Cos}\left[t\right],R\mathrm{Sin}\left[t\right],\zeta \right\}$

The infinitessimal surface vectors $\stackrel{\rightharpoonup }{R_u}$ and $\stackrel{\rightharpoonup }{R_v}$ for the cylinder surface are obtained by differentiation; they will be used to find the surface patch d$\overrightarrow{A}$.

In[5]:=

Out[5]=

$\left\{-R\mathrm{Sin}\left[t\right],R\mathrm{Cos}\left[t\right],0\right\}$

$\mathrm{General}\text{::}\mathrm{spell1}:\text{Possible spelling error: new symbol name "}\mathrm{CylSurfRz}\text{" is similar to existing symbol "}\mathrm{CylSurfRt}\text{".}\mathrm{More\dots }$

Out[6]=

$\left\{0,0,1\right\}$

The surface normal given by $\stackrel{\rightharpoonup }{R_u}$ × $\stackrel{\rightharpoonup }{R_v}$ for the cylinder surface, there for the following (multiplied by dθ dz) is the infinitessimal oriented surface patch d$\overrightarrow{A}$.

In[7]:=

$\mathrm{NormalVecCylSurf}=\mathrm{Cross}\left[\mathrm{CylSurfRt},\mathrm{CylSurfRz}\right]$

Out[7]=

$\left\{R\mathrm{Cos}\left[t\right],R\mathrm{Sin}\left[t\right],0\right\}$

The integrand to be evaluated over the cylinder surface is the vector potential, dotted into

In[8]:=

$\mathrm{CylinderIntegrand\theta \zeta }=\mathrm{FullSimplify}\left[\left(\mathrm{FVecLondon}/.\left\{\xi \to R\mathrm{Cos}\left[t\right],\eta \to R\mathrm{Sin}\left[t\right]\right\}\right).\mathrm{NormalVecCylSurf}\right]$

Out[8]=

$\frac{R\left(R-x\mathrm{Cos}\left[t\right]-y\mathrm{Sin}\left[t\right]\right)}{3{\left(R^2+x^2+y^2+{\left(z-\zeta \right)}^2-2R\left(x\mathrm{Cos}\left[t\right]+y\mathrm{Sin}\left[t\right]\right)\right)}^3}$

Closed form for integral is un-findable, use a numeric integration--this will be written in two forms
1) A general function of x,y,z of the point particle and the cylinder radius and length.
2) Because of the polar symmetry, the integral should  be a function of only r = $\sqrt{x^2+y^2}$

We can use the same function name twice, but with a different number of arguments.  But, first we will try to do at least one of the two integrations symbolically.  If we can do this, it will reduce the original numerical integration from three dimensions down to 1---which is a nice bargain if we can find it.

Try and see if we can do one of the two integrals.  First, let's try theta:

In[9]:=

$\mathrm{Integrate}\left[\mathrm{CylinderIntegrand\theta \zeta },t,\mathrm{Assumptions}->R>0\&\&\zeta \in \mathrm{Reals}\&\&x\in \mathrm{Reals}\&\&y\in \mathrm{Reals}\&\&z\in \mathrm{Reals}\right]$

Out[9]=

$\frac{1}{3}R\mathrm{Integrate}\left[\frac{R-x\mathrm{Cos}\left[t\right]-y\mathrm{Sin}\left[t\right]}{{\left(R^2+x^2+y^2+{\left(z-\zeta \right)}^2-2R\left(x\mathrm{Cos}\left[t\right]+y\mathrm{Sin}\left[t\right]\right)\right)}^3},t,\mathrm{Assumptions}\to R>0\&\&\zeta \in \mathrm{Reals}\&\&x\in \mathrm{Reals}\&\&y\in \mathrm{Reals}\&\&z\in \mathrm{Reals}\right]$

The integral over theta gives no symbolic form...Try and see if we can do one of the two integrals.  So, let's try ζ:

In[10]:=

$\mathrm{CylinderIntegrand\theta Ind\zeta }=\mathrm{Integrate}\left[\mathrm{CylinderIntegrand\theta \zeta },\zeta ,\mathrm{Assumptions}->R>0\&\&L>0\&\&x\in \mathrm{Reals}\&\&y\in \mathrm{Reals}\&\&z\in \mathrm{Reals}\&\&t\in \mathrm{Reals}\right]$

Out[10]=

$\frac{1}{3}R\left(R-x\mathrm{Cos}\left[t\right]-y\mathrm{Sin}\left[t\right]\right)\left(-\frac{3\mathrm{ArcTan}\left[\frac{z-\zeta }{\sqrt{R^2+x^2+y^2-2Rx\mathrm{Cos}\left[t\right]-2Ry\mathrm{Sin}\left[t\right]}}\right]}{8{\left(R^2+x^2+y^2-2Rx\mathrm{Cos}\left[t\right]-2Ry\mathrm{Sin}\left[t\right]\right)}^{5/2}}-\frac{3\left(z-\zeta \right)}{8{\left(R^2+x^2+y^2-2Rx\mathrm{Cos}\left[t\right]-2Ry\mathrm{Sin}\left[t\right]\right)}^2\left(R^2+x^2+y^2+{\left(z-\zeta \right)}^2-2Rx\mathrm{Cos}\left[t\right]-2Ry\mathrm{Sin}\left[t\right]\right)}+\frac{z-\zeta }{4{\left(R^2+x^2+y^2+{\left(z-\zeta \right)}^2-2Rx\mathrm{Cos}\left[t\right]-2Ry\mathrm{Sin}\left[t\right]\right)}^2\left(-R^2-x^2-y^2+2Rx\mathrm{Cos}\left[t\right]+2Ry\mathrm{Sin}\left[t\right]\right)}\right)$

Here we will use a trickof using Evaluate[] in a function definition to save time--a small diversion here will demonstrate why this is efficient

In[17]:=

$\mathrm{CylinderIntegrand\theta }\left[\text{x\_},\text{y\_},\text{z\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{Evaluate}\left[\mathrm{Simplify}\left[\left(\mathrm{CylinderIntegrand\theta Ind\zeta }/.\left\{\zeta ->\mathrm{CylLen}/2,R->\mathrm{CylRad}\right\}\right)-\left(\mathrm{CylinderIntegrand\theta Ind\zeta }/.\left\{\zeta ->-\mathrm{CylLen}/2,R->\mathrm{CylRad}\right\}\right),\mathrm{Assumptions}->\mathrm{CylRad}>0\&\&\mathrm{CylLen}>0\&\&x\in \mathrm{Reals}\&\&y\in \mathrm{Reals}\&\&z\in \mathrm{Reals}\&\&t\in \mathrm{Reals}\right]\right]$

In[18]:=

$\mathrm{CylinderContribution}\left[\text{x\_},\text{y\_},\text{z\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{NIntegrate}\left[\mathrm{Evaluate}\left[\mathrm{CylinderIntegrand\theta }\left[x,y,z,\mathrm{CylRad},\mathrm{CylLen}\right],\left\{t,0,2\pi \right\}\right]\right]$

$\mathrm{Because}\mathrm{of}\mathrm{the}\mathrm{polar}\mathrm{symmetry},\mathrm{this}\mathrm{contribution}\mathrm{should}\mathrm{only}\mathrm{be}a\mathrm{function}\mathrm{of}\mathrm{the}\mathrm{distance}\left(\sqrt{x^2+y^2}\right),\mathrm{so}\mathrm{we}\mathrm{can}\mathrm{write}a\mathrm{new}\mathrm{function}\left(\mathrm{with}\mathrm{the}\mathrm{same}\mathrm{name}\right)\mathrm{with}\mathrm{fewer}\mathrm{arguments}$

In[19]:=

$\mathrm{CylinderContribution}\left[\text{dist\_},\text{z\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{NIntegrate}\left[\mathrm{Evaluate}\left[\mathrm{CylinderIntegrand\theta }\left[\mathrm{dist},0,z,\mathrm{CylRad},\mathrm{CylLen}\right],\left\{t,0,2\pi \right\}\right]\right]$

Checking the numerical integration for the first form of the function

In[20]:=

$\mathrm{CylinderContribution}\left[2,2,1/2,1,1\right]$

Out[20]=

$-0.011617409378892947$

Checking the numerical integration for the second form of the function

In[21]:=

$\mathrm{CylinderContribution}\left[2\mathrm{Sqrt}\left[2\right],1/2,1,1\right]$

Out[21]=

$-0.01161740937889297$

Top Cap Surface normals and differential quantities, parallel method to cylinder surface

In[22]:=

$\mathrm{TopSurf}=\left\{r\mathrm{Cos}\left[t\right],r\mathrm{Sin}\left[t\right],\frac{L}{2}\right\}$

Out[22]=

$\left\{r\mathrm{Cos}\left[t\right],r\mathrm{Sin}\left[t\right],\frac{L}{2}\right\}$

In[23]:=

Out[23]=

$\left\{-r\mathrm{Sin}\left[t\right],r\mathrm{Cos}\left[t\right],0\right\}$

$\mathrm{General}\text{::}\mathrm{spell1}:\text{Possible spelling error: new symbol name "}\mathrm{TopSurfRr}\text{" is similar to existing symbol "}\mathrm{TopSurfRt}\text{".}\mathrm{More\dots }$

Out[24]=

$\left\{\mathrm{Cos}\left[t\right],\mathrm{Sin}\left[t\right],0\right\}$

$\mathrm{The}\mathrm{oriented}\mathrm{surface}\mathrm{patch}d\overrightarrow{A}\mathrm{for}\mathrm{the}\mathrm{top}\mathrm{surface}\mathrm{is}\mathrm{the}\mathrm{following}\left(\mathrm{multiplied}\mathrm{by}\mathrm{dr}\mathrm{d\theta }\right)$

In[25]:=

$\mathrm{NormalVecTopSurf}=\mathrm{FullSimplify}\left[\mathrm{Cross}\left[\mathrm{TopSurfRr},\mathrm{TopSurfRt}\right]\right]$

Out[25]=

$\left\{0,0,r\right\}$

In[26]:=

$\mathrm{TopIntegrand\theta r}=\mathrm{FullSimplify}\left[\left(\mathrm{FVecLondon}/.\left\{\xi \to r\mathrm{Cos}\left[t\right],\eta \to r\mathrm{Sin}\left[t\right],\zeta \to L/2\right\}\right).\mathrm{NormalVecTopSurf}\right]$

Out[26]=

$\frac{r\left(L-2z\right)}{6{\left(\frac{1}{4}{\left(L-2z\right)}^2+{\left(x-r\mathrm{Cos}\left[t\right]\right)}^2+{\left(y-r\mathrm{Sin}\left[t\right]\right)}^2\right)}^3}$

Because we will need to numerically integrate over r and over t, we might try the same trick as above and see if one of these integrals can be expressed in closed form.

Integrating over θ doesn't provide a closed form (this next step takes a while to evaluate...)

In[27]:=

$\mathrm{Integrate}\left[\mathrm{TopIntegrand\zeta r},\left\{t,0,2\pi \right\},\mathrm{Assumptions}\to r\ge 0\&\&L>0\&\&x\in \mathrm{Reals}\&\&y\in \mathrm{Reals}\&\&z\in \mathrm{Reals}\right]$

$\mathrm{General}\text{::}\mathrm{spell1}:\text{Possible spelling error: new symbol name "}\mathrm{TopIntegrand\zeta r}\text{" is similar to existing symbol "}\mathrm{TopIntegrand\theta r}\text{".}\mathrm{More\dots }$

$\mathrm{Integrate}\left[\frac{r\left(L-2z\right)}{6{\left(\frac{1}{4}{\left(L-2z\right)}^2+{\left(x-r\mathrm{Cos}\left[t\right]\right)}^2+{\left(y-r\mathrm{Sin}\left[t\right]\right)}^2\right)}^3},\left\{t,0,2\pi \right\},\mathrm{Assumptions}\to \left\{r>0,L>0,x\in \mathrm{Reals},y\in \mathrm{Reals},z\in \mathrm{Reals}\right\}\right]$

Out[27]=

$2\pi \mathrm{TopIntegrand\zeta r}$

Integrating over r does work

In[28]:=

$\mathrm{TopIntegrand\theta Indr}=\mathrm{Integrate}\left[\mathrm{TopIntegrand\theta r},r,\mathrm{Assumptions}\to t\ge 0\&\&L>0\&\&x\in \mathrm{Reals}\&\&y\in \mathrm{Reals}\&\&z\in \mathrm{Reals}\right]$

Out[28]=

$\frac{1}{6}\left(L-2z\right)\left(-\frac{12\mathrm{ArcTan}\left[\frac{2\left(-r+x\mathrm{Cos}\left[t\right]+y\mathrm{Sin}\left[t\right]\right)}{\sqrt{L^2+2x^2+2y^2-4Lz+4z^2-2x^2\mathrm{Cos}\left[2t\right]+2y^2\mathrm{Cos}\left[2t\right]-4xy\mathrm{Sin}\left[2t\right]}}\right]\left(x\mathrm{Cos}\left[t\right]+y\mathrm{Sin}\left[t\right]\right)}{{\left(L^2+2x^2+2y^2-4Lz+4z^2-2x^2\mathrm{Cos}\left[2t\right]+2y^2\mathrm{Cos}\left[2t\right]-4xy\mathrm{Sin}\left[2t\right]\right)}^{5/2}}+\frac{12\left(-x^2-y^2+2rx\mathrm{Cos}\left[t\right]-x^2\mathrm{Cos}\left[2t\right]+y^2\mathrm{Cos}\left[2t\right]+2ry\mathrm{Sin}\left[t\right]-2xy\mathrm{Sin}\left[2t\right]\right)}{\left(L^2+4r^2+4x^2+4y^2-4Lz+4z^2-8rx\mathrm{Cos}\left[t\right]-8ry\mathrm{Sin}\left[t\right]\right){\left(L^2+2x^2+2y^2-4Lz+4z^2-2x^2\mathrm{Cos}\left[2t\right]+2y^2\mathrm{Cos}\left[2t\right]-4xy\mathrm{Sin}\left[2t\right]\right)}^2}-\frac{4\left(-L^2-4x^2-4y^2+4Lz-4z^2+4rx\mathrm{Cos}\left[t\right]+4ry\mathrm{Sin}\left[t\right]\right)}{{\left(L^2+4r^2+4x^2+4y^2-4Lz+4z^2-8rx\mathrm{Cos}\left[t\right]-8ry\mathrm{Sin}\left[t\right]\right)}^2\left(-L^2-2x^2-2y^2+4Lz-4z^2+2x^2\mathrm{Cos}\left[2t\right]-2y^2\mathrm{Cos}\left[2t\right]+4xy\mathrm{Sin}\left[2t\right]\right)}\right)$

In[29]:=

$\mathrm{TopIntegrand\theta }\left[\text{x\_},\text{y\_},\text{z\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{Evaluate}\left[\mathrm{Simplify}\left[\left(\mathrm{TopIntegrand\theta Indr}/.\left\{r->\mathrm{CylRad},L->\mathrm{CylLen}\right\}\right)-\left(\mathrm{TopIntegrand\theta Indr}/.\left\{r->0,L->\mathrm{CylLen}\right\}\right)\right]\right]$

$\mathrm{General}\text{::}\mathrm{spell1}:\text{Possible spelling error: new symbol name "}\mathrm{TopIntegrand\theta }\text{" is similar to existing symbol "}\mathrm{TopIntegrand\theta r}\text{".}\mathrm{More\dots }$

In[30]:=

$\mathrm{TopContribution}\left[\text{xpos\_},\text{ypos\_},\text{zpos\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{NIntegrate}\left[\mathrm{Evaluate}\left[\mathrm{TopIntegrand\theta }\left[\mathrm{xpos},\mathrm{ypos},\mathrm{zpos},\mathrm{CylRad},\mathrm{CylLen}\right],\left\{t,0,2\pi \right\}\right]\right]$

In[31]:=

$\mathrm{TopContribution}\left[\text{dist\_},\text{zpos\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{NIntegrate}\left[\mathrm{Evaluate}\left[\mathrm{TopIntegrand\theta }\left[\mathrm{dist},0,\mathrm{zpos},\mathrm{CylRad},\mathrm{CylLen}\right],\left\{t,0,2\pi \right\}\right]\right]$

In[32]:=

$\mathrm{TopContribution}\left[\mathrm{Sqrt}\left[2\right],\mathrm{Sqrt}\left[2\right],1/3,1,2\right]$

Out[32]=

$0.019746507925389237$

In[33]:=

$\mathrm{TopContribution}\left[2,1/3,1,2\right]$

Out[33]=

$0.0197465079253876$

Bottom Cap Surface normals and differential quantities

In[34]:=

$\mathrm{BotSurf}=\left\{r\mathrm{Cos}\left[t\right],r\mathrm{Sin}\left[t\right],\frac{-L}{2}\right\}$

Out[34]=

$\left\{r\mathrm{Cos}\left[t\right],r\mathrm{Sin}\left[t\right],-\frac{L}{2}\right\}$

In[35]:=

Out[35]=

$\left\{-r\mathrm{Sin}\left[t\right],r\mathrm{Cos}\left[t\right],0\right\}$

$\mathrm{General}\text{::}\mathrm{spell1}:\text{Possible spelling error: new symbol name "}\mathrm{BotSurfRr}\text{" is similar to existing symbol "}\mathrm{BotSurfRt}\text{".}\mathrm{More\dots }$

Out[36]=

$\left\{\mathrm{Cos}\left[t\right],\mathrm{Sin}\left[t\right],0\right\}$

$\mathrm{The}\mathrm{oriented}\mathrm{surface}\mathrm{patch}d\overrightarrow{A}\mathrm{for}\mathrm{the}\mathrm{bottom}\mathrm{surface}\mathrm{is}\mathrm{the}\mathrm{following}\left(\mathrm{multiplied}\mathrm{by}\mathrm{dr}\mathrm{d\theta }\right)$

In[37]:=

$\mathrm{NormalVecBotSurf}=\mathrm{FullSimplify}\left[\mathrm{Cross}\left[\mathrm{BotSurfRt},\mathrm{BotSurfRr}\right]\right]$

Out[37]=

$\left\{0,0,-r\right\}$

In[38]:=

$\mathrm{BotIntegrand\theta r}=\mathrm{FullSimplify}\left[\left(\mathrm{FVecLondon}/.\left\{\xi \to r\mathrm{Cos}\left[t\right],\eta \to r\mathrm{Sin}\left[t\right],\zeta \to -L/2\right\}\right).\mathrm{NormalVecBotSurf}\right]$

Out[38]=

$\frac{32r\left(L+2z\right)}{3{\left(4\left(r^2+x^2+y^2\right)+{\left(L+2z\right)}^2-8r\left(x\mathrm{Cos}\left[t\right]+y\mathrm{Sin}\left[t\right]\right)\right)}^3}$

In[39]:=

$\mathrm{BotIntegrand\theta Indr}=\mathrm{Integrate}\left[\mathrm{BotIntegrand\theta r},r,\mathrm{Assumptions}\to t\ge 0\&\&L>0\&\&x\in \mathrm{Reals}\&\&y\in \mathrm{Reals}\&\&z\in \mathrm{Reals}\right]$

Out[39]=

$\frac{32}{3}\left(L+2z\right)\left(-\left(3\mathrm{ArcTan}\left[\frac{2\left(-r+x\mathrm{Cos}\left[t\right]+y\mathrm{Sin}\left[t\right]\right)}{\sqrt{L^2+2x^2+2y^2+4Lz+4z^2-2x^2\mathrm{Cos}\left[2t\right]+2y^2\mathrm{Cos}\left[2t\right]-4xy\mathrm{Sin}\left[2t\right]}}\right]\left(x\mathrm{Cos}\left[t\right]+y\mathrm{Sin}\left[t\right]\right)\right)/\left(16\sqrt{L^2+2x^2+2y^2+4Lz+4z^2-2x^2\mathrm{Cos}\left[2t\right]+2y^2\mathrm{Cos}\left[2t\right]-4xy\mathrm{Sin}\left[2t\right]}{\left(-L^2-2x^2-2y^2-4Lz-4z^2+2x^2\mathrm{Cos}\left[2t\right]-2y^2\mathrm{Cos}\left[2t\right]+4xy\mathrm{Sin}\left[2t\right]\right)}^2\right)+\frac{3\left(-x^2-y^2+2rx\mathrm{Cos}\left[t\right]-x^2\mathrm{Cos}\left[2t\right]+y^2\mathrm{Cos}\left[2t\right]+2ry\mathrm{Sin}\left[t\right]-2xy\mathrm{Sin}\left[2t\right]\right)}{16\left(L^2+4r^2+4x^2+4y^2+4Lz+4z^2-8rx\mathrm{Cos}\left[t\right]-8ry\mathrm{Sin}\left[t\right]\right){\left(-L^2-2x^2-2y^2-4Lz-4z^2+2x^2\mathrm{Cos}\left[2t\right]-2y^2\mathrm{Cos}\left[2t\right]+4xy\mathrm{Sin}\left[2t\right]\right)}^2}+\frac{L^2+4x^2+4y^2+4Lz+4z^2-4rx\mathrm{Cos}\left[t\right]-4ry\mathrm{Sin}\left[t\right]}{16{\left(L^2+4r^2+4x^2+4y^2+4Lz+4z^2-8rx\mathrm{Cos}\left[t\right]-8ry\mathrm{Sin}\left[t\right]\right)}^2\left(-L^2-2x^2-2y^2-4Lz-4z^2+2x^2\mathrm{Cos}\left[2t\right]-2y^2\mathrm{Cos}\left[2t\right]+4xy\mathrm{Sin}\left[2t\right]\right)}\right)$

In[40]:=

$\mathrm{BotIntegrand\theta }\left[\text{x\_},\text{y\_},\text{z\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{Evaluate}\left[\mathrm{Simplify}\left[\left(\mathrm{BotIntegrand\theta Indr}/.\left\{r->\mathrm{CylRad},L->\mathrm{CylLen}\right\}\right)-\left(\mathrm{BotIntegrand\theta Indr}/.\left\{r->0,L->\mathrm{CylLen}\right\}\right)\right]\right]$

$\mathrm{General}\text{::}\mathrm{spell1}:\text{Possible spelling error: new symbol name "}\mathrm{BotIntegrand\theta }\text{" is similar to existing symbol "}\mathrm{BotIntegrand\theta r}\text{".}\mathrm{More\dots }$

In[41]:=

$\mathrm{BotContribution}\left[\text{xpos\_},\text{ypos\_},\text{zpos\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{NIntegrate}\left[\mathrm{Evaluate}\left[\mathrm{BotIntegrand\theta }\left[\mathrm{xpos},\mathrm{ypos},\mathrm{zpos},\mathrm{CylRad},\mathrm{CylLen}\right],\left\{t,0,2\pi \right\}\right]\right]$

In[42]:=

$\mathrm{BotContribution}\left[\text{dist\_},\text{zpos\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{NIntegrate}\left[\mathrm{Evaluate}\left[\mathrm{BotIntegrand\theta }\left[\mathrm{dist},0,\mathrm{zpos},\mathrm{CylRad},\mathrm{CylLen}\right],\left\{t,0,2\pi \right\}\right]\right]$

In[43]:=

$\mathrm{BotContribution}\left[\mathrm{Sqrt}\left[2\right],\mathrm{Sqrt}\left[2\right],1/3,1,2\right]$

Out[43]=

$0.011074868917683132$

In[44]:=

$\mathrm{BotContribution}\left[2,1/3,1,2\right]$

Out[44]=

$0.011074868917684923$

Adding up all the surface integral contributions

In[45]:=

$\mathrm{LondonCylinderPotential}\left[\text{dist\_},\text{zpos\_},\text{CylRad\_},\text{CylLen\_}\right]:=\mathrm{CylinderContribution}\left[\mathrm{dist},\mathrm{zpos},\mathrm{CylRad},\mathrm{CylLen}\right]+\mathrm{TopContribution}\left[\mathrm{dist},\mathrm{zpos},\mathrm{CylRad},\mathrm{CylLen}\right]+\mathrm{BotContribution}\left[\mathrm{dist},\mathrm{zpos},\mathrm{CylRad},\mathrm{CylLen}\right]$

In[46]:=

$\mathrm{LondonCylinderPotential}\left[2,\text{.5},1,3\right]$

Out[46]=

$-0.252331039462739$

In[47]:=

$\mathrm{LondonCylinderPotential}\left[\text{.25},\text{.5},1,3\right]$

Out[47]=

$3.4393174758259777$

In[48]:=

$\text{(*}\mathrm{Plot}\left[\mathrm{LondonCylinderPotential}\left[\mathrm{dist},\mathrm{zpos},1,2\right],\left\{\mathrm{dist},1.1,3\right\},\left\{\mathrm{zpos},0,3\right\}\right]\text{*)}$

In[49]:=

$<<\text{Graphics`Graphics`}$

Visualize result as a function of radial distance at different altitudes

In[60]:=

$\mathrm{LondonPlot}=\mathrm{Plot}\left[\text{}\left\{\mathrm{LondonCylinderPotential}\left[\mathrm{dist},0,1,4/3\right],\mathrm{LondonCylinderPotential}\left[\mathrm{dist},2/3,1,4/3\right],\mathrm{LondonCylinderPotential}\left[\mathrm{dist},4/3,1,4/3\right],\mathrm{LondonCylinderPotential}\left[\mathrm{dist},2,1,4/3\right]\right\},\text{}\left\{\mathrm{dist},0.01,3\right\},\mathrm{PlotStyle}\to \left\{\left\{\mathrm{Thickness}\left[0.02\right],\mathrm{RGBColor}\left[1,0,0\right]\right\},\left\{\mathrm{Thickness}\left[0.015\right],\mathrm{RGBColor}\left[0,0.5,0\right]\right\},\left\{\mathrm{Thickness}\left[0.01\right],\mathrm{RGBColor}\left[0,0,1\right]\right\},\left\{\mathrm{Thickness}\left[0.005\right],\mathrm{RGBColor}\left[1,0,1\right]\right\}\right\}\right]$

Out[60]=

$⁃\mathrm{Graphics}⁃$

The plot above shows the London potential vs. radial distance for four different z values, z = 0, z = 2/3, z = 4/3, and z= 2. The cylinder height is 4/3 and its radius is 1; for values of z that intersect the cylinder, the potential diverges as dist -> 1.

In[61]:=

$\mathrm{Show}\left[\mathrm{LondonPlot},\mathrm{PlotRange}\to \left\{-5,3\right\}\right]$

Out[61]=

$⁃\mathrm{Graphics}⁃$

The plot above shows the London potential vs radial distance for the same z values as in the previous plot, but for a much smaller range of potential values (-1, 0), to show the z dependence of the potential more clearly.

Visualize potential at fixed altitudes above cylinder

In[52]:=

$\mathrm{TopOfCylinder}=\mathrm{Plot}\left[\left\{\mathrm{LondonCylinderPotential}\left[\mathrm{dist},1.1,1,1\right],\mathrm{LondonCylinderPotential}\left[\mathrm{dist},1.2,1,1\right],\mathrm{LondonCylinderPotential}\left[\mathrm{dist},1.3,1,1\right],\mathrm{LondonCylinderPotential}\left[\mathrm{dist},1.4,1,1\right]\right\},\left\{\mathrm{dist},0,3\right\},\mathrm{PlotStyle}\to \left\{\left\{\mathrm{Thickness}\left[0.02\right],\mathrm{RGBColor}\left[1,0,0\right]\right\},\left\{\mathrm{Thickness}\left[0.015\right],\mathrm{RGBColor}\left[0,0.5,0\right]\right\},\left\{\mathrm{Thickness}\left[0.01\right],\mathrm{RGBColor}\left[0,0,1\right]\right\},\left\{\mathrm{Thickness}\left[0.005\right],\mathrm{RGBColor}\left[1,0,1\right]\right\}\right\}\right]$

Out[52]=

$⁃\mathrm{Graphics}⁃$

The plot above shows the London potential vs. radial distance for z values equal to and larger than the cylinder height. The cylinder height is 1 and its radius is 1;.the potential is plotted for z = 1.1, z = 1.2, z = 1.3, and z= 1.4.  All these z values are beyond the end of the cylinder, and the potentials do not diverge at dist = 1. Note that unlike the previous plots, this one extends from dist = 0 to 3.

The contour plot below would take an enormously long time to compute if we had not employed all of the ``integral tricks''

In[57]:=

$\mathrm{ContourPlot}\left[\mathrm{LondonCylinderPotential}\left[\mathrm{dist},\mathrm{height},1,0.25\right],\left\{\mathrm{dist},0.001,2\right\},\left\{\mathrm{height},0.001,2\right\},\mathrm{Contours}->25,\mathrm{ColorFunction}->\left(\mathrm{Hue}\left[0.6\text{\#}\right]\&\right)\right]$

Out[57]=

$⁃\mathrm{ContourGraphics}⁃$

Created by Mathematica  (October 31, 2005)