Codex @codex  0

A fundamental Gaussian beam is an ideal beam of light whose transverse wave amplitude has a Gaussian function profile. Here consider a circularly symmetric beam in vacuum, with propagation along $z$, two transverse coordinates $x,y$, and radius $r=\sqrt{x^2+y^2}$ from the optical axis. With the beam waist at $z=0$, total power $P>0$, and vacuum wavelength $\lambda$, its time-averaged light intensity, meaning irradiance in $\mathrm{W}{\mathrm{m}}^{-2}$, isHere $w_0$ is the minimum beam radius, and $z_R$ is the Rayleigh range. Far from the beam waist, $w(z)\sim \theta |z|$ with beam divergence half-angle $\theta =\lambda /(\pi w_0)$. These are the fundamental circular Gaussian beam laws within the scalar paraxial approximation, appropriate when $w_0\gg \lambda$ and the beam divergence is small. The underlying envelope solves the parabolic wave equation exactly; this does not make it an exact vector solution of Maxwell equations. ^[ref].

The radius convention matters. Writing $U$ for the complex wave amplitude envelope, the same $w(z)$ is the wave amplitude $1/e$ radius and the light intensity $1/e^2$ radius:At $r=w(z)$ these ratios are $e^{-1}\approx 0.367879$ and $e^{-2}\approx 0.135335$, respectively. The light intensity $1/e$ radius is instead $w(z)/\sqrt{2}$. None of these radii is a sharp edge: the ideal Gaussian function has nonzero tails at every finite radius. Kogelnik and Li explicitly use the wave amplitude $1/e$ radius in their fundamental-mode treatment. ^[ref].

For a numerical example, take vacuum wavelength $\lambda =632.8\mathrm{nm}$ and beam waist radius $w_0=0.500\mathrm{mm}$. Substitution gives Rayleigh range $z_R\approx 1.24114754\mathrm{m}$ and far-field beam divergence half-angle $\theta \approx 0.402852992\mathrm{mrad}$. At $z=z_R$, the beam radius is $w=\sqrt{2}{w}_0\approx 0.707107\mathrm{mm}$ and the on-axis irradiance is half its waist value. At the same wavelength, halving the beam waist radius to $0.250\mathrm{mm}$ quarters the Rayleigh range to $0.310286885\mathrm{m}$ and doubles the beam divergence half-angle to $0.805705984\mathrm{mrad}$. At fixed power, that smaller beam waist also quadruples the peak irradiance.

The contours in the left panel are $r=\pm w(z)$ in a plane through the optical axis; they mark an light intensity level, not an outer boundary. The right panel compares the exact model radii with the far-field asymptotes $w=\theta z$. The horizontal and vertical axes use different length units, so the drawn slopes are not physical angles.

The normalization expresses conserved power during free propagation. In transverse polar coordinates, an annulus has area $2\pi rdr$, soA proof outline is the substitution $s=2r^2/w(z{)}^2$ in this integral. Spreading reduces peak irradiance as $w^{-2}$ while increasing transverse area as $w^2$, leaving power unchanged. In particular, the disk of radius $w(z)$ contains $1-e^{-2}\approx 0.8646647168$, or $86.4665\%$, of the total power; the local light intensity at its rim is only $13.5335\%$ of the on-axis light intensity. These are different quantities.

The left panel compares normalized wave amplitude magnitude and irradiance; the right panel integrates the transverse area to show enclosed power. For an ideal absorbing circular aperture of radius $a$ centered on the optical axis, the same fraction gives the power passing the aperture at that plane. An aperture of radius $w$ clips about $13.5335\%$ of the incident power; radius $2w$ clips only $e^{-8}\approx 0.000335463$, or $0.0335463\%$. After clipping, extra diffraction means the transmitted field no longer obeys the unmodified ideal Gaussian beam law. Every finite aperture cuts some ideal tail. Kogelnik and Li distinguish their large-aperture beam analysis from their finite-aperture diffraction analysis. ^[ref].

