Introduction

Structural optimization is one of the most challenging research topics in the field of computational mechanics. It has received more and more attention recently because of its great potential application in many industrial areas. Its importance lies in the fact that the appropriate result of structural design is generally the most decisive factor that influences the product efficiency.

Structural optimization, especially topology optimization, is being used increasingly in aerospace vehicles, maritime carriers, wind turbine blades, and various mechanical equipment where high strength, high stiffness, and low weight are important. In such applications, the problem of selecting a suitable optimization model has been investigated for a long time. In the vast literature on structural optimization model, arguably the two most studied problems are stress-constrained weight minimization and material volume-constrained compliance minimization. Indeed, Cox (1965) succeeded to prove that results attained via compliance minimization model would be equivalent to Michell's truss (stress-constrained weight minimization result) in 1965.It has been shown a long time ago that these seemingly different problems possess equal optimal topologies (result), when the truss is subject to a single loading condition and the allowable stresses in tension and compression are equal (Dorn et al. 1964; Hemp 1973). This result has been extended by Achtziger (1996) for cases where the allowable stresses in tension and compression are not equal.

Despite these successes, most of the topology optimization problems were modeled to minimize the compliance of the structures, following the methods adopted by Bendsøe and Kikuchi. The optimization problems of minimum compliance have been widely studied in the relevant literature (Xie et al. 2012; Bendsøe 1989; Eschenauer and Olhoff 2001; Sethian and Wiegmann 2000; Xie and Steven 1993; Gerzen and Barthold 2012; Gain and Paulino 2012; Lee et al. 2012; Bruggi and Duysinx 2012).

Given all that, in most static structure design examples, the ultimate goal is to find the structures with maximum stiffness, or with minimum weight under stress constraint. Most of the current designs were modeled by minimum compliance and achieved the desired results by solving the minimum compliance problems. Although many good results have been attained in this way, stiffness is more accurately characterized by the maximum displacement of a structure under load. Moreover, Mela and Koski (2012) have suggested that the stress-constrained minimum weight problem and the compliance minimization problem do not have equal optimal topologies of truss under multiple loading conditions.

The main purpose of the present paper is to show that the maximum stress minimization problem and the compliance minimization problem have equal optimal results of pure bending beam under a single loading condition. Compared to them, the maximum displacement minimization problem does not have equal optimal results, and it is necessary to find the appropriate index as approximation of the maximum displacement.

The paper is organized as follows: the optimal design results attained via the different models is presented and discussed in detail in the ‘Methods’ section. The main result of the paper is presented in the ‘Results and discussion’ section, where a cantilever beam is minimized separately for the maximum displacement, maximum stress, compliance, and so on. To illustrate the application of the proposed index as appropriate approximation of the maximum displacement in the static structure optimization, a power index parameter is solved in the ‘Results and discussion’ section. Finally, the results are summarized with discussion in the ‘Conclusions’ section.

Methods

Cross-sectional design of the cantilever beam

Problem description

In order to present the differences in optimal design results attained via the maximum displacement, maximum stress, and conventional mean compliance methods, a cantilever beam was studied with varying square cross sections, with ends x = 0 and x = L, where x is the abscissa measured along the beam axis and subjected to a distributed constant line load q, as shown in Figure 1a. The equation of bending moment and bending moment diagram are given in Figure 1b. The objective of this example is to obtain the excellent mechanical performance of the cantilever beam by changing the cross-sectional areas along the x-axis.

Figure 1
figure 1

A Cantilever beam with varying sections. (a) A cantilever beam under uniformly distributed load. (b) Equation of bending moment.

The exact differential equation of the deflection (displacement of the y-axis) curve can be described as

EI x 2 v x 2 = M x = 1 2 q x 2 .
(1)

Here, v is the displacement of any point along the x-axis, q is the load line density, and E is Young's modulus of the material. Here, moments of inertia I(x) can also be stated as

I x = A 2 x 12 .
(2)

Here, A(x) is the continuously differentiable function of the area of the square cross section along the x-axis.

Then, the mechanical optimization problem can be formulated as

find : A x min : f A s . t . : 0 L A x dx = W 0 .
(3)

Here, f(A) denotes a mechanical behavior index, and the material volume is limited by W0. With the Lagrange multiplier method, the solution of the cross-sectional areas of cantilever beam is attained by

δ A f A + λ 0 L δAdx = 0 , δλ 0 L A x dx W 0 = 0.
(4)

Here, δA is the variation function of A(x), and δA(f(A))denotes the Fréchet derivative of f(A) with respect to A(x).The constrained optimization problem (3) is transformed into an equivalent equation (4) by making use of the Karush-Kuhn-Tucker conditions of the constrained optimization. The optimal cross-sectional area fields A(x) in problem (3) can be obtained by solving Equation 4.

