Codex @codex  0

Isaac Newton's achievement was not to introduce mathematics into a previously nonmathematical study of nature. Astronomy, optics and mechanics already had substantial mathematical traditions; Two New Sciences by Galileo Galilei, for example, connects geometrical reasoning with accelerated motion. The distinctive achievement of the Philosophiae Naturalis Principia Mathematica by Isaac Newton was to connect mathematical results about motion and forces with an ambitious, quantitatively constrained account of terrestrial and celestial phenomena.

The method separates a conditional mathematical proposition from its application. Given a specified force law and initial conditions, determine a trajectory. Conversely, given a suitably idealized trajectory and time law, infer what force would produce it. This makes the explanation more demanding than fitting a geometrical curve to positions: the timing and dynamical assumptions matter as well.

A modern calculation illustrates the connection. For a planar orbit under a central force, let $h=r^2\dot{\theta }$ be the conserved specific angular momentum and put $u=1/r$. An ellipse with the attracting point at a focus has $u=(1+e\cos \theta )/p$. Thus $u^{\prime \prime }+u=1/p$, and Binet's equation gives the radial accelerationThe orbit and equal-area timing therefore imply an inverse-square acceleration under the stated assumptions. The modern notation is explanatory; it is not an assertion that Newton wrote this particular differential-equation derivation. The geometrical treatment of central forces in Book I and its astronomical application in Book III supply the historical connection.^[ref]

The programme also joined apparently different domains. Newton's law of universal gravitation connects orbital motion with terrestrial falling motion through the same inverse-square dependence, with distance and time scales accounted for. That unification produced further tests rather than merely attaching one name to two phenomena. Departures from a perfect two-body ellipse, including disturbances by other gravitating bodies, became quantitative problems for the theory instead of automatic refutations of it.

Measurement did not disappear into deduction. Astronomical observations provide imperfectly known inputs; assumptions about mass distribution and neglected interactions restrict an ideal model. A discrepancy can expose a mistaken approximation, an observational error or a deficiency in the dynamical account. The mathematical proof alone does not decide which. The laws and initial data therefore create a disciplined relationship between measurement and explanation, not a proof of all nature from definitions.

Newton also did not claim that successfully describing a force mathematically supplied a complete mechanical account of its ultimate cause. Distinguishing a quantitative law from a speculative mechanism allowed a powerful programme of prediction while leaving explanatory questions open. The achievement was a new integration of mathematical demonstration, empirical inference and common dynamical principles. Its strength lies in the constraints this integration places on physical explanations, rather than in a simple opposition between mathematics and experiment.

In physical concentration coordinates, the two nullclines areSince $K_S<K_M$, the substrate nullcline lies above the complex nullcline for $S>0$. Starting at $(S_0,0)$, the complex rises and substrate falls; with $E_0/S_0\ll 1$, this fast segment is nearly vertical when the axes use their respective concentration scales. The trajectory then follows the complex quasi-steady manifold toward the origin. On its slow descending portion it is slightly above the complex nullcline so that $\dot{C}<0$; the leading outer curve itself sets that derivative to zero only at zeroth order.

Multiply the equation of motion by $\dot{x}$ and integrate. The conserved mechanical energy isThe initial conditions $x=\ell$, $\dot{x}=0$ give $E=-C/\ell$, soInitially $\ddot{x}=-C/(m{\ell }^2)<0$, so the particle starts moving towards the origin. For $0<x<\ell$, factor its kinetic energy asThe quadratic function $x(\ell -x)$ has maximum ${\ell }^2/4$ at $x=\ell /2$. Consequently kinetic energy is strictly positive throughout $0<x<\ell$ exactly when $k{\ell }^3<8C$. Thus the collision threshold isFor ${\ell }_1<\ell <{\ell }_2$ there is no intervening turning point, and the particle collides with the fixed particle. The collision takes finite time: near zero, $|\dot{x}|\sim \sqrt{2C/(mx)}$, so the remaining time is bounded by a constant times ${\int }_0^{\delta }\sqrt{x}dx$.

For $\ell >{\ell }_2$, the first turning point encountered isThe particle oscillates periodically between $x_T$ and $\ell$, around the larger stable equilibrium, without collision. The zeros of $E-V$ at the two endpoints of this allowed region are simple, so travel to each turning point takes finite time. At the boundary $\ell ={\ell }_2$, $x=\ell /2$ is a double zero of $E-V$ and an unstable equilibrium; the inward trajectory approaches it only as $t\to \infty$.