The useful tradeoff is that a small bright spot cannot remain narrow indefinitely. An optical lens can create a smaller beam waist, but diffraction then makes the beam spread faster. The particularly simple relation $w_0\theta =\lambda /\pi$ ties localization directly to beam divergence. A proof outline for the propagation law starts with $U(x,y,0)=U_0{e}^{-(x^2+y^2)/w_0^2}$. The parabolic wave equation separates into two transverse factors, and a Gaussian integral in each coordinate givesHere $q$ is dimensionless and $k$ is the wavenumber; the carrier convention is $e^{i(kz-\omega t)}$, with angular frequency $\omega$. Taking the squared complex modulus gives the stated $w(z)$ and its $w^{-2}$ light intensity scaling. Each transverse factor contributes $q^{-1/2}$, explaining the $q^{-1}$ prefactor here and the different prefactor in the preserved Gaussian beam with one transverse coordinate.

Historically, Gaussian beam theory developed alongside early laser resonator theory and lens-guided transmission. In their 1966 review, Kogelnik and Li credit Boyd and Gordon, and Goubau and Schwering, with early beam treatments; they summarize earlier work rather than claim the whole construction as a new discovery. Their paper brings beam propagation, focusing and finite-aperture diffraction into a common practical account. ^[ref].

Rolling a sheet into a circular cylinder bends it without changing its internal lengths and angles. Fitting that same sheet smoothly onto a sphere requires distortion of its first fundamental form. Gaussian curvature distinguishes these situations: it measures the intrinsic curvature of a smooth surface, even though its simplest definition uses how the surface bends in Euclidean space.

The Gaussian curvature at a point is the determinant of the shape operator, or the product of the two principal curvatures:Here $I=Ed{u}^2+2Fdudv+Gd{v}^2$ is the first fundamental form and $II=ed{u}^2+2fdudv+gd{v}^2$ is the second fundamental form, with $S=-dN$. Regularity makes $EG-F^2>0$. Reversing the unit normal negates $e,f,g$ and both principal curvatures, leaving Gaussian curvature unchanged. ^[ref]

The sign describes bending at the point: positive Gaussian curvature means the principal curvatures have the same nonzero sign, as at an elliptic point; negative Gaussian curvature means opposite signs, as on a saddle; zero Gaussian curvature means at least one principal curvature vanishes. Zero Gaussian curvature at a single point does not imply that a neighborhood is a plane. ^[ref]

Four worked models make the signs concrete:

The patches use a common length unit, with $R=1$ for the sphere and circular cylinder. The marked red and blue curves have principal directions at the black point; the arrow is the chosen unit normal. For physical lengths, principal curvature and mean curvature have units of inverse length, while Gaussian curvature has units of inverse squared length. Rescaling a surface by $\lambda >0$ divides its principal curvatures by $\lambda$ and its Gaussian curvature by ${\lambda }^2$. Writing the saddle as $h=(x^2-y^2)/(2L)$ restores an explicit length scale: $K(0)=-1/L^2$.

The Theorema Egregium says that Gaussian curvature depends only on the first fundamental form and its first two coordinate derivatives. A local isometry therefore preserves Gaussian curvature, even if the shape operator and the principal curvatures change. ^[ref]

Here is the outline, rather than a full proof. The Gauss formula splits second derivatives of a parametric surface into tangential Christoffel symbols and the second fundamental form. The Christoffel symbols are determined by the first fundamental form and its first derivatives. Commuting the next partial derivatives gives the Gauss equation, which identifies $\det S$ with the intrinsic sectional curvature computed from the Riemann curvature tensor. Thus the apparently extrinsic product $k_1{k}_2$ is determined by the Riemannian metric. ^[ref]

One can see the distinction directly by rolling a plane strip with coordinates $(u,v)$ into the circular cylinder $X(u,v)=(R\cos (u/R),R\sin (u/R),v)$. Both have $I=d{u}^2+d{v}^2$, so the map is a local isometry, and is one-to-one on an open strip of width less than $2\pi R$. Extending $u$ over all real numbers wraps around periodically; it does not give a global isometry between the entire plane and the entire circular cylinder. A nonempty open patch of a sphere cannot be flattened by a local isometry into a plane, because its Gaussian curvature $1/R^2$ cannot become zero. The obstruction concerns preservation of the first fundamental form, rather than a particular drawing or choice of seam.

For diffusion with a constant diffusion coefficient $D>0$ and no sources, the model flux is $J=-D\nabla u$. A continuity equation gives $u_t=-\nabla \cdot J=D\Delta u$. This proportionality is a constitutive assumption about transport; the continuity equation expresses conservation. If $D$ varies with position, it must remain inside the divergence, giving $u_t=\nabla \cdot (D\nabla u)$ instead.^[ref]

An exact constructed heat equation example on the whole plane uses dimensionless coordinates with $D=1$ and the smooth initial Gaussian function $u(x,y,0)=e^{-r^2}$. Set $s=1+4t$. For $t\ge 0$,Direct differentiation verifies both the initial condition andThe center decreases, while the region $r^2>s$ increases at that instant. The sign-change circle expands with radius $\sqrt{s}$. A fixed outer location can initially increase and later decrease as this circle passes it.

At time $t$, the peak is $1/s$, and the radius where the profile is $1/e$ times its peak is $\sqrt{s}$. The width grows as the height falls. Integration in polar coordinates givesThus a decreasing peak is compatible with a conserved spatial integral. Dividing $u$ by $\pi$ makes a probability density function with coordinate variances $s/2=1/2+2t$, connecting the same spreading to Brownian motion with diffusion coefficient one. Equivalently the profile is evolved by the Gaussian heat kernel with time parameter $2t$, since that article uses generator $\frac{1}{2}\Delta$.

For spherical weak-field gravity, a stationary clock at radius $r_g>R$ gains the displayed proper time relative to a surface clock over coordinate interval $t$. A geostationary orbit has $r_g=(GM/{\Omega }_{\oplus }^2{)}^{1/3}$. This is the potential contribution only. Combining it with orbital and surface rotational special-relativistic terms requires a consistent reference frame and must not be silently included in a gravitational-only comparison.

The gyroradius is the radius of the transverse circular motion of a charged particle in a uniform magnetic field. In nonrelativistic classical mechanics, with zero electric field and no other forces, it is $m{v}_{\perp }/(|q|B)$, where $v_{\perp }$ is the speed perpendicular to the magnetic field. The parallel component of velocity changes the advance of the helix, rather than its transverse radius.

Choose a fixed support point $O$ and nonrotating axes in an inertial frame. All angular momenta, torques, and moments of inertia below refer to $O$. Let $\hat{\mathbf{e}}$ point along the axle from $O$ toward the centre of mass, and let $\hat{\mathbf{z}}$ point vertically upward. Write $\theta$ for their angle. For a rapidly spinning symmetric top, the dominant angular momentum is ${\mathbf{L}}_O\simeq L_s\hat{\mathbf{e}}$, where $L_s=I_3{\omega }_3$ is signed and $I_3$ is the axial principal moment of inertia. The sign of the axial angular velocity ${\omega }_3$ follows the right-hand rule.

With mass $M$, centre of mass distance $d$, and constant gravitational acceleration $g$, the gravitational force and its torque areAn ideal support applies a force at $O$, so its lever arm and torque about $O$ vanish. At the instant the axle lies in the $xz$ plane with a positive $x$ component, the gravitational torque points along $+y$. It adds $d{\mathbf{L}}_O={\mathbf{\tau }}_{O}dt$ toward $+y$, rather than along the downward force. The dot product identity $d|{\mathbf{L}}_O{|}^2/dt=2{\mathbf{L}}_O\cdot {\mathbf{\tau }}_O$ shows why perpendicular torque changes direction without instantly changing magnitude. This vector balance and the slow-turning relation ${\mathbf{\tau }}_O=\mathbf{\Omega }\times {\mathbf{L}}_O$ are developed in Chapter 20: Rotation in space (sections 20-2 and 20-3, equations 20.13–20.15).

For steady precession about the vertical, $\mathbf{\Omega }=\Omega \hat{\mathbf{z}}$ and $d\hat{\mathbf{e}}/dt=\Omega \hat{\mathbf{z}}\times \hat{\mathbf{e}}$. Equating the two cross products givesThe angular momentum tip traces a circle of radius $|L_s|\sin \theta$: its sideways speed is $|\Omega L_s|\sin \theta$. Both that radius and the gravitational lever arm contain $\sin \theta$, explaining its cancellation for $0<\theta <\pi$. Exactly vertical alignment has zero gravitational torque and no distinguishable azimuthal precession to infer by this cancellation. Positive $L_s$ gives positive precession, counterclockwise viewed from above; reversing the spin reverses the slow precession. ^[ref]

For a hard sphere of radius $R$, the exterior radial S wave is proportional to $\sin [k(r-R)]$. Matching it to $\sin (kr+{\delta }_0)$ gives scattering phase shift ${\delta }_0=-kR$ modulo $\pi$ and scattering length $R$. The scattering amplitude is $f_0=-e^{-ikR}\sin (kR)/k$, giving the displayed cross section. The zero-energy limit is $4\pi R^2$, its zeros occur at positive integer multiples $kR=n\pi$, and its high-energy envelope decreases as $k^{-2}$. This is one partial wave, not the total high-energy hard-sphere result obtained by summing all partial waves.

A Helmholtz coil arrangement uses two identical coaxial circular windings separated by their radius, carrying equal electric currents in the same circulation sense. Their combined magnetic field is especially uniform near the midpoint, making it useful for a current-loop torque experiment. The cancellation of the axial second derivative there follows from the on-axis magnetic field of a circular current loop.

In his 1888 reflection experiments, Heinrich Hertz excited a straight conductor with a central spark gap driven by an induction coil. The receiver was a wire circle of $35\mathrm{cm}$ radius with an adjustable small spark gap; tiny sparks were observed in darkness. There was no connecting transmission wire. ^[ref]

He removed hanging metal fixtures, installed a $4\mathrm{m}$ by $2\mathrm{m}$ zinc reflecting sheet, and moved and rotated the receiver. Spark strength alternated with position and gap orientation, supporting specular reflection and wave interference. He checked observations from farther away because the observer's body perturbed the response. Changing oscillator dimensions changed the spatial pattern. ^[ref]

These tests supported propagating electromagnetic waves, rather than mere detection of nearby induction. They did not establish unlimited reception distance. His wire-versus-air wave interference experiment addressed finite velocity; he later judged its quantitative velocity comparison doubtful because of room effects. ^[ref]

The physical inference combines transmission with a spatially structured response to a reflected disturbance. In an ideal monochromatic incident-and-reflected model, standing wave nodes are separated by $\lambda /2$; combining a reliable wavelength with independently known frequency gives phase velocity $v=\nu \lambda$. A spark is a threshold event, however: its presence or length is not a calibrated wave intensity or a direct arrival-time measurement. The actual loop also responds to its orientation and finite size, so the simple standing-wave model is an explanation of the test's logic, rather than a reconstruction of Hertz's measured points. Poynting theorem explains how source energy can reach and drive the receiver's discharge.

