The Cerebellum and Premenstrual Dysphoric Disorder

1.   Introduction

Contemporary theoretical mechanics and engineering technology are mainly concerned with either the isotropic or the anisotropic behavior of elastic materials and structures ^[1,2]. Specifically, the classical theory of linear elasticity is considered to be an indivisible branch of the more general field of non-linear elasticity ^[3], wherein the mathematical description of the physical quantities, associated with such media ^[4,5], incorporates the fundamental characteristics of the corresponding physical problems. Therein, the relationship between the strain and the stress of any solid body, subjected to external forces, is considered to be linear. On the other hand, isotropic elasticity, being set in conjunction with problems of elasticity in the linear regime with ^[6] or without ^[7,8] body forces present, is an extensively developed area of continuum mechanics, embodying solid analysis that requires both analytical and numerical attention ^[9]. Even though the most attractive area for developing new methodologies appears to be the anisotropic linear elasticity ^[10,11], it is evident that there still exist open problems in the isotropic spectrum. In fact, the continuing interest in elaborating with such kind of aspects is still effective and the necessity in producing purely analytical solutions towards this direction, ready to accept proper numerical handling, stands in the frontline of the current research. Indeed, such a complete and comprehensive survey in linear isotropic elasticity brings insight to new elements of applied mathematics, which lead to the next step of studying the wave propagation ^[12,13] and, in general, the theory of scattering ^[14] in elastic materials.

Linear isotropic behavior of elastic media has an inherent mathematical interest due to the fact that even though the related theory is much simplified, many applications can accept the isotropic character without loss of robustness. In view of this aspect, this work is involved with the production of closed-type analytical formulae for the determination of the fundamental field in solid mechanics, i.e. the displacement. Doing so, we initially utilize the Hook's law, which provides the second order stress tensor in terms of the strain dyadic and the stiffness tetratic, while, in the sequel, we invoke the result into the Newton's law so as to obtain the generalized constitutive equation in elasticity. Thereafter, our purpose is twofold, that is we give special attention to elastostatics, neglecting the temporal derivatives and we exclude any external body forces, since any cause of disturbance can be entered into the boundary conditions of the particular physical problem. Moreover, we assume the specific expression for the stiffness tensor, which incorporates the appropriate components that inherit the isotropic character of the material. That way, we arrive at the known Navier partial differential equation for the displacement field, which accepts an analytical compact solution in the form of a partial differential operator, acting on harmonic functions with vector and scalar character, namely the Papkovich differential representation. This can be derived directly from the Naghdi-Hsu general solution ^[15] and since the spherical harmonics form a complete system, it also provides complete representations for the elastostatic fields. Hence, Papkovich representation of the solution of Navier equation is complete, that is any solution can be expressed in this form. The utility of such solutions is significant, considering the fact that they provide handy analytical expressions, for instance let us refer to a series of articles ^[16,17,18], which deal with elastic wave scattering at low frequencies around ellipsoidal solid bodies or cavities, using the Papkovich representation. Otherwise, the representation theory could be applied to inverse elastic scattering ^[19] or to more complicated mixed-type boundary value problems ^[20] in linear elasticity. Finally, let us not ignore a major advantage of Papkovich representation, which can offers us a certain degree of freedom, since the potentials needed to describe the field itself are redundant, thus the extra terms can be used conveniently, e.g. to compensate the force term in the case wherein it is included into the Navier equation.

It is the purpose of this research to provide progress in this interesting mathematical aspect, hence, using the spherical coordinate system ^[21], we obtain connection formulae, which relate the spherical harmonics that lead, through the Papkovich representation, to the displacement in linear isotropic elasticity. In other words, we calculate the displacement field, generated by the harmonic eigenfunctions ^[22], through the Papkovich representation, and then we provide the necessary analytical background so as to solve the inverse problem of identifying those harmonic eigenfunctions, which generate the same displacement fields. Henceforth, in the aim of solving sufficiently general interior and exterior problems, we use the internal and external solid spherical harmonic eigenfunctions in their complex form ^[22]. This way, we demonstrate the importance of attaining such kind of ready-to-use mathematical tools, by showing some interesting example problems inside and outside a sphere. The background of this mathematical procedure comes from the low-frequency scattering in elasticity ^[23] and shows how one can obtain a solution basis of a finite dimensional subspace. This reduces the calculation of the solution to the calculation of a finite number of scalar coefficients. However, our work leads to building blocks for constructing the solution of any relative problem.

