Pith. sign in

REVIEW

On a family of curious integrals suggested by Stellar Dynamics

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1911.10480 v2 pith:DBXF7AXC submitted 2019-11-24 math.CA

On a family of curious integrals suggested by Stellar Dynamics

classification math.CA
keywords identityintegralcuriousdynamicsintegralsresultspecialsqrt
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

While investigating the properties of a galaxy model used in Stellar Dynamics, a curious integral identity was discovered. For a special value of a parameter, the identity reduces to a definite integral with a very simple symbolic value; but, quite surprisingly, all the consulted tables of integrals, and computer algebra systems, do not seem aware of this result. Here I show that this result is a special case ($n=0$ and $z=1$) of the following identity (established by elementary methods): $$ I_n(z)\equiv\int_0^1{{\rm K}(k) k\over (z+k^2)^{n+3/2}}dk = {(-2)^n\over (2n+1)!!} {d^n\over dz^n} {{\rm ArcCot}\sqrt{z}\over\sqrt{z(z+1)}},\quad z>0,$$ where $n=0,1,2,3...$, and ${\rm K}(k)$ is the complete elliptic integral of first kind.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.