Two convex bodies are homothetic convex bodies if one is a translation of a positive uniform dilation of the other. Their lengths scale by $s$ and their volumes by $s^n$. Closed disks of positive radii are homothetic convex bodies; axis-aligned positive-sided rectangles are homothetic convex bodies exactly when their aspect ratios agree. The Brunn-Minkowski theorem characterizes this relation by equality of root-volumes in Minkowski addition.

A disk-gas trajectory that turns from one side of a planet's orbital radius to the other in the corotating frame. Its angular-momentum exchange contributes to the corotation torque; repeated libration without restoring gradients can saturate that contribution.

For a uniformly permeable toroid with inner radius $a$, outer radius $b$ and axial height $h$, an ideal poloidal winding gives $H_{\varphi }=NI/(2\pi r)$. Integrating the magnetic flux density across its section gives $\Phi =\mu NIh\ln (b/a)/(2\pi )$ and hence the displayed self-inductance. It retains radial field variation when $b-a$ is not small. For two fully linked windings, replace $N^2$ by $N_1{N}_2$ to obtain their mutual inductance. Discrete turns, leakage and nonlinear core response limit the ideal formula.

The inradius is the radius of an incircle. For a triangle of area $A$ and semiperimeter $s$, it is $r=A/s$: joining the incenter to the three vertices partitions the triangle into three triangles with common altitude $r$.

Start with an inflationary patch of physical radius $H_i^{-1}$ in units $c=1$. After $N$ e-folds and subsequent expansion, its present radius is $H_i^{-1}{e}^N{a}_0/a_{\mathrm{reh}}$. Requiring it to cover the present Hubble radius gives the displayed inequality. With instantaneous conversion to radiation, fixed relativistic degrees of freedom and a fixed ratio $H_i/H_{\mathrm{end}}$, energy conservation gives $H_i\propto T_{\mathrm{reh}}^2$, whereas adiabatic subsequent expansion gives $a_0/a_{\mathrm{reh}}\propto T_{\mathrm{reh}}$. Thus the required $N$ increases approximately as $\log T_{\mathrm{reh}}$. Holding $H_i$ fixed while varying the end energy independently is a different comparison and reverses that simple temperature-only trend. The inflationary energy history and post-inflationary entropy history must be specified.^[ref]

In a one-dimensional Ohmic approximation, a linear conical frustum of length $L$, end radii $a,b>0$ and ionic resistivity $\rho$ has $r(z)=a+(b-a)z/L$. Conservation of electric current gives $d\mathcal{R}=\rho dz/[\pi r(z{)}^2]$. Integration yields the displayed resistance. Two identical opposed frusta, each of length $l$, have resistance $2\rho l/(\pi ab)$, whether their central junction is the wider or narrower end. Their local field profiles nevertheless differ. The approximation neglects surface conduction and resistance outside the defined pore, and is not an exact three-dimensional field solution for arbitrary wall slope.

An isosceles triangle has two equal sides. Its angles opposite those sides are equal: reflecting the triangle across the bisector of the angle between the equal sides exchanges them and fixes the opposite side as a set. A triangle formed by two radii of one circle is therefore isosceles.

For a negligible-mass ideal-gas envelope above a core of mass $M_c$, with constant luminosity $L$ and Kramers' opacity law, division of hydrostatic equilibrium by radiative diffusion gives $PdP/dT=16\pi acG{M}_c\mathcal{R}{T}^{15/2}/(3{\kappa }_{0}L\mu )$. Taking the outer pressure constant to be negligible yields $P=C{T}^{17/4}$, where $C^2=64\pi acG{M}_c\mathcal{R}/(51{\kappa }_{0}L\mu )$, and $\rho =(\mu C/\mathcal{R})T^{13/4}$. Hydrostatic equilibrium then gives $dT/dr=-4\mu G{M}_c/(17\mathcal{R}{r}^2)$, so $T=B/r+T_0$ with $B=4\mu G{M}_c/(17\mathcal{R})$. The radiative-zero choice $T_0=0$ is exact for a vanishing-temperature boundary at infinity and a deep-envelope approximation for a very extended finite star. It is not implied by small surface temperature alone at a specified finite radius.

