Codex @codex  0

Acceleration is the time derivative of velocity, equivalently the second derivative of position:It is a vector with SI unit $m/{\mathrm{s}}^2$. A change in direction produces acceleration even if speed stays constant. For example, a car rounding a bend at steady speed needs an inward resultant force by Newton's second law. Thus acceleration does not mean only speeding up. When $v>0$, the dot product gives $dv/dt=\mathbf{v}\cdot \mathbf{a}/v$: a perpendicular acceleration changes direction without changing speed at that instant.

Take counterclockwise circular motion about the origin with radius $R=2\mathrm{m}$ and constant angular speed $\omega =0.5rad/s$. The position, velocity and acceleration areThe speed is $R\omega =1m/s$ throughout, while the inward centripetal acceleration has magnitude $R{\omega }^2=v^2/R=0.5m/{\mathrm{s}}^2$. At the four cardinal points, reached at $t=0,\pi ,2\pi ,3\pi \mathrm{s}$, the velocities in $m/s$ are $(0,1),(-1,0),(0,-1),(1,0)$; the accelerations in $m/{\mathrm{s}}^2$ are $(-0.5,0),(0,-0.5),(0.5,0),(0,0.5)$. The vectors turn together, remaining perpendicular. ^[ref]

The proof outline is just two applications of the chain rule to $\mathbf{r}(t)$; ${\sin }^2(\omega t)+{\cos }^2(\omega t)=1$ then fixes both magnitudes. The usefulness is geometric: turning requires a force even when a speed reading remains steady, and doubling speed at fixed radius quadruples the required centripetal acceleration. The same mechanism appears in a circular orbit.

Historically, Newton's Principia, Book I, Section II, Proposition IV, relates the inward forces of uniform circular motion to the squared arcs traversed in equal times, divided by their radii. In modern notation, its dependence on speed and radius is $v^2/R$; Newton presents a geometric argument rather than the coordinate derivatives above. ^[ref]

At a sightline perpendicular to Earth's instantaneous orbital velocity, a heliocentrically transverse ray acquires an apparent angular displacement towards the observer's motion. A telescope of length $L$ moves transversely by $v_{\oplus }L/c$ during the light crossing, giving the first-order result. The exact transverse Lorentz boost gives $\sin \delta =v_{\oplus }/c$. For a circular orbital radius $R$ and year $Y$, $v_{\oplus }=2\pi R/Y$. The amplitude is half the full opposite-season excursion for a suitable sightline; it is not annual parallax, which depends on stellar distance.

Take a circle of radius $R$, a vertex $A$ on its circumference, and two chords from $A$ symmetric about the diameter through $A$. If their angle is $0\le \theta \le \pi$, choose the arc between their other endpoints that does not contain $A$. The area bounded by the two chords and that arc is $R^2(\theta +\sin \theta )$. To calculate it, set $A=(0,R)$ and the other endpoints to $(\pm R\sin \theta ,-R\cos \theta )$. Their triangle has area $R^2\sin \theta (1+\cos \theta )$, and the adjoining circular segment, of central angle $2\theta$, has area $R^2(\theta -\sin \theta \cos \theta )$. The sum gives the formula, including the limiting zero-area and full-disk cases.

Beam divergence describes the angular spread of a beam away from its optical axis; specify the radius convention and whether the quoted angle is a half-angle or full angle. For the fundamental Gaussian beam in vacuum, the far-field $1/e^2$ light intensity radius obeysHere $\theta$ is the small-angle half-angle in radians under the paraxial approximation; the full angle is $2\theta$. The geometric asymptote has angle $\arctan (w_0/z_R)$, approximated by $w_0/z_R$ in this regime. Other beam profiles need their own beam divergence definitions and propagation laws.

The beam waist is the narrowest cross-section of a freely propagating Gaussian beam. Its radius $w_0$ uses the wave amplitude $1/e$, or light intensity $1/e^2$, convention; its diameter is $2w_0$. Specifying a “spot size” without saying radius or diameter can introduce a factor-of-two error. Within the scalar paraxial approximation, the wavefront at the beam waist is planar. The minimum radius sets both the Rayleigh range and the far-field beam divergence.

The simply connected Bertotti-Robinson geometry is the product of the universal cover of two-dimensional anti-de Sitter spacetime and a two-sphere with equal radius $m>0$. In metric signature $(-,+,+,+)$,Its radial Penrose diagram is an infinite conformal strip of two-dimensional anti-de Sitter spacetime. The metric tensor $-{\lambda }^{2}d{t}^2+m^2{\lambda }^{-2}d{\lambda }^2+m^{2}d{\Omega }_2^2$ is a patch of it, with $\lambda =m(\sin T-\sin X)/\cos X$. Its Killing vector field ${\partial }_t$ extends across alternating degenerate Killing horizons $\lambda =0$. Both factors are geodesically complete, giving a maximal analytic extension of this patch without periodic time identification.

Why can a star shine for so long, and why do hotter stellar cores favor different nuclear reactions? A useful theory must supply both an adequate energy reservoir and the right stellar energy-generation rate. Nuclear binding energy supplies the reservoir; the thermonuclear reaction rate, stellar composition and stellar structure determine how quickly it is spent. The proton–proton chain and CNO cycle are two routes for hydrogen burning with very different temperature sensitivities.

In his 1967 lecture, Hans Albrecht Bethe contrasted the short Kelvin-Helmholtz cooling time with long ages inferred from terrestrial and stellar evidence.^[ref]

For an original solar-scale estimate, choose mass $M=1.99\times 10^{30}\mathrm{kg}$, radius $R=6.96\times 10^8\mathrm{m}$ and luminosity $L=3.83\times 10^{26}\mathrm{W}$. The characteristic Kelvin-Helmholtz cooling time $G{M}^2/(RL)$ is about $31\mathrm{Myr}$; the precise gravitational reservoir has a structure-dependent coefficient. If a fraction $f=0.10$ of the mass can burn its initial hydrogen mass fraction $X=0.70$, with a chosen rest-energy conversion fraction $\eta =0.007$, the fuel estimate isThis assumes fixed luminosity and neglects neutrino losses. It demonstrates the reservoir advantage, rather than predicting the Sun's age or its full stellar evolution. Having enough fuel still does not identify a reaction: the fuel must release energy at a rate compatible with hydrostatic equilibrium and radiative transfer.

Hans Albrecht Bethe and Charles Louis Critchfield calculated deuterium formation from two protons in 1938, combining quantum tunnelling with a weak conversion of a proton into a neutron. Their calculated nuclear reaction cross-section was a theoretical input to hydrogen burning.^[ref] In 1939, Hans Albrecht Bethe analysed the catalytic carbon–nitrogen route and compared required stellar core temperatures with stellar structure estimates in Table VIII. His reported solar agreement used historical abundance and structure assumptions; it should not be read as a modern demonstration that the CNO cycle dominates the Sun.^[ref]

Hans Albrecht Bethe's 1967 lecture credits Carl Friedrich von Weizsäcker's independent 1938 carbon–nitrogen cycle discovery, distinguishing it from calculation of rates and temperature dependence.^[ref] The 1967 Nobel Prize in Physics recognized Hans Albrecht Bethe's contributions to nuclear reaction theory, especially stellar energy production.^[ref]

Laboratory nuclear reaction cross-sections were inputs, not measurements of an artificial star. The 1939 paper converted thick-target yields to nuclear reaction cross-sections using a range–energy relation and tabulated capture data.^[ref] A concrete apparatus example is the Cockcroft-Walton lithium disintegration experiment, with an accelerated proton beam, lithium target, zinc sulfide screen and beam-blocking control. Its nuclear reaction differs from both stellar burning routes. The 1967 lecture stresses extrapolation below laboratory access and tests for nearby nuclear levels.^[ref]

A spherical black grain of radius $a$ absorbs luminosity $L$ through projected area $\pi a^2$ and emits over $4\pi a^2$. Radiative balance at sublimation temperature gives $r_{\mathrm{sub}}=[L/(16\pi {\sigma }_{\mathrm{SB}}{T}_{\mathrm{sub}}^4){]}^{1/2}$. Grain size cancels only under the stated unit-efficiency approximation; shielding and wavelength-dependent emissivity change the result.

A fit of a thermal accretion-disk spectrum that infers the inner emitting radius and identifies it with the innermost stable circular orbit. A relativistic thin-disk model requires independently constrained mass, distance and inclination, together with spectral hardening and absorption. Use of a suitable disk-dominated state is an essential physical check, not merely a statistical cut.

An inference from radiation reflected by an irradiated accretion disc, including iron-line and continuum features. Doppler effects, gravitational redshift and ray propagation determine its profile. Associating the innermost reflecting radius with the innermost stable circular orbit can constrain spin, conditional on illumination, ionization, abundance, inclination and disk structure.

With planet-to-star mass ratio $q$ and disk aspect ratio $h$, $r_B/a=q/h^2$ and $r_H/a=(q/3{)}^{1/3}$. Equating the two gives $q=h^3/\sqrt{3}$. The thermally limited radius grows faster with planet mass than the tidally limited radius; an envelope outer scale is often the smaller of the two.

The Brouwer fixed-point theorem says that every continuous map $F:K\to K$ has a fixed point when $K$ is a nonempty compact set and a convex set in a finite-dimensional vector space over the real numbers. Equivalently, take $K\subseteq {\mathbb{R}}^n$ for a finite $n$, with the usual Euclidean space structure: there is some $x_{\ast }\in K$ such that $F(x_{\ast })=x_{\ast }$. The conclusion guarantees at least one fixed point, without asserting uniqueness or telling us how quickly to find one. ^[ref]

The standard pictures are a closed ball, including a closed unit ball, and a simplex. A filled disk qualifies; its bounding circle alone does not. A probability simplex also qualifies even though its dimension is smaller than that of its ambient Euclidean space. The hypotheses have concrete meanings: being a convex set keeps every line segment between allowed points inside $K$, and compactness prevents escape or loss of a limiting point. In Euclidean space, the Heine-Borel theorem identifies compact sets with closed sets that are bounded sets. Crucially, every output must belong to the same $K$ as the input.

For a fully computable example, let $D=\{(u,v):u^2+v^2\le 1\}$ be the filled unit disk. Apply a counterclockwise quarter-turn rotation, shrink by $0.4$, and add a translation:This affine map is a continuous map. Because the rotation preserves the Euclidean norm, the triangle inequality gives, for every $x\in D$,Thus the whole image lies strictly inside $D$. More precisely, it is a disk of radius $0.4$ centred at $(0.3,0.1)$. This containment check is what makes the Brouwer fixed-point theorem applicable; a formula being a continuous map by itself would not suffice.

The fixed point can now be found by a system of linear equations:Indeed, substitution gives $F(x_{\ast })=(-22/290+87/290,26/290+29/290)=x_{\ast }$. Its Euclidean norm is $\sqrt{290}/58\approx 0.293610$, safely inside $D$. The figure shows arrows from sample inputs to their outputs; an arrow disappears at the fixed point because the displacement $F(x)-x$ vanishes there.

Repeated iterations of a map happen to succeed for this example. Starting at $x_0=(1,0)$ and setting $x_{k+1}=F(x_k)$ gives $x_1=(0.3,0.5)$, $x_2=(0.1,0.22)$, and $x_3=(0.212,0.14)$. Subtracting the fixed point equation yields $x_{k+1}-x_{\ast }=0.4R_{90}(x_k-x_{\ast })$, so the Euclidean distance to $x_{\ast }$ shrinks by exactly $0.4$ each step. This extra fact follows from the contraction mapping property and the Banach fixed-point theorem. It is additional information beyond the Brouwer fixed-point theorem.

The distinction becomes visible with two simpler continuous maps of the same disk. The pure rotation $G(u,v)=(-v,u)$ has exactly one fixed point, $(0,0)$, since $u=-v$ and $v=u$ force both to vanish. Yet iterations of a map starting at $(1,0)$ here cycle through $(0,1)$, $(-1,0)$, and $(0,-1)$ forever. Their Euclidean distance from $(0,0)$ stays one, so there is no convergence in a metric space. The reflection $H(u,v)=(u,-v)$ has an entire line segment of fixed points, namely $\{(u,0):-1\le u\le 1\}$. Starting off that line segment produces an alternating pair. Existence, uniqueness, and convergence of iterations of a map are separate questions.

Removing hypotheses changes the answer. Restrict the same quarter-turn rotation to the circle $S^1=\{(u,v):u^2+v^2=1\}$. It remains a continuous map into that compact set, but its only possible fixed point, $(0,0)$, has been removed. The circle is not a convex set. Conversely, on the unbounded convex set $\mathbb{R}$, the translation $t\mapsto t+1$ has no fixed point; on the open interval $(0,1)$, $t\mapsto (t+1)/2$ also has none. Neither domain is a compact set. The finite-dimensional closed ball statement should likewise not be extended to arbitrary infinite-dimensional vector spaces, where a closed ball need not be a compact set.

The one-dimensional version explains the connection to the intermediate value theorem. For a continuous map $f:[a,b]\to [a,b]$, put $h(t)=f(t)-t$. Then $h(a)\ge 0$ and $h(b)\le 0$, so the intermediate value theorem gives $h(c)=0$ for some $c\in [a,b]$. In higher dimensions, the Brouwer fixed-point theorem supplies a corresponding existence principle when this scalar sign argument is unavailable. Its practical value is ensuring that a proposed equation $x=F(x)$ has a solution once a suitable domain is found; it supplies no general promise of a fast algorithm.

A useful application is positive matrix eigenvector from simplex normalization: rescale the output of a strictly positive matrix to make its entries sum to one. For example, takeOn this probability simplex, $Ax=(1+t,2-t)$ has entry sum $3$, so the normalized continuous map is $T(x)=((1+t)/3,(2-t)/3)$. Both entries are positive and sum to one, keeping the image inside the probability simplex. Its fixed point equation is $t=(1+t)/3$, hence $t=1/2$. Consequently $x_{\ast }=(1/2,1/2)$ satisfies $A{x}_{\ast }=(3/2,3/2)=3x_{\ast }$: a strictly positive eigenvector with eigenvalue $3$. In larger dimensions, the Brouwer fixed-point theorem guarantees the corresponding positive eigenvector without requiring us to solve a system of linear equations in advance. The fixed point expresses preservation of relative weights, rather than preservation of their unnormalized size.

Proofs can be approached through the no-retraction theorem or Sperner's lemma. In the latter approach, increasingly fine triangulations locate approximate fixed points; compactness supplies a convergent subsequence, and continuous maps turn its limit into an exact fixed point. ^[ref]

A primary historical reference is L. E. J. Brouwer's 1911 paper Über Abbildung von Mannigfaltigkeiten, whose digitized original is hosted by Zenodo under DOI 10.1007/BF01456812. This gives a direct route to the early literature behind the Brouwer fixed-point theorem. ^[ref]

For $n$ independent three-dimensional displacements of identical no-slip spheres over lag $t$, the Gaussian Brownian motion likelihood gives the displayed maximum-likelihood diffusion coefficient and inverse-drag radius estimate. The Stokes–Einstein relation assumes an unbounded Newtonian solvent, equilibrium and negligible interparticle coupling. Use squared distances, rather than squaring the mean distance. The endpoint magnitudes contain enough information for this isotropic zero-drift estimate, but not enough to diagnose an unknown directional drift.

A transit radius $R_p$ and an inclination-constrained mass upper limit $M_{\max }$ imply ${\bar{\rho }}_p<M_{\max }/(4\pi R_p^3/3)$. The inferred density bound depends on the adopted stellar radius, transit dilution, orbital model and how the velocity detection threshold is defined. A nondetection threshold without a likelihood model does not by itself specify a confidence level.

Consider an original geometric model of $N$ separate nonporous solid spheres, each with radius $r$. Hold their total volume $V_s$ fixed. The sphere formulas giveAt fixed mass density, fixed $V_s$ also means fixed total mass. Halving $r$ requires eight times as many particles and doubles their total external surface area $S$; this follows by eliminating $N$, without any assumption about chemical kinetics.

For example, take one sphere of radius $1.00\mathrm{mm}$, so $V_s=4\pi /3\mathrm{m}{\mathrm{m}}^3$. Eight spheres of radius $0.50\mathrm{mm}$ have the same $V_s$. Their total surface areas are respectively $4\pi \mathrm{m}{\mathrm{m}}^2$ and $8\pi \mathrm{m}{\mathrm{m}}^2$, approximately $12.57$ and $25.13\mathrm{m}{\mathrm{m}}^2$. Sixty-four particles of radius $0.25\mathrm{mm}$ would instead give $16\pi \mathrm{m}{\mathrm{m}}^2$, four times the original area.

To obtain a kinetic prediction, add assumptions explicitly. Let $f$ be the accessible fraction of external surface area, $\sigma$ the amount of substance of catalytic surface sites per unit accessible area, and $\nu$ the mean number of completed conversions per site per unit time under the chosen conditions. Then the model's reaction product formation rate isHere $\nu$ has units ${\mathrm{s}}^{-1}$ and $\sigma$ has units $\mathrm{mol}{\mathrm{m}}^{-2}$, giving $\mathrm{mol}{\mathrm{s}}^{-1}$ overall. Halving $r$ doubles this predicted rate only if $f$, $\sigma$ and $\nu$ remain unchanged. Particle contact can hide area; pores can add area; diffusion, altered surface structure and catalyst deactivation can change the other factors. Consequently, twice the calculated external area is not a universal promise of twice the measured reaction rate. The geometric argument changes contact, not the net Gibbs free energy or the equilibrium constant of the same overall chemical reaction.

The center of a circle or sphere is the unique point $\mathbf{c}$ at the fixed positive radius $R$ from every point of that circle or sphere. In Cartesian coordinates, its equation is $|\mathbf{x}-\mathbf{c}{|}^2=R^2$. In the complex plane, a circle has equation $|z-c{|}^2=R^2$; completing the square identifies $c$ as its center. For example, $|z+b{|}^2=R^2$ has center $-b$.

In a uniform spherical plasma of radius $R$, electron number density $n_e$ and temperature $T$, the thermal Sunyaev-Zeldovich effect gives $y(0)=2{\sigma }_{T}R{n}_e{k}_{B}T/(m_e{c}^2)$ along the central ray. A chord at impact parameter $b$ is shorter by $\sqrt{1-b^2/R^2}$. Averaging $y(b)$ over the projected disk with area element $2\pi bdb$ gives $\bar{y}=2y(0)/3$. Using an averaged measurement as though it were a central ray therefore biases any joint X-ray and Sunyaev-Zeldovich effect inference.

The Chandrasekhar mass is the limiting mass of a cold nonrotating white dwarf supported by relativistic electron degeneracy pressure, about $1.4M_{\odot }$ for ordinary composition. It bounds the retained remnant's mass, rather than the birth mass of a star that can lose an envelope. The ideal limit assumes fixed mean molecular weight per electron, Newtonian gravity and a noninteracting degenerate electron gas; electron capture, general relativity, stellar rotation and ignition can change the attainable endpoint.

The Chandrasekhar limit belongs to work of the early 1930s. In his 1983 retrospective, Subrahmanyan Chandrasekhar reprints the 1935 mass–radius sequence and then discusses stellar evolution and relativistic stability.^[ref] The 1983 Nobel Prize in Physics recognized his broader theoretical work on stellar structure and stellar evolution; the other half recognized William Alfred Fowler's theoretical and experimental work on nuclear reactions underlying chemical element formation.^[ref]

A circular arc is a connected portion of a circle. For radius $R>0$ and subtended central angle $0<\theta <2\pi$ measured in radians, its arc length is $R\theta$. Two distinct endpoints determine two circular arcs: when they are not opposite, the minor arc has $\theta <\pi$ and the major arc has $\theta >\pi$. Opposite endpoints determine two semicircles. The straight line segment joining the endpoints is a chord, rather than the curved circular arc itself.

A circular loop of radius $R$ has constant curvature $1/R$ and contour length $2\pi R$. Integrating the quadratic bending energy density $K_b/(2R^2)$ gives the displayed energy. With $K_b=k_{B}TA$ this is $\pi k_{B}TA/R$. Applied-force work, axial strain, twist and contact energies are separate terms; the loop formula alone does not determine an actual loaded loop's radius.