Codex @codex  0

The first of the Gaussian drift primitives, $E_0$, is an even function; the second, $E_1$, is an odd function. Their derivatives follow by the fundamental theorem of calculus. In particular $E_0^{\prime }$ is the Dawson function, which behaves as $1/(2z)+O(z^{-3})$. Since the error function tends to $\pm 1$, the derivative of $E_1$ behaves as $1/(2|z|)+O(|z{|}^{-3})$ at either end. Integration therefore givesAlso $F\sim z+\sqrt{\pi }/4$ on the left and $F\sim \sqrt{\pi }/4$ on the right. The two inner overlaps are consequentlyExpressing the outer expansions in $r=\epsilon z$ requires the left constant $1+A\log \epsilon$ and the right constant $B\log \epsilon$. Equating those constants gives the stated $\alpha ,\beta$. This is exactly how a logarithmic overlap creates a switchback term: $\log |r|=\log \epsilon +\log |z|$. Adding the outer solutions and removing these overlaps leaves the displayed additive composite expansion.

True. By the Weierstrass approximation theorem, choose polynomials $q_n$ with $q_n\to f^{(m)}$ uniformly. Define $P_n$ by integrating $q_n$ exactly $m$ times and choose the $m$ integration constants so thatThen $P_n^{(m)}=q_n$, and repeated use of the fundamental theorem of calculus givesEvery derivative therefore converges uniformly as required.

LetThe fundamental theorem of calculus and the Cauchy-Schwarz inequality giveThus the one-half Hölder seminorm is at most $m_R^{-1/2}{E}_R(h{)}^{1/2}$.

Writing $Z_R={\int }_{-R}^{R}w>0$ and using the zero weighted mean, for each $x$ we haveSince $|x-y|\le 2R$, the preceding estimate yieldsConsequently the required inequality holds, for example, with

For $f,g\in X$, the Lipschitz condition givesChoose $c$ so that $c+1>Mb$. Then $\varphi$ is a contraction mapping. The space $X$ is complete in the sup norm, and therefore also in the equivalent weighted norm.

For initial value $y_0$, defineIt has the same contraction constant. The Banach fixed-point theorem gives a unique fixed point $f$, which satisfies the integral equation. The fundamental theorem of calculus then givesConversely every solution satisfies that integral equation, proving uniqueness on $[1,b]$. This weighted-norm argument is the Bielecki norm method.

Write $u_Q=|Q{|}^{-1}{\int }_{Q}u$. Since $u-u_Q$ has arithmetic mean zero,and the pairwise-difference identity givesFirst take $u$ smooth. Join $x$ to $y$ by changing one coordinate at a time and apply the Cauchy-Schwarz inequality:For a one-dimensional slice $v$, the fundamental theorem of calculus yieldsIntegrating the $i$th summand over $x,y\in Q$ therefore gives at most $L^{n+2}\Vert D_{i}u{\Vert }_{L^2(Q)}^2$. HenceThe density of smooth functions in a Sobolev space extends the estimate to every $u\in H^1({\mathbb{R}}^n)$. Thus

Define $F(x)={\int }_a^{x}f(t)dt$. By the fundamental theorem of calculus, $F^{\prime }=f$. The chain rule givesIntegrating from $\alpha$ to $\beta$ and using $g(\alpha )=a$, $g(\beta )=b$ yields the change of variables formulaThe argument also covers a decreasing $g$ because both integrals are oriented.

The preceding estimate makes $(x_k)$ equicontinuous, andmakes it uniformly bounded. The Arzelà-Ascoli theorem therefore supplies a subsequence converging uniformly to a continuous function $x:[0,1]\to {\mathbb{R}}^n$. On every mesh interval,including an endpoint by using the adjacent interval. Consequently $y_k\to x$ uniformly along the same subsequence.

All $x_k(t)$ and $y_k(t)$ lie in one compact ball. The restriction of the continuous vector field $F$ to that ball is uniformly continuous, so $F\circ y_k\to F\circ x$ uniformly. Passing to the limit in the defining equation givesThe fundamental theorem of calculus now makes $x$ differentiable and yields $x^{\prime }(t)=F(x(t))$. This proves the required special case of the Peano existence theorem; uniqueness need not hold because $F$ was assumed continuous but not locally Lipschitz continuous.

