computation of surface area of portion of paraboloid

computation of surface area of portion of paraboloid

1

Statement of Problem

Using the result of the previous example we may, for

instance

, compute the area of the portion of paraboloid which lies below the plane

z

=

5

:

A

=

∫

d

2

⁢

A

=

∫

x

2

+

3

⁢

y

2

<

5

1

+

4

⁢

x

2

+

36

⁢

y

2

⁢

𝑑

x

⁢

𝑑

y

.

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

:

A

=

∫

-

5

/

3

+

5

/

3

∫

-

5

-

3

⁢

y

2

+

5

-

3

⁢

y

2

1

+

4

⁢

x

2

+

36

⁢

y

2

⁢

𝑑

x

⁢

𝑑

y

=

∫

-

5

/

3

+

5

/

3

[

x

2

⁢

1

+

4

⁢

x

2

+

36

⁢

y

2

+

9

⁢

y

2

⁢

log

⁡

(

2

⁢

x

+

1

+

4

⁢

x

2

+

36

⁢

y

2

)

]

-

5

-

3

⁢

y

2

+

5

-

3

⁢

y

2

⁢

𝑑

y

=

∫

-

5

/

3

+

5

/

3

{

(

5

-

3

⁢

y

2

)

⁢

(

21

+

24

⁢

y

2

)

+

9

⁢

y

2

⁢

log

⁡

(

21

+

24

⁢

y

2

+

2

⁢

5

-

3

⁢

y

2

21

+

24

⁢

y

2

-

2

⁢

5

-

3

⁢

y

2

)

}

⁢

𝑑

y

3

Notes about the multi-valued 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 multiply-valued 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 multiply-valued 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

+

4

⁢

x

2

+

36

⁢

y

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

2

⁢

x

+

1

+

4

⁢

x

2

+

36

⁢

y

2

=

0

,

or

4

⁢

x

2

=

1

+

4

⁢

x

2

+

36

⁢

y

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

+

36

⁢

y

2

Hence we can only encounter a branch point when

y

=

±

6

⁢

i

. 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

⁢

5

/

3

.

A

=

5

/

3

⁢

∫

-

1

+

1

{

105

⁢

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

y

2

)

+

25

⁢

t

2

⁢

log

⁡

(

21

+

40

⁢

t

2

+

2

⁢

5

⁢

(

1

-

t

2

)

21

+

40

⁢

t

2

-

2

⁢

5

⁢

(

1

-

t

2

)

)

}

⁢

𝑑

t

Furthermore, since the integrand is an

even function

of

t

, we may fold the range of integration on half:

A

=

2

⁢

5

/

3

⁢

∫

0

1

{

105

⁢

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

y

2

)

+

25

⁢

t

2

⁢

log

⁡

(

21

+

40

⁢

t

2

+

2

⁢

5

⁢

(

1

-

t

2

)

21

+

40

⁢

t

2

-

2

⁢

5

⁢

(

1

-

t

2

)

)

}

⁢

𝑑

t

For convenience of reference, let us write this result as

A

=

10

⁢

7

⁢

I

1

+

50

⁢

5

/

3

⁢

I

2

, where

I

1

=

∫

0

1

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

y

2

)

⁢

𝑑

t

and

I

2

=

∫

0

1

t

2

⁢

log

⁡

(

21

+

40

⁢

t

2

+

2

⁢

5

⁢

(

1

-

t

2

)

21

+

40

⁢

t

2

-

2

⁢

5

⁢

(

1

-

t

2

)

)

⁢

𝑑

t

.

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

=

∫

0

1

1

+

19

21

⁢

t

2

-

40

21

⁢

t

4

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

⁢

𝑑

t

.

To deal with the

t

4

in the numerator, we shall use a sneaky trick. First, we integrate by parts:

I

1

=

∫

0

1

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

⁢

𝑑

t

=

[

t

⁢

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

]

0

1

-

∫

0

1

t

⁢

38

21

⁢

t

-

160

21

⁢

t

3

2

⁢

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

⁢

𝑑

t

=

-

19

21

⁢

∫

0

1

t

2

⁢

d

⁢

t

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

+

80

21

⁢

∫

0

1

t

4

⁢

d

⁢

t

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

.

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

=

2

3

⁢

I

1

+

1

3

⁢

I

1

=

∫

0

1

2

+

19

21

⁢

t

2

3

⁢

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

⁢

𝑑

t

.

It is easy to re-express this in terms of

complete elliptic integrals

I

1

=

∫

0

1

61

40

+

19

40

⁢

(

1

+

40

21

⁢

t

2

)

3

⁢

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

⁢

𝑑

t

=

61

120

⁢

∫

0

1

d

⁢

t

(

1

-

t

2

)

⁢

(

1

+

40

21

⁢

t

2

)

+

19

40

⁢

∫

0

1

1

+

40

21

⁢

t

2

1

-

t

2

⁢

𝑑

t

=

1

3

⁢

K

⁢

(

-

40

21

)

+

2

3

⁢

E

⁢

(

-

40

21

)

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.

21

+

40

⁢

t

2

+

2

⁢

5

⁢

(

1

-

t

2

)

21

+

40

⁢

t

2

-

2

⁢

5

⁢

(

1

-

t

2

)

=

21

+

40

⁢

t

2

+

2

⁢

5

⁢

(

1

-

t

2

)

21

+

40

⁢

t

2

+

2

⁢

5

⁢

(

1

-

t

2

)

×

21

+

40

⁢

t

2

+

2

⁢

5

⁢

(

1

-

t

2

)

21

+

40

⁢

t

2

-

2

⁢

5

⁢

(

1

-

t

2

)

=

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

1

+

60

⁢

t

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:

I

2

=

∫

0

1

y

2

⁢

log

⁡

(

21

+

40

⁢

t

2

+

2

⁢

6

⁢

(

1

-

t

2

)

21

+

40

⁢

t

2

-

2

⁢

5

⁢

(

1

-

t

2

)

)

⁢

𝑑

t

=

∫

0

1

t

2

⁢

log

⁡

(

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

)

⁢

𝑑

t

-

∫

0

1

t

2

⁢

log

⁡

(

1

+

60

⁢

t

2

)

⁢

𝑑

t

For convenience, let us define the notation

I

2

=

I

3

-

I

4

, where

I

3

=

∫

0

1

t

2

⁢

log

⁡

(

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

)

⁢

𝑑

t

and

I

4

=

∫

0

1

t

2

⁢

log

⁡

(

1

+

60

⁢

t

2

)

⁢

𝑑

t

.

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

=

∫

0

1

t

2

⁢

log

⁡

(

1

+

60

⁢

t

2

)

⁢

𝑑

t

=

60

-

3

/

2

⁢

∫

0

60

t

2

⁢

log

⁡

(

t

2

+

1

)

⁢

𝑑

t

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

.

∫

0

60

t

2

⁢

log

⁡

(

t

2

+

1

)

⁢

𝑑

t

=

[

1

3

⁢

t

3

⁢

log

⁡

(

t

2

+

1

)

]

0

60

-

1

3

⁢

∫

0

60

t

3

t

2

+

1

⁢

𝑑

t

=

[

1

3

⁢

t

3

⁢

log

⁡

(

t

2

+

1

)

]

0

60

-

1

6

⁢

∫

0

60

s

2

s

+

1

⁢

𝑑

s

=

[

1

3

⁢

t

3

⁢

log

⁡

(

t

2

+

1

)

]

0

60

-

1

6

⁢

[

s

2

2

-

s

+

log

⁡

(

s

+

1

)

]

0

60

=

1

3

⁢

60

3

/

2

⁢

log

⁡

61

-

300

+

10

-

1

6

⁢

log

⁡

61

Hence, we have

I

4

=

1

3

⁢

log

⁡

61

-

15

10800

⁢

log

⁡

61

-

290

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:

I

3

=

∫

0

1

t

2

⁢

log

⁡

(

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

)

⁢

𝑑

t

=

1

3

⁢

∫

0

1

log

⁡

(

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

)

⁢

d

⁢

(

t

3

)

=

1

3

⁢

[

t

3

⁢

log

⁡

(

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

)

]

0

1

-

1

3

⁢

∫

0

1

t

3

⁢

40

⁢

t

+

4

⁢

(

38

⁢

t

-

160

⁢

t

3

)

/

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

⁢

𝑑

t

=

1

3

⁢

log

⁡

61

-

1

3

⁢

∫

0

1

t

4

⁢

40

+