Minimization of the maximum displacement

In many practical cases, a commonly used design criterion is that the maximum displacement of the structure should not exceed a specified value. Thus, maximum displacement is naturally the ideal objective function of optimization models. According to the elementary theory of the beam, the maximum displacement is located in the boundary of x = 0 and can be written as

v max A = 0 L M ¯ x M x EI dx = 0 L 6 q x 3 E A 2 dx ,
(5)

where M ¯ x is the bending moment produced by a unit load applied on the free end of the beam (x = 0) and is of the form

M ¯ x = x .
(6)

Substituting Equations 5 and 6 into Equation 4 gives

0 L 12 q x 3 E A 3 + λ δAdx = 0
(7)

and

0 L Adx W 0 = 0.
(8)

Since δA is an arbitrary function, A(x) can be written as

A = 12 q λE 1 / 3 x .
(9)

Here, λ is an unknown variable. Substituting Equation 9 into Equation 8, the optimal cross-sectional area fields A v max x . and λ can be expressed as

λ = 8 q L 6 2 E M 3 A v max x = 2 W 0 L 2 x
(10)

and the corresponding displacement function is

v v max = 3 q L 4 4 E W 0 2 x L 2 .
(11)

The sectional maximum stress is found at the location on the cross section where y is the largest and can be written as

σ v max = M y max I = 6 M A 1 2 A 2 = 9 8 q L 7 2 W 0 3 2 x L 1 2
(12)

Introducing a dimensionless parameter

x ˜ = x L ,
(13)

the cross-sectional area fields and the corresponding displacement function can be expressed in the dimensionless space as

A ˜ v max x ˜ = A v max x ˜ L W 0 = 2 x ˜ ,
(14)
v ˜ v max x ˜ = v v max x ˜ E W 0 2 q L 6 = 3 4 x ˜ 1 2 ,
(15)

and

σ ˜ v max = σ v max x ˜ W 0 3 2 q L 7 2 = 9 8 x ˜ 1 2 .
(16)

Here, the subscript vmax shows that the optimization objective is to minimize the maximum displacement.

Minimization of the maximum stress

In many practical cases, a commonly used design criterion is that the maximum stress of the structure should not exceed a specified value (strength criterion). Thus, maximum stress is naturally the ideal objective function of optimization models. However, the location of the maximum stress usually will not be fixed with the change of material distribution in the optimization process. Therefore, the maximum stress is an implicit function with respect to material distribution. Hence, to resolve this problem, a performance index called geometric average sectional maximum stress instead of a direct optimization of the maximum stress is proposed, which is expressed as

f σ max = lim n 1 L 0 L σ max n dx 1 n = lim n 1 L 0 L 6 M A 3 2 n dx 1 n .
(17)

Theoretically, geometric average displacement (GAD) tends to geometric average stress when n tends to infinity (Gentile 2003; Li and Fang 1997).

Substituting Equation 17 into Equation 4 gives

lim n 0 L Z x 2 n A 3 2 n + 1 + λ δAdx = 0 ,
(18)

where

Z = 3 3 q n 2 L 1 L 0 L 3 q x 2 A 3 2 n dx 1 n 1 .
(19)

Since δA is an arbitrary function, A(x) can be written as

A = lim n Z λ 2 3 n + 2 x 4 n 3 n + 2 = H x 4 3 ,
(20)

where H is an unknown variable:

H = lim n Z λ 2 3 n + 2 .
(21)

Substituting Equation 20 into Equation 8 gives

H = 7 W 0 3 L 7 / 3 A σ max x = 7 W 0 3 L 7 / 3 x 4 / 3 .
(22)

The corresponding displacement function and the sectional maximum stress function are

v σ max = 81 q L 14 / 3 98 E W 0 2 3 x 4 / 3 4 L 1 / 3 x + L 1 / 3 σ σ max = 243 343 q L 7 2 W 0 3 2 .
(23)

As shown in Equation 22, we can obtain an iso-stress (the sectional maximum stress function is constant) design via the maximum stress-based model. The dimensionless cross-sectional area fields, displacement function, and the sectional maximum stress function are

A ˜ σ max x ˜ = A σ max x ˜ L W 0 = 7 3 x ˜ 4 / 3 v ˜ σ max x ˜ = 81 98 ( 3 x ˜ 4 / 3 4 x ˜ + 1 ) σ ˜ σ max = 243 343 .
(24)

Here, the subscript σmax shows that the optimization objective is to minimize the maximum stress.

Minimization of the compliance

For the cantilever beam in Figure 1, the compliance can also be expressed as

f A = C = 0 L M x M x 2 EI dx = 0 L 3 q 2 x 4 2 E A 2 dx .
(25)

