Let be the group parameter. The infinitesimal generator of a Lie point symmetry
has flow equations
Therefore it generates the scaling group
Here , , and . The total-derivative formulas for the second prolongation of a Lie point symmetry give
and
Thus
For the wave equation expression ,
It therefore vanishes whenever , proving that generates the simultaneous spacetime scaling symmetry of the wave equation.
The independent invariant of the scaling orbits is the similarity variable
while itself is invariant. Seek a group-invariant solution . Direct partial differentiation gives
The wave equation reduces to
Hence, on any interval avoiding ,
For , the outer part of the action integral for a linear-to-square-root potential dominates:
The WKB quantization condition therefore gives
Taking the power yields the asymptotic equivalence
Hence
For fixed , the right-hand side of the quantization equation tends to zero with . If
the unique energy satisfies , so the first branch of the action integral for a linear-to-square-root potential applies exactly. Solving
gives
Thus this formula is valid whenever
By the evenness of , the semiclassical action integral is twice its integral over the positive half-axis. If , then
If , split the integral at :
The first integral is
In the second, put and then . It becomes
After simplification,
This is the action integral for a linear-to-square-root potential.
The graph begins at the origin, is continuous and strictly increasing, passes through , and tends to infinity. Therefore for every and , the equation
has exactly one solution by the intermediate value theorem and strict monotonicity.
The endpoints are the two classical turning points, determined by . Since the potential is even, they are symmetric. For , they lie in the linear part of the potential and satisfy ; for , they lie in the outer part and satisfy . Hence
The two-turning-point WKB quantization condition uses
Statement (iv) is true. Apply the Weierstrass approximation theorem separately to the real and imaginary parts of the continuous function on the compact interval . Combining the two real polynomial sequences gives complex polynomials converging uniformly to on .
Statement (iii) is false. Let be a thin open annulus about the unit circle, let , and split the circle into two proper closed arcs whose union is the whole circle. Each arc has connected complement, so polynomial approximation of the reciprocal on a proper circular arc gives uniform polynomial approximations to on each separately.
If polynomials converged uniformly to on , then uniform convergence on the unit circle and the Cauchy integral theorem would give
a contradiction.
Statement (ii) is true. Let
Each is compact and has connected complement. By the polynomial Runge theorem, choose a polynomial with
Every fixed belongs to for all sufficiently large , so . Thus the convergence is pointwise on .
The polynomial form of Runge theorem says that if is compact, is connected, and is holomorphic on a neighbourhood of , then for every there is a polynomial such that
Statement (i) is false. Take the entire function . It is bounded on the closed first quadrant . If polynomials converged uniformly to on , then each sufficiently late would be bounded on the positive real axis. A polynomial bounded on that ray must be constant. No sequence of constants converges uniformly to on , since its values at zero and near infinity differ by one.
By continuity of Brownian motion, the event that the last strict crossing of occurs by time is
Apply part (b) with and interchanged and its time parameter replaced by . This turns the right-hand side into
Part (c), now with drift , barrier , and horizon , gives
This is the distribution function of the last passage time above a level for Brownian motion with negative drift. Taking gives
the probability that the negatively drifted Brownian path never exceeds , consistent with the infinite-horizon crossing probability for Brownian motion with negative drift.
Let and . Split the crossing event according to its endpoint:
Under the Cameron-Martin theorem for a linear drift, the law of relative to standard Wiener measure has endpoint density
On paths that cross and end at , the Brownian reflection principle reflects the path after its first hit of and changes the endpoint to . Under this reflection the density becomes
The remaining exponential is the Cameron--Martin density for drift . Therefore
where the last equality uses the symmetry of the normal distribution. Subtracting the crossing probability from one gives
Equivalently, in terms of the standard normal distribution function,
This is the finite-horizon maximum of Brownian motion with negative drift formula.
Use the time-inverted Brownian motion . For , set . Then
As corresponds exactly to , and the inequality at is automatic because , this is the pathwise identity
Since and have the same law by time inversion of Brownian motion,
For every finite collection of positive times, is a linear transformation of the corresponding values of , so is a centered Gaussian process. If , then
Thus has the covariance of Brownian motion.
Its paths are continuous for . As , put . The given almost-sure limit gives
The Gaussian-process characterization of Brownian motion now proves the time inversion of Brownian motion:
For , let be the Bayes classifier with class-zero prior , and define its two class-conditional error probabilities by
Writing the likelihood ratio as , the rule chooses class one when
The Gaussian likelihood-ratio level sets have probability zero, so dominated convergence shows that and depend continuously on . As , the threshold tends to zero and the classifier chooses class one almost surely, giving
As , it chooses class zero almost surely, giving the opposite limit . The intermediate value theorem therefore provides such that
The rule is an equalizer rule with worst-case risk . For any classifier ,
because minimizes the integrated risk for its prior. Hence is a minimax decision rule, as summarized by the minimax Gaussian Bayes classifier from equal class errors.
The prior is indeed least favorable. Its Bayes risk is , while for any other prior the Bayes risk is at most the integrated risk of the same equalizer rule , namely
Thus no prior has larger Bayes risk.
Condition on the observed value . If a classifier reports class zero, its conditional probability of error is ; if it reports class one, the conditional error is . Therefore the smaller conditional error is attained by class one exactly when
and by class zero exactly when the reverse strict inequality holds. Integrating these pointwise conditional errors proves that is a Bayes classifier.
The only possible nonuniqueness lies on the tie set
Because the two Gaussian class distributions are distinct, is not identically zero. It is a nonzero polynomial of degree at most two, so its zero set has Lebesgue measure zero. Both Gaussian laws have densities with respect to Lebesgue measure, hence assign probability zero to . Every Bayes rule must therefore agree with almost surely. This proves the uniqueness of a Bayes classifier up to the standard null-set equivalence of decision rules.
Let be the multivariate normal density of . Under zero-one loss, the Bayes classifier chooses the class with the larger posterior probability. Thus
Equivalently, it chooses class one when the log posterior odds
is nonnegative. The decision boundary is .
If , the terms cancel, leaving
an affine function. This is the linear boundary of linear discriminant analysis. If , the quadratic part is
which is nonzero, so the boundary is a possibly degenerate quadratic hypersurface, as in quadratic discriminant analysis. This is the Gaussian Bayes classifier.
For an M/M/1 queue, the first service lasts on average . During it, the mean number of arrivals is , and each arrival initiates another statistically identical busy-period family. Thus, when ,
so the mean busy period of an M-M-1 queue is
For the busy period is almost surely finite but has infinite mean, while for it is infinite with positive probability; in either case its expectation is infinite.
For an M-M-infinity queue, stationary occupancy is Poisson with mean , so the long-run probability of an empty system is
The process alternates between idle periods and busy periods. An idle period waits for the next Poisson arrival, so its mean is . The renewal-reward theorem, with reward equal to time spent empty, gives
Solving yields the mean busy period of an M-M-infinity queue:
Let be the number of telephone lines in use. The memorylessness of the exponential distribution makes a continuous-time Markov chain, specifically the M-M-infinity queue with generator rates
Suppose and put . Each initial call is still active at time with the exponential survival probability , independently of the others. Their surviving number is therefore
A call arriving at time survives until with probability . By Poisson thinning, the number of surviving new calls is independent of and has law
Hence in distribution. Multiplying the probability generating functions of the two independent random variables gives, for ,
Equivalently, the transient distribution of an M-M-infinity queue is
with independent summands. As , the binomial term converges to zero and the Poisson mean tends to . Therefore
which proves the stated large-time approximation.
In Kendall notation, the first two letters mean Poisson arrivals and exponential service times. An M/M/1 queue has arrival rate , one server of rate , and queue-length transitions
It has a stationary distribution of an M-M-1 queue exactly when
and then
An M-M-infinity queue has infinitely many servers, so every customer begins service immediately. Its occupancy transitions are
The detailed balance for a birth-death process equations give
Thus for every the stationary distribution of an M-M-infinity queue exists and is
the Poisson distribution of mean . The Burke theorem for an M-M-infinity queue states that in this stationary regime the departure process is a Poisson process of rate ; equivalently, time reversal turns departures into arrivals. The past departure process is also independent of the number in the system at the observation time.
Write the interval as , where , to avoid confusing its left endpoint with the rotation parameter . For every sufficiently large integer , define an inner and outer interval on the circle by
Apply part (b) simultaneously to this countable collection of intervals. The intersection of the corresponding full-measure sets still has full Lebesgue measure, and is therefore dense in the circle.
Fix an arbitrary . For each sufficiently large , choose with circle distance less than from . An irrational circle rotation preserves this distance, so for every ,
Averaging and using part (b) for gives
Letting proves the everywhere interval frequency under an irrational rotation:

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