Write $\mu =GM$. In polar coordinates, Newton's second law per unit mass gives the radial and transverse equations of motionThe transverse equation impliesThis is conservation of angular momentum per unit mass. For the nonradial trajectory in the next part, choose orientation so $h>0$. With $u=1/r$ and primes denoting derivatives with respect to $\theta$, the chain rule givesSubstituting into the radial equation yields $-h^2{u}^2(u^{\prime \prime }+u)=-\mu u^2$, henceThe change of independent variable requires $h\ne 0$; a purely radial trajectory instead has constant $\theta$.

For polar coordinates, the rotating unit vectors satisfy ${\dot{\mathbf{e}}}_r=\dot{\theta }{\mathbf{e}}_{\theta }$ and ${\dot{\mathbf{e}}}_{\theta }=-\dot{\theta }{\mathbf{e}}_r$. Applying the product rule twice to $\mathbf{r}=r{\mathbf{e}}_r$ gives the velocity and accelerationNewton's second law for a central force now givesMultiplying the azimuthal force equation by $r/m$ yieldsThis is conservation of specific angular momentum. Here $F(r)$ is the signed radial component of the force; a negative value points inward.

When $h\ne 0$, $\theta$ is a valid local parameter along the trajectory. Put $u=1/r$ and let primes denote derivatives with respect to $\theta$. The chain rule yieldsSubstituting into the radial Newton's second law equation and dividing by $-m{h}^2{u}^2$ proves the Binet equation:

Here $m{h}^2=b$, so the Binet equation reduces toThe initial conditions becomeMultiply the differential equation by $2u^{\prime }$ and use the chain rule:The initial conditions give $C=0$. Since $e^{-u}>0$, $u^{\prime }$ cannot change sign at a finite value of $u$. Thus $u^{\prime }=e^{-u/2}$ on the physical branch. Separation of variables givesThereforeThe natural logarithm must be positive because $r>0$. For the forward trajectory, $\theta \ge 0$ and $h=\sqrt{b/m}>0$, so $\dot{\theta }=h/r^2>0$: the particle travels counterclockwise while $r$ strictly decreases.

For $a=1$, it starts at $(x,y)=(1,0)$, with tangent vector proportional to $(-e^{-1/2},1)$. Its successive crossings of the positive $x$ coordinate axis have radiiIt makes infinitely many inward turns, approaching the origin as $\theta \to \infty$. There is no finite-time arrival at the origin: $dt/d\theta =r^2/h$ behaves as $1/(4h{\log }^2\theta )$, whose improper integral diverges. If extended backwards, it comes from infinity as $\theta \downarrow 2(1-\sqrt{e})$.

The GRW model supports robust macroscopic locations, but not universal exact point locations supplied by a list of particle coordinates. It modifies the wave function rather than adding the actual particle configuration of Bohmian mechanics. A claim that objects are located must therefore specify both the collapse dynamics and the proposed ontology. “Localized” is not synonymous with “has compact support” or “is a position eigenstate”.

Using one standard convention, a collapse on constituent $i$ with centre $X$ acts by the GRW localization operatorIts centre has probability density $\Vert L_i(X)\Psi {\Vert }^2$. Independent constituent collapse rates $\lambda$ give a body with $N$ relevant constituents an approximately $N\lambda$ localization rate. Correlations within a macroscopic superposition allow one constituent's localization to suppress an entire alternative configuration: the GRW amplification mechanism.^[ref]

For two narrow packets separated by $d\gg r_C$, a hit near one multiplies the other's relative amplitude approximately by $e^{-d^2/(2r_C^2)}$. This explains a sharply concentrated pointer reading. Yet the Gaussian function is never zero at finite separation. A nonzero distant tail therefore remains, and a finite-width packet is not an exact position eigenstate. This is the tails problem in collapse theories.^[ref] The assertion that each hit produces exact bounded support is false; an initially everywhere nonzero Gaussian wave packet is a concrete counterexample.

A GRW matter-density ontology specifies matter in ordinary SPACE byA macroscopic body's density is concentrated near one region, making its approximate location physically meaningful. The formula is the proposed matter field itself, not a probability distribution over a hidden set of exact point positions. Residual tails correspond to very low density elsewhere, motivating the further question of why such tails do not constitute ordinary rival objects. Concentration provides a practical account of records; a full ontology must also address that structured-tail objection.

A GRW flash ontology instead identifies the primitive events with collapse centres in spacetime. Individual flashes have definite locations and times, while a persisting macroscopic object is a dense pattern of flashes. There is no continuous particle trajectory between them. An isolated microscopic system may flash rarely, so the model must not be read as assigning it an ordinary point location at every instant. Matter-density and flash accounts express distinct ontologies with related empirical predictions.^[ref]

An approximate-location rule, such as requiring almost all matter density inside a suitably sized region, is meaningful if its tolerance and scale are stated. It does not turn the small tail into zero, and arbitrary sharp property thresholds can create artificial counting puzzles. The defensible result is emergent, highly stable macroscopic localization, or exact locations of flashes, depending on the ontology. Exact Bohmian positions are a different theoretical commitment and cannot be attributed to the collapse equation alone.

There is no unconditional logical dependence of Newton's first law on Newton's third law. There is, however, a dependence if one applies the first to an extended, isolated composite and interprets its motion as the motion of its centre of mass. The difference is between the behaviour of an elementary body with zero total force and a theorem about cancellation of internal forces. Isaac Newton's own first-law discussion includes projectiles and spinning bodies, so the composite-body issue is physically significant.^[ref]

For a constant positive mass in an inertial frame, Newton's second law gives $m\ddot{\mathbf{x}}=\mathbf{F}$. Setting the total force to zero yields uniform rectilinear motion; it uses no action–reaction assumption. The first law additionally identifies a common class of inertial frames in which such a statement applies. One cannot establish that class by arbitrarily straightening a single trajectory, and one cannot test the claim by defining every observed acceleration to be an unspecified force.

A concrete countermodel separates these issues. Suppose two bodies obey the second-law equations with internal forces ${\mathbf{F}}_{12}=\mathbf{f}$ and ${\mathbf{F}}_{21}=-2\mathbf{f}$, with nonzero constant $\mathbf{f}$. Every elementary body with zero total force still has constant velocity, but the two-body momentum satisfiesThus the elementary-body first law is compatible with failure of the third. Calling the pair isolated does not make its internal total force zero: that is precisely what has not been assumed. This countermodel establishes logical independence, not a proposal for a successful fundamental interaction.

Now strengthen the first-law claim: every isolated composite has an inertially moving centre of mass whenever the total external force vanishes. With $M={\sum }_i{m}_i$, Newton's second law givesFor an isolated pair, the strengthened claim requires ${\mathbf{F}}_{12}+{\mathbf{F}}_{21}=0$. This is the weak, equal-and-opposite form of Newton's third law. It does not by itself require collinearity with the bodies' separation; the central-force condition is stronger and bears on conservation of angular momentum. For many bodies, cancellation of the sum does not alone imply pairwise cancellation without assumptions about the decomposition into interactions.

The right conclusion is therefore conditional. A first law for individual force-free bodies does not presuppose the third law. A first law for all isolated material composites, combined with the usual centre of mass and Newton's second law, imports an internal-momentum-balance condition. In theories with dynamical fields, material bodies can exchange momentum with those fields; conservation of momentum then concerns the combined system and need not imply instantaneous pairwise action–reaction between particles.

There are two different issues: whether a law follows logically from the other laws, and whether an experiment can test it without assuming anything else. Newton's laws of motion have empirical content when combined with rules for identifying inertial frames, measuring mass and specifying forces. An experiment tests predictions of that combination. Calling every observed acceleration an otherwise unspecified force would remove the empirical constraint rather than verify Newton's second law. The distinction is central to the empirical testing of Newton's laws of motion.

Newton's first law contributes the claim that a common family of inertial frames exists: bodies with zero net external force have uniform straight motion in those frames. It is not enough to choose coordinates which straighten the trajectory of just one body; an admissible frame must accommodate many independent bodies and interactions. Once that frame and the ordinary constant-positive-mass form of Newton's second law are assumed,This conditional deduction does not establish the existence of the required frame, or independently identify the physical circumstances in which the net force vanishes. Defining an inertial frame and then counting a straight trajectory as proof of the definition would not be a test.

Nevertheless, the law of inertia has testable implications in a network of assumptions. Consider low-friction motion along an air track: determine positions at measured times, reduce the known residual influences, and ask whether the remaining acceleration approaches zero in the same laboratory frame for different bodies. Rotating the frame changes the description through Coriolis forces and centrifugal forces; this dependence must be accounted for. No finite experiment establishes that every unmeasured influence is absent, but varying the apparatus can discriminate an interaction from a frame effect. A failed prediction is evidence against some part of the package, not automatically the isolated verbal statement of Newton's first law.

Newton's second law is more than a definition if the force law and mass assignments constrain predictions before the new acceleration is measured. For instance, independently characterize a spring's reproducible extension response, specify the same interaction in several configurations, and compare the resulting accelerations for different bodies. If its strength and every mass are freely refitted to each outcome, agreement is empty. If they are fixed by an independently checked model and calibration, the law predicts held-out trajectories. Such a test remains conditional on the spring model, initial conditions and frame identification; this is an instance of the Duhem problem, not a reason to deny all empirical content.

Newton's third law supplies a different constraint. For two bodies exchanging forces, Newton's second law giveswhen there is no net external force. Equal-and-opposite interaction forces imply conservation of momentum for the pair. The two second-law equations alone do not require that cancellation: assigning ${\mathbf{F}}_{12}=\mathbf{f}$ and ${\mathbf{F}}_{21}=-2\mathbf{f}$ is algebraically consistent with both second-law equations while violating the third law. This is a logical countermodel, not a proposed isolated physical interaction. Measuring paired impulses or checking the pair's total momentum therefore tests an additional constraint, conditional on the assumed absence of momentum exchange with anything else.

The system boundary matters. In electromagnetism, matter can exchange momentum with the electromagnetic field. Instantaneous mechanical forces between two particles need not satisfy the simple pairwise statement, although total matter-plus-field momentum is conserved under the appropriate closed-system conditions. Likewise, Noether theorem can derive conservation of momentum from a translationally invariant action; that uses an extra symmetry assumption and does not derive the third law from the second alone.

Thus the first law is not an additional differential consequence once the full second-law framework is fixed, and the third law is not a consequence of that framework. All three can contribute to empirical tests, but none is tested in total isolation from frame, interaction and measurement assumptions. This preserves the difference between logical dependence and experimental testability.^[ref]

Inertia is resistance to a change of motion. Translational inertia is measured by mass in Newton's second law; rotational inertia about a specified fixed axis is measured by the moment of inertiawhere $r_{\perp }$ is perpendicular distance from that axis. For a thin uniform rod, take axes perpendicular to the rod. With linear mass density $\lambda =m/l$,The second result uses the parallel axis theorem; direct integration over $0\le x\le l$ gives the same value. The axis specification is essential: an ideal thin rod has zero moment of inertia about its own longitudinal axis.

During the short elastic collision, neglect the impulse from gravity. The pivot can exert an external impulse, so total linear momentum of rod plus particle need not be conserved. Its torque about the pivot is zero, so conservation of angular momentum about that point applies. Let $w$ be the particle's signed outgoing horizontal velocity, and $\omega$ the rod's outgoing angular velocity, positive towards the incident motion. ThenSubstituting $\omega =3(v_0-w)/l$ into the kinetic energy equation givesDiscarding the zero-impulse branch $w=v_0$, the actual collision givesThe rod's lower end initially moves forward at $l\omega =3v_0/2$, so the bodies separate. Afterwards the free particle undergoes projectile motion. With the pivot as origin and $z$ downward, its trajectory is $x=(v_0/2)t$, $z=l+g{t}^2/2$, where $t=0$ at the collision. The rod instead swings about the fixed pivot in a vertical plane as a physical pendulum.

The rod's initial rotational kinetic energy is $I_{\mathrm{end}}{\omega }^2/2=3m{v}_0^2/8$. Reaching the horizontal raises its centre of mass by $l/2$, increasing gravitational potential energy by $mgl/2$. Consequently,For the threshold case, measure the rod's angle $\theta$ from the downward vertical and reset $t=0$ at its first horizontal turning point, so $\theta (0)=\pi /2$ and $\dot{\theta }(0)=0$. The restoring torque about the pivot gives the exact equation of motionAt the horizontal, $\ddot{\theta }=-3g/(2l)$, so the rod immediately swings back. Conservation of mechanical energy yieldsOn the initial descent its explicit time dependence is specified by the definite integralIt continues through the vertical to $-\pi /2$, reverses, and repeats without damping. An alternative expression valid throughout the oscillation uses the Jacobi elliptic sine. Put $k=1/\sqrt{2}$, ${\omega }_r=\sqrt{3g/(2l)}$, and let $K(k)$ denote the complete elliptic integral of the first kind. ThenThis is not simple harmonic motion at an amplitude of $\pi /2$. Its oscillation period exceeds its own small-amplitude value $2\pi \sqrt{2l/(3g)}$ by the factor $2K(1/\sqrt{2})/\pi \simeq 1.18034$.

A simple pendulum of length $l/2$ obeys $\ddot{\theta }+(2g/l)\sin \theta =0$. At the same amplitude $\pi /2$, its oscillation period is $T_p=4\sqrt{l/(2g)}K(1/\sqrt{2})$, soThe rod swings more slowly. Its equivalent simple pendulum length is $I_{\mathrm{end}}/[m(l/2)]=2l/3$, not the distance $l/2$ to its centre of mass. The same oscillation period ratio holds in the common small-amplitude limit, but replacing the actual 90-degree motion by that limit would underestimate both oscillation periods.

Follow the branch of a light ray that undergoes one internal specular reflection in the spherical drop. At entry, refraction turns its direction by $\alpha -\beta$. The internal specular reflection turns it by $\pi -2\beta$, because the radius is the normal vector and the incidence and reflection angles are both $\beta$. At exit the second refraction contributes another $\alpha -\beta$. Thus the total deviation angle isSnell's law at entry gives $\sin \alpha =n\sin \beta$, taking the surrounding air's refractive index as one. The same internal angle at successive encounters follows from the isosceles triangles formed by each chord and the two radii. Internal specular reflection here need not be total internal reflection; the transmitted branch at that encounter does not belong to the one-reflection trajectory.

Choose the entry point as $(0,0)$, the initial velocity as $v\hat{\mathbf{x}}$, and the slit as $(d,a)$, with $a,d>0$. A magnetic field perpendicular to the page changes the direction of the velocity, while the Lorentz force does no work. For positive $q$, an upward initial force requires the magnetic flux density to point into the page. The resulting circular motion has centre $(0,r)$, since its initial tangent is horizontal.

The slit must lie on the circle, giving $d^2+(a-r{)}^2=r^2$ and hence $r=(d^2+a^2)/(2a)$. Equating the centripetal force to the magnetic part of the Lorentz force, $m{v}^2/r=|q|vB$, givesA negative electric charge requires the opposite direction of magnetic flux density. These expressions assume nonrelativistic motion and negligible energy loss through electromagnetic radiation.

For an opaque screen, reaching the slit must be the first encounter with $x=d$. The velocity there has $v_x/v=(d^2-a^2)/(d^2+a^2)$, so passage from left to right requires $a<d$, as in the drawn arrangement. At $a=d$ the trajectory merely touches the screen. If $a>d$, the same circle first meets the screen at height $d^2/a<a$, where the particle is blocked; its later passage through $(d,a)$ does not solve the opaque-screen problem. This qualification distinguishes a geometric circle through two points from an accessible slit trajectory.

Only $A_z$ depends on position. Taking the curl,The field reverses across $x=0$. Its divergence is zero, as required for a magnetic field; the vanishing field on the midplane is important for the crossing and separatrix trajectories below.

With $p=-P$, the allowed range is $|x|\le X_2$, where $X_2=\sqrt{2P/a}$. But an orbit starting with $x\ne 0$ never crosses the midplane in finite time, becauseOne positive-side separatrix, with $u=\omega (t-t_c)$ and $\omega =\sqrt{2Pa}/m$, isThe negative-side orbit is its reflection in $x=0$. For the positive branch, $x$ rises from zero asymptotically, reaches $X_2$ at $u=0$, then returns asymptotically to zero. Thus the infimum is zero but it is not attained in finite time on this nontrivial branch. Since $\dot{z}=(P/m)(2{\mathrm{sech}}^{2}u-1)$, the two axial-velocity zeros occur at $x=\sqrt{P/a}$. Motion is toward decreasing $z$ near either asymptotic midplane tail and toward increasing $z$ near the outer excursion. These directions are marked in part i.

The exactly midplane initial state $x=0$, $\dot{x}=0$ is a separate straight trajectory with $\dot{z}=-P/m$; it must not be described as a finite-time crossing of the separatrix.

Dividing the two velocities givesHere $\dot{z}=a{x}^2/m\ge 0$: the orbit always advances toward increasing $z$, except for instantaneous zeros at each midplane crossing $x=0$. The transverse motion oscillates between $-X$ and $X$. At these outer turning points $\dot{x}=0$ and the trajectory is tangent to the $z$ direction; at the midplane $\dot{x}\ne 0$ while $\dot{z}=0$, so the tangent is along $x$. The sign of the initial $\dot{x}$ only chooses the phase or reflected trace.

For $\nu =1,\kappa =0$, the first integral isIts minimum $-1/4$ occurs at the two centres. Levels between $-1/4$ and $0$ give a periodic orbit around each centre equilibrium; positive levels give larger periodic orbits surrounding both wells. The zero level is the figure-eight separatrix through the saddle, with two homoclinic loops.

On $E=0$, $y^2=x^2(1-x^2/2)$. The printed parametrization $x=\pm \sqrt{2}\mathrm{sech}z$, $y=\pm \sqrt{2}\mathrm{sech}z\tanh z$, taking matching signs, satisfies this identity because $1-{\mathrm{sech}}^{2}z={\tanh }^{2}z$. It also has $dx/dz=-y$ and $dy/dz=-(x-x^3)$, so its parameter is physical reversed time, $z=-t+\text{constant}$, rather than $z=t$. It is nonetheless exactly a parametrization of the requested trajectory. In physical forward time one can use $x(t)=\sqrt{2}\mathrm{sech}t$, $y(t)=-\sqrt{2}\mathrm{sech}t\tanh t$ on the right loop.

Approach to the origin requires $z\to \pm \infty$, hence infinite physical time. Equivalently $|y|\sim x$ near the right-loop endpoint, so the elapsed time contains the divergent integral ${\int }_0^{\delta }dx/x$. The point at $x=\sqrt{2}$ is reached in finite time from any interior point; it is the asymptotic saddle endpoints, not that turning point, that cause the infinite total traversal time.

A periodic orbit is a nonconstant trajectory that returns to the same complete state after a positive period. Its least positive period $T$ gives $x(t+T)=x(t)$ for all times along the solution. A constant equilibrium is excluded by the nonconstant condition. For a discrete map, the analogous least period is the number of iterations required to return.

A harmonic oscillator gives a family of periodic ellipses, one for each positive mechanical energy. A limit cycle is instead an isolated periodic orbit. This distinction matters for perturbations: changing an undamped oscillator's energy selects another ellipse, while an attracting limit cycle can restore nearby trajectories toward its own orbit. Their phases need not coincide with one selected reference solution as time advances, which motivates orbital asymptotic stability rather than demanding convergence to the same timed point on the cycle.

The Poincaré-Bendixson theorem strongly restricts long-term motion in a smooth autonomous planar flow. In a standard form, a nonempty compact omega-limit set containing no equilibrium point is a periodic orbit. The flow is generated by a continuously differentiable vector field on an open planar domain, and the limit set must lie within that domain.^[ref]

This gives a practical existence argument: find a compact forward-trapping region that contains no equilibria, and analyze a trajectory that remains in it. The theorem can establish periodic long-term behavior without solving the orbit explicitly. It does not by itself prove that a cycle is unique or attracting from both sides. If the limit set includes equilibria, connecting trajectories can enter the classification, while higher-dimensional flows such as the Lorenz system are outside the planar conclusion.

Robot motion planning computes a robot's proposed motion from its modeled state, environment and task constraints. A geometric planning problem asks for a path through configuration space; a timed motion can additionally constrain velocity, acceleration, forces and actuator effort. Hauser's primary text explicitly distinguishes geometric path planning from the broader problem involving dynamics and execution.^[ref]

Let $Q_{\mathrm{free}}$ be the configurations allowed by joint limits and collision detection. A geometric solution is a continuous curveEach point represents a complete robot configuration. A configuration-space obstacle is a forbidden set of configurations, not necessarily the same shape as the physical obstacle in the workspace.

An original planar example uses a point robot starting at $(0,0)$ and aiming for $(1,0)$, in metres. A circular obstacle centered at $(0.5,0)$ with radius $0.10\mathrm{m}$ blocks the straight path. A two-segment detour through $(0.5,0.20)$ has lengthThe perpendicular distance from the obstacle center to either segment isso the detour clears the circular obstacle. Checking only the start and goal would instead miss the collision on the straight segment.

Now give the robot a circular footprint of radius $0.05\mathrm{m}$, with translation as its only degree of freedom. The forbidden center positions form a disk of radius $0.15\mathrm{m}$: the obstacle is expanded by the footprint through Minkowski addition. The same detour still passes, but its center-path margin above the expanded obstacle is only about $0.0357\mathrm{m}$. The geometric reduction depends on the stated footprint and permitted motion.

A path's corner does not supply a dynamically smooth trajectory. Traversing this sharp detour at nonzero constant speed would instantaneously change velocity at its midpoint. A physical controller must stop, smooth the corner or choose a different feasible trajectory, while continuing to respect the obstacle and actuator constraints. A larger path length can be an acceptable cost if it permits the required motion.

A proposed validation compares the continuous planned geometry, sampled collision tests and measured execution on a controlled obstacle course. Report the robot geometry, constraints, computational budget and observed clearance. Failure to find a path in a limited run does not alone prove none exists; success on a numerical path does not alone establish accurate execution. Hauser treats completeness and the distinction between paths and feedback policies separately.^[ref]

A robust swing-foot clearance margin is a guaranteed lower separation between a robot's swing foot and terrain over a specified crossing interval and set of allowed errors. It differs from clearance computed only for a nominal trajectory. The interval must exclude intended ground contacts when a strictly positive margin is required.

An original point-foot model lets the planned terrain be $H(x)$ and the planned clearance be $c_0=z-H(x)$. Assume actual vertical foot error $|{\delta }_z|\le {ϵ}_z$, horizontal error $|{\delta }_x|\le {ϵ}_x$, and terrain-model height error bounded by ${ϵ}_H$. If $H$ has Lipschitz constant $L_H$ over the relevant neighborhood, thenThe actual clearance consequently satisfiesThis follows from the triangle inequality and covers all errors in the stated bounds. Their effects add in a worst-case calculation; combining them as independent random standard uncertainties would answer a different question.

For a local sloped-terrain example, take ${ϵ}_z=3\mathrm{mm}$, ${ϵ}_H=4\mathrm{mm}$, ${ϵ}_x=2\mathrm{mm}$ and $L_H=0.5$. The total clearance allowance is $3+4+0.5(2)=8\mathrm{mm}$. Guaranteeing a $5\mathrm{mm}$ margin therefore requires nominal clearance at least $13\mathrm{mm}$ throughout that crossing. A nominal $5\mathrm{mm}$ gap gives only a $-3\mathrm{mm}$ lower bound and cannot certify the requested separation.

Finite path samples need another allowance. Suppose the nominal clearance as a function of path parameter $s$ is Lipschitz with constant $L_c$, and every point lies within $\Delta s/2$ of a checked sample. If the smallest sampled clearance is $c_{\mathrm{sample}}$, a clearance bound between trajectory samples givesWith $L_c=0.10\mathrm{m}$ per unit parameter and sample spacing $\Delta s=0.10$, between-sample uncertainty costs another $5\mathrm{mm}$. The preceding example would then require sampled clearance at least $18\mathrm{mm}$ for a certified $5\mathrm{mm}$ margin.

Bounds must match the geometry. A vertical obstacle edge is not covered by a finite height-slope bound across its discontinuity; use the full configuration-space obstacle instead. Shared coordinate-frame errors can also cancel in a relative clearance, so separate component bounds can be conservative when their joint dependence is known.

The primary robotics formulation requires constraints along the full path and distinguishes planned from executed motion.^[ref] A proposed test records terrain and foot geometry in one reference frame, validates the stated error bounds, and compares a continuous-path certificate with observed minimum separation. A passing sample grid without the intervening bound does not establish the same guarantee.