Here is the probability of microstate , including all occupation data. In the grand canonical ensemble, with energy , particle number , chemical potential and ,
Substitution in the Gibbs entropy gives , where and . Differentiating at fixed gives . Therefore
For the unforced undamped pendulum, the upper homoclinic separatrix has energy and for . With forcing and damping,
The first-order energy change along this separatrix is
The zero of this first-order stable/unstable-manifold splitting is simple in . Smooth dependence of the saddle manifolds and the implicit function theorem therefore give a nearby homoclinic branch with
The asymptotic formula is the leading-order stable/unstable-manifold balance. On a lower homoclinic orbit, and the lifted angle decreases by , so the exact integrated energy balance would be
when . Hence no lower homoclinic orbit exists for positive forcing.
The Poincaré-Bendixson theorem says that a nonempty compact omega-limit set of a smooth planar flow containing no equilibrium is a periodic orbit; use its allowed cylinder version here. For , choose and . At the lower boundary and at the upper boundary , so the compact annulus is positively invariant. It has no equilibrium because . The theorem supplies a periodic orbit, and makes it encircle the cylinder.
Every periodic orbit must lie in : for , , and a crossing of can only be upward. In a periodic orbit is a graph of a function satisfying
Two distinct function graphs cannot cross by uniqueness of this scalar differential equation. If , their difference obeys
It contracts by a factor strictly less than during one circuit, contradicting periodicity of both function graphs. The scalar return map is order preserving, so a multi-circuit periodic graph of a function also cannot have a period larger than one circuit. Therefore there is exactly one periodic orbit, and it encircles the cylinder. The standard auxiliary results used are existence/uniqueness of smooth differential equations and invariance at inward-pointing boundaries.
The direct First Lyapunov theorem says that a continuously differentiable positive-definite function near an equilibrium, with , proves stability. LaSalle invariance principle says that in a compact positively invariant set, trajectories approach the largest invariant subset of . Under the terminology in which “first theorem” means the linearization theorem, eigenvalues with negative real part imply asymptotic stability, while zero-real-part eigenvalues leave the test inconclusive. Here the linearization has eigenvalues , so the direct criterion is needed.
Write and choose
Near zero, is positive definite. Along solutions,
The component containing the origin of a sufficiently small closed sublevel set is compact, lies in and is positively invariant. The set has ; to remain there also requires , so its largest invariant subset is just the origin. The two theorems establish the origin is asymptotically stable.
True. Define for and . The hypothesis at infinity makes continuous on . The Weierstrass approximation theorem gives polynomials with . Since maps onto ,
True. By the Weierstrass approximation theorem, choose a polynomial with . For each fixed , this bound applies once , so . This proves pointwise convergence; the same construction even gives uniform convergence on every closed interval.
False. If uniform convergence held, some polynomial would satisfy . Such a polynomial would be bounded on , hence constant: a nonconstant polynomial grows without bound in absolute value along a real half-line. For any constant , however,
a contradiction.
The horizontal contribution is . The two nondegenerate stationary points of the phase are and , with second derivatives and . The stationary phase method gives their contributions
with remainder for smooth fixed amplitudes localized near the stationary points. On the remaining portions, use integration by parts. The endpoint term is
Cutoff endpoints cancel between pieces; a second integration gives the other nonstationary contributions . Thus this endpoint term cancels the leading vertical term. Altogether
This stationary phase endpoint cancellation in a half-strip contour is necessary: omitting it would leave an erroneous remainder for noninteger .
Keep fixed as . On both vertical lines . The right side is traversed upward and the left downward, so their combined contribution is
Set . The integral becomes , where , and . Successive integration by parts, with exponentially vanishing terms at infinity, gives
Hence the leading vertical contribution is . It is exactly zero for integer . These estimates hold for fixed real ; they are not uniform when the order grows with .
For expected final capital, the Bellman equation is linear in wealth, with one-period factor . Therefore invest everything when the mean return is positive, nothing when it is negative, and any fraction when it is zero. For this agrees with the yield objective.
For , the root objective is concave and penalizes losses, so its optimal fraction need not be even when the mean is positive. For example, if and , the left derivative of at is , while its right derivative at is positive; the optimum lies strictly between and . If , Jensen inequality gives , so is optimal. Thus the root objective can favor partial investment over the all-in policy.
Let and choose an optimizer . Existence follows from continuity and compactness: the integrands are dominated by a constant times . Induction in the Bellman equation gives
Thus the maximal expected yield is . Neither current wealth nor time changes the maximizing fraction; there may be several optimizers.
The right derivative at is , using the finite first moment and dominated differentiation near zero. If , increasing slightly improves on , so . No explicit value of is needed.
Assume , a positive integer , decisions based only on already observed returns, and . The last is a sufficient well-posedness condition absent from the print; without moment assumptions the objectives may be infinite. Put . Multiplication by and subtraction of do not change the optimizer, so maximize subject to .
The Bellman equation for the value function is
The expectation uses a fresh independent return, since the action is chosen before it is observed. Zero wealth remains zero.
For , the Brownian reflection principle gives . Reflection of the path after its first hit of preserves its law and pairs paths ending below with paths ending above , proving this identity. Therefore
By monotone increase of the finite-time suprema, the probability that the full supremum is at most any finite is zero. Taking a countable union over integer gives .
For , Brownian scaling and the bijection of give , or . The supremum is a measurable extended random variable because continuity allows the supremum over rational times, and .
For , the function must satisfy for every , so it is constant on . Letting and shows , hence . This scaling argument alone does not decide the mass at zero; part (d) does.
The scaled process starts at zero and has continuous paths. Disjoint time intervals map to disjoint intervals under , preserving independence of increments, and
This holds for either sign of . Hence .
A standard Brownian motion is a real process with almost surely, continuous paths, independent increments, and for . If a filtration is specified, require adaptedness and independence of each increment from the past sigma-algebra. Thus the increments are centered Gaussian with variance equal to elapsed time.
Set . For fixed and large ,
This endpoint maximum likelihood for a singular location density calculation gives a Weibull distribution with shape . The estimator is a consistent estimator, and its error has order , faster than the error of . Its bias is asymptotic to and its mean squared error to , versus a positive constant times for the sample-mean estimator. Thus the minimum estimator is preferable for its much faster convergence, despite its positive finite-sample bias. This is a nonregular support-dependent model; ordinary regular-model efficiency bounds do not apply.
The support restricts to , and . Within its feasible interior, the likelihood function is proportional to and is strictly increasing in , diverging as . Under the printed infinite-endpoint-density, or extended-likelihood convention, the maximum-likelihood estimator is
A density is defined only almost everywhere. If its value at the singular endpoint is reassigned a finite value, a finite maximum need not exist; the sample-minimum answer uses the stated endpoint/supremum convention.
Independence and on give
The error is positive almost surely, so the estimator is not an unbiased estimator. More explicitly its bias is
The observations have finite mean and variance. The strong law of large numbers gives almost surely, so almost surely and therefore is a consistent estimator. The central limit theorem gives

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