Notwithstanding the existence of adequate and simultaneously convenient computational codes in solving problems in elasticity, we should not overlook the fact that pure analytical techniques are the backbone of numerical analysis. Hence, the important advantage of the performed mathematical analysis is based upon its ability to understand the physical background and to verify the credibility of numerical methods or other more sophisticated analytical models. On the other hand, the idea of building any solution from ready-to-use eigensolutions goes back to the classic references of Rayleigh ^[24], Kelvin ^[25], Maxwell ^[26], Sommerfeld ^[27] and Neuber ^[28]. In the present work, we tried to extend this idea to the theory of elasticity, wherein the ample literature survey of the fundamental classical references ^{[29,30,31,32,33,34,35,36,37,38,39,40]} verifies the necessity of such kind of analysis. Finally, by virtue of the representation theory, it is obvious that spherical geometry approximates sufficiently well most basic problems in linear isotropic elasticity. Nevertheless, the extension to spheroidal, ellipsoidal or even more complicated geometries ^[21,41] provides a challenging area for future investigation.

2.   Physical and mathematical development

Let us introduce an arbitrarily defined smooth, either bounded or unbounded, three-dimensional elastic domain $\Omega \left({{\mathbb{R}^3}} \right)$, which could be designated as interior or interior as the case may be. Then, each field within $\Omega \left({{\mathbb{R}^3}} \right)$ is written in terms of its position vector ${\bf{r}} = {x_1}{\mathit{\boldsymbol{\hat x}}_1} + {x_2}{\mathit{\boldsymbol{\hat x}}_2} + {x_3}{\mathit{\boldsymbol{\hat x}}_3}$, expressed via the Cartesian basis ${\mathit{\boldsymbol{\hat x}}_j}$, $j = 1, 2, 3$ in Cartesian coordinates $\left({{x_1}, {x_2}, {x_3}} \right)$. On the other hand, the current investigation excludes the dependence on time, since we operate according to the steady state status of the particular situation, while the necessary fundamental information, which are adequate for this work can be found collected in ^[11].

The physical interpretation of linear isotropic elasticity is involved with the displacement field ${\bf{u}}$, which comprises the measure of deformation of an elastic material. By means of the gradient $ \nabla $ and the Laplacian $ \Delta $ operators, the displacement satisfies the well-known Navier equation in the presence of body forces, i.e.

wherein ${\bf{f}}$ is an external applied force that renders expression (1) non-homogeneous, while $ \lambda, \mu \in \mathbb{R} $ are the elastic parameters of the isotropic theory, being known as the Lamé constants. Papkovich proposed a differential representation of the solution for the homogeneous Navier equation ^[15] with no body forces, by considering ${\bf{f }}{\rm{ = }}{\bf{0}}$ within (1), which expresses the displacement field in differential form, in terms of two harmonic functions, one vector $ {\bf{A}} $ and one scalar B, that is

which is known to be complete. It is not hard to prove that (2) satisfies (1), bearing in mind the vector identity $ \Delta \left({{\bf{r}} \cdot {\bf{A}}} \right) = \Delta {\bf{r}} \cdot {\bf{A}} + {\bf{r}} \cdot \Delta {\bf{A}} + 2{\left({\nabla \otimes {\bf{r}}} \right)^{\rm{T}}}:\left({\nabla \otimes {\bf{A}}} \right) = 2{{\bf{\tilde I}}^{\rm{T}}}:\left({\nabla \otimes {\bf{A}}} \right) = 2{\bf{\tilde I}}:\left({\nabla \otimes {\bf{A}}} \right) = 2\nabla \cdot {\bf{A}}$ and the interchange $ \Delta \nabla = \nabla \Delta $, since it readily holds that $\Delta {\bf{r}} = \Delta {\bf{A}} = {\bf{0}}$ and $\Delta {\rm{B}} = 0$, noting that $ {{\bf{\tilde I}}}$ is the unit dyadic, "${\rm T}$" denotes transposition, "$ \otimes $" refers to the tensor product and "$:$" stands for the double inner product. The general differential solution (2) provides a powerful analytical tool for solving the homogeneous and time-independent linearized equation of classical dynamic elasticity.

