# New analytical benchmarks for topology optimization and their implications. Part I: bi-symmetric trusses with two point loads between supports

- First Online:

- Received:
- Revised:
- Accepted:

- 11 Citations
- 945 Downloads

## Abstract

Extending some results by Sokół and Lewiński (Struct Multidisc Optim 42:835–853, 2010), the optimal topology of bi-symmetric trusses with two symmetrically placed pointloads is determined analytically, and verified by highly accurate numerical calculations. It is rather remarkable that Michell’s best-known classical solution had to wait over hundred years for its generalization from one to two point loads. Some implications of these solutions, including properties of so-called **O**-regions, are also discussed.

### Keywords

Exact topology optimization Michell trusses Optimal regions Symmetry Stress constraints## 1 Introduction

*h*; the limiting case of

*h*being infinite. As can be seen from Fig. 1b,

*h*

_{1}denotes the vertical distance of the highest point of the optimal truss from the horizontal axis of symmetry, if the structural domain is the full plane (or if the optimal height of the truss is smaller than the height of the feasible domain (

*h*

_{1}<

*h*in Fig. 1b)). Only one quarter of the structural domain, together with symmetry conditions, is shown in Fig. 1b. By recently introduced symmetry principles (Rozvany 2011), the optimal topologies to be discussed are equally valid for two pin supports, or for a pin and a roller support.

The present paper differs from those by Sokół and Lewiński (2010, 2011a), because in the latter the feasible domain was a half-plane (above or below the line of supports) and there was only a vertical axis of symmetry. In the present paper (i) the feasible domain is a rectangle or the full plane, and we have two axes of symmetry, (ii) the adjoint strain field is also given for the memberless central region of some of the optimal layouts.

Various cases of truss topology problems with two symmetrical loads between two supports (pin or roller) and for different domains (full or half-plane) were recently reviewed briefly by Sokół and Lewiński (2011b).

The line notation in this text is as follows. Thick and thin continuous lines denote concentrated and ‘distributed’ truss members, broken lines domain boundaries, dotted lines region boundaries and dash-dot lines axes of symmetry or skew-symmetry.

*A*is the member cross-sectional area,

*F*is the member force,

*k*is a constant, and

*σ*

_{p}is the constant permissible stress.

**P**denotes the external forces and \(\overline{{\bf u}}\) the adjoint displacements at these forces.

**T**-region with a tensile and a compression member at right angles: \(\bar{{\varepsilon }}_1 \,=-\,\bar{{\varepsilon }}_2 =k\),**S**-region with members having forces of the same sign in any direction: \({\bar{{\varepsilon }}_1 \,=\,\,\bar{{\varepsilon }}_2 ,} \; {\left| {\varepsilon_i } \right|=k} \; {\left( {i=1,\;2} \right)}\),**R**-regions with only one member at any point: \( {\left| {\bar{{\varepsilon }}_1 } \right|\,=\,\,k,}\)\({\left| {\bar{{\varepsilon }}_2 } \right|\le k} \), or**O**-region with no members: \( {\left| {\bar{{\varepsilon }}_1 } \right|\,\le \,\,k,} \; {\left| {\bar{{\varepsilon }}_2 } \right|\le k} ,\)

**O**-regions was introduced already in the 1970s (e.g. Rozvany and Hill 1976). A special case of

**O**-regions, in which both principal strains are zero (rigid region with \(\bar{{\varepsilon }}_1 =\bar{{\varepsilon }}_2 =0)\), will be termed a

**Z**-region. Another special case of

**O**-regions, so-called

**V**-regions (with \({\begin{array}{*{20}c} {\left| {\bar{{\varepsilon }}_1 } \right|\le k,} \quad {\bar{{\varepsilon }}_2 =0} \\ \end{array} })\) is introduced in this paper (see Section 2.1).

- Topology 1:
*h*≥*h*_{1},- Topology 2:
\(h_1 \ge h\ge d/\sqrt 2 \),

- Topology 3:
\(h\le d/\sqrt 2 \).

Exact analytical solutions with numerical confirmation will be presented for Topologies 1 and 2, but only high resolution numerical solutions for Topology 3, for which the analytical solution is not yet available.

## 2 Details of optimal topologies

### 2.1 Topology 2/3 (limiting case between topologies 2 and 3)

*L*−

*d*) and

*h*.

If (*L* − *d*) = 0, then we have the solution in Fig. 2a, which is the classical solution by Michell (1904). The strain fields for the quarter domain consist of two **T**-regions: one has constant principal directions, the other one consists of a circular fan. This solution is in fact valid even when *h* > *h*_{1}, because the **T**-regions shown in Fig. 2a can be extended even to the entire plane, satisfying the optimality condition of Michell in (2).

The layout in Fig. 2a will become part of all other topologies in Fig. 2b–d (shown partially on the left hand side of these diagrams). The right hand side of these layouts consists of concentrated horizontal bars along the domain boundaries. It is important to note that these optimal topologies are only valid if the domain has a limited height, i.e. \(h=d/\sqrt 2 \).

This is because in Fig. 2b, for example, kinematic continuity would not be satisfied if we moved upwards the present domain boundary (the strains in the two **T**-regions would cause an overlapping of the horizontal displacements). However, since the adjoint strain field in **O**-regions may be non-unique (see Section 4.2), there should be some other adjoint displacement field for the present problem of restricted height, which can be extended for greater height values.

In Fig. 2b and d the central part of the adjoint strain field consists of **T**-regions and **Z**-regions, see the definitions above. In Fig. 2c, however, there is also an **R**-region, with a horizontal principal strain of \(\bar{{\varepsilon }}_1 =-k\). The value of \(\bar{{\varepsilon }}_2 \) can be calculated from the condition that the strains must be zero in the direction of the region boundary with the **Z**-region. Then elementary calculations give \(\bar{{\varepsilon }}_2 =k\tan^2\alpha \). This implies \(\bar{{\varepsilon }}_2 =0\) and \(\bar{{\varepsilon }}_2 =k\), respectively, for Fig. 2b (with *α* = 0) and Fig. 2d (with *α* = *π*/4).

The solution in Fig. 2b was actually presented by the second author previously (Rozvany 2011).

Extending the region pattern in Fig. 2b to d, we can also construct optimal strain fields for any value of *L* − *d* > 2*h*.

*L*−

*d*<

*h*the optimal topology is discussed in greater detail subsequently. For this case the optimal adjoint strain field is shown in Fig. 3a. Each quarter of the central, memberless

**O**-region consists of a

**T**-region and a

**V**-region (see Section 1). The state of adjoint strains in these two regions, respectively, is represented by the Mohr-circles in Fig. 3b and c. It can be seen from Fig. 3b that the strain along the boundary of the

**T**- and

**V**-regions is

**V**-region, we have

*α*= 0 and

*α*= 45° (5) gives the correct \(\bar{{\varepsilon }}_{1} \) values for the limiting cases in Fig. 2a and b. The above adjoint strain field satisfies all optimality criteria of Michell (1904) (see also (2) in this paper). With this addition, we have complete analytical solution for all aspect ratios of Type 2/3 topologies, and also for the

**O**-region of all Type 3 topologies.

### 2.2 Topology 1

*h*= ∞ (or

*h*≥

*h*

_{1}, see Fig. 1b) can be constructed as follows. We can infer from numerical results that the optimal layout is that of a ‘Michell cantilever’

^{1}and a horizontal bar. The geometry of this structure is fully determined by three angles:

*θ*

_{1},

*θ*

_{2}and

*γ*

_{2}, shown in Fig. 4.

*U*

_{n}(·,·) that play the fundamental role in deriving coordinates and the displacement field in the Hencky net of mutually orthogonal members in region ABDC (see Fig. 4). Following the notation by Lewiński et al. (1994) we will use in the present paper two functions:

*G*

_{n}(·,·) and

*F*

_{n}(·,·), defined as

*I*

_{n}(·) denotes the modified Bessel function of the first kind. Many important properties of functions

*G*

_{n}and

*F*

_{n}can be found in the paper mentioned before (Lewinski et al. 1994).

*k*= 1) are defined by:

*θ*

_{1},

*θ*

