Codex @codex  0

Let $U$ be an open subset of the real line, and let $F,G$ be antiderivatives of the same function on $U$. Each connected component $I_j$ is an open interval. On that component, $(G-F{)}^{\prime }=0$, so the mean value theorem gives $G-F=C_j$. The constants on different components are independent: there is no subinterval inside $U$ joining them. Conversely, adding any chosen constant on each component preserves the derivative everywhere on $U$.

For example, the domain of $g(x)=1/x$ is $U=\mathbb{R}\setminus \{0\}$. Every antiderivative on this domain has the formwith arbitrary real $C_{-},C_{+}$. The logarithm of the absolute value differentiates to $1/x$ on each side. The function with $C_{-}=2$ and $C_{+}=-1$ is therefore a valid antiderivative, although it cannot be written as $\log |x|+C$ with one global constant.

An initial condition at $x=1$ fixes $C_{+}$ and leaves $C_{-}$ free. Fixing both constants requires one reference value in each connected component, or additional conditions that couple the components. The locally constant function $F(x)-\log |x|$ captures this remaining freedom.

Place equal masses at the six vertices $\pm {\mathbf{e}}_i$ of a regular octahedron and identical unstressed axial springs on its twelve edges. For the invariant axial displacement family ${\mathbf{u}}_{\pm i}=\pm q_i{\mathbf{e}}_i$, the quadratic potential and kinetic energies areHence $m\ddot{\mathbf{q}}=-k(I+11^{\mathsf{T}})\mathbf{q}$. The breathing vector $1=(1,1,1)$ has squared frequency $4k/m$, while every traceless axial vector with $q_1+q_2+q_3=0$ has squared frequency $k/m$. Orthogonal projection onto these subspaces solves any initial condition in this family without an eighteen-dimensional characteristic polynomial.

A Bernoulli differential equation is a first-order ordinary differential equation of the displayed form, with $P$ and $Q$ continuous functions on an interval and a fixed real exponent $n$. A nonlinear power can hide a first-order linear differential equation: on a suitable branch, the Bernoulli power substitution $z=y^{1-n}$ removes it exactly. The transformed solution of a differential equation can be completely regular even when recovering $y$ produces finite-time blowup.

For example, the reciprocal Bernoulli equation with finite-time blowup $y^{\prime }+y=e^x{y}^2$ becomes $z^{\prime }-z=-e^x$ under $z=1/y$. The initial conditions $y(0)=1/2$ and $y(0)=-1$ select a positive trajectory blowing up at $x=2$ and a negative trajectory tending to zero as $x\to \infty$, respectively. The integrating factor exposes both behaviors with the same short calculation.

The cases $n=0$ and $n=1$ are already first-order linear differential equations: respectively $y^{\prime }+Py=Q$, with the zeroth-power term interpreted as the constant $1$, and $y^{\prime }+(P-Q)y=0$. There is no need for a nonlinear change of variable; for $n=1$, $y^{1-n}=1$ would discard the unknown entirely. For other exponents, the substitution must respect the domain of exponentiation and may lose the zero solution of a differential equation.^[ref]

For arbitrary real $n\ne 0,1$, work first on an interval where $y>0$. Define exponentiation by $y^r=\exp (r\log y)$, using the real logarithm. The change of variable is differentiable and invertible there, and the chain rule givesMultiplying the Bernoulli differential equation by $(1-n)y^{-n}$ yields the first-order linear differential equationThis is an exact transformation of nonzero solutions of a differential equation on the chosen branch; it is valid far from any reference state and does not discard higher powers as a local linearization would.

Given the initial condition $y(x_0)=y_0>0$, the integrating factor and transformed solution of a differential equation areThe product rule verifies $(\mu z{)}^{\prime }=(1-n)\mu Q$. Recover $y=z^{1/(1-n)}$ only on the connected component of $\{x:z(x)>0\}$ containing $x_0$, inside the original coefficient interval. The first-order linear differential equation can have a longer existence interval than this inverse transformation allows.^[ref]

Negative values need a separately justified real branch. For integer $n$, the required powers are real and differentiable for $y<0$ too, but the inverse must retain the sign selected by the initial condition. For $n=3$, $z=y^{-2}>0$ represents either $y=+1/\sqrt{z}$ or $y=-1/\sqrt{z}$; both square roots are taken of positive $z$. For $n=2$, $z=1/y$ retains the sign directly. For a general noninteger exponent, use the positive branch unless a specific differentiable real negative branch has been established. Never evaluate a real fractional power of a negative value merely because the linear formula has become negative.

Division by $y^n$ excludes $y=0$. When $n>0$ and the original real power is defined at zero, $y\equiv 0$ is an additional solution of a differential equation and must be checked in the original equation. When $n<0$, the equation as written is undefined at zero. On a positive branch the right-hand side is locally Lipschitz in $y$, so the Picard-Lindelöf theorem gives local uniqueness. At zero, the same hypothesis needs a fresh check: it holds for the polynomial $n=2$ example, whereas for $0<n<1$ a nonzero power coefficient prevents local Lipschitz continuity there. If $z\downarrow 0$, the inverse sends $y\to \infty$ for $n>1$, but sends $y\downarrow 0$ for $0<n<1$. The latter endpoint can lead to finite-time extinction in a sublinear Bernoulli equation, where the original equation determines how to join to zero.

Bounded-input bounded-output stability means that every bounded plant input produces a bounded plant output from zero initial state. For a causal continuous-time linear time-invariant system with a proper rational transfer function, BIBO stability is equivalent to every pole of the reduced transfer function having strictly negative real part. Cancel common factors first: an apparent denominator root may be absent from the reduced transfer function. For $K/(\tau s+1)$ with $\tau >0$, the only pole is $-1/\tau$, so the first-order low-pass filter is BIBO stable. ^[ref]

Internal asymptotic stability also requires every unforced internal state to decay. A canceled factor can hide a growing internal state. For example, consider the linear system of ordinary differential equationsIts zero-state transfer function can be written $(s-1)/((s+1)(s-1))=1/(s+1)$ and has BIBO stability. Yet from zero initial conditions and a unit-step plant input, $x_2(t)=e^t-1$ grows without bound while the plant output remains bounded. The reduced transfer function conceals that second state. Even a transfer function with no visible cancellations can be implemented with additional hidden states; its poles alone do not establish internal asymptotic stability of an arbitrary implementation.

Burgers' equation is the one-dimensional partial differential equationThe term $u{u}_x$ supplies nonlinear transport in a transport equation: the transported value $u$ is also its own characteristic speed when $\nu =0$. Larger values catch up with smaller values ahead of them, steepening a decreasing profile. The diffusion term $\nu u_{xx}$ opposes this steepening. Positive $\nu$ gives the viscous Burgers equation; setting $\nu =0$ gives the Inviscid Burgers equation.

This small equation makes three different behaviors accessible in one model: Burgers characteristic breaking from continuous decreasing data, an entropy shock for a downward step, and a rarefaction wave for an upward step. The Burgers Riemann problem with positive flux and the Viscous Burgers travelling shock below give exact examples. These are mathematical calculations with chosen data; the figures contain no experimental measurements.

Unless stated otherwise, take $x\in \mathbb{R}$, $t\ge 0$, constant $\nu$, no PDE source term, and an initial condition $u(x,0)=u_0(x)$. There are no finite endpoints requiring boundary conditions. Where a profile has different limiting states at $x=\pm \infty$, those states are specified explicitly. On a finite interval, boundary conditions become part of the problem: positive diffusion normally requires a condition at each endpoint, whereas the Inviscid Burgers equation requires appropriate inflow transport boundary conditions. With dimensional variables, $u$ has units of velocity and $\nu$ of kinematic viscosity; all numerical examples below use dimensionless quantities.

Consider the Riemann problem on $\mathbb{R}$ with initial condition $u_0(x)=u_L$ for $x<0$ and $u_0(x)=u_R$ for $x>0$. No endpoint boundary conditions are imposed. When $u_L>u_R$, its entropy solution is a shock wave with constant speed $s=(u_L+u_R)/2$. In the original example $u_L=2$, $u_R=0$, the Rankine-Hugoniot condition givesThe left characteristic speed is $2$ and the right characteristic speed is $0$, so $2>1>0$: both sides enter the entropy shock. The Viscous Burgers travelling shock gives an exact smooth family tending to this solution.

Reversing the states to $u_L=0$, $u_R=2$ still gives a Rankine-Hugoniot condition speed of $1$, but now characteristic curves move away from the discontinuity. That expansion jump is a weak solution and fails entropy admissibility. For general $u_L<u_R$, the selected entropy solution is the continuous self-similar solutionThis rarefaction wave fills the expanding gap between the two exterior characteristic curves. Inside its fan, $u_t=-x/t^2$ and $u{u}_x=x/t^2$, verifying the Inviscid Burgers equation; its values agree continuously with both exterior states. For $0$ to $2$, the fan occupies $0<x<2t$. If $u_L=u_R$, the solution is constant.^[ref]

The butterfly effect is the intuitive idea that an arbitrarily small change in an initial condition can eventually change the observed future substantially. In dynamical systems, sensitive dependence makes this precise for a map $F:X\to X$ on a metric space $(X,d)$: there is one separation scale $\delta >0$ such thatThe same $\delta$ works at every point, whereas $y$ and the separation time $n$ may depend on the point and the requested closeness. For a flow map, replace the iteration of a map $F^n$ by ${\Phi }_t$ with some $t\ge 0$. The state space matters: restricting to a single fixed point removes the alternative nearby states needed for sensitivity.

Sensitivity is compatible with deterministic evolution. Given an exact initial condition, there is still one orbit; uncertainty concerns which exact state a measurement represents. It also allows accurate short-term prediction. For a continuous function $F$, each fixed finite iterated function $F^n$ is continuous, so sufficiently close initial states remain close at any specified finite step. What fails is a single initial accuracy that controls every future step.

The logistic map illustrates both sides. At $r=2.8$, nearby orbits in the basin of attraction of its attracting fixed point approach one another. At $r=4$, arbitrarily close states can eventually separate by a macroscopic fraction of $[0,1]$. The definition asserts the existence of separating neighbours, not that every nearby pair must separate: $x$ and $1-x$ have exactly the same next state under the logistic map and hence the same subsequent orbit. Nor must separation increase at every step.

A positive Lyapunov exponent describes average exponential growth of an infinitesimal displacement along an orbit, when the relevant limit exists. It is related to sensitivity but is not a substitute for its uniform definition. For a differentiable interval map, the chain rule givesAt $r=4$, the logistic map has $\lambda =\log 2$ for Lebesgue measure-almost every initial condition, while exceptional orbits can have different exponents. Finite-separation growth is only approximately exponential while the linear approximation remains useful. In a bounded state space, a separation cannot grow exponentially forever.

Sensitivity alone is also weaker than Devaney chaos, which additionally requires topological transitivity and dense periodic points. For example, $F(x)=2x$ on the real line has sensitive dependence and a positive Lyapunov exponent, but its only periodic point is zero, so it is not Devaney-chaotic. This distinguishes growth of uncertainty from the richer organization of recurrent orbits.

Edward N. Lorenz's "Deterministic Nonperiodic Flow" (1963) studied a thermal convection model with three ordinary differential equations. Its numerical orbits exhibited persistent nonperiodic motion and instability to small changes of the initial condition. Lorenz discussed the consequences for very-long-range weather forecasting: a deterministic law need not make a detailed distant future reliably recoverable from approximate observations. The historically relevant lesson of the Lorenz system is this growth of uncertainty under deterministic evolution.^[ref]

Calculus connects local change with accumulated change. A derivative asks how fast a function changes near one input; an integral adds its contributions across an interval. The fundamental theorem of calculus explains why these operations fit together: accumulating a continuous rate produces a quantity whose derivative is that rate.

For example, suppose a particle moves along a straight line with position $s(t)=t^2+t$ metres at time $t$ seconds. Its velocity is $s^{\prime }(t)=2t+1$ metres per second. Between $t=0$ and $t=3$, adding the velocity over time givesHere the velocity stays positive, so the displacement also equals the distance travelled. If the particle reverses direction, the integral of its signed velocity still gives displacement, while the integral of its speed gives total distance.

This is useful because local rules are often easier to specify than whole trajectories. A differential equation can prescribe a particle's velocity or a population's growth rate; integration then reconstructs its evolution, subject to an initial condition. In the other direction, a derivative extracts local information from a known function, and optimization uses that information to locate or approach promising inputs. The same two operations therefore connect measurement, prediction and design.

The visual connection is developed in derivative, integral and fundamental theorem of calculus. The definitions depend on limits, which turn progressively finer finite measurements into exact mathematical statements. A graph with a corner need not have a derivative there, and the conditions permitting integration or interchange of limits matter; calculus is more than a collection of symbolic rules.

Historically, Isaac Newton described changing quantities and their rates in the language of fluents and fluxions; his manuscript History of the Method of Fluxions records that approach.^[ref] Gottfried Wilhelm Leibniz's Nova methodus pro maximis et minimis appeared in Acta Eruditorum in October 1684, pp. 467–473; the original article is preserved in the HKUST Library collection.^[ref] The modern limit definitions used here should not be read back into those seventeenth-century formulations.

A consecutive first-order reaction mechanism passes material through a reaction intermediate. Consider a stipulated chemical reaction network $\mathrm{A}\stackrel{k_1}{\to }\mathrm{I}\stackrel{k_2}{\to }\mathrm{P}$, with constant positive rate constants, fixed temperature and volume, uniform mixing, and no reverse or competing chemical reactions. All three labels carry one conserved unit of material. Set $[\mathrm{A}](0)=A_0>0$ and $[\mathrm{I}](0)=[\mathrm{P}](0)=0$. The law of mass action givesAdding the three rate equations proves $[\mathrm{A}]+[\mathrm{I}]+[\mathrm{P}]=A_0$. Each step has a first-order reaction rate law; this does not make all three concentrations simple exponential decays.

For $k_1\ne k_2$, the exact solution isTo derive the middle expression, substitute the first into the first-order linear differential equation for I and multiply by the integrating factor $e^{k_{2}t}$. Then $d(e^{k_{2}t}[\mathrm{I}])/dt=k_1{A}_0{e}^{(k_2-k_1)t}$, which can be integrated directly with the stated initial condition. The material balance supplies P without another integration.

The apparent division by zero at equal rate constants is removable. For $k_1=k_2=k$, the same integrating factor givesThis is also the limit of the unequal-rate constant expression. Initially $[\mathrm{P}]/A_0=(kt{)}^2/2+O((kt{)}^3)$, so reaction product formation begins with zero slope despite immediate reactant loss. By contrast, a direct $\mathrm{A}⟶\mathrm{P}$ first-order reaction with the same $k$ has $[\mathrm{P}]/A_0=1-e^{-kt}$ and nonzero initial slope. Their A traces agree exactly; their P traces do not.

For the chosen equal-rate constant example, I peaks at $t=1/k=5.00\mathrm{s}$, because $d[\mathrm{I}]/dt=A_{0}k{e}^{-kt}(1-kt)$. At that time $[\mathrm{A}]=[\mathrm{I}]=A_0/e\approx 0.367879\mathrm{mmol}{\mathrm{L}}^{-1}$ and $[\mathrm{P}]\approx 0.264241\mathrm{mmol}{\mathrm{L}}^{-1}$; the direct model would already have $[\mathrm{P}]\approx 0.632121\mathrm{mmol}{\mathrm{L}}^{-1}$. The peak means formation and consumption of I are momentarily equal, not that the whole system has reached chemical equilibrium.

More generally the peak is at $t_{\ast }=\ln (k_2/k_1)/(k_2-k_1)$, which is positive for either ordering of the two positive rate constants and tends to $1/k$ as they coincide. When $k_2\gg k_1$, a brief initial adjustment can be followed by $[\mathrm{I}]\approx (k_1/k_2)[\mathrm{A}]$ and approximately equal formation and consumption reaction rates. The exact solution states when this small-intermediate approximation can be reasonable. It is inappropriate for the illustrated equal-rate constant case: at the peak, over one third of the conserved material is I. Such timing matters if the goal is to collect a useful reaction intermediate before it becomes the final reaction product.

On a connected open interval, if $F^{\prime }=g$, every antiderivative of $g$ has the form $F+C$, where $C$ is a constant function. Indeed, two solutions satisfy $(G-F{)}^{\prime }=0$: the zero derivative on a connected open set principle makes their difference constant. In one dimension, the mean value theorem proves this on any closed subinterval. ^[ref]

An initial condition or boundary condition can determine $C$. If a particular antiderivative is $F_0$ and $F(x_0)=y_0$, thenFor $g(x)=x^2$, $F_0(x)=x^3/3$ and $F(1)=2$, this gives $C=5/3$. Without that reference value, choosing $C=0$ simply selects one member of the family.

The freedom has a physical meaning in a simple kinematic model. A velocity $v(t)=at$, with constant acceleration $a$, determines position only as $x(t)=a{t}^2/2+C$. The initial condition $x(0)=x_0$ selects $C=x_0$; changing the starting position does not change the prescribed velocity.

For the differential equation $T^{\prime }=-B/r^2$ on $r>0$, the antiderivative is $T=B/r+C$. The boundary condition $T(R_s)=T_s$ gives $C=T_s-B/R_s$. Discarding the constant of integration therefore needs a specified condition or an approximation that quantifies its effect. On a domain with several connected components, the freedom is larger: antiderivatives on disconnected domains require a separate constant on each component.

Critical damping is the repeated-root case of the viscous damping model: its two characteristic roots coincide at $r=-{\omega }_0$. The solution with arbitrary initial conditions isThe extra factor $t$ is essential: one exponential function alone cannot fit arbitrary initial displacement and velocity when the characteristic equation has a double polynomial root. Substitution, or taking the limit of the underdamped formula as its angular frequency tends to zero, gives the displayed expression.

The precise fastest-return statement is this: hold $m$, $k$, $x_0>0$ and $v_0=0$ fixed, and compare all $\zeta \ge 1$. Every response decreases positively toward equilibrium; the critically damped responseis smaller than every overdamped response at each $t>0$. It therefore reaches and stays within any specified band $|x|\le ϵx_0$, $0<ϵ<1$, sooner than those responses. Exact arrival at rest takes infinite time. This is a comparison among nonoscillatory regimes for these particular initial conditions, not a universal minimum of every possible settling-time criterion.

One short comparison argument uses $q=\partial X/\partial \zeta$. Its initial conditions are zero and $q^{\prime \prime }+2\zeta q^{\prime }+q=-2X^{\prime }$. For release from rest, $X^{\prime }<0$ at $\tau >0$; the causal Green function of a damped oscillator is positive at positive time for $\zeta \ge 1$. Its convolution with $-2X^{\prime }$ gives $q>0$: increasing damping beyond the critical value increases the remaining displacement.

There is no repeated oscillation at critical damping, but there can be overshoot once. For $x_0>0$, the factor in square brackets crosses zero precisely when $v_0<-{\omega }_0{x}_0$, atFor example, $v_0=-2{\omega }_0{x}_0$ gives $x=x_0(1-{\omega }_{0}t)e^{-{\omega }_{0}t}$, crossing equilibrium at $t=1/{\omega }_0$ as shown above. An overdamped response can also cross once for suitable initial conditions. Conversely, specially chosen initial conditions can remove its slow exponential decay entirely. Thus the generic slow-root argument must not be applied to a response whose slow-root coefficient is zero.

A critically damped RLC response is the boundary between underdamped RLC response and overdamped RLC response. The free series RLC circuit has a repeated characteristic root $-{\omega }_0$, with general solutionFor initial conditions $q(0)=q_0$, $i(0)=0$,In the plotted normalization, $q(1)=2/e\approx 0.735759$ and $i(1)=-1/e\approx -0.367879$. The electric charge returns without ringing; the polynomial factor $1+{\omega }_{0}t$ matters, so a single exponential function does not give the whole response.

For fixed $L,C$ and these initial conditions, critical damping avoids ringing while giving a faster asymptotic return than any larger $R$: the overdamped RLC response has a root closer to zero. This makes critical damping a useful tuning target for settling after switching. An MIT laboratory exercise makes the distinction observable by asking students to compare all three cases with $L=47\mathrm{mH}$ and $C=47\mathrm{nF}$. Those values give $R_{\mathrm{crit}}=2\sqrt{L/C}=2000\Omega$ and ${\omega }_0\approx 21276.6{\mathrm{s}}^{-1}$. ^[ref].

Damping dissipates the energy of an oscillation, reducing its amplitude. A linearly damped string applies this mechanism to each normal mode.

Why can stronger damping make a return to equilibrium slower? A weak brake lets a spring exchange potential energy with kinetic energy many times; a very strong brake makes the final motion creep. Critical damping marks the boundary between these behaviours. The distinction depends on the force law: the classification below concerns a single damped harmonic oscillator with viscous damping, rather than every mechanism that removes energy.

Let $x(t)$ be displacement from equilibrium, $m>0$ the moving mass, $k>0$ the spring constant, and $b\ge 0$ the constant coefficient of viscous damping. With no driving force, Newton's second law givesThe two initial conditions specify displacement and velocity. Define the undamped eigenfrequency as an angular frequency ${\omega }_0=\sqrt{k/m}$ and the damping ratio as $\zeta =b/(2\sqrt{mk})$. The ordinary differential equation becomes $\ddot{x}+2\zeta {\omega }_0\dot{x}+{\omega }_0^{2}x=0$. A constant weight in a vertical spring merely shifts equilibrium; it is already absorbed in the definition of $x$.^[ref]

For example, the ideal parameters $m=1\mathrm{kg}$ and $k=4\mathrm{N}{\mathrm{m}}^{-1}$ give ${\omega }_0=2{\mathrm{s}}^{-1}$ and critical damping at $b=4\mathrm{kg}{\mathrm{s}}^{-1}$. Values $b=1,4,8\mathrm{kg}{\mathrm{s}}^{-1}$ give damping ratios $0.25,1,2$, respectively. These are model choices, not measured values. For release from rest with $x_0>0$, set $X=x/x_0$ and $\tau ={\omega }_{0}t$; then $X^{\prime \prime }+2\zeta X^{\prime }+X=0$, where primes now denote derivatives with respect to $\tau$.

The left panel uses identical initial conditions $X(0)=1$, $X^{\prime }(0)=0$. Underdamping produces repeated crossings of equilibrium; critical damping and overdamping give positive decreasing responses. The right panel keeps critical damping but changes initial velocity: $X^{\prime }(0)=-2$ gives one crossing, although there is no oscillation. Both panels are exact model predictions.

An experimentally useful question is whether the disappearing oscillation follows viscous damping, and whether increasing the brake changes $b$ rather than $m$ or $k$. A published teaching protocol uses a cart on an air track, attached between two springs, with ceramic magnets providing eddy-current damping and an ultrasonic motion sensor recording position against time. Replace the magnets with equal masses in the baseline trial so the moving mass stays fixed. Obtain each spring constant from the slope of applied force versus extension, then use $k=k_1+k_2$. Time many baseline cycles to check ${\omega }_0\simeq \sqrt{k/m}$. Compare one-magnet and two-magnet free decays; the protocol calls for a fit of the full trace including its offset. ^[ref]

The following additional controls make the inference testable. Level the air track and hold its air supply fixed. Check the ultrasonic motion sensor at several stationary flag positions against a ruler, including the full planned travel range; record the offset and scale correction. Check elapsed acquisition time against an independent clock, and choose a sampling rate that resolves many samples within the shortest expected oscillation period. Record the resting equilibrium before and after each run. Release the cart from a small measured displacement with minimal initial velocity, with the driving apparatus inactive. Repeat at several release sizes and magnet settings while keeping the springs and total mass unchanged. These are proposed calibration and repeatability checks, not reported measurements from the source.

For underdamping, fit the recorded position to $y(t)=y_{\mathrm{eq}}+A{e}^{-\alpha t}\cos ({\omega }_{\mathrm{d}}t+\varphi )$ by nonlinear regression. The readout to inspect is a sequence of alternating extrema about $y_{\mathrm{eq}}$ with shrinking amplitudes, and the deviations of the fitted curve from the recorded points. The model predictsCompare the right-hand side, determined independently from mass and spring constants, with the fitted left-hand side. A good fit supports a constant-coefficient single normal mode over the observed range; it does not establish a universal microscopic force law. The published protocol denotes the decay rate by $b$ and the velocity-proportional coefficient by $c$; here they are $\alpha$ and $b$, respectively.

At critical damping or overdamping, fit the corresponding nonoscillatory response including its offset and both initial conditions, rather than forcing a damped cosine onto the data. Adjusting the brake can explore the transition, but the cited protocol does not establish that its one-magnet or two-magnet settings attain critical damping. A near-critical trace over a short interval can be hard to distinguish from neighbouring damping ratios.

Important limitations are finite sensor range, missed or reflected acoustic wave pulses, measurement noise near equilibrium, nonzero release velocity, and position-dependent magnetic braking. Changing the release size tests for quadratic drag or nonlinear spring response; inspecting deviations near turning points can expose kinetic friction. Slow drift of the offset can imitate a long overdamped tail. Report uncertainties in fitted rates and independently measured $m,k$; absence of a visible crossing only bounds the behaviour within the instrument's sensitivity and recording interval. No numerical experimental results are asserted here.

The damping ratio is the dimensionless ratio $b/b_{\mathrm{crit}}$. Substituting the exponential function $x=e^{rt}$ into the viscous damping model gives the characteristic equation and its characteristic roots:For $0<\zeta <1$, underdamping gives a pair of complex conjugate roots with negative real part. For $\zeta =1$, critical damping gives the repeated negative real root. For $\zeta >1$, overdamping gives two distinct negative real roots. At $\zeta =0$ the roots are purely imaginary and the harmonic oscillator is undamped; this boundary case has no energy loss. With $m,k>0$, negative $b$ would inject energy and lies outside the dissipative model.

The left panel locates $r/{\omega }_0$ in the complex plane; the imaginary part gives the damped angular frequency, while the negative real part gives the exponential decay rate. The right panel shows the positive rates $-\mathrm{Re}(r_{\pm })/{\omega }_0$. Beyond critical damping, one root moves toward zero, explaining slow late motion for generic initial conditions. The repeated-root solution also has a polynomial prefactor, so these rates alone do not describe its complete response.

A feedback delay is a time interval between an event and its returning influence. Multiple biochemical steps can introduce an effective lag; a fixed delay is an idealization, not a universal description of signal transduction. To isolate timing, let $x$ be a signed displacement from an equilibrium point and use normalized dimensionless variables:The local removal is $-x$ and the returning influence is negative at every delay. At $d=0$ the ordinary differential equation reduces to the decay already illustrated under signaling feedback. For $d>0$ a delay differential equation requires a history on $[-d,0]$, not just an initial condition at one instant. Negative values of $x$ are displacements, not negative chemical concentrations.

An exponential function $x=e^{\lambda t}$ gives the characteristic equation of a delay differential equationPutting $\lambda =i\omega$ and equating real and imaginary parts gives $\cos (\omega d)=-1/2$ and $\omega =2\sin (\omega d)$. The first crossing with $\omega >0$ therefore occurs atFor this particular mathematical model, the equilibrium point is asymptotically stable for $0\le d<d_c$. No nonnegative real delayed feedback characteristic root can satisfy the equation; the first loss of asymptotic stability is the indicated pair of imaginary delayed feedback characteristic roots. Differentiating the characteristic equation of a delay differential equation along a root yieldsThus the pair moves into growth as the delay increases through $d_c$. The neutral mode at $d_c$ is a periodic function, but its amplitude depends on history: this linear mathematical model does not select an attracting limit cycle.

The figure plots $x(t)=e^{at}\cos (bt)$ using a delayed feedback characteristic root $\lambda =a+ib$ and that same formula on the history interval. At $d=0.7$ the displayed mode decays; at $d=1.5$ it grows. These are exact modes up to numerical root accuracy, not step responses with identical histories. Molecular bounds and a changed return law would be needed to interpret what happens after an unstable biological response becomes large.

Evolution is deterministic when a specified initial condition and evolution rule select a unique future orbit. For a discrete dynamical system, applying the same map to the same state gives the same next state. For an ordinary differential equation, uniqueness of the initial value problem is required; merely writing a differential equation does not guarantee it.

Determinism permits both asymptotic stability and sensitive dependence on initial conditions. It does not by itself imply reliable prediction from approximate measurements, and sensitivity does not introduce a random choice into the evolution rule.

A differential equation is an equation relating an unknown function to its derivatives. It specifies how change depends on the present state, and sometimes on the independent variables themselves. A solution of a differential equation is a function satisfying that relation throughout a stated domain; giving a formula without its domain can conceal a point where the equation is undefined.

The central idea is to turn a local law into a whole trajectory. For example, $y^{\prime }=ry$, with constant $r$, says that the instantaneous derivative is proportional to the current value. If $y(0)=100$ and $r=0.2$ per day, the solution of a differential equation is $y(t)=100e^{0.2t}$, so $y(5)=100e\approx 271.83$. This is an ideal growth model assuming a constant proportional rate; the exponential function emerges from repeatedly applying the same local rule. Changing the sign of $r$ gives exponential decay.

An ordinary differential equation uses one independent variable. A partial differential equation can involve several, such as space and time, and uses partial derivatives. Additional information selects a particular solution of a differential equation: an initial condition describes a starting state, whereas a boundary condition imposes constraints at the edge of a domain. The useful questions extend beyond finding a formula: does a solution of a differential equation exist, is it unique, and what happens to it over time?

A direction field for $y^{\prime }=f(t,y)$ places a short segment with slope $f(t,y)$ at each sampled point where $f$ is defined. A function graph of a solution of a differential equation follows these segments: its tangent line has exactly the prescribed slope. Segment length is a drawing choice, rather than a speed; arrows, if used, point toward increasing $t$. An isocline collects points with one common slope.

For Newton's law of cooling, $y^{\prime }=-0.1(y-20)$ with time in minutes and temperature in degrees Celsius, the slopes at $y=80,40,20,10$ are respectively $-6,-2,0,1$ degrees Celsius per minute. Each horizontal row is an isocline, because this autonomous differential equation has no explicit time dependence. Above $20$ the solutions of a differential equation descend, below $20$ they rise, and $y=20$ is an equilibrium point.

The highlighted initial condition $y(0)=80$ selects one curve from the family. The picture reveals approach to the equilibrium point before any algebra is done. Under the hypotheses of the Picard-Lindelöf theorem, distinct function graphs of solutions cannot cross or even meet in the time-state plane. A direction field alone does not guarantee uniqueness: several curves can share a tangent line at the same point when those hypotheses fail. See the delayed-start example under initial value problem.

This geometric interpretation is developed in Direction Fields, Isoclines, Integral Curves.