At this point we have to mention that even though representation (2) is complete, it is not unique, since we have four potentials (three components of the vector $ {\bf{A}} $ and one component, which is the scalar B) to determine the three-dimensional vector displacement field. Actually, this is more than an advantage rather than a disadvantage, considering the fact that we are equipped with certain degrees of freedom to deploy conveniently the proper manner, which depends on the boundary value problem at hand. On the other end, this flexibility of the representation theory could be used to cancel the difficulty when the source term $ {\bf{f}} $ is not absent (see equation (1) for instance). More precisely, in the same sense, we could use a similar differential solution like (2), in order to obtain a general solution for the non-homogeneous Navier equation (1). In fact, we can keep the same form for the displacement field, potential $ {\bf{A}} $ could be harmonic, but then potential B should satisfy the mixed-type equation $ \Delta \left({\nabla {\rm{B}}} \right) \equiv \nabla \left({\Delta {\rm{B}}} \right) = 2{\bf{f}}/\left({\lambda + \mu } \right)$, in order for (1) to be satisfied. However, obtaining B is quite a difficult task.

3.   Interrelation between Navier and spherical harmonics

This section includes the main results of our work, which are focused on the direct connection between the homogeneous Navier equation and the harmonic kernels of the implicated potentials $ {\bf{A}} $ and B, using the spherical geometry. Before we proceed to the analysis in spherical coordinates, we take advantage of the already discussed flexibility of the differential general solution (2), thus and without loss of generality, we may suppose that the vector harmonic potential $ {\bf{A}} $ is adequate enough to provide us with a complete solution for the displacement field $ {\bf{u}} $ via (2). Consequently, assuming that $ {\rm{B}} \equiv 0 $, the representation (2) becomes

which constitutes a complete solution for the Navier equation (1) if ${\bf{f}}{\rm{ = }}{\bf{0}}$. Taking the curl on both sides of (3) and defining a new arbitrary function $ \Phi $, we have

Next, we apply the div on (3), which leads us to

Next, we take the divergence of relation (4) and use simultaneously the outcome (5), to arrive at

which is a Poisson equation with respect to the unknown function $ \Phi $, whose solution is the result of implying the fundamental solution of the Laplace's operator ^[20], obtaining

So, if we insert $ \Phi $ from (7) into (4), we recover potential $ A $ as

Therefore, given the displacement $ {\bf{u}} $, the harmonic potential $ {\bf{A}} $ is given by (8). Recapitulating the above reasoning, we calculate the displacement field $ {\bf{u}} $, generated by the harmonic function $ {\bf{A}} $ through the Papkovich representation (3) and then we face the inverse problem of determining this harmonic function $ {\bf{A}} $, which generates the displacement field $ {\bf{u}} $, via the integro-differential formula (8). This procedure is also invertible, in the sense that we can start with solutions of the form (8) and recover the displacement field via the Papkovich form (3). Both ways lead to the same result, independently of the coordinate system.

Aiming to approach applications that require an easily amenable expression for the displacement, we focus our attention to the spherical geometry ^[19], so in terms of the spherical coordinate system

for $ 0 \leqslant r < + \infty $, $ 0 \leqslant \theta \leqslant \pi $ and $ 0 \leqslant \varphi < 2\pi $, the differential operators appearing into the Papkovich representation assume the forms

where $ {\bf{\hat r}}$, $ {{\bf{ \pmb{\mathsf{\hat θ}} }}} $, $ {{\bf{ \pmb{\mathsf{\hat φ}} }}}$ (see ^[19]) denote the coordinate vectors of the spherical system with position vector $ {\bf{r}} = r\, {\bf{\hat r}} $ and unit dyadic $ {\bf{\tilde I}} = {\bf{\hat r}} \otimes {\bf{\hat r}} + {\bf{ \pmb{\mathsf{\hat θ}} }} \otimes {\bf{ \pmb{\mathsf{\hat θ}} }} + {\bf{ \pmb{\mathsf{\hat φ}} }} \otimes {\bf{ \pmb{\mathsf{\hat φ}} }} $. For every value of the nature $ n \geqslant 0 $, there exist $ \left({2n + 1} \right) $ linearly independent complex spherical surface harmonics $ Y_n^m $ of degree $ n $ and of order $ \left| m \right| \leqslant n $ ^[20], given in the orthonormalized form by

