Javascript is required
[1] Crandall, S.H., Engineering Analysis, McGraw-Hill: New York, 1956.
[2] Hetényi, M., Beams on Elastic Foundations: Theory with Applications in the Fields of Civil and Mechanical Engineering, The University of Michigan Press: Ann Arbor, Michigan, 1946.
[3] Connor, J.J., Analysis of Structural Members Systems, Ronald Press: New York, 1976.
[4] Sokolnikoff, I.S., Mathematical Theory of Elasticity, 2nd edn, McGraw-Hill: New York, 1956.
[5] Timoshenko, S.P. & Woinowsky-Krieger, S., Theory of Plates and Shells, 2nd edn, McGraw-Hill: New York, 1959.
[6] González, E., Solución a Problemas de Elasticidad mediante Series de Potencia, Civil Engineering Thesis, Universidad de Chile: Santiago, 2003.
Search

Acadlore takes over the publication of IJCMEM from 2025 Vol. 13, No. 3. The preceding volumes were published under a CC BY 4.0 license by the previous owner, and displayed here as agreed between Acadlore and the previous owner. ✯ : This issue/volume is not published by Acadlore.

Open Access
Research article

Solution of Solid Mechanic Equilibrium Problems by Power Series

E. González,
M. Sarrazin
Universidad de Chile, School of Engineering, Chile
International Journal of Computational Methods and Experimental Measurements
|
Volume 3, Issue 1, 2015
|
Pages 33-48
Received: N/A,
Revised: N/A,
Accepted: N/A,
Available online: N/A
View Full Article|Download PDF

Abstract:

The paper presents the application of power series to the numerical solution of equilibrium problems in elasticity. Complete bases of power series that satisfy the differential equations are developed, first for unidimensional problems like the equilibrium of a beam on elastic foundation, second for the harmonic differential equation in two dimensions, with application to the Saint-Venant’s torsion problem and, finally, for the biharmonic equation, which can be applied to plane elasticity problems as well as to the plate-bending problem. In the case of unidimensional problems the solution is exact, because the number of boundary conditions is equal to the number of parameters involved in the series expansion, whereas in the two-dimensional problems the solution satisfies exactly the differential equation but only approximately the boundary conditions. The approximation of the solution will depend on the number of points selected at the boundary. The method presented here can also be used for developing high-order finite elements of any number of nodes and boundary shapes using complete polynomial expansions that satisfy the differential equation. Selected practical applications are shown.

Keywords: Beam on elastic foundation, Biharmonic equation, Boundary conditions, Equilibrium problems, Finite elements, Harmonic equation, Plane elasticity, Plate-bending problem, Power series, Saint-Venant’s torsion problem

1. Introduction

Equilibrium problems are defined by Crandall [1] as

$L_{2 \mu}(\psi)=0 \quad \,\, \text{in D} $
(1)

with

$ B_{2 \mu-1}^\zeta(\psi)=0, \zeta=1 \ldots \mu \,\, \text{at the boundary}$
(2)

where, $L_{2 \mu}(\psi)$ is a partial differential operator of order $2 \mu$, containing only even partial derivatives, and $B_{2 \mu-1}^\zeta(\psi)$ are $\mu$ differential operators of order up to $2 \mu-1$.

A solution of some equilibrium problems is presented in this paper consisting of power series $\psi$ that satisfy identically the homogeneous differential eqn (1) and approximately the boundary conditions in eqn (2). The collocation technique is used at the boundary in such a way that the boundary conditions are satisfied at selected points.

The approximation to the exact solution will depend on the degree $n$ of the elements of the power series used.

2. Power Series Solution of a Differential Equation

Let $\psi$ be a complete power series of degree $n$. Let also $\psi_i, i=0 \ldots \kappa$ be some incomplete power series of degree $\leq n$, such that

$\psi=\sum_{i=0}^\kappa \lambda_i \psi_i$
(3)

If all series $\psi_i$ satisfy a given differential equation, then $\psi$ will also satisfy the said equation. Therefore, if the series $\psi_i$ are mutually independent and their sum forms a complete polynomial expression of degree $n$, then the elements $\psi_i$ can be considered as a base for the solution of the differential equation. The number of elements in the base will be $m$, so that $\kappa=m-1$.

General explicit formulas for $\psi_i$ can be developed for defining the base of solutions for each differential equation. Then the solution of a particular problem is reduced to finding the parameters $\lambda_i$ that satisfy the boundary conditions.

3. Power Series Solution for $d^vw(x)/dx^v + rw(x) = 0$

3.1 Base of Polynomial Solutions

Let us consider the homogeneous differential equation

$\frac{d^\nu w(x)}{d x^\nu}+\rho w(x)=0$
(4)

The elements of the base that satisfies differential equation (4) for power series of degree $n$ are

$w_i(x)=\lim _{x \rightarrow \infty} \sum_{j=0}^{\left\lfloor\frac{n-i}{v}\right\rfloor}(-\rho)^j \frac{x^{(i+v j)}}{(i+v j)!}, \quad i=0 \ldots(v-1)$
(5)

Note that functions $w_i$ as defined by eqn (5) are mutually independent. This property can be verified by noting that there are no two terms with equal exponents for $x$. Also, the base contains all powers of $x$ and $y$ up to degree $n$. The number of elements of the base is $v$ for all $n$, i.e. $m=v \forall n$.

3.2 Beam on Elastic Foundation
3.2.1 Solution by boundary conditions

Let us consider a beam on linear elastic foundation, the equilibrium equation of which is given by Hetényi [2]:

$\frac{d^4 w(x)}{d x^4}+\frac{k}{E I} w(x)=0,$
(6)

where $w$ : vertical displacement

$k$ : coefficient of soil reaction

$E$ : Young's modulus

$I$ : moment of inertia of beam section.

Introducing $v=4$ and $\rho=k / E I$ into eqn (5), the elements of the solutions' base are

$w_i(x)=\lim _{x \rightarrow \infty} \sum_{j=0}^{\left\lfloor\frac{n-i}{4}\right\rfloor}\left(-\frac{k}{E I}\right)^j \frac{x^{(i+4 j)}}{(i+4 j)!} \quad i=0 \ldots 3.$
(7)

According to eqn (7), the number of parameters $\lambda_i$ that have to be determined is $m=4$. As the differential equation is of order $4(\mu=2$ in eqn (1)), there are two boundary conditions of order up to 3 .

Then the complete solution is given by

$w(x)=\sum_{i=0}^3 \lambda_i w_i(x)$
(8)

Let us consider the beam of length $L$ in Figure 1. Figure 1a shows the displacements $w(x)$ and rotations $\theta(x)=d w(x) / d x$ and Figure 1b shows the shear forces $Q(x)=E I d^3 w(x) / d x^3$ and bending moments $M(x)=E I d^2 w(x) / d x^2$.

Figure 1. Beam on elastic foundation

Then, from eqn (8) by derivation and evaluation at x = 0 and x = L, relations (9) and (10) are obtained as follows:

$\left[\begin{array}{c}w(0) \\ \theta(0) \\ w(L) \\ \theta(L)\end{array}\right]=\left[\begin{array}{cccc}w_0(0) & w_1(0) & w_2(0) & w_3(0) \\ \frac{d w_0(0)}{d x} & \frac{d w_1(0)}{d x} & \frac{d w_2(0)}{d x} & \frac{d w_3(0)}{d x} \\ w_0(L) & w_1(L) & w_2(L) & w_3(L) \\ \frac{d w_0(L)}{d x} & \frac{d w_1(L)}{d x} & \frac{d w_2(L)}{d x} & \frac{d w_3(L)}{d x}\end{array}\right]\left[\begin{array}{l}\lambda_0 \\ \lambda_1 \\ \lambda_2 \\ \lambda_3\end{array}\right]$
(9)

or

$W=B \lambda$ (9a)

$\left[\begin{array}{l}Q(0) \\ M(0) \\ Q(L) \\ M(L)\end{array}\right]=E I\left[\begin{array}{cccc}\frac{d^3 w_0(0)}{d x^3} & \frac{d^3 w_1(0)}{d x^3} & \frac{d^3 w_2(0)}{d x^3} & \frac{d^3 w_3(0)}{d x^3} \\ -\frac{d^2 w_0(0)}{d x^2} & -\frac{d^2 w_1(0)}{d x^2} & -\frac{d^2 w_2(0)}{d x^2} & -\frac{d^2 w_3(0)}{d x^2} \\ -\frac{d^3 w_0(L)}{d x^3} & -\frac{d^3 w_1(L)}{d x^3} & -\frac{d^3 w_2(L)}{d x^3} & -\frac{d^3 w_3(L)}{d x^3} \\ \frac{d^2 w_0(L)}{d x^2} & \frac{d^2 w_1(L)}{d x^2} & \frac{d^2 w_2(L)}{d x^2} & \frac{d^2 w_3(L)}{d x^2}\end{array}\right]\left[\begin{array}{l}\lambda_0 \\ \lambda_1 \\ \lambda_2 \\ \lambda_3\end{array}\right]$
(10)

or

$F=D \lambda$ (10a)

$\lambda=D^{-1} F$ (10b)

From eqns (9a) and (10b), the solution for displacements and rotations is obtained:

$W=B D^{-1} F$
(11)

Alternatively, the solution for displacements is obtained by introducing eqn (10b) in eqn (8).

Note that this is the exact solution of the differential equation and that it satisfies all boundary conditions. Numerically, the approximation depends on the degree $n$ chosen.

3.2.2 Solution by finite element method

The stiffness matrix K is defined by eqn (12):

$F=K W$
(12)

From eqn (11) it follows

$K=D B^{-1}.$
(13)

Given K, the problem is solved using the typical procedure of finite element method (FEM). In this case, the solution is exact.

