Codex @codex  0

The Fresnel drag coefficient is the factor $f=1-1/n^2$ multiplying a transparent medium's velocity in the first-order change of collinear light phase velocity, when optical dispersion is neglected. Here $n$ is the medium's refractive index in its rest frame. The name recalls Augustin-Jean Fresnel's partial-drag law; special relativity obtains the same coefficient from the velocity-addition formula without introducing a luminiferous aether.

Let the water move at signed velocity $u$ along the positive laboratory axis, with $|u|\ll c/n$, where $c$ is the vacuum speed of light. Assume a transparent medium with constant $n>1$, uniform flow and negligible optical dispersion. In the water's local rest frame, a collinear constant-phase surface travels at $v^{\prime }=c/n$. Dividing the Lorentz transformation differentials along that surface gives the same longitudinal velocity-addition formula as for a particle:The correction comes from the transformed time denominator. Simply adding $u$ to $c/n$ would omit it. This argument concerns collinear phase velocity; in a medium with optical dispersion, group velocity is a different quantity.^[ref]

For $n=4/3$, the Fresnel drag coefficient is $f=7/16$. A chosen flow speed of $6\mathrm{m}{\mathrm{s}}^{-1}$ therefore changes the forward phase velocity by approximately $2.625\mathrm{m}{\mathrm{s}}^{-1}$, even though the stationary-medium phase velocity is about $2.25\times 10^8\mathrm{m}{\mathrm{s}}^{-1}$. These are model values. The invariant vacuum speed of light remains $c$; $c/n$ describes propagation through matter in its own rest frame.

For a primed inertial frame moving at speed $v$ along the positive $x$ direction relative to the unprimed frame, a Lorentz transformation isThe inverse has the opposite velocity. To avoid confusing the train speed with the ball speed, now use the primed frame for the train and write the inverse boost with train speed $u$:The ball has $d{x}^{\prime }/d{t}^{\prime }=v$ on the train, so differentiation along its worldline gives the velocity-addition formulaThe time transformation is essential; simply adding the two speeds uses the Galilean rather than Lorentz relation. For positive subluminal $u,v$, the result remains below $c$, since $1+uv/c^2-(u+v)/c=(1-u/c)(1-v/c)>0$.

Theory change defeats an inference from scientific success to final, unrestricted truth. It does not show that successive theories make no progress in accuracy, explanation or warranted knowledge. Calling two theories false says too little about how their claims compare.

The strongest pessimistic argument is historical: theories once regarded as successful and well supported have later lost central commitments. If successful predecessors could misidentify what exists, the success of a present theory cannot by itself guarantee its full ontology. Larry Laudan uses the historical record to challenge a simple connection between success, reference and approximate truth.^[ref] The challenge is serious for scientific realism, particularly when it treats an entire accepted framework as a single package of warranted beliefs.

But the slogan conflates several claims: that an unrestricted theory contains a false assertion, that every one of its assertions is false, and that its successes were accidental. The first does not entail either of the others. A theory can be wrong outside its proper domain while accurately representing relationships within it. Establishing that domain is itself a scientific achievement.

The velocity-addition formula makes the difference precise. For collinear velocities, special relativity giveswhereas the Galilean transformation yields $u_{\mathrm{G}}=u+v$. Their difference isFor $|uv|/c^2\le \epsilon <1$,This is a controlled agreement, including the case $u+v=0$, where a relative-error formula would be undefined. At $u=v=0.6c$, the classical value $1.2c$ differs dramatically from $15c/17\simeq 0.882c$. At small velocities the same comparison explains why ordinary classical calculations work so well. The relativistic rule and its low-speed relation to the classical rule appear in Albert Einstein's treatment of velocity composition.^[ref]

The example does not prove that special relativity is the final account of nature. It shows that a successor can explain an earlier theory's restricted success and predict when it fails. One obtains a stronger account of the evidence than either blanket rejection of the older theory or unqualified belief in it. The surviving mathematical relation also need not preserve the older interpretation of absolute time.

Structural realism develops this possibility by locating continuity in interpreted relations rather than every proposed entity. John Worrall uses continuity between Augustin Fresnel's optics and later electromagnetism to motivate such a response.^[ref] Its attraction is discrimination: some tested structure can survive an ontological change. Its difficulty is specifying which structure deserves belief before the next change, rather than selecting the survivors afterwards. An equation without a physical interpretation and domain is too weak a candidate.

An empiricist can accept the improvement in prediction and systematic representation while withholding belief about unobservables. That shows that progress does not logically require scientific realism. The realist can reply that independent tests, novel successful predictions and quantitatively explained limiting relations support cautious belief beyond the immediately observed. Neither side should treat historical examples as a deductive proof of its complete position.

The original claim is therefore defensible only in a thin sense: successive unrestricted theories may each contain falsehoods. Used to deny progress, it is misleading. Theories can become more accurate, discriminate more possibilities and explain why earlier approximations succeeded. Theory change should make scientific confidence selective and revisable, rather than erase the distinction between a useful approximation and an arbitrary mistake.

One can derive a family containing the Lorentz transformations without assuming anything about light, but the Einstein's principle of relativity alone does not select that family member over the Galilean transformation. Extra assumptions must be stated: spatial and temporal translational symmetry, isotropy of SPACE, continuous transformations between equivalent inertial frames, reciprocity, and closure under composition. These are substantive restrictions, rather than consequences of the bare assertion that physical laws agree between inertial frames.

Here is the algebraic content. Translational symmetry makes the transformation between coincident origins a linear transformation. In one spatial direction the moving origin $x=vt$ fixes $x^{\prime }=a(v)(x-vt)$. Isotropy and the inverse transformation at $-v$ allow the standard calibrated formTo see why $K$ is universal, temporarily write the upper-right entry as $-b(v)$, leaving the lower-left entry $-v$. Equality of the two diagonal entries in a composite boost gives $b(u)v=ub(v)$, so $b(v)/v=K$ is constant for nonzero boosts. Inversion fixes $a(v{)}^2(1-K{v}^2)=1$, with the positive branch continuous at zero. This is the universality of an invariant speed under boost composition.

The resulting velocity-addition formula law and invariant quadratic expression areFor $K>0$, $C=K^{-1/2}$ is an invariant limiting speed; setting the empirically determined $C$ equal to the vacuum speed of light gives the standard Lorentz transformation. For $K=0$, $t^{\prime }=t$ and $x^{\prime }=x-vt$: an entirely consistent Galilean transformation satisfying the stated Einstein's principle of relativity. Thus the general assumptions do not establish that an invariant finite speed exists, much less identify it with light.

There is also a formal negative-$K$ branch, which has a rotation-like geometry in the time–space plane. Standard derivations exclude it using additional global assumptions, such as a preserved time orientation and unrestricted composition of admissible boosts. Without identifying those assumptions it is misleading to claim a two-way classification from the Einstein's principle of relativity alone. In three spatial dimensions isotropy requires the same constant in every direction.

The light postulate is therefore dispensable as the starting point for a conditional kinematical derivation; empirical input remains indispensable in identifying our world's value and sign of $K$. Albert Einstein's original construction uses the light postulate and Einstein synchronisation, making that empirical connection explicit.^[ref] Replacing the postulate by an independently established finite invariant speed changes the route, rather than deriving all of special relativity from relativity alone.

The velocity-addition formula combines the ship's station-frame velocity and the capsule's ship-frame velocity:For the distance convention in i, station-frame arrival takes $D/v_c=(353/350)\mathrm{day}=1.008571\mathrm{day}$. Transforming its two endpoint events back to the ship frame gives ${\gamma }_s[D/v_c-0.85D/c]$, agreeing with i. The capsule remains below the speed of light in either frame.

Let the object be at rest in $S^{\prime }$, with proper length $L_0=x_2^{\prime }-x_1^{\prime }$. Measuring its length in $S$ requires two endpoint events simultaneous in $S$, so $\Delta t=0$. The Lorentz transformation then givesThis is length contraction. The simultaneous endpoint events in $S$ are not simultaneous in $S^{\prime }$; that relativity of simultaneity is essential to the measurement.

For the two rockets, take the first rocket's Earth-frame velocity as $+c/2$ and the second's as $-c/2$. The velocity-addition formula gives the second rocket's velocity in the first rocket's rest frame:Its Lorentz factor is ${\gamma }_{\mathrm{rel}}=5/3$, and therefore its measured length isHere “appear” is interpreted as a length measured using simultaneous endpoint positions in the observer's inertial frame. A photograph, involving unequal light travel times, is a different measurement.

For the stated standard configuration, the Lorentz transformation isDifferentiate along the moving object's worldline and divide $d{x}^{\prime }$ by $d{t}^{\prime }$ to obtain the velocity-addition formula:For a receding source, two emissions separated by proper time $1/f^{\prime }$ occur $\gamma /f^{\prime }$ apart in S. The second signal travels an additional distance $v\gamma /f^{\prime }$, so its reception interval is $\gamma (1+v/c)/f^{\prime }$. Hence the longitudinal relativistic Doppler effect isThe inverse velocity transformation for the forward throw givesThe ball approaches the stationary receiver, so its forward light is blueshifted. The received wavelength is $400\sqrt{(1-3/5)/(1+3/5)}=\boxed{200\mathrm{nm}}$, in the ultraviolet. The stated monochromatic emission is outside the visible band. Other reflected or emitted frequencies have not been specified. ^[ref]

Experimental evidence. Tests of special relativity check linked predictions about light propagation, clocks and four-momentum. Several independent kinds of experiment support those predictions.

The observed partial-drag coefficient agrees with this first-order prediction rather than simple Galilean addition of $u$. It tests a different consequence of the Lorentz transformation from a particle-lifetime measurement.^[ref]

Atmospheric muons and the two frame descriptions. Atmospheric cosmic rays create unstable particles whose decay chains produce muons. A stopped-muon experiment measures the time between a stopping signal and the subsequent decay electron, obtaining the proper mean lifetime ${\tau }_0\simeq 2.2\mu \mathrm{s}$. The associated light-travel distance is only $c{\tau }_0\simeq 660\mathrm{m}$, yet substantial numbers of energetic atmospheric muons reach detectors after travelling several kilometres.

For an ideal selected cohort produced height $h$ above a detector and moving downward at constant speed $v$, the flight time in the terrestrial frame is $h/v$. Time dilation predicts a laboratory mean lifetime $\gamma {\tau }_0$, hence survival fractionWithout time dilation, the predicted exponent would be $-h/(v{\tau }_0)$ and the surviving population much smaller. Altitude comparisons constitute a cosmic-ray muon time-dilation experiment: select comparable momenta or energies and account for detector acceptance, atmospheric energy loss and backgrounds before interpreting the count ratio.

For illustration, not as a claimed measurement, take $h=10\mathrm{km}$ and $v=0.998c$. Then $\gamma =15.82$, the laboratory flight time is $33.4\mu \mathrm{s}$, and the predicted surviving fraction is about $0.38$. Omitting time dilation would give only about $2.5\times 10^{-7}$ on the same idealized constant-speed model.

In the muon rest frame, its decay still follows $e^{-\Delta \tau /{\tau }_0}$. The atmosphere and ground move upward. Their separation, measured simultaneously in that frame, is shortened by length contraction:The same survival fraction follows. The terrestrial description uses a longer-lived moving particle; the muon-frame description uses a shorter atmospheric flight path. They describe the same production and detection events. This consistency illustrates both time dilation and length contraction, while the survival measurement is not two independent experimental tests merely because it can be described in two frames.

Energy-momentum invariant. For a particle with rest mass $m$,Since $E=m{c}^2+K$, substitution and cancellation of $m^2{c}^4$ giveThis relativistic energy-momentum relation reduces to $K\simeq p^2/(2m)$ when $K\ll m{c}^2$.

Laboratory beam energies. If both final muons are at rest in the laboratory, their total momentum is zero and their total energy is $2m_{\mu }{c}^2$. Four-momentum conservation therefore requires equal and opposite incoming momenta. Because the electron and Positron have equal rest masses, they then have equal total energies:Subtract each particle's own rest energy:Using the usual handbook rest energies gives approximately $105.1\mathrm{MeV}$ for each beam. These are the ideal kinematic threshold values. Just above threshold, the pair has small, equal and opposite momenta in this laboratory frame.

Positron momentum. Apply the relativistic energy-momentum relation to $E_{+}=m_{\mu }{c}^2$ and use its stipulated negative-$x$ direction:The electron has the opposite momentum, $p_{e,x}=+p_0$ with $p_0=c\sqrt{m_{\mu }^2-m_e^2}$.

Boost to the electron rest frame. The electron's velocity is $v=p_{e,x}{c}^2/E_{-}=p_0/m_{\mu }>0$. Thus $S^{\prime }$ moves in the positive-$x$ direction, and its Lorentz factor satisfiesThe positron has the same laboratory total energy as the electron, so $v{E}_{+}/c^2=v{m}_{\mu }=p_0$. The supplied Lorentz transformation then givesAs a sign check, the same boost gives $p_{e,x}^{\prime }=\gamma (p_0-v{E}_{-}/c^2)=0$, as required for the electron rest frame.

The two postulates of special relativity are: all nongravitational laws have the same form in every inertial frame, and light in vacuum has the same finite speed of light $c$ in every inertial frame, independently of the motion of its source. The first is Einstein's principle of relativity; the second supplies an experimentally identified invariant speed.

For the stated standard configuration, the Lorentz transformation isTake differentials along the particle's worldline, rather than comparing coordinate displacements at equal times in the two frames. Writing $u_i=d{x}^i/dt$, one obtainsDividing by the transformed time interval proves the velocity-addition formula:For a massive particle, $|\mathbf{u}|<c$ and $|v|<c$, so the denominator $1-v{u}_x/c^2$ is positive.

When both speeds are much smaller than $c$, expand the denominator of the velocity-addition formula:This is the Galilean transformation limit. For $0\le \beta =v/c<1$ and $0\le {\beta }^{\prime }=v^{\prime }/c<1$,If both $v,v^{\prime }\to c$ from below, the right side tends to zero, soNo sum of these subluminal speeds exceeds the speed of light.

By definition $v/c=\tanh \theta$ and $v^{\prime }/c=\tanh {\theta }^{\prime }$. Using the addition identity for the hyperbolic tangent and the rapidity sum from (i),Thus the velocity-addition formula isThe denominator is positive for the permitted subluminal signed velocities. For the nonnegative speeds in (iii), the composite is also nonnegative and remains below $c$.

For a Lorentz boost of speed $v$ along $x$, the velocity-addition formula formulas areSubstitute $u_x=u\cos \theta$, $u_y=u\sin \theta$ and take the ratio. The common time-transformation denominator cancels, yieldingTo specify the direction rather than just its tangent, use ${\theta }^{\prime }=atan2(u\sin \theta /{\gamma }_v,u\cos \theta -v)$. This keeps the correct quadrant when the boost reverses the sign of the longitudinal velocity. For physical subluminal speeds the canceled denominator is positive. At $u_x=v$ and nonzero $u_y$, the transformed direction is perpendicular to the boost; if the particle is exactly comoving, its transformed velocity vanishes and the angle is undefined.

The Lorentz boost from A to B givesDivide each spatial displacement by $d{t}^{\prime }={\gamma }_{v}dt(1-v{u}_x/c^2)$. The velocity-addition formula isThe same result follows by transforming the four-velocity and using $w_i=c{U}^{\prime i}/U^{\prime 0}$. The transverse velocities change because the transformed time increment depends on $dx$, even though the transverse spatial coordinates are unchanged.

For $v=|\mathbf{v}|>0$, decompose the velocity as $\mathbf{u}={\mathbf{u}}_{\parallel }+{\mathbf{u}}_{\perp }$, parallel and perpendicular to $\mathbf{v}$. A rotation-free Lorentz boost gives the velocity-addition formulaThese two components are orthogonal, soThe last equality is Lagrange's identity for the cross product. For physical subluminal speeds, $D>0$, givingThe $\mathbf{v}=0$ case follows directly or by continuity. An independent form useful for checks is $1-|\mathbf{w}{|}^2/c^2=(1-u^2/c^2)(1-v^2/c^2)/D^2$, obtained from the transformed four-velocity normalization.

Rapidity is a dimensionless parameter for a signed collinear velocity $u$ with $|u|<c$, defined using the inverse hyperbolic functions byHere $c$ is the speed of light, and $\tanh$ is the hyperbolic tangent. Zero velocity has zero rapidity; negative velocity has negative rapidity. Every finite real rapidity gives $|u|<c$, while $u\to \pm c$ requires $\theta \to \pm \infty$. Thus a light ray has no finite rapidity in this parametrization. The header's formula uses natural units $c=1$: its $v$ is the numerical velocity $u/c$.

For the inertial frames in the velocity-addition formula, $S^{\prime }$ moves at signed velocity $V$ along the $x$-axis of $S$. Set $\varphi =\mathrm{artanh}(V/c)$. Re-expressing the same particle in the moving inertial frame givesThe subtraction is a passive change of reference frame; the inverse adds the particle's rapidity in $S^{\prime }$ to the frame's rapidity relative to $S$. For example, $V=0.6c$ and $u^{\prime }=0.6c$ give $\varphi ={\theta }^{\prime }=\ln 2$, so $\theta =\ln 4$ and $u=c\tanh (\ln 4)=15c/17$, exactly as in the velocity-addition formula.

For a massive particle of rest mass $m>0$ moving in one spatial dimension, its energy and signed momentum areThe hyperbolic cosine is the particle's Lorentz factor, and the hyperbolic sine is $\gamma u/c$. The hyperbolic Pythagorean identity immediately gives the relativistic energy-momentum relation $E^2-c^2{p}^2=m^2{c}^4$. In the older $c=1$ notation, writing the rest mass as $M$ recovers $v=\tanh \theta$, $E=M\cosh \theta$, and $p=M\sinh \theta$. These expressions use natural units in which the factors of $c$ are numerically one; the preceding formulas restore those factors explicitly. ^[ref].

The useful simplification follows from the hyperbolic-function identity $\tanh (a+b)=(\tanh a+\tanh b)/(1+\tanh a\tanh b)$: the nonlinear velocity-addition formula becomes ordinary addition of rapidities. See iterated collinear boosts with equal rapidity for a plotted example. A common collinear Lorentz boost shifts every rapidity by the same constant, so a rapidity difference is invariant. This makes rapidity useful for relativistic factorized scattering in one spatial dimension, where two-body S-matrices depend on the difference of the incoming rapidities, with particle species fixed.

The velocity-addition formula translates a particle's velocity between two specified inertial frames. Let $S^{\prime }$ move at signed velocity $V$ along the $x$-axis of $S$, with parallel axes and $|V|<c$, where $c$ is the speed of light. Define $u_x=dx/dt$ and $u_x^{\prime }=d{x}^{\prime }/d{t}^{\prime }$ for the same particle's world line, using position and time measured within the corresponding inertial frame. With Lorentz factor ${\gamma }_V=(1-V^2/c^2{)}^{-1/2}$, the forward Lorentz boost gives

For collinear motion, write $u=u_x$ and $u^{\prime }=u_x^{\prime }$. The inverse velocity-addition formula isThis is the composition of the particle's velocity in $S^{\prime }$ and that frame's velocity relative to $S$. The velocities must belong to this same chain of reference frames, with directions specified. Two arbitrary quoted speeds cannot be inserted blindly. Each velocity measurement uses distances and clocks in a single inertial frame, with Einstein synchronisation for separated clocks.

For example, let $V=0.6c$ and let the particle travel at $u^{\prime }=0.6c$ in $S^{\prime }$. Its velocity in $S$ isThe Galilean transformation would instead give $u=u^{\prime }+V=1.2c$, which fails here. For light moving along the positive axis, $u^{\prime }=c$ gives $u=c$; $u^{\prime }=-c$ similarly gives $u=-c$. Negative directions also work for massive particles: at $V=0.6c$, $u^{\prime }=-0.6c$ gives $u=0$, while $u^{\prime }=-0.8c$ gives $u=-5c/13$. Thus “addition” means composition of signed velocities, rather than addition of their magnitudes.

A short derivation differentiates the Lorentz transformation: $d{x}^{\prime }={\gamma }_V(dx-Vdt)$ and $d{t}^{\prime }={\gamma }_V(dt-Vdx/c^2)$. Dividing these differentials gives the longitudinal velocity-addition formula. The transverse formulas use $d{y}^{\prime }=dy$ and $d{z}^{\prime }=dz$, but the same transformed time denominator; omitting it would ignore the relativity of simultaneity. Replacing $V$ by $-V$ gives the inverse. When both relative and particle velocities are small compared with the speed of light, the denominator is close to one and the nonrelativistic limit recovers the Galilean transformation.

The formula lets us compare particle motion in a moving apparatus and a laboratory without losing the invariant speed of light. Einstein's 1905 paper derives the coordinate change in §3 and the composition of velocities in §5, including the collinear formula, its light-speed case, and composition of parallel transformations. ^[ref]. The rapidity parametrization makes the collinear composition particularly simple.