_{2}and

*γ*

_{2}. They can be simplified considerably for a specific problem. For the problem under consideration, one can show that the angles

*θ*

_{1},

*θ*

_{2}and

*γ*

_{2}must satisfy

_{1}. The second constraint can be derived from the fact that the upper chord BD should connect smoothly to horizontal bar DS at the point D, see (5.1) by Sokół and Lewiński (2010) and the detailed explanation given there. Now, by (12) the coordinates of point D can be expressed as

*γ*

_{2}=

*π*/4. The reason for this strange result comes from the fact that the displacements (9) and (10) are derived by means of a rigid rotation around point R. The magnitude of this rotation is not known in advance but can be determined from the boundary conditions. This procedure was described in detail by Sokół and Lewiński (2011a, see (23) and (24) there). The displacements of points N and D adjusted in this way (without normalization) can be written as

*ψ*denotes the angle of the rigid rotation. It can be determined from the zero value of the horizontal displacement of point S, lying at the vertical axis of symmetry (see Fig. 4). We know that for fully stressed truss the virtual elongation of the bar DS is equal to its length (

*L*−

*x*

_{D}), thus

_{1}one can easily deduce that

*x*

_{D},

*y*

_{D}and \(\emph{w}_x^{\rm D} \) are given in (13) and (14).

The forces for the layout in Fig. 4 are given by: *Q*_{y} = *P*/2, *F*_{x} = *Q*_{y}*d*/*y*_{D} and *F*_{y} = 0. The horizontal reaction *Q*_{x} at point N can be obtained from Chan’s formula (see (2.47) in the paper by Sokół and Lewiński (2010)), while the reactions at point R can easily be obtained from the equilibrium equations. These reaction forces, however, do not generate any virtual work in (3), because the corresponding virtual displacements are zero (points R and N in Fig. 4).

*V*=

*V*(

*θ*

_{2}) and its minimum can be determined from the necessary condition

*V*′(

*θ*

_{2}) = 0. This leads to the transcendental equation

*ξ*=

*d*/

*L*and function

*q*(

*θ*

_{2}) is defined by

Equation (22) uniquely defines the optimal angle *θ*_{2} because the function *q*(*θ*_{2}) is monotonic (it is a decreasing function for *θ*_{2} ≥ 0 which starts from \(q\left( 0 \right)=\sqrt 2 \) and then asymptotically approaches 0 for *θ*_{2} → ∞). The lower limit of *ξ* for which the solution of (22) is valid for the rectangular domain shown in Fig. 1a is equal to *ξ* = 0.182027. This corresponds to *θ*_{2} = *π*/4 which means that the upper chord RBDS starts vertically from the support. For lower values of *ξ* the external fans extend beyond vertical lines drawn above the supports and the solution is formally infeasible. However, if we allow the horizontal expansion of our rectangle domain outside the supports, we can obtain the feasible solution for *ξ* < 0.182027. In this case the lowest limit of *ξ* for which the solution of (22) makes physical sense is equal to *ξ* = 0.0477491. This corresponds to *θ*_{2} = *π*/2 and *θ*_{1} = 3*π*/4. For lower values of *ξ* the internal circular fan goes outside the symmetry line connecting two supports, and that is obviously infeasible. Thus we can conclude that for *ξ* < 0.0477491 the optimal solution is not known.

*ξ*the angle

*θ*

_{2}decreases and at the same time the height and the volume of the structure increase. Obviously, the final solution for

*ξ*= 1 is identical with the well known Michell’s solution (1904) (with

*θ*

_{2}= 0,

*θ*

_{1}=

*π*/4, and 4

*V*=

*PL*/

*σ*

_{p}(2 +

*π*)). All solutions have been confirmed by numerical calculations. The exact layouts are given on the left side and their numerical equivalents on the right.

The exact and numerically calculated volumes are compared in Section 3.

### 2.3 Topology 2

*y*

_{D}=

*h*and then by (13)

_{2}we have

*θ*

_{2}= 0 and then the total volume of the optimal truss becomes

