Next Article in Journal
Deep Cross-Project Software Reliability Growth Model Using Project Similarity-Based Clustering
Next Article in Special Issue
The STEM Methodology and Graph Theory: Some Practical Examples
Previous Article in Journal
Safety Evaluation of Arch Dam Subjected to Underwater Contact Explosion
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Do It by Yourself: An Instructional Derivation of the Laplacian Operator in Spherical Polar Coordinates

by
Ana Laura Pérez-Martínez
1,
Maria del Pilar Aguilar-Del-Valle
2 and
Arturo Rodríguez-Gomez
2,*
1
Facultad de Ingeniería, DCB, Universidad Nacional Autónoma de México, Ciudad de México 04510, Mexico
2
Instituto de Física, Universidad Nacional Autónoma de México, Circuito de la Investigación Científica s/n, A.P. 20-364, Ciudad de México 04510, Mexico
*
Author to whom correspondence should be addressed.
Mathematics 2021, 9(22), 2943; https://doi.org/10.3390/math9222943
Submission received: 18 October 2021 / Revised: 11 November 2021 / Accepted: 12 November 2021 / Published: 18 November 2021
(This article belongs to the Special Issue Mathematics as the M in STEM Education)

Abstract

:
For scientists and engineers, the Laplacian operator is a fundamental tool that has made it possible to carry out important frontier studies involving wave propagation, potential theory, heat conduction, the distribution of stresses in a deformable solid and quantum mechanics. Knowing, understanding, and manipulating the Laplacian operator allows us to tackle complex and exciting physics, chemistry, and engineering problems. In this paper, contained in the Special Issue “Mathematics as the M in STEM Education”, we present an instructional derivation of the Laplacian operator in spherical coordinates. Our derivation is self-contained and employs well-known mathematical concepts used in all science, technology, engineering, and mathematics (STEM) disciplines. Our lengthy but straightforward procedure shows that this fundamental tool in mathematics is not intractable but accessible to anyone who studies any of the STEM disciplines. We consider that this work may be helpful for students and teachers who wish to discuss the derivation of this vital tool from an elementary approach in their courses.

1. Introduction

The acronym STEM stands for science, technology, engineering, and mathematics. Surprisingly, in STEM, math appears as a separate area and at the very end; this is possibly because, that way, the acronym is easier to remember and sounds better. However, it is not difficult to identify that, factually, mathematics is present in each discipline that makes up the STEM acronym. It is complicated to imagine a programming specialist who does not extensively use mathematics. The same is true for a physicist, a chemist, or any bachelor’s degree in engineering.
The number of branches studied and investigated in mathematics is enormous and continues to grow. However, a good part of the mathematics belonging to science, technology, and engineering (STE) is literally used as a tool to solve specific problems. In this regard, there are mathematical tools that, due to their “generality”, are present in all fields of STE, such as arithmetic, or basic algebra. Nevertheless, it is also possible to find “more sophisticated” mathematical tools that, in the same way, are present in all science, technology and engineering disciplines, such as in the case of the Laplacian operator.
The Laplacian operator is a differential operator that accepts one function and returns another. Usually, we find the Laplacian operator in partial differential equations. In fact, most of the time, we find it operating on the unknown function of the differential equation in question. It is precisely for this reason that its applications are wide and varied. Among these are fluid dynamics and heat conduction [1], electromagnetism [2,3], modern physics [4,5,6,7], condensed matter [8], general relativity [9], structure of matter [10] and quantum mechanics [11,12,13,14].
When one faces the task of solving a partial differential equation, the first thing to try is to propose a solution function composed of the multiplication of single-variable functions. When that is possible, the partial differential equation can be decomposed into a set of ordinary differential equations, which are more accessible to solve and whose solutions constitute the solution of the original partial differential equation. On many occasions, the above decomposition is NOT possible in a certain coordinate system, but it is possible in another. Therefore, it is advantageous to know the forms this differential operator (Laplacian) can take in different coordinate systems.
There are many spherical symmetries present in our universe; therefore, it is of particular interest to the science, technology, and engineering disciplines to know and understand the Laplacian operator’s form in spherical polar coordinates. Its correct use has led to the generation of essential knowledge for humanity. For example, the quantum mechanical interpretation of the periodic table would not have been possible without the analytical solution of the Schrödinger equation for the hydrogen atom and the subsequent self-consistent calculations proposed by Hartree for multielectron atoms [15,16,17]. The Laplacian in spherical coordinates is also necessary for designing devices that involve beams of charged particles and in various electrostatic problems [18,19].
With the above examples, the reader might not be wholly convinced of the ubiquity of the Laplacian in STEM areas. However, talking purely about technology, it is imperative to mention that the Laplacian operator is a fundamental tool for image processing, which allows the quality of thousands of products worldwide to be controlled. In its discretized form in spherical coordinates, the Laplacian operator can process images from fisheye cameras [20], which would be very useful in video surveillance systems. The technological applications do not end there. In atmospheric sciences, the Laplacian operator in spherical coordinates is used to make models that allow us to determine how the shape of raindrops changes. It is important to know these oscillations in shape because they can influence the propagation of electromagnetic radiation used in telecommunications [21]. The list could go on; however, what is evident is that knowing, understanding, and manipulating the Laplacian operator provides scientists and engineers with a powerful tool that allows them to tackle interesting problems related to the STEM disciplines. In our experience as teachers, we have perceived that, although the tool is contained in multiple math software, graphing calculators, and a plethora of math formula handbooks, knowing the guts of its origin allows students to handle the operator with much more skill. Therefore, this paper presents an instructional and full-fledged derivation of the Laplacian operator in spherical polar coordinates starting from the Laplacian operator in rectangular coordinates. Although the subject has been extensively treated within the literature, here, we present it with an approach that attempts to reconcile the lack of detail with which most popular books on mathematics and physics address it [22,23], with the “sophistication” of shorter derivations that make use of non-trivial concepts such as the theory of complex variable [24], or the total angular momentum operator [25]. The strategy we follow was developed over several years of experience in teaching courses in mathematics, quantum physics, the structure of matter, electron microscopy, computer-aided design, and resistance of materials. Our self-contained procedure uses standard mathematical tools available from the second year of undergraduate studies. In addition, detailed explanations are implicitly included to attempt to solve doubts that recurrently appear during our courses. We believe that this work could be helpful for the self-taught student and for academics who wish to present it fully to students whose work involves using this important tool.

2. Discussion

We start by recalling the Nabla operator:
= x i ^ + y j ^ + z k ^
The above expression tells us that, if we apply the Nabla operator to a scalar function f, we obtain a vector that indicates the direction of maximum increment of the function f. Meanwhile, the Laplacian operator is the divergence of the gradient of a scalar function, that is,
2 = ·
If we apply the Laplacian to a scalar function, we have a scalar.
2 f ( x , y , z ) =   2 f x 2 + 2 f y 2 + 2 f z 2 = SCALAR  
We should identify that, in this last expression, the unit vectors i ^ , j ^ , k ^ no longer appear and the results of the three-second partial derivatives are added. Consequently, the Laplacian operator in spherical polar coordinates also has to give us a scalar quantity. Unfortunately, the Laplacian operator of a function that depends on “r, θ” and “ϕ” is NOT obtained by applying the definition of the Laplacian in rectangular coordinates.
  2 f r , θ , ϕ = 2 f r 2 + 2 f θ 2 + 2 f ϕ 2
