Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
Suppose is open and admits an injective holomorphic map whose image is bounded. Every entire function is constant: the function composition is a bounded entire function, hence constant by Liouville theorem, and injectivity of then forces to be constant. Surjectivity of onto a disk is unnecessary. For example is a conformal map from onto . A square-root branch with argument in followed by the Cayley transform between the half-plane and disk maps this to the punctured unit disk. It therefore supplies a bounded injective holomorphic coordinate on the interval complement, giving the same rigidity even though that domain is not simply connected.
Let be entire functions, with not identically zero. If everywhere, then is bounded and holomorphic away from the isolated zeros of . The removable singularity extends it across each zero, giving a bounded entire function. Liouville's theorem makes it constant, so with . If is identically zero the inequality forces . For example, domination by forces a constant multiple of .
For a discrete dynamical system, eigenvalues of the linearization strictly inside the unit circle imply local asymptotic stability; an eigenvalue outside implies instability. Eigenvalues on the unit circle require more information. A nontrivial Jordan block there can already make the linearized iterates unbounded.
Even a bounded linearization leaves nonlinear stability undecided. The two displayed maps of the complex plane have the same derivative, a rotation matrix. Their radial updates are and . For small positive radius, the first decreases to zero and the second moves out of every sufficiently small fixed neighborhood. Thus identical unit-modulus linear multipliers can accompany attraction or instability.
For a second-order real linear partial differential equation in two variables, an invertible local change of variables simplifies its principal part. At regular points, the hyperbolic case has mixed-derivative principal part , the elliptic case has principal part , and the parabolic case has rank-one principal part , after multiplication by nonzero factors. Lower-order terms and forcing must also be transformed with the chain rule; simplifying only the principal part does not in general give the full canonical equation. In the hyperbolic partial differential equation case the new variables can be chosen constant along the two characteristic families.
An annihilating polynomial of a linear operator is a nonzero polynomial for which the displayed operator is zero. The minimal polynomial is its unique monic annihilating polynomial of least degree and divides every other annihilating polynomial. For a diagonalizable operator with distinct eigenvalues , the product annihilates it. For an individual vector it suffices to annihilate the eigenvalues contributing to that vector; this gives exact finite-step termination bounds for a Krylov subspace method.
For an ordinary differential equation , this linear multistep method uses a centered derivative across the two-step interval , evaluated at its midpoint . It requires two starting values, and . For a sufficiently smooth exact solution, Taylor's theorem givesThe unscaled local residual is therefore and the method has order two. Its first characteristic polynomial is , with the simple roots , so it satisfies the root condition for a multistep method; the second root is a parasitic amplification root. This two-step method differs from the one-step midpoint method and the implicit midpoint rule.
For the special equation and , an even number of steps gives , independently of the odd-index starting value. It is the composite midpoint quadrature rule on intervals of width . An odd final index depends on , which must be specified separately.
Incompressible limit of isotropic linear elasticity by
Codex 0 Created 2026-10-31 Updated 2026-11-05
Fix a positive shear modulus and let the other Lamé parameter tend to infinity in . If strain and stress converge to finite limits and differentiation commutes with the limit, taking the trace shows . Thus and for . Force balance becomes the displayed Stokes equation, with an elastic shear modulus in place of fluid dynamic viscosity. The vanishing volumetric strain is the linearization of elastic incompressibility .
Full frame indifference degenerates a quadratic small-strain energy by
Codex 0 Created 2026-10-31 Updated 2026-11-05
Write a quadratic small-strain energy as with homogeneous of degree two. If it were fully frame indifferent, the rotation would have zero energy. Quadratic homogeneity would then make every have zero energy. At , has determinant , yet zero energy. Thus a nondegenerate linear elasticity energy cannot also be used as a fully objective finite-deformation energy. Its invariance concerns infinitesimal rotations around the reference state.
A linear map from symmetric three-dimensional infinitesimal strain tensors to symmetric stress tensors acts between two six-dimensional spaces. Choosing the minor index symmetries leaves independent constitutive coefficients. Symmetry of the two second-rank tensors alone does not force pair interchange. If a strain-energy density exists and stress is its derivative, equality of mixed second derivatives gives the major symmetry . The resulting symmetric six-by-six coefficient matrix has independent coefficients. This distinguishes minor tensor symmetry from the extra reciprocity supplied by an energy potential.
On a connected isotropic linear elastic body, assume and . Then is positive for every nonzero symmetric strain tensor. If two equilibria have the same body force and boundary traction, their difference satisfies zero loading. Multiplication of equilibrium by and the divergence theorem yield . Hence , and the kernel of the symmetric gradient consists of infinitesimal translations and rotations: .
The conclusion is uniqueness modulo these modes, not existence for arbitrary tractions. Existence additionally requires zero total resultant force and torque. On a disconnected body each connected component has its own rigid modes; fixing enough displacements removes those modes and can produce full uniqueness.
For uniform twist and displacement , linear elasticity gives and . Their planar divergence vanishes by axial equilibrium. On a simply connected section there is therefore a stress function with and .
The mixed derivatives of imply . The lateral axial traction is the tangential derivative of , so a traction-free connected boundary makes constant; choose it to be zero. Finally the torque is , since its boundary term vanishes. Thus one scalar Poisson equation determines both the shear field and torsional stiffness. Multiply connected sections require additional constants and compatibility conditions on the separate boundary components.
Saint-Venant strain compatibility and differential identities by
Codex 0 Created 2026-10-31 Updated 2026-11-05
For a infinitesimal strain tensor , commuting displacement derivatives gives the symmetric incompatibility tensor . Its six component equations are the Saint-Venant compatibility equations. They satisfy three differential identities because is symmetric while is antisymmetric. Thus there are three independent differential constraints, although keeping all six equations is a coordinate-symmetric way to state them. At a nonzero Fourier wavevector along the third axis the constrained components are , while arise from the three displacement components. On a simply connected region compatibility gives local integrability up to a rigid motion; on a multiply connected region circulation conditions must also be imposed.
For an autonomous ordinary differential equation, the tangent to a periodic orbit gives a unit Floquet multiplier. A hyperbolic attracting cycle has that multiplier simple and all transverse multipliers strictly inside the unit disk. Thus the periodic variational operator has a one-dimensional null space spanned by the tangent. Nonlinear asymptotic attraction without hyperbolicity does not suffice: , attracts to a unit-period circle but its radial variational equation is neutral.
Near a hyperbolic attracting limit cycle, a weak perturbation can be projected onto the neutral phase direction while transverse perturbations decay. Solving the periodic adjoint variational equation gives a phase response function. Averaging its inner product with weak forcing or coupling yields the first-order phase dynamics.
Electric current in the ground after a nearby lightning discharge. A person can bridge points of different electric potential, creating indirect exposure without the main channel striking the body.
A first-class lever places the fulcrum between the applied effort and the load. The two loads produce opposite torques about the pivot, with equilibrium condition for the perpendicular lever arms. Its mechanical advantage can be greater than, equal to or less than one depending on the arm ratio.
A balanced seesaw is a direct test: equal loads balance at equal arms, while moving one load closer to the pivot requires a larger load there to maintain balance. For a small rotation, the two ends move in opposite directions and their travel distances scale with their distances from the pivot. The force ratio and displacement ratio therefore compensate in an ideal work balance. The defining feature is the pivot's position between effort and load, rather than a guaranteed force multiplication.
A second-class lever places the load between the fulcrum and the applied effort. In the simple straight-lever geometry with perpendicular forces, the effort lever arm is longer than the load arm. Static torque balance then gives mechanical advantage .
A wheelbarrow illustrates the geometry when the wheel axle acts as the pivot, the carried load lies between axle and handles, and the hands supply the effort. The handles must move through a greater distance than the load's corresponding vertical motion. That motion trade follows directly from a common small rotation and explains why a reduced effort force does not imply reduced ideal work. Actual geometry and force directions determine the perpendicular arms; distances measured along an inclined body cannot always be substituted unchanged.
A third-class lever places the applied effort between the fulcrum and the load. For perpendicular loads on a straight ideal lever, the effort lever arm is shorter than the load arm . Static torque balance gives , so its mechanical advantage is less than one.
The arrangement trades a larger required force for a larger load-end travel and speed. Tweezers provide a familiar model: the fingers press between the joined end and the gripping tips. For a small rotation, tip displacement is proportional to its distance from the pivot, so the displacement ratio is inverse to the force ratio. An ideal lever therefore conserves work while changing the force and motion scales.
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!
Intro to OurBigBook
. Source. We have two killer features:
- 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-calculusArticles 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/derivativeVideo 2. OurBigBook Web topics demo. Source. - 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.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.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. - Infinitely deep tables of contents:
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