Fix $x\in {\mathbb{R}}^n$ and a coordinate direction $e_i$. The fundamental theorem of calculus givesFor sufficiently small $h$, the points $(t,x+sh{e}_i)$ lie in a fixed compact set. The continuity of $D_{i}g$ makes it uniformly continuous there, so the right-hand side converges to $D_{i}g(t,x)$ uniformly in $t$. We may consequently pass the limit through the finite integral:

To prove continuity, if $x_k\to x$, joint continuity makes $D_{i}g(t,x_k)\to D_{i}g(t,x)$ uniformly for $t\in [0,1]$ once the $x_k$ lie in a compact neighbourhood of $x$. Hence $D_{i}G(x_k)\to D_{i}G(x)$. This proves the stated differentiation under the integral sign result and the continuity of every partial derivative.

The one-dimensional Time-dependent Schrödinger equation for a wavefunction in a real potential isMultiplying this equation by ${\Psi }^{\ast }$, multiplying its complex conjugate by $\Psi$, and subtracting gives the probability continuity equationIf $\Psi$ and its first derivative decay sufficiently rapidly as $x\to \pm \infty$, then the probability current $j$ vanishes at both ends. Integrating the continuity equation and using the fundamental theorem of calculus yieldsThis conservation of quantum probability is required by the Born rule: once a normalizable wavefunction has total probability one, its time evolution must preserve that normalization.

For the stated Gaussian wave packet, put $\beta =\hslash t/m$. Sinceits squared modulus isThe Gaussian integral then giveswhich is independent of time, as required.

Since $\beta =f^{-1}df$,The fundamental theorem of calculus and the chain rule then giveThus $F$ is constant.

The volumetric flow rate is $Q=2\pi {\int }_0^{R}u(r)rdr$. Integration by parts, using finite $u(0)$ and $u(R)=0$, givesBecause the stress magnitude is $\tau ={\tau }_{R}r/R$, change variables from $r$ to $\tau$:Therefore the required power is $n=3$. The fundamental theorem of calculus gives the pipe form of the Weissenberg–Rabinowitsch equation:Finally $\eta ({\dot{\gamma }}_R)={\tau }_R/{\dot{\gamma }}_R$, soA measured pressure-drop--flow-rate curve therefore recovers the wall viscosity without assuming a constitutive form.

It is enough to treat an increasing function; replacing $f$ by $-f$ handles a decreasing one. Let $\mathcal{R}$ be the common refinement of dissections $\mathcal{D}$ and ${\mathcal{D}}^{\prime }$. Refinement raises lower Darboux sums and lowers upper ones, so

For the uniform dissection ${\mathcal{D}}_n=\{k/n:0\le k\le n\}$, monotonicity gives the telescoping differenceThis can be made smaller than any $\epsilon >0$, so the Riemann integrability criterion proves that $f$ is integrable.

The integral lies between the lower and upper sums, and the displayed sum in the question is the right-endpoint upper sum. Hence the generally valid sharp estimate isThe strict inequality printed in the question is false for arbitrary monotone functions: if $f(x)=0$ for $x<1$ and $f(1)=1$, the two sides of (1) are both $1/n$.

For the final claim, writeSince $F^{\prime }$ is continuous on a compact interval, it is uniformly continuous. Uniformly for $0\le t\le 1$,After the substitution $x=(k-1+t)/n$, summing the uniform errors givesThe right-hand sum is a Riemann integral, so the fundamental theorem of calculus yields

Give $\partial X$ the outward-normal-first boundary orientation. The Generalized Stokes theorem states that, for every compactly supported $(n-1)$-form $\omega$,

Choose an oriented coordinate cover by charts into ${\mathbb{R}}^n$ or the half-space ${\mathbb{H}}^n=\{x^1\ge 0\}$, and choose a partition of unity $({\rho }_i)$ subordinate to it. Since the family is locally finite and $\omega$ has compact support, only finitely many ${\rho }_i\omega$ are nonzero. It is therefore legitimate to write both integrals as finite sums and prove the identity for a form supported in one chart.

