Well, here it is $$\int\int_{[0,1]^{2}}\sqrt{1+x^2+y^2}\mathrm dx\mathrm dy\tag*{}$$ Maybe there's a really nice way of doing it, hopefully someone knows. Good luck!
-
4There would be a very nice way if it was $$\int\int_{{x^2+y^2\leq 1}} \sqrt{1+x^2+y^2}dxdy = \int_0^1 \left(\sqrt{1+r^2}\right)2\pi r dr$$ – Michael Aug 27 '19 at 01:07
-
2If it helps, Mathematica says it is $\frac{1}{3} \left(\sqrt{3}+\log \left(4 \sqrt{3}+7\right)\right)-\frac{\pi }{18}$. – stochastic Aug 27 '19 at 01:09
-
3@Michael : You can use your method on $r \in [0,1]$ where $\theta \in [0,\pi/2]$, then for $r \in [1,\sqrt{2}]$, find that $\theta \in [\arccos 1/r, \pi/2 - \arccos 1/r]$. – Eric Towers Aug 27 '19 at 01:23
-
@stochastic : Nice! The value makes me think that there should be a decent antiderivative that would evaluate to something like this, it's nothing too extravagant or complicated. – Brian Constantinescu Aug 27 '19 at 03:40
2 Answers
We can do this integral in polar coordinates by recognizing a symmetry - divide the square in half by the line $y=x$. The integral on the top half will equal the integral on the bottom half, so we will do one of the integrals and multiply its value by 2.
$$\iint_{[0,1]^2}\sqrt{1+x^2+y^2}dA = \int_0^{\pi/4} \int_0^{\sec\theta}2r\sqrt{1+r^2}drd\theta = \frac{2}{3}\int_0^{\pi/4} (1+\sec^2\theta)^{3/2} - 1 d\theta$$ $$= \frac{2}{3}\int_0^{\pi/4} (1+\sec^2\theta)^{3/2} d\theta - \frac{\pi}{6}$$
Now focusing on the integral left over, do the following substitution $$1+\sec^2\theta = 2\cosh^2 t$$ $$\sec^2\theta \tan\theta d\theta = 2\cosh t \sinh t dt \implies d\theta = \frac{\sqrt{2}\cosh t}{\cosh 2t}dt$$ The integral becomes:
$$\frac{8}{3}\int_{0}^{\cosh^{-1}(\sqrt{3/2})} \frac{\cosh^4 t}{\cosh 2t}dt = \frac{8}{3}\int_{0}^{\cosh^{-1}(\sqrt{3/2})} \frac{\cosh^2 t + \cosh^2 t \sinh^2 t}{\cosh 2t}dt$$ $$ = \frac{2}{3}\int_{0}^{\cosh^{-1}(\sqrt{3/2})} \frac{2+ 2\cosh 2t + \sinh^2 2t}{\cosh 2t}dt $$$$= \frac{2}{3}\int_{0}^{\cosh^{-1}(\sqrt{3/2})} 2\text{ sech } 2t + 2 + \tanh 2t \sinh 2tdt$$ Integrating tanh sinh by parts, we get $$\frac{2}{3}\int_{0}^{\cosh^{-1}(\sqrt{3/2})} (\text{sech } 2t + 2)dt + \frac{1}{3}\sinh 2t = \frac{1}{3}\left[\tan^{-1}(\sinh 2t) + 4t + \sinh 2t \right]_{0}^{\cosh^{-1}(\sqrt{3/2})}$$ $$= \frac{1}{3}\left[\tan^{-1}(2u\sqrt{u^2-1}) + 4\cosh^{-1}(u) + 2u\sqrt{u^2-1}\right]_{1}^{\sqrt{3/2}} = \frac{1}{3}\left[\tan^{-1}(\sqrt{3}) + 4\cosh^{-1}(\sqrt{3/2}) + \sqrt{3}\right]$$ Simplifying and subtracting off the term from earlier, we get $$\frac{4}{3}\cosh^{-1}\left(\sqrt{\frac{3}{2}}\right) + \frac{1}{\sqrt{3}} - \frac{\pi}{18}$$
- 37,891
-
1Great! I had reverted to polar coordinates as well but I only plugged it into a calculator that had some really nasty steps to it. Your solution is much more elegant I appreciate it – Brian Constantinescu Aug 27 '19 at 13:07
-
1Would you mind if I include your solution to this problem into a larger post of mine in which this integral appears? I will be adding your name and a link to your work here on stack – Brian Constantinescu Aug 27 '19 at 13:12
-
1
-
1
-
Thank you for the kind words! That application of divergence theorem was amazing. – Ninad Munshi Aug 27 '19 at 21:52
-
1Cheers yo! There is an analogous version of divergence theorem to go from a double integral to a single integral as well, if you're interested to give it a try sometime. I mean, divergence theorem is really a restatement of Stokes theorem, which is really a restatement of the theorem of calculus -- its a very generalized process – Brian Constantinescu Aug 28 '19 at 03:29
If you use sostitution $\sqrt{x^2+y^2+1}=x+t$ squaring $x^2+y^2+1=x^2+2xt+t^2\iff x=\frac{y^2-t^2+1}{2t}$ and $dx=-\frac{y^2+t^2+1}{2t^2}dt $ So you have $$\int_0^1 \sqrt{x^2+y^2+1}dx=-\int_{\sqrt{y^2+1}}^{\sqrt{y^2+2}-1} \left(t+\frac{y^2-t^2+1}{2t}\right)\frac{y^2+t^2+1}{2t^2}dt$$ that is an easy fraction integral! Then solving the y-integral maybe you have to use another sostitution.
- 2,516
- 7
- 15
-
yep! the first integration with respect to either x or y shouldn't be too hard. However, this is a double integral, and what follows is fairly difficult to do in my case. – Brian Constantinescu Aug 27 '19 at 03:37