4. Power Series Solution for the Harmonic Equation $\left(\nabla^2 \phi(x, y)=0\right)$

4.1 Base of Solutions

Let $\phi(x, y)$ be a function that satisfies the homogeneous harmonic equation

$\frac{\partial^2 \phi(x, y)}{\partial x^2}+\frac{\partial^2 \phi(x, y)}{\partial y^2}=0.$
(14)

The complete base of power series for the harmonic equation is

$\phi_0(x, y)=1$
(15)

$\phi_1(x, y)=x$ (15b)

$\phi_2(x, y)=y $ (15c)

$\phi_3(x, y)=x y $ (15d)

$\phi_{3+i}(x, y)=\sum_{j=0}^i\binom{2 i}{2 j}(-1)^j x^{2 i-2 j} y^{2 j} \quad i=1 \ldots\left\lfloor\frac{n}{2}\right\rfloor $ (15e)

$\phi_{3+\left\lfloor\frac{n}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j}(-1)^j x^{2 i-2 j+1} y^{2 j} \quad i=1 \ldots\left\lfloor\frac{n-1}{2}\right\rfloor$ (15f)

$\phi_{3+\left\lfloor\frac{n}{2}\right\rfloor+\left\lfloor\frac{n-1}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j}(-1)^j x^{2 j} y^{2 i-2 j+1} \quad i=1 \ldots\left\lfloor\frac{n-1}{2}\right\rfloor$ (15g)