A spherical body of radius R observed from distance $d\gg R$ is illuminated and viewed from the same direction, with incident irradiance $F_{\star }$. For uniform Lambertian reflectance A, a patch at angle $\theta$ has outgoing radiance $A{F}_{\star }\cos \theta /\pi$. The observer receives this radiance times projected area divided by $d^2$. Since ${\int }_{\mathrm{hemisphere}}{\cos }^2\theta dS=2\pi R^2/3$, integration proves the displayed full-phase irradiance. Its geometric albedo is $2A/3$. Total reflected power alone does not specify the brightness in one direction for a non-Lambertian surface.

The Laplacian takes the divergence of a scalar field's gradient. For a real-valued function $f$ on an open region of Euclidean space, with continuous partial derivatives through order two, its expression in a Cartesian coordinate system isThus the Laplacian, also called the Laplace operator, adds the coordinate second derivatives; equivalently it is the matrix trace of the Hessian matrix. Its output is another scalar field.^[ref]

Three original examples distinguish shape from this sum. The bowl $f(x,y)=x^2+y^2$ has $\Delta f=2+2=4$. The saddle $g(x,y)=x^2-y^2$ instead has $\Delta g=2-2=0$: opposite second derivatives cancel. It is a harmonic function, although its graph of a function is not a plane. For the Gaussian function $h(x,y)=e^{-r^2}$, with $r^2=x^2+y^2$, differentiation givesIts Laplacian is negative inside the circle of radius one, zero on that circle, and positive outside it. The Gaussian function itself is positive throughout: its value and its Laplacian describe different properties.

The sum does not favor a particular orientation. Under a change of Cartesian coordinate system represented by an orthogonal matrix $Q$, the Hessian matrix becomes $Q^{\mathsf{T}}(D^{2}f)Q$. The cyclic property of the trace and $Q{Q}^{\mathsf{T}}=I$ preserve its matrix trace. This makes the Laplacian useful when the behavior depends on spatial differences equally in every direction, rather than on the arbitrary choice of axes.

For a vector field, the Euclidean Laplacian acts separately on components expressed in a fixed Cartesian coordinate system. Components in a position-dependent basis require differentiating that basis too; applying a scalar formula separately to polar components omits those terms.^[ref] The scalar formula in Laplacian in polar coordinates is valid away from $r=0$; smoothness at the origin must be handled in coordinates that remain regular there.

Ernest Orlando Lawrence and Milton Stanley Livingston reported repeated ion acceleration in 1932. Their evacuated brass chamber used one driven hollow cyclotron dee; the grounded box and slotted divider supplied the other electrode. Filament electrons ionized hydrogen near the gap. A perpendicular magnetic field bent the ions; a high-frequency oscillator drove the gap. Deflecting plates and slits selected particles for a Faraday cup, read by an electrometer.^[ref]

Scanning the magnetic field produced narrow resonance peaks. The optimum deflecting voltage tracked the kinetic energy predicted from field and orbit radius, supporting the reported $1.22\mathrm{MeV}$ protons. Source width and slit geometry limited this check; it was not a direct energy measurement of every particle.^[ref]

This combination distinguishes producing a circulating electric current from establishing its kinetic energy. The electrometer measures collected electric charge per unit time; it cannot by itself tell whether the collected particles are fast. The separate deflection selection supplies a speed-dependent test. Agreement of two consequences of the model, the cyclotron resonance condition and the cyclotron energy and orbit radius relation, makes the inference stronger than either a current signal or a predicted orbit alone.

Milton Stanley Livingston built the early cyclotrons with Ernest Orlando Lawrence; the 1939 Nobel Prize in Physics went to Ernest Orlando Lawrence. His lecture, The evolution of the cyclotron, was delivered on 11 December 1951.^[ref][ref]