A Damped Spiral That Rings Down to One, Not to Zero
The characteristic roots of u'' + u' + u are the primitive cube roots of unity, so the homogeneous part decays with envelope e to the minus x over two and oscillates with period 4 pi over root 3, which is 7.2552. Substituting that homogeneous solution back into the equation leaves a residual of exactly minus one, and that residual is the whole distance between the common wrong answer and the right one. The constant u = 1 solves the equation by itself, so every solution settles on 1, and the constant trial works only because the coefficient on u is not zero.
Solve . No initial conditions are supplied, which is a hint about what is being asked: not a particular curve, but where every curve ends up.
The answer is that every solution settles on the line , and most of them ring their way down to it. The most common wrong answer is zero, and it is wrong for a reason that takes one line to state and is easy to walk past.
The oscillation, which everyone gets right
Set the right-hand side aside for a moment and look for solutions of the form . Substituting gives the characteristic equation:
The discriminant is , so the roots are a conjugate pair. Their real part is negative, which means decay, and their imaginary part is non-zero, which means oscillation. Combining the two complex exponentials into real functions gives the homogeneous solution:
Those two roots happen to be the primitive cube roots of unity. They sit on the unit circle at degrees, so their modulus is exactly 1 while their real part is , and it is the real part alone that governs how fast the amplitude falls.
Why the answer is not zero
Equation (2) does decay to zero, and stopping there is the mistake. The test is mechanical: substitute the candidate back into the equation you were actually given. Every derivative of is another expression of the same form, and the three terms cancel exactly, so what is left over is the constant on the right:
A residual of rather than 0 says the homogeneous solution solves a different problem, the one with zero on the right. The forcing was dropped somewhere between reading the question and writing the characteristic equation, and nothing downstream notices, because every step after that point is correct.
One constant does all the work
The equation is linear, so the general solution is any single solution plus the whole homogeneous family. Finding a single solution here takes no machinery at all. Try a constant: both derivatives vanish, so collapses to , and satisfies the equation on its own. Adding it to (2):
Substituting (4) into returns exactly 0 for every and , so the constant has done the whole repair. The two free constants are fixed by two initial conditions, and , and the problem withholds both on purpose. Neither one changes where the curve ends up.
For a linear equation with a linear operator, if satisfies and ranges over the solutions of , then is exactly the solution set. Any two solutions differ by a homogeneous one, so nothing is missed and nothing is counted twice. The forcing term selects ; the order of the equation fixes how many free constants live in .
What the curve looks like
Three numbers describe the picture, and all three come from (1). The envelope is , which halves every in . The angular frequency is , so the period is . And the resting value is 1, so the curve crosses the line once every half period, at spacings of 3.6276, infinitely often.
Combining the first two gives the amount by which each swing is smaller than the one before it: a full period costs a factor of . So each peak is under 3 percent of its predecessor, and after two full cycles the wobble is invisible on any plot. That is why a numerical integration reaches 1 to eight decimal places long before the interval ends.
A fourth-order Runge-Kutta integration at a step of over 60 units, started from five different pairs of initial conditions, ends at 1 every time to within , while the same integrator run on the equation with zero on the right ends at 0. Measured on the trajectory rather than read off the formula, the peak spacing comes out at the period and the peak heights shrink by that factor of 0.02658 per cycle.
Where the trick stops working
Guessing a constant is not a general method, and it is worth knowing precisely when it fails. For with , the constant always works, because the derivative terms disappear. Here and , which is why the particular solution is the unadorned 1.
Set and the method dies. In no constant can produce a non-zero right-hand side, and the particular solution is instead. The general diagnosis is resonance: the constant trial works when 0 is not a root of the characteristic polynomial, and it has to be multiplied by once for each time 0 is a root. Since has value 1 at , we are clear.
Two smaller caveats. The word every in every solution rings down is not quite right: taking gives the constant solution , which settles without ever ringing. It still settles at 1, so the claim about the resting point survives the degenerate case even though the picture does not. And decay requires the real part of both roots to be negative, which for a real quadratic means and . Change the sign of the damping to and the same 1 is still a solution, but now the oscillation grows around it and nothing settles anywhere.
Sources and further reading
- The structure used in (4) — Linear differential equation
- The step that produced (1) — Characteristic equation
- The physical reading of the homogeneous part — Damped harmonic oscillator
- The general recipe behind the constant guess, including the resonance correction — Method of undetermined coefficients
- Where the two roots also turn up — Root of unity
Both candidate answers were substituted symbolically: (4) leaves a residual of exactly 0 for all and , and (2) leaves exactly . The closed form was then checked against an independent numerical integration rather than against itself, with the constants read off the initial conditions and the two curves agreeing to over twenty units.
Comentarios · 0
Sé el primero en comentar.