and with inner product

wherein $ {{P}}_n^{\left| m \right|} $ are the associated Legendre functions of the first kind ^[20], $ \bar Y_n^m $ denote the complex conjugate surface spherical harmonics and $ {S^2} $ is the unit sphere in $ {\mathbb{R}^3} $. Thereafter, we introduce the interior $ u_{n, {\rm{in}}}^m $ (regular as $r \to {0^ + }$) and the exterior $ u_{n, {\rm{ex}}}^m $ (regular as $r \to + \infty $), solid spherical harmonic eigenfunctions for every $ n = 0, 1, 2, ... $ and $ m = - n, ..., - 1, 0, 1, ..., n $, which are given by the expression

respectively. Relationships (13) comprise a complete set of eigenfunctions for harmonic functions and belong to the kernel space of the Laplace's operator from (10), i.e. $ \Delta u_{n, {\rm{in}}}^m = 0 $ and $ \Delta u_{n, {\rm{ex}}}^m = 0 $ for $ n \geqslant 0 $ and $ \left| m \right| \leqslant n $, while they are obtained once the classical method of separation of variables ^[21,22] is applied.

Adopting the above mathematical analysis, the harmonic function $ A $ in differential representation (3) admits series expansion in terms of functions (13), i.e.

where

are arbitrary constant coefficients. Expansion (14) expresses the completeness of the interior and the exterior solid spherical harmonics. Consequently, substituting the potential (14) into the general solution (3), we obtain

where we used the trivial differential identities $ \nabla \left({{\bf{r}} \cdot {\bf{A}}} \right) = {\bf{A}} + \left({\nabla \otimes {\bf{A}}} \right) \cdot {\bf{r}} $ (note that $ \nabla \otimes {\bf{r}} = {\bf{\tilde I}} $) and $ \nabla \left({{\bf{c}}_{n, {\rm{y}}}^mu_{n, {\rm{y}}}^m} \right) = \nabla u_{n, {\rm{y}}}^m \otimes {\bf{c}}_{n, {\rm{y}}}^m $ for $ {\rm{y}} = {\rm{in}}, {\mkern 1mu} {\mkern 1mu} {\rm{ex}}$, where $ n \geqslant 0 $ and $ \left| m \right| \leqslant n $. Nevertheless, expression (16) needs further elaboration in order for its processing to be feasible. To this direction, we analytically work as follows. Since the vector character of the harmonic function $ {\bf{A}} $ is reflected upon the constant coefficients, which are written in Cartesian coordinates, we are obliged to work in the Cartesian system. This is attainable but requires the expression of the displacement field $ {\bf{u}} $ in Cartesian coordinates involving constants and spherical surface harmonics. Therefore, we are able to transfer the connection between $ {\bf{A}} $ and $ {\bf{u}} $ to the corresponding connection via the constant coefficients. In order to do that, it is necessary to express the terms $ \nabla u_{n, {\rm{in}}}^m $ and $ \nabla u_{n, {\rm{ex}}}^m $ for $ n \geqslant 0 $ and $ \left| m \right| \leqslant n $ as a function of spherical surface harmonics in Cartesian coordinates. This is possible, since these terms belong to the subspace that is produced by the spherical surface harmonics, while this task requires certain steps.

Hence, in the interest of making this work complete and independent, we provide recurrence relations for the associated Legendre functions ^[20], which, by definition of the conveniently chosen variable $ x = \cos \theta \in \left[{- 1, 1} \right] $, since $ \theta \in \left[{0, \pi } \right] $, they are furnished by the Rodrigues formula

where obviously $ {\rm{P}}_n^{\left| m \right|}\left(x \right) = 0 $ if $ \left| m \right| > n $. Thus, the associated Legendre functions of the first kind satisfy

and the first derivative relation

all relationships (18)–(21) being provided for every value of $ n \geqslant 0 $ and $ \left| m \right| \leqslant n $. On the other hand, the classical trigonometric functions imply the trivial identities

