For real , squaring the two nonnegative moduli gives . In Cartesian coordinates this is
Assume and put . Dividing by yields . Since and , the requested complex equation has
Indeed these choices make the mixed term . Completing the square gives
The Circles of Apollonius therefore have
The radius is positive for the stated range. No spurious point at has been introduced: at that point the undivided equation would require . Positive gives a circle above the real axis, while gives one below it.
A quotient with nonzero denominator has zero complex modulus exactly when its numerator is zero. Thus
At that point , so the solution is admissible.
The original PDF places a complex modulus around the quotient; those bars are essential. Its denominator excludes . Using , the case becomes . In Cartesian coordinates,
This locus is the real axis, the perpendicular bisector of the points and in the complex plane. The excluded denominator point does not lie on it.
The polynomial factors as
Thus the repeated polynomial root is , of multiplicity two. Its repetition can also be checked from and .
Adding the steady and transient parts gives
Integrating the sine across the channel gives . Thus
For even the signed flow rate is zero, because positive and negative velocity lobes cancel. For odd the bracket is two. Both expressions vanish initially and approach their steady values exponentially; gives the trivial zero solution throughout.
Separate . On a nonzero product region,
A decaying temporal factor requires , with . The zero spatial boundary values give and , hence with . Zero or negative separation parameters give no nonzero spatial mode with both boundary values zero.
The initial profile is already exactly the sine eigenfunction. Its coefficient therefore determines a single separated solution:
The exponential tends to zero because . More generally sine orthogonality would determine a sum of such modes, but all other coefficients vanish here. This is the transient of the heat equation with a single stationary sine forcing.
The steady profile has no time derivative. Substituting and using its steady equation cancels the forcing, giving
The initial condition is
The resulting heat equation is independent of , as are its boundary conditions. Its initial amplitude still depends on ; removing a source from the evolution equation does not remove it from the whole problem.
In a steady state, . Since the second derivative of the sine is times itself,
The zero boundary values at force . Therefore
Introduce a second multiplier and use
The stationary equations become . Writing gives
The two constraints determine the constants through
Equivalently, with , and . This is the maximum entropy distribution with a prescribed finite mean.
For nonconstant , a strictly positive solution exists exactly when . The mean's derivative with respect to is , so is unique in that case. At either extreme mean no strictly positive solution exists. If all , feasibility requires and the extra constraint is redundant: , while are not separately identifiable. The negative entropy Hessian ensures that any feasible interior stationary point is the unique constrained maximum.
Use . Differentiating with respect to each positive gives
Every is therefore equal; normalization forces
The Hessian matrix of is diagonal with entries , so its quadratic form is strictly negative for every nonzero perturbation. In particular it is negative along the tangent space , making this the unique global maximum on the positive probability simplex. This is the maximum entropy distribution on a finite set, using natural logarithms.
At a regular constrained stationary point, the change in along every allowed tangent direction must vanish. Thus its gradient is normal to the constraint curve, giving the Lagrange multiplier equations
provided . Solve these equations for , then classify the candidates using the constraint or a constrained second-derivative test. Points where the constraint gradient vanishes require separate analysis.
For variables and regular independent constraints , use one multiplier per constraint:
There are scalar equations in the unknowns. Independence of the constraint gradients is the regularity condition; boundary points must be treated separately when present.
The given identity immediately yields . Thus only the fundamental sine coefficient changes: becomes . No new integral is needed. The first five nonzero terms are
This also follows from translation of a Fourier series: a half-period delay multiplies the th harmonic by , leaving the constant and even harmonics unchanged and reversing the only odd harmonic present.
Put , so the nonzero half-cycle is . The constant coefficient is
The sine coefficients satisfy
by sine orthogonality. For the cosine coefficients, the product-to-sum identity gives, when ,
The case is zero directly. Hence
The first five nonzero terms, counting the constant as the zero-frequency term, are
The general coefficient formula specifies every remaining term. This is the Fourier series of a half-wave rectified sinusoid; the waveform is continuous at the joins, so the series gives its actual value there.
The sine and cosine functions are orthogonal over a complete period. For positive integers ,
while every mixed sine-cosine integral and every integral of a nonconstant single harmonic is zero. These identities follow from the product-to-sum formulas and the integer-period endpoint values.
Multiply the Fourier series by and integrate. All terms except vanish, giving . Repeating with sine isolates . Thus
Integrating without a harmonic also gives . The factor on the constant term in the chosen convention is essential.
The largest angular-frequency magnitude is . With overall amplitude , the corresponding displacements are
Thus the two outer masses move together, while the middle mass moves oppositely with times their amplitude. All three have the same period .
Figure 1.
Highest-frequency mode of three equal masses between fixed supports
. Details.
The pairwise dot products of the normalized vectors are
Their squared norms are respectively , , and , all one. Hence they form an orthonormal basis. This also follows from the spectral theorem for real symmetric matrices, because is symmetric and its three eigenvalues are distinct.

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