Write the linear system of differential equations as
A homogeneous power solves this Cauchy-Euler differential system precisely when . The eigenvalues are and , with eigenvectors and . The homogeneous solution is therefore .
For a particular solution, put . Then , which gives . At , the two initial conditions become and , so . Thus
The two powers correspond to the two eigenvalues; the lower-degree particular term accounts for the constant forcing. Substitution gives both original right sides and the zero initial data.
Completing squares reveals the geometry of the sheared quartic double-well gradient flow:
The critical points satisfy and , so they are , and . The Hessian matrix is
At the origin its determinant is , so is a saddle point, with . At either other critical point, the determinant is and the upper-left entry is , so it is a positive-definite matrix. They are strict local minima; the completed squares show that both are global minima, with .
A contour at level obeys
There are no contours for , two isolated minimum points for , and two separate closed ovals for . At the two lobes meet at the saddle point; near the origin their tangents are . For one closed contour surrounds both minima.
Figure 1.
Sheared quartic potential contours and the trajectory to the positive-x minimum
. Details.
Along the gradient flow, the gradient-flow dissipation identity is
At the stated initial point, . Its trajectory stays in the invariant sublevel set . This set is compact because is a coercive function. It also excludes every point with , where ; continuity therefore keeps the trajectory in its positive- component.
To justify its limit rather than merely infer it from the sketch, integrate the dissipation identity: is finite. On this compact set the gradient and its time derivative are bounded, so is uniformly continuous. A nonnegative uniformly continuous function with finite integral tends to zero: otherwise separated intervals of a fixed positive height and width would force an infinite integral. Every accumulation point is consequently a critical point. In the positive- component below this energy level the only one is . Compactness then implies convergence, and
This is a compact gradient-flow trapping criterion; the drawn trajectory illustrates, rather than replaces, the convergence proof.
Use a power-series solution of a differential equation, . Comparing coefficients gives
In particular , while and are free. The two prescribed derivative pairs select and . The next coefficients are , , , . Hence
These are the first three nonzero terms when the respective parameter is nonzero; if or , the corresponding solution vanishes identically.
For closed forms, set . Cancellation of the first-derivative terms reduces the equation, for , to . The analytic solutions extend across zero, and their hyperbolic cosine and hyperbolic sine expansions identify
This is the hyperbolic reduction of a regular-singular differential equation: although the original leading coefficient vanishes at zero, both selected power-series solutions of a differential equation are entire.
For a nonnegative integer-valued random variable, the probability generating function is
with always allowed. Its derivative at from below gives the expectation when finite.
The waiting time has the positive-integer geometric distribution . For the capped geometric waiting time, exactly when , while occurs whenever . Thus the terminal mass is , giving
The finite sum is a polynomial; any apparent singularity of the rational expression is removable. This includes , where .
Differentiating the rational form at yields
As a second interpretation, the expectation is the sum of the tail probabilities for . Their finite geometric sum gives the same answer.
For events with , the conditional probability is . Applying the definition in both orders gives Bayes' theorem:
Conditionally on , independent fair tosses give a binomial distribution for the head count, so . The joint probability mass function is consequently
Use the law of total probability and the differentiated geometric series, , to obtain . The posterior coin count after exactly one head is therefore
These probabilities sum to one by the same series identity. The conditioning weights possible coin counts by their likelihood of producing exactly one head.
A constant orbit is a fixed point of . Solving gives , hence
For fixed point stability for an iteration, perturb a fixed point by . Its local evolution is , where . At zero, , so perturbations contract: zero is locally asymptotically stable. For example, if , then ; this gives an invariant neighborhood and geometric convergence to zero.
At one, , so perturbations expand: one is unstable. More explicitly, putting gives , whose magnitude increases while a nonzero perturbation remains sufficiently small. The derivative test concerns local stability; it does not assert attraction from every real initial value.
The repeated-root constant-coefficient differential equation has characteristic polynomial . Its two fundamental solutions are
They are linearly independent: their Wronskian is , which never vanishes. For the forced equation, exploit the repeated factor by writing . Direct differentiation gives , so the forcing reduces to . The initial data imply and , hence . Therefore
The extra factor reflects resonance of the forcing with the repeated characteristic root; the exponential substitution obtains it without guessing a particular solution.
For independent random variables, and . Factor their probabilities to obtain the distribution functions of independent minima and maxima:
These formulas also allow atoms; no probability density function assumption is needed.
For independent unit-rate exponential distributions, for , so . To establish the independent minimum and gap of two exponential variables, set . On either ordering branch, the change of variables is or with unit absolute Jacobian determinant. Both contribute ; ties have probability zero. Thus the joint probability density is
It factors into normalized exponential probability density functions, proving , and their independence.
The maximum is . A half-scaled unit-rate exponential has rate two, so the independent pair has the same joint law as . Consequently
Using the expected values, variances and independence of the summands,
The spacing factorization explains why an order statistic can be represented as a sum of independent waiting times.

There are unlisted articles, also show them or only show them.