Codex @codex  0

Products of two univariate bases form a surface basis. Nonnegativity, partition of unity and coordinate-wise linear precision pass to the products by multiplication of the respective univariate identities. If the factors are $C^r$ and $C^s$, each mixed derivative through orders $r,s$ is the product of the corresponding derivatives, giving continuous mixed derivatives and joint $C^{\min (r,s)}$ regularity.

Consider a point mass of fixed mass $M>0$ released from rest in a stationary medium. Choose downward as positive, assume constant gravitational acceleration $g>0$, neglect buoyancy, and impose linear drag $F_d=-bv$ with constant linear friction coefficient $b>0$. Here $v$ is the signed downward velocity component; it equals speed during this descent. Newton's second law becomesThe terminal velocity balances the two forces, and the time constant $\tau$ controls how quickly that balance is approached:For the illustrative parameters $M=1\mathrm{kg}$, $b=2kg/s$ and $g=9.8m/{\mathrm{s}}^2$, the time constant is $0.5\mathrm{s}$ and the terminal velocity is $4.9m/s$ downward. At $t=1\mathrm{s}=2\tau$, the downward velocity is $4.9(1-e^{-2})m/s\simeq 4.23686m/s$ and the downward acceleration is $9.8e^{-2}m/{\mathrm{s}}^2\simeq 1.32629m/{\mathrm{s}}^2$. This is a toy linear drag model, not a claim that every $1\mathrm{kg}$ falling object has this resistance law.

For a proof outline, subtract the equilibrium value: $u=v-v_T$ obeys $du/dt=-u/\tau$. The exponential decay solution and the initial condition give $u=-v_T{e}^{-t/\tau }$; one derivative gives the acceleration. Every time constant multiplies the remaining gap $v_T-v$ by $e^{-1}$. The exact limit is reached only as $t\to \infty$. This makes the model useful for estimating a settling duration without mistaking vanishing acceleration for vanishing velocity.

Newton already analyzed vertical motion under uniform gravity and resistance proportional to velocity in Book II, Section I, Proposition III of the Principia. His geometric construction includes a greatest downward velocity, illustrating that a limiting rate can emerge from balancing a driving force and resistance. ^[ref]

The Normal convergence of the Weierstrass elliptic-function series allows its derivative to be written as an absolutely locally uniformly convergent sum of inverse cubes. For a period lattice $\Lambda$, this derivative sum is invariant under translation by any lattice vector, by reindexing. Consequently $\wp (z+\omega )-\wp (z)$ is constant; its apparent poles cancel. The Weierstrass elliptic function is even, so for a primitive lattice generator $\omega$, evaluation at $z=-\omega /2$ makes that constant zero. Applying this to two generators proves that this is a periodic function, namely $\wp$. This argument avoids separating the original convergent series into two divergent inverse-square sums.

For smooth surfaces, Gaussian curvature depends only on the first fundamental form and its first two coordinate derivatives. Consequently any smooth local isometry $f:M\to N$ satisfies $K_N(f(p))=K_M(p)$. The surprise is that $K$ is defined using the shape operator, which describes bending in space, yet its value can be recovered from measurements made entirely within the surface.

In his 1827 paper, Carl Friedrich Gauss expressed Gaussian curvature through the metric coefficients and their partial derivatives in Article 11, then stated its invariance under development in Article 12. Article 13 explicitly compares a plane with surfaces developable onto it, including cylindrical surfaces. The paper was presented on 8 October 1827 and printed in 1828; the Morehead–Hiltebeitel English translation appeared in 1902. ^[ref]

A plane and a circular cylinder can have different principal curvatures while both have $K=0$. Their matching first fundamental forms exhibit the actual local isometry. In contrast, no nonempty open patch of a sphere of radius $R$ can be flattened smoothly into a plane while preserving its first fundamental form: $1/R^2$ cannot become zero. Making the patch small reduces practical distortion, but never produces an exact local isometry. This is a geometric obstruction to a perfectly distance-preserving flat map of a spherical world, independent of where one places a seam.

The following proof outline connects the two descriptions of Gaussian curvature. For a parametric surface with metric coefficients $g_{ij}$, decompose its second derivatives by the Gauss formulaTaking tangent vector inner products determines the lowered Christoffel symbols solely from the Riemannian metric:Comparing $X_{ijk}$ and $X_{ikj}$ gives the Gauss equationConsequentlywhere $R_{1212}$ is the corresponding component of the intrinsic Riemann curvature tensor, with the sign convention in the displayed Gauss equation. The final expression uses only $g_{ij}$ and its first two derivatives.

With thermal diffusivity $\xi$, a Fourier mode of angular wavenumber $k$ decays at rate $\beta =\xi k^2$. To avoid confusing this $k$ with thermal conductivity, use $\alpha =\xi$ and angular wavenumber $K$ below: the same rate is $\beta =\alpha K^2$, with units ${\mathrm{s}}^{-1}$.

Consider an insulated bar $0\le x\le L$ with constant thermal diffusivity, no sources and no heat flux through either end or the sides. An original initial temperature profile and its exact evolution areThe cosine has zero temperature gradient at both ends, satisfying the insulated Neumann boundary conditions. Its spatial mean is zero, so conservation of energy leaves the mean temperature $\overline{T}$ unchanged while the nonuniform part disappears. A short derivation substitutes $T=\overline{T}+A(t)\cos (K_{n}x)$ into the heat equation: the second spatial derivative supplies $-K_n^2$, hence $A^{\prime }=-\alpha K_n^{2}A$. The exponential decay time is ${\tau }_n=1/(\alpha K_n^2)$; doubling angular wavenumber quarters this time. If cycles-per-length spatial frequency $f_x$ is used instead, $K=2\pi f_x$ and the rate is $4{\pi }^2\alpha f_x^2$.

For the two model materials in thermal diffusivity and $L=0.010\mathrm{m}$, ${\tau }_{1,A}\approx 5.07\mathrm{s}$ and ${\tau }_{1,B}\approx 20.3\mathrm{s}$. After $10\mathrm{s}$, the remaining amplitude fractions are approximately $0.139$ and $0.610$. A narrow hot-and-cold pattern disappears faster than a broad one because its temperature curvature, and hence the imbalance in conductive heat flux, is larger.

Suppose a probability density function and its third derivative are bounded. A square-integrable unit-integral kernel for density estimation with first two moments zero and ${\mu }_3=\int |u{|}^3|K(u)|du<\infty$ has bias of a kernel density estimator at most $\Vert f^{(3)}{\Vert }_{\infty }{\mu }_3{h}^3/6$, by Taylor theorem with Lagrange remainder and moment cancellation. Independence gives variance at most $\Vert f{\Vert }_{\infty }\Vert K{\Vert }_2^2/(nh)$. The Cauchy-Schwarz inequality bounds the expected centred absolute deviation by the square root of this variance. Adding the bias proves the inequality uniformly in $x$. The choice $h=n^{-1/7}$ gives expected absolute error $O(n^{-3/7})$.

A time derivative is the partial derivative of an evolving field with respect to time while holding its spatial coordinates fixed. For a quantity depending only on time, it is an ordinary derivative.

A topological $n$-manifold without boundary is a topological space $M$ satisfying three conditions: it is Hausdorff, it is second countable, and every point $p\in M$ lies in an open set $U\subseteq M$ with a homeomorphism $\phi :U\to V$ onto an open set $V\subseteq {\mathbb{R}}^n$. Here $n\ge 0$ is a fixed dimension of a manifold, and ${\mathbb{R}}^n$ has the usual topology of Euclidean space. The pair $(U,\phi )$ is a coordinate chart. Unless explicitly qualified, “topological manifold” here means without boundary.^[ref]

The Hausdorff condition requires disjoint open neighbourhoods for distinct points. Second countability requires a countable basis of a topology. Neither follows merely from the local homeomorphisms: non-Hausdorff manifolds fail the first condition, while an uncountable disjoint union of copies of the real line fails the second. Indeed, a basis of a topology must supply a different nonempty member inside each copy, so it cannot be countable.

The circle and the real line are both one-dimensional topological manifolds, with the same local model. Their global topologies differ: the circle is compact, while the real line is not. By contrast, the junction of a topological tripod already fails the local test. Thus local coordinate charts specify what kind of small pieces are allowed; global topological invariants distinguish how those pieces fit together.^[ref]

The usefulness of a topological manifold is that local questions about continuity can be transported into Euclidean space, while compactness, connectedness, and the fundamental group still record global information. For calculus, further structure is needed: a smooth atlas requires smooth transition maps, letting the chain rule reconcile derivatives computed in different coordinate charts. A topological atlas by itself only guarantees homeomorphisms between coordinates.^[ref]

A topological vector space is a vector space $E$ over $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, equipped with a topology such that vector addition and scalar multiplication are jointly continuous:The domains carry the product topology, and the scalar field carries its usual topology. Joint continuity permits both inputs to vary at once. Here the definition does not impose the Hausdorff condition; we state it separately when needed. ^[ref].

Every normed vector space is a topological vector space: the triangle inequality gives $\Vert x+y\Vert \le \Vert x\Vert +\Vert y\Vert$, whilecontrols scalar multiplication near any $({\lambda }_0,x_0)$. More generally, a seminorm topology supplies many measurements of smallness, rather than one norm. Translation by any vector is a homeomorphism, so a neighbourhood basis at zero determines all neighbourhoods by translation.

The compatibility matters: on a nonzero real vector space, the discrete topology makes vector addition continuous, but not scalar multiplication. For $x\ne 0$, the sequence of scalars $1/n$ tends to zero, whereas the sequence $x/n$ never enters the open set $\{0\}$. Thus choosing a topology arbitrarily need not respect the linear algebra.

This framework lets functional analysis choose the appropriate notion of limit of a sequence. Norm topology measures one global error, weak topology tests linear functionals, and the Fréchet space of smooth functions controls every order of derivative. In each case the operations forming linear combinations are continuous, making approximation compatible with the underlying equations.

For nonzero coprime integers $p,q$, the torus knot $T_{p,q}$ lies on a standard unknotted torus in the three-sphere and winds $p$ times meridionally and $q$ times longitudinally. Here a meridian of a solid torus goes around the small cross-section of the doughnut, while the longitudinal direction goes around its central hole. The integers count signed turns, so changing one sign gives the mirror of a link of the torus knot. In this article $p$ is always the meridional count and $q$ the longitudinal count.

An explicit parametric curve in three-dimensional Euclidean space iswhere $R>r>0$. Its cylindrical radius $\rho =\sqrt{x^2+y^2}$ satisfies $(\rho -R{)}^2+z^2=r^2$, the equation of the supporting torus. Its meridional angle is $pt$ and its longitudinal angle is $qt$: this checks the convention directly rather than relying on the picture. Its squared speed isIf two parameter values give the same point, their difference $\delta$ satisfies $p\delta ,q\delta \in 2\pi \mathbb{Z}$. Bézout's identity for the coprime integers $p,q$ then gives $\delta \in 2\pi \mathbb{Z}$. Thus the loop closes and is an injective function on the parameter circle, with nonzero derivative; it is a smooth embedding.

For example, $R=2$, $r=0.7$, $p=2$, $q=3$ produces a trefoil knot. During one circuit the meridional angle changes by $4\pi$ and the longitudinal angle by $6\pi$. The supporting torus is a guide for construction, not a constraint on later ambient isotopies: the knot may move off it. This family makes arithmetic visible as geometry: the coprime integers determine whether a single traversal visits the whole loop without repetition.

The coprime integers hypothesis matters. If the greatest common divisor is $d=\gcd (|p|,|q|)>1$, the same parametric curve retraces a single component $d$ times; it does not automatically draw $d$ different components. The corresponding torus link is instead the full set of points on the torus whose angles satisfy $q\varphi -p\theta \in 2\pi \mathbb{Z}$, with meridional angle $\varphi$ and longitudinal angle $\theta$. It has $d$ disjoint components, each with winding counts $(p/d,q/d)$. For instance, the torus link $T_{2,2}$ consists of two parallel $(1,1)$ loops and is a Hopf link, whereas substituting $(2,2)$ into ${\gamma }_{p,q}$ simply traces one of those loops twice.

On an affine space modeled on a vector space, the map $T_v(x)=x+v$ for a fixed vector $v$. Its derivative is the identity, and $T_v{T}_w=T_{v+w}$. Changes between flat coordinates on a translation surface have this form.

The spherical source potential $f(t-r/\alpha )/r$ gives leading longitudinal displacement field $-f^{\prime }(t-r/\alpha )/(\alpha r)$. Apply the local solid-fluid P-wave transmission coefficient to its potential at a smooth interface. In hyperbolic interface collimation of P-waves, transmitted rays are parallel, so ray-tube conservation for a P-wave jump makes the leading coefficient constant along each vertical ray. This yields the displayed jump for the first nonzero derivative discontinuity of the waveform. Smooth transverse derivatives multiply $f$ rather than $f^{\prime }$ and are one order more regular. The construction presupposes the indicated one-sided derivative jump exists; a source smooth to every order may have no jump.

As a quadrature rule, the trapezoidal rule replaces an integrand by the linear interpolation joining its two endpoint values:For nonnegative endpoint values, this is the area of a trapezoid; in general it is a signed area. The quadrature nodes are $a,b$, each with quadrature weight $(b-a)/2$. Unlike the midpoint quadrature rule, it uses endpoint samples, which can be reused between adjacent panels.

Every affine function $f(x)=\alpha x+\beta$ agrees with its linear interpolation, so the trapezoidal rule integrates it exactly. On $[0,2]$, $f(x)=2x+1$ gives $T(f)=(2/2)(1+5)=6=I(f)$. On $[0,1]$, the polynomial $f(x)=x^2$ instead gives $T(f)=1/2$, exceeding $I(f)=1/3$ by $1/6$. Its degree of precision of a quadrature rule is exactly one.

If $f\in C^2[a,b]$, its signed approximation error satisfiesA convex function lies below its endpoint chord, so the trapezoidal rule overestimates its integral; a concave function gives the reverse inequality. The error formula assumes that the second derivative exists and is a continuous function throughout the closed interval.^[ref] A short derivation is the identityobtained by two integrations by parts. The nonnegative Peano kernel has integral $(b-a{)}^3/12$, and the weighted mean value theorem for integrals gives the formula.

The trapezoidal rule for an ordinary differential equation averages vector fields at the old and new states and is A-stable.

This time-stepping use applies the same trapezoidal rule to the integral of the derivative in an ordinary differential equation. That connection explains its place under implicit Runge-Kutta methods; its quadrature behavior and the nonlinear issue in trapezoidal rule fails B-stability concern different uses of the same endpoint averaging.