A rising parcel cools, lowering the saturation pressure. Once its water vapor supply exceeds that value, atmospheric supersaturation develops. Homogeneous nucleation of pure water is strongly inhibited at the small atmospheric supersaturations typical of clouds; existing aerosol particles provide cloud condensation nuclei. Their dry sizes and composition, together with the parcel's ascent rate, determine how many cloud droplets activate.
Köhler theory combines the Kelvin equation, which raises equilibrium vapor pressure over a curved surface, with Raoult's law, which lowers it for a chemical solution. In a dilute diameter convention, with dry diameter and wet diameter ,
Here is atmospheric supersaturation, is surface tension, and measures aerosol hygroscopicity, not the dry-adiabatic process exponent. The maximum of the Köhler curve is the critical supersaturation. Larger or more hygroscopic particles generally have lower thresholds. Cloud-droplet activation requires overcoming that maximum; total aerosol number is not the activated number.
Given an observed aerosol number size distribution for composition classes , first assign each class a hygroscopicity and compute its critical supersaturation. If the parcel reaches maximum atmospheric supersaturation , the equilibrium-threshold estimate is
For each fitted lognormal distribution, this is its upper-tail integral; it can be evaluated analytically with an error function or numerically from measured bins.
The value must be calculated, not guessed from the aerosol distribution alone. Prescribe parcel upward velocity , initial pressure, temperature and humidity, then integrate expansion cooling, latent heat release, conservation of total water, and diffusional cloud droplet growth. Schematically,
where , includes water vapor diffusion and thermal conduction, and is liquid mass fraction. Rising motion produces atmospheric supersaturation; growing particles consume it. Their competition selects the peak and which particles cross their activation barriers. Assume a well-mixed closed parcel, liquid water, soluble spherical particles, specified mixing state, and negligible collision-coalescence and fallout during activation. Slow kinetic growth, weakly soluble particles or entrainment require a more detailed treatment than the threshold integral.
Write , , and . The integrated Planck function is by the Stefan–Boltzmann law, and
The formal radiative transfer equation solution for upward radiance at the top is
The first term is transmitted surface emission; the second is emission from the atmosphere. Integrating radiance over the upward hemisphere gives the outgoing radiant flux per unit area,
Here is an exponential integral. For fixed and , surface transmission is negligible and the upper limit can be extended to infinity. Positivity permits interchanging the integrals; putting gives
Consequently the exact hemispheric optically thick result is
This is a dimensional scale times a dimensionless definite integral depending only on . In the commonly used vertical-ray approximation, define . Then
A vertical-ray approximation therefore has the same scaling but omits the angular factor . Stating which quantity is used prevents a purely angular normalization discrepancy.
For , put . Repeated integration by parts gives . The hemispheric thick-limit results are
The second row assumes fixed surface temperature; the third assumes fixed absorbed radiant flux. In the vertical-ray approximation the first of these rows becomes , and the surface temperature factors are the inverse fourth roots.
Thus increasing makes the atmosphere colder at every fixed , decreases outgoing radiation at fixed , and requires a warmer surface at fixed absorbed radiant flux. The case is isothermal and gives exactly, including finite optical depth.
There is an essential approximation limit. The extension of the integral to infinity is valid for fixed as , and is not uniform for arbitrarily large at fixed . The vertical integrand peaks at , so one needs that peak well above the surface in optical depth, with a negligible tail beyond . For example, at the thick formula predicts for but approximately for . This artificial increase contradicts the exact monotonicity: in the finite-optical depth expression every atmospheric emission factor decreases with . At fixed finite , the exact limiting outgoing radiant flux is the transmitted surface term , rather than factorial divergence.
Take positive heat flux upwards, along increasing , and denote thermal conductivity by . Fourier's law gives . Since , differentiation of the literal printed expression gives
Its negative young-age flux is another sign of the unphysical initial profile. For the explicitly corrected hot initial plate, the surface heat flux of a cooling plate is instead
The old-age limit is . For , replacing the Gaussian sum by its leading integral gives , recovering the half-space cooling model. Neither nor is numerically specified, so the age-dependent flux remains symbolic as requested.
The depth-averaged added horizontal compressive stress is . Resolving its traction on a plane dipping at angle gives the fault shear stress from a plate-integrated force,
Keeping the previous topographic correction gives about . This is the mean additional shear from ridge push, assuming the force is transmitted through thickness and resolving the nonisotropic stress increment. An isotropic lithostatic pressure adds normal traction but no shear. The force integral alone does not specify the local stress at each point on the fault or establish failure.
Let have the specified probability density function . Splitting the integral into the positive and negative half-lines, and using the Gamma integral for a nonnegative integer and , gives
At or , one term becomes the divergent integral of ; beyond these endpoints it grows exponentially. Consequently, the full extended-valued moment-generating function is
In particular , checking normalization of a probability distribution. All absolute moments exist. Direct integration yields
The symmetric distribution makes every odd moment zero, so
Now let have probability density function . Its moment-generating function would be
For every , one summand has exponential growth, which dominates the polynomial decay. Hence
There is no finite moment-generating function on any neighborhood of zero, but some moments still exist. Specifically,
Thus
For even , the moment is , so it is not a finite moment. For odd , both the positive and negative contributions have infinite integral, so the expected value is undefined. Cancellation in a Cauchy principal value does not define an expected value. In particular, when there are no finite positive-order moments.
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.
For a Borel set , the joint probability density gives
For each , substitute . The change of variables for probability densities contributes , with the absolute value accounting for the reversed orientation when . The line has two-dimensional Lebesgue measure zero, so omitting it changes no probability. By the Tonelli theorem,
The bracket is nonnegative and its integral over is one. This proves the probability density of a product of random variables formula:
As usual, a probability density function is determined only almost everywhere; exceptional infinite values are harmless.
For the independent random variables with the specified uniform distribution, on and zero elsewhere. When , the conditions and are equivalent to . Therefore
The value assigned at zero is arbitrary. Substitution checks normalization of a probability distribution: . This is the product of independent uniform random variables law.
For , repeated use of the floor function identity gives
Thus the filtration satisfies . Each positive-probability atom of a sigma-algebra here has the form
with probability ; is a possible additional null set atom. Averaging over each dyadic interval gives a version
For a globally defined version of the right side, assign any value, for example zero, on .
Indeed, the displayed random variable is -measurable and bounded by . On each its integral is
by the uniform distribution. Every member of is a union of the displayed sets and the possible zero-probability atom. Summing these identities therefore verifies the defining conditional expectation property on all of .
For sigma-finite measures, Tonelli's theorem states that the double integral of a nonnegative measurable function equals either iterated integral, allowing . Fubini's theorem states that if a measurable function is absolutely integrable, its sections are integrable almost everywhere, both iterated integrals exist, and they equal the double integral.
Assign any value at , which does not affect Lebesgue integrability. Near that corner set and . Then , , and the absolute Jacobian determinant is . On , the full range is , so
The remaining part of the unit square has and is harmless. The improper power integral is finite precisely when . Under the given restriction,
For those values, the change preserves the square and changes the sign of . Absolute integrability justifies this change of variables, giving
For the positive and negative parts each diverge, so symmetry does not define a Lebesgue integral.
Set with . The cosine addition identity gives
hence , , and . By mathematical induction, is a polynomial of degree : the initial cases hold, and the leading term of has degree while the subtraction has lower degree. Its leading coefficient is for .
The same change of variables gives the weighted integral
The change of variables formula for a Lebesgue integrable function is
The absolute Jacobian determinant accounts for area regardless of orientation. The formula also holds for nonnegative measurable functions with possibly infinite integral.
Expanding gives the Feynman vertex
There is one scalar leg and a continuous oriented fermion line; no extra factor is absorbed into . The Dirac propagator is , where . Each closed fermion loop supplies a minus sign.
Figure 1.
Pseudoscalar Yukawa vertex and the vanishing one-loop bosonic one-point and three-point diagrams
. Details.
The tadpole diagram is proportional to
because both numerator traces vanish by a. This is zero before the loop momentum integration.
For either orientation of the triangle Feynman diagram, let be its three internal four-momenta. Its numerator trace is
After using cyclic property of the trace, each expanded term is a trace of times at most three ordinary gamma matrices. Such traces vanish in four dimensions. For an odd number of ordinary gamma matrices, conjugation by changes the sign. For two ordinary gamma matrices, the contracted Clifford algebra identity gives
The zero-matrix case is a. Hence both the one-point and three-point one-loop bosonic vertices vanish, independently of their external momenta. No cancellation between different loop orientations or delicate shift of a divergent integral is needed.
Use the total density of states and from part (b). In the paper's double-sum convention, has units of energy and scales as . Define its first angular moment by
This convention matters: the Landau quasiparticle energy functional written with an explicit instead uses the intensive kernel .
At zero temperature, the displayed functional is the change in ; a true Galilean boost preserves , so . For a radial displacement , the first term in the Landau quasiparticle energy functional becomes
The oriented radial integral also works for negative : removing occupied levels below the chemical potential costs positive energy. Substituting and using gives
The exact second-order correction to the boundary is unnecessary here because the unperturbed excitation energy vanishes on the Fermi surface; it changes this term only beyond quadratic order. It must nevertheless be understood when identifying with a fixed-particle number energy change.
For the quadratic interaction term, the first-order occupation change alone suffices. The radial Dirac delta function integrals give
Put . The remaining angular integral uses
so only the first cosine component of the interaction survives. Since ,
Adding both contributions and matching the bare-mass result of part (a) yields the two-dimensional Landau effective-mass relation:
Equivalently, using the density of states per unit area ,
If dimensionless Landau parameters are defined through the Fourier series , then and
Defining the cosine expansion with an extra factor of two would instead absorb that factor into ; the angular-integral formula above fixes the convention unambiguously. The physical content is that interaction changes accompanying a moving Fermi sea compensate the renormalized quasiparticle velocity, so the total boost energy is governed by the bare mass. For an interaction independent of angle, and this consistency condition requires .
In the position representation the Time-dependent Schrödinger equation is
For a normalized state define probability density and probability current by
Multiplying the equation by and its complex conjugate by , then subtracting, cancels the real potential. The resulting identity is
Thus . Integrating over an interval gives : probability changes only through flux across the endpoints. This is local conservation of quantum probability.
Continuity with the zero exterior imposes zero endpoint values on the infinite square well. Solving the stationary equation with these boundary conditions gives
with zero extension outside. The integral of is , which fixes the normalization. The initial coefficients are and , whose squared moduli sum to one. Each energy component acquires its stationary phase:
At the midpoint, , , , . Hence
Taking its imaginary part proves
For bound hydrogen atom states, the radial wave function is regular and finite at the origin, and decays at infinity so that . Equivalently the reduced radial function has and is square integrable on the half-line. A singular branch is not an admissible regular Coulomb eigenfunction; its derivative energy diverges and it introduces an origin singularity absent from the Hamiltonian domain.
Write , so . Multiplication by turns the radial equation into
Since and , substitution gives
Choose to remove the constant coefficient and factor out the decaying exponential. For , the lowest power has coefficient , so . The behavior would give , violating regularity; choose .
Matching successive powers then yields
A nonterminating tail eventually has one sign, and its coefficient ratio is asymptotic to . More precisely, for any , the ratio is eventually at least . Its same-sign tail consequently dominates a positive constant times the exponential series of rate , up to finitely many terms. The factor cannot then make decay. Thus square integrability forces termination.
If the last nonzero term is , termination requires . Therefore
For , , is proportional to , and
The radial volume element is , so the mean radius is the ratio of the radius-weighted norm integral to the norm integral. With , the common angular and normalization factors cancel:
In the ground state .
A permutation of identical particles multiplies a fermionic state by ; a bosonic state is invariant. Particle exchange keeps fixed and sends to . Consequently the spatial wave function is even in for the stated bosonic model and odd for the stated fermionic model. This assumes no additional spin variables in the supplied model; exchange of full particle states is the underlying rule.
The coordinate change is orthogonal, with unit Jacobian determinant, so the kinetic energy becomes
on the square with zero boundary values. Product states have energy
The one-dimensional eigenfunction is even for odd and odd for even . Bosons therefore allow odd , whereas fermions require even . The lowest bosonic pair is ; its first excited pair is . The lowest fermionic pair is . Thus
The printed bosonic ground-energy claim omits the factor ; the value above follows directly from the supplied one-dimensional spectrum and kinetic energy.
The separation is . The normalized factor integrates out. In the fermionic ground state, the relative-coordinate density is , giving
For the bosonic ground state it is , giving
Both integrals follow by replacing squared trigonometric functions by their constant and cosine parts and integrating once by parts. Hence
and the difference is . The odd relative state vanishes at coincidence, which increases its expected separation.
Let . For any admissible variation , differentiation with respect to a real parameter gives
Stationarity for all variations, including their imaginary multiples, forces ; conversely this eigenvector equation makes the derivative vanish. Thus stationary Rayleigh quotients are exactly eigenvectors, with their eigenvalues as the quotient values.
Put and assume . The squared norm of the radial trial function is . Its kinetic expectation, computed through , is . Splitting the potential integral at gives
For example, the first integral is and the second is , where . Therefore
Its derivative is . The actual stationary condition is consequently
The extra Coulomb factor in the printed stationary equation is an error: the common prefactor cancels on differentiation. The corrected equation is dimensionless on both sides. Its left side increases from zero, while its right side decreases from one, so it has one positive solution and gives the minimum in this trial family.
Let and . Expansion of gives . Thus
There is no linear correction in . By the quantum variational principle, any normalized trial state gives an upper bound on the true ground energy. Choosing already gives the exact bound
Its small-radius expansion is
Using the optimized improves this bound starting at order , and hence gives the same leading finite-size correction. The true energy is also at least the point-nucleus value , since the finite-radius potential is nowhere more attractive.
Insert hydrogen energy eigenstates on either side of the commutator. Because is Hermitian and has eigenvalue ,
Thus
This is a necessary electric-dipole selection rule, not a sufficient condition for a nonzero matrix element. For example, by parity even though . The angular factor additionally requires : multiplication of a spherical harmonic by gives only harmonics with the same and adjacent . The commutator alone establishes only the magnetic quantum number restriction; radial integrals and the remaining electric-dipole selection rules for hydrogen must still be considered.