$\phi_{3+\left\lfloor\frac{n}{2}\right\rfloor+2\left\lfloor\frac{n-1}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i \frac{\binom{2 i+1}{2 j+1}}{(2 i-2 j+1)}(-1)^j x^{2 i-2 j+1} y^{2 j+1} \quad i=1 \ldots\left\lfloor\frac{n-2}{2}\right\rfloor$. (15h)

These expressions can be easily obtained by expansion of the binomial series $(x+i y)^n$ and then by considering that the real and imaginary parts are solutions of the harmonic equation.

The number of elements in the base is

$m=4+\left\lfloor\frac{n}{2}\right\rfloor+2\left\lfloor\frac{n-1}{2}\right\rfloor+\left\lfloor\frac{n-2}{2}\right\rfloor=2 n+1.$
(16)

It can be verified that each element of the base satisfies the harmonic equation. It can also be verified by inspection that all powers of the bases are different.

The base contains all powers of x and y up to degree n. In effect, the number of terms in a complete series of maximum exponent n is

$\sum_{t=0}^n(t+1)=\sum_{t=1}^{n+1} t=\frac{(n+1)(n+2)}{2}.$
(17)

From (15), the total number of terms in the base is

$4+\sum_{i=1}^{\left\lfloor\frac{n}{2}\right\rfloor}(i+1)+2 \sum_{i=1}^{\left\lfloor\frac{n-1}{2}\right\rfloor}(i+1)+\sum_{i=1}^{\left\lfloor\frac{n-2}{2}\right\rfloor}(i+1)=\frac{(n+1)(n+2)}{2}.$
(18)

Expressions in eqns. (16) and (18) can be verified by taking separately the case $n=$ even and $n=$ odd.

According to eqn (16), the number of parameters $\lambda_i$ that have to be determined is $m=2 n+1$. As the differential equation is of order $2(\mu=1$ in eqn (1)), there is only one boundary condition of order up to 1.

The parameters $\lambda_i$ can be obtained by forcing the solution to satisfy the boundary condition at $m$ points distributed along the boundary.

4.2 Saint-Venant’s Torsion Problem
4.2.1 Solution by boundary conditions

As can be seen in Connor [3], the classic Saint-Venant's torsion problem can be solved by the Prandtl stress function $\Phi$ in the form

$\tau_{x z}(x, y)=G \chi \frac{\partial \Phi(x, y)}{\partial y}$
(19)

$\tau_{y z}(x, y)=-G \chi \frac{\partial \Phi(x, y)}{\partial x}$. (19b)

The equilibrium equations are then satisfied identically and the compatibility condition gives

$\nabla^2 \Phi(x, y)=-2.$
(20)

At the boundary, the conditions are simply

$\Phi(x, y)=0.$
(21)

The twist $\chi$ is related to the twisting moment M by

$\chi=\frac{M}{2 G \iint_A \Phi(x, y) d A}.$
(22)

Let us consider the complete solution as the sum of a particular solution and the homogeneous solution:

$\Phi(x, y)=\Phi^P(x, y)+\Phi^H(x, y).$
(23)

The solution for a circular bar (24) can be used as a particular solution:

$\Phi^P(x, y)=-\frac{1}{2}\left(x^2+y^2\right)$
(24)

and the complete series in x and y (25) can be used for the homogeneous solution:

$\Phi^H(x, y)=\phi(x, y)=\sum_{i=0}^{m-1} \lambda_i \phi_i(x, y)$
(25)

at the boundary

$\phi^P(x, y)+\sum_{i=0}^{m-1} \lambda_i \phi_i(x, y)=0.$
(26)

Considering m boundary points so that q = 0…(m − 1), the following m x m system of equations can be formulated:

$\sum_{i=0}^{m-1} \lambda_i \phi_i\left(x_q, y_q\right)=-\Phi^P\left(x_q, y_q\right), \quad q=0 \ldots(m-1)$
(27)

In matrix notation

$\phi \lambda=\left(-\Phi^P\right)$
(28)

and

$\lambda=\phi^{-1}\left(-\Phi^P\right).$
(29)

Finally

$\Phi^H(x, y)=\phi(x, y)=\sum_{r=0}^n \sum_{s=0}^n a_{r, s} x^r y^s, \quad(r+s) \leq n$
(30)
$a_{0,0}=\lambda_0$
(31)

with

$a_{1,0}=\lambda_1$ (31b)

$a_{0,1}=\lambda_2$ (31c)

$\alpha_{1,1}=\lambda_3$ (31d)

$a_{2 i-2 j, 2 j}=\lambda_{3+i}\binom{2 i}{2 j}(-1)^j \quad i=1 \ldots\left\lfloor\frac{n}{2}\right\rfloor j=0 \ldots i$ (31e)

$a_{2 i-2 j+1,2 j}=\lambda_{3+\left\lfloor\frac{n}{2}\right\rfloor+i}\binom{2 i+1}{2 j}(-1)^j \quad \quad i=1 \ldots\left\lfloor\frac{n-1}{2}\right\rfloor j=0 \ldots i$ (31f)

$a_{2 j, 2 i-2 j+1}=\lambda_{3+\left\lfloor\frac{n}{2}\right\rfloor+\left\lfloor\frac{n-1}{2}\right\rfloor+i}\binom{2 i+1}{2 j}(-1)^j \quad i=1 \ldots\left\lfloor\frac{n-1}{2}\right\rfloor j=0 \ldots i$ (31g)

$a_{2 i-2 j+1,2 j+1}=\lambda_{3+\left\lfloor\frac{n}{2}\right\rfloor+2\left\lfloor\frac{n-1}{2}\right\rfloor+i}^{\frac{\binom{2 i+1}{2 j+1}}{(2 i-2 j+1)}(-1)^j} \quad i=1 \ldots\left\lfloor\frac{n-2}{2}\right\rfloor j=0 \ldots i$. (31h)

4.2.1.1 Equilateral triangular section

The exact homogeneous solution f of Saint-Venant’s problems for an equilateral triangle (Figure 2) is given in eqn (32); see Sokolnikoff [4]:

$\phi(x, y)=\frac{2}{3} a^2-\frac{1}{6 a} x^3+\frac{1}{2 a} x y^2$
(32)
Figure 2. Exact $\Phi$ solution for a triangle ($\Phi=\Phi^P+\phi$)

Exact homogeneous solution (32) is a polynomial of degree $n=3$; so if the general power series approximation is used, any value of $n \geq 3$ will give the exact solution.

Let us consider the case $n=4$. Then the number of independent parameters to be determined is $m=2 n+1=9$. Therefore this same number of conditions has to be imposed at the boundary. As is shown in Figure 3, every triangle side has been divided into three parts thus obtaining nine boundary points in total. As expected, the exact solution is obtained. The values of $\alpha$ given by (31) associated with $n=4$ are null.

Figure 3. Power series solution for $\Phi$ with $n=3$

4.2.1.2 Cylindrical bar with a circular slot

Another classical torsion problem, the exact solution of which is not polynomial, is shown in Figure 4; see Sokolnikoff [4].

As is well known, the exact homogeneous solution $\phi$ for this case is

$\phi(x, y)=\frac{1}{2} b^2+a x-a b^2 \frac{x}{\left(x^2+y^2\right)}.$
(33)

An approximation by power series can be obtained using, for example, $n=20$. Then $m= 2 n+1=41$. Figure 5 shows the shape of functions $\Phi$ obtained by the approximation.

Figure 4. Exact $\Phi$ solution for a bar with a circular slot, $b / a=0.5$
Figure 5. Power series solution for $\Phi$ with $n=20$
4.2.2 Finite element solution

Let us consider a segment of unitary length of the pure torsion problem. Then, the principle of virtual work (PVW) gives the relation (34):

$\iint_A\left\langle\begin{array}{ll}\tau_{x z} & \tau_{y z}\end{array}\right\rangle\left\{\begin{array}{l}\delta \gamma_{x z} \\ \delta \gamma_{y z}\end{array}\right\} d A=G \chi \iint_A\left(\delta \gamma_{y z} x-\delta \gamma_{x z} y\right) d A.$
(34)

Considering (19) and (23), the following equation is obtained:

$\iint_A\left\langle\delta \frac{\partial \phi^H}{\partial x} \quad \delta \frac{\partial \phi^H}{\partial y}\right\rangle\left\{\begin{array}{c}\frac{\partial \phi^H}{\partial x} \\ \frac{\partial \phi^H}{\partial y}\end{array}\right\} d A=\iint_A\left\langle\delta \frac{\partial \phi^H}{\partial x} \quad \delta \frac{\partial \phi^H}{\partial y}\right\rangle\left\{\begin{array}{l}x \\ y\end{array}\right\} d A.$
(35)

Rewriting compactly, we have

$\iint_A\left\langle\begin{array}{ll}\delta \phi_{, x}^H & \left.\delta \phi_{, y}^H\right\rangle\left\{\begin{array}{l}\phi_{, x}^H \\ \phi_{, y}^H\end{array}\right\} d A=\iint_A\left\langle\delta \phi_{, x}^H \quad \delta \phi_{, y}^H\right\rangle\left\{\begin{array}{l}x \\ y\end{array}\right\} d A .\end{array}\right\}$. (35a)

