Jump to content

User:MWinter4/framework (rigidity theory)

From Wikipedia, the free encyclopedia

In mathematics, specifically in rigidity theory, a framework (often synonymous with bar-joint framework) models a physical structure composed of rigid bars of fixed length connected at universal joints at which the bars can move freely. Intuitively, a framework is flexible if it can change its shape (i.e. the relative position of its joints), whithout changing the length of a bar or detaching a bar from a joint. If this is not possible, the framework is rigid. Frameworks are fundamental objects of study in structural rigidity, where one aims to characterize and quantify their rigidity properties. A main mathematical tool employed in their analysis is graph theory. If the focus is on the flexibility and possible motions of the structure it is more common to use the term linkage instead of framework.

Mathematically, a framework is a pair composed of a graph and a straight-line embedding which to each vertex assigns a point . Due to their immediate applicability, the cases and are of primary interest.

Rigidity and flexibility

[edit]

Two frameworks and on the same graph are equivalent if corresponding edges are of the same length:

for all edges .

The two frameworks are congruent (or isometric) if all pairwise vertex distances are the same, not only pairs that form an edge:

for all vertices .

In other words, two frameworks are congruent if and only if one can be transformed into the other by a rigid motion or reflection.

A motion of is a continuous function with so that the framework is equivalent to for all . A motion is trivial if is congruent to for all . A non-trivial motion is called a flex.[a]

A framework for which there exists a flex is said to be flexible. If there is no flex, then it is said to be rigid. This notion flexibility models the idea of a continuous deformation that preserves edge lengths. Especially with view towards other forms of rigidity discussed below, it is common to also use the term locally rigid. Other notions of rigidity are common, such as infinitesimal rigidity (see the section of first-order analysis) and the following:

  • A framework is said to be globally rigid if every equivalent framework embedded in a space of the same dimension is congruent. This means that there is only a single way to embed this framework with these edge lengths in the space of the given dimension. A globally rigid framework is necessarily rigid, but the converse might not hold.
  • A framework is said to be universally rigid if every equivalent framework embedded in a space of any dimension is congruent. This means that there is only a single way to embed this framework in any Euclidean spacen, irrespective of the dimension. A universally rigid framework is necessarily globally rigid and hence rigid, but the converse might not hold.


superstable universally rigid globally rigid rigid

first-order rigid prestress stable second-order rigid rigid


In general, determining whether a framework is locally/globally/universally rigid or flexible comes down to the analysis of its configuration space:

and are equivalent .

The configuaration space of a framework is a real algebraic variety defined by a number of quadratic polynomials. A framework is locally rigid if and only if it is an isolated point in its configuration space. A framework is globally rigid if and only if its configuration space consists of a single point. Analysing the configuration space directly is often not possible in any generality and restricted to time consuming computations on particular examples. Thus, either special classes of frameworks are studied (low-dimensional frameworks, planar frameworks, braced grids, etc.), or approximations of rigidity are studied (e.g. first- or higher-order analysis).

First-order analysis

[edit]

The rigidity matrix of the framework is a matrix that has one column per edge of , and rows per vertex of . For each edge the -submatrix of that spans row and the columns corresponding to and are

,,

where and are here interpreted as -dimensional row vectors. All other entries are zero.

First-order motions

[edit]

An element of the kernel of the rigidity matrix is called a first-order motion or infinitesimal motion of the framework. A first-order motion is given by one vector per vertex . Being in the kernel of means

whenever

Each differentiable motion of the framework gives rise to a first-order motion. Setting

(the derivative at ) yields a first-order motion. A first-order motion is trivial if it is obtained from a trivial motion. A non-trivial first-order motion is called a first-order flex or infinitesimal flex of the framework. In the context of first-order analysis it is not uncommon to use the term finite flex when referring to a usual flex in the sense of this article.

A framework is first-order rigid if it has no first-order flex. It is called first-order flexible otherwise. First-order rigidity is a strengthening of rigidity. Every first-order rigid framework is rigid, yet not every rigid framework is first-order rigid.

Computing the first-order motions of a framework is comparatively easy and usually one of the first steps in the analysis of its rigidity. If all first-order motions are trivial, one can already conclude that the framework is rigid. If there are first-order flexes one proceeds to determine which first-order flexes extend to a finite flexes. This is generally a hard task.

Stresses and equilibrium stresses

[edit]

The elements of the cokernel of the rigidity matrix (i.e. the kernel of the transpose ) are called equilibrium stresses of the framework. An equilibrium stress is given by one real number per edge . Being in the cokernel of means that they satisfy

for all

...

First-order analysis

[edit]

Infinitesimal/first-order motion/flex

Infinitesimally/first order rigid/flexible

Second-order analysis

[edit]

prestress stable

second order stable

Generic rigidity

[edit]

Variations

[edit]

Point-hyperplane framework

[edit]

Tensegrity frameworks

[edit]

A tensegrity or tensegrity framework is ...

Footnotes

[edit]
  1. ^ Some authors use the term flex for what this article calls a motion, and non-trivial flex or proper flex for what this article calls a flex.

References

[edit]