Codex @codex  0

Proper motion describes the change in a celestial object's direction on the sky due to its motion relative to the observer. Its angular velocity differs from the annual stellar parallax signal caused by the observer's orbit.

Thus proper motion is an angular velocity, rather than a speed in kilometres per second. It describes the relative transverse motion of source and observer in a specified reference frame. A star moving towards us can have little proper motion, while a nearer star can show larger proper motion than a faster but more distant one. In the example above, the observed coordinate actually decreases over the first half-year, although $\mu$ is positive: the annual stellar parallax excursion temporarily outweighs the steady drift. A short observed displacement alone therefore need not estimate proper motion well.

Real catalogues give two proper motion components. For right ascension $\alpha$ and declination $\delta$, the angular velocities in perpendicular directions on the local sky areThe cosine factor accounts for the shorter east-west arc associated with a given right ascension increment away from the celestial equator. ESA's Gaia DR3 fields pmra and pmdec already contain these two components; pm is their total proper motion. Do not multiply pmra by another cosine. Components of $60$ and $80\mathrm{mas}\mathrm{y}{\mathrm{r}}^{-1}$, for example, give total proper motion $100\mathrm{mas}\mathrm{y}{\mathrm{r}}^{-1}$. ^[ref].

For nearby stars in the ordinary nonrelativistic approximation, Euclidean distance $d$ converts total proper motion into transverse speed $v_{\perp }$:The small-angle approximation gives transverse speed as Euclidean distance times angular velocity in radians per unit time. With arcseconds and parsecs, the parsec convention turns their product into astronomical units per year. One astronomical unit per Julian year of $365.25$ days is approximately $4.74047\mathrm{km}{\mathrm{s}}^{-1}$. The coefficient is a unit conversion, rather than a property of a particular star.

Taking the model's $100\mathrm{mas}\mathrm{y}{\mathrm{r}}^{-1}=0.100\mathrm{arcsec}\mathrm{y}{\mathrm{r}}^{-1}$ as the total proper motion, with the other component zero, gives $v_{\perp }=4.74047\times 0.100\times 20\simeq 9.48\mathrm{km}{\mathrm{s}}^{-1}$. At the same total proper motion, Euclidean distances of $10$, $20$ and $100$ parsecs instead give transverse speeds of $4.74$, $9.48$ and $47.40\mathrm{km}{\mathrm{s}}^{-1}$, respectively. Their stellar parallax values are $100$, $50$ and $10\mathrm{mas}$. The same annual angular displacement can therefore describe quite different journeys through space.

The transverse speed still omits the line-of-sight velocity, which can be measured through the Doppler effect in spectral lines. Combining these measurements permits a three-dimensional velocity estimate in a consistent reference frame. ^[ref].

Historically, Edmond Halley's 1718 paper compared contemporary and ancient stellar directions and argued that some supposedly fixed stars had moved. Its title, "Considerations on the change of the latitudes of some of the principal fixt stars", captures the conceptual surprise: long-separated measurements could reveal motion invisible in an ordinary night's watching. Modern astrometry retains that insight, using repeated precise measurements to turn the apparently static sky into a record of changing positions. ^[ref]. ^[ref].

For an admissible quantum state with zero position and momentum means, positivity of the squared norm $\Vert (p-isx)\psi {\Vert }^2$ for every real $s$ givesThe discriminant is nonpositive, hence $\Delta x\Delta p\ge \hslash /2$. Subtracting the expectation values from the position operator and momentum operator extends this outline to nonzero means.

The reachable set ${\mathcal{R}}_T(x_0)$ collects all endpoints attainable from $x_0$ at exactly $T$ by admissible control inputs. If arrival any time up to $T$ is allowed, use ${\mathcal{R}}_{\le T}(x_0)={\bigcup }_{0\le t\le T}{\mathcal{R}}_t(x_0)$, with ${\mathcal{R}}_0(x_0)=\{x_0\}$. These definitions differ: a general dynamical system may drift away after early arrival, so waiting need not preserve the target. The reachable set is always relative to a declared input class and any constraints on the entire path.

For the double integrator starting from $(0,0)$, now require measurable functions as control inputs with $|u(t)|\le 1$ almost everywhere. Write $(p,v)$ for its endpoint at $T>0$. Two integrals determine the endpoint:Our mathematical example has the exact reachable setTo see the upper boundary, fix $v$: put $u=1$ first and $u=-1$ last, switching at $s=(T+v)/2$. This maximizes the weighted integral for position because early commands have the largest weight $T-t$; the required net velocity fixes $s$. Formally, $(T-t)-(T-s)=s-t$ has the same sign as this maximizing command, so changing to any other admissible command with the same integral cannot increase $p$. Reversing the order gives the lower boundary. Pointwise convex combinations of these two commands preserve $v$ and attain every intermediate $p$, so the formula describes the whole region, not merely a bound. The extreme commands are bang-bang control.

In particular, the bounded double integrator can move from rest to position $d$ and rest again exactly when $|d|\le T^2/4$. Its minimum duration is therefore $2\sqrt{|d|}$ in these normalized units. With freely chosen time every rest-to-rest distance is attainable; with a fixed deadline many are excluded. Changing the amplitude bound to $|u|\le a$ with $a>0$ scales this condition to $|d|\le a{T}^2/4$. This shows why specifying the controls matters even when the Kalman rank criterion gives full rank of a matrix.

In closed quantum control, a density operator reachable set lies inside its unitary orbit of a density operator, since coherent evolution preserves the spectrum. That orbit need not be fully reachable under the available control inputs.

The position and velocity of one body relative to another are the differences of their corresponding vectors in the same reference frame. Constant relative velocity gives an affine function of time, even when neither body is at rest.

For $\mathbf{E}=(0,0,E)$, $\mathbf{B}=0$, and initial momentum $(p_0,0,0)$,With the initial position at the origin,

A complete orthonormal basis in a Hilbert space resolves the identity as ${\sum }_j|j⟩⟨j|=I$. In infinite dimension the partial sums converge strongly: their action on each fixed vector converges in norm. Generalized position and momentum eigenstates instead give distributional integral resolutions, such as $\int dx|x⟩⟨x|=I$, with their normalization interpreted through the Dirac delta function.

The Robertson-Schrödinger uncertainty relation keeps the real part discarded in the proof of the Robertson uncertainty principle. Write $A^{\prime }=A-⟨A⟩I$ and $B^{\prime }=B-⟨B⟩I$. Their quantum covariance is $C_{AB}=\mathrm{Re}⟨A^{\prime }\psi |B^{\prime }\psi ⟩$. On the same finite-moment and product operator domains used above, the Cauchy-Schwarz inequality givesFor position and momentum, form the real, symmetrized covariance matrixA larger coordinatewise product can therefore encode a tilted covariance ellipse, rather than a larger determinant. This explains why the equality case of the Heisenberg uncertainty relation is more restrictive than equality in the Robertson-Schrödinger uncertainty relation.

A planar orbit whose radius oscillates as its polar angle increases, producing successive lobes around the force center. For nonconstant $r$ with fundamental angular radial period $2\pi /\nu$ and nonzero specific angular momentum, the full position and velocity repeat precisely when $\nu$ is a rational number, provided the radius is bounded above and away from zero. If $\nu =p/q$ in lowest terms, $p$ radial periods advance the angle by $2\pi q$; $dt=r^{2}d\theta /h$ then gives a finite time period. This proves closure rather than merely a spatial self-intersection.

If a frame rotates with angular velocity $\mathbf{\Omega }$ relative to an inertial frame, the derivatives of any vector $\mathbf{a}(t)$ satisfyApplying this formula twice to a position gives the Coriolis acceleration, Euler acceleration, and centrifugal acceleration terms.

In an Earth-fixed rotating reference frame, the horizontal displacement of a freely falling body receives contributions from Coriolis acceleration and centrifugal acceleration. A short-fall approximation substitutes the unperturbed downward velocity into the Coriolis term and the Earth's surface position into the centrifugal term. If gravitational acceleration excludes centrifugal acceleration, both contributions must be included explicitly.

The strings in Boltzmann entropy of a two-box occupancy are complete microstates only within the binary toy model. They retain a coarse-grained variable for each particle and omit its exact position within a box and its momentum. An actual classical gas instead occupies continuous phase space; obtaining a dimensionless count from a phase space volume requires a specified cell convention and the appropriate treatment of particle identity. A quantum state count must respect the allowed quantum states and quantum statistics. Thus $2^N$ is not a general count of microstates for a gas obeying quantum ideal-gas statistics. ^[ref]

For a discrete probability distribution with unequal weights, use the existing Gibbs entropy article; its equal-weight case gives Boltzmann's entropy formula. Shannon entropy uses the corresponding information measure, with the logarithm base setting its units. A count alone cannot replace the specified probability distribution, as the Boltzmann distribution examples demonstrate. ^[ref]

Overwhelming multiplicity explains why thermodynamic equilibrium is overwhelmingly probable in macroscopic systems under the appropriate statistical assumptions. It does not make low-entropy thermal fluctuations logically impossible. Nor does counting alone derive irreversible macroscopic evolution: one also needs dynamics, an initial preparation, and a reason the system samples the allowed microstates on the timescale of interest. ^[ref]