Here, the compliance is used as an optimization objective function. The optimal cross-sectional area fields A(x) should obey the following necessary conditions:

0 L 3 q 2 x 4 E A 3 + λ δAdx = 0 , 0 L Adx W 0 = 0.
(26)

The cross-sectional area fields can be obtained by solving Equation 26, which is

A C x = 7 W 0 3 L 7 / 3 x 4 / 3
(27)

Compared with Equation 22, the compliance minimization problem and the maximum stress minimization problem have equal optimal results in this example. To amplify this highly simplified conclusion, the contrast between the compliance minimization problem and the maximum stress minimizaion problem can be formulated as

lim n 0 L Z M n A σ max 3 n + 2 2 + λ σ max δAdx Z = 3 6 n 2 L 1 L 0 L 6 M A σ max 3 2 n dx 1 n 1 0 L A σ max dx W 0 = 0 0 L 12 M 2 E A C 3 + λ C δAdx = 0 , 0 L A C dx W 0 = 0
(28)

then

A σ max = lim n Z M n λ σ max 2 3 n + 2 = H σ max M 2 3 H σ max = lim n Z λ σ max 2 3 n + 2 A C = 12 M 2 E λ C 1 3 = H C M 2 3 H C = 12 E λ C 1 3 .
(29)

Substituting Equation 29 into Equation 4 gives

H σ max = H C A σ max = A C .
(30)

Therefore, the first example helps us draw the conclusion that in this kind of problem (pure bending beam), the optimal design generated from the compliance formulation and the maximum are identical, same to the truss problems (Cox 1965; Dorn et al. 1964; Hemp 1973).

Comparisons of the results

Comparing these results, it shows that the optimization models with compliance (maximum stress) and the maximum displacement as objective function sometimes does not give the same optimal results in this kind of problem, and we find significant differences in the cross-sectional area fields, displacement, and the sectional maximum stress function. To be more specific, from the results, the maximum displacement of the optimal design generated from maximum displacement decreases by extra 10% in comparison with the design obtained by conventional compliance (maximum stress). Furthermore, the maximum stress of the optimal design generated from maximum displacement with the extra increase of 26% is presented to demonstrate the validity of this example, as shown in Figure 2.

Figure 2
figure 2

Comparisons of design results of objectives. (a) Comparisons of displacement function. (b) Comparisons of cross-sectional area fields. (c) Comparisons of the sectional maximum stress function.

Results and discussion

The optimization model of the geometric average displacement

In many practical cases, a commonly used design criterion is the maximum displacement of the structure which does not exceed a specified value (stiffness criterion). Thus, maximum displacement is naturally the ideal objective function of optimization models. However, the location of the maximum displacement usually changes with the change of material distribution in the optimization process, resulting in a discontinuous maximum displacement function, especially for topology optimization. Hence, to achieve a good balance between the optimization performance and numerical cost, a performance index called GADUGAD, instead of a direct optimization of the maximum displacement, is proposed, which is expressed as

U GAD = 1 Ω Ω u x n d Ω 1 n , x Ω .
(31)

Here, |Ω| denotes the area (or volume) of the design region, and the displacement of a general point can be described in terms of u(x). Theoretically, GAD tends to the maximum displacement when n tends to infinity (Li and Fang 1997), i.e., U GAD n max u x , x Ω . When n is big enough, GAD is an appropriate approximation of the maximum displacement.

In order to present the validity of GAD, a cantilever beam was studied again with varying square cross sections and subjected to a distributed linear load, as shown in Figure 3a. The equation of bending moment and bending moment diagram are given in Figure 3b.

Figure 3
figure 3

Cantilever beam with varying sections subjected to a distributed linear load. (a) A cantilever beam under uniformly distributed load. (b) Equation of bending moment.

First, the conventional compliance formulation is applied under a given weight constraint. Then, the same problem in Figure 3 is solved using the minimization of the maximum displacement. Finally, to discuss the influence of the objective functions, a GAD-based optimization model is carried out to find the maximum stiffness design with the different power indices n (1,2,3,4).

For the cantilever beam in Figure 3, the compliance can also be expressed as

f c A = C = 0 L M x M x 2 EI dx = 0 L Q 2 x 6 6 E L 2 A 2 dx .
(32)

The cross-sectional area fields can be obtained by substituting Equation 32 into Equation 4, which is

A C x = 3 W 0 L 3 x 2 .
(33)

The corresponding displacement function and the sectional maximum stress function are

v C = 2 Q L 5 9 E W 0 2 x ln x + L x x ln L σ C = 1 27 Q L 7 2 W 0 3 2 .
(34)

We also obtain an iso-stress design via compliance-based model as the former example. The dimensionless cross-sectional area fields, displacement function, and the sectional maximum stress function of compliance are

