Unlettered marked requests are numbered in source order; explicit letters and Roman parts are retained. S18 worked notes are linked below; their missing amplitude sketch is supplemented here.
Choose the principal logarithm, so has branch cut . Near zero its Taylor series gives
Thus zero is a simple pole of residue one, and one is a logarithmic branch point. The function is holomorphic on with this branch. Infinity is also a branch point in the extended-plane description; the function's decay there along the cut plane does not make it a single-valued holomorphic function through infinity.
Use the positive orientation shown in the source: the upper bank runs outwards and the lower bank returns towards one. On those banks the logarithm branch has values and , respectively, with . Their squared difference is . The residue theorem therefore gives
and hence
The large-circle contribution is and the small circle about one contributes , both tending to zero. These estimates justify replacing the closed contour integral by its two cut-bank integrals.
Take on the same logarithm branch. At zero, , so the apparent singularity is removable and the closed contour integral is zero. The bank difference is
The circular contributions vanish by the previous estimates with the third power of the logarithm. Consequently
The last integral is , giving
Increasing the logarithm power has converted the desired real integral into a jump across a branch cut, while removing the pole inside the contour.
A conformal map preserves the magnitude and orientation of angles between intersecting smooth curves locally. For a complex holomorphic function, the condition at is : the first-order change rotates and uniformly scales every tangent vector by the same complex factor. This local statement does not require a globally one-to-one map.
No region maps onto the entire finite complex plane: is never zero. Its image on is . A fundamental strip such as
maps bijectively onto that punctured plane, because . The half-open strip supplies one representative of each angle; it is not an open domain. An open strip of height omits a ray as well. The missing zero is approached only in the limit .
Writing gives and . Thus the closed square maps to the annular sector
Its horizontal edges become radial segments and its vertical edges become circular arcs. Each radial tangent is perpendicular to the tangent of its adjoining circle, so the four interior angles remain . Equivalently, the complex derivative is nonzero at every vertex and the map is conformal there.
Use the complex logarithm with on the nonzero points of the first-quadrant square. Put . The square bounds give
The two edges meeting at map to the horizontal half-lines and , extending indefinitely to the left. The other edges map to for and for . They meet at .
The angles are preserved at , and . There is finite and nonzero. The origin is a branch point, has no finite logarithmic image, and supplies no fourth finite vertex at which angle preservation could be asserted.
Figure 1.
A square, its exponential annular sector, and its logarithmic image extending to the left
. Details.
For , close the real-axis contour in the upper half-plane: supplies decay. The only enclosed simple pole is , with residue . Thus .
For , close downwards. The clockwise orientation contributes times the residue at , giving
At , direct integration of gives , consistent with the continuous extension. The large arc tends to zero by Jordan's lemma for nonzero , or the denominator estimate when .
Let denote the requested integral. Symmetry and the period of make the corresponding integral over equal to . With , this becomes
The denominator factors as . The two poles inside the unit circle are . Each residue is , because the derivative of the polynomial denominator there is . The residue theorem gives , so
For the two-body problem, the centre of mass lies a distance from the Sun. With ,
The relative circular-orbit period is years. The Sun's orbital speed about that centre of mass is therefore
This is the space-speed amplitude; the observed radial velocity amplitude also includes the orbital inclination.
Kepler's third law is , with the semimajor axis of the relative orbit. For a circular edge-on orbit, the star's speed is , and the centre of mass relation gives . Cubing the speed expression and eliminating yields
For , this reduces to
Without the edge-on assumption, a factor multiplies the numerator, explaining the minimum-mass degeneracy of the radial-velocity method.
Converting luminosity to mass needs a main-sequence mass-luminosity relation. Using the near-solar approximation gives . Then
For days and , these give approximately
These estimates retain the circular, edge-on and low-companion-mass assumptions. Adopting a mass-luminosity exponent instead changes the quoted values by about one percent; luminosity alone does not determine a unique stellar mass without such a calibration.
The effective temperature is defined by the Stefan–Boltzmann law applied to a star's total luminosity:
Here is the adopted photospheric radius and is the Stefan-Boltzmann constant. This defines the temperature of a black body radiating the same total flux per unit surface area; it does not assert that every wavelength of the stellar spectrum follows a perfect Planck spectrum.
The parallax gives . Ignoring extinction, the distance modulus gives
The bolometric magnitude relation then yields . With ,
A star this cool and luminous belongs to the red-supergiant region of the Hertzsprung-Russell diagram. Extinction and the adopted effective temperature are important systematic inputs; this calculation uses the supplied temperature to infer the radius.
A first distance-independent method fits the continuum shape or a calibrated colour index to an atmosphere model. A black-body approximation uses Wien's displacement law, , or ratios of the Planck spectrum at two wavelengths. It requires a known extinction correction and sufficient treatment of molecular absorption and line blanketing; a cool supergiant need not have a black-body colour temperature equal to its effective temperature.
A second method fits temperature-sensitive spectral lines or molecular bands. Boltzmann excitation and the Saha equation explain why excitation and ionization ratios change with temperature; detailed atmosphere calculations also include surface gravity, composition and departures from local thermodynamic equilibrium. TiO molecular bands are particularly useful for cool stars. Line ratios remove the overall distance normalization, but their calibration remains model dependent.
The direct flux-radius method can be made distance independent as well: an independently measured angular diameter gives . For a large nearby supergiant with a resolved photosphere, good bolometric flux and a limb-darkened interferometric angular diameter, this is often the most direct determination. Its advantage depends on those measurement uncertainties and a consistent radius definition. The radius inferred in the preceding part cannot itself provide an independent temperature measurement, because the supplied temperature was already used to calculate it.
The virial theorem for a stationary isolated system with inverse-square gravity is
where is total kinetic energy in the system's centre-of-mass frame and is its negative gravitational potential energy. The brackets denote a suitable time or ensemble average. Surface pressure, rapid evolution or mass fluxes add terms, so equilibrium and an appropriate boundary are substantive assumptions.
For an isotropic velocity dispersion, . To specify the order-unity structure factor, approximate the gravitating system by a uniform sphere, whose gravitational potential energy is . The virial theorem gives
The numerical value uses and . Different mass profiles change the prefactor, rather than the scaling .
For fully ionized intracluster gas, take mean particle mass with . In the same uniform-sphere virial estimate, replace by to obtain
Alternatively, hydrostatic equilibrium gives . An isothermal gas with density proportional to gives . The supplied radius and temperature do not specify the profile, so the meaningful inference is a mass of order , with the displayed model choices making the coefficient explicit. The high supplied temperature need not yield the same estimate as the galaxy dispersion in a crude single-profile calculation.
The stellar estimate is much smaller:
It counts luminous stellar matter, rather than all matter in the cluster.
Nonbaryonic dark matter can provide the additional gravitating mass. Gravitational lensing independently maps cluster mass, while the cosmic microwave background and Big Bang nucleosynthesis constrain the cosmic matter and baryon budgets. The separation of lensing mass from strongly interacting X-ray gas in merging clusters is evidence that much of the gravitating component is not that hot gas.
Uncounted baryonic matter, including the observed hot gas, faint stars and compact remnants, certainly adds to the stellar estimate. X-ray emission directly establishes a large gas reservoir. However, baryon-budget constraints and microlensing constraints on compact objects prevent arbitrarily filling the entire discrepancy with ordinary hidden objects.
Modified gravity could change the inference from a measured acceleration to a Newtonian mass. Such a theory must also reproduce the observed lensing and cosmological evidence; explaining some rotation curves alone is insufficient, and cluster mass discrepancies remain a demanding test. Departures from equilibrium and projection can bias individual mass estimates, but would have to explain the independent observations systematically rather than merely modify one virial prefactor.
The one-dimensional Time-dependent Schrödinger equation is
The left side generates time evolution; the two terms on the right are the kinetic and potential parts of the Hamiltonian operator. For a time-independent potential and an energy eigenstate, set . Cancelling the time factor gives the time-independent Schrödinger equation, .
By the Born rule, is the position probability in an interval of width , with for a normalized particle. Therefore in one dimension. An ideal scattering plane wave instead uses flux normalization and is not itself a normalizable single-particle state on the whole line.
The reflection-one result describes a semi-infinite potential step, rather than a finite-width barrier. Define and . For , take
The growing exponential is excluded by boundedness as . Continuity of and at the finite step gives and , hence
The probability current of the decaying tail is zero; the reflected and incident currents have equal magnitude. This agrees with the classical reflection coefficient even though the spatial wave function differs from a classical trajectory.
On the incident side, is the superposition of incoming and reflected waves, producing a standing-wave pattern whose travelling-wave de Broglie wavelength is . On the forbidden side, it decays exponentially and remains nonzero near the boundary. A sketch should therefore show oscillations for , a continuous function and slope at zero, and the evanescent tail for beside the potential step.
The quantum distinction is finite probability density inside the classically forbidden region, despite complete reflection. There is no transmitted flux at arbitrarily large positive for this semi-infinite step. A finite-width barrier would allow quantum tunnelling, a different boundary-value problem.
Figure 1.
A reflected wave joins a decaying tail inside a semi-infinite potential step
. Details.
The wave-function amplitude decays as , so its e-folding penetration depth is
The probability density decays as and has the smaller e-folding depth . Specifying which quantity decays avoids a factor-of-two ambiguity in the term penetration depth.
A stationary evanescent wave does not assign a classical trajectory or a real local speed inside the forbidden region. The dwell time in a semi-infinite potential step measures probability stored in divided by incident probability current. For incident amplitude one,
This gives a time in terms of through the definitions of . A simpler dimensional estimate is the penetration length divided by the incident speed, . The dwell time equals times that estimate. Different operational timing definitions need not agree; treating the imaginary under-barrier momentum as a real particle velocity would not justify a unique traversal time.
Using and , the nonrelativistic de Broglie wavelength and speed are
For the square interferometer, the enclosed area projected into a vertical plane is . The gravitational phase shift in matter-wave interferometry is to leading order in the small gravitational energy change. Thus rotation from horizontal to vertical changes the fringe count by
One way to see the phase is that the horizontal arms differ in gravitational potential energy by for a flight time . Which-path detection entangles the atom with distinguishable detector states. If those states are orthogonal and the path record is ignored, their coherence is lost and the interference fringes disappear. This is a loss of interference visibility, not a change in the atom's de Broglie wavelength.
For the macroscopic mass,
The ideal fixed-momentum expression tends to infinity as . An everyday localized object is not a perfectly coherent momentum eigenstate, however: its thermal and environmental momentum uncertainty remains nonzero, and decoherence rapidly suppresses spatially separated coherent alternatives. Merely setting the mean velocity to zero does not prepare an object with a macroscopic coherence length.
For a uniformly illuminated single slit of width , the far-field amplitude is proportional to , with . Its first zeros occur at . If the quoted peak width is the full width between those zeros, the small-angle geometry gives
The Fraunhofer diffraction approximation is appropriate since . If the supplied width instead meant a half-width or full width at half maximum, its numerical conversion factor would differ; the displayed answer states the first-zero convention explicitly.
The normalized linear polarization state is . A transmitted-photon count implements the projector . The Born rule gives
the single-photon form of Malus's law, assuming ideal polarizers and detection.
For the product state , the two projection amplitudes multiply. Therefore
The independent factors arise from this product input; they cannot be assumed for a general correlated pair state.
The classical mixture has density matrix . Average the probabilities of its two alternatives:
Alice's single-detector transmission probability is at every angle. Dividing by it gives
At , Alice's click does not distinguish the two classical alternatives. At zero, it selects the horizontally polarized alternative.
The normalized Bell state
has equal outcomes for any common real linear-polarization basis. In the stated rotated basis it is : the cross terms cancel when the inverse rotation is substituted.
Thus the coincidence probability for the transmitted ports is . At equal angles it is per emitted pair, while Bob transmits with probability one conditional on Alice's transmission. Both photons are blocked for the other half of ideal pairs. The phrase always in coincidence must therefore mean matching outcomes or conditional transmission, rather than unit unconditional transmission through both polarizers.
The classical mixture has no coherence between and ; it gives equal-angle coincidence probability at , rather than . The coherent quantum superposition maintains correlation in this rotated basis. Bob's unconditional transmission remains , so the conditional correlation does not permit signalling by Alice's polarizer choice.
Hamilton's principle makes the action stationary under variations vanishing at the endpoints. It need not be a strict minimum. Varying the action and integrating the velocity variation by parts gives
The endpoint term vanishes. Since the interior variations are arbitrary, the fundamental lemma of the calculus of variations yields
Write and assume . The derivative of the potential is . Its equilibrium positions are zero and for positive integers . At a nonzero equilibrium,
Thus the stable equilibria and their small-oscillation normal mode frequencies are
Even positive give unstable maxima. At zero the quadratic term vanishes but , so the equilibrium is still unstable; a zero linearized frequency does not prove stability. If the unspecified sign of were chosen negative, even- positions would be stable instead, together with a degenerate quartic minimum at zero whose frequency tends to zero with oscillation amplitude.
Figure 1.
Stable minima of the cosine-of-square potential and their small-oscillation frequencies
. Details.
For an infinitesimal continuous symmetry , allow the Lagrangian to change by a total derivative, . Direct variation gives
On a solution of the Euler-Lagrange equations, the first term vanishes. This proves Noether's theorem in the fixed-time form:
Spatial translations yield total momentum, and rotations yield angular momentum. Time translations yield energy when the Lagrangian has no explicit time dependence; this follows either from the extended time-transformation form of the theorem or by differentiating to obtain .
The central pair potential is invariant under simultaneous spatial translations, simultaneous rotations and time translations. The corresponding time-independent Noether charges are total momentum , total angular momentum about a fixed origin, and total energy .
In one dimension this supplies and : two charges. In two dimensions it supplies : four charges. In three dimensions it supplies three momentum components, three angular-momentum components and : seven charges. For generic states these listed charges are independent in those dimensions. Galilean boosts can also be expressed by explicitly time-dependent conserved combinations, but are not part of the requested translation-rotation-energy count.
In dimensions the antisymmetric angular momentum tensor has components
There are independent rotation generators. Together with translation generators and one time-translation generator, the standard Noether charge enumeration is therefore
The word independent here counts symmetry generators and tensor components; it needs qualification if it is meant as functional independence of all charges for only two particles in arbitrarily high dimension. In centre-of-mass coordinates, . Consequently , a nontrivial identity from dimension five onwards, since . Thus the displayed number is the symmetry-charge count; it is not an assertion that these functions have unrestricted values for a two-particle realization in every .
The canonical momentum is . If the velocity-momentum relation can be locally inverted, the Legendre transform defines , with the velocities expressed in terms of . Its differential is
The Euler-Lagrange equations then yield Hamilton's equations,
A singular velocity Hessian instead requires a constrained-Hamiltonian treatment.
The canonical momentum is , where . Eliminating velocity gives
Its Hamilton equations are and . In the limit , the Taylor expansion is , and . The additive rest energy does not change the classical free-particle equations.
Minimal electromagnetic coupling changes the canonical momentum to . The mechanical momentum is . The Legendre transform yields
The cancellation of in the Legendre transform does not remove magnetic effects: remains in the relation between canonical and mechanical momenta. The expression is the relativistic kinetic-plus-rest energy with an electrostatic potential-energy term, expressed in canonical variables.
Let . Hamilton's equations give
Subtracting from the second equation gives the familiar Lorentz force, , with and . This also checks the signs of both potential terms.
The canonical Poisson bracket is
The coordinate derivatives are Kronecker deltas, so direct substitution gives
For a phase-space function with no explicit time dependence, the chain rule and Hamilton's equations give
An explicitly time-dependent function would instead satisfy .
The Jacobi identity is . If have no explicit time dependence and are conserved, . Taking in that identity yields , or
Thus the Poisson bracket of the two conserved functions is another conserved function; it need not be independent of the original ones.
Articles were limited to the first 100 out of 283 total.

Articles by others on the same topic (0)

There are currently no matching articles.