for any $ \left| m \right| \leqslant n $ ($ n \geqslant 0 $). The derivation process to obtain handy expressions for $ \nabla u_{n, {\rm{in}}}^m $ and $ \nabla u_{n, {\rm{ex}}}^m $ with $ n \geqslant 0 $ and $ \left| m \right| \leqslant n $ involves long and tedious calculations, however it is useful to provide the basic steps that gives us the necessary tools to accomplish this task. Under this aim, the procedure we follow is based on the utilization of the gradient operator within (10) in terms of the decomposition of the orthonormal spherical basis to the Cartesian one via the formulae

Thus, substituting above (26)–(28) into the spherical gradient operator from (10), we initially invoke the surface spherical harmonics from (11) into the corresponding solid spherical harmonics (13), next we write $ {e^{{\rm{i}}m\varphi }} $ in the form $ {e^{ \pm {\rm{i}}\left| m \right|\varphi }} = \cos \left| m \right|\varphi \pm {\rm{i}}\sin \left| m \right|\varphi $ for every $ \left| m \right| \leqslant n $ ($ n \geqslant 0 $) and, finally, by virtue of $ \cos \theta = x $ and $ \sin \theta = \sqrt {1 - {x^2}} $ with $ x \in \left[{- 1, 1} \right] $, we use recurrence relations (17)–(21) for the associated Legendre functions of the first kind, as well as relationships (22)–(25) for the trigonometric functions, so as to perform our analysis. Consequently, combining properly the relative terms to reproduce surface spherical harmonics, we derive for the interior solid spherical harmonic eigenfunctions $ u_{n, {\rm{in}}}^m $ in $\Omega \left({{\mathbb{R}^3}} \right)$ the expressions

and for the case $ m = 0 $

while for the exterior solid spherical harmonic eigenfunctions $ u_{n, {\rm{ex}}}^m $ in $\Omega \left({{\mathbb{R}^3}} \right)$, we similarly receive the expressions

and for the case $ m = 0 $

where

are the normalizing constants of the spherical surface harmonics. It is obvious, from the definition of the associated Legendre functions, that

while

rendering formulae (29)–(32) with (33) applicable for every value of $ n $ and $ m $.

In order to validate the correctness and demonstrate the effectiveness of the produced formulae, we provide a simple example of evaluating $ \nabla u_{1, {\rm{in}}}^1 $, utilizing two different approaches, one with direct calculation and the other with the aid of expression (29) for $ n = 1 $ and $ m = 1 $, showing that both the two results coincide. Towards this direction, from (11) and (33) we obtain

since $ {\rm{P}}_1^1\left({\cos \theta } \right) = \sin \theta $, therefore (13) yields

Thus, by direct action of the gradient operator from (10) on the interior harmonic (37) and in view of equations (26)–(28), it holds

or

because $ {e^{{\rm{i}}\; \varphi }} = \cos \varphi + i\sin \varphi $. Otherwise, if we utilize the derived formula (29) for $ n = m = 1 $ and we take profit from the property (35), yielding $ Y_0^1 \equiv 0 $ and $ Y_0^2 \equiv 0 $, we have

or

since $ \kappa _0^0 = 1 $ and $ Y_0^0 = 1 $. Obviously, (39) and (41) are identical, not only validating the obtained expression (29), but also confirming that our approach is much more efficient and faster than the direct calculation of the gradient on solid spherical harmonics. It is evident that following a similar way, we can reproduce the subspace of any space of harmonic functions in the Cartesian basis, while a general procedure can be readily established.

Concluding, the result (16) for the displacement field, via the Papkovich differential representation, can be now rewritten in a handy form, by substituting the outcomes (29)–(32) with (33)–(35) into (16), using the Cartesian expressions for the implicated constant coefficients (15) and the interior, as well as the exterior harmonic eigenfunctions (13). Even though the current theory is applied on spherical boundaries, it can be extended to any surface. For instance, we indicate as an example that in a scattering problem by an arbitrary compact body we can always consider a sphere surrounding the scatterer. In this case, utilizing Green's second identity ^[22] we can transfer any information from the boundary of the scatterer to the sphere including the scatterer. This way, we reduce the exterior problem to the spherical geometry, where the boundary conditions are globally introduced. After this, it is obvious that the displacement field is now easily accessible to be applied to any kind of boundary value problem that concerns the wide area of linear isotropic elasticity.

4.   Application: Displacement field inside and outside a spherical boundary

The purpose of this section is to demonstrate the usefulness and the efficiency of the proposed analytical methodology, by invoking some special case problems in spherical geometry, which can be found in simple but quite important physical problems in linear isotropic elasticity. The specific choices of the examples come from specific boundary value problems appearing in the theory of low-frequency scattering ^[23]. In fact, the assumed elastic fields describe the leading low-frequency approximations of the incident excitation field. Consequently, the forthcoming examples come from real physical problems and they are not artificial.

We consider a spherical body of radius $ a $, whose center coincides with the center of the Cartesian coordinate system. Therefore, the surrounding boundary $\partial \Omega \equiv S$ corresponds to the spherical variable at $ r = a $ for any $ \theta \in \left[{0, \pi } \right] $ and $ \varphi \in \left[{0, 2\pi } \right) $. This spherical surface separates the domain of interest $\Omega \left({{\mathbb{R}^3}} \right) \equiv \Omega $ into two subdomains, one interior ${\Omega ^ - }$ for every $ r < a $ and one exterior ${\Omega ^ + }$ for every $ r > a $, such as $\Omega = {\Omega ^ - } \cup {\Omega ^ + } \cup S$. In order to facilitate our calculations, we define the ratio of the main phase velocities in an elastic medium ^[14] via the formula

hence, the differential representation of the displacement field (3) becomes

inside the sphere and

outside the sphere, where we have once more utilized the identity $ \nabla \left({{\bf{r}} \cdot {{\bf{A}}^ \mp }} \right) = {{\bf{A}}^ \mp } + \left({\nabla \otimes {{\bf{A}}^ \mp }} \right) \cdot {\bf{r}}$. The harmonic potentials $ {{\bf{A}}^ - } $ and $ {{\bf{A}}^ + } $ admit expansions similar to (14) with (15), taking profit of their interior and exterior character, respectively, thus, using (13), we have

in order for the potential $ {{\bf{A}}^ - } $ to be regular at the origin and

in order for the potential $ {{\bf{A}}^ + } $ to remain bounded as we move towards infinity. The unknown vector constant coefficients

within (45) and (46) are calculated, when a particular set of boundary conditions is applied on the surface boundary $S$ at $ r = a $. In the sequel, we focus ourselves in providing general solutions of particular interest in ${\Omega ^ - }$ and ${\Omega ^ + }$ for specific values of the degree $ n \geqslant 0 $, without getting involved with the boundary value problem itself.

– 1^st Example: If $ c $ is a constant vector, then it is not difficult to prove, performing direct substitution, that the Papkovich potentials

generate the displacement fields

and

respectively.

– 2^nd Example: If $ \tilde C $ is a constant tensor, let us introduce the Papkovich potentials

which, by virtue of the identities

and

generate the displacement fields

and

respectively. Here, we must remark that, if we consider the potentials $ {{\bf{A}}^ - } = {\bf{r}} \cdot {\bf{\tilde C}} = {{\bf{\tilde C}}^\intercal} \cdot {\bf{r}} $ and $ {{\bf{A}}^ + } = \left({{\bf{r}}/{r^\mathit{3}}} \right) \cdot {\bf{\tilde C}} = {{\bf{\tilde C}}^\intercal} \cdot \left({{\bf{r}}/{r^\mathit{3}}} \right) $, we obtain the displacements generated by $ {{\bf{\tilde C}}^ \intercal } $ instead of $ {\bf{\tilde C}} $. On the other hand, if $ {\bf{\tilde C}} $ is symmetric, i.e. if ${\bf{\tilde C}} = {{\bf{\tilde C}}^ \intercal } $, then the interior and exterior displacements (54) and (55) are rewritten as

respectively. In particular, if ${\bf{\tilde C}} = {\bf{\tilde I}}$, then (56) simplify to

respectively. Finally, if $ {\bf{\tilde C}} $ is antisymmetric, i.e. if $ {{\bf{\tilde C}}^ \intercal } = - {\bf{\tilde C}} $, then obviously

and since

we obtain

Taking into account (58)–(60), the interior and exterior fields (54) and (55) are transformed to

respectively, which coincide with the harmonic potentials (51).

– 3^rd Example: If $ {\bf{\tilde C}} $ is a constant dyadic, then we want to find the displacement field that the exterior harmonic potential

produces. To prove it we first show that

Then, combining (62) and (63), we have

or

