Phil Lucht Math & Physics Archive
Home / Math and Physics Files / Physics / E&M / Electrostatics / bowl / bowl in toroidals / Support doc files

compare Smythe and App G REVIEWED

DOCX · 83.2 KB
Open DOCX file

Working note by Phil, dated 12.24.15 and 12.31.15, in his bowl-in-toroidals electrostatics files. It converts Smythe's arcsine formula (D.7) and his Legendre series (G.25) to the same angle variable, and a 30-term plot shows they match. This yields the claimed identity: a Legendre sum in sin(nθ0)/n terms equals 2 arcsin[sin(θ0/2)/sin(θ/2)]. He could not find it in the literature and plans to add it to the appendix.

AI-written summary; may contain errors.

Extracted text (machine-read; may contain errors)
Comparing Smythe's potential on cap with G.25 for the same thing PhL 12.24.15 A recent doc, has my new bowl picture, and the plot is now in Appendix G. 12.31.15 First my picture, Smythe says this for potential on the cap V(θ) = V0(2/π)sin-1[cos(α/2)/cos(θ/2)], (D.7) where θ = θ in my picture above, so θ runs from 0 to u0 on the cap α = u0 I claim below (D.7). Meanwhile, I get this fancy other result f2(θ) = (1/π) Σn=0∞{ sin(nθ0)/n + sin[(n+1)θ0] /(n+1) } Pn(cosθ) . (G.25) Here we have θ being the θ of (E.14), which is my angle η in the above picture, the angle measured from the bowl center. And θ0 is the lip measured the same way. So θ = η = π-θ runs from θ = θ0 to π on the cap. θ0 = π-u0 So if I want to compare these two expressions, I have to get them in terms of the same variable! So start with V(θ) = V0(2/π)sin-1[cos(u0/2)/cos(θ/2)] using my θ and u0 f2(θ) = (1/π) Σn=0∞{ sin(nθ0)/n + sin[(n+1)θ0] /(n+1) } Pn(cosθ) = (1/π) Σn=0∞{ sin(n[π-u0])/n + sin[(n+1)[π-u0]] /(n+1) } Pn(cos[π-θ]) When I plot these two babies, they match! Here with 30 terms So let's maybe write them the other way f2(θ) = (1/π) Σn=0∞{ sin(nθ0)/n + sin[(n+1)θ0] /(n+1) } Pn(cosθ) . (G.25) V(θ) = V0(2/π)sin-1[cos(α/2)/cos(θ/2)], α = u0 = π-θ0 θ = π-θ Then the Smythe form becomes V(θ) = (2/π)sin-1[cos(α/2)/cos(θ/2)], = (2/π)sin-1[cos([π-θ0]/2)/cos([π-θ]/2)], = (2/π)sin-1[cos(π/2-θ0/2)/cos(π/2-θ/2)], = (2/π)sin-1[sin(θ0/2)/sin(θ/2)], So I am now claiming this amazing sum (1/π) Σn=0∞{ sin(nθ0)/n + sin[(n+1)θ0] /(n+1) } Pn(cosθ) = (2/π)sin-1[sin(θ0/2)/sin(θ/2)] or Σn=0∞{ sin(nθ0)/n + sin[(n+1)θ0] /(n+1) } Pn(cosθ) = 2sin-1[sin(θ0/2)/sin(θ/2)] This must exist somewhere! I cannot find it anywhere! It is a Legendre transform of a certain function. I will add this at the end of Appendix. Start with