Direct multiplication of the gamma matrices in the chiral representation gives
For example by the Pauli matrix multiplication law, and the block multiplications give the displayed signs. Every is off-diagonal in this representation, whereas the chirality matrix has opposite diagonal blocks. Therefore for all .
The left-handed chirality condition makes the plane-wave coefficient . With , the Dirac equation gives
Since , its determinant is . A nonzero spinor therefore exists exactly when
For nonzero momentum, put and write its direction as . Normalized eigenvectors of are
The general nonzero solution is for and for , with arbitrary nonzero complex normalization . At any constant two-component solves the equation, but the momentum direction and helicity are undefined. For the physical positive-energy branch this is the left-handed massless plane-wave spinor.
A rotation by angle about acts on the two-component spinor as
The plane-wave argument is unchanged because the rotation fixes , and . Thus the positive-energy solution has helicity , where a helicity- state has rotation phase . The negative-energy coefficient has the opposite spinor phase.
In a quantized complex left-handed Weyl field, the positive-frequency term annihilates particles and the negative-frequency term creates antiparticles. Reinterpreting negative energy also reverses its spatial momentum; for the positive physical momentum the two spinor coefficients have the same left-chiral kernel. Because one multiplies an annihilation operator and the other a creation operator, the corresponding particle and antiparticle state phases are conjugate. The helicity content of a quantized Weyl field is consequently
There is one particle spin state at each nonzero momentum, rather than the two helicities supplied by a full massless Dirac field. The right-handed Weyl field interchanges these signs. This is the massless relation between chirality and helicity; it does not identify them for a massive field.
Split the free interaction picture field as , where the first part contains annihilation operators and the second creation operators. Time ordering places the operator at the later time on the left, while normal ordering places all creation operators on the left. For , commuting the annihilation part of the first field through the creation part of the second gives
The commutator is the c-number
For , the same calculation interchanges . Combining the two time orders proves the two-field Wick contraction identity
where
The equality with the four-dimensional integral follows by closing the energy contour at the positive-energy pole for and the negative-energy pole for the reverse order. This fixes the scalar Feynman propagator pole prescription; in this convention itself includes the factor .
Because these interactions have no derivatives, . Expand the Dyson series
Apply the Wick theorem to each term together with the external insertions. Every paired field contributes a propagator, and the remaining normal-ordered vacuum expectation vanishes unless no fields remain. Representing the propagators by Fourier integrals and integrating each vertex position gives the four-momentum conservation delta function. The and contractions into labelled vertex slots cancel the factorials in the interaction density. The resulting scalar-field cubic and quartic Feynman vertices are
Each vertex also has , each independent internal momentum is integrated with , and repeated equivalent contractions give the usual Feynman-diagram symmetry factor. For the unamputated correlation functions, retain the propagators joining external insertions to vertices. The displayed unnormalized numerator includes disconnected vacuum bubbles; dividing by cancels them. Amputated scattering amplitudes additionally use the LSZ reduction formula.
For stability, examine the classical scalar potential
The tree-level boundedness criterion is , with arbitrary real cubic coupling. If , boundedness requires and ; if , or with , the potential is unbounded below. Thus a positive quartic coupling permits a stable ground-state vacuum, although it need not be the perturbative vacuum at .
For and , the stability of a cubic-quartic scalar potential determines when zero is a global minimum:
The square bracket is nonnegative for every field value exactly when
For a nontrivial equality case there is a second degenerate minimum at . If and , zero remains a local minimum but is a false vacuum, with a lower minimum elsewhere. If and , the origin is the quartic minimum despite its vanishing quadratic curvature. These are classical or tree-level stability statements; renormalized couplings and the quantum effective potential refine the quantum analysis.
Figure 1.
Stable, degenerate and metastable scalar vacua
. Details.
Use target signature and a closed-string spatial coordinate . Write for the compact coordinate and for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of and a function of . The closed-string boundary conditions are
Thus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansion
The oscillator reality conditions are and similarly for the tilded modes. The coefficient of follows by integrating the canonical momentum density . Single-valued wavefunctions of the center coordinate have momentum , with . Equivalently, the compact chiral worldsheet zero modes are and , where
Here tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.
Choose a noncompact light-cone pair and impose light-cone gauge in string theory , with . The Virasoro constraints then solve for in terms of the transverse coordinates. For example, with , one has . Thus there are two independent transverse oscillator Fock spaces, including among the transverse coordinates. Quantization gives , and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string and string intercept one in each sector. Accordingly
count 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrum
Taking their difference and average yields
Every choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.
To classify all massless states, positivity of the two compact terms implies . When the sum is two, masslessness forces , and closed-string level matching then forces . The states have polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts are
The first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group .
When , closed-string level matching requires . The compact contribution obeys
and equality occurs precisely at . The charges have ; the charges have . Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have
Finally, requires . The exceptional massless ground states of a bosonic circle occur at
Each charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.
The map
sends to and to . Reversing all right-moving compact string oscillators, , preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.
At the self-dual circle the four single-oscillator charge families give new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges and . Thus the massless spectrum at the bosonic self-dual circle has
The gauge interpretation follows directly from the chiral compact-boson operators. With , the exponential has conformal weight . At the self-dual radius,
have weight one and satisfy , , and . These are the level-one current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators form the representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.
A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator . Its stabilizer is , so
The four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses or and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.
Take and split the coordinates into along the branes and transverse to them. In conformal gauge the wave equation permits a separated mode with . For Neumann boundary conditions at both ends, selects and integer . The zero-frequency solution is independent of , with a constant position and a term linear in time. Therefore the open-string mode expansion is
The canonical momentum density integrated over this interval is .
For Dirichlet boundary conditions, subtract the static interpolation between fixed endpoint positions and . The remaining field vanishes at both ends, selecting with integer and excluding a momentum worldsheet zero mode. The expansion is
Here . There is no factor in the sine series with this reality convention: changing to reverses both the sine and the denominator. These are the integer-mode expansion with parallel D-brane endpoints; they are not the half-integer modes of a coordinate with a Neumann condition at one endpoint and a Dirichlet condition at the other.
The endpoints can move on -dimensional worldvolumes but are fixed in the transverse directions. Thus these are open strings attached to D-branes, or stretched between parallel D-branes at and . The tangential momenta describe propagation on the brane; the transverse positions describe its embedding. Let . The linear spatial worldsheet zero mode contributes to . Quantization with string intercept one gives
The first term is also the square of the classical stretched-string energy , since the string tension is .
For two coincident D3-branes, label the ends of an oriented open string by . The four endpoint combinations give Chan-Paton factors , which form the full algebra of matrices. Under a change of brane basis these transform as , the adjoint action of . At , the first oscillator level is massless. Its tangential polarization supplies a four-dimensional vector , while the 22 transverse polarizations supply real adjoint scalar fields . This is the bosonic D3-brane low-energy field content.
The endpoint matrices multiply in their boundary order in disk amplitudes. The difference between the two orders in the three-vector interaction gives the matrix commutator; the kinematic factor is the one-derivative Yang-Mills theory cubic vertex. Factorization and the vector gauge redundancy then supply the quartic interaction with the same commutator. Equivalently, the leading low-energy action is the dimensional reduction of 26-dimensional Yang-Mills theory, with
For Hermitian scalar fields the last displayed term corresponds to a nonnegative potential, because their commutators are anti-Hermitian. Higher-derivative terms are suppressed at energies well below . Ignoring the tachyon, the gauge sector is four-dimensional Yang-Mills theory, accompanied by 22 adjoint scalar fields. It is not pure Yang-Mills theory, nor the supersymmetric six-scalar D3-brane theory of a ten-dimensional superstring.
Separate the two branes and use the D-brane scalar-position normalization
A Yang-Mills gauge transformation preserves this expectation value only when it is diagonal if . Thus the unbroken group is . The scalar field kinetic term supplies a mass for the off-diagonal vectors, since
Summing over gives , exactly the mass of the stretched string. The two diagonal gauge vectors remain massless. This identifies brane separation with an adjoint Higgs mechanism, rather than an explicit deletion of the off-diagonal strings.
For the ground state of an open string joining the two different branes, , so the bosonic stretched-string tachyon threshold is
At equality it is massless, and above it the stretched ground state has positive mass squared. The same-brane ground strings still have ; this calculation removes only the stretched-string instability, not the original instability of the bosonic branes.
The Polyakov action has independent worldsheet metric and embedding fields . Varying the metric before imposing a gauge gives
Worldsheet diffeomorphisms and Weyl transformations allow conformal gauge locally. The Weyl factor then cancels out of the classical action, leaving
These are free two-dimensional scalar fields, but the surviving metric equations require
Equivalently, and . Gauge fixing does not license dropping these Virasoro constraints.
For an ordinary open string, the boundary conditions relate the two chiral sectors. With , their independent Fourier generators are
The classical oscillator Poisson brackets give the classical Virasoro constraint algebra
Thus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses . The oscillator commutator gives
For example, for the extra vacuum term is . This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is ; the worldsheet ghost fields have charge . Quantum consistency sets and the string intercept to one.
In old covariant string quantization the physical-state Virasoro conditions for an open string are
Physical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.
At , the oscillator vacuum is a single spacetime scalar field with : the bosonic tachyon. At , write . The zero-mode equation gives , and gives . The null descendant identifies . This leaves 24 physical polarizations of a massless gauge vector.
At , use the level-two open-string polarization decomposition
The mass is . The oscillator commutators give all the nontrivial positive-mode conditions:
Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states , with , shift
The additional level-two scalar Virasoro null state shifts
Substitution into the two physical equations verifies the null-state conditions; the second residual is . Because is timelike, these null shifts span all components of , so choose a representative with . The physical conditions then say and . In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with polarizations. The light-cone basis independently gives states and symmetric states . Hence
For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature and use
Take and the constant parameter to be real Grassmann-odd Majorana components, with . Put . Apart from the common factor , the combined Lagrangian is
The rigid transformations can be written
or, in components,
For the part, the bosonic variation is , while the fermionic variation is . Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetry
Thus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on its commutator for parameters is the translation
On the same translation follows using and ; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.
The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ,
The free-field contractions give and conformal weight for , where . Consequently the modes obey the N=1 super-Virasoro algebra
Dropping the central terms gives the classical graded constraint algebra. Integer gives the Ramond sector; half-integer gives the Neveu–Schwarz sector. In the displayed conformal-plane convention in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square .
Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains . The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are , so cancellation with gives the critical dimension of the RNS superstring ; the NS and Ramond intercepts are respectively and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.
Count oscillator polarizations at fixed center-of-mass momentum. In a critical closed bosonic string, each chiral sector has 24 transverse oscillator species. A species at frequency can be occupied times, so its contribution is . The full chiral generating function is therefore
The two sectors are independent, while closed-string level matching restricts their oscillator numbers to the same . Thus the number of states at the closed-string mass level is , not .
Put , with . The Dedekind eta function obeys
The transformed argument has large imaginary part, so its product approaches one and . Hence
This establishes the singular exponential as well as its power prefactor. The corrections to the transformed eta product are exponentially small in .
The Cauchy coefficient formula, followed by , gives a steepest-descent integral with leading form
Let . The saddle of is
Along the vertical steepest-descent direction , the quadratic part is . Thus the saddle-point approximation gives the Gaussian prefactor
The point supplies the largest exponential contribution. At another fixed root of unity of order , the corresponding modular singularity gives a smaller exponential , so it does not change this leading asymptotic. Squaring the chiral result gives the large-level degeneracy of a closed bosonic string
Replacing by gives the equivalent usual leading asymptotic. The power matters: the two-sector degeneracy is not just an unspecified exponential.
Since , the exponential is with
Here Boltzmann's constant is one. Coarse-graining the levels into a density per unit rest mass introduces the Jacobian . Consequently
This is distinct from the degeneracy per level, whose power in is . The internal-state contribution to a canonical partition function behaves at large mass as
It converges for and diverges for . At , this particular internal rest-mass integral converges because of the power ; one should not discard the prefactor and claim divergence there without specifying the full thermodynamic ensemble. For example, including continuous momenta in 25 spatial dimensions multiplies the high-mass integrand by a factor proportional to , still leaving convergence of this ideal one-string integral at the endpoint, although sufficiently high derivatives are singular. Multi-string effects, volume and interactions affect the detailed limiting thermodynamics.
The leading microcanonical entropy grows as , with logarithmic corrections, so increasingly large energies are stored in increasingly excited, long strings rather than in an arbitrarily hot ordinary gas. The Hagedorn temperature is the boundary of canonical convergence from above in inverse temperature; extrapolating the free-string canonical description to fails. This counting does not settle the interacting phase above that scale. Also, the bosonic ground-state tachyon is a separate vacuum instability; the high-level asymptotic is meaningful as a formal spectrum calculation without asserting a stable bosonic thermal vacuum.
For steady unidirectional pressure-driven channel flow, write . The axial momentum equation and no-slip boundary condition are
Near an ideal wedge, the constant forcing has an particular solution by scaling. Substitution gives , with . For , the symmetric particular solution is
This corner expansion of pressure-driven sector flow is a particular solution, not necessarily the dominant corner term; a homogeneous corner mode can be larger, as the requested cases below show.
Separation of the symmetric harmonic correction with zero values on the straight walls gives modes , where
Regularity at the vertex excludes negative powers. Orthogonality on has norm . To cancel the particular solution on , use its cosine coefficients
The integral follows by product-to-sum and . Thus
The arc data are satisfied by the cosine expansion, and the Poisson equation by construction. At the omitted thresholds , a mode has , so the pure ansatz is resonant. The corresponding finite-limit term in the full sector solution is ; the other modes remain regular. This explains rather than hides the division by .
Interpret as the rest mass of each initial ball and assume that no energy or momentum escapes the collision. Let be its Lorentz factor. The total initial energy and momentum are
Their conservation determines the final four-momentum. For a single lump, and , hence
The final invariant mass follows from :
This is the rest mass of a coalescing relativistic collision. For , : some kinetic energy becomes internal energy in the final rest frame. Setting would discard that energy and contradict conservation. At small speeds , while gives .
Use the mostly-plus Minkowski metric, so , and the source term . Define the vacuum-normalized generating functional, connected generating functional, and quantum effective action by
The Legendre transform is taken after expressing in terms of , locally where this relation is invertible. Varying it gives and . The logarithm generates connected graphs; the Legendre transform removes graphs joined by a single propagator, leaving one-particle-irreducible vertices. This sign convention is important: its classical limit is , consistent with the positive vertices in this question.
For the free real scalar field, integration by parts puts the action into the form , where has Fourier symbol . Include the Feynman i-epsilon prescription . Completing the square yields
and consequently
The physical scalar propagator is , whereas the inverse quadratic kernel appearing in is . Differentiating this quadratic functional and Fourier transforming gives
The infinitesimal prescription specifies propagators and is dropped when quoting the local vertex kernel.
At the order represented by tree-level Feynman diagrams, stationary phase gives , with the classical field equation . The Legendre transform cancels the source term, so
Thus
Other connected tree graphs with several quartic vertices are one-particle reducible and belong to , not to the proper vertices of . This explains why no extra tree correction is hidden in these formulas.
The one-loop proper two-point graph is the tadpole diagram. The one-loop proper four-point graphs are the three bubble diagrams, with pairings , and of the external legs. Each has Feynman-diagram symmetry factor . The figure shows the topologies and every four-point channel; external momenta are incoming.
Figure 1.
One-loop scalar proper vertices: the two-point tadpole and all three four-point bubble channels
. Details.
The tadpole factor can also be counted directly: there are assignments of two labeled external legs to one quartic vertex, while its normalization leaves . For a fixed four-point partition, the interchange of the two internal lines gives the same factor ; there are three distinct partitions. Graphs with an external self-energy insertion are one-particle reducible and are not additional contributions to .
For the two-point divergence, perform a Wick rotation. The Euclidean tadpole contribution to the proper inverse kernel is
Assume to separate the ultraviolet calculation from infrared issues. A Schwinger parameterization gives . Using the supplied Gaussian integral, initially in the convergence region, gives
The last expression provides the meromorphic dimensional regularization continuation. Set . Since ,
If the coupling is written as , that factor multiplies the intermediate integral but does not change the displayed pole residue. The negative pole is a property of analytic continuation; it must not be inferred from the positive cutoff integrand without carrying out the continuation.
The added mass counterterm contributes to , because and its Lagrangian term is . Hence cancellation requires
up to an arbitrary finite subtraction specifying the renormalization scheme. No external momentum occurs in the tadpole, so no one-loop wave-function renormalization is needed. At the unregulated tadpole is scaleless and vanishes in dimensional regularization; the massive calculation identifies the mass-dependent ultraviolet pole without conflating it with a massless infrared limit.
For completeness, the signs of the four-point graphs in this effective-action convention can be read from the Euclidean one-loop functional . Its expansion has terms and . Differentiating four times gives
This is the Euclidean form, analytically continued to the physical external momenta. It confirms the three channel diagrams and their symmetry factors; evaluating its divergence is not needed for the requested mass counterterm.
In units , the action is dimensionless and a Lagrangian density has mass dimension . The kinetic term therefore gives . Requiring each interaction density to have the same dimension gives
This is engineering dimension; quantum scaling can acquire an anomalous dimension.
For a connected Feynman diagram with no derivative interactions, each independent loop integration contributes powers of momentum, and each internal scalar propagator contributes . Thus its superficial degree of divergence is . Let . A connected graph has independent cycles, and counting the half-edges incident on vertices gives . Substitution proves the scalar graph power-counting identity:
For a graph with connected components, the first is instead , since . The printed expression therefore uses the usual connected-graph convention. This is the overall degree under simultaneous rescaling of all loop momenta. Subgraphs can still have ultraviolet divergences when the whole graph has , so their counterterms must be subtracted before declaring an integral finite.
When all retained couplings have nonnegative dimension, only finitely many external-leg/derivative structures can have nonnegative degree. Positive-dimensional relevant couplings lower as vertices are added, giving superrenormalizable interactions. Zero-dimensional marginal couplings give power-counting renormalizable interactions. Negative-dimensional irrelevant couplings instead permit to grow with the number of vertices, generally requiring an unbounded list of counterterms. Such nonrenormalizable interactions can still define an effective field theory to any fixed order in a low-energy expansion.
In , : cubic interactions are superrenormalizable, quartic interactions are marginal and renormalizable, and powers are nonrenormalizable. In , : cubic, quartic and quintic interactions are superrenormalizable, sixth-order interactions are marginal and renormalizable, and are nonrenormalizable. This is a power-counting classification, not a guarantee that an odd highest-power potential is bounded below. All lower-dimensional operators allowed by the symmetries must be included when required by renormalization; for example, odd interactions can require a linear counterterm, whereas the quartic model's symmetry excludes it.
Dimensional regularization defines convergent Euclidean loop integrals in a suitable domain of , then continues their parameter formulas meromorphically to complex . The Gaussian identity supplies and Schwinger parameterization supplies Gamma functions such as . Their poles encode the ultraviolet singularities near physical dimension. Noninteger complex is an analytic regulator of amplitudes, not a literal space with a noninteger number of coordinates. Masses or nonexceptional external momenta distinguish ultraviolet poles from infrared poles; scaleless integrals vanish in this convention and can hide that distinction.
For the quartic model let , , and . In renormalized fields, the bare Lagrangian is
Separate the terms with each equal to one from their differences. The differences are field, mass and quartic counterterms. After subtracting divergent subgraphs, the remaining ultraviolet pole of a proper graph is a local polynomial in its external momenta. In four-dimensional phi-fourth theory, power counting and reflection symmetry restrict these local terms to , , and a field-independent constant. Choosing the Laurent coefficients of the three renormalization factors recursively cancels these poles at every perturbative order. The constant vacuum term is removed by the zero-source normalization. This is an order-by-order finite renormalized expansion, not a claim of convergence of the perturbation series.
The source renormalization of a scalar generating functional follows directly from rewriting the source coupling in bare variables:
A general source attached to a single elementary field needs this field renormalization; its connected correlations are the ordinary renormalized Green functions. Normalizing the path integral at cancels source-independent vacuum diagrams. Subject to a separate infrared/volume prescription, their source-dependent generating functional is consequently ultraviolet finite order by order. For a constant source, this statement is interpreted as a formal connected expansion or a vacuum density, not as an automatically finite total logarithm in infinite spacetime.
Changing integration variables from to introduces a source-independent constant Jacobian that cancels between the numerator and its normalization. The resulting normalized integral depends only on and fixed physical boundary/volume data. Thus
Define all scale derivatives at these fixed bare quantities:
In a mass-independent subtraction scheme, logarithmic differentiation of the bare relations gives
The factors contain regulator poles, but the combinations determining the physical renormalization group functions have finite limits. In particular and . The chain rule now gives the requested equation:
As a sign check, minimal subtraction gives and , with . Hence , , and starts at two loops. The positive signs agree with the tadpole subtraction and the three four-point channels.
The dimensional rewriting needs care. The chosen source normalization gives , , and , so and are the natural dimensionless parameters. For the full source functional, spacetime arguments must also be rescaled: with , write and . The dimensionless functional then depends on , the rescaled source profile, and the rescaled integration domain.
For a literal uniform source in a fixed physical spacetime volume , the uniform-source vacuum functional and spacetime volume relation is instead
For example, even at and , completing the square for the constant mode gives
Thus the printed three-argument rewriting of the total suppresses necessary volume/source-profile data. It is valid as a dimensional shorthand only with those data understood; a dimensionless density has the three arguments, while its scale equation includes its engineering dimension. At infinite volume, the total constant-source logarithm is generally extensive and infinite even after ultraviolet renormalization.
The massless renormalization-group characteristics with a source solve the requested flow directly, independently of this notational issue. Since the mass flow is proportional to , its zero value remains zero. Starting at a reference scale , solve
Then
with any physical volume or source-shape data retained. Where , the running quantities are determined by
These equations transport matching data at one scale to any other scale on the same flow trajectory. At a zero of the beta function use the differential equations themselves, rather than divide by zero.
For the uniform-source density, set and . At the corrected dimensionless equation and its local characteristic solution are
The arbitrary function is fixed by boundary/matching data. If the volume is retained as a dimensionless argument , the full dimensionless functional obeys the same transport operator with in place of the additive term; extensivity makes the two statements equivalent. Massless zero-momentum source expansions can also have infrared singularities, so this RG solution is formal until an infrared prescription or a suitable background expansion is chosen.
An ultraviolet fixed point is a zero of the beta functions approached by the dimensionless couplings as . Near a single-coupling fixed point , perturbations obey , so gives attraction in that direction. In four-dimensional quartic scalar theory, the positive one-loop beta function makes positive small coupling grow toward the ultraviolet: . This exhibits a perturbative Landau pole, not an interacting ultraviolet fixed point. A perturbative result does not exclude hypothetical strong-coupling behavior beyond its regime.
The gauge-invariant Yang-Mills action integrates over physically equivalent configurations along each gauge orbit. At the quadratic level its gauge-field kernel has longitudinal zero directions: in momentum space satisfies . It therefore has no inverse from which to construct a gauge-boson propagator. Gauge fixing both removes the redundant orbit integration and supplies an invertible quadratic operator away from the ordinary physical propagator poles.
For the covariant condition , the Faddeev-Popov determinant is that of . Its representation by odd Faddeev-Popov ghost fields and antighost fields produces the displayed ghost term. In a nonabelian theory depends on the gauge field, so the determinant is not an irrelevant constant: ghost interactions must be retained. The even Nakanishi-Lautrup field writes gauge fixing in a form with off-shell BRS symmetry. For , its algebraic equation is , giving after elimination. At it imposes the gauge condition as a Lagrange multiplier.
For the nilpotence proof, write the adjoint bracket as , with coefficients in a Grassmann algebra. If are their parities, this is a graded Lie bracket:
Thus two odd fields have a symmetric bracket, in particular need not vanish. The transformations become , , , , and obeys the left graded Leibniz rule.
Because is even, . Varying both the field and the connection in now gives
For the ghost,
The last equality is the graded Jacobi identity applied to three copies of the odd field . In components the remaining expression is ; its coefficient is antisymmetrized over , and the ordinary Jacobi identity for the structure constants makes that antisymmetrization zero. Finally and . Hence
This is off-shell nilpotence of the Yang-Mills BRST quartet.
To verify invariance of the complete Lagrangian, , obtained from . Thus because the product of the two curvature components is symmetric in their color labels while is antisymmetric. The remaining terms vary as
The last term vanishes by the already proved , and the first and third terms cancel pointwise. Therefore
Equivalently, the covariant gauge-fixing density as a BRST variation is with . The graded sign from moving past produces the positive ghost term, and proves its invariance. No integration-by-parts qualification is needed for the density as written.
Let be the BRS charge. The physical state space is its BRST cohomology, usually at ghost number zero:
Nilpotence ensures . A state is orthogonal to every closed state because , and its norm is . Thus adding an exact state changes neither physical inner products nor amplitudes. Self-adjointness here is relative to the stated indefinite Hermitian form; a nonzero self-adjoint nilpotent operator could not exist on a positive-definite state space. Positivity must be proved on the quotient, not assumed on the gauge/ghost space.
Fix a color label and a nonzero momentum , and take the usual nontrivial asymptotic charge, . Nilpotence on a vector state gives , because at least one component of is nonzero. Nilpotence on the antighost state then gives
The two coefficients are complex conjugates as required by self-adjointness: using the given ghost pairing,
Thus the antighost-to-vector coefficient is , as the printed bar notation indicates. These conditions are the massless shell condition and the consistency of the charge with the inner products.
A general one-particle vector representative is . It is closed precisely when . The vector state is exact, so representatives obey
The ghost state is also exact: choose with , then . The antighost state is not closed because its image is a nonzero longitudinal vector. More explicitly, closure of a general sum of vector, ghost and antighost states forces the antighost coefficient to vanish and the vector polarization to be orthogonal to ; its ghost component disappears in the quotient. Thus the full one-particle cohomology already reduces to
With the mostly-plus Minkowski metric, choose a Lorentz frame with , . Closure gives , and the norm is
Subtracting a multiple of sets . Consequently positive one-particle BRST cohomology consists of two transverse positive-norm polarizations per color, represented by . A nonzero class has strictly positive norm; the zero-norm longitudinal direction was precisely the exact direction removed.
The qualifications and are essential to this one-particle argument. The zero-momentum sector requires separate treatment, and the trivial-charge case cannot yield the asserted removal of negative-norm vector states from the stated relations alone. Abstract nilpotence and self-adjointness by themselves do not guarantee positive cohomology.
In proper-time gauge the particle Lagrangian is , now with dots referring to proper time . The canonical spatial momentum is
The FRW metric is independent of all spatial coordinates. Hence and the Euler-Lagrange equation gives . This conserved quantity is the comoving momentum.
The mass-shell mass shell constraint gives . For future-directed motion and proper peculiar velocity , it follows that . Therefore
The kinetic momentum here is the physical momentum in an FRW universe, measured in the orthonormal frame of a comoving observer. It redshifts as irrespective of whether the particle is relativistic or nonrelativistic.
The mass shell constraint and the conserved comoving momentum give
Dividing yields
The comoving direction is constant because is constant. With and physical momentum magnitude at , we have . Integrating the speed along that fixed direction gives
This is a distance travelled, rather than a light-ray distance: the extra factor is the particle's proper peculiar speed . For a particle at rest, , the distance is zero, understood separately or as the limit. The formula assumes collisionless motion over the interval. Its existence at the lower endpoint depends on the early scale factor; in radiation domination the integral is finite.
A fully ionized helium nucleus supplies two electrons for approximately of mass, so . Filling all electron momentum states up to the Fermi momentum gives
For a nonrelativistic electron, the speed is . The three mean squared Cartesian components of momentum are equal by rotational symmetry and sum to , so each is . This is the isotropic tensor integral. Thus the momentum flux, or electron degeneracy pressure, is
Substituting the expression for and simplifying the powers of two gives
Here is the Planck constant. This is the pure-helium specialization of nonrelativistic electron-degeneracy pressure in a hydrogen-helium mixture.
For a cold helium white dwarf, neglect ion thermal pressure and use this electron degeneracy pressure as the support against Newtonian gravity. Combining hydrostatic equilibrium with mass conservation gives
Set and , where . Direct substitution gives the Lane-Emden equation
Its dimensionless solution is independent of . Let be its first zero and . Integrating mass conservation gives
Eliminating yields the polytropic mass-radius relation
Thus a more massive nonrelativistic white dwarf is smaller at fixed stellar composition. The assumptions require and in the region providing most support; the law is not extended into the relativistic or thermally supported regimes.
Let be a constant reference density and define total buoyancy acceleration by . Absorb the reference hydrostatic pressure into a kinematic pressure . The ideal nonrotating Boussinesq equations are
For a resting density profile , the background satisfies and the squared buoyancy frequency is
Stable stratification has . The Boussinesq approximation requires fractional density variations to be small over the domain and parcel excursions, so density can be replaced by in inertia while its small variation is retained in the gravitational force. For an approximately uniform density gradient over height , this requires . The stipulated incompressibility alone does not justify neglecting density variation in inertia.
Put and . To linear order the two-dimensional internal gravity wave equations are
The exact impermeability condition on is the kinematic boundary condition
Taylor expansion about permits at leading order if the boundary slope and its displacement relative to the vertical wave scale are small: and . The second condition controls both the omitted evaluation correction and the product , since continuity gives . Hence for the harmonic forcing,
The propagating calculation assumes and ; a time-independent boundary does no oscillatory work on fluid initially at rest. If but , incompressibility forces the vertical velocity to be independent of height, so the unbounded column has no finite-energy radiating internal-wave solution. The propagating wave-generation problem therefore needs the stated nonzero horizontal wavenumber.
For a plane mode with phase , let be its complex amplitudes. The linear equations give
Substituting into gives the dispersion relation
No waves enter from above. The appropriate radiation condition therefore selects upward vertical group velocity, not upward phase propagation:
The boundary-forced internal gravity wave satisfying the boundary condition is
The displacement is , consistent with times the displacement. For a right-moving boundary choose , without loss of generality. Then , and the constant-phase lines of an internal gravity wave have slope : the crests rise toward the right. Their acute angle with the horizontal is
The group velocity is along these crests in the upward-right direction, whereas the wavevector and phase propagation point downward-right.
Figure 1.
Rising wave crests with upward group velocity and downward phase propagation above a right-moving boundary
. Details.
The physical pressure perturbation is . Pressure work at the lower boundary, to second order in amplitude, is its period-mean pressure times vertical boundary velocity. Static hydrostatic terms average to zero over a cycle. Therefore
As an independent energy check, the wave's mean kinetic-plus-buoyancy energy density is , and multiplication by gives exactly this upward energy flux.
For the exact horizontal mean-momentum equation, incompressibility writes the horizontal momentum equation as
Average over a horizontal period. Require the pressure and velocity fluxes to be periodic, or more generally their horizontal derivative averages to vanish; in particular there must be no imposed mean pressure gradient. Then
Horizontal averaging also makes ; the zero mean boundary displacement rate gives . These conditions exclude an independent mean mass flux or horizontal force. The mean equation applies in the fluid, with flattening of the small moving boundary understood at the order used above.
For slow switch-on, define , using for . The outgoing internal-wave envelope radiation condition is . Replace in the oscillatory fields by . A modulation time must satisfy and , with a frequency bandwidth sufficiently narrow to linearize the dispersion relation. The exact boundary derivative also contains ; it is smaller by the slow-modulation parameter and is beyond this leading envelope approximation.
To leading slow-modulation order, the wave momentum flux is
Since , integrating the mean-momentum equation from rest gives the internal-wave momentum deposition
This is second order in wave amplitude, with smaller relative slow-modulation corrections. Mean-flow feedback on the leading wave is higher order. The mean current is created as the wave envelope arrives; an already uniform wavetrain has no local flux divergence.
Finally move horizontally with speed . The initial uniform relative flow is , with infinite total energy in the unbounded column. Its finite mean-energy change is instead
At finite time the envelope is absent sufficiently far above, so integrating the momentum equation gives
This is the boundary work and mean-flow energy of an internal wave relation. In the moving frame the boundary pattern is stationary to leading modulation order. It extracts energy from the incident mean flow and converts it to outgoing internal-wave energy; in the laboratory frame the same energy is supplied as boundary work.
Here write for the buoyancy perturbation about the resting constant- stratification; the total buoyancy also includes its background gradient . Use kinematic perturbation pressure . The weak-forcing Linearized Boussinesq equations are
Weakness means that perturbation advection is small compared with the retained linear terms. With the specified streamfunction convention, the transverse vorticity is
Differentiate the horizontal momentum equation in and subtract the derivative of vertical momentum. The pressure derivatives cancel, giving
The second equation uses and is the forced internal-wave equation.
For free waves at frequency , the internal gravity wave dispersion relation gives . Thus the horizontal response scale is much larger than the vertical scale. Vertical acceleration is small in the vertical momentum equation, leaving the hydrostatic approximation . Correspondingly the transverse vorticity is predominantly : neglect relative to in the inertial vorticity term. The restoring term must still be retained, since it balances the small time derivatives.
For put , and interpret physical fields as real parts. The reduced equation is
One can solve it while obtaining the buoyancy simultaneously. Define and . The first-order hydrostatic equations become
Hence and obey
Apply the method of characteristics with zero fields in the past. With
the solution is . Consequently the hydrostatic response to a localized horizontal force is
These are exactly the required two characteristic integrals, derived with their relative sign fixed by the buoyancy equation. Quiet-past initial conditions exclude additional freely propagating solutions.
For the consistency check, set , so both integrals run over the fixed range . Differentiation at fixed now gives
This change of variable is important: it includes the time dependence of both the sampled forcing and the moving integration geometry without omitting a term. Each straight path intersects for a time interval of length at most . If , then
The characteristic size of the hydrostatic buoyancy and pressure-gradient balance is , as follows from the analogous bound on in its integral formula. Thus the omitted acceleration has relative scale at most a constant times
Together with the low-frequency assumption, this verifies the requested hydrostatic consistency. It is a comparison of characteristic magnitudes, rather than division by a buoyancy value at a node where both terms may vanish. The capital here is the buoyancy frequency, as printed in the PDF.
For , only contributes. If , every point lies outside the source interval, so both integrals vanish:
This finite propagation cone belongs to the reduced hydrostatic wave equation.
The hypotheses do not require an even forcing, so no single symmetric graph follows for every permitted . For an illustrative smooth even nonnegative profile, is even and is odd. At late time and fixed , if , then
Thus the streamfunction develops a broad nearly level interior response with outgoing fronts, while the buoyancy changes sign across the source and approaches opposite interior plateaus to its left and right. Both vanish beyond the fronts. For , a vertical phase with gives real fields and . The figure plots those profiles up to positive normalization factors, for an even compact forcing increasing slowly from zero.
Figure 1.
Causal streamfunction and buoyancy profiles for a slowly established even localized horizontal force
. Details.
Choose a fixed vertical datum so the physical free surface is at , with constant; its depth above the bottom is . The gradient of the constant datum does not enter the pressure force. With , the rotating shallow water equations are
The fluid is hydrostatic with depth-independent horizontal velocity at this order. The pressure-gradient force uses the free-surface slope, not the layer-depth slope: .
Let be relative vertical vorticity, the absolute vorticity, and . Taking the horizontal curl of the two momentum equations and expanding the advective derivatives gives
Mass conservation is . The two stretching factors cancel, proving the exact shallow-water potential vorticity conservation law
The denominator is , the actual column thickness that changes under horizontal convergence; an arbitrary surface elevation does not obey that column mass equation. There is no term because the reduced layer quantities have no vertical dependence. The vertical motion has already supplied the layer-thickness equation, rather than remaining an independent coordinate of this model.
Now take and assume , . To first order,
For a small Rossby number, leading geostrophic flow satisfies and . Thus
For , the barotropic deformation radius is . Multiplication of the first-order PV by gives
This is the required shallow-water quasi-geostrophic potential vorticity, including the bottom contribution.
Write and . The initial state has , so . The specified homogenization sets in and leaves it unchanged outside. Hence the requested change is
For this is a descending straight segment from to , with zero exterior values and jumps at the two edges. Endpoint values do not affect the inversion. It is the anomaly, not the full final PV profile, that appears as the source below.
For the zonal mean, , , and potential-vorticity inversion requires
with decaying disturbance at both infinities. The odd source makes the unique decaying solution odd. A particular interior solution is , so write
Both and must be continuous at : a jump would introduce a delta function or its derivative into a source that has only finite jumps. Matching at gives
and therefore
Differentiate the interior streamfunction to obtain
The exterior profiles needed for the sketches are and .
For , put , , so . Uniform Taylor expansion gives
Consequently
For the leading interior current is westward and approximately parabolic.
For and away from the edges, and : the surface follows the bottom slope centrally. Near , the exponentially thin corrections give positive edge jets of width and peak scale when . Those jets decay in the exterior. The elevation is odd, has opposite-sign extrema just inside the edges, and decays to zero outside; at the positive edge . The following sketch uses the full matched solution with . For negative , the current and PV-change signs reverse, while this elevation profile does not.
Figure 1.
Potential-vorticity change, central current with edge jets, and free-surface elevation after mixing over a finite bottom slope
. Details.
Let be absolute vorticity, where is constant. Let be density and a materially conserved stratifying scalar, so . For the incompressible density-stratified ideal fluid one may choose the advected density itself; in a thermodynamic description one may use an entropy-like scalar with . The Rossby–Ertel potential vorticity is
Ertel's theorem states that it is conserved following a parcel under inviscid, adiabatic motion with conservative body force and the stated stratifying-scalar condition.
Start from the rotating momentum equation
Here includes gravity and any conservative centrifugal potential. Taking its curl gives
Mass conservation is , specializing to here. Combining these equations yields
Differentiating the material conservation of gives . Dotting these two equations, the velocity-gradient terms cancel after relabelling their indices. Therefore
If , the triple product vanishes immediately. More generally, an equation of state makes a linear combination of and , so it also vanishes. Hence
This proves the conservation law and specifies why must be a suitable stratifying scalar: an arbitrary unrelated passive tracer need not annihilate the baroclinic triple product. No viscosity or scalar diffusion is permitted in this theorem.
Between collisions the momentum is or . In phase space the cycle runs right along the upper horizontal segment from to , jumps vertically to at the right wall, runs left along the lower segment, and jumps back at the left wall. The jumps have . Therefore
Differentiation gives , exactly the out-and-back period. Under slow wall motion the action is the adiabatic invariant; a convention using is equivalent. Hence
Compression raises the energy and expansion lowers it, provided the wall speed is small compared with the particle speed and the change per cycle is small.
Figure 1.
One elastic-bounce cycle in position-momentum phase space
. Details.
Generalized position eigenstates satisfy and . Define the position-space wavefunction . Completeness then gives . Position acts by multiplication, . Using and momentum completeness, differentiating the Fourier integral gives on the momentum operator's domain.
For the unit-mass, unit-frequency oscillator define
Since , a simultaneous energy eigenstate and -eigenstate would satisfy , forcing . For , the energy is , the smallest possible because .
The position-space equation is . Solving and normalizing, with , gives up to a constant phase
Its squared modulus is a normalized Gaussian, so every complex gives a normalizable coherent state.
For a creation eigenstate, instead gives . Every nonzero such function grows quadratically exponentially at infinity and fails square integrability. Hence there are no nonzero normalizable eigenstates of . This last symbol is in the original PDF, although the converted TeX drops its dagger.