Help with Seemingly Hopeless Double Integral

calculusintegrationmultivariable-calculusphysics

I hate to be that guy to just post an integration problem and ask how to solve it so I'll give a little relevant info

Okay, so I'm working on a physics project and my professor proposed that the following double integral could potentially solve a problem that I've used an alternative method to solve:

$$I=\int_0^\pi\int_0^\rho\frac{t^2\sin\phi\left(t\cos\phi-d\right)}{\left[t^2\sin^2\phi+\left(t\cos\phi-d\right)^2\right]^{3/2}}\;dt d\phi$$

  1. $\rho$ is an arbitrary, strictly positive real constant
  2. $d$ is a real constant that satisfies $d>\rho$

This integral's value could provide immense insight into fields of uniform, solid spherical objects, so it's actually pretty important for my work.

After some quick attempts to simplify, I decided to try some integral calculators with set values. Needless to say, the result after the first integral seemed so hopeless that I couldn't imagine simplifying and integrating again–not to mention then generalising constant inputs to their original variable form.

However, there is a strong likelihood that $I$ simplifies to one of the following two solutions:

$$\text{1.This solution comes from inverse square laws}$$

$$I=\frac{1}{d^2}$$

$$\text{2. This solution comes from a separate computation that I did (integrals below)}$$

$$I=\left(1-\frac{\rho^2}{5d^2}\right)\left[\frac{3}{2\rho^2}+\frac{3(\rho^2-d^2)}{4d\rho^3}\ln\left(\frac{d+\rho}{d-\rho}\right)\right]$$

Although it looks like these are vastly different answers, given $\rho=1$ and $d=10$, you get the following outputs from $(1)$ and $(2)$:

$$1.\; I=0.01$$
$$2.\; I\approx 0.01000046$$

Here's the ratio of solution (2) over (1) for $\rho\in(0,1),\;d\in(0,50)$

Solution Comparison

I tried to tackle this problem differently than my professor, and set up the following integrals to solve the problem that lead to solution $(2)$:

$$\frac{9}{4\rho^6}\left[\;\int\limits_{d-\rho}^{d+\rho}x\left[x-\frac{x^2+d^2-\rho^2}{2d}\right]\left[\frac{(x+d)^2-\rho^2}{4d\cdot x}\right]\;dx\right]\cdot\left[\;\int\limits_{d-\rho}^{d+\rho}\frac{\rho^2-(x-d)^2}{2d\cdot x}\;dx\right]$$


Where you come in

If the double integral is correctly composed (which my professor felt confident with), I need someone skilled in integration to solve said double integral. I've given two possible solutions and it's probable that the answer will be one of those. If it's solution $(1)$, I know that mine will have an error and you will essentially have proved the inverse square law for gravitational and electric fields. If it's solution $(2)$, then this will be far more exciting to me but less likely. If it's neither, then there are several possible implications

BOUNTY