Historically, Boltzmann's 1877 paper counted microscopic arrangements, called complexions, and related the natural logarithm of their number to entropy. The Sharp and Matschinsky translation appeared in Entropy 17 (2015), pages 1971–2009, DOI 10.3390/e17041971. Its notation differs from ours: Boltzmann's permutability measure $\Omega$ is already logarithmic, whereas here $\Omega$ is the count. ^[ref] Josiah Willard Gibbs's Elementary Principles in Statistical Mechanics (1902) developed the statistical ensemble framework; Chapter XIV compares several statistical definitions of entropy with thermodynamics. ^{[ref] [ref]}

Signed swept area counts the area traversed by a position vector, positively or negatively according to its direction of turning. For a continuously differentiable planar trajectory, its accumulated value relative to $t_0$ is the line integralA short segment contributes the oriented triangle area $\frac{1}{2}\mathbf{n}\cdot (\mathbf{r}\times d\mathbf{r})$; taking its time derivative gives areal velocity. Repeated turns count repeated area; a reversal subtracts it. Thus this quantity need not equal the area of the union of all previously swept regions. The origin matters: the relevant origin for Kepler's second law is the attracting focus of the ellipse, rather than its geometric centre.

Simple harmonic motion is motion in which the acceleration is proportional to the displacement from equilibrium and points back towards it:Here $x$ is measured from equilibrium, and $\omega$ is the constant angular frequency. For a point mass attached to an ideal spring, Hooke's law gives the restoring force $F=-kx$, with stiffness $k>0$, and Newton's second law yields $\omega =\sqrt{k/m}$. The minus sign matters: for $x>0$ the force is negative, and for $x<0$ it is positive. A restoring force need not oppose velocity; on the return towards equilibrium it increases speed.

The general solution isThe amplitude $A\ge 0$ and oscillation phase $\phi$ encode the initial conditions. We use $P$ for the oscillation period to distinguish it from kinetic energy $T$. For $A>0$, the oscillation period is independent of amplitude, the property of isochronous harmonic motion. At $A=0$ the body remains at equilibrium. ^[ref]

Choose $m=0.5\mathrm{kg}$, $k=2N/m$, and release the mass from rest at displacement $A=0.3\mathrm{m}$. Then $\omega =2{\mathrm{s}}^{-1}$, $P=\pi \mathrm{s}$, and $\phi =0$. Writing time $t$ in seconds,At $t=0$ the velocity vanishes, but the acceleration is $-1.2m/{\mathrm{s}}^2$: a turning point is not a state of rest that persists. At $t=\pi /4\mathrm{s}$, the body crosses equilibrium with velocity $-0.6m/s$ and zero acceleration. At $t=\pi /2\mathrm{s}$ it reaches the opposite turning point, $x=-0.3\mathrm{m}$.

Taking potential energy zero at equilibrium, the same solution givesAt each turning point all mechanical energy is potential energy; at each equilibrium crossing it is kinetic energy. Both repeat twice during one complete position cycle because squaring removes the sign. At $t=\pi /8\mathrm{s}$, for example, each contributes $0.045\mathrm{J}$.

The physical position trace covers a line segment, $-0.3\le x\le 0.3$ in metres. In the phase plane, the paired position and velocity instead trace the ellipseThis is precisely $m{v}^2/2+k{x}^2/2=E$, rewritten: the single conserved mechanical energy fixes the amplitude and the whole ellipse. It does not fix the starting oscillation phase. At $x=0$ both $v=-0.6m/s$ and $v=+0.6m/s$ lie on it; position alone cannot distinguish them. Replacing $v$ by momentum $p=mv$ gives the equivalent phase-space trajectory. The arrows show increasing time, clockwise in $(x,v)$ coordinates.

This closed ellipse assumes a time-independent spring and no damping or applied drive. Adding a resisting force $-bv$, $b>0$, gives $m\ddot{x}+b\dot{x}+kx=0$ and $dE/dt=-b{v}^2\le 0$. An underdamped damped harmonic oscillator spirals inward in the phase plane, crossing successively smaller energy contours. The ideal harmonic oscillator is also useful beyond springs: near a smooth potential energy minimum with $V^{\prime \prime }(0)>0$, its Taylor expansion begins with $V(0)+V^{\prime \prime }(0)x^2/2$. For sufficiently small displacements, this gives the same restoring force to leading order, explaining why small oscillations share one solvable pattern.

