1. Introduction
Differential equations are widely used for the description of scientific and engineering phenomena with frequent appearances of nonlinear types [
1,
2,
3,
4]. Consequently, differential equations and solution methods have a major role in modeling transmission dynamics and rendering control strategies for communicable diseases such as tuberculosis and COVID-19 [
5,
6]. There have been tremendous efforts to solve differential equations with generalized and ad hoc methods, but there are always problems that cannot be effectively solved for many reasons [
7,
8,
9]. Some known solutions of some specialized differential equations, such as those related to Bessel functions and hypergeometric functions, can be effectively used, but there are still differential equations that cannot be solved with existing methods and known functions [
10,
11].
With classical methods of solutions failing in these contexts, in recent decades, some special methods with gradual sophistication have been developed, such as the multiscale method [
10], homotopy analysis method [
12,
13,
14,
15], homotopy perturbation method [
16], and others dealing with emerging differential equations in many fields [
17,
18]. Generally, most of these methods are asymptotic in nature, and can find solutions in series form with an improved converging rate and numerical stability over a relatively large interval. In combination with the algorithm development and computing tools for symbolic computation, these methods can powerfully and efficiently solve many practical and classical nonlinear equations. As a result, many techniques have been applied to the latest problems, and the improved solution techniques have been widely promoted and utilized.
Studies on the large deflection of beams mostly focused on different boundary conditions, cross-section characteristics, and loading conditions [
19], among others. Formulated with the angle enclosed by the axes of the deformed and undeformed configurations, the nonlinear equation of an elastic beam subjected to concentrated forces or couples resembles the equation of motion of a rigid pendulum according to Kirchhoff’s kinetic analogy [
20]. Large deflections of an end-supported beam subjected to a point load are solved using both the elliptic integral method and the shooting-optimization technique [
21]. The homotopy analysis method was used to solve this problem with enough accuracy [
13]. In recent attempts to find an optimal method for nonlinear vibrations of structures, it was discovered that the Galerkin method and its alternative form, the Rayleigh-Ritz method, can be effective for approximate analysis of nonlinear vibrations in certain circumstances [
22,
23,
24,
25]. The Legendre–Galerkin matrix (LGM) method is used to solve the vibration equations of single (SDOF) and multiple degree-of-freedom (MDOF) structural systems [
26]. The nonresonance and primary resonance of microbeams with consideration of small-scale effects and nonlinear terms were obtained by the Galerkin and multiple-scale methods [
27].
With the objective of finding an effective method and taking the advantage of the widespread availability of powerful symbolic computing tools and resources, it is thought that the Galerkin method can be used for obtaining relatively accurate solutions to nonlinear differential equations with a simple procedure [
28,
29]. The procedure can be developed with the appropriate trial solutions satisfying essential boundary and initial conditions, making the computing process more efficient for accelerated convergence and improving accuracy [
30,
31]. Furthermore, if the orthogonality of trial solutions is guaranteed, the calculation will be further optimized. These concepts are already practiced in linear problems with the Galerkin method and its modifications, and further improvements can be made with nonlinear problems as an innovative implementation. The basic ideas outlined here were applied to the nonlinear equation of a thin beam, and the results showed that the analysis can be used, and the results are quite accurate. The demonstration of the use of the Galerkin method for approximate solutions to nonlinear differential equations is novel and enlightening in the promotion of this classical and practical method for new objectives and applications. The robustness of this approach is more apparent when applied to this historical elastica problem, which has been used as a benchmark for various methods and techniques. This application presents an ideal case for employing the Galerkin method to take advantage of its efficiency and simplicity in dealing with increasing nonlinear differential equations from various applications in the absence of analytical or other approximate solutions.
2. Galerkin Method for Solutions of Nonlinear Differential Equations
To implement the Galerkin method to solve nonlinear differential equations, the fundamental concepts and procedures are introduced to provide an essential understanding. The rigorous mathematical procedure and associated assumptions and proofs are not included in this paper, but they can be found in many mathematical textbooks and monographs [
10,
32]. A general nonlinear differential second-order equation is
where
, and
b are the function, derivatives with respect to the spatial variable, nonlinear term with the power of
k, parameter, spatial variable, lower bound, and upper bound, respectively. With prescribed boundary and initial conditions, the approximate solution, also generally asymptotic, can be assumed as
where the chosen function
satisfies the boundary conditions, and
An are coefficients to be determined with the limitations by an integer
M. As a general rule of thumb, the trial solutions
can be conveniently chosen from the solutions of a simplified linear equation, so calculations will be simple and efficient. Furthermore, it is important to expect that these solutions are also orthogonal. There is abundant literature on the optimal selections of trial functions, and one must deal with some typical equation types and appropriate boundary conditions.
Applying the Galerkin method, the problem in Equation (1) is transformed to
Because the Galerkin method has proven its capability to provide accurate solutions to linear differential equations as a powerful and robust approximate procedure, it is also thought the nonlinear equations can be solved in a similar manner with equal strength. With this hypothesis in mind, the arbitrary variation in independent coefficients in Equation (3) results in a series of nonlinear algebraic equations of unknown amplitudes after integration as
using the equation and trial functions with parameters
p and
q. By solving the system of nonlinear algebraic equations for amplitude
Am, the approximate solution can be obtained. It is better to have orthogonal functions in the domain of integration for a simple form and least couplings of unknowns in Equation (4). After obtaining solutions of the coefficients, the solution is in Equation (2) for manipulations in relation to the problem.
If a simplified procedure is sought, with a careful selection of trial functions satisfying the boundary conditions, the procedure starts with
Then, the first approximate equation is
The coefficient
A0 is to be solved from the above equation. To improve the solution with an additional function, it is further assumed that the updated solution is
Then, the following Equation is for the unknown amplitude
A1 by using known
A0 from the procedure above in Equation (6). By repeating this procedure with the successive addition of higher-order solutions, other coefficients of higher-order approximations can be successively obtained for an improved solution.
With the two steps for the approximate solution in the above demonstration, the results have to be compared before a conclusion can be drawn on the advantage of the Galerkin method. If a good trial solution is selected from the beginning, the accuracy of solutions will be satisfactory based on the proven trust in the Galerkin method. Further proof and validation can be made with some typical examples. These steps are simple with given equations that are asymptotic in nature. The amplitudes can be improved through an iterative procedure from the nonlinear algebraic equations.
3. Equation of Flexure of an Elastic Beam and Its Solution
With the procedure and algorithm outlined above, a typical nonlinear equation is needed to test the procedure and accuracy. Among the many typical nonlinear differential equations, the large deformation of a beam under a concentrated force at the free end, also known as the elastica, is [
14,
15,
31,
32,
33]
where
is the rotation of the cross-section of beam, and
is a constant of the property of the beam problem, with
and
as the point load at the free tip, beam length, and bending stiffness of the beam, respectively.
This is widely known as the elastica problem, which has been extensively studied [
32,
33,
34]. The elastica of nonprismatic cantilever beams with rectangular cross-sections that are subjected to combined loading was studied by Lee [
35]. Wang et al. used the homotopy analysis method (HAM) for this problem with approximate solutions in power series with a large radius of convergence [
15]. An elastic beam with relatively large deformation under a concentrated load is a common structural problem in both civil and mechanical engineering [
10,
11,
14,
15,
32,
33,
34]. The analytical methods and exact solution to this problem are very important for the design and optimization of these structures. Therefore, a new solution technique with improved results is important for validating the proposed approach with the Galerkin method. In previous studies, the traditional Galerkin method was first used for analysis of wave propagation in finite solids with nonlinear complications [
36]. By assuming the spatial variation in displacements in the exact form of the known linear mode shape, Wang et al. used the orthogonal properties of the linear mode shapes to obtain the equations to approximately determine the temporal behavior [
37]. Wang further expanded the application scope of the Galerkin method by integrating the weighted equation of motion over the time of one period of vibrations to eliminate the harmonics from the deformation function [
31]. This is an extension of Galerkin method that has broad applications in approximate solutions, particularly for solid mechanics problems [
29]. This extended Galerkin method can also be utilized for the analysis of nonlinear differential equations of free and forced nonlinear vibrations of structures as a new technique with many advantages [
28,
29,
30,
31]. The procedure outlined in this paper for the determination of displacement coefficients from nonlinear algebraic equations is new, but it is a natural extension of the popular Galerkin method meriting wide publicization and promotion.
By examining Equation (9), it is clear that the trial solution with trigonometric functions satisfying the boundary conditions is in the form of
The amplitudes
are determined with the procedure outlined above. One must substitute Equation (10) into Equation (9) with a standard Galerkin formulation
where
with arbitrary variation in amplitudes
.
For the evaluation of the integral, there are several choices of analytical expressions and power series expressions. It is more favorable to use
Then, the problem will be the evaluation of individual equations without coupling as
With Equation (4), Equation (6) can be written as
for the coupled amplitudes with the choice of order
. The procedure outlined above is followed to obtain the solutions of amplitudes.
To obtain the amplitude
, the approximate solution is taken as
and the integration of Equation (7) yields
To find appropriate solution of
, the curves from Equation (17) are plotted in
Figure 1 to help the solution procedure of this equation.
As shown in
Figure 1, there are two real solutions of
A0 with
α from the nonlinear algebraic equation in Equation (17). The amplitude
A0 can be given with
α, but the standard Maclaurin expansion only offers expression with a relatively small convergent radius. To obtain a power series solution with relatively larger convergent radius, an auxiliary expansion scheme with Chebyshev polynomial can be utilized. The procedure starts with the expression of
and the expansion is
where
is the
th-order Chebyshev polynomial, and
is the coefficient of expansion. In case an explicit expression of
is not available, the symbolic expression from mathematical tools such as Mathematica
® and MATLAB
® can be utilized for the evaluation in Equation (18). Previous studies have shown that Equations (17) and (18) here have good stability and convergence [
15,
32,
33,
34]. In this study, from Equations (17) and (18), the explicit expression of
with approximation is
Then, from Equation (10) with the known value of
, the approximate solution is modified to
where
is solved. Following the same procedure as demonstrated for
, the nonlinear algebraic equation for amplitude
is
Then, from Equation (21) with an approximate procedure for an explicit expression, the convergent solution is
noting the next approximate solution is
and the algebraic equation for
is
with the explicit expression of
as
Now with all three coefficients known, the approximate solution is given as in Equation (23), which is quite different from the power series solution produced by other methods [
15].
To verify this solution and make comparisons with other known results, the rotation angle at the free end is obtained by setting
in Equation (24) as
For comparison, the exact solution from Equation (9) is [
15]
Here, is the complete elliptic function of the first kind, and is the elliptic function of the second kind. Then, the relationship between and can be analytically obtained from these equations.
The optimal approximate solution by the HAM is given as [
15]
with
To visualize the solutions and make comparisons, different approximate solutions and the exact solution are plotted in
Figure 2 with parameter
.
It is clear from
Figure 2 that the approximations are very good with just two terms. With three terms, it is almost the exact solution in the range of parameter
as shown in the plot. The excellent accuracy is a little surprising given the fact the procedure and technique are relatively simple, as shown in this paper. As for a comparison with the rigorous and sophisticated HAM [
15], it also shows that for this particular example, this method provides a relatively accurate approximation with a much simpler procedure. We can plot the rotation angle at the free end
vs.
with solutions of different orders in
Figure 3.
From
Figure 3, it can be found that there is still a noticeable gap between the first-order and the exact solutions. On the other hand, the second-order solution gradually approaches to the exact solution. The third-order solution is almost exact in a large interval in comparison with the closed-form solution with elliptic functions. It is evident now that the Galerkin method is extremely efficient in obtaining an accurate solution to the nonlinear differential equation of the elastica. The excellent choice of the trigonometric sine function as the basis of trial solutions makes the procedure ideal, and the accuracy is also surprisingly good with just the third-order solution. It is evident that the Galerkin method can be equally powerful for nonlinear problems arising from applications in many fields. The elastica problem has a long and rich history, but it is still a hot topic related to the flexure and buckling of beams and rods; accurate results are essentially obtained from the elliptic functions [
38,
39]. The procedure and solution from this study show that with the Galerkin method, a new technique to solve similar nonlinear differential equations is available, and it can be much simpler to obtain reasonably accurate solutions. This was the objective of this study: to demonstrate the usefulness and efficiency of the Galerkin method with nonlinear differential equations. It is a neglected technique worth being promoted, as demonstrated by the popular example of the elastica problem.
The choice of trial functions is of great importance in the simplification of calculation and determination of accuracy, but the choice should be made from experience in dealing with approximate solutions for the Galerkin and Rayleigh–Ritz methods, which are equivalent in most cases. Furthermore, the solution of coupled nonlinear equations of amplitudes can be hard to acquire, but the utilization of symbolic computing tools such as Mathematica® and MATLAB® can provide much better solutions with explicit expressions that can only be given and meaningful for the lower orders. For practical problems such as the elastica problem in this study, the combination of ideal trial functions, optimal procedure, iteration, and symbolic calculation produces sufficiently accurate results to meet application requirements. If a systematic procedure with symbolic computing is developed from the approximate solutions of nonlinear algebraic equations, the efficiency and accuracy can be greatly increased to achieve better solutions of nonlinear differential equations. Further studies of and improvement in the Galerkin method will add powerful tools to the collection of techniques for nonlinear differential equations. The power and capabilities of symbolic computation can make the Galerkin method favorable for some nonlinear differential problems with less numerical computation, as shown with the elastica problem in this study.