I'm willing to award the following bounties for solving the double integral at the beginning. Since certain solutions have stronger implications (as explained above), I'm rewarding the following bounties:

  1. +200 rep if you verify solution $(1)$
  2. +500 rep if you verify solution $(2)$
  3. +75 rep for any other solutions (note they'll have to be verified by a second user first)

QUESTIONS

If you have any additional questions feel free to ask, and thanks for reading all this!

Best Answer

As a mathematician, I would divide by force in the numerator and denominator by $d^3$, substitute $t/d$ by something, thus reducing to the case $d=1$. But here, let it be, we conserve the homogeneous setting as a control of the computations.


We split the numerator, compute first $$ \begin{aligned} J_1 &= \int_0^\rho dt \int_0^\pi \frac {t^2\sin\phi\cdot t\cos\phi} {\left[t^2\sin^2\phi+\left(t\cos\phi-D\right)^2\right]^{3/2}}\; d\phi \\ &= \int_0^\rho dt \int_0^\pi \frac {t^2(-\cos\phi)'\cdot t\cos\phi} {\left[t^2-2Dt\cos\phi+D^2\right]^{3/2}}\; d\phi \\ &\qquad\text{ Substitution: }u=\cos \phi\ , \\ &= \int_0^\rho dt \int_{-1}^1 \frac {t^3\; u} {\left[t^2-2Dt\;u+D^2\right]^{3/2}}\; du \\ &\qquad\text{ Substitution (for $u$, fixed $t$) of the radical }v=\sqrt{t^2-2Dt\;u+D^2}\ , \\ &\qquad u=\frac 1{2Dt}(t^2+D^2-v^2)\ ,\ du=-\frac v{Dt}\; dv\\ , \\ &= - \int_0^\rho dt \int_{\sqrt{t^2+2Dt+D^2}}^{\sqrt{t^2-2Dt+D^2}} \frac {t^3\; \frac 1{2Dt}(t^2+D^2-v^2)} {v^3}\; \frac v{Dt}\; dv \\ &= \int_0^\rho t\;dt \int_{D-t}^{D+t} \frac 1{2D^2} \cdot \frac {t^2+D^2-v^2} {v^2}\; dv \\ &= \int_0^\rho t\;dt \;\frac 1{2D^2} \left[ -(t^2+D^2)\frac 1v -1 \right]_{v=D-t}^{v=D+t} \\ &= \int_0^\rho dt \;\frac t{2D^2} \left[ (t^2+D^2)\left(\frac 1{D-t}-\frac 1{D+t}\right) - 2t \right] \\ &= \int_0^\rho dt \left[ \frac D{D+t} +\frac D{D-t} -2\frac{D^2+t^2}{D^2} \right] \\ &= D\ln\frac {D+t}{D-t} - 2\rho\left(1+\frac {\rho^2}{3D^2}\right) \ . \end{aligned} $$ Computer check for $D=2$, $\rho=1$ (pari/gp code):

? D=2; r=1;
? intnum(t=0,r, intnum(s=0, Pi, t^2*sin(s)*t*cos(s) / (t^2-2*t*D*cos(s)+D^2)^(3/2) ) )
%19 = 0.030557910669552716123823807178384744388
? D*log( (D+r)/(D-r) ) - 2*r*(1+r^2/3/D^2)
%20 = 0.030557910669552716123823807178384742634
? 
? D=223; r=101;
? intnum(t=0,r, intnum(s=0, Pi, t^2*sin(s)*t*cos(s) / (t^2-2*t*D*cos(s)+D^2)^(3/2) ) )
%22 = 1.9969022076015148346071622544965636670
? D*log( (D+r)/(D-r) ) - 2*r*(1+r^2/3/D^2)
%23 = 1.9969022076015148346071622544965636629

The other integral. I will integrate here first w.r.t. $t$.

$$ \begin{aligned} J_2 &= -D \int_0^\pi d\phi \int_0^\rho \frac {t^2} {\left[(t-D\cos\phi)^2+D\sin^2\phi\right]^{3/2}} \; dt \\ &\qquad\text{ and we consider separately (without the factor $-D$)} \\ J_2(\phi) &= \int_0^\rho \frac {t^2} {\left[(t-D\cos\phi)^2+D\sin^2\phi\right]^{3/2}} \; dt \\ &= \int_{0-D\cos\phi}^{\rho-D\cos\phi} \frac {(u+D\cos\phi)^2} {(u^2+a^2)^{3/2}} \; du\ ,\qquad a:= D\sin\phi \ . \\ &\qquad \text{ Now the integrals can be computed} \\ \int \frac{u^2} {(u^2+a^2)^{3/2}} \; dt &= -\frac t{(u^2+a^2)^{1/2}}+\operatorname{arcsinh} \frac ta+C\ , \\ \int \frac{u} {(u^2+a^2)^{3/2}} \; dt &= -\frac 1{(u^2+a^2)^{1/2}}+C\ , \\ \int \frac{1} {(u^2+a^2)^{3/2}} \; dt &= -\frac {a^2\;u}{(u^2+a^2)^{1/2}}+C\ , \end{aligned} $$ and the computation goes on. If my calculus is ok, then $$ \begin{aligned} J_2(\phi) &= \int_0^\pi d\phi\; \Bigg[ \operatorname{arcsinh} \frac{t-D\cos \phi}{D\sin\phi} \\&\qquad\qquad\qquad+ \frac{t-D\cos\phi}{(t^2-2Dt\cos\phi+D^2)^{1/2}\sin^2\phi} \\&\qquad\qquad\qquad\qquad\qquad\qquad +\frac2{(t^2-2Dt\cos\phi+D^2)^{1/2}} \Bigg]_0^\rho\ . \end{aligned} $$ I have to submit, hope this is helpful to check with the own computations. I'll be back, but typing kills a lot of time.

Related Question