Use units , and let be the areal radial coordinate of the FRW metric, rather than the radial comoving distance when . On a constant-cosmic time slice the spatial metric tensor is
The determinant of the spatial metric tensor supplies the factor . Integrating over the solid angle gives . An incoming radial null geodesic obeys
Consequently the proper shell volume sampled by an emission-time interval of positive width is . Multiplying by the proper number density proves the source counts on an FLRW past light cone:
Here is evaluated on the observer's past light cone, not along a fixed source worldline. The curvature factor cancels between the spatial volume and the radial light speed; it has not been set to one.
Cosmic inflation addresses the horizon problem by extending the causal past of the observed region, the flatness problem by damping the curvature contribution, and the cosmological monopole problem by diluting unwanted relics. A canonical inflaton can drive this expansion when its potential energy density exceeds twice its kinetic energy density.
Use the unreduced Planck mass , consistent with the coefficient in the Friedmann equation, and take , . Seek the exponential-potential power-law inflation solution and . The kinetic energy density is proportional to . The inflaton potential must have the same scaling, so
Substitution into the inflaton equation of motion gives
The Friedmann equation now reduces to
Consequently the nontrivial positive-potential solution is
A positive requires . Accelerating expansion occurs exactly for , giving
This is an exact solution, not a use of the slow-roll approximation. The first Hubble slow-roll parameter and equation-of-state parameter are constant:
If the reduced Planck mass is used instead, the dimensionless exponential slope is and the exponent becomes ; these are the same solution.
For , the comoving Hubble radius decreases as . A region initially in causal contact can grow beyond that radius before the hot radiation-dominated universe begins. In the ideal power law extrapolated all the way to , the particle horizon integral diverges, so the solution has no finite past particle horizon. A finite, physically trustworthy inflationary interval instead requires a sufficiently large number of e-folds to enlarge an initially causal patch.
For a small curvature contribution, the Friedmann equation gives , solving the flatness problem. Conserved nonrelativistic magnetic monopoles have number density proportional to , while the inflaton energy density is proportional to ; their energy-density ratio therefore falls as . This gives the required dilution, provided later reheating does not recreate them. Inflationary shear damping similarly suppresses anisotropic expansion.
The main failure is no automatic graceful exit or reheating. The first Hubble slow-roll parameter never reaches one, and the exponential inflaton potential has no finite minimum about which the field can oscillate. Additional dynamics are needed for a graceful exit from inflation and transfer to a hot radiation-dominated universe. The ideal solution also retains a curvature singularity at ; solving the horizon problem does not itself explain the beginning of the universe. For , the constant inflaton potential instead permits constant-field de Sitter spacetime expansion; the logarithmic field solution is inapplicable.
The event rate counts unordered pairs of reacting nuclei. For unlike species there are pairs per unit-volume normalization; for identical species there are approximately pairs, since counting ordered pairs counts each collision twice. The Kronecker delta therefore supplies exactly the required divisor . It is the event rate, not the destruction rate of identical nuclei: one identical-pair reaction destroys two nuclei.
The temperature dependence combines the high-energy tail of the Maxwell-Boltzmann distribution with quantum tunnelling through the Coulomb barrier. The principal exponential factor in the energy integral is . Its stationary point, the Gamow peak, has and exponent . Integrating around this peak gives a prefactor proportional to , or , when the nuclear factor varies slowly. Thus the supplied thermonuclear reaction rate is locally proportional to . The slow weak interaction in the proton-proton reaction also makes its overall coefficient very small; its local thermal slope follows the supplied formula.
At fixed number densities, define the local temperature exponent of a thermonuclear reaction by a logarithmic derivative. Since ,
For proton-proton reactions, and . At , and . For two helium-3 nuclei, and , giving and . For helium-3 with helium-4, and the same charge product gives and . Hence
These are local powers near the specified temperature, not constant exponents over an arbitrarily large range. The greater reduced nuclear mass in the reaction increases its tunnelling exponent and its thermal sensitivity.
For the effective proton-proton reaction network, denote the event rates by
The short-lived beryllium intermediate can be eliminated, so production through feeds , representing predominantly lithium-7. This rapid conversion is electron capture. Count the nuclei consumed and produced in each reaction: consumes two protons and makes one deuterium; consumes a proton and a deuterium and makes one helium-3; consumes two helium-3 and makes one helium-4 and two protons; consumes one of each helium isotope; consumes a proton and lithium-7 and makes two helium-4. It follows that
For closure, . These nuclear terms conserve , providing an independent stoichiometric check. They describe a fixed local volume; compression or mixing would add transport terms.
The roughly one-second destruction time of deuterium is negligible compared with the proton-burning and helium-3 evolution times. Its abundance rapidly adjusts to the slowly evolving production rate. Set , giving the deuterium quasi-equilibrium in proton-proton burning
Substitution, without setting , gives
The helium-3 relaxation time of about years is likewise short compared with the central proton-burning time and the age of the Sun. On this relaxation time the proton and helium-4 abundances, and the background temperature, can be treated as fixed. Put , , . Then , and its nonnegative equilibrium is
The other root is negative and unphysical. Write and subtract the equilibrium equation. Exactly, for a fixed background,
Dropping the quadratic displacement gives
Thus small displacements decay exponentially. A slowly moving equilibrium introduces an additional term, negligible to leading order when is short compared with background evolution.
To estimate the temperature for helium-3 freeze-out, use the cooler pp-I-dominated region and neglect compared with . Then and . With the local powers just obtained and fixed proton number density, and . Adopting gives
This is an order-of-magnitude extrapolation of local exponents. Keeping the supplied exponential factors gives the helium-3 freeze-out estimate with Gamow factors
which yields about with the same normalization and fixed-density approximation. Thus the robust estimate is several million kelvin. The supplied data do not fix the local density, composition or pp-II fraction away from the centre, so they cannot determine an exact transition temperature or radius. In particular, using alone would omit the temperature dependence of the equilibrium helium-3 abundance.
The solar hydrogen and helium-3 abundance profiles follow from burning, finite equilibration time and convection. Central hydrogen has been consumed, so is lowest in the centre and increases toward its much less processed outer value. In the hot centre, rapid destruction keeps helium-3 small. Moving outward initially raises its equilibrium abundance because rises strongly as temperature falls. Further out, equilibration is no longer reached within the solar age, and still farther out even production is slow. Hence has an off-centre maximum and then declines toward its small outer abundance. The outer convective envelope mixes each abundance toward a constant value.
Figure 1.
Present solar hydrogen depletion and the off-centre helium-3 abundance maximum
. Details.
The sketch shows these qualitative shapes; the helium-3 ordinate is scaled to its own maximum. The illustrated amplitudes, peak radius and envelope boundary are schematic, not a numerical solar-model solution.
The factor called in the formula must be the stellar number density , not a dimensionless count. Indeed has dimensions time per volume, so a density in the denominator is essential. If is the population in a representative volume , then .
For a weak encounter between equal-mass stars, let be the asymptotic relative speed and the impact parameter. In the straight-line impulse approximation, one star's transverse kick is
The other receives the opposite kick, so the relative-velocity change is . Encounters in occur at rate . Independent random kicks add in squared magnitude, giving
This is the random-walk derivation of stellar relaxation. The Coulomb logarithm in stellar dynamics is . The upper cutoff is the size or inhomogeneity scale beyond which independent local encounters are inappropriate. The lower cutoff is of order the strong-deflection scale , or a larger stellar-size/softening scale if applicable. A self-gravitating system commonly has of order its total number of stars; that population count is distinct from in the diffusion rate.
To state the numerical convention explicitly, use representative encounter speed and define the relaxation estimate from the relative-velocity diffusion rate with reference squared velocity . This gives
This recovers the printed coefficient under a specified convention. There is no convention-independent exact numerical prefactor determined by a representative one-dimensional velocity alone. Using the single-star diffusion rate with the same reference instead gives four times this time; averaging over a full velocity distribution also changes the prefactor. The relaxation time conventions in stellar dynamics must therefore distinguish single-star and relative kicks. The physical scaling is , and the printed must be interpreted as number density.
There is a genuine flux typo in the original PDF. A received bolometric radiative flux must have inverse-square luminosity distance, so the physically consistent thermal bremsstrahlung expression is . The printed single power of cannot imply the requested Hubble constant scaling.
For an approximately uniform, spherical galaxy cluster let its depth be , where is a fixed geometrical factor. With fixed profile coefficients , the Rayleigh-Jeans law limit of the thermal Sunyaev-Zeldovich effect and the bolometric X-ray radiative flux give
Eliminate the electron number density and use :
The cluster distance from Sunyaev-Zeldovich and X-ray signals is consequently
At low cosmological redshift, , so
when the other observables and profile parameters are held fixed. With the PDF's literal instead, , independent of distance: this explicitly shows why the correction is necessary.
Real galaxy clusters are neither uniform nor generally spherical. The inferred depth depends on the ratio of line of sight depth to transverse extent; elongation and orientation selection therefore bias the distance. density clumps enhance X-ray emission, which weights , more than the thermal Sunyaev-Zeldovich effect, which weights . An unmodelled gas clumping factor greater than one makes the inferred distance too small and the inferred Hubble constant too large in this simple model. Temperature gradients and multiple thermal components bias the X-ray spectral temperature relative to the pressure-weighted Compton y parameter. Metals alter the cooling spectrum, and finite X-ray bands require a spectral and redshift correction to the bolometric approximation. Relativistic thermal corrections, the kinetic Sunyaev-Zeldovich effect, radio sources and primary Cosmic microwave background anisotropy contaminate the signal. Finally, calibration, angular-profile fitting and low-redshift peculiar velocities affect the observables and the relation between measured redshift and expansion distance.
Define neutral-hydrogen column density along a ray by , in atoms per unit area. The neutral-hydrogen column-density distribution per redshift is
so is the expected number of absorbers in those intervals along one sightline. A logarithmic column bin instead has distribution ; the bin convention must be specified.
Let be a constant comoving number density and a constant physical interception area. The corresponding physical number density is . Proper light-path length satisfies . The expected intersection count, or first-order probability in infinitesimal , is therefore
The Friedmann equation, the constant-equation-of-state density scaling for pressureless matter, and the present cosmological density parameters give
Combining them yields the absorber incidence and comoving number density relation
Here the constant cross-section is physical, as required for this result; a fixed comoving cross-section would instead decrease in physical area as . It is convenient to define absorption distance by and , so a population with these non-evolution assumptions has constant incidence per .
Use absorption distance and its distribution . Summing hydrogen columns per unit gives . The physical light-path length per is
The mean neutral-hydrogen number density is therefore . Divide by to obtain its comoving density, multiply by hydrogen atomic mass, and divide by today's mass critical density . This derives the neutral gas density from an absorption distribution:
If “neutral gas” includes helium, replace by , with a stated abundance correction approximately . Equivalently, for the distribution per redshift the prefactor inside the integral is multiplying . In the PDF's energy-density convention, both the mass density and critical density are multiplied by , leaving their ratio unchanged. The usual quoted abundance uses comoving mass density relative to today's critical density; a ratio of physical density to the epoch's critical density instead multiplies this answer by .
To infer total gas, one needs the neutral fraction for each absorber. The ionized gas density from an absorption distribution is
This is an ionization-corrected integral, not an inference available from the observed columns alone. For optically thin, almost fully ionized hydrogen, photoionization equilibrium gives . If the absorbing depth is specified, and
Thus photoionization rate, temperature and depth are all needed.
One useful physical closure sets to a local Jeans length, , with local gas fraction . Solving then gives the Jeans-length ionization correction for the Lyman-alpha forest:
This illustrates why weak, highly ionized forest lines can dominate the total gas inventory even though damped Lyman-alpha systems dominate the neutral-column-weighted inventory. It is a model for locally confined optically thin gas; optically thick Lyman limit systems and damped Lyman-alpha systems require a separate radiative transfer treatment. The physical basis and observational application of this closure are developed in Schaye's absorption-based matter-density calculation.
Use Gaussian units, uniform number density , and ion mass density . Here is the magnitude of the elementary charge, as fixed by the printed current relation. Neglect electron inertia and displacement current. Then
Freezing the magnetic flux into this electron velocity, while retaining the ion momentum equation, gives the closed Hall magnetohydrodynamics system
The pressure enforces the incompressible flow constraint; taking the divergence of momentum determines it up to the usual boundary-dependent constant. The induction equation preserves the solenoidal magnetic-field constraint. One can absorb into magnetohydrodynamic total pressure, replacing the Lorentz term by magnetic tension. Keeping ion inertia here is important: electron magnetohydrodynamics with fixed ions will be a later limit, not the complete two-field system.
Let the uniform background number density be and set . The subtraction of this chemical potential requires a phase rotation as well as a rescaling:
Substitution into the physical Gross–Pitaevskii equation gives
Consequently the requested coefficients follow from
The length unit is the specified healing length. Removing tildes produces the paper's dimensionless equation; in particular the coefficient of its time derivative fixes , not its reciprocal. Without the phase rotation the linear term would not appear.
The dimensionless ground state is for any constant phase , conventionally . Its subtracted energy is proportional to , which is nonnegative and vanishes for this state. In physical variables it has density and phase rotating at .
For an occupied uniform two-component Bose-Einstein condensate, the gradient and trapping terms vanish. Dividing each stationary equation by its nonzero field gives
The same relations follow by differentiating the uniform interaction-energy density with respect to each number density. When , the inverse relations are
These describe a genuinely overlapping mixture only when both densities are nonnegative. An unoccupied component cannot be divided out of its stationary field equation; it requires the appropriate constrained equilibrium condition instead.
Chemical equilibrium for implies , because equilibrium photons have zero chemical potential. Dividing the three nonrelativistic Maxwell-Boltzmann number densities therefore gives
The Hydrogen binding energy is in natural units. For ground-state hydrogen, with hyperfine splittings unresolved, and , so the degeneracy ratio is one. Equivalently one can omit nuclear-spin degeneracy consistently from both the proton and atom. Excited hydrogen levels are exponentially suppressed at recombination temperatures. Also , so its effect in the prefactor is negligible. Thus
The sign of the exponential follows from the smaller rest mass of the bound atom: cooling favours neutral hydrogen once translational entropy no longer compensates the binding energy.
A local stellar relaxation time depends on the number density of scatterers. Calling a total number, as the PDF does, leaves the displayed expression dimensionally wrong: has units of time per volume. The intended local expression must use , or for a homogeneous sample of volume . We shall also make the normalization of the stellar relaxation time explicit, since an unspecified representative one-dimensional velocity dispersion does not fix an exact numerical coefficient.
In a small-angle gravitational encounter, approximate the relative trajectory by a straight line of speed and impact parameter . The perpendicular acceleration of one star due to the other is . Its impulse is therefore
A star encounters scatterers per unit time in this interval of impact parameters. Independent deflections have random directions, so their variances add as in a random walk. Hence the accumulated squared velocity change has rate
The Coulomb logarithm in stellar dynamics arises because each logarithmic interval of impact parameter contributes equally. The lower cutoff is approximately the strong-deflection scale, for equal masses, or the physical collision scale if larger. The upper cutoff is a scale on which the local density and straight-line encounter approximation cease to apply, such as the local disk thickness. Thus is dimensionless; it is not a number density or an arbitrary dimensional argument of a logarithm.
To display the normalization issue, use the representative relative speed and define by . This gives
Choosing recovers precisely the printed coefficient after repairing to :
This is an explicitly defined convention, not a uniquely derivable normalization from the supplied data. If instead relaxation means a mean-square change equal to the full initial random-speed variance, , the same encounter approximation gives . Averaging the encounter speed distribution instead of using one representative changes the coefficient again. The robust result is the scaling .
For a transparent solar-neighbourhood estimate, take , , and . With , one obtains , , and
These illustrative parameters give an order -- year stellar relaxation time, much longer than a galactic lifetime of order years. The solar neighbourhood is consequently a collisionless stellar system with respect to encounters between individual stars. Scattering by massive clouds and collective structure is a different process; the estimate does not assert that every mechanism of disk heating is negligible.
In an axisymmetric cylindrical coordinate system, the steady Collisionless Boltzmann equation is
Let and . Multiply by and integrate over velocities. The spatial terms give . Integration by parts in supplies , and the derivative supplies . The force term vanishes because does not depend on . This assumes sufficient decay of the galactic distribution function to discard all velocity boundary terms. The radial Jeans equation is consequently
Reflection symmetry about makes even and odd. At the midplane the latter vanishes, and . Multiplying by proves
All quadratic velocities here are population moments, not individual stellar velocities. In particular, symmetry does not make the midplane tilt contribution to asymmetric drift disappear: an odd mixed moment can have a nonzero derivative at zero.
For application to the Milky Way, assume negligible mean radial and vertical flows, and define the circular speed by . Write and . Rearranging gives the exact stress-support relation
Thus the stellar asymmetric drift is the right-hand side divided by . For , this denominator is approximately . If and locally, the bracket becomes , making the density and dispersion-gradient contributions explicit.
A radially declining random-motion stress supplies some of the force needed to support a galactic disk, so its stars need less ordered azimuthal motion than a population on circular orbits. Hotter, often older, stellar populations therefore generally rotate more slowly than cold populations in the same gravitational potential; this is the observed stellar asymmetric drift. It is a stress-support effect, not a frictional slowing of each orbit. For a velocity ellipsoid aligned approximately with spherical coordinates, , and the midplane tilt term contributes rather than zero.
Local measurements of mean rotation and all components of the velocity dispersion, combined with tracer-density and dispersion gradients, can therefore constrain and the radial Newtonian gravitational field. A hotter sample's mean rotation must not be identified directly with the circular speed. The tracer number density need not be the gravitating mass density. Nonaxisymmetric streaming, a nonstationary disk, poorly measured radial gradients, or a neglected tilt term can bias this inference; these are assumptions of the derivation rather than extra free corrections to the circular force.
First consider a genuinely one-dimensional, time-independent collisionless stellar system with Hamiltonian . Choose . For bound vertical oscillations, a phase-mixed population has equal occupations of the upward and downward branches of each orbit. By Jeans theorem, its stationary distribution is a function of the conserved vertical energy, . Equivalently, the one-dimensional Collisionless Boltzmann equation makes constant along the energy curves. Branch-dependent incoming and outgoing populations or time-dependent waves would not satisfy this assumption.
Integrate both signs of and change variable to :
The density is thus an Abel transform of the vertical-energy distribution. To invert it without simply quoting an inversion rule, apply a second integral and exchange its order:
The inner integral is , as follows by setting . Writing before differentiating avoids an artificial infinite endpoint term. Under sufficient differentiability and decay,
The vertical-energy Abel inversion of a stellar distribution is therefore
This proves the normalization, including the factor from the two velocity signs. The additive origin of merely changes the origin of energy.
For this expression to define a physical phase-space distribution function, must be expressible as a single-valued function of , the integrals and differentiated integral must converge, and the resulting must be nonnegative. Reflection symmetry and a potential increasing with provide the usual single-valued relation on either side of the disk. A sufficiently smooth decreasing is a sufficient condition for nonnegativity; it is not asserted to be necessary for every positive energy distribution. If there is a finite escape energy, replace the infinite limits by that energy and impose the appropriate cutoff and boundary conditions. The displayed infinite-limit formula presumes either a confining potential or a distribution extended by zero above its allowed energy, with no omitted boundary population.
A three-dimensional galactic disk does not automatically meet these hypotheses. Exact separation makes an integral of motion. If the full galactic distribution function factorizes into an in-plane factor and a vertical factor , integrating the in-plane velocities gives the required one-dimensional distribution after its normalization is absorbed into . More generally the vertical marginal must depend only on in the sample being analysed. Near the solar radius, approximate separation can be useful when the sampled heights and radial excursions are small relative to the scales over which the vertical force changes with . If only a slowly varying vertical action is conserved, replacing it by one fixed requires an additional controlled local approximation.
The population must be sufficiently stationary and phase mixed, with negligible mean vertical flow, and the data must measure a well-defined tracer population with a known selection function. Radial coupling and the tilted velocity ellipsoid must be negligible or modelled. In the full vertical Jeans equation, that coupling is ; it cannot generally be discarded merely because a mixed moment vanishes at the midplane. The tracer number density is not the mass density producing the potential.
To infer the local mass, measure the tracer density as a function of height and its vertical velocity distribution near the midplane. With , the latter directly samples . Insert that measured distribution into the forward integral for , and match it to the observed to infer . Equivalently, for trial potentials compute away from the plane, apply the inversion, and require agreement with the measured velocities. Density data alone do not determine both an unknown potential and an unknown energy distribution.
Once the vertical force is known, use the full axisymmetric Poisson equation for Newtonian gravity, rather than identifying every vertical derivative with density in isolation:
At the midplane, , so
In terms of the circular-orbit Oort constants, and , the radial term equals . It vanishes for a locally flat rotation curve, not for an arbitrary rotating disk. An integrated version gives the dynamical surface density from vertical stellar motions:
Here the actual vertical acceleration is . The sign of the radial correction follows directly from the Poisson equation for Newtonian gravity.
For an illustrative isothermal tracer with constant vertical velocity dispersion , take
The velocity integral gives , hence . For a locally flat rotation curve this yields
This example shows explicitly how a measured tracer scale and velocity scale constrain the gravitating density; using the tracer's own density as the mass source would instead impose an unjustified self-gravitating model.
The inferred density includes luminous and faint stars, gas and dark matter. Comparing it with an independently estimated baryonic census tests for extra gravitating mass. An excess need not be a dark disk: a dark matter halo also contributes to the local force. Conversely, agreement with the baryonic density locally does not exclude a halo at other radii or heights. Vertical disequilibrium, radial mixing, errors in selection or tracer populations, and neglected velocity tilt can mimic a mass discrepancy, so the one-dimensional equilibrium assumptions must be tested when interpreting such an inference.
To derive the nonrelativistic electron-degeneracy pressure in a hydrogen-helium mixture, take fully ionized hydrogen and helium with hydrogen mass fraction , the electron number density is
Here helium nuclei have mass in the approximation used in the question. Filling the two spin states of each momentum mode up to the Fermi momentum gives
The isotropic momentum flux gives pressure . For nonrelativistic electrons , so the electron degeneracy pressure is
Substitute the composition-dependent and simplify powers of two:
Comparing gives the polytropic index . The result assumes complete electron degeneracy, , and negligible nuclear mass corrections.
Now adopt the stated approximate partially degenerate equation of state, keeping composition and hence fixed during contraction. Set and define the mass-averaged temperature . The stellar virial theorem from part (a) gives
For an index- stellar polytrope, the permitted gravitational-energy formula is . Also, using ,
Thus, with ,
The normalized density is a fixed function of for this homologous polytropic structure. Therefore its integral and fix , which is independent of and for a common composition. The mean here is mass-weighted, rather than a volume average.
For the mass-averaged temperature maximum in a partially degenerate polytrope, put and , both positive. As a function of the temperature is the concave quadratic
It reaches its maximum when , with
At large radius, contraction increases the temperature as in a thermally supported star. Once electron degeneracy provides a sufficiently large fraction of the support, further contraction can lower the thermal temperature. The formal zero-temperature radius is , with . The continuation to negative temperatures would be unphysical; the adopted sequence only describes its positive-temperature part.
The contraction-limited central temperature has the same mass scaling. Indeed, if the total polytropic pressure is , the approximate equation of state gives . The fixed density profile therefore fixes . A sufficiently small mass never reaches the central temperature required for sustained hydrogen burning, producing a hydrogen-burning minimum mass. Such an object becomes a cooling, degeneracy-supported brown dwarf instead of settling onto the main sequence. More massive contracting objects can ignite hydrogen before reaching this degeneracy-limited maximum. This conclusion uses the nonrelativistic, fixed-composition model; it does not require extrapolation into the relativistic regime.
At fixed number density , the electron current gives
The second equality uses Ampère's law without displacement current and stationary ions. A perturbation with characteristic perpendicular wave number therefore produces . Its nonlinear magnetic-advection rate is
For the anisotropic electron magnetohydrodynamics wave, and . Equating this to the nonlinear rate by critical balance gives
This is small-amplitude but strong turbulence: a small perturbation can have order-one nonlinear distortion over one wave period because its perpendicular gradients are much larger than its parallel gradients.
At fixed particle number , an equilibrium wavefunction is a constrained critical point of the energy functional. Introduce the chemical potential as the Lagrange multiplier for , and impose . The resulting stationary cubic-quintic Gross–Pitaevskii equation is
The time-dependent equilibrium has , so its number density is stationary even though its quantum phase changes uniformly. The specified particle number fixes together with the boundary conditions. In an infinite uniform bulk, particle number is understood through a finite volume or a prescribed bulk density.
Use the central number density , radius and central healing length from the preceding part. The vortex energy means the excess over the no-vortex ground state at fixed particle number. Choose an intermediate matching radius . Inside , the trapped number density differs little from , so the resolved uniform vortex core gives
Outside the core, the singly quantized superfluid velocity is . Its leading flow kinetic energy in the parabolic background is therefore
Adding the regions cancels the arbitrary matching radius. Sending while gives the matched vortex energy in a parabolic condensate
The comes from the decrease of background number density away from the centre. It would be missed by treating the whole trap as uniform. To this accuracy, using the unperturbed TF density in the outer region is appropriate at fixed : the first variation of trapping plus interaction energy is and therefore vanishes after the small normalization adjustment. The resolved core energy supplies the finite core correction , while remaining cloud-edge and density-relaxation corrections vanish in the small-core TF limit. This is an asymptotic energy estimate, not an exact formula at finite .
Write for the effective coupling and keep for the number obtained by the stated two-dimensional normalization. A repulsive interaction, , permits the Thomas–Fermi approximation for a condensate: density-gradient kinetic energy is small compared with the trapping and interaction terms over most of the cloud. The stationary Gross–Pitaevskii equation then gives
and outside the cloud, up to the narrow edge region. Here
Normalize the parabolic number density directly:
Consequently the two-dimensional Thomas–Fermi condensate parameters are
With and central healing length , the bulk approximation requires
Indeed . In the coupling convention printed in the paper, formal substitution of gives
This is the requested relationship in that convention; sets the physical size and chemical potential, while the interaction-strength ratio to is independent of .
There is a dimensional convention to make explicit. A physical three-dimensional scattering length makes a three-dimensional contact coupling, whereas a genuinely two-dimensional particle-number normalization requires coupling units of energy times area. For an axial factor normalized to one, the effective two-dimensional contact coupling is . For a Gaussian of width this is , and the physical TF condition becomes up to numerical constants. Alternatively the printed coupling can be retained if is a line density. The paper supplies no axial scale, so its expressions require that effective-unit or line-density convention; the formulas in terms of above are unambiguous. The approximation fails inside vortex cores and at the cloud edge, and it is not a repulsive TF ground-state construction for .
For a positive uniform number density and constant superfluid velocity , current divergence vanishes. The stationary density equation therefore imposes , giving . The quantum potential vanishes, so the phase equation sets . Thus the uniform-current pumped polariton condensate is
Direct substitution verifies the equation: the kinetic term gives , the interaction gives , and the gain-loss term is zero. A constant overall phase is arbitrary.
With the stated , this nonzero plane wave exists for any real and real interaction coefficient when is determined by the solution. If a particular real chemical potential is prescribed instead, the existence condition is
Equality gives the uniform condensate at rest. A nonzero density generally requires ; a zero nonlinear-loss coefficient with positive pumping would not allow this nonzero stationary balance. The vacuum is a separate zero solution, unstable to small perturbations for positive pump.
Existence should not be confused with stability. For completeness, linearize in the comoving frame with , and let . The linear real-amplitude and phase equations give
so
For both growth rates have nonpositive real parts, including the neutral uniform-phase mode. For , sufficiently small nonzero makes the constant term negative, so one growth rate is positive: the plane wave still exists but is unstable in an infinite system. Uniform drift adds only a Doppler phase to these growth rates in this model.