For and , the explicit midpoint method multiplies the current value by . Starting from one, induction gives
Let and . The Taylor theorem with Lagrange remainder for the exponential function gives
The difference of powers identity gives . Every summand lies between one and . Since , the global error therefore satisfies
The same inequalities hold at , where the error vanishes. At the fixed endpoint , the lower bound prevents any higher order of a numerical method, while the upper bound is . Thus the convergence order is exactly two.
Put . Then
where the second substitution is and the final integral is the given gamma function value. The formula also holds for , with value .
For , the exponential function expansion gives
Every term is nonnegative. By the monotone convergence theorem, integration can be interchanged with summation, and hence
This identity is one form of Sophomore's dream.
The ratio can be evaluated directly:
The assumption gives , so continuity of the exponential function gives
The additional premise is not needed for this implication. The useful requirement is additive control of the exponents, as explained by asymptotic comparison of exponential functions.
Dropping the small highest-derivative term gives . The outer solution satisfying the right endpoint condition is
It fails the left endpoint condition, so a boundary layer is needed at . If , diffusion and first derivative balance when , giving .
With , the exact inner expansion after multiplication by is
Its leading solution is . The zero boundary value gives , and asymptotic matching condition as , fixes . Thus
The common overlap region value is . Add the outer and inner approximations and subtract that overlap region:
The decaying inner exponential function can accommodate the left condition, whereas a right-end inner coordinate would give a mode that grows into the interval. There is no right boundary layer. The composite asymptotic expansion satisfies the left condition exactly and the right one up to the exponentially small term ; the remaining approximation error is algebraic and vanishes as .
For , put , so . The Laplace transform for the Gamma function, analytically continued from positive real , gives
Choose in the upper half-plane. Since ,
This integral is absolutely convergent throughout the upper half-plane. On the nonzero real axis it converges conditionally by Dirichlet test for improper integrals, and its value is the upper boundary limit of the same branch. In particular negative real has argument , not in this formula.
At the integral diverges at infinity; in the lower half-plane its exponential function factor grows and the ordinary improper integral diverges. The origin itself causes no local-integrability problem for . A useful continuation of the chosen power uses a branch cut descending from with argument in .
Take horizontal, upward and . Resolve Newton's second law into components for projectile motion with linear drag:
For , let . An integrating factor gives
The relaxation time is , and the terminal velocity is . For fixed finite , expanding the exponential function as gives the continuous limit and ; the two terms proportional to cancel before taking the limit.
In a classically forbidden region, the Schrödinger equation has evanescent solutions rather than forcing the wavefunction to vanish. Matching at both sides of a finite barrier permits nonzero transmission. For a broad barrier the WKB approximation gives
where is a matching prefactor. Transmission is exponentially sensitive to barrier width and height. A single decaying exponential function carries no probability current; the matched scattering solution includes the combination needed for transmitted current. energy is conserved throughout.
In alpha decay, a quasibound alpha particle penetrates the nuclear Coulomb barrier. Multiplying the penetration probability by an assault frequency estimates the decay rate; the strong dependence on alpha energy explains the wide range of lifetimes. In a scanning tunnelling microscope, a voltage drives electron quantum tunnelling between a conducting tip and sample. Approximately , so constant-current feedback resolves changes in gap width, with electronic density of states also affecting the image. Piezoelectric motion, vibration isolation and stable voltage are necessary; a bright feature is not automatically a taller atom. Atomic-scale imaging was demonstrated with a vacuum-tunnelling microscope in the original surface study.[ref] In a Josephson junction, Cooper pair quantum tunnelling through a weak link gives , allowing supercurrent without an applied voltage and phase-sensitive interference. These are distinct applications of barrier penetration and coupling with quantum coherence, not particles borrowing energy to climb over a barrier.
Let the infinite outer walls be at , the finite steps at , and the three potential energy values be . The original drawing specifies the ordering
The energy eigenstates can be chosen real. The Dirichlet boundary conditions are ; wavefunction matching at a finite potential step requires both and to be continuous at . In particular, neither finite step acts as an additional hard wall.
The time-independent Schrödinger equation gives
Thus a wavefunction is sinusoidal in a classically allowed region, with wavenumber , and a linear combination of exponential functions in a classically forbidden region, with inverse decay length . Its curvature changes sign relative to at a step crossing ; its slope does not jump.
By the Sturm oscillation theorem, the three energy eigenstates have exactly zero, one, and two interior nodes, respectively. Choose their global phases so that their slopes at the left wall are positive:
  • : a positive lobe in the left-hand potential well, followed by a nonoscillatory tail through the barrier and right-hand region. The tail reaches zero at the right wall. There are no interior nodes.
  • : two lobes of opposite sign in the left-hand potential well, with one interior node, followed by a nonoscillatory tail of the sign of the second lobe. Both the middle and right regions are classically forbidden regions.
  • : sinusoidal behavior in both outer regions, joined through the nonoscillatory barrier. There are two interior nodes in total. The right-hand wavelength is longer than the left-hand wavelength, because .
For , the right-hand piece is proportional to , rather than a pure decaying exponential: this enforces the finite-distance hard wall exactly. The barrier pieces likewise contain both exponential solutions. Their small tails are an instance of quantum tunnelling.
Figure 1.
Illustrative lowest three wavefunctions for the potential ordering in A1
. Details.
This is an original illustrative calculation, with vertical lines marking only the region boundaries. It uses , , , , , , and in arbitrary energy units. Its lowest energy eigenvalues are approximately , so it has exactly the required ordering. Here both nodes of the third wavefunction happen to lie towards the left; its dominant lobe is on the right. These precise positions and relative amplitudes are illustrative: the original drawing supplies no numerical lengths, barrier heights, or mass, so it does not determine a unique quantitative wavefunction. The required sketch features are the matching, curvature, hard-wall zeros, and ordered node counts.
Let be the parcel's water vapor partial pressure. Fixed mole fraction before condensation means is constant. Its dew point is defined by , where is the saturation pressure. The Clausius-Clapeyron relation gives
The last approximation uses hydrostatic balance, the ideal gas law, and an environmental temperature close to the parcel's. Rearrangement yields
For a modest initial dew-point depression, in absolute temperature, so
With , , and , . This dew point scale is much longer than the atmospheric pressure scale height.
The exponential function is an approximation, not the exact consequence of a dry adiabatic process. Retaining gives and the useful comparison
It also shows explicitly that expansion lowers the dew point even before any water vapor condenses.
Using the probability mass function of the Poisson distribution and the power series of the exponential function,
This moment-generating function of a Poisson distribution is finite for every real . It also covers , when with probability one and the moment-generating function is identically one.
For fixed real , Taylor's theorem for the exponential function gives
Substituting into the previous moment-generating function,
The continuity theorem for moment-generating functions states that, if the moment-generating functions of and are finite on a common open interval containing zero and throughout that interval, then . Here finiteness holds for all real , and the limit is the moment-generating function of a standard normal variable. Therefore
This proves the required instance of the Poisson central limit theorem directly from moment-generating functions; no appeal to a general central limit theorem is needed.
Choose the zero of energy so that the translation-invariant vacuum state has . A one-particle state of rest mass obeys the relativistic energy-momentum relation
The translation covariance of a quantum field in c remains valid for the full interacting four-momentum operator. Acting its exponential functions on the two momentum eigenstates gives
Here . A different additive vacuum energy must be subtracted consistently from both energy eigenvalues before identifying the physical .
Expanding the exponential function produces the Laurent series
In particular its residue is .
The exponential function eventually grows faster than the fixed polynomial. A direct justification uses the ratio :
For all sufficiently large , this ratio exceeds , so grows without bound. The proposed Big O notation bound is therefore impossible:
For functions , big O notation means
Using the natural logarithm and exponential function, . Since , for every we have . The witnesses therefore prove
For natural logarithms and sufficiently large , take the logarithm of the positive expression:
Set . Then . The exponential function grows faster than : for example, its power series gives for , so . In particular, eventually . Exponentiating yields
For logarithms to a fixed base , the natural logarithm of the left side is , still smaller than eventually. The big O notation conclusion is therefore independent of that base choice.