Thereafter, the gradient of the Papkovich potential (65), i.e. $ \nabla \otimes {{\bf{A}}^ + } $, is then calculated, using classical identities and algebra as follows,

Contracting $ \nabla \otimes {{\bf{A}}^ + } $ of (66) with $ {\bf{r}} $ from the right, we obtain

Substituting (67) into the Papkovich representation (44) for the exterior field, we obtain

which is the requested. Herein, we remark that, since $ {{\bf{A}}^ + } $ is harmonic and $ {{\bf{u}}^ + } $ solves the equation of elastostatics (3), we obtain that $ \nabla \nabla \cdot {{\bf{A}}^ + } = {\bf{0}} $. Indeed,

Another interesting remark is that if $ {\bf{\tilde C}} $ is an antisymmetric dyadic, i.e. if $ {{\bf{\tilde C}}^ \intercal } = - {\bf{\tilde C}} $, then it is not hard to prove

This means that the potential $ {{\bf{A}}^ + } $ is symmetric and it generates a symmetric displacement. In particular, any $ {\bf{\tilde C}} $ generates a symmetric $ {{\bf{A}}^ + } $ and thus, a symmetric $ {{\bf{u}}^ + } $.

– 4^th Example: In this case, we consider the equation of elastostatics (1) for $ {\bf{f}} = {\bf{0}} $, which in terms of (42) is rewritten as

and we wish to find the coefficients $ \alpha, \, \beta, \, \gamma $ for which the linear combination of the displacement field

belongs to the $ {\text{ker}}\left[{{\tau ^2}\, \Delta + \left({1 - {\tau ^2}} \right)\nabla \nabla \cdot } \right] $, where $ {\bf{\tilde S}} = {\bf{a}} \otimes {\bf{b}} = {\bf{b}} \otimes {\bf{a}} = {{\bf{\tilde S}}^ \intercal } $ is a constant symmetric dyadic and $ S = {\bf{a}} \cdot {\bf{b}} $ is its trace. This example makes use of the previous three examples, as well as the linearity of the Navier equation, to expand the physical important interior displacement field in a three-dimensional solution subspace and to calculate the actual solution by calculating the three scalar coefficients. We primarily have to evaluate the following expressions,

and

wherein we have assumed that $ {\bf{\tilde S}} = \left({{\bf{a}} \otimes {\bf{b}} + {\bf{b}} \otimes {\bf{a}}} \right)/2$, so that ${\bf{\tilde S}}:{\bf{r}} \otimes {\bf{r}} = \left({{\bf{a}} \cdot {\bf{r}}} \right)\left({{\bf{b}} \cdot {\bf{r}}} \right) $ and $S = {\bf{a}} \cdot {\bf{b}}$. In view of the above formulae (73)–(78) and with respect to (71) and (72), we now obtain

which implies

leading to the constants

Hence, the solution is provided via (72) by

which is the interior displacement field of the specific static elasticity problem.

Recapitulating, we offered the analytical solution for the displacement fields of four interesting problems in linear isotropic elastostatics in the absence of body forces, inside and outside a spherical boundary in the absence of boundary conditions. These solutions are solid and can be directly derived from the theory of differential representation, which we developed and analyzed in the previous section.

5.   Conclusions and discussions

In this study, we presented a mathematical method for recovering the main spherical components of the well-known Navier equation in linear isotropic elastostatics, under the circumstance of no external forces present. To this end, we primarily combined the Hooke's and Newton's law, via the correlation of the displacement field with the strain, the stress and the stiffness tensors, reproducing the linearized equation of dynamic isotropic elasticity. In the sequel, we introduced the Papkovich differential representation, which offered solutions in terms of scalar and vector harmonic functions. Then, connection formulae were obtained, by which we transformed any solution of the Navier system from the Papkovich to the potential-type eigenform and vice versa. In order to enhance this procedure, we implied the commonly used spherical geometry and we calculated the time-independent displacement field, generated by the well-known spherical harmonic eigenfunctions. In order to demonstrate the effectiveness of our method, we presented some important degenerate cases for the evaluation of the interior and the exterior displacement field on either side of a spherical boundary.

Work under progress involves research directed towards the extension of the current analysis to more complicated geometries, e.g. spheroidal and ellipsoidal, producing ready-to-use functions and their Navier counterparts.

Conflict of interest

The authors have declared no conflict of interest.