Differentiation under the integral sign first gives
On the other hand,
Its integral is zero because vanishes at both endpoints. Hence
Differentiating once more,
For , the preceding identity and give
The equation extends through in its regular limiting form.
The characteristic polynomial of the linear recurrence relation is
The repeated-root rule therefore gives
The condition gives . The other two conditions give
so and . Thus , and
A function on an interval is a convex function if
Jensen inequality states that for an integrable random variable , when all terms are defined,
The function is convex on because
Applying Jensen's inequality to the uniform distribution on the positive numbers gives
Writing and multiplying by yields
Expanding around the expected value ,
because . Therefore
with equality exactly when .
For the absolute loss,
Leibniz differentiation gives, with ,
Thus decreases while and increases while . It is minimized at any median, characterized in the continuous case by
For a normalized equation
is an ordinary point when are analytic there. It is a regular singular point when and are analytic there. These are the ordinary point criterion for a second-order equation and regular singular point criterion for a second-order equation.
Here
so is regular singular. Seek a power-series solution of a differential equation
Equating the coefficient of gives
and hence
Therefore
The series terminates exactly when is a nonnegative integer: the factor with then makes . Thus the polynomial solutions occur for
After division by , the coefficient of is . The Abel identity for the Wronskian gives
so
For , direct substitution confirms that . Reduction of order gives a second solution proportional to
To extract the requested coefficients, put
For the differential operator
one finds
The analytic correction must therefore satisfy . Its constant and linear coefficients give
Hence
The multivariable chain rule gives, at ,
Sufficient conditions for a strict local minimum at are and .
At a stationary point, in every direction. Its second derivative is the quadratic form of the Hessian matrix. If
then completing the square gives
for every nonzero direction . The Hessian is therefore positive definite, and the stationary point is a strict local minimum.
The stationary equations are
Thus and , giving
The Hessian matrix is
At either nonzero stationary point,
so both are strict local minima.
Along a line through the origin,
where
When and ,
Consequently the origin is a local minimum along the line when
including the equality cases because the positive quartic term then leads. It is also a minimum on the vertical line. It is a local maximum along the line when
In the first case the graph is locally bowl-shaped. In the second it initially bends downward from the origin, but the positive quartic term eventually turns it upward, producing the usual double-well profile.
The characteristic polynomial is
For and , corresponding eigenvectors are
They are linearly independent, so the general homogeneous solution is
Resolve the forcing in the eigenbasis:
In the zero-eigenvalue direction, a constant forcing produces the particular integral . In the unit-eigenvalue direction, a constant particular integral is . Thus a particular integral depends on time exactly when
Adding the complementary solution from part (a), the general solution is
This is the eigenvector form of the usual variation of parameters calculation.
For either eigenpair above, and hence for every positive integer . Therefore
so both terms in the solution from part (a), and every linear combination of them, solve the higher-order system.
A system of two scalar differential equations of order has a -dimensional solution space. The displayed family supplies two independent solutions, so there must be
further linearly independent solutions.
Write the vector field as
The equilibrium points of a dynamical system in the closed first quadrant are
The Jacobian matrix is
At its eigenvalues are , so this is a saddle equilibrium. Its unstable direction is the positive -axis and its stable direction is the positive -axis; to first order, nearby trajectories satisfy , .
At the eigenvalues are , so it is also a saddle. The -axis is the stable direction, while trajectories entering the quadrant in the direction move away.
At ,
whose eigenvalues are
It is therefore a stable spiral. A point immediately to its right moves upward, so nearby trajectories spiral counterclockwise into the equilibrium. These eigendirections and the inward spiral give the requested local phase-portrait sketches.
The only positive equilibrium solves and , hence is
Away from a nullcline,
This is separable:
Integration gives the first integral
Thus one convenient conserved quantity is
Its gradient is
so is its only stationary point in the positive quadrant. Its Hessian matrix is
which is positive definite everywhere. Hence is a strict, indeed global, minimum.
The nearby level curves of are closed curves surrounding this minimum. Since is constant along every trajectory, a solution starting on a sufficiently small nearby level set cannot leave the region bounded by a slightly larger level set. This proves Lyapunov stability of the equilibrium: solutions initially close to remain close for all time.
Because and are bounded, their exponential series may be integrated term by term for every real . Thus their moment-generating functions satisfy
and similarly for . Equality of every moment gives equality term by term, so
Normalization of the Gaussian distribution gives
Completing the square,
Therefore
and hence
The normalizing constant satisfies
For an integer ,
Translation by the integer merely permutes the summation indices, so the final sum is . Consequently
The last equality uses the moment-generating function of the standard normal variable from part (b).
No. A standard counterexample comes from the log-normal distribution. Let
and, for a fixed , let
This is a nonnegative density distinct from . For every nonnegative integer , substituting makes the difference of the th moments proportional to
It is the imaginary part of
which vanishes because its phase is . The case also proves that is normalized. Thus the two distributions have every finite moment equal but are different. Unbounded random variables need not be determined by their moments.
The probability generating function is
Differentiating times,
At , only the term remains. Hence
For , independence gives
Therefore
For the geometric distribution on ,
Summing the geometric series,
When red marbles remain, the next draw reduces their number with probability . The waiting time for that reduction has a geometric distribution on and therefore
The successive waiting times are independent, and
Using the product rule for probability-generating functions,
The number of heads has the binomial distribution. Choosing the head positions gives
Conditioned on exactly heads, every -element set of head positions is equally likely. There are such sets. A run containing all heads can begin at any of the positions
and each beginning determines one admissible set. Thus, for ,
For the process to stop on toss , the last toss must be the th head, while the first tosses must contain exactly heads. Hence the negative binomial distribution gives
Let be the expected additional number of tosses when the current terminal run contains consecutive heads. Then , and for ,
For , iterating this recurrence from down to gives
Solving,
When , the waiting time is deterministically , which is also the continuous limit of this formula as .
By Tonelli theorem for the nonnegative indicators,
If this is finite, then is finite almost surely: alternatively, Markov inequality gives
Since for every ,
This is the first Borel-Cantelli lemma.
Write . Independence gives, first for finite partial counts and then by monotone convergence,
Using factor by factor,
If , part (b) gives
Thus almost surely. By the convention in the question, this occurs exactly when . Therefore
This is the second Borel-Cantelli lemma for independent events.
Divide the keystrokes into disjoint blocks of five, and let be the event that block is exactly HELLO. The events are independent events, and
Consequently
Part (c) shows that infinitely many of these block events occur almost surely. Each occurrence is an occurrence of HELLO in the full typed sequence, so

Articles by others on the same topic (0)

There are currently no matching articles.