(

152

-

640

⁢

t

2

)

/

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

⁢

𝑑

t

9

Simplifying a fraction

As we did once earlier, we may simplify the fraction by eliminating the radicals from the denominator.

40

+

(

152

-

640

⁢

t

2

)

/

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

=

1

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

×

152

-

640

⁢

t

2

+

40

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

=

1

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

×

152

-

640

⁢

t

2

+

40

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

41

+

20

⁢

t

2

+

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

×

⁢

41

+

20

⁢

t

2

-

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

41

+

20

⁢

t

2

-

8

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

=

-

488

-

29280

⁢

t

2

-

1280

⁢

t

4

+

(

-

1052

+

5920

⁢

t

2

)

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

(

337

-

1052

⁢

t

2

-

2160

⁢

t

4

)

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

This may be split into three terms like so:

-

1052

+

5920

⁢

t

2

337

-

1052

⁢

t

2

-

2160

⁢

t

4

+

16

27

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

-

18568

-

773728

⁢

t

2

27

⁢

(

337

-

1052

⁢

t

2

-

2160

⁢

t

4

)

⁢

(

21

+

40

⁢

t

2

)

⁢

(

1

-

t

2

)

Substituting this back into the integral, we obtain

I

3

=

1

3

⁢

log

⁡

3

-

1

3

⁢

∫

0

1

-

t

2

+

t

2

⁢

(

1

+

2

⁢

t

2

)

⁢

(

1

-

t

2

)

(

1

+

2

⁢

t

2

)

⁢

(

1

-

t

2

)

⁢

𝑑

t

=

1

3

⁢

log

⁡

3

-

1

3

⁢

∫

0

1

t

2

⁢

𝑑

t

+

1

3

⁢

∫

0

1

t

2

⁢

d

⁢

t

(

1

+

2

⁢

t

2

)

⁢

(

1

-

t

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.

I

3

=

1

3

⁢

log

⁡

3

-

1

9

+

1

3

⁢

∫

0

1

-

1

/

2

+

(

1

+

2

⁢

t

2

)

/

2

(

1

+

2

⁢

t

2

)

⁢

(

1

-

t

2

)

⁢

𝑑

t

=

1

3

⁢

log

⁡

3

-

1

9

-

1

6

⁢

∫

0

1

d

⁢

t

(

1

+

2

⁢

t

2

)

⁢

(

1

-

t

2

)

+

1

6

⁢

∫

0

1

1

+

2

⁢

t

2

1

-

t

2

⁢

𝑑

t

=

1

3

⁢

log

⁡

3

-

1

9

-

1

6

⁢

K

⁢

(

-

2

)

+

1

6

⁢

E

⁢

(

-

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

⁢

5

/

3

⁢

I

1

+

30

⁢

5

/

3

⁢

I

2

where

•

I

1

=

1

3

⁢

K

⁢

(

-

2

)

+

2

3

⁢

E

⁢

(

-

2

)

,

•

I

2

=

I

3

-

I

4

,

•

I

4

=

-

2

9

, and, most recently,

•

I

3

=

1

3

⁢

log

⁡

3

-

1

9

-

1

6

⁢

K

⁢

(

-

2

)

+

1

6

⁢

E

⁢

(

-

2

)

.

Combining these

equations

, we find that

I

2

=

1

3

⁢

log

⁡

3

+

1

9

-

1

6

⁢

K

⁢

(

-

2

)

+

1

6

⁢

E

⁢

(

-

2

)

,

hence

A

=

5

9

⁢

15

⁢

K

⁢

(

-

2

)

+

25

9

⁢

15

⁢

E

⁢

(

-

2

)

+

10

3

⁢

15

⁢

log

⁡

3

-

10

9

⁢

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.

http://planetmath.org/node/6660

main entry

http://planetmath.org/node/6672

previous example

Title

computation of surface area of portion of paraboloid

Canonical name

ComputationOfSurfaceAreaOfPortionOfParaboloid

Date of creation

2013-03-22 14:58:22

Last modified on

2013-03-22 14:58:22

Owner

rspuzio (6075)

Last modified by

rspuzio (6075)

Numerical id

61

Author

rspuzio (6075)

Entry type

Example

Classification

msc 28A75

Generated on Fri Feb 9 20:09:57 2018 by

LaTeXML