Considering $m-1$ boundary points, so that $q=1 \ldots(m-1)$, the system (36) of ($m-1$ ) $x(m$ - 1) algebraic equations can be formulated (remember that $\Phi^H(x, y)=\phi(x, y)$ according to eqn (25)). Furthermore, because the terms are affected by the first derivatives of $\phi$, the base (15a) does not collaborate in the relation. As the variation corresponds to parameters $\lambda_i$, the following equation can be obtained:

$\iint_A\left[\begin{array}{cc}\phi_{1, x} & \phi_{1, y} \\ \vdots & \vdots \\ \phi_{m-1, x} & \phi_{m-1, y}\end{array}\right]\left[\begin{array}{c}\phi_{1, x} \cdots \phi_{m-1, x} \\ \phi_{1, y} \cdots \phi_{m-1, y}\end{array}\right]\left\{\begin{array}{c}\lambda_1 \\ \vdots \\ \lambda_{m-1}\end{array}\right\} d A=\iint_A\left[\begin{array}{cc}\phi_{1, x} & \phi_{1, y} \\ \vdots & \vdots \\ \phi_{m-1, x} & \phi_{m-1, y}\end{array}\right]\left\{\begin{array}{l}x \\ y\end{array}\right\} d A.$
(36)

Rewriting compactly, we have

$\iint_A M \phi(x, y) M \phi(x, y)^T d A\left\{\begin{array}{c}\lambda_1 \\ \vdots \\ \lambda_{m-1}\end{array}\right\}=\iint_A M \phi(x, y)\left\{\begin{array}{l}x \\ y\end{array}\right\} d A$ (36a)

or

$D \lambda=F$. (36b)

Let us now assume that we want to develop a finite element of $\eta$ nodes located at its boundary. Evaluating eqn (25) at the $\eta$ boundary point, the values of $\phi$ at those points will be

$\phi=\left\{\begin{array}{l}\phi_1 \\ \vdots \\ \phi_\eta\end{array}\right\}=\left[\begin{array}{ccc}\phi_1\left(x_1, y_1\right) & \cdots & \phi_1\left(x_\eta, y_\eta\right) \\ \vdots & \ddots & \vdots \\ \phi_\eta\left(x_1, y_1\right) & \cdots & \phi_\eta\left(x_\eta, y_\eta\right)\end{array}\right]\left\{\begin{array}{l}\lambda_1 \\ \vdots \\ \lambda_\eta\end{array}\right\}=Q \lambda.$
(37)

Then

$\lambda=Q^{-1} \phi$
(38)

or, after introducing eqn (38) into (36b), the following relation is obtained:

$D Q^{-1} \phi=F ;$
(39)

that is

$K \phi=F.$
(40)

The relation in eqn (40) has the classical form of the finite element theory, where the unknown parameters are the values of the function at the nodes. Note that complete polynomial expressions of any degree that satisfy the differential equation are used. The maximum degree to be considered will depend, of course, on the number of nodes to be defined in the element.

In the case of an equilateral triangle, the solution by FEM also replicates the exact solution for $\Phi$ shown in Figure 3.

In the case of a cylindrical bar with a circular slot, the solution by FEM provides a better approximation than the solution with boundary conditions.

Figure 6 shows the results by FEM obtained with 24 elements of 6 nodes and 61 nodal points.

Figure 6. FEM power series solution for $\Phi$ with $n=12$
4.3 Warping Function

The nondimensional warping function $\varphi$ is the harmonic conjugate of the homogeneous stress function, that is,

$\frac{\partial \varphi(x, y)}{\partial x}=\frac{\partial \phi(x, y)}{\partial y}$
(41)

$\frac{\partial \varphi(x, y)}{\partial y}=-\frac{\partial \phi(x, y)}{\partial x}$. (41b)

Let us consider $\varphi(x, y)$ as a complete power series of degree $n$ :

$\varphi(x, y)=\sum_{g=0}^n \sum_{h=0}^n \beta_{g, h} x^g y^h, \quad(g+h) \leq n.$
(42)

By integration of eqn (41a) with respect to $x$ and considering eqn (30), the following relation is obtained for $\varphi(x, y)$ :

$\varphi(x, y)=\int\left(\sum_{r=0}^{n-1} \sum_{s=1}^n a_{r, s} s x^r y^{s-1}\right) d x+f_x(y)+k_x, \quad(r+(s-1)) \leq(n-1).$
(43)

This can be transformed into

$\varphi(x, y)=\sum_{g=1}^n \sum_{h=0}^{n-1} a_{(g-1),(h+1)} \frac{(h+1)}{g} x^g y^h+f_x(y)+k, \quad(g+h) \leq n$
(44)

and by integration of eqn (41b) with respect to y and considering eqn (30):

$\varphi(x, y)=\sum_{g=0}^{n-1} \sum_{h=1}^n-a_{(g+1),(h-1)} \frac{(g+1)}{h} x^g y^h+f_y(x)+k_y, \quad(g+h) \leq n.$
(45)

Expressions (44) and (45) should be identical. It can be observed that they have redundant information in the first terms and that the term $f_x(y)$ of expression (43) can be obtained from the redundant terms of expression (45). In the same way, the term $f_y(x)$ can be obtained from the redundant terms of relation (43).

For $\varphi(x, y)$ to be a complete power series of degree $n$, it is necessary to have

$k_x=k_y=\beta_{0,0}$
(46)
$f_x(y)=\sum_{h=1}^n \beta_{0, h} y^h, \quad \beta_{0, h}=-a_{1,(h-1)} \frac{1}{h}, \quad h=1 \ldots n$
(47)
$f_y(x)=\sum_{g=1}^n \beta_{g, 0} x^g, \quad \beta_{g, 0}=a_{(g-1), 1} \frac{1}{g}, \quad g=1 \ldots n.$
(48)

Finally, $\varphi(x, y)$ takes the form

$\varphi(x, y)=\beta_{0,0}+\sum_{g=1}^n a_{(g-1), 1} \frac{1}{g} x^g+\sum_{g=1}^{n-1} \sum_{h=1}^{n-1} \beta_{g, h} x^g y^h+\sum_{h=1}^n-a_{1,(h-1)} \frac{1}{h} y^h$
(49)

with

$\beta_{g, h}=a_{(g-1),(h+1)} \frac{(h+1)}{g}=-a_{(g+1),(h-1)} \frac{(g+1)}{h} \quad g, h=1 \ldots(n-1) \quad(g+h) \leq(n-1)$.

It can be verified that eqn (49) satisfies the harmonic equation.

The warping functions of Figure 7 were obtained by applying eqn (49) to the cases of the triangular and the cylindrical bar with a slot, respectively.

Figure 7. Power series solution for $\varphi$ with a slot

5. Power Series Solution for the Biharmonic Equation $\left(\nabla^4 \phi(x, y)=0\right)$

5.1 Base of Solutions

Let $\phi(x, y)$ be a function that satisfies the homogeneous biharmonic equation

$\frac{\partial^4 \phi(x, y)}{\partial x^4}+2 \frac{\partial^4 \phi(x, y)}{\partial y^2 \partial x^2}+\frac{\partial^4 \phi(x, y)}{\partial y^4}=0.$
(50)

The complete base of power series for the biharmonic equation is as follows:

$\phi_0(x, y)=1$
(51)

$\phi_1(x, y)=x$ (51b)

$\phi_2(x, y)=y$ (51c)

$\phi_3(x, y)=x^2$ (51d)

$\phi_4(x, y)=x y$ (51e)

$\phi_5(x, y)=y^2$ (51f)

$\phi_6(x, y)=x^3$ (51g)

$\phi_7(x, y)=x^2 y$ (51h)

$\phi_8(x, y)=x y^2$ (51i)

$\phi_9(x, y)=y^3$ (51j)

$\phi_{10}(x, y)=x^3 y$ (51k)

$\phi_{11}(x, y)=x y^3$ (51l)

$\phi_{11+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j}(-1)^j x^{2 i-2 j+2} y^{2 j} \quad i=1 \ldots\left\lfloor\frac{n-2}{2}\right\rfloor$ (51m)

$\phi_{11+\left\lfloor\frac{n-2}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j}(-1)^j x^{2 j} y^{2 i-2 j+2} \quad i=1 \ldots\left\lfloor\frac{n-2}{2}\right\rfloor$ (51n)

$\phi_{11+2\left\lfloor\frac{n-2}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+3}{2 j} \frac{(i-j+1)}{(i+1)}(-1)^j x^{2 i-2 j+3} y^{2 j} \quad i=1 \ldots\left\lfloor\frac{n-3}{2}\right\rfloor$. (51o)

$\phi_{11+2\left\lfloor\frac{n-2}{2}\right\rfloor+\left\lfloor\frac{n-3}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j} \frac{1}{(2 j+1)}(-1)^j x^{2 j+1} y^{2 i-2 j+2} \quad i=1 \ldots\left\lfloor\frac{n-3}{2}\right\rfloor$ (51p)

