The history of structural optimization as an exact science begins possibly with the celebrated Lagrange problem: to find a curve which by its revolution about an axis in its plane determines the rod of greatest efficiency. The Lagrange hypothesis, that the optimal rod possesses the constant cross-section was abandoned for Euler buckling problem. In this Article the Lagrange hypothesis is proved to be valid for Greenhill's problem of torque buckling. The corresponding isoperimetric inequality is affirmed.
1
Confirmation of Lagrange Hypothesis for Twisted Elastic
Rod
V. Kobelev
Abstract.
The history of structural optimization as an exact science begins possibly with
the celebrated Lagrange problem: to find a curve which by its revolution about
an axis in its plane determines the rod of greatest efficiency [1]. The Lagrange
hypothesis, that the optimal rod possesses the constant cross-section was aban-
doned for Euler buckling problem [2]. In this Article the Lagrange hypothesis is
proved to be valid for Greenhill’s problem of torque buckling. The correspond-
ing isoperimetric inequality is affirmed.
1. Introduction
We study the optimal shape of a thin elastic rod, twisted by couples applied at its
ends alone (Greenhill’s problem). The ends of the rod are assumed to be at-
tached to the supports by ideal spherical hinges and are free to rotate in any di-
rections. The twisting couple retains its initial direction during buckling. The
distribution of material along the length of a twisted rod is optimized so that the
rod is of minimum volume and will support a given moment without spatial
buckling. Introduction of new unknown variables reduces the problem to the ex-
actly solvable auxiliary problem with constant coefficients, such that the critical
buckling moment of a rod with an arbitrary shape allows the exact representa-
tion as the certain integral functional. The strict upper boundary of this func-
tional is stated by means of Hölder's inequality. Thus, the exact solution of op-
timization problem is stated in form of isoperimetric inequality, involving the
length of the rod, its volume and critical torque. Remarkable, that in accordance
with Lagrange hypothesis in the torsion problem the optimal shape of the rod is
constant along its length.
2. Exact solution of the Greenhill’s problem with an isotropic
cross-section
Consider a thin elastic rod with isotropic cross-section, twisted by couples ap-
plied at its ends alone (Greenhill’s problem). The ends of the rod
0
=
x
and
l
x =
are assumed to be attached to the supports by ideal spherical hinges and are free
to rotate in any directions. The twisting couple M retains its initial direction dur-
ing buckling. The equations of rod with constant bending stiffness EJ over the
length read
(1)
dx
dy
M
dx
z
d
EJ
dx
dz
M
dx
y
d
EJ
−
=
=
2
2
2
2
,
,
(2)
0
)
(
)
(
)
0
(
)
0
(
=
=
=
=
l
z
l
y
z
y
.
- 2
- The integration of the equations (1) delivers new equations with two unknown
- constants
- 2
- 1,c
- c
(3)
2
1,
c
My
dx
dz
EJ
c
Mz
dx
dy
EJ
+
−
=
.
The problem (1)-(2) and its equivalent problem (2),(3) are neither selfadjoint nor
conservative in the classical sense. However, it is a conservative system of the
second kind [3]. From earlier investigation [4] it is known that indeed the trace of
the eigenvalue curve is such that the system buckles by divergence, and the that
the exact buckling loads of Greenhill’s problem is
(4)
l
EJ
M
π
2
- =
.
Introduction of the independent variable ξ [5]
(5)
( )
( )
,0
,
0
= ∫
ξ
ξ
ξ
F
F
dt
x
reduces the problem (2)-(3) to
(6) ( )
( )
2
1,
c
MY
d
dZ
EJ
F
c
MZ
d
dY
EJ
F
+
−
=
ξ
ξ
ξ
ξ
,
0
)
(
)
(
)
0
(
)
0
(
=
=
L
Z
L
Y
Z
Y
with
( )
( )
( )
ξ
ξ
Y
t
F
dt
y
x
y
∫
0
, ( )
( )
( )
ξ
ξ
Z
t
F
dt
z
x
z
∫
0
The value L is the solution of the algebraic equation
(7)
( )
∫
L
F
d
l
0
ξ
ξ .
Eigenvalue problem (5)-(6) describes the Greenhill’s problem with a variable
bending stiffness
( )
ξ
EJF
over the length. The critical eigenvalues of the prob-
lems (5)-(6) and (2)-(3) match and are equal to the value (4). Substitution of (7)
in the expression (4) delivers the analytical expression for critical torque
(8)
( )
[
]
( )
∫
=
L
J
t
F
dt
E
t
F
M
M
0
*
*
2π
.
This integral functional delivers the critical load of Greenhill’s problem with a
variable cross-section of the length L in terms of shape function ( )
0
t
F
.
3. Optimization problem and isoperimetric inequality
The volume of the rod is given
(9)
( )dt
t
A
V
L
∫
0
.
3
We assume that second moment of the
( )J
F ξ
and the cross-sectional area ( )
ξ
A
are related by
(10)
( )
( )
ξ
α
ξ
n
n A
J
F
,
where
3,2,1
n
and
n
α is a constant that depends on n . For example, for
2
n
the
1
2
)
4
(
−
π
α
.
We define the optimal twisted rod as the rod so shaped that any other rod of the
same length and the same volume will buckle under the smaller critical load.
The formal formulation of the optimization problem is the following:
( )
( )
[
]
const
V
F
M
M
F
=
,
max
*
*
*
ξ
ξ
.
We demonstrate now, that the optimal twisted rod possess the constant cross-
section over the span length, such that ( )
1
ξ
F
.
For this purpose we use the Hölder inequality [6]. If
( )
( )
L
g
f
≤
≤
≥
≥
ξ
ξ
ξ
0,0
,0
are
measurable real- or complex-valued functions, then Hölder inequality is
(11)
( ) ( )
( )
( )
q
L
q
p
L
p
L
d
g
d
f
d
g
f
/
1
0
/
1
0
0
This content is AI-processed based on open access ArXiv data.