Write the sine argument as , with . The sine addition formula gives . Its Maclaurin series is , so
There is no linear term because the outer sine has zero derivative at .
Equal energies mean in the linear approximation. Evaluate the coefficients at particle , where , and use . The fractional rest mass change is
Consequently
As a check beyond the requested first-order approximation, exact equality of relativistic energy gives , consistent with the sign and approximate size of the difference.
Take the total differential of the logarithm of the relativistic energy, with the speed of light fixed:
Using the chain rule,
Every term is a dimensionless fractional change. The differential relation is exact; applying it to finite small changes is a first-order Taylor expansion.
The real equation has domain . Its integrating factor is
Thus the linear ordinary differential equation becomes . After integration, . The initial condition gives , hence
For , multiply by to obtain the first-order linear ordinary differential equation . Its integrating factor is . The product rule then gives
Integration yields , so
The constant of integration is arbitrary on each connected interval of the original equation's domain. The formula extends smoothly through zero, but the printed equation itself contains and is not defined there.
The first boundary condition requires for all , so . Since , the second boundary condition gives . The partial differential equation then reads , fixing . Thus
The chain rule for the new coordinates gives and . Since the coordinates depend linearly on , their coefficients are constant. Expanding the squares of these differential operators gives
Hence the partial differential equation becomes . Integrating once in each variable introduces independent one-variable functions, giving the general solution
where are arbitrary twice-differentiable functions on the relevant characteristic intervals. Their sum includes an arbitrary additive constant.
Eliminate using the constraint: . The restricted objective is the quadratic polynomial , with constant Hessian matrix
Its eigenvalues are and . Hence
For , both eigenvalues are negative and the quadratic polynomial is strictly concave, so the maximum is global on the entire constraint surface. For , the opposite signs give increasing and decreasing directions. At there is no stationary point, as already found, rather than a degenerate extremum to classify. No parameter value produces a constrained local minimum.
Let . Using Lagrange multipliers with gives
The third equation fixes . The first two then reduce to and . If , their solution and the constraint give
At , the second equation requires and makes the first inconsistent; at , it requires and gives the same inconsistency. Thus there is no constrained stationary point when . The constraint gradient never vanishes because its vertical component is one, so the multiplier condition has not excluded any regular constrained stationary points.
At , the first equation gives , and the second then gives . All nonzero solutions are
At , the first equation gives . The second then gives , and the third is twice the second. Choosing an integer direction vector, all nonzero solutions are
Each full null space, including the zero solution, is a line through the origin. Geometrically, the three homogeneous constraint planes have that common intersection; in each case only two of their equations are independent.
Subtract twice the second row from the third row when computing the determinant. The last row becomes , so
Its zeros give exactly the parameter values with a nontrivial null space:
For , a nonzero coefficient vector with is precisely a linear dependence of the three columns. Three vectors in three dimensions are linearly dependent exactly when the determinant of their column matrix, or their scalar triple product, is zero. Thus
For this square homogeneous linear system, the condition is also sufficient.
Take the outward orientation of the complete closed surface, including its flat base. The constant part of the vector field has zero divergence, and the radial part has divergence . The divergence theorem gives its flux as that constant times the solid hemisphere's volume, :
The constant field may have nonzero flux through the curved part alone, but its curved and base contributions cancel on the closed surface.
Use the orientation induced by the boundary order . The triangle's vector area element integrates to . Every point in its plane is a linear combination of , so . The radial term of the field therefore contributes no flux. The constant term gives
Reversing the orientation reverses this sign. If and are collinear, the triangle has zero area and the displayed value is zero by the degenerate-area convention.
The characteristic polynomial factors as , so the homogeneous solution is . The forcing already occurs in that solution, so a constant multiple of cannot be a particular solution. Use instead. Its derivatives are and , so substitution gives and fixes . Thus
The extra factor of accounts for the repeated forcing exponent in the method of undetermined coefficients.

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