A ˜ C x ˜ = 3 x ˜ 2 v ˜ σ max x ˜ = 2 9 x ˜ ln x ˜ x ˜ + 1 x ˜ 1 2 9 x ˜ = 1 σ ˜ σ max = 1 27 .
(35)

According to Equations 28 to 30, the compliance minimization problem and the maximum stress minimization problem will have equal optimal results in this example. Wherefore, it is useless to solve this problem again via the maximum stress-based model.

For the cantilever beam in Figure 3, the maximum displacement can also be expressed as

f v max A = v x x = L = 0 L M ¯ x M x EI dx = 0 L 2 Q x 4 EL A 2 dx .
(36)

The cross-sectional area fields can be obtained by substituting Equation 32 into Equation 4, which is

A v max x = 7 W 0 3 L 7 3 x 4 3 .
(37)

The corresponding displacement function and the sectional maximum stress function are

v v max = 27 Q L 11 3 686 E W 0 2 3 x 7 3 7 L 4 3 x + 4 L 7 3 σ v max = 27 243 Q L 7 2 W 0 3 2 x .
(38)

The dimensionless cross-sectional area fields, displacement function, and the sectional maximum stress function of compliance are

A ˜ v max x ˜ = 7 3 x ˜ 4 3 v ˜ v max x ˜ = 27 686 ( 3 x ˜ 7 3 7 x ˜ + 4 ) σ ˜ v max = 27 243 x ˜ .
(39)

In order to illustrate that GAD is an appropriate approximation of the maximum displacement, the problem is modeled again to minimize GAD as follows:

f GAD n = 1 L 0 L v n x dx 1 n .
(40)

Based on the optimal result generated by the maximum displacement, we can assume the optimal cross-sectional area fields obtained by GAD as follows:

A GAD n = H m x m 2 ,
(41)

where the superscript n denotes a power index parameter in Equation 40, and m is the evaluated variable. Substituting Equation 41 into Equation 4 gives

H m = m + 2 W 0 2 L m + 2 2 ,
(42)

and the corresponding displacement function is

v GAD = 8 Q L m + 1 E W 0 2 4 m 5 m m + 2 2 ( x 5 m 5 m L 4 m x + ( 4 m ) L 5 m ) m < 4 2 Q L 5 9 E W 0 2 x ln x + L x x ln L x 0 2 Q L 6 9 E W 0 2 x 0 m = 4 .
(43)

The geometric average displacement can be rewritten as

f GAD n = f GAD n n , m = 8 Q L 6 E W 0 2 4 m 5 m m + 2 2 1 L 0 1 x ˜ 5 m 5 m x ˜ + 4 m n d x ˜ 1 n m < 4 2 Q L 6 9 E W 0 2 1 L 0 1 x ˜ ln x ˜ x ˜ + 1 n d x ˜ 1 n m = 4 ,
(44)

and the evaluated variable m in the optimal cross-sectional area fields can be solved by

f GAD n n , m m = 0 .
(45)

To facilitate the comparisons, the solutions of the optimization models with the compliance (the maximum stress), the maximum displacement, and GAD as objective functions are shown in Table 1 and Figure 4. It can be seen that the compliance design experiences large displacement under the applied force, whereas the compliance and GAD design have only very slight displacement that implies a much stiffer design. To be more specific, the maximum displacement of the optimal design generated from GAD decreases by an extra 32% in comparison with the design obtained by compliance. Furthermore, the maximum stress of the optimal design generated from GAD, and the compliance with the extra increase of 21% is presented to demonstrate the validity of this example. With the increase in power index n, the material distribution and the displacement field obtained by the GAD-based model rapidly move close to the convergence of results obtained by the maximum displacement. Since the approximate level tends to stability with the increasing power index n, an appropriate value n is required to be selected in the practical optimization process.

Table 1 Results obtained by geometric average displacement for varying n
Figure 4
figure 4

Comparisons of design results of objectives. (a) Comparisons of displacement function. (b) Comparisons of cross-sectional area fields. (c) Comparisons of the sectional maximum stress function.

Conclusions

The classic test problems indicate that for the pure bending beam under single loading condition, the maximum stress minimization problem and the compliance minimization problem have equal optimal results, and the maximum displacement minimization problem and the compliance minimization problem do not have equal optimal results. This anticipated result has so far been without the proof that the test problems provide. The implication of the conclusion is that the designer can rely on finding the stress-constrained minimum weight solution by performing optimization for the compliance minimization problem, and it is necessary to propose an appropriate index as approximation of the maximum displacement for the complex problems. Through a classic example, it was shown that the solutions achieved via the model utilizing GAD rapidly move close to the convergence of results obtained by the maximum displacement.