The above formula gives the correct volume for special cases. For *ξ* = 1 we obtain 4*V* = *PL*/*σ*_{p} (2 + *π*), which is the solution by Michell (1904). For \(\xi =\sqrt 2 /\big( {1+\sqrt 2}{\kern1pt}\big)\) we obtain \(4V=PL/\sigma_p \left( {4+\pi } \right)\big( {2-\sqrt 2}{\kern1pt}\big)\), which can also be readily derived from the second author’s solution (Rozvany 2011, here Fig. 2b).

### 2.4 Topology 3

*ξ*=

*d*/

*L*= 0.5 was assigned to the length ratio. The layout in Fig. 7a was calculated for \(h=d/\sqrt 2 =L\,\sqrt 2 /4\approx 0.353553L\). It is the limiting case between topology types 2 and 3, hence this layout is similar to the one presented in Fig. 6e and f (see also Fig. 2 in Section 2.1). By progressively decreasing the height

*h*of the structural domain for the numerical solutions, we find that additional

**T**-regions develop in the optimal topology, similarly to a long cantilever (Lewiński et al. 1994), but following a different geometry (see Fig. 8).

In Fig. 8 the upper horizontal bar is connected to the chord of a circular fan having an angular width of 45° and a curved three-sided region, which is similar to that derived by Chan (for details see the paper by Lewiński et al. (1994)). The upper border of this region can be a straight line if the height is sufficiently small (Fig. 8b) or it starts with a straight section and smoothly passes into a curved section (Fig. 8a). It is to be noted that contrary to Topologies type 1 and 2 the external (upper) chord has not a constant cross section in the straight segment. The three-sided domain above the circular fan is connected with a region with straight members in one direction. This is the reason why the rest of the regions with Hencky nets are different from those derived for the long cantilever problem by Lewiński et al. (1994). Nevertheless, there are also some similarities in forming subsequent new regions if the permissible height is decreased. On the basis of many additional numerical tests we have established that switching from the first sub-type (Fig. 8a) to the second one (Fig. 8b) occurs at a height value in the range of *h* ∈ (0.24*d*, 0.25*d*).

The adjoint strain field in empty regions of Topology 3 can be filled the same way as described in Section 2.1 (Fig. 2).

## 3 Confirmation of the analytical results by numerical calculations

All exact solutions presented in this paper have been confirmed by numerical calculations. They were performed using an improved version of the program developed by Sokół (2011a). This newer version of the program makes use of the ‘adaptive ground structure’ approach, similar to that proposed by Gilbert and Tyas (2003), however, it applies a different strategy of adding-removing of the active bars from a huge number of potential members of the full ground structure. In the present version the program is capable of solving large-scale problems with the number of potential members exceeding one billion (10^{9}). This program was announced in 2011 (see Sokół 2011b) and will be presented in detail in a separate paper in a near future. It should be noted that this program uses a linear programming formulation, and therefore the solution obtained guaranteed to be the absolute minimum volume for the given discretization of nodes.

Comparison of numerical and analytical solutions

Problem | Grid density | Number of potential members | Numerical volume [ | Exact volume [ | Relative error [%] |
---|---|---|---|---|---|

Figure 5a,b | 160 × 82 | 54 281 782 | 2.51607 | 2.51353 | 0.10 |

Figure 5c,d | 160 × 90 | 65 257 558 | 3.67977 | 3.67773 | 0.06 |

Figure 5e,f | 160 × 103 | 85 220 613 | 4.50088 | 4.49910 | 0.04 |

Figure 5g,h | 160 × 113 | 102 408 109 | 5.14307 | 5.14159 | 0.03 |

Figure 6a,b | 169 × 100 | 89 608 157 | 3.98804 | 3.98632 | 0.04 |

Figure 6c,d | 169 × 85 | 64 983 850 | 4.02699 | 4.02524 | 0.04 |

Figure 6e,f | 169 × 70 | 44 280 137 | 4.18500 | 4.18345 | 0.04 |

## 4 Important implication of the results for basic properties of exact optimal Michell topologies

### 4.1 **R**, **S**, **O** and **Z** regions in optimal Michell topologies

Various types of optimal regions were defined—in the context of grillages—already in the early 1970s (e.g. Rozvany 1972), and the present notation (including **O**-regions) was used a few years later (e.g. Rozvany and Hill 1976, p. 208).

In a highly creative recent research paper, Melchers (2005) used the notation **N** and **B** for our **O**- and **Z**-regions. He pointed out that for Michell trusses relatively few known solutions contain regions other than **T**-type. This is possibly so, because much of the theory of **T**-regions is based on the mathematically similar theory of slip lines in plasticity, which was developed earlier. However, for Michell structures with line supports, there are in general **R**-regions in the solution, and **T**-regions are rather an exception (see Rozvany et al. 1997, e.g. Figs. 5 and 6). In the same paper **Z**-regions (which are special cases of **O**-regions) were used in several solutions.

Since, in the definition of **O**-regions (see above), we have non-strict inequalities, and the essential point is that we have no members in these regions, the central memberless parts of the topologies in Fig. 2b to d can be regarded as **O**-regions, although they contain **T**-, **Z**- and **R**-regions.

### 4.2 Non-uniqueness of the optimal adjoint displacement fields in **O**-regions

**O**-regions containing

**T**-,

**Z**- and

**R**-regions are not necessarily unique for a given optimal Michell truss topology, as was demonstrated earlier (Rozvany et al. 1997). For the simple problem in Fig. 9, the domain has a restricted height of

*a*and two hinge supports, and is loaded by a horizontal couple. The fairly obvious optimal topology consists of two parallel bars. A simple optimal adjoint strain field is shown in Fig. 9, but an alternative strain field consists of cycloids which was given by Hemp (1973, p. 95). Hemp’s corresponding displacement field is

The above example demonstrates that the adjoint strain field may be non-unique in a memberless part (i.e. **O**-region) of an optimal Michell topology.

*L*from each other, and a horizontal point load at a distance

*L*from the right hand support. The optimal layout obviously consists of a single horizontal bar between the load and the nearer support. The principal adjoint strain in the vertical direction is everywhere zero: \(\bar{{\varepsilon }}_y =0\). In Fig. 10a we have an

**R**-region on the right hand side and an

**O**-region on the left hand side, where the inequality in (2) admits a horizontal strain of −

*k*/2. An alternative, discontinuous adjoint strain field is given in Fig. 10b, in which we have a

**Z**-region and an

**R**-region on the left, both admissible by (2).

In Figs. 2, 9 and 10 the optimal truss layout is unique, only the adjoint strain field is non-unique. The above non-uniqueness is, therefore, not to be confused with the finding (Rozvany 2011) that a Michell truss problem may have either one or an infinite number of optimal solutions (of the same weight).

In a recent paper (Rozvany and Sokół 2012, Fig. 6) another example of an **O**-region is given, which covers a half plane and has principal adjoint strains that have a constant absolute value which is greater than zero and smaller than *k*. Both Fig. 10a, and this latter example disprove the notion that in **O**-regions the adjoint principal strains are either zero or *k*.

### 4.3 Relaxation of optimality criteria

The authors believe that, if there exists at least one feasible solution for a Michell problem, then there exists also an optimal solution satisfying Michell’s optimality criteria in (2) exactly. Nevertheless temporary relaxation of optimality criteria (as suggested by Melchers 2005), followed by an optimization within the set of solutions obtained by the relaxed conditions, can be very useful in finding optimal topologies.

An important example for this was Morley’s (1966) contention that no optimal solution satisfying known optimality criteria exists for a square clamped domain in flexure (either reinforced plate or grillage). It was the greatest breakthrough in the optimal grillage theory when Melchers (Lowe and Melchers 1972) found the exact solution of the above problem (by temporarily relaxing and then enforcing the relevant optimality criteria). As indicated above, we do have the optimal adjoint strain fields for Type 2/3 and Type 3 topologies for the memberless central parts of these problems, but it will be a highly challenging task to find these for Type 1 and Type 2 topologies, because of their partially curved boundaries.

## 5 Concluding remarks

In this paper we have presented exact analytical solutions for a new class of Michell truss problems: two symmetrically placed point loads in between supports, the feasible domain being symmetric to the line of supports. The exact solutions have been confirmed by very close numerical results. *A rather remarkable historical aspect of this development is the fact that it has taken over hundred years to find the exact (analytical) extension of Michell’s best-known classical *(1904)* solution to two point loads.* Some important general implications of these solutions have also been pointed out.

## Footnotes

## Notes

### References

- Chan ASL (1960) The design of Michell optimum structures. College of Aeronautics Report No 142, CranfieldGoogle Scholar
- Chan HSY (1963) Optimum Michell frameworks for three parallel forces. College of Aeronautics Report No 167, CranfieldGoogle Scholar
- Gilbert M, Tyas A (2003) Layout optimization of large-scale pin-jointed frames. Eng Comput 20:1044–1064MATHCrossRefGoogle Scholar
- Hemp WS (1973) Optimum structures. Clarendon, OxfordGoogle Scholar
- Lewiński T, Zhou M, Rozvany GIN (1994) Extended exact solutions for least-weight truss layouts – Part I: cantilever with a horizontal axis of symmetry. Int J Mech Sci 36:375–398MATHCrossRefGoogle Scholar
- Lowe PG, Melchers RE (1972) On the theory of optimal constant thickness, fibre-reinforced plates I. Int J Mech Sci 14:311–324CrossRefGoogle Scholar
- Melchers R (2005) On extending the range of Michell-like optimal topology structures. Struct Multidisc Optim 29:85–92CrossRefGoogle Scholar
- Michell AGM (1904) The limits of economy of material in frame structures. Philos Mag 8:589–597MATHCrossRefGoogle Scholar
- Morley CT (1966) The minimum reinforcement of concrete slabs. Int J Mech Sci 8:305–319CrossRefGoogle Scholar
- Prager W, Rozvany GIN (1977) Optimization of the structural geometry. In: Bednarek AR, Cesari L (eds) Dynamical systems (Proc. Int. Conf. Gainsville, Florida). Academic Press, New York, pp 265–293Google Scholar
- Rozvany GIN (1972) Grillages of maximum strength and maximum stiffness. Int J Mech Sci 14:651–666CrossRefGoogle Scholar
- Rozvany GIN (2011) On symmetry and non-uniqueness in exact topology optimization. Struct Multidisc Optim 43:297–317MathSciNetCrossRefGoogle Scholar
- Rozvany GIN, Gollub W, Zhou M (1997) Exact Michell layouts for various combinations of line supports – part II. Struct Optim 14:138–149CrossRefGoogle Scholar
- Rozvany GIN, Hill RD (1976) The theory of optimal load transmission by flexure. Adv Appl Mech 16:183–308MATHCrossRefGoogle Scholar
- Rozvany GIN, Sokół T (2012) Exact truss topology optimization: allowance for support costs and different permissible stresses in tension and compression – extensions of a classical solution by Michell. Struct Multidisc Optim, published online. doi:10.1007/s00158-011-0736-6 Google Scholar
- Sokół T (2011a) A 99 line code for discretized Michell truss optimization written in Mathematica. Struct Multidisc Optim 43:181–190CrossRefGoogle Scholar
- Sokół T (2011b) Topology optimization of large-scale trusses using ground structure approach with selective subsets of active bars. In: Borkowski A, Lewiński T, Dzierżanowski G (eds) 19th int conf on ‘computer methods in mechanics’, CMM 2011, 09–12 May, Warsaw, Book of Abstract, pp 457–458Google Scholar
- Sokół T, Lewiński T (2010) On the solution of the three forces problem and its application in optimal designing of a class of symmetric plane frameworks of least weight. Struct Multidisc Optim 42:835–853CrossRefGoogle Scholar
- Sokół T, Lewiński T (2011a) On the three forces problem in truss topology optimization. Analytical and numerical solutions. In: 9th world congress on structural and multidisciplinary optimization, WCSMO-9, 13–17 June, 2011, Shizuoka, Japan, Book of Abstract, p 76 (Full paper on CD)Google Scholar
- Sokół T, Lewiński T (2011b) Optimal design of a class of symmetric plane frameworks of least weight. Struct Multidisc Optim 44:729–734CrossRefGoogle Scholar