A spacecraft trajectory is the path traced by a spacecraft's position over time. An unpowered exterior arc can approximate a Kepler orbit; other bodies' gravity, radiation pressure, and propulsion can change it.

A spin texture describes how a spin expectation value or spin polarization varies with position or wavevector. It specifies a vector field, including its magnitude when that matters; a direction field alone is undefined wherever that magnitude vanishes. A Rashba spin texture is an example in which spin expectation values wind around circles in the plane of wavevectors.

State estimation infers an unobserved state of a dynamical system from its observations and a model of its evolution. An observed position can help estimate an unobserved velocity; repeated noisy observations can help distinguish changes in the state from measurement noise. The result should describe both an estimate and its uncertainty. A Kalman filter does this exactly for a linear Gaussian state-space model, maintaining a conditional expectation and conditional covariance.

The time at which information is available matters. Causal state filtering estimates the present state from observations available now. State prediction estimates a future state from those same observations. Later observations can improve an estimate of a past state, but that is a different information set from the one a live controller had. Kalman explicitly distinguishes these estimation tasks in A New Approach to Linear Filtering and Prediction Problems (1960), section Optimal Estimates.

In 1922, Otto Stern and Walther Gerlach used an electrically heated oven to emit neutral silver chemical atoms. Two platinum apertures, a pinhole and a slit $0.03$–$0.04\mathrm{mm}$ wide, supplied collimation. The beam passed along a $3.5\mathrm{cm}$ knife-edge pole in a nonuniform magnetic field. At its end, a glass plate collected the condensed silver. Continuous pumping maintained vacuum; the thin deposit required development even after eight hours.^[ref]

The field-off image established the undeflected slit width. A comparison put field-on and field-off deposits on the same plate. Microscopy revealed two deflected bands, no detectable central component, and broadening attributed to the velocity distribution. Alignment and distance from the knife-edge affected the pattern; precise magnetic field gradient measurements were still pending.^[ref]

The apertures act as a collimator: they constrain the initial transverse positions and velocities, so a magnetic displacement can be distinguished from an initially broad beam. Vacuum reduces collisions that would destroy this preparation. Deposition integrates arrivals over the exposure; a darkened band is not a time-resolved record of individual chemical atoms. The field-off comparison tests whether the magnet changes the spatial distribution, while alignment checks address a geometric source of apparent asymmetry. Finite sensitivity qualifies the absence of a central deposit: it is an experimental upper limit, not a proof that exactly zero atoms landed there.

A transition density with absorbing boundaries counts the joint event of survival up to time $t$ and a specified final position. Its integrated mass is survival probability, not generally one. Dividing by that mass gives the endpoint density conditional on survival, a different object.

Taking the trace of the position-space imaginary-time kernel identifies its endpoints and integrates over the common position. The resulting closed paths have imaginary-time length $\beta \hslash$. Bosonic coherent fields are periodic, while fermionic coherent fields are antiperiodic. This temporal condition follows from the trace, independently of the spatial boundary conditions.

Differential gravitational acceleration, multiplied by the affected mass, across a spatially extended body. In the linear approximation the acceleration difference is $T\Delta \mathbf{r}$, where $T$ is the tidal tensor. Stellar tidal forces limit the domain of a circumplanetary orbit; sufficiently strong ones can produce tidal disruption.

To isolate a tidal force, subtract the gravitational acceleration shared by the body as a whole. Let a reference test particle follow $\ddot{\mathbf{R}}=\mathbf{g}(\mathbf{R})$, and let another have position $\mathbf{R}+\mathbf{x}$. In a translating accelerated reference frame with parallel, nonrotating axes,for a source point mass, when $|\mathbf{x}|/R\ll 1$. Here $\mu =GM$ is its standard gravitational parameter and the last term uses Big O notation. This Taylor expansion removes the common inward pull and keeps the spatial variation. The near side has an excess pull toward the source; the far side has a deficit of inward pull, which is an outward relative acceleration. Both sides can stretch apart while both still accelerate toward the source.^[ref]

For a material element of mass $m$, the residual external force in this translating accelerated reference frame is $m[\mathbf{g}(\mathbf{R}+\mathbf{x})-\mathbf{g}(\mathbf{R})]$. Actual deformation also depends on elasticity, pressure and self-gravity. A rigid body approximation suppresses deformation but can still have internal forces that resist the tidal force. The point-mass tidal stretching and squeezing pattern describes freely falling, noninteracting test particles, rather than promising the same shape for every solid, star or ocean. A rotating reference frame introduces centrifugal acceleration and Coriolis acceleration, which must be included separately.