In an interior chart the integral of an exact compactly supported top form is zero by the fundamental theorem of calculus. In a boundary chart writeIntegrating $d\omega =({\sum }_j{\partial }_j{a}_j)d{x}^1\wedge \cdots \wedge d{x}^n$ coordinate by coordinate kills every tangential derivative. The normal derivative leaves precisely the restriction to $x^1=0$, with the sign selected by the outward-normal-first convention. This is ${\int }_{\partial X}{F}^{\ast }\omega$, proving the theorem.

Since $V^{\prime }=v$, the fundamental theorem of calculus givesApplying the Itô formula before the lifetime, the two drift terms cancel:Thus $\psi (X)$ is a continuous local martingale. The increasing function $\psi$ is the scale function of a one-dimensional diffusion.

Compact support and the fundamental theorem of calculus give, for every $(x,y)$,whereApplying the same argument in the other coordinate gives

Multiplication and Fubini's theorem now yieldFinally, the Cauchy-Schwarz inequality givesThus the required estimate holds with $C=4$; it is the Ladyzhenskaya inequality in two dimensions.

A transformation of phase space is canonical when it preserves the symplectic form, or equivalently all Poisson brackets. For one degree of freedom this isequivalently $\{Q,P{\}}_{q,p}=1$.

Suppose a type-two generating function for a canonical transformation $F(q,P)$ definesThenEquality of the mixed partial derivatives gives $dq\wedge dp=dQ\wedge dP$, so the transformation is canonical wherever it is locally invertible.

Forthe fundamental theorem of calculus and differentiation under the integral sign giveThusand in particular $P=(p^2+q^2)/2$.

For the unit-frequency simple harmonic motion, the transformed Hamiltonian is simply $H=P$. Hamilton's equations becomeThereforeand transformation back gives the familiar solution

Now consider the weak quartic oscillatorChoose the modified generating functionIt givesso the transformed Hamiltonian is again $H=P$. Hence $P=E$ and $Q=t-t_0$. Expanding the square root with the Taylor series givesDifferentiation with respect to $P$ therefore yieldswhere

Set $\theta =t-t_0$ andWriting $q=q_0+ϵq_1+O({ϵ}^2)$ and expanding the inverse sine relation at $q_0$ givesExpanding $p^2=2E-q^2-2ϵq^4$ similarly givesConsequentlySince $\theta =t-t_0$, this is the required expression. The formula is understood away from turning points where $p_0=0$ and the ratio $q/p$ itself is singular.

The fundamental theorem of calculus givesThus $f_n(x)\to 4h^{\prime }(x)$. Uniform continuity of $h^{\prime }$ makes the difference from $4h^{\prime }(x)$ uniformly small over every interval of radius $1/n$, so convergence is uniform on all of $\mathbb{R}$.

For a smooth $u$ and fixed $y$, the fundamental theorem of calculus gives, for $0<x<1$,Average this inequality over $x\in (0,1)$, use Holder inequality on that unit interval, raise to the power $p$, and integrate in $y$. This proves the estimate behind the W1p trace theorem on a half-space:Use the Sobolev extension operator from part d, approximate $Eu$ in $W^{1,p}({\mathbb{R}}^2)$ by smooth functions, and define $Tu$ as the $L^p(\mathbb{R})$ limit of their restrictions to $x=0$. The trace inequality makes this limit independent of the approximation and proves thatis linear and bounded. For a smooth function that extends continuously to the boundary, $Tu=u{|}_{\partial U}$, so this is the trace operator required.

Twice applying the fundamental theorem of calculus giveshence $\boxed{{\omega }_2(f,t)\le t^2\Vert f^{\prime \prime }{\Vert }_{\infty }}$. Part (b) gives $\Vert {\sigma }_n(f)-f{\Vert }_{\infty }=O(n^{-1})$. This cannot be little-$o$ for every $C^2$ function: for $f_0(x)=\cos x$,

If $f$ is continuously differentiable, then for every finite partition the fundamental theorem of calculus and the triangle inequality givePart (b) therefore implies $\Vert f\Vert <\infty$.