Related papers: Higher Order Rigidity and Energy
This paper is devoted to the construction of order reduced method of fourth order problems. A framework is presented such that a problem on a high-regularity space can be deduced in a constructive way to an equivalent problem on three…
We rigorously derive linear elasticity as a low energy limit of pure traction nonlinear elasticity. Unlike previous results, we do not impose any restrictive assumptions on the forces, and obtain a full $\Gamma$-convergence result. The…
We study the bar-and-joint frameworks in $\mathbb{R}^2$ such that some vertices are constrained to lie on some lines. The generic rigidity of such frameworks is characterised by Streinu and Theran (2010). Katoh and Tanigawa (2013) remarked…
A possible definition of strong/symmetric hyperbolicity for a second-order system of evolution equations is that it admits a reduction to first order which is strongly/symmetric hyperbolic. We investigate the general system that admits a…
Fractional difference equations provide a flexible mathematical framework for modeling complex systems with memory, hereditary, and non-local effects. In this work, we study the stability of higher-order two-term fractional linear…
We introduce a new logic, called \emph{cluster first-order logic}, a restricted fragment of first-order logic specifically designed to study order invariance. An order-invariant formula is one on a vocabulary that contains an order;…
We derive fundamentally new equations that are satisfied by first-order flexes of a flexible polyhedron. Moreover, we indicate two sources of such new equations. These sources are the Dehn invariants and rigidity matrix. The equations…
We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class.…
A new homological dimension is introduced to measure the quality of resolutions of `singular' finite dimensional algebras (of infinite global dimension) by `regular' ones (of finite global dimension). Upper bounds are established in terms…
Orders in an algebraic number field form a class of rings which are of special historical interest to the field of factorization theory. One of the primary tools used to study factorization is elasticity - a measure of how badly unique…
We consider the rigidity and global rigidity of bar-joint frameworks in Euclidean $d$-space under additional dilation constraints in specified coordinate directions. In this setting we obtain a complete characterisation of generic rigidity.…
Nonlinear contraction theory is a comparatively recent dynamic control system design tool based on an exact differential analysis of convergence, in essence converting a nonlinear stability problem into a linear time-varying stability…
Fracture in a disordered lattice system is studied. In our system, particles are initially arranged on the triangular lattice and each nearest-neighbor pair is connected with a randomly chosen soft or hard Hookean spring. Every spring has…
We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can…
The purpose of this paper is to provide analytical and numerical solutions of the formation and evolution of the localized plastic zone in a uniaxially loaded bar with variable cross-sectional area. An energy-based variational approach is…
We formulate a cut finite element method for linear elasticity based on higher order elements on a fixed background mesh. Key to the method is a stabilization term which provides control of the jumps in the derivatives of the finite element…
A way to obtain a correspondence between the first order and second order formalism is studied. By introducing a Lagrange multiplier coupled to the covariant derivative of the metric, a metricity constraint is implemented. The new…
We present a new approach to automated reasoning about higher-order programs by endowing symbolic execution with a notion of higher-order, symbolic values. Our approach is sound and relatively complete with respect to a first-order solver…
For an atomic domain $D$, the $elasticity$ $\rho(D)$ of $D$ is defined as $\sup\{r/s: \pi_1\cdots \pi_r = \rho_1 \cdots \rho_s,~ \text{where each $\pi_i, \rho_j$ is irreducible}\}$; the elasticity provides a concrete measure of the failure…
A $d$-dimensional (bar-and-joint) framework $(G,p)$ consists of a graph $G=(V,E)$ and a realisation $p:V\to \mathbb{R}^d$. It is rigid if every continuous motion of the vertices which preserves the lengths of the edges is induced by an…