In order to derive the definition of the Laplacian operator in spherical polar coordinates, it is necessary to apply some simple rules of differential calculus with which every high school student is familiar.
In rectangular coordinates, we have that 2 f   ( x ,   y ,   z ) = 2 f x 2 + 2 f y 2 + 2 f z 2 , when f depends on x, y, z; however, we should carry out a coordinate change when f depends on “r,” “θ” and “ϕ”, i.e., spherical polar coordinates. This change of coordinates can be treated as a variable change in the function we seek to derive. Let us recall the chain rule using Leibniz’s notation:
df dx = df du   du dx
The above rule tells us that, if, initially, f is a function of x and we make a change in the variable from x to u, then we have to derive f u d u and multiply by the derivative of u with respect to x d u d x .
When we change variables from x, y, z to r, θ, ϕ, we have to identify that each rectangular variable is expressed using the three spherical variables. In other words, to describe the x coordinate in spherical coordinates, one has to give a value for r, another for θ and another for ϕ; the same occurs for y and z coordinates. Therefore, to find the derivative of f r , θ , ϕ with respect to x, we apply the chain rule three times. The same is true for y and for z. Let us see that
f x = f r r x + f θ θ x + f ϕ ϕ x f y = f r r y + f θ θ y + f ϕ ϕ y f z = f r r z + f θ θ z + f ϕ ϕ z
Let us identify that the derivatives of the “new” variables with respect to the “old” ones are nine quantities that we must calculate to obtain the Laplacian operator in spherical polar coordinates. Those derivatives are: r x   ,   θ x   ,   ϕ x   ,   r y   ,   θ y   ,   ϕ y   ,   r z   ,   θ z   and ϕ z .
To carry out this task, we must first express r, θ, ϕ in terms of x, y, z and vice versa, i.e., to pose the coordinate transformations. Figure 1 shows a point P in a three-dimensional space where the coordinates x, y, z, and r, θ, ϕ are indicated for the same point.
We can relate the x, y, z coordinates with r, θ, ϕ using the different colored triangles that appear in Figure 1. Using the same color code, we can redraw, in 2D, the triangles of Figure 1, as indicated in Figure 2 and Figure 3.
From Figure 2, it is easy to identify that the change of coordinates from x, y, z to r, θ, ϕ is as follows:
x = r sin θ cos ϕ y = r sin θ sin ϕ z = r cos θ
To express r, θ, ϕ in terms of x, y, z, we can also use Figure 2 and Figure 3. From Figure 2, it is possible to identify that ρ2 = x2 + y2 and, from Figure 3, one can observe that ρ2 + z2 = r2; consequently, we can write
r 2 = x 2 + y 2 + z 2
Using Figure 2, we can also write
cos θ = z r     θ = cos 1   z x 2 + y 2 + z 2 1 2
and
tan ϕ = y x     ϕ = tan 1 y x
We are now able to fully express the transformations from rectangular to spherical coordinates and vice versa.
x = r sin θ cos ϕ r = x 2 + y 2 + z 2 y = r sin θ sin ϕ ; θ = cos 1   z x 2 + y 2 + z 2 1 2 z = r cos θ ϕ = tan 1 y x
With the coordinate transformations of Equation (2), we can calculate the nine derivatives of the “new variables” (r, θ, ϕ) with respect to the “old variables” (x, y, z). Let us start with r x :
r x = x x 2 + y 2 + z 2
Let us make a change of variable as follows: u = x 2 + y 2 + z 2 , then we have u u   u x .
u u = 1 2   u 1 2 = 1 2 u 1 2 = 1 2 u u x = x 2 + y 2 + z 2 x = 2 x u u u x = 1 2 u     2 x = 2 x 2 x 2 + y 2 + z 2 = x x 2 + y 2 + z 2
Therefore,
r x = x r
By symmetry, we can anticipate that the calculations for r y and r z are exactly as the previous one; therefore,
r y = y r ;   r z = z r
Let us continue with θ x .
θ x = x cos 1 z x 2 + y 2 + z 2 1 2   = x cos 1   z r
By implicit derivation, it is known that the derivative of the arc cosine is defined as follows:
d dx ( cos 1 (   f   ) ) = d     f   dx 1   f   2  
For our case, we have to perform the following:
x cos 1   z r = x z r 1 z r 2 x z r = x z x 2 + y 2 + z 2
Let us make a change of variable as follows: u = x 2 + y 2 + z 2 , hence we have to calculate z u u   u x .
z u u = z u 1 2 u = 1 2 z   u 3 2 = z 2 u 3 2
We know that u 1 2 = r ; then,
z u u = z 2 u 1 2 u 1 2 u 1 2 = z 2 r 3 u x = x x 2 + y 2 + z 2 = 2 x z u u   u x = z 2 r 3   2 x = z   x r 3
We insert this last result in the expression for the derivative of the arc cosine and we have
x cos 1   z r = x z r 1 z r 2 = z   x r 3 1 z r 2
Negative signs cancel out and it results
θ x = zx r 3 1 z r 2
Remember that z = r cos θ and x = r sin θ cos ϕ , while z r = cos θ ; thus,
θ x = ( r cos θ ) ( r sin θ cos ϕ ) r 3 1 cos 2 θ
Since sin 2 θ + cos 2 θ = 1 , then sin 2 θ = 1 cos 2 θ and sin θ = 1 cos 2 θ ; therefore,
θ x = ( r cos θ ) ( r sin θ cos ϕ ) r 3 sin θ = cos θ cos ϕ r
Therefore,
θ x = cos θ cos ϕ r
Let us continue with θ y .
θ y = y cos 1   z x 2 + y 2 + z 2   = y cos 1   z r
Using the definition for the derivative of the arc cosine, we have
d dy ( cos 1 (   f   ) ) = d     f   dy 1   f   2  
Applying it to our case,
y cos 1   z r = y z r 1 z r 2
For y z r , we do not repeat the derivative because the procedure is exactly the same as that for the variable x. We just have to substitute x for y. Therefore,
y z r = z   y r 3
Inserting this result into the expression for the derivative of the arc cosine, we have
y cos 1   z r = y z r 1 z r 2 = z y r 3 1 z r 2  
We know that z = r cos θ ;   y = r sin θ sin ϕ ; z r = cos θ ; sin θ = 1 cos 2 θ . The last expression we rewrite as follows:
θ y = ( r cos θ ) ( r sin θ sin ϕ ) r 3 sin θ = cos θ sin ϕ r
Whereby,
θ y = cos θ sin ϕ r
Now, we carry out the corresponding procedure for θ z .
θ z = z cos 1   z x 2 + y 2 + z 2   = z cos 1   z r
Again, we use the definition for the derivative of the arc cosine.
d dz ( cos 1 (   f ) ) = d     f dz 1   f   2  
Applying it to our case, we have
z cos 1   z r = z z r 1 z r 2
We know that z r = cos θ ; then the denominator is 1 cos 2 θ   . We know that sin θ = 1 cos 2 θ ; so, from now on, we can write
z cos 1   z r = z z r sin θ
In the previous cases, z was a constant and left the derivative. Now, we have that z is a variable, so we have to use the quotient rule for derivatives. Let us remember the quotient rule.
Let f x = g x h x then its derivative is: d dx f x = g x h x g x h   ( x ) h x 2 .
So, for our case, we have
z z r = z r ( z ) ( r ) r 2 = r z z x 2 + y 2 + z 2 x 2 + y 2 + z 2
Let us perform separately the only partial derivative that appears in the numerator:
z x 2 + y 2 + z 2
We use the following variable change: u = x 2 + y 2 + z 2 , then:
z = u du u z u u = 1 2 u 1 2 u z = 2 z u du u z = 1 2 u 1 2   2 z z x 2 + y 2 + z 2 = z x 2 + y 2 + z 2 = z r
We insert this last result in the quotient expression to have:
z z r = r   z z r r 2 = r   z 2 r r 2
Remember that z = r cos θ ; thus,
z z r = r   z 2 r r 2 = r r 2 cos 2 θ r r 2 = r   r cos 2 θ r 2
Dividing the numerator and denominator by r, we have
z z r = 1 cos 2 θ r = sin 2 θ r
We insert this last result in the expression for the original derivative of the arcsine and we have:
z cos 1   z r = z z r sin θ = sin 2 θ r sin θ = sin θ r
Which it turns out that:
θ z = sin θ r
Now we should perform a similar procedure for variable ϕ derivatives.
Let’s start with ϕ x
ϕ x = x tan 1 y x
We make a change of variable: u = y x , then:
ϕ x = x tan 1 y x = u tan 1 u   u x
For u tan 1 u , let us remember that there is a formula for the derivative of the tangent arc of a function, which is
d dx tan 1 x = 1 x 2 + 1
So, in our case, it is applied directly.
u tan 1 u = 1 u 2 + 1
Meanwhile u x = x y x = y x x 1 = y x 2 = y x 2
Substituting both results in our original expression we have:
ϕ x = x tan 1 y x = u tan 1 u   u x =   1 y x 2 + 1   y x 2   ϕ x = y x 2 1 + y 2 x 2 = y x 2 + y 2
Recall again that y = r sin θ sin ϕ and x = r sin θ cos ϕ   , then we have:
ϕ x = y x 2 + y 2 = r sin θ sin ϕ r 2 sin θ 2 θ cos 2 ϕ + ( r 2 sin 2 θ sin 2 ϕ )  
Factoring the denominator,
ϕ x = r sin θ sin ϕ r 2 sin 2 θ   ( cos 2 ϕ + sin 2 ϕ )
where cos 2 ϕ + sin 2 ϕ = 1
ϕ x = r sin θ sin ϕ r 2 sin 2 θ = sin ϕ r sin θ
So, we can write the following:
ϕ x = sin ϕ r sin θ
We continue now with ϕ y .
ϕ y = y tan 1 y x
Again, we make a change of variable u = y x , to have:
ϕ y = y tan 1 y x = u tan 1 u   u y u tan 1 u = 1 u 2 + 1 u y = 1 x ( y ) y = 1 x
Substituting both results in our original expression:
ϕ y = y tan 1 y x = u tan 1 u   u y = 1 y x 2 + 1   1 x ϕ y = 1 x 1 + y 2 x 2 = 1 x + y 2 x
Multiplying by x numerator and denominator,
ϕ y = x x 2 + y 2
Recall again that y = r sin θ sin ϕ and x = r sin θ cos ϕ ,
ϕ y = x x 2 + y 2 = r sin θ cos ϕ r 2 sin 2 θ cos 2 ϕ + ( r 2 sin 2 θ sin 2 ϕ )
Factoring the denominator,
ϕ y = r sin θ cos ϕ r 2 sin 2 θ   ( cos 2 ϕ + sin 2 ϕ )
where cos 2 ϕ + sin 2 ϕ = 1 .
ϕ y = r   sin θ   cos ϕ r 2   sin 2 θ = cos ϕ r   sin θ
Therefore, we have
ϕ y = cos ϕ r   sin θ
Finally, for ϕ z , we have
ϕ z = z tan 1 y x
Since the variable z does not appear in the expression, then tan 1 y x is constant; therefore, we can write
ϕ z = 0
So far, we calculated the nine derivatives of the “new” variables with respect to the “old” ones. We present them together in Equation (3).
r x = x r ; r y = y r ; r z = z r θ x = 1 r ( cos θ cos ϕ ) ; θ y = 1 r ( cos θ   sin ϕ ) ; θ z = 1 r ( sin θ ) ϕ x = 1 r   sin ϕ sin θ ; ϕ y = 1 r cos ϕ sin θ ; ϕ z = 0
We should now use the nine equations presented in Equation (3) into the Equation (1).
Let us start with f x .
f x = f r r x + f θ θ x + f ϕ ϕ x
Substituting r x ;   θ x ;   ϕ x , we have:
f x = x r   f r + 1 r ( cos θ cos ϕ )   f θ 1 r sin ϕ sin θ f ϕ
Let us notice that, on the right side of the above equation, we still have one of the “old” variables, which is x. Therefore, we need to replace it using the coordinate transformation that we presented in Equation (2).
f x = sin θ cos ϕ f r + 1 r ( cos θ   cos ϕ )   f θ 1 r sin ϕ sin θ f ϕ
In the last expression for f x , we derive f with respect to x. Now, we can express it as an operator, so that it “operates” on whatever function appearing to its right. For this, it is only necessary to remove the function f.
x = sin θ cos ϕ r + 1 r cos θ cos ϕ θ 1 r sin ϕ sin θ ϕ
Let us continue with f y .
f y = f r r y + f θ θ y + f ϕ ϕ y
Substituting r y ;   θ y ;   ϕ y   , we have
f y = y r f r + 1 r cos θ   sin ϕ f θ + 1 r cos ϕ sin θ f ϕ
Let us replace y = r   sin θ   sin ϕ .
f y = r   sin θ sin ϕ r f r + 1 r cos θ   sin ϕ f θ + 1 r   cos ϕ sin θ f ϕ
Converting this last expression to an operator,
y = sin θ sin ϕ r + 1 r cos θ sin ϕ θ + 1 r cos ϕ sin θ ϕ
We repeat the procedure for f z .
f z = f r r z + f θ θ z + f ϕ ϕ z
Substituting r z ;   θ z ;   ϕ z , we have
f z = z r f r 1 r sin θ f θ + 0
Replacing z with z = r cos θ , we have
f z = cos θ f r 1 r sin θ f θ
Converting expression to operator,
z = cos θ r 1 r sin θ θ
Now, writing the three operators x   ;   y   ;   z ,
x = sin θ cos ϕ r + 1 r cos θ cos ϕ θ 1 r sin ϕ sin θ ϕ y = sin θ sin ϕ r + 1 r cos θ sin ϕ θ + 1 r cos ϕ sin θ ϕ z = cos θ r 1 r sin θ θ
Let us recall the Laplacian operator in rectangular coordinates:
2 = 2 x 2 + 2 y 2 + 2 z 2
The Laplacian operates “twice” on the scalar function. We can interpret it as a “multiplication” of two Nabla operators.
We use the same concept to obtain the Laplacian operator in spherical coordinates. To make this procedure easily digestible, we divided it in sections.
Section corresponding to x x .
x x = sin θ   cos ϕ r + 1 r cos θ   cos ϕ θ 1 r sin ϕ sin θ ϕ sin θ   cos ϕ r + 1 r cos θ   cos ϕ θ 1 r sin ϕ sin θ ϕ
We must operate term by term. Observe that since we have three terms, in each x we will have nine terms at the end. Let us proceed.
First-term operating on the first term  for   x x .
sin θ   cos ϕ   r sin θ   cos ϕ   r
sin θ   cos ϕ are constant when “operated” by r . Therefore, the result is:
sin 2 θ   cos 2 ϕ 2 r 2
First-term operating on the second term  for   x x .
sin θ   cos ϕ r 1 r cos θ   cos ϕ θ
Let us see that a 1 r appears in the second term; therefore, we have to treat this second term as a multiplication of functions, as follows:
Mathematics 09 02943 i001
Accordingly, we will use the product rule in order to operate the first term on the second.
f · g = f · g + f · g
sin θ   cos ϕ r 1 r cos θ   cos ϕ θ
Let us perform just the derivative instruction r 1 r cos θ   cos ϕ θ :
r 1 r cos θ   cos ϕ θ = 1 r 2 cos θ   cos ϕ θ + 1 r cos θ   cos ϕ   2 r   θ
We insert the result of our derivative in the original expression to have:
sin θ   cos ϕ 1 r 2 cos θ   cos ϕ θ + 1 r cos θ   cos ϕ 2 r   θ
Expanding, we have:
1 r 2   cos θ   cos 2 ϕ   sin θ   θ + 1 r cos θ   cos 2 ϕ   sin θ 2 r   θ
And finally factoring, we have that the result of the first term operating on the second term for x x is:
1 r 2   cos θ   cos 2 ϕ   sin θ θ r 2 r   θ
First-term operating on the third term  for   x x .
sin θ   cos ϕ r 1 r sin ϕ sin θ ϕ
Again, we have to treat the third term as a multiplication of functions, as follows:
Mathematics 09 02943 i002
sin θ   cos ϕ r 1 r sin ϕ sin θ ϕ
Performing just the derivative instruction:
r 1 r sin ϕ sin θ ϕ = 1 r 2 sin ϕ sin θ ϕ 1 r sin ϕ sin θ 2 r   ϕ
Inserting the result of our derivative in the original expression
sin θ   cos ϕ 1 r 2 sin ϕ sin θ ϕ 1 r sin ϕ sin θ 2 r   ϕ
Expanding:
1 r 2   cos ϕ   sin ϕ ϕ 1 r cos ϕ   sin ϕ 2 r   ϕ
Factoring,
1 r 2   cos ϕ   sin ϕ ϕ r 2 r   ϕ
Second-term operating on the first term  for   x x .
1 r cos θ   cos ϕ ϕ sin θ   cos ϕ r
Please remember that at this moment, we are “operating” the second term on the first term. In other words, in this particular case, the first term belonging to x appears to the right of the second term belonging to x . Let us treat the first term as a multiplication of functions, as follows:
Mathematics 09 02943 i003
1 r cos θ   cos ϕ θ sin θ   cos ϕ r
Performing just the derivative instruction:
θ sin θ   cos ϕ r = cos θ   cos ϕ r + sin θ   cos ϕ 2 θ r
Inserting the result of our derivative in the original expression
1 r cos θ   cos ϕ cos θ   cos ϕ r + sin θ   cos ϕ 2 θ   r
Expanding,
1 r cos 2 θ   cos 2 ϕ r + 1 r cos θ   cos 2 ϕ   sin θ 2 θ   r
Factoring,
1 r cos θ   cos 2 ϕ cos θ r + sin θ 2 θ   r
Second-term operating on the second term  for   x x .
1 r cos θ   cos ϕ θ 1 r cos θ   cos ϕ θ
In the second term, we have a multiplication of functions
Mathematics 09 02943 i004
1 r cos θ   cos ϕ θ 1 r cos θ   cos ϕ θ
Performing just the derivative instruction:
θ 1 r cos θ   cos ϕ θ = 1 r sin θ   cos ϕ θ + 1 r cos θ   cos ϕ 2 θ 2
Inserting the result of our derivative in the original expression
1 r cos θ   cos ϕ 1 r sin θ   cos ϕ θ + 1 r cos θ   cos ϕ 2 θ 2
Expanding,
1 r 2 cos θ   cos 2 ϕ   sin θ θ + 1 r 2 cos 2 θ   cos 2 ϕ 2 θ 2
Factoring,
1 r 2 cos θ   cos 2 ϕ sin θ θ + cos θ 2 θ 2
Second-term operating on the third term  for   x x .
1 r cos θ   cos ϕ θ 1 r sin ϕ sin θ ϕ
The third term is a multiplication of functions:
Mathematics 09 02943 i005
1 r cos θ   cos ϕ θ 1 r sin ϕ sin θ ϕ
Performing just the derivative instruction:
θ 1 r sin ϕ sin θ ϕ
Again, we have to use the product rule. However, for this, we have first to derive d d θ 1 sin θ .
Making a change of variable u = sin θ , we have
d du 1 u du d θ
d du 1 u = 1 u 2 du d θ = d sin θ d θ = cos θ
d d θ 1 sin θ = d du 1 u du d θ = 1 u 2 cos θ = 1 sin 2 θ cos θ
d d θ 1 sin θ = cos θ sin 2 θ
Going back to the derivative instruction, we have
θ 1 r sin ϕ sin θ ϕ = 1 r sin ϕ cos θ sin 2 θ ϕ 1 r sin ϕ sin θ   2 θ ϕ
θ 1 r sin ϕ sin θ ϕ = 1 r sin ϕ   cos θ sin 2 θ ϕ 1 r sin ϕ sin θ 2 θ ϕ
Inserting the result of our derivative in the original expression
1 r cos θ   cos ϕ 1 r sin ϕ   cos θ sin 2 θ ϕ 1 r sin ϕ sin θ   2 θ   ϕ
Expanding,
1 r 2 cos ϕ   sin ϕ   cos 2 θ sin 2 θ ϕ 1 r 2 cos ϕ   sin ϕ   cos θ sin θ 2 θ ϕ
Factoring,
1 r 2 cos ϕ   sin ϕ   cos θ sin θ cos θ sin θ ϕ 2 θ ϕ
Third-term operating on the first term  for   x x .
1 r sin ϕ sin θ ϕ sin θ   cos ϕ r
The first term is a multiplication of two functions:
Mathematics 09 02943 i006
1 r sin ϕ sin θ ϕ sin θ   cos ϕ r
Performing just the derivative instruction:
ϕ sin θ   cos ϕ r = sin θ   sin ϕ r + sin θ   cos ϕ 2 ϕ r
Inserting the result of our derivative in the original expression
1 r sin ϕ sin θ sin θ   sin ϕ r + sin θ   cos ϕ 2 ϕ r
Expanding,
1 r sin 2 ϕ r 1 r cos ϕ   sin ϕ 2 ϕ   r
Factoring,
1 r sin ϕ sin ϕ r + cos ϕ 2 ϕ r
Third-term operating on the second term  for   x x .
1 r sin ϕ sin θ ϕ 1 r cos θ   cos ϕ θ
The second term is a multiplication of two functions:
Mathematics 09 02943 i007
1 r sin ϕ sin θ ϕ 1 r cos θ   cos ϕ θ
Performing just the derivative instruction:
ϕ 1 r cos θ   cos ϕ θ = 1 r cos θ   sin ϕ θ + 1 r cos θ   cos ϕ 2 ϕ θ
Inserting the result of our derivative in the original expression
1 r sin ϕ sin θ 1 r cos θ   sin ϕ θ + 1 r cos θ   cos ϕ 2 ϕ θ
Expanding,
1 r 2 cos θ   sin 2 ϕ sin θ θ 1 r 2 cos ϕ   cos θ   sin ϕ sin θ 2 ϕ θ
Factoring,
1 r 2 cos θ   sin ϕ   sin θ sin ϕ θ + cos ϕ 2 ϕ θ
Third-term operating on the third term  f o r   x x .
1 r sin ϕ sin θ ϕ 1 r sin ϕ sin θ ϕ
The third term is a multiplication of functions:
Mathematics 09 02943 i008
1 r sin ϕ sin θ ϕ 1 r sin ϕ sin θ ϕ
Performing just the derivative instruction:
ϕ 1 r sin ϕ sin θ ϕ = 1 r cos ϕ sin θ ϕ 1 r sin ϕ sin θ 2 ϕ 2
Inserting the result of our derivative in the original expression:
1 r sin ϕ sin θ 1 r cos ϕ sin θ ϕ 1 r sin ϕ sin θ 2 ϕ 2
Expanding,
1 r 2 cos ϕ   sin ϕ sin 2 θ ϕ + 1 r 2 sin 2 ϕ sin 2 θ 2 ϕ 2
Factoring,
1 r 2 sin ϕ   sin 2 θ cos ϕ ϕ + sin ϕ 2 ϕ 2
Section corresponding to   y y .
y y = sin θ   sin ϕ r + 1 r cos θ   sin ϕ θ + 1 r cos ϕ   sin θ ϕ sin θ   sin ϕ r + 1 r cos θ   sin ϕ θ + 1 r cos ϕ   sin θ ϕ
Again, we have to operate term to term. Since we have three terms for each   y , we have nine terms at the end of this procedure section.
First-term operating on the first term  for   y y .
sin θ   sin ϕ r sin θ   sin ϕ r
Both s i n θ and s i n ϕ are constant when operated by r ; thus,
sin 2 θ   sin 2 ϕ 2 r 2
First-term operating on the second term  for   y y .
sin θ   sin ϕ r 1 r cos θ   sin ϕ θ
We treat the second term as a multiplication of functions:
Mathematics 09 02943 i009
sin θ   sin ϕ r 1 r cos θ   sin ϕ θ
Performing just the derivative instruction:
r 1 r cos θ   sin ϕ θ = 1 r 2 cos θ   sin ϕ θ + 1 r cos θ   sin ϕ 2 r θ
Inserting the result of our derivative in the original expression:
sin θ   sin ϕ 1 r 2 cos θ   sin ϕ θ + 1 r cos θ   sin ϕ 2 r   θ
Expanding,
1 r 2 cos θ   sin θ   sin 2 ϕ θ + 1 r cos θ   sin θ   sin 2 ϕ 2 r θ
Factoring,
1 r 2 cos θ   sin θ   sin 2 ϕ θ + r 2 r θ
First-term operating on the third term  for   y y .
sin θ   sin ϕ r 1 r cos ϕ sin θ ϕ
We treat the third term as a multiplication of functions:
Mathematics 09 02943 i010
sin θ   sin ϕ r 1 r cos ϕ sin θ ϕ
Performing just the derivative instruction:
r 1 r cos ϕ sin θ ϕ = 1 r 2 cos ϕ sin θ ϕ + 1 r cos ϕ sin θ 2 r   ϕ
Inserting the result of our derivative in the original expression:
sin θ   sin ϕ 1 r 2 cos ϕ sin θ ϕ + 1 r cos ϕ sin θ 2 r ϕ
Expanding,
1 r 2 cos ϕ   sin ϕ ϕ + 1 r cos ϕ   sin ϕ 2 r ϕ
Factoring,
1 r 2 cos ϕ   sin ϕ ϕ + r 2 r ϕ
Second-term operating on the first term  for   y y .
1 r cos θ   sin ϕ θ sin θ   sin ϕ r
We treat the first term as a multiplication of functions:
Mathematics 09 02943 i011
1 r cos θ   sin ϕ θ sin θ   sin ϕ r
Performing just the derivative instruction:
θ sin θ   sin ϕ r = cos θ   sin ϕ r + sin θ   sin ϕ 2 θ r
Inserting the result of our derivative in the original expression:
1 r cos θ   sin ϕ cos θ   sin ϕ r + sin θ   sin ϕ 2 θ r
Expanding,
1 r cos 2 θ   sin 2 ϕ r + 1 r cos θ   sin θ   sin 2 ϕ 2 θ r
Factoring,
1 r cos θ   sin 2 ϕ cos θ r + sin θ 2 θ r
Second-term operating on the second term  for   y y .
1 r cos θ   sin ϕ θ 1 r cos θ   sin ϕ θ
We treat the second term as a multiplication of two functions:
Mathematics 09 02943 i012
1 r cos θ   sin ϕ θ 1 r cos θ   sin ϕ θ
Performing just the derivative instruction:
θ 1 r cos θ   sin ϕ θ = 1 r sin θ   sin ϕ θ + 1 r cos θ   sin ϕ 2 θ 2
Inserting the result of our derivative in the original expression:
1 r cos θ   sin ϕ 1 r sin θ   sin ϕ θ + 1 r cos θ sin ϕ 2 θ 2
Expanding,
1 r 2 cos θ sin θ   sin 2 ϕ θ + 1 r 2 cos 2 θ   sin 2 ϕ 2 θ 2
Factoring,
1 r 2 cos θ   sin 2 ϕ   sin θ θ + cos θ   2 θ 2
Second-term operating on the third term  for   y y .
1 r cos θ   sin ϕ θ 1 r cos ϕ sin θ ϕ
We treat the second term as a multiplication of two functions:
Mathematics 09 02943 i013
1 r cos θ   sin ϕ θ 1 r cos ϕ sin θ ϕ
Performing just the derivative instruction:
Mathematics 09 02943 i014
Makin a change of variable: u = sinθ, we have
d du 1 u du d θ     d du 1 u = 1 u 2 du d θ = d sin θ d θ = cos θ d d θ 1 sin θ = d du 1 u du d θ = 1 u 2 cos θ = 1 sin 2 θ cos θ = cos θ sin 2 θ
Going back to or derivative expression,
θ 1 r cos ϕ sin θ ϕ = 1 r cos θ cos ϕ sin 2 θ ϕ + 1 r cos ϕ sin θ   2 θ ϕ
Inserting the result of our derivative in the original expression:
1 r cos θ   sin ϕ 1 r cos θ cos ϕ sin 2 θ ϕ + 1 r cos ϕ sin θ   2 θ ϕ
Expanding,
1 r 2 cos 2 θ   cos ϕ   sin ϕ sin 2 θ ϕ + 1 r 2 cos θ   cos ϕ   sin ϕ sin θ   2 θ ϕ
Factoring,
1 r 2 cos θ   cos ϕ   sen ϕ sin θ   cos θ sin θ ϕ 2 θ ϕ
Third-term operating on the first term  for   y y .
1 r cos ϕ sin θ ϕ sin θ   sin ϕ r
We treat the first term as multiplication of functions:
Mathematics 09 02943 i015
1 r cos ϕ sin θ ϕ sin θ   sin ϕ r
Performing just the derivative instruction:
ϕ sin θ   sin ϕ r = sin θ   cos ϕ r + sin θ   sin ϕ 2 ϕ r
Inserting the result of our derivative in the original expression:
1 r cos ϕ sin θ sin θ   cos ϕ r + sin θ   sin ϕ 2 ϕ r
Expanding,
1 r cos 2 ϕ r + 1 r cos ϕ   sin ϕ   2 ϕ r
Factoring,
1 r cos ϕ cos ϕ r + sin ϕ 2 ϕ   r
Third-term operating on the second term  for   y y .
1 r cos ϕ sin θ ϕ 1 r cos θ   sin ϕ θ
Let us treat the second term as a multiplication of two functions:
Mathematics 09 02943 i016
1 r cos ϕ sin θ ϕ 1 r cos θ   sin ϕ θ
Performing just the derivative instruction:
ϕ 1 r cos θ   sin ϕ θ = 1 r cos θ   cos ϕ θ + 1 r cos θ   sin ϕ 2 ϕ θ
Inserting the result of our derivative in the original expression:
1 r cos ϕ sin θ 1 r cos θ   cos ϕ θ + 1 r cos θ   sin ϕ 2 ϕ θ
Expanding,
1 r 2 cos θ   cos 2 ϕ sin θ θ + 1 r 2 cos θ   cos ϕ   sin ϕ sin θ 2 ϕ θ
Factoring,
  1 r 2 cos θ   cos ϕ sin θ cos ϕ θ + sin ϕ 2 ϕ θ
