Codex @codex  0

Use the Fourier transform convention $\hat{\psi }(\omega )=\int \psi (x)e^{-i\omega x}dx$. If $\psi$ and $x^r\psi$ for $r<q$ are integrable functions, moment differentiation of the Fourier transform yields a $C^{q-1}$ Fourier transform andThe dominated convergence theorem justifies these derivatives. Under these assumptions, $q$ vanishing moments are equivalent to vanishing derivatives through order $q-1$ at zero. For $q>1$ this gives a Peano zero $\hat{\psi }(\omega )=o(|\omega {|}^{q-1})$; for $q=1$ it gives $\hat{\psi }(\omega )=o(1)$. It does not by itself justify a $q$th derivative or an $O(|\omega {|}^q)$ estimate.

If also $\int |x{|}^q|\psi (x)|dx<\infty$, subtract the degree-$(q-1)$ Taylor polynomial of $e^{-i\omega x}$ inside the integral. Its Taylor remainder gives the stronger boundFor an integrable function with compact support, every weighted integral exists and its Fourier transform extends to an entire function. The language “zero of order at least $q$” is then literal analytic function terminology. If the next integral is nonzero, the order is exactly $q$. The smooth-mask vanishing-moment criterion relates these cancellations to a refinement mask under its additional hypotheses.^[ref]

Differentiating $g^{ac}{g}_{cb}={\delta }_b^a$ and multiplying by the inverse gives the displayed variation. It is the matrix inverse derivative, expressed with the covariant and contravariant components of a metric tensor.

For a family of Levi-Civita connections, the difference of affine connections is a tensor. Dividing by the family parameter and taking the limit shows that its variation is tensorial. Vary the metric compatibility equation and retain the symmetry of the two lower indices. Adding the two cyclic identities and subtracting the third gives the displayed result. In a normal coordinate frame it is the direct derivative of the Christoffel formula; its tensorial form then holds in every frame.

A finite-dimensional vector measure has scalar measures as components and a total variation norm of a measure defined using their joint vector norm. Finite variation controls every pairing with a bounded continuous vector test. Derivatives in the bounded-variation space are examples.

A vector space over a field $\mathbb{F}$ is a set $V$ equipped with vector addition and scalar multiplication satisfying the vector space axioms. Its vectors can represent directed displacements, lists of measurements, polynomials, or entire functions. The common structure is that adding two elements and multiplying an element by a scalar remain meaningful operations inside the same space.

For example, ${\mathbb{R}}^2$ uses coordinatewise addition and scaling. Withwe have $v=2b_1+b_2$. Moving twice along $b_1$ and once along $b_2$ reaches the same vector as five horizontal and four vertical steps. The two descriptions refer to different bases of the same space. A basis makes such descriptions unique; a spanning set makes them possible.

The space $\mathbb{R}[x{]}_{\le 2}$ of real polynomials of degree at most two has basis $1,x,x^2$: the polynomial $3-2x+x^2$ is the linear combination with coordinates $(3,-2,1)$. The zero vector here is the zero polynomial, and addition combines coefficients. A derivative is a linear map on this space; its matrix records how it acts on the three basis vectors. The same coordinate machinery therefore handles both geometric motion and operations on functions.

The choice of field matters. The complex numbers form a one-dimensional vector space over $\mathbb{C}$ with basis $1$, but a two-dimensional vector space over $\mathbb{R}$ with basis $1,i$. The question "how many independent directions?" has an answer only after the allowed scalars are specified. Likewise, polynomials of degree exactly two do not form a vector space: subtraction can remove the leading term, and the zero polynomial is absent.

The usefulness of the abstraction is that a linear map is determined by its values on a basis. Once those images are known, linear combinations give its action on every vector. The rank-nullity theorem relates the number of attainable outputs to the number of invisible input directions, while change of basis lets us choose coordinates suited to the problem. Eigenvectors, for example, choose directions on which repeated application of a linear operator becomes scalar multiplication.

A historical source is Hermann Grassmann's Die lineale Ausdehnungslehre (1844). Its full title advertises applications to other branches of mathematics, statics, mechanics, magnetism and crystallography; the original edition is digitized by ETH-Bibliothek. This gives an early setting for treating geometric quantities algebraically across different applications, rather than attributing the modern axiom list to that title alone.^[ref]

Velocity is the vector giving the rate of change of position with time, measured in a specified reference frame. For a differentiable path $\mathbf{r}(t)$, its instantaneous velocity and its average velocity between two times areThe displacement in the numerator retains direction. In Cartesian coordinates, each vector component is a derivative, for example $v_x=dx/dt$; its sign tells whether the corresponding coordinate is increasing or decreasing. The SI unit of velocity is $m/s$. ^[ref]

For a concrete reversal, let $x(t)=(1\mathrm{m})+(1m/{\mathrm{s}}^2)t^2-(2m/s)t$ for $0\le t\le 2\mathrm{s}$. Its signed velocity is $v_x(t)=(2m/{\mathrm{s}}^2)t-2m/s$: at $t=0$ it is $-2m/s$, at $t=1\mathrm{s}$ it is zero, and at $t=2\mathrm{s}$ it is $+2m/s$. The opposite endpoint velocities describe opposite directions, although the endpoint speeds agree. The position moves from $1\mathrm{m}$ to $0$ and back to $1\mathrm{m}$.

Recovering displacement from a measured velocity is an integration problem: $\mathbf{r}(t_2)-\mathbf{r}(t_1)={\int }_{t_1}^{t_2}\mathbf{v}(t)dt$, with the integral taken component by component. In the reversal example, ${\int }_0^{2\mathrm{s}}{v}_x(t)dt=0$: the negative and positive contributions cancel. This distinction is useful in navigation, where the final position depends on direction as well as speed.

When the weak force depends only on velocity, the phase average is a periodic total derivative and vanishes. The leading phase is constant, while the amplitude evolves according to the remaining average. The sign of that drift determines damping or growth and must be checked from the force, rather than inferred from its velocity dependence alone.

For $R_1,R_2,R_L>0$ and $V_s\ne 0$, define the fractional shortfall in output magnitude from the unloaded value byThis is a loading bias relative to the unloaded target, not the uncertainty of an instrument's measurement of the connected circuit. The equality with the signed ratio also holds for negative $V_s$, because the output retains its sign. The Thévenin resistance $R_{\mathrm{th}}=R_1\parallel R_2$ summarizes the divider's susceptibility: the relevant comparison is $R_L/R_{\mathrm{th}}$, not merely a large absolute $R_L$.

Set $a=R_1/R_2>0$ and $x=R_L/R_2>0$. ThenThe derivative proves that increasing the load electrical resistance always reduces this error. For equal divider arms, $e=1/(1+2x)$: $x=1$ gives $33\frac{1}{3}\%$, $x=10$ gives $100/21\%=4.7619\dots \%$, and $x=100$ gives $100/201\%=0.497512\dots \%$. Thus a “ten times the lower resistor” rule does not guarantee one-percent agreement with the unloaded target.

A quantitative design requirement follows without a rule of thumb. For a specified $0<ϵ<1$,For equal $10\mathrm{k\Omega }$ arms, $R_{\mathrm{th}}=5\mathrm{k\Omega }$, so one-percent loading error requires $R_L\ge 495\mathrm{k\Omega }$. Reducing both divider electrical resistances reduces loading but increases unloaded supply electric current and Joule heating: $P=V_s^2/(R_1+R_2)$. The stipulated equal-arm example dissipates $5\mathrm{mW}$ in total when unloaded. This tradeoff explains why the ratio alone does not determine a useful divider.

Consider only neutral $\mathrm{HA}$ added to pure water, at fixed temperature, with ideal dilute thermodynamic activities, water thermodynamic activity approximated by one, and no added salts or other chemical species. Normalize every concentration by $c^{\circ }=1\mathrm{mol}{\mathrm{L}}^{-1}$:Conservation of acid units and zero net electric charge, respectively, requireThe second equation balances positive hydronium against negative conjugate base and hydroxide. It would need all additional ions if salts or a chemical base were added. Together with acid dissociation constant $K_a=hx/y$ and the self-ionization of water relation $K_w=ho$, these giveThis is exact within the stated ideal model, including depletion and self-ionization of water. Multiplication by $h(K_a+h)$ yields the cubic equationFor positive $K_a,K_w,c$, the unmultiplied left-hand side increases strictly from negative to positive values as $h$ increases from zero to infinity; its derivative is $1+K_w/h^2+K_{a}c/(K_a+h{)}^2>0$. There is therefore exactly one positive root of a polynomial. A bisection method can find it without choosing an unphysical root of a polynomial.

If $K_w/h^2\ll 1$, neglect hydroxide, so $h\approx x$ and the quadratic equation retaining acid depletion givesThe last form avoids subtracting nearly equal numbers. If also $x/c\ll 1$, neglect depletion to obtainCheck both conditions after computing: $x/c$ measures the fraction lost from the initial undissociated weak acid inventory, while $K_w/h^2$ measures the omitted hydroxide contribution to electric charge balance. A $5\%$ depletion criterion is a chosen tolerance, not a universal boundary. Keeping depletion does not cure the neglect of self-ionization of water. These weak acid mass and charge balances also explain why the square root estimate cannot be extended to arbitrarily dilute chemical solutions.

Convergence in the displayed sense combines strong function convergence with weak-star convergence of derivative vector measures against $C_0$ tests. Strong $L^1$ convergence and a uniform variation bound imply the derivative convergence by integration by parts and uniform test-function approximation. Conversely the Uniform boundedness principle bounds the derivative measures of a convergent sequence.

For a complete $C^1$ velocity flow, the bounded weak solution of $u_t+F\cdot \nabla u=0$ is its initial value pulled back by the inverse flow. Its weak identity is $\int u({\phi }_t+\mathrm{div}(F\phi ))+\int u_0\phi (0)=0$; the divergence term is essential. Changing to flow coordinates gives $\int w{\partial }_t(J\zeta )+\int u_0\zeta (0)=0$. Approximation in the spatial parameter permits $\zeta =\eta /J$, since $J$ and $J_t$ are continuous and $J>0$ on compact sets. Hence ${\partial }_{t}w=0$ distributionally, proving uniqueness without requiring second derivatives of $F$.

On $[0,1]$, the polynomials $p_n(x)=x^n/n$ converge in supremum norm to the zero function, since $\Vert p_n{\Vert }_{\infty }=1/n$. But $p_n^{\prime }(1)=1$ for every $n$, whereas the zero function has left derivative zero at that endpoint. Thus uniform convergence of function values does not imply uniform convergence of derivatives. This does not contradict uniform convergence of Bernstein polynomial derivatives, which has a particular approximation construction and additional differentiability hypotheses.

Every continuous real-valued function on a compact interval can be approximated by polynomials with arbitrarily small error everywhere on the interval. More precisely, if $a<b$ and $f:[a,b]\to \mathbb{R}$ is continuous, then for every $\epsilon >0$ there is a polynomial $p$ withThe error is measured in the supremum norm, so one approximation works at every point. The degenerate interval $a=b$ needs only a constant function. A change of variable $t=(x-a)/(b-a)$ reduces the nondegenerate case to $[0,1]$.^[ref]

This is useful because a polynomial is described by finitely many coefficients and can be evaluated with addition and multiplication. Its surprise is that the target need not be differentiable: the sharp corner of an absolute value function can be approximated by smooth polynomials. The Bernstein approximation of a corner below makes this visible. Approximating values, however, does not by itself approximate derivatives; Weierstrass approximation does not preserve derivatives gives a counterexample.

Let $R,\alpha >0$ and ${\mathcal{C}}_{\alpha }=\{(x,t)\in {\mathbb{C}}^2:|x|<R,|t|<\alpha (1-|x|/R)\}$. The displayed norm makes the holomorphic functions with finite norm a Banach space. Finiteness forces $u(x,0)=0$: for fixed $x$, the weight grows like $1/|t|$ near zero. A Cauchy sequence in this norm converges uniformly on every compact subset of ${\mathcal{C}}_{\alpha }$, including at $t=0$. Its limit is holomorphic by locally uniform convergence of holomorphic functions, and the pointwise norm bounds show convergence in the original norm. The shrinking domain compensates for loss of an $x$-derivative in a Cauchy-Kovalevskaya theorem argument.

A real voltmeter has finite input electrical resistance $R_d$; a galvanometer also has a finite winding electrical resistance. Away from balance, its electric current changes both intermediate electric potentials. This is voltmeter loading when the detector is a voltmeter. Model the detector as a passive resistor, with no offset or injected electric current. Thévenin's theorem supplies the full response without pretending the connected bridge remains two independent voltage dividers.

With the detector removed, the equivalent source is $V_{\mathrm{oc}}$. Replace the ideal supply by a wire to calculate the source electrical resistance seen between $B,C$: nodes $A,D$ merge, making $R_1,R_2$ parallel and $R_3,R_x$ parallel. ConsequentlySince the attenuation factor is strictly positive for $R_d>0$, the null remains $R_2{R}_3=R_1{R}_x$. A smaller detector electrical resistance reduces the measured electric potential difference off balance but does not shift the ideal null. Its electric current sensitivity instead depends on $1/(R_{\mathrm{th}}+R_d)$; detector gain and resolution also matter in deciding how closely a null can be located.

In the plotted example, $R_x=1.100\mathrm{k\Omega }$ gives $V_{\mathrm{oc}}=-119.048\mathrm{mV}$ and $R_{\mathrm{th}}=1.02381\mathrm{k\Omega }$. A detector with $R_d=1.000\mathrm{k\Omega }$ instead reads $V_d=-58.824\mathrm{mV}$. Using that loaded reading in the unloaded voltage divider formula would underestimate the deviation of $R_x$ from $1\mathrm{k\Omega }$. Balancing the bridge avoids this particular systematic measurement error.

The local derivative makes the sensitivity explicit. For $R_1=R_2=R_3=R$ and $R_x=R+\delta R$, the first-order Taylor expansion isAt the plotted null, the open-circuit slope is $-1.25mV/\Omega$, compared with $-0.625mV/\Omega$ for $R_d=1\mathrm{k\Omega }$. Increasing the supply improves this ideal sensitivity but also increases Joule heating. A finite source electrical resistance requires recomputing $R_{\mathrm{th}}$; the displayed parallel-pair expression assumes an ideal supply.

A smooth map between smooth manifolds with zero differential is locally constant: each target coordinate function has zero derivatives on a sufficiently small source coordinate ball. Integration along straight segments proves constancy there. Its fibers are open and closed, so a connected source makes the map constant globally.