$\phi_{11+2\left\lfloor\frac{n-2}{2}\right\rfloor+2\left\lfloor\frac{n-3}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+3}{2 j} \frac{(i-j+1)}{(i+1)}(-1)^j x^{2 j} y^{2 i-2 j+3} \quad i=1 \ldots\left\lfloor\frac{n-3}{2}\right\rfloor$ (51q)

$\phi_{11+2\left\lfloor\frac{n-2}{2}\right\rfloor+3\left\lfloor\frac{n-3}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j} \frac{1}{(2 j+1)}(-1)^j x^{2 i-2 j+2} y^{2 j+1} \quad i=1 \ldots\left\lfloor\frac{n-3}{2}\right\rfloor$ (51r)

$\phi_{11+2\left[\frac{n-2}{2}\right]+4\left\lfloor\frac{n-3}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j} \frac{(2 i+3)}{(2 i-2 j+3)(2 j+1)}(-1)^j x^{2 i-2 j+3} y^{2 j+1} \quad i=1 \ldots\left\lfloor\frac{n-4}{2}\right\rfloor$ (51s)

$\begin{array}{r}\phi_{11+2\left\lfloor\frac{n-2}{2}\right\rfloor+4\left\lfloor\frac{n-3}{2}\right\rfloor+\left\lfloor\frac{n-4}{2}\right\rfloor+i}(x, y)=\sum_{j=0}^i\binom{2 i+1}{2 j} \frac{(2 i+3)}{(2 i-2 j+3)(2 j+1)}(-1)^j x^{2 j+1} y^{2 i-2 j+3} \\ i=1 \ldots\left\lfloor\frac{n-4}{2}\right\rfloor .\end{array}$ (51t)

The number of elements in the base is

$m=12+2\left\lfloor\frac{n-2}{2}\right\rfloor+4\left\lfloor\frac{n-3}{2}\right\rfloor+2\left\lfloor\frac{n-4}{2}\right\rfloor=4 n-2.$
(52)

It can be verified that each element of the base satisfies the biharmonic equation. Unlike the case of the harmonic equation, in this case there are some bases that repeat powers (compare (51m) with (51n), (51o) with (51p), (51q) with (51r), and (51s) with (51t)).

The base contains all powers of x and y up to degree n. Similarly to the case of the harmonic equation, this is demonstrated by the following identity:

$\begin{gathered}12+\left(\left\lfloor\frac{\mid n-2}{2}\right\rfloor\right. \\ \left.\sum_{i=1}^2(i+1)+\left\lfloor\frac{n-2}{2}\right\rfloor\right)+2\left(\sum_{i=1}^{\left\lfloor\frac{n-3}{2}\right\rfloor}(i+1)+\left\lfloor\frac{n-3}{2}\right\rfloor\right)+\left(\left\lfloor\frac{n-4}{2}\right\rfloor(i+1)+\left\lfloor\frac{n-4}{2}\right\rfloor\right) \\ =\frac{(n+1)(n+2)}{2}\end{gathered}$
(53)

Expressions (52) and (53) can be verified by taking separately the case $n=$ even and $n=$ odd.

According to eqn (52), the number of parameters $\lambda_i$ that have to be determined is $m= 4 n-2$. As the differential equation is of order $4(\mu=2$ in eqn (1)), there are two boundary conditions of order up to 3.

The $\lambda_i$ parameters can be obtained by forcing the solution to satisfy the boundary condition at $N$ points distributed along the boundary.

5.2 Simple Supported Rectangular Plate with Uniform Load
5.2.1 Solution by boundary conditions

Using Kirchhoff’s theory, the differential equation governing the bending of thin plates is given by (54):

$\nabla^4 w(x, y)=\frac{q}{D}$
(54)

where, $\quad q$: applied load

$w$: vertical displacement

$D$: plate stiffness ($D=E h^3 / 12\left(1-\sigma^2\right)$).

The exact solution for a simple supported rectangular plate is given by Navier's method; see Timoshenko and Woinowsky-Krieger [5]:

$w(x, y)=\frac{16 q}{D \pi^6} \sum_{\xi} \sum_v \frac{\sin \left(\frac{\xi \pi x}{a}\right) \sin \left(\frac{v \pi y}{b}\right)}{\xi_v\left(\frac{\xi^2}{a^2}+\frac{v^2}{b^2}\right)} \quad \xi, v=1,3,5 \ldots \infty.$
(55)

Figure 8 shows the displacements of a simple supported rectangular plate subjected to a uniform load.

Defining as a particular solution of eqn (54)

$w^P(x, y)=\frac{q}{D}\left(0.01875 x^4+0.0125 x^2 y^2+0.01875 y^4\right)$
(56)

and considering for the homogeneous solution the bases defined by (51), a solution similar to the one described in section 4.2.1 is possible.

Figure 8. Exact $w$ solution for a simple supported rectangular plate with uniform load

The simple supported conditions are

$w(x, y)=0 \quad \forall \,\,pair (x, y) \in boundary $
(57)

and the bending moments normal to the boundary = 0 are shown in Figure 9:

$M_y(x, 0)=0, \quad \forall 0 \leq x \leq a$
(58)

$M_y(x, b)=0, \quad \forall 0 \leq x \leq a$ (58b)

$M_x(0, y)=0, \quad \forall 0 \leq y \leq b$ (58c)

$M_x(a, y)=0, \quad \forall 0 \leq y \leq b$, (58d)

where

$M_x(x, y)=-D\left(\frac{\partial^2 w(x, y)}{\partial x^2}+\sigma \frac{\partial^2 w(x, y)}{\partial y^2}\right)$
(59)

$M_y(x, y)=-D\left(\frac{\partial^2 w(x, y)}{\partial y^2}+\sigma \frac{\partial^2 w(x, y)}{\partial x^2}\right)$. (59b)

Figure 10 shows the approximate solution considering nine points at the boundary.

Figure 9. Boundary conditions for bending moments
Figure 10. Power series solution with $n$ = 6

6. Conclusions

A solution of some equilibrium problems in solid mechanics has been presented, consisting of a complete base power series that satisfies identically the homogeneous differential equation that governs the phenomena. The boundary conditions are satisfied only approximately at selected points. This technique is applied to the pure torsion problem giving excellent results for particular cases. The approximation to the exact solution will depend on the number of elements in the base of power series used, which in turn determines the number of points where the boundary conditions have to be satisfied.

The method is extended to the construction of finite elements of high order by selecting boundary nodes in the element and then establishing a relationship between the values of the unknown function at those nodes. In this way the interpolation functions are complete polynomialex pressions that satisfy the differential equation and the approximation will depend on the number of nodes to be used.

Finally, the complete base series for the biharmonic differential equation is presented. The theory is then applied to the plate-bending Kirchhoff’s problem and, in particular, to the case of a rectangular simple supported plate subjected to a uniform load. For other applications, see González [6].

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Acknowledgments

The authors thank the Department of Civil Engineering of the University of Chile, where this research was carried out.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References
[1] Crandall, S.H., Engineering Analysis, McGraw-Hill: New York, 1956.
[2] Hetényi, M., Beams on Elastic Foundations: Theory with Applications in the Fields of Civil and Mechanical Engineering, The University of Michigan Press: Ann Arbor, Michigan, 1946.
[3] Connor, J.J., Analysis of Structural Members Systems, Ronald Press: New York, 1976.
[4] Sokolnikoff, I.S., Mathematical Theory of Elasticity, 2nd edn, McGraw-Hill: New York, 1956.
[5] Timoshenko, S.P. & Woinowsky-Krieger, S., Theory of Plates and Shells, 2nd edn, McGraw-Hill: New York, 1959.
[6] González, E., Solución a Problemas de Elasticidad mediante Series de Potencia, Civil Engineering Thesis, Universidad de Chile: Santiago, 2003.

Cite this:
APA Style
IEEE Style
BibTex Style
MLA Style
Chicago Style
GB-T-7714-2015
González, E. & Sarrazin, M. (2015). Solution of Solid Mechanic Equilibrium Problems by Power Series. Int. J. Comput. Methods Exp. Meas., 3(1), 33-48. https://doi.org/10.2495/CMEM-V3-N1-33-48
E. González and M. Sarrazin, "Solution of Solid Mechanic Equilibrium Problems by Power Series," Int. J. Comput. Methods Exp. Meas., vol. 3, no. 1, pp. 33-48, 2015. https://doi.org/10.2495/CMEM-V3-N1-33-48
@research-article{González2015SolutionOS,
title={Solution of Solid Mechanic Equilibrium Problems by Power Series},
author={E. GonzáLez and M. Sarrazin},
journal={International Journal of Computational Methods and Experimental Measurements},
year={2015},
page={33-48},
doi={https://doi.org/10.2495/CMEM-V3-N1-33-48}
}
E. GonzáLez, et al. "Solution of Solid Mechanic Equilibrium Problems by Power Series." International Journal of Computational Methods and Experimental Measurements, v 3, pp 33-48. doi: https://doi.org/10.2495/CMEM-V3-N1-33-48
E. GonzáLez and M. Sarrazin. "Solution of Solid Mechanic Equilibrium Problems by Power Series." International Journal of Computational Methods and Experimental Measurements, 3, (2015): 33-48. doi: https://doi.org/10.2495/CMEM-V3-N1-33-48
GONZÁLEZ E, SARRAZIN M. Solution of Solid Mechanic Equilibrium Problems by Power Series[J]. International Journal of Computational Methods and Experimental Measurements, 2015, 3(1): 33-48. https://doi.org/10.2495/CMEM-V3-N1-33-48