Third-term operating on the third term  for   y y .
  1 r cos ϕ sin θ ϕ   1 r cos ϕ sin θ ϕ
Let us treat the third term as a multiplication of two functions:
Mathematics 09 02943 i017
1 r cos ϕ sin θ ϕ 1 r cos ϕ sin θ ϕ
Performing just the derivative instruction:
ϕ 1 r cos ϕ sin θ ϕ = 1 r sin ϕ sin θ ϕ + 1 r cos ϕ sin θ 2 ϕ 2
Inserting the result of our derivative in the original expression:
1 r cos ϕ sin θ 1 r sin ϕ sin θ ϕ + 1 r cos ϕ sin θ 2 ϕ 2
Expanding.
1 r 2 cos ϕ   sin ϕ sin 2 θ ϕ + 1 r 2 cos 2 ϕ sin 2 θ 2 ϕ 2
Factoring.
  1 r 2 cos ϕ   sin 2 θ sin ϕ ϕ + cos ϕ 2 ϕ 2
Section corresponding to   z z .
z z = cos θ r 1 r sin θ θ cos θ r 1 r sin θ θ
We have to operate term to term. Now, we only have a couple of terms for each z . Therefore, we will have four terms at the end of this section of the procedure.
First-term operating on the first term  for   z z .
cos θ r   cos θ r  
cos θ is a constant function when operated by r .
Therefore,
  cos 2 θ 2 r 2
