For distinct positive integers , the product-to-sum identity gives
Both cosine integrals vanish over , so
If one index is zero, the corresponding function is identically zero and the same answer follows immediately.
For a positive integer , the identity gives
The stated nonnegative indexing includes as a special case: , whose squared norm is zero. Thus ; it cannot belong to a basis.
A norm is nonnegative, so it cannot equal a negative . The locus is therefore , irrespective of .
First assume . The first equation is a plane, and the second is a sphere centred at . Define its signed normal separation and projected centre by
The intersection of a plane and a sphere is
The circle lies in the given plane. Its radius follows from the Pythagorean theorem, splitting into orthogonal components. If , the first equation is the identity , so the locus is the entire sphere, rather than a planar section.
For , the norm equation requires . Thus the locus is
This includes , when the first condition imposes no restriction.
The orthogonal projection of the origin onto the line occurs at , giving closest point . Hence the distance from a point to a line in three dimensions is
Eliminating from the two plane equations gives , followed by . Taking gives the point . The entire intersection line is , where .
A direction of the intersection line must be orthogonal to both normal vectors. Their cross product is
Thus a convenient parallel vector is .
The product-to-sum formula gives
When both indices are positive the two integer frequencies integrate to zero. If either index is zero the integrand already vanishes. This is Fourier orthogonality.
For , use . The inner product is
The stated nonnegative index range also includes . Since is the zero function, , so it must be removed from any proposed basis.
The logarithm requires for real-valued solutions. Put . Since , the equation becomes . For a nonzero branch, separation gives
Renaming the constant and restoring gives
Dividing by would omit the equilibrium , so the full solution set also includes . The nonzero branches are defined on connected intervals with and . A regular solution cannot switch from a nonzero branch to zero at an ordinary point, because the right-hand side is locally Lipschitz in there. These domain restrictions are part of the full real solution.
On an interval with , an integrating factor is . Multiplication gives
Integration therefore yields
The polynomial formula has a smooth continuation at , but the original coefficient is undefined there. Solution intervals for the stated equation must avoid that point, and the constants on its two sides need not agree.
Setting in i removes the cross product term and gives . Repeated multiplication therefore yields, for nonnegative integers ,
The zeroth power is . If negative powers are intended, they require , and the same parity formulas then follow from . Every nonzero real vector meets that condition; a nonzero complex null vector need not. For example, has and no inverse.
For a real unit vector , let . Then , so even powers are and odd powers are . Split the absolutely convergent matrix exponential into its even and odd series:
The result holds for every real , not merely small angles. Its two scalar series are the ordinary cosine and sine series.
Combine the diagonal and cyclic products from b into . Distribute the coefficients in the two Pauli-vector factors:
The inner sums are precisely the components of , so
Interchanging the two factors shows that their commutator is . The three Pauli matrices are linearly independent: the entries of are , which vanish together only when . Thus
For nonzero real vectors, this means parallel or antiparallel directions. The dot and cross products here are bilinear; no complex conjugates are inserted if complex coefficients are considered.
With the same active rotation convention, the axis remains fixed, while moves toward . Therefore
For instance, a positive quarter-turn maps to and to , checking both signs. This is again an orthogonal matrix of determinant one.
Use active rotations on column vectors and positive angles counter-clockwise when viewed from the positive axis toward the origin. Rotation about takes to , to , and leaves fixed. These images are the columns of the rotation matrix:
It satisfies and . Stating the viewing convention avoids confusing this active rotation with a passive change of axes.
For the neo-Hookean solid, the axial Cauchy stress tensor under the unloaded lateral boundary conditions is
With , the spring balance is equivalent, after multiplication by , to the cubic equation
For a fixed , write its left side as . It obeys and tends to as . Moreover
Thus first decreases from a negative value and then increases strictly, crossing zero exactly once on . For ,
so the unique equilibrium has . The tissue is elastically compressed, while its actual length exceeds one and compresses the spring.
To determine the large-growth limit without presuming a power law, solve for :
This is a strictly decreasing function of , since its derivative is
It tends to only as . Consequently unlimited growth forces , and
More precisely, the dominant balance is , giving
The surrounding spring softens the divergence relative to rigid confinement but does not bound the compressive stress. Both axial extension and lateral expansion help accommodate growth:
whose product is the total volume , as required by elastic incompressibility and the imposed growth tensor.
The end displacement relative to the initial unit axial length is
By Hooke's law, the total resisting force supplied by the spring is . To convert this resultant into the axial Cauchy stress tensor, divide by the current end cross-sectional area. The transverse total stretches are both , so that area is
Uniform traction over that face consequently gives
Equate this to the expression from part (ii):
The extra factor on the left is essential: the spring law specifies a total force, whereas the material constitutive equation specifies force per current area. The reference end area is one, so the same spring resultant can also be read as a nominal end traction.
Write , evaluated at . Applying the chain rule to the reduced strain energy density gives
Multiply by and use :
The transverse symmetry specified in the hint has . Thus
The lateral faces have zero traction, so their diagonal Cauchy stress tensor components satisfy . The hydrostatic pressure enforcing elastic incompressibility is therefore , and the axial component simplifies to
This elimination of the Lagrange multiplier is what makes the reduced strain energy density useful for the spring balance.
In morphoelasticity, the deformation gradient factors as , where accounts for local stress-free growth and accounts for the subsequent elastic accommodation. Elastic incompressibility means that the latter preserves volume:
It does not forbid volume increase by growth: here .
For the homogeneous diagonal deformation, the two unloaded transverse directions are equivalent. Taking the transversely symmetric branch implicit in the paper's hint gives . Set . The determinant constraint is then
so
Equality of the transverse stretches uses that symmetry assumption; elastic incompressibility alone would only give . The total deformation gradient and the actual axial length are
because the initial cuboid is a unit cube.

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