For , use conditional probability and the survival function:
It is independent of and equals . This is the memoryless property of the exponential distribution, equivalent here to a constant hazard function .
Write . The probability density function normalizes when , so . Its survival function is for ; hence, for ,
Differentiating this conditional tail gives
The value assigned at the single endpoint does not affect any probability. The memorylessness of the exponential distribution says that , conditional on , is again an exponential distribution of rate . Its first two moments are and , found by integration by parts, so translation leaves the variance unchanged:
Write for the mean in minutes. An exponential distribution with that mean has rate , so its probability density function is
The density has units of inverse minutes, ensuring that its integral is a dimensionless probability.
The first arrival time , measured in hours after opening, has exponential distribution of rate twelve. Therefore
Equivalently, there must be no arrivals in the first quarter hour and at least one in the next; independent increments give .
Put . For fixed and sufficiently large ,
For its distribution function is zero. The limiting distribution function is therefore for , for , the exponential distribution of rate one. Since this distribution function is continuous everywhere,
The moment-generating function of a random variable is wherever this expectation is finite. Existence on an open interval containing zero is the condition needed for the usual uniqueness and convergence theorems. For the exponential distribution with rate ,
For the integral diverges. Differentiating at zero gives mean and variance .
The independent identically distributed central limit theorem states that for variables of common finite mean and finite positive variance ,
For the exponential distribution, and . Thus the event in question is exactly
The limiting normal distribution has a continuous distribution function at every real , so convergence in distribution gives
Here , including the strict-inequality convention because the limiting distribution is continuous.
The interarrival times are independent and identically distributed with exponential distribution of rate : for any finite their joint density is on . In particular
Use independent colour marks, also independent of arrival times, as in the standard marked-process model. Let be the index of the first white arrival. Then and is independent of the interarrival times. Thus . Conditional on , independence makes its moment-generating function a power of , and summing the geometric series gives
This is the exponential distribution of rate , so . The calculation assumes ; if , there is no white arrival and almost surely.
The deductive-nomological model represents an explanation as a valid deduction of an event description from scientific laws and particular circumstances. In the schema
the premises are the explanans and the explanandum. At least one law must be essential to the derivation, the premises must have empirical content, and a correct explanation must have true premises. Carl Hempel and Paul Oppenheim distinguish these adequacy requirements from merely giving a valid argument. Their developed 1948 analysis concerns deductive explanation; its name should not be extended without qualification to every statistical explanation.[ref]
The model captures something valuable. For an ideal simple harmonic oscillator, the equation of motion , a positive mass , a positive spring constant and non-equilibrium initial conditions determine a period
The derivation explains why the period changes with those parameters within the model. It is not just the report that an oscillation occurred. Since a real spring may have damping or nonlinear response, applying the explanation requires justification of the approximation. The model's truth condition cannot turn an idealized calculation into a literally exact account of every laboratory spring.
The account is not sufficient to settle explanatory direction. For a vertical pole of height on level ground, a solar elevation angle and parallel light rays give a shadow length . Given and , one can deduce ; given and , one can equally deduce . Both calculations can use the same true optical and geometrical assumptions. Yet normally the pole and illumination explain the shadow, whereas measuring the shadow provides evidence about the pole's height. Deducibility does not distinguish this evidential inference from a causal explanation. This is the problem of explanatory asymmetry.
Nor is strict deduction necessary for every good physical explanation. A radioactive decay model can explain a sample's decay rate and the chance of a nucleus decaying in a specified interval, while not entailing which particular nucleus decays first. The exponential distribution supplies a controlled statistical account. Adding the observed result as a premise would permit a deduction but would not supply the missing explanation. An inductive-statistical model is a different proposal, and even that needs an account of which statistical information is relevant.
These objections do not show that every explanation must instead recount a sequence of causes. Explanations based on conservation laws or symmetry can constrain a phenomenon without specifying a detailed mechanism. The important point is that the role of the premises, the question being asked and the relevant dependence matter, in addition to logical consequence. The deductive-nomological model is a useful pattern for some physical explanations, but it is not an adequate necessary-and-sufficient account of explanation throughout the physical sciences.
The laboratory is the parent's rest frame. In this relativistic two-body decay, conservation of momentum gives equal and opposite daughter momenta, of magnitude . Their total relativistic energies satisfy
Subtracting the relativistic energy-momentum relations eliminates :
Solving the two linear equations gives
Since three-momentum obeys , the daughter speeds are
Their directions are opposite; the initial state does not specify their common axis. The kinetic energies are and . Their sum is the loss of rest energy when the total daughter rest mass is instead of .
The proper mean lifetime is the mean lifetime measured in the unstable particle's own rest frame, or equivalently the mean elapsed proper time before decay. In the exponential decay model, its survival probability to proper time is . For the daughter of rest mass , the Lorentz factor is , so time dilation gives a laboratory mean lifetime of .
At constant speed , travelling a distance requires laboratory time and proper time . Its mean decay length is
for . Hence
The mean lifetime sets the scale of an exponential distribution; it is not a fixed deadline, so travelling beyond one mean decay length has a nonzero probability.
The Poisson interarrival times of a homogeneous Poisson process are independent and identically distributed with the exponential distribution of rate . Consequently are independent random variables and their joint probability density is
Here is the second interarrival duration, rather than the time of the second arrival.
Put . Its survival function is
For each fixed , eventually , and the exponential limit gives . Thus its cumulative distribution function tends to for and to for . This continuous limiting cumulative distribution function identifies the exponential distribution with rate one:
This is the exponential endpoint limit of a uniform maximum: the gap from the upper endpoint is typically of order , although the maximum itself approaches a constant.
The inverse linear transformation is
The positive support is exactly and . The independence and rate-one exponential distributions give there. Since , the change of variables for probability densities yields
Although the density's value depends only on , its support does not factor as a product of fixed intervals. Thus this expression does not imply independence of and .
By independence of random variables, the joint probability density is the product of the two probability density functions of the rate-one exponential distributions:
Its values on the boundary are immaterial, because the boundary has zero area.
Every has the same exponential distribution, so for . Part (ii) gives . Applying Slutsky's theorem to yields
The limiting probability distribution does not depend on . This is precisely the attraction to the exponential invariant law of a random affine recursion.
Figure 1.
Common random inputs make different initial values approach the same stationary trajectory
. Original simulations of the affine recursion with shared inputs. The right panel compares an exactly propagated path difference with its unconditional expected value; the geometric expectation estimate, rather than the simulation, proves convergence. Details.
The update defines a time-homogeneous Markov process: given its present value, the next value depends only on independent fresh input. Part (b)(i) identifies an invariant law: initializing with the rate-one exponential distribution preserves that distribution at every time. Part (b)(iii) shows convergence of the one-time laws to this invariant law from every deterministic initial value.
For a countable state space, the analogous countable-state Markov chain convergence theorem says that an irreducible Markov chain that is aperiodic and positive recurrent converges to its unique stationary distribution from every initial state. Here the state space is continuous, so that countable-state theorem does not directly supply the proof; the explicit coupling does. The two conclusions have the same equilibrium interpretation.
Set and . The Poisson interarrival times are independent and identically distributed random variables with the rate-one exponential distribution. In particular, and , so the finite, positive variance hypothesis of the central limit theorem holds. Since ,
The support condition forces . As a check, the joint probability density integrates to
For any real , the marginal density of is
Dividing the joint probability density by this marginal density gives the conditional density:
Thus, conditionally on , has the rate-two exponential distribution.
For , use the two inverse branches and . Each branch has absolute Jacobian determinant . Both lie in the original support exactly when and . The change of variables for probability densities therefore yields
No atom of a measure is created at , since . The value of the probability density function at this boundary may be assigned arbitrarily. Checking the integral over gives , which integrates to one.