First-term operating on the second term  for   z z .
cos θ r   1 r sin θ θ
Let us treat the second term as a multiplication of two functions:
Mathematics 09 02943 i018
cos θ r 1 r sin θ θ
Performing just the derivative instruction:
r 1 r sin θ θ =   1 r 2 sin θ θ 1 r sin θ 2 r θ
Inserting the result of our derivative in the original expression:
cos θ   1 r 2 sin θ θ 1 r sin θ 2 r θ
Expanding,
1 r 2 cos θ   sin θ θ 1 r cos θ   sin θ 2 r θ
Factoring,
1 r 2 cos θ sin θ   θ + r 2 r θ
Second-term operating on the first term  para   z z .
1 r sin θ θ     cos θ r
Let us treat the first term as a multiplication of two functions:
Mathematics 09 02943 i019
1 r sin θ θ   cos θ r
Performing just the derivative instruction:
θ   cos θ r = sin θ r + cos θ 2 θ r
Inserting the result of our derivative in the original expression:
1 r sin θ sin θ r + cos θ 2 θ r
Expanding,
1 r sin 2 θ r 1 r cos θ   sin θ 2 θ r
Factoring,
1 r sin θ sin θ r cos θ 2 θ r
Second-term operating on the second term  f o r   z z .
1 r sin θ θ 1 r sin θ θ
Let us treat the second term as a multiplication of two functions:
Mathematics 09 02943 i020
1 r sin θ θ 1 r sin θ θ
Performing just the derivative instruction:
θ 1 r sin θ θ = 1 r cos θ θ 1 r sin θ 2 θ 2
Inserting the result of our derivative in the original expression:
1 r sin θ 1 r cos θ θ 1 r sin θ 2 θ 2
Expanding,
1 r 2 cos θ sin θ θ + 1 r 2 sin 2 θ 2 θ 2
Factoring,
1 r 2 sin θ cos θ θ + sin θ 2 θ 2  
At this moment, we have 22 terms, 9 of x x , 9 of y y and 4 of z z .
As we already discussed, the Laplacian in spherical coordinates is nothing more than adding those 22 expressions, that is to say,
2 = x x + y y + z z
We organize our terms using a convention of colors and lines as presented in Figure 4.
Sum of the underlined terms. Mathematics 09 02943 i021
sin 2 θ cos 2 ϕ 2 r 2 + sin 2 θ   sin 2 ϕ 2 r 2 + cos 2 θ 2 r 2
Factoring,
2 r 2 sin 2 θ cos 2 ϕ + sin 2 θ sin 2 ϕ + cos 2 θ
The expression in brackets has power 2 trigonometric functions. Therefore, we can use the following identities:
sin 2 A = 1 2 1 2 cos ( 2 A ) cos 2 A = 1 2 + 1 2 cos ( 2 A )
Let us apply these identities only to the first two terms enclosed in brackets.
2 r 2 1 2 1 2 cos 2 θ 1 2 + 1 2 cos 2 ϕ + 1 2 1 2 cos 2 θ 1 2 1 2 cos 2 ϕ + cos 2 θ
Expanding,
2 r 2 1 4 1 4 cos 2 θ + 1 4 cos 2 ϕ 1 4 cos 2 θ cos 2 ϕ + 1 4 1 4 cos 2 θ 1 4 cos 2 ϕ + 1 4 cos 2 θ cos 2 ϕ + cos 2 θ
Simplifying,
2 r 2 1 2 1 2 cos 2 θ + cos 2 θ
Now, let us remember that 1 2 1 2 cos 2 θ = sin 2 θ . Therefore,
2 r 2 [ sen 2 θ + cos 2 θ ] = 2 r 2
Sum of the underlined terms Mathematics 09 02943 i022
1 r cos θ sin θ cos 2 ϕ θ r 2 r θ + 1 r 2 cos θ sin θ sin 2 ϕ θ + r 2 r θ 1 r 2 cos θ sin θ θ + r 2 r θ
We can factor the operators in parentheses as follows:
1 r 2 cos θ sin θ 1 + cos 2 ϕ + sin 2 ϕ θ + r 2 r θ
We expand the following multiplication:
cos θ sin θ 1 + cos 2 ϕ + sin 2 ϕ = cos θ sin θ + cos θ sin θ cos 2 ϕ + cos θ sin θ sin 2 ϕ
Again, we use the trigonometric identities of power 2 to rewrite the previous expression:
cos θ sin θ + cos θ sin θ 1 2 + 1 2 cos 2 ϕ + cos θ sin θ 1 2 1 2 cos 2 ϕ
Expanding:
cos θ sin θ + 1 2 cos θ sin θ + 1 2 cos θ sin θ cos 2 ϕ + 1 2 cos θ sin θ 1 2 cos θ sin θ cos 2 ϕ = cos θ sin θ + 1 2 cos θ sin θ + 1 2 cos θ sin θ = 0
Therefore, we have
1 r 2 cos θ sin θ 1 + cos 2 ϕ + sin 2 ϕ θ + r 2 r θ = 0 1 r 2 0 θ + r 2 r θ = 0
Sum of the underlined terms. Mathematics 09 02943 i023
1 r 2 cos ϕ sin ϕ ϕ r 2 r ϕ + 1 r 2   cos ϕ sin ϕ ϕ + r 2 r ϕ
One term is positive and the other is negative; therefore, they cancel, = 0 .
Sum of the underlined terms. Mathematics 09 02943 i024
1 r 2 cos θ cos 2 ϕ sin θ θ + cos θ 2 θ 2 + 1 r 2 cos θ sin 2 ϕ sin θ θ + cos θ 2 θ 2 + 1 r 2 sin θ cos θ θ + sin θ 2 θ 2
In this case, we should expand the terms and organize them as follows:
1 r 2 cos θ sin θ θ 1 r 2 cos θ sin θ cos 2 ϕ θ 1 r 2 cos θ sin θ sen 2 ϕ θ + 1 r 2 cos 2 θ cos 2 ϕ 2 θ 2 + 1 r 2 cos 2 θ sin 2 ϕ 2 θ 2 + 1 r 2 sin 2 θ 2 θ 2
The first three terms that are multiplying θ can be factored as follows:
1 r 2 cos θ sin θ 1 + cos 2 ϕ + sin 2 ϕ θ
Let us recall that cos 2 ϕ + sin 2 ϕ = 1 ; then,
1 r 2 cos θ sin θ 1 + 1 θ = 1 r 2 cos θ sin θ 0 θ = 0
In the case of the second three terms that are multiplying 2 θ 2 , they can be factored as follows:
1 r 2 2 θ 2 cos 2 θ cos 2 ϕ + cos 2 θ sin 2 ϕ + sin 2 θ
We use the trigonometric identities of power 2 to rewrite the previous expression
1 r 2 2 θ 2 1 2 + 1 2 cos 2 θ 1 2 + 1 2 cos 2 ϕ + 1 2 + 1 2 cos 2 θ 1 2 1 2 cos 2 ϕ + sin 2 θ
Expanding:
1 r 2 2 θ 2 1 4 + 1 4 cos 2 θ + 1 4 cos 2 ϕ + 1 4 cos 2 θ cos 2 ϕ + 1 4 + 1 4 cos 2 θ 1 4 cos 2 ϕ 1 4 cos 2 θ cos 2 ϕ + sin 2 θ
We simplify:
1 r 2 2 θ 2 1 2 + 1 2 cos 2 θ + sin 2 θ
Let us recall that 1 2 + 1 2 cos 2 θ = cos 2 θ , and cos 2 ϕ + sin 2 ϕ = 1 ; then
1 r 2 2 θ 2 cos 2 θ + sin 2 θ = 1 r 2 2 θ 2
Sum of the underlined terms. Mathematics 09 02943 i025
1 r cos θ cos 2 ϕ cos θ r + sin θ 2 θ r + 1 r cos θ sin 2 ϕ cos θ r + sin θ 2 θ r + 1 r sin θ sin θ r cos θ 2 θ r
Again, we should expand the terms and accommodate them as follows:
1 r cos 2 θ cos 2 ϕ r + 1 r cos 2 θ sin 2 ϕ r + 1 r sin 2 θ r + 1 r cos θ sin θ cos 2 ϕ 2 θ r + 1 r cos θ sin θ sin 2 ϕ 2 θ r 1 r cos θ sin θ 2 θ r
The first three terms that multiply r can be factored as follows:
1 r r [ cos 2 θ cos 2 ϕ + cos 2 θ sin 2 ϕ + sin 2 θ ]
We already reviewed; therefore, we are sure that the term
cos 2 θ cos 2 ϕ + cos 2 θ sin 2 ϕ + sin 2 θ = 1
So, for the first three terms, we have
1 r r
For the case of the second three terms that multiply 2 θ r , they can be factored as follows:
1 r ( cos θ sin θ ) ( 1 + cos 2 ϕ + sin 2 ϕ ) 2 θ r
We already checked; therefore, we are sure that the multiplication
cos θ sin θ ) ( 1 + cos 2 ϕ + sin 2 ϕ = 0
Therefore, the sum of the terms that multiply 2 θ r equals zero and the only term that survives from the sum for is
1 r r
Sum of the underlined terms. Mathematics 09 02943 i026
1 r 2 cos θ cos 2 ϕ sin ϕ sin θ cos θ sin θ ϕ 2 θ ϕ   1 r 2 cos θ cos ϕ sin ϕ sin θ cos θ sin θ ϕ 2 θ ϕ
One term is positive and the other is negative. Therefore, they are canceled, =0.
Sum of the underlined terms. Mathematics 09 02943 i027
1 r 2 sin ϕ sin 2 θ   cos ϕ ϕ + sin ϕ 2 ϕ 2 + 1 r 2 cos ϕ sin 2 θ sin ϕ ϕ + cos ϕ 2 ϕ 2
Expanding, we have
1 r 2 sin ϕ cos ϕ sin 2 θ ϕ + 1 r 2 sin 2 ϕ sin 2 θ 2 ϕ 2 1 r 2 sin ϕ cos ϕ sin 2 θ ϕ + 1 r 2 cos 2 ϕ sin 2 θ 2 ϕ 2 = 1 r 2 sin 2 ϕ sin 2 θ 2 ϕ 2 + 1 r 2 cos 2 ϕ sin 2 θ 2 ϕ 2
We can factor the previous expression in the following way:
1 r 2   ( cos 2 ϕ + sin 2 ϕ ) sin 2 θ 2 ϕ 2 = 1 r 2 sin 2 θ 2 ϕ 2
Sum of the underlined terms. Mathematics 09 02943 i028
1 r sin ϕ sin ϕ r + cos ϕ 2 ϕ r + 1 r cos ϕ cos ϕ r + sin ϕ 2 ϕ r
Expanding, we have
1 r sin 2 ϕ r 1 r sin ϕ   cos ϕ 2 ϕ r + 1 r cos 2 ϕ r + 1 r sin ϕ   cos ϕ 2 ϕ r = 1 r sin 2 ϕ r + 1 r cos 2 ϕ r
Factoring,
1 r ( sin 2 ϕ + cos 2 ϕ ) r =   1 r   r
Sum of the underlined terms. Mathematics 09 02943 i029
1 r 2 cos θ   sin ϕ sin θ sin ϕ θ + cos ϕ 2 ϕ θ + 1 r 2 cos θ   cos ϕ sin θ cos ϕ θ + sin ϕ 2 ϕ θ
Expanding, we have
1 r 2 cos θ sin 2 ϕ sin θ θ 1 r 2 cos θ cos ϕ sin ϕ sin θ 2 ϕ θ + 1 r 2 cos θ cos 2 ϕ sin θ θ + 1 r 2 cos θ cos ϕ sin ϕ sin θ 2 ϕ θ = 1 r 2 cos θ sin 2 ϕ sin θ θ + 1 r 2 cos θ cos 2 ϕ sin θ θ
Factoring,
1 r 2 cos θ sin θ ( sin 2 ϕ + cos 2 ϕ ) θ = 1 r 2 cos θ sin θ θ
Now, we can write the Laplacian, adding the results of the sums that we carried out.
x x + y y + z z = 2 r 2 + 0 + 0 + 1 r 2 2 ϕ 2 + 1 r r + 0 + 1 r 2 sin 2 θ   2 ϕ 2 + 1 r   r + 1 r 2 cos θ sin θ θ
Simplifying,
2 = 2 r 2 + 2 r r + 1 r 2 cos θ sin θ θ + 1 r 2 2 θ 2 + 1 r 2 sin 2 θ 2 ϕ 2
Finally, let us identify that the Laplacian in spherical coordinates that appears in the literature is “slightly different” from the one obtained here and that we present in Equation (5). Actually, there is no difference; the only thing that happens is that the operators for r and for θ are nested in order to only present three terms in the Laplacian. Let us briefly review this.
The Laplacian that commonly appears in the literature is
2 = 1 r 2 r r 2 r I n   t h i s   c a s e ,   t h e   o p e r a t o r   r   o p e r a t e s   o n   a   m u l t i p l i c a t i o n   o f   2   f u n c t i o n s ,   r 2   a n d   r + 1 r 2 sin θ θ s i n θ θ H e r e ,   t h e   o p e r a t o r     θ   o u t s i d e   o p e r a t e s   o n   a   m u l t i p l i c a t i o n ,   o f   a   f u n c t i o n s sin θ   a n d   θ + 1 r 2 sin 2 θ 2 ϕ 2
When expanding the operators, we have
1 r 2 r r 2 r r r 2 r = 2 r r + r 2 2 r 2
so that
1 r 2 2 r r + r 2 2 r 2 = 2 r r + 2 r 2 T h e s e   t w o   a r e   t h e   f i r s t   t e r m s   o f   E q u a t i o n   5  
1 r 2 sin θ θ sin θ θ θ sin θ θ = cos θ θ + sin θ 2 θ 2
Therefore, we have
1 r 2 sin θ cos θ θ + sin θ 2 θ 2 = cos θ r 2 sin θ θ + 1 r 2 2 θ 2 T h e s e   t w o   a r e   t h e   t e r m s   3 a n d   4   o f   E q u a t i o n   5 c o r r e s p o n d i n g   t o   t h e   o p e r a t o r   o f   θ
With the above, we corroborate the equivalence between both expressions. Therefore, we can also write the Laplacian in spherical coordinates as follows:
2 = 1 r 2 r r 2 r + 1 r 2 sin θ θ sin θ θ + 1 r 2 sin 2 θ 2 ϕ

3. Conclusions

In this paper, we present a full-fledged derivation of the Laplacian operator in spherical coordinates. The mathematical concepts that we used for this purpose are available to all STEM disciplines beginning in the second year of undergraduate. Therefore, this solution is accessible for physics and science students and engineering and chemistry students. Our referral procedure is completely self-contained; this allows the reader to work self-taught with our document without resorting to a complimentary bibliography. This work can be useful for students and academics whose studies and research make use of this important mathematical tool.

Author Contributions

Conceptualization, A.R.-G.; Funding acquisition, A.R.-G.; Methodology, A.R.-G.; Supervision, A.R.-G.; Writing—original draft, A.L.P.-M., M.d.P.A.-D.-V. and A.R.-G. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Acknowledgments

The authors are deeply grateful for the excellent peer review this paper received. We also acknowledge and appreciate the invaluable labor and courage of all those who, during the tragic COVID-19 pandemic, expose their lives to keep doing first necessity activities for all society’s good. This research work was financially supported by the following projects: (a) PAPIIT-UNAM, project number IA107218 under the technical administration of AL Pérez-Martínez; (b) Investigación Científica Básica SEP—CONACYT project number 283492; (c) PAPIIT-UNAM, project number: IN109020 under the technical administration of A. Rodríguez-Gómez. All authors declare their faith and gratitude to almighty God.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Batchelor, G.K. An Introduction to Fluid Dynamics; Cambridge University Press: Cambridge, UK, 2000; ISBN 9780521663960. [Google Scholar]
  2. Purcell, E. Electricity and Magnetism, 2nd ed.; Cambridge University Press: Cambridge, UK, 2011; ISBN 9781139005043. [Google Scholar]
  3. Griffiths, D.J. Introduction to Electrodynamics, 4th ed.; Pearson Education, I., Ed.; Cambridge University Press: Cambridge, UK, 2017; ISBN 9781108420419. [Google Scholar]
  4. Thornton, S.T.; Rex, A. Modern Physics for Scientists and Engineers, 4th ed.; Dodd, E., Ed.; Cengage Learning: Boston, MA, USA, 2013; ISBN 9781133103721. [Google Scholar]
  5. Beiser, A. Concepts of Modern Physics, 6th ed.; McGraw-Hill Higher Education: New York, NY, USA, 2003; ISBN 007115096X. [Google Scholar]
  6. Tipler, P.A.; Llewellyn, R.A. Modern Physics, 5th ed.; W. H. Freeman and Company: New York, NY, USA, 2008; ISBN 9780716775508. [Google Scholar]
  7. Serway, R.A.; Moses, C.J.; Moyer, C.A. Modern Physiscs, 3rd ed.; Thomson Learning: Belmont, CA, USA, 2005; ISBN 0534493394. [Google Scholar]
  8. Taylor, P.L.; Heinonen, O. A Quantum Approach to Condensed Matter Physics; Cambridge University Press: New York, NY, USA, 2002; ISBN 052177103X. [Google Scholar]
  9. Grøn, Ø.; Næss, A. Einstein’s Theory; Springer: New York, NY, USA, 2011; ISBN 9781461407058. [Google Scholar]
  10. Brehm, J.J.; Mullin, W.J. Introduction to the Structure of Matter: A Course in Modern Physics; John Wiley & Sons, Inc.: Hoboken, NJ, USA, 1989; ISBN 9780471605317. [Google Scholar]
  11. Shankar, R. Principles of Quantum Mechanics, 2nd ed.; Plenum Publishers; Kluwer Academic: New York, NY, USA, 1994. [Google Scholar]
  12. Liboff, R.L. Introductory Quantum Mechanics; Longman Higher Education: Boston, MA, USA, 1987; ISBN 0201122219. [Google Scholar]
  13. Cohen-Tannoudji, C.; Diu, B.; Laloe, F. Quantum Mechanics; Wiley-Interscience: New York, NY, USA, 1991; ISBN 0471569526. [Google Scholar]
  14. Dirac, P.A.M. The Principles of Quantum Mechanics, 4th ed.; Oxford University Press: Oxford, UK, 1958; ISBN 0198520115. [Google Scholar]
  15. Schwartz, A.T. The Periodic Table: Its Story and Its Significance (Eric R. Scerri). J. Chem. Educ. 2007, 84, 598. [Google Scholar] [CrossRef] [Green Version]
  16. Scerri, E. The Periodic Table: Its Story and Its Significance; Oxford University Press: Oxford, UK, 2019; ISBN 9780190914363. [Google Scholar]
  17. Koch, W.; Frenking, G.; Gauss, J.; Cremer, D.; Collins, J.R. Helium chemistry: Theoretical predictions and experimental challenge. J. Am. Chem. Soc. 1987, 109, 5917–5934. [Google Scholar] [CrossRef]
  18. Hoeper, P.S.; Wenstrup, R.S. Numerical Solution to Laplace’s Equation in Spherical Coordinates with Axial Symmetry. J. Appl. Phys. 1970, 41, 1879–1882. [Google Scholar] [CrossRef]
  19. DiStasio, M.; McHarris, W.C. Electrostatic problems? Relax! Am. J. Phys. 1979, 47, 440–444. [Google Scholar] [CrossRef]
  20. LI, S.; Funaki, H. Discrete Spherical Laplacian Operator. IEICE Trans. Inf. Syst. 2016, E99.D, 1716–1719. [Google Scholar] [CrossRef] [Green Version]
  21. Feng, J.Q.; Beard, K.V. A Perturbation Model of Raindrop Oscillation Characteristics with Aerodynamic Effects. J. Atmos. Sci. 1991, 48, 1856–1868. [Google Scholar] [CrossRef] [Green Version]
  22. Maurits, N.; Ćurčić-Blake, B. Math for Scientists, 1st ed.; Springer International Publishing: Cham, Switzerland, 2017; ISBN 9783319573533. [Google Scholar]
  23. Boas, M.L. Mathematical Methods in The Physical Sciences, 3rd ed.; Wiley: Hoboken, NJ, USA, 2005; ISBN 9780471198260. [Google Scholar]
  24. Chen, F.M. Laplacian Operator in Spherical Coordinates, an Alternative Derivation. Am. J. Phys. 1972, 40, 553–556. [Google Scholar] [CrossRef]
  25. Katriel, J. A physically motivated derivation of the Laplacian in terms of the total angular momentum operator. Eur. J. Phys. 2019, 40, 045401. [Google Scholar] [CrossRef]
Figure 1. Spherical coordinates r, θ, ϕ and their respective Cartesian coordinates x, y, z for a point P in a three-dimensional space.
Figure 1. Spherical coordinates r, θ, ϕ and their respective Cartesian coordinates x, y, z for a point P in a three-dimensional space.
Mathematics 09 02943 g001
Figure 2. Triangles to express the rectangular coordinates x, y, z in terms of the spherical coordinates r, θ, ϕ.
Figure 2. Triangles to express the rectangular coordinates x, y, z in terms of the spherical coordinates r, θ, ϕ.
Mathematics 09 02943 g002
Figure 3. Triangle formed by the projection of r in the x–y plane.
Figure 3. Triangle formed by the projection of r in the x–y plane.
Mathematics 09 02943 g003
Figure 4. The sum of all the terms shown in this figure will be the Laplacian operator in spherical polar coordinates. To organize the sums conveniently, we will be guided by the terms that contain second derivatives. Terms that contain 2 r 2 are underlined with a single red line. Terms containing 2 r θ are underlined with a double red line. Terms containing 2 r ϕ are underlined with a triple red line. Terms that contain 2 θ 2 are underlined with a single green line. Terms containing 2 θ r are underlined with a double green line. Terms containing 2 θ ϕ are underlined with a triple green line. Terms that contain 2 ϕ 2 are underlined with a single black line. Terms containing 2 ϕ r are underlined with a double black line. Terms containing 2 ϕ θ are underlined with a triple black line.
Figure 4. The sum of all the terms shown in this figure will be the Laplacian operator in spherical polar coordinates. To organize the sums conveniently, we will be guided by the terms that contain second derivatives. Terms that contain 2 r 2 are underlined with a single red line. Terms containing 2 r θ are underlined with a double red line. Terms containing 2 r ϕ are underlined with a triple red line. Terms that contain 2 θ 2 are underlined with a single green line. Terms containing 2 θ r are underlined with a double green line. Terms containing 2 θ ϕ are underlined with a triple green line. Terms that contain 2 ϕ 2 are underlined with a single black line. Terms containing 2 ϕ r are underlined with a double black line. Terms containing 2 ϕ θ are underlined with a triple black line.
Mathematics 09 02943 g004
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Pérez-Martínez, A.L.; Aguilar-Del-Valle, M.d.P.; Rodríguez-Gomez, A. Do It by Yourself: An Instructional Derivation of the Laplacian Operator in Spherical Polar Coordinates. Mathematics 2021, 9, 2943. https://doi.org/10.3390/math9222943

AMA Style

Pérez-Martínez AL, Aguilar-Del-Valle MdP, Rodríguez-Gomez A. Do It by Yourself: An Instructional Derivation of the Laplacian Operator in Spherical Polar Coordinates. Mathematics. 2021; 9(22):2943. https://doi.org/10.3390/math9222943

Chicago/Turabian Style

Pérez-Martínez, Ana Laura, Maria del Pilar Aguilar-Del-Valle, and Arturo Rodríguez-Gomez. 2021. "Do It by Yourself: An Instructional Derivation of the Laplacian Operator in Spherical Polar Coordinates" Mathematics 9, no. 22: 2943. https://doi.org/10.3390/math9222943

APA Style

Pérez-Martínez, A. L., Aguilar-Del-Valle, M. d. P., & Rodríguez-Gomez, A. (2021). Do It by Yourself: An Instructional Derivation of the Laplacian Operator in Spherical Polar Coordinates. Mathematics, 9(22), 2943. https://doi.org/10.3390/math9222943

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop