You are here
Homecomputation of surface area of portion of paraboloid
Primary tabs
computation of surface area of portion of paraboloid
1 Statement of Problem
2 Integration over $x$
Despite its innocuous appearance, this integral is actually rather difficult to compute. As a first step, we shall rewrite it as a double integral and perform the integration over $x$:
$\displaystyle A$  $\displaystyle=$  $\displaystyle\int_{{\sqrt{5/3}}}^{{+\sqrt{5/3}}}\int_{{\sqrt{53y^{2}}}}^{{+% \sqrt{53y^{2}}}}\sqrt{1+4x^{2}+36y^{2}}\,dx\,dy$  
$\displaystyle=$  $\displaystyle\int_{{\sqrt{5/3}}}^{{+\sqrt{5/3}}}\left[\frac{x}{2}\sqrt{1+4x^{% 2}+36y^{2}}+9y^{2}\log\left(2x+\sqrt{1+4x^{2}+36y^{2}}\right)\right]_{{\sqrt{% 53y^{2}}}}^{{+\sqrt{53y^{2}}}}\,dy$  
$\displaystyle=$  $\displaystyle\int_{{\sqrt{5/3}}}^{{+\sqrt{5/3}}}\left\{\sqrt{(53y^{2})(21+24% y^{2})}+9y^{2}\log\left(\frac{\sqrt{21+24y^{2}}+2\sqrt{53y^{2}}}{\sqrt{21+24y% ^{2}}2\sqrt{53y^{2}}}\right)\right\}\,dy$ 
3 Notes about the multivalued integrand and branches
Before proceeding further, it might be worthwhile to dwell on the subtleties involved in the last step of the calculation. Both the square root and the logarithm function are multiplyvalued so we need to make sure we are using the right branch of these functions in order to get a correct answer. In particular, when substituting the limits of integration into a multiplyvalued expression, we need to make sure whether or not we passed from one branch to another along the path of integration. In this case, it is easy to see that it did not change. For the branch of a function to change, the argument of the function must pass through a branch point (more generally, if we allow complex arguments, it may also encircle a branch point) In the case of a square root, the branch point occurs at zero. Now, the argument of the square root in our expression is $1+4x^{2}+36y^{2}$. It is clear that, as long as $y$ is not equal to zero, this expression cannot equal zero for any real value of $x$. Hence, it follows that the branch of the square root to be taken at the upper limit must be the same branch as was taken at the lower limit. (In our case, this is the positive branch.) This is why the first term works out as it does.
The second term needs a little more discussion because of the logarithm. Recall that the branch point of the logarithm is also located at zero. Thus we must ask whether the argument can equal zero along the path of integration. Setting it equal to zero, we find
$2x+\sqrt{1+4x^{2}+36y^{2}}=0,\mbox{ or}$ 
$4x^{2}=1+4x^{2}+36y^{2}.$ 
(It might be worth noting that the choice of sign of square root turns out to be irrelevant here because it is lost in the process of squaring.)
$0=1+36y^{2}$ 
Hence we can only encounter a branch point when $y=\pm 6i$. For any other value, we will use the same branch of the logarithm at the upper limit as at the lower limit. Hence, we arrived at our result for the second term.
4 A simple change of variables
We may simplify the appearance of our expression by making the change of variables $y=t\sqrt{5/3}$.
$A=\sqrt{5/3}\int_{{1}}^{{+1}}\left\{\sqrt{105\left(1t^{2}\right)\left(1+{40% \over 21}y^{2}\right)}+25t^{2}\log\left(\frac{\sqrt{21+40t^{2}}+2\sqrt{5(1t^{% 2})}}{\sqrt{21+40t^{2}}2\sqrt{5(1t^{2})}}\right)\right\}\,dt$ 
Furthermore, since the integrand is an even function of $t$, we may fold the range of integration on half:
$A=2\sqrt{5/3}\int_{0}^{1}\left\{\sqrt{105\left(1t^{2}\right)\left(1+\frac{40}% {21}y^{2}\right)}+25t^{2}\log\left(\frac{\sqrt{21+40t^{2}}+2\sqrt{5(1t^{2})}}% {\sqrt{21+40t^{2}}2\sqrt{5(1t^{2})}}\right)\right\}\,dt$ 
For convenience of reference, let us write this result as $A=10\sqrt{7}\,I_{1}+50\sqrt{5/3}\,I_{2}$, where
$I_{1}=\int_{0}^{1}\sqrt{\left(1t^{2}\right)\left(1+\frac{40}{21}y^{2}\right)}% \,dt$ 
and
$I_{2}=\int_{0}^{1}t^{2}\log\left(\frac{\sqrt{21+40t^{2}}+2\sqrt{5(1t^{2})}}{% \sqrt{21+40t^{2}}2\sqrt{5(1t^{2})}}\right)\,dt.$ 
5 The integral $I_{1}$
Since the argument of the square root is a quartic polynomial, the integral $I_{1}$ is an elliptic integral. Since the quartic has distinct roots, it is not possible to evaluate this integral in tems of elementary functions. The best we can do is to express it in terms of the standard elliptic integrals $E$ and $K$. To begin, we shall write the square root at the quotient of the square by the root
$I_{1}=\int_{0}^{1}\frac{1+\frac{19}{21}t^{2}\frac{40}{21}t^{4}}{\sqrt{\left(1% t^{2}\right)\left(1+\frac{40}{21}t^{2}\right)}}\,dt.$ 
To deal with the $t^{4}$ in the numerator, we shall use a sneaky trick. First, we integrate by parts:
$\displaystyle I_{1}$  $\displaystyle=$  $\displaystyle\int_{0}^{1}\sqrt{\left(1t^{2}\right)\left(1+\frac{40}{21}t^{2}% \right)}\,dt$  
$\displaystyle=$  $\displaystyle\left[t\sqrt{\left(1t^{2}\right)\left(1+\frac{40}{21}t^{2}\right% )}\right]_{0}^{1}\int_{0}^{1}t\frac{\frac{38}{21}t\frac{160}{21}t^{3}}{2% \sqrt{\left(1t^{2}\right)\left(1+\frac{40}{21}t^{2}\right)}}\,dt$  
$\displaystyle=$  $\displaystyle\frac{19}{21}\int_{0}^{1}\frac{t^{2}\,dt}{\sqrt{\left(1t^{2}% \right)\left(1+\frac{40}{21}t^{2}\right)}}+\frac{80}{21}\int_{0}^{1}\frac{t^{4% }\,dt}{\sqrt{\left(1t^{2}\right)\left(1+\frac{40}{21}t^{2}\right)}}.$ 
Next, we form the linear combination of our two expressions for $I_{1}$ which is designed to make the term with the $t^{4}$ in the numerator cancel.
$I_{1}=\frac{2}{3}I_{1}+\frac{1}{3}I_{1}=\int_{0}^{1}\frac{2+\frac{19}{21}t^{2}% }{3\sqrt{\left(1t^{2}\right)\left(1+\frac{40}{21}t^{2}\right)}}\,dt.$ 
It is easy to reexpress this in terms of complete elliptic integrals
$\displaystyle I_{1}$  $\displaystyle=$  $\displaystyle\int_{0}^{1}\frac{\frac{61}{40}+\frac{19}{40}\left(1+\frac{40}{21% }t^{2}\right)}{3\sqrt{\left(1t^{2}\right)\left(1+\frac{40}{21}t^{2}\right)}}% \,dt$  
$\displaystyle=$  $\displaystyle\frac{61}{120}\int_{0}^{1}\frac{dt}{\sqrt{\left(1t^{2}\right)% \left(1+\frac{40}{21}t^{2}\right)}}+\frac{19}{40}\int_{0}^{1}\sqrt{\frac{1+% \frac{40}{21}t^{2}}{1t^{2}}}\,dt$  
$\displaystyle=$  $\displaystyle\frac{1}{3}\,K\left(\sqrt{\frac{40}{21}}\right)+\frac{2}{3}\,E% \left(\sqrt{\frac{40}{21}}\right)$ 
6 The integral $I_{2}$
We now turn our attention to the integral $I_{2}$. We will start by removing the radicals from the denominator of the argument of the logarithm.
$\displaystyle\frac{\sqrt{21+40t^{2}}+2\sqrt{5(1t^{2})}}{\sqrt{21+40t^{2}}2% \sqrt{5(1t^{2})}}$  
$\displaystyle=$  $\displaystyle\frac{\sqrt{21+40t^{2}}+2\sqrt{5(1t^{2})}}{\sqrt{21+40t^{2}}+2% \sqrt{5(1t^{2})}}\times\frac{\sqrt{21+40t^{2}}+2\sqrt{5(1t^{2})}}{\sqrt{21+4% 0t^{2}}2\sqrt{5(1t^{2})}}$  
$\displaystyle=$  $\displaystyle\frac{41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2})}}{1+60t^{2}}$ 
Substituting this simplified expression back into the integral and using the fact that the logarithm of a quotient equals the difference of logarithms, we obtain the following:
$\displaystyle I_{2}$  $\displaystyle=$  $\displaystyle\int_{0}^{1}y^{2}\log\left(\frac{\sqrt{21+40t^{2}}+2\sqrt{6(1t^{% 2})}}{\sqrt{21+40t^{2}}2\sqrt{5(1t^{2})}}\right)\,dt$  
$\displaystyle=$  $\displaystyle\int_{0}^{1}t^{2}\log\left(41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2}% )}\right)\,dt\int_{0}^{1}t^{2}\log(1+60t^{2})\,dt$ 
For convenience, let us define the notation $I_{2}=I_{3}I_{4}$, where
$I_{3}=\int_{0}^{1}t^{2}\log\left(41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2})}% \right)\,dt$ 
and
$I_{4}=\int_{0}^{1}t^{2}\log(1+60t^{2})\,dt.$ 
7 The integral $I_{4}$
Since it can be evaluated in terms of elementary functions rather easily, let us now dispose of the integral $I_{4}$. Begin by rescaling the variable:
$I_{4}=\int_{0}^{1}t^{2}\log(1+60t^{2})\,dt=60^{{3/2}}\int_{0}^{{\sqrt{60}}}t^% {2}\log(t^{2}+1)\,dt$ 
We may turn this into the integration of a rational function by integrating by parts. Then we may make a change of variable $s=t^{2}$.
$\displaystyle\int_{0}^{{\sqrt{60}}}t^{2}\log(t^{2}+1)\,dt$  $\displaystyle=$  $\displaystyle\left[\frac{1}{3}t^{3}\log(t^{2}+1)\right]_{0}^{{\sqrt{60}}}% \frac{1}{3}\int_{0}^{{\sqrt{60}}}\frac{t^{3}}{t^{2}+1}\,dt$  
$\displaystyle=$  $\displaystyle\left[\frac{1}{3}t^{3}\log(t^{2}+1)\right]_{0}^{{\sqrt{60}}}% \frac{1}{6}\int_{0}^{{60}}\frac{s^{2}}{s+1}\,ds$  
$\displaystyle=$  $\displaystyle\left[\frac{1}{3}t^{3}\log(t^{2}+1)\right]_{0}^{{\sqrt{60}}}% \frac{1}{6}\left[\frac{s^{2}}{2}s+\log(s+1)\right]_{0}^{{60}}$  
$\displaystyle=$  $\displaystyle\frac{1}{3}60^{{3/2}}\log 61300+10\frac{1}{6}\log 61$ 
Hence, we have
$I_{4}=\frac{1}{3}\log 61\frac{\sqrt{15}}{10800}\log 61290$ 
8 Using integration by parts to eliminate a logarithm
The integral $I_{3}$ may be simplified by using integration by parts to get rid of the logarithm in the integrand:
$\displaystyle I_{3}$  $\displaystyle=$  $\displaystyle\int_{0}^{1}t^{2}\log\left(41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2}% )}\right)\,dt$  
$\displaystyle=$  $\displaystyle\frac{1}{3}\int_{0}^{1}\log\left(41+20t^{2}+8\sqrt{(21+40t^{2})(1% t^{2})}\right)\,d(t^{3})$  
$\displaystyle=$  $\displaystyle\frac{1}{3}\left[t^{3}\log\left(41+20t^{2}+8\sqrt{(21+40t^{2})(1% t^{2})}\right)\right]_{0}^{1}$  
$\displaystyle\frac{1}{3}\int_{0}^{1}t^{3}\,\frac{40t+4(38t160t^{3})/\sqrt{(21% +40t^{2})(1t^{2})}}{41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2})}}\,dt$  
$\displaystyle=$  $\displaystyle\frac{1}{3}\log 61\frac{1}{3}\int_{0}^{1}t^{4}\frac{40+(152640t% ^{2})/\sqrt{(21+40t^{2})(1t^{2})}}{41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2})}}% \,dt$ 
9 Simplifying a fraction
As we did once earlier, we may simplify the fraction by eliminating the radicals from the denominator.
$\displaystyle\frac{40+(152640t^{2})/\sqrt{(21+40t^{2})(1t^{2})}}{41+20t^{2}+% 8\sqrt{(21+40t^{2})(1t^{2})}}$  
$\displaystyle=$  $\displaystyle\frac{1}{\sqrt{(21+40t^{2})(1t^{2})}}\times\frac{152640t^{2}+40% \sqrt{(21+40t^{2})(1t^{2})}}{41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2})}}$  
$\displaystyle=$  $\displaystyle\frac{1}{\sqrt{(21+40t^{2})(1t^{2})}}\times\frac{152640t^{2}+40% \sqrt{(21+40t^{2})(1t^{2})}}{41+20t^{2}+8\sqrt{(21+40t^{2})(1t^{2})}}\times$  
$\displaystyle\qquad\frac{41+20t^{2}8\sqrt{(21+40t^{2})(1t^{2})}}{41+20t^{2}% 8\sqrt{(21+40t^{2})(1t^{2})}}$  
$\displaystyle=$  $\displaystyle\frac{48829280t^{2}1280t^{4}+(1052+5920t^{2})\sqrt{(21+40t^{2% })(1t^{2})}}{(3371052t^{2}2160t^{4})\sqrt{(21+40t^{2})(1t^{2})}}$ 
This may be split into three terms like so:
$\displaystyle\frac{1052+5920t^{2}}{3371052t^{2}2160t^{4}}$  $\displaystyle+$  $\displaystyle\frac{16}{27\sqrt{(21+40t^{2})(1t^{2})}}$  
$\displaystyle$  $\displaystyle\frac{18568773728t^{2}}{27(3371052t^{2}2160t^{4})\sqrt{(21+40t% ^{2})(1t^{2})}}$ 
Substituting this back into the integral, we obtain
$\displaystyle I_{3}$  $\displaystyle=$  $\displaystyle\frac{1}{3}\log 3\frac{1}{3}\int_{0}^{1}\frac{t^{2}+t^{2}\sqrt{% (1+2t^{2})(1t^{2})}}{\sqrt{(1+2t^{2})(1t^{2})}}\,dt$  
$\displaystyle=$  $\displaystyle\frac{1}{3}\log 3\frac{1}{3}\int_{0}^{1}t^{2}\,dt+\frac{1}{3}% \int_{0}^{1}\frac{t^{2}\,dt}{\sqrt{(1+2t^{2})(1t^{2})}}$ 
As for the first integral, it is elementary. As for the second integral, we shall express it in terms of standard elliptic integrals just as we did with $I_{1}$ earlier.
$\displaystyle I_{3}$  $\displaystyle=$  $\displaystyle\frac{1}{3}\log 3\frac{1}{9}+\frac{1}{3}\int_{0}^{1}\frac{1/2+(% 1+2t^{2})/2}{\sqrt{(1+2t^{2})(1t^{2})}}\,dt$  
$\displaystyle=$  $\displaystyle\frac{1}{3}\log 3\frac{1}{9}\frac{1}{6}\int_{0}^{1}\frac{dt}{% \sqrt{(1+2t^{2})(1t^{2})}}+\frac{1}{6}\int_{0}^{1}\sqrt{\frac{1+2t^{2}}{1t^{% 2}}}\,dt$  
$\displaystyle=$  $\displaystyle\frac{1}{3}\log 3\frac{1}{9}\frac{1}{6}K(\sqrt{2})+\frac{1}{6}% E(\sqrt{2})$ 
10 Endgame
Having done all the work, all that remains is to collect the pieces and arrive at an expression for the area of our paraboloid. Recall that
$A=20\sqrt{5/3}\,I_{1}+30\sqrt{5/3}\,I_{2}$ 
where

$I_{1}=\frac{1}{3}\,K(\sqrt{2})+\frac{2}{3}\,E(\sqrt{2})$,

$I_{2}=I_{3}I_{4}$,

$I_{4}=\frac{2}{9}$, and, most recently,

$I_{3}=\frac{1}{3}\log 3\frac{1}{9}\frac{1}{6}K(\sqrt{2})+\frac{1}{6}E(\sqrt% {2})$.
Combining these equations, we find that
$I_{2}=\frac{1}{3}\log 3+\frac{1}{9}\frac{1}{6}K(\sqrt{2})+\frac{1}{6}E(\sqrt% {2}),$ 
hence
$A=\frac{5}{9}\sqrt{15}\,K(\sqrt{2})+\frac{25}{9}\sqrt{15}E(\sqrt{2})+\frac{1% 0}{3}\sqrt{15}\log 3\frac{10}{9}\sqrt{15}.$ 
11 Closing Remarks
In many ways, the complexities of the present calculation are typical of what happens when one attempts to compute even the simplest of integrals with respect to area explicitly. Because of the square root which appears in the fomulae for reducing integrals with respect to surface area, one is faced with the evaluation of a double integral involving a square root. This can easily lead to elliptic integrals and even more complicated entities such as hyperelliptic integrals.
Quick links:
Mathematics Subject Classification
28A75 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
 Corrections