The kinematic relation is unchanged: before contact and afterwards. Therefore the nonlinear constitutive equation gives
The first term in the post-contact expression is . Hence its asymptotic expansion is
In this model the compressive axial stress diverges in magnitude, because the term penalizes vanishing elastic stretch ratio without bound.
Write . The one-dimensional multiplicative decomposition of the deformation gradient reads . Before contact, ; afterwards, the imposed fixed length gives
Substituting in the linear constitutive equation yields
Here negative axial stress means compression. The two branches agree at because . At late times,
Thus the law permits arbitrarily severe elastic shortening at a finite compressive stress. It is a small-strain approximation, appropriate near , and is not a credible material law as . The one-dimensional constraint rules out buckling in this particular model; the finite limiting stress is a defect of extrapolating the linear constitutive equation, even with that constraint retained.
Before contact with both walls, the elastic rod can grow freely, so its elastic stretch ratio is and its length is its stress-free grown length,
The first contact occurs when . For the intended growth case ,
The condition ensures . If , contact never occurs; negative describes shrinkage rather than the stated continuing growth.
Here a prime denotes . It is useful to retain terms through in the normal mechanical equilibrium equation, even though only first-order shape corrections are sought. The undeformed elastic membrane is tensionless, so a first-order change of curvature contributes to normal force only at second order.
The geometric equations written in reference arc length are
Their first-order Taylor expansions give
and hence
The principal stretches and the first-order constitutive equation are
Because exactly, the tangential mechanical equilibrium equation gives . Thus both and are spatial constants: .
Expand the geometric factors in the normal balance:
Consequently
Matching the first-order coefficient gives the requested relation
Since the prescribed pressure has no second-order term, and , its second-order coefficient gives
A closed boundary value problem for the three requested unknowns is therefore
The first equation has order two, the second order one, and the last order one, so the four boundary conditions match the total order. The unknown constant is selected by the axial endpoint constraint, rather than by an additional specified traction.
For , an equivalent formulation eliminates and displays that constraint as an integral:
After solving this system, recover by integration from . No second derivatives of the unspecified function are required: they enter the next-order shape corrections through the second-order constitutive equation, whereas the displayed normal balance already determines the leading shape. The case has the undeformed solution .
Take up to an irrelevant additive constant, constant, , and . These satisfy the geometric relations and give the principal stretches
The constitutive equations therefore produce constant membrane tensions
The tangential mechanical equilibrium equations hold automatically, while the normal equation reduces to
Every positive root of this algebraic equation provides a cylindrical solution with no axial stretch ratio change. There is no further constraint on in the interior equations when end boundary conditions are discarded. In particular, a closed-end pressure balance would impose additional axial loading data that are absent here. Existence of a positive root for an arbitrary specified depends on the given constitutive equation.
The first term is the bending energy of rod 1, whose preferred bending strain of a rod is zero. The second is the bending energy of rod 2 relative to its preferred intrinsic curvature of an elastic filament . The third is its stretching energy, with stretching stiffness and stress-free stretch ratio . Each term is an energy per unit reference arc length before integration.
Substitute and . The resulting quadratic function of has density
There are no derivatives of or imposed end constraints in this minimum potential energy principle in elasticity. Since
the unique pointwise minimizer is also the constant global minimizer:
For example, completing the square gives
which also proves uniqueness, up to equality almost everywhere, without merely assuming a uniform curvature.
With , and fixed, the two limits are
In the first limit, rod 1 dominates the bending energy and suppresses the bend. In the second, rod 1 offers negligible bending resistance, but following rod 2's preferred bending strain of a rod still shortens rod 2 through the bonded geometry. The competition between its bending energy and stretching energy leaves when and . Only when that stretching penalty also vanishes does .
These formulae describe an admissible bonded elastic rod provided . If parameters instead force , the unconstrained quadratic minimizer is outside the kinematic regime of the model; the given energy does not itself enforce positive stretch ratio.
Because the two elastic rods each have thickness , their centrelines are separated by along the common director . The bonded geometry is
Differentiate with respect to reference arc length. The first rod is an inextensible rod, and the printed director kinematics of a rod give
For the physically admissible orientation-preserving configuration , the rods have the same unit tangent and the same planar material frame of a rod. Therefore
In particular, the second rod is shortened on the inside of a bend with .
The bending strain of a rod is defined here by differentiation with respect to reference arc length. Since the reference labels match,
The distinction from spatial curvature matters: the second centreline has
Thus is its signed spatial curvature, rather than the appearing in the given elastic energy.
Zero applied end force and the force balance imply everywhere. The moment balance then reduces to .
Choose an untwisted straight configuration: all three directors are constant, , and . The constitutive equation gives
which is constant in space and therefore satisfies the moment balance. The required end bending moment is consequently
Its sign opposes the positive intrinsic curvature of an elastic filament. If the initial position and frame from part (ii) are retained, this solution is simply with ; the clamp supplies the opposite reaction moment at the other end.
The second moment of area about an axis weights each element of cross-sectional area by its squared perpendicular distance from that axis. The ellipse extends farther along than along , so its material lies, on balance, farther from the axis. Therefore
With zero intrinsic curvature of an elastic filament, the respective bending moments required by the constitutive equation are and . Thus their magnitudes satisfy
for : bending about the minor axis is harder. Here is Young's modulus, and is the corresponding bending stiffness.
The right-handed material frame of a rod has and . Hence the director kinematics of a rod reduce to
Solving these constant-coefficient ordinary differential equations with the given initial frame gives
The inextensible rod has . An integration using yields, for ,
Indeed,
so the centreline is a circular arc of radius in the plane perpendicular to . The continuous limit is , , and .
The material frame of a rod obeys the director kinematics of a rod
In the stress-free reference configuration, the constitutive equation gives , , and , since all three stiffnesses are positive. Thus . Its cross product with vanishes, so
Consequently this director is a fixed vector in space, even though the other two directors rotate along the elastic rod.
Over the complex numbers, the fundamental theorem of algebra makes every irreducible polynomial factor equal to . Part (b)(iv) gives
with distinct eigenvalues. The primary decomposition theorem for linear maps consequently expresses as the direct sum of the actual eigenspaces , with no higher generalized eigenspaces needed. Part (ii) makes these summands mutually orthogonal.
Apply the Gram-Schmidt process to a basis within each eigenspace. Its linear combinations stay within that eigenspace, so all resulting vectors are still eigenvectors. Their union is orthonormal by part (ii) and spans by the primary decomposition theorem for linear maps. Thus
for an orthonormal basis of eigenvectors. This proves the finite-dimensional complex spectral theorem for normal operators by the requested decomposition argument.
Let and , with . By part (i) and the adjoint operator identity,
The last step uses conjugate-linearity in the second argument of the inner product. Therefore , proving the orthogonality of the two eigenspaces:
Take . It is a polynomial in the normal operator , so part (b)(iii) makes a normal operator. Also . If , part (b)(i), applied to , gives
The norm vanishes only at the zero vector, so
This is the adjoint eigenvector identity for a normal matrix expressed independently of coordinates.
Suppose some exponent . Define
Part (iii) makes a normal operator. For every , put . The minimal polynomial identity gives
Part (ii), applied to , forces . As this holds for every ,
This contradicts minimality: is a monic polynomial of smaller degree annihilating . Therefore the minimal polynomial of a normal operator is a square-free polynomial over either of the given fields:
This argument does not require the irreducible polynomials to be linear, so it also covers the real case.
For a polynomial , the defining identity and uniqueness of the adjoint operator give
Indeed, the adjoint operator of a sum is the sum of the adjoint operators, the adjoint of is , and the adjoint of a product is . Since the normal operator commutes with , each power of commutes with each power of . Multiplying the two finite sums therefore gives
Hence polynomials of a normal operator are normal, including constant polynomials.
Let . If , then , and part (i) gives . Thus and
The positive definiteness of the inner product gives . Since the reverse kernel inclusion always holds, we obtain
This is kernel stabilization for a normal operator.
For the normal operator , the adjoint operator identity and give
For the last equality, and complex conjugation allow reversal of the two arguments. Taking the nonnegative square roots proves
In particular the two kernels coincide.
If and both satisfy the defining identity of an adjoint operator, then
for every . Choosing gives . The positive definiteness of the inner product forces for every , proving
An adjoint operator of is a linear map satisfying
This identity transfers from the first input of the inner product to the second.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact