Codex @codex  0

Let $g=Du\in L^p(0,1)$ be the weak derivative and defineThe fundamental theorem of calculus for Lebesgue integration makes $F$ an absolutely continuous function, differentiable almost everywhere, with $F^{\prime }=g$ almost everywhere. The distributional derivative of $u-F$ is zero. A locally integrable function with zero distributional derivative on a connected interval is equal almost everywhere to a constant $C$. Consequentlyis an absolutely continuous representative of $u$, and ${\tilde{u}}^{\prime }=g\in L^p(0,1)$ almost everywhere.

Each continuous $f_{\alpha }$ of polynomial growth defines a regular tempered distribution byChoosing an integer $L>M_{\alpha }+n$ giveswhich is bounded by finitely many Schwartz space seminorms. Its distributional derivative satisfiesand is therefore tempered. A finite sum of continuous linear forms is continuous, so

The regularity from part (i) makes $u\omega$ and its first weak derivatives square-integrable. The product rule therefore holds in the distributional derivative sense:Since $u={\nabla }^{\perp }\Psi$, equality of mixed weak derivatives gives $\nabla \cdot u=0$. Both remaining expressions belong to $L_{\mathrm{per}}^2$, so their distributional equality is an equality in that space:

Not as ordinary convergent Fourier series, for a nontrivial moving ramp. Formal spatial differentiation would giveand formal time differentiation multiplies that expression by $-v$. The summands have nondecaying amplitude and do not tend to zero, so the ordinary series cannot converge. The periodic extension has jumps, violating the regularity needed for Termwise differentiation of a Fourier series.

Away from the moving jumps, the classical derivatives exist and are $g_x=K/L$ and $g_t=-vK/L$. A distributional derivative also includes the Dirac delta distribution contributions at the jumps, so distributional differentiation is possible, but it is a different interpretation. If $v=0$, the time derivative is trivially zero; if $K=0$, both derivatives are zero.

Choose the homogeneous solutions $u(x)=x\ln x$, which vanishes at $1$, and $v(x)=x(\ln x-1)$, which vanishes at $e$. Their Wronskian in the order $u{v}^{\prime }-u^{\prime }v$ is $x$. For a source point $1<\xi <e$, seek the Green's function asIt is continuous at $x=\xi$; otherwise its second distributional derivative would contain a derivative of the Dirac delta function, which the source does not contain. Integrating the differential equation across the source, using continuity and the leading coefficient one, gives the jump conditionContinuity and this derivative jump requireSolving with the Wronskian $\xi$ gives $A=v(\xi )/\xi =\ln \xi -1$ and $B=u(\xi )/\xi =\ln \xi$. ThereforeThe two values at $x=\xi$ are identical. The derivative jump is explicitlyBoth endpoint values vanish and the differential expression is zero off the diagonal, completing the verification of the Green's function.

Take the causal solution, extending the input and output by zero before the device starts at $t=0$. The two zero initial conditions ensure that this extension adds no impulsive terms to the first two distributional derivatives. The Fourier transform of a derivative is multiplication by $i\omega$, soFactoring the quadratic and taking partial fraction decomposition yieldsThe inverse Fourier transform follows directly by integrating decaying exponentials:where $H$ is the Heaviside step function. This damped-oscillator impulse response has $R(0^{+})=0$ and $R^{\prime }(0^{+})=1$, as required for a unit impulse.

The weak derivative condition isBoth integrals exist since $u,v$ are locally integrable and the test function has compact support. Derivatives are defined up to almost-everywhere equality. The space $W^{1,p}(\Omega )$ consists of $u\in L^p(\Omega )$ whose first weak derivatives $D_{i}u$ all lie in $L^p(\Omega )$. One standard norm isA sum in the last formula gives an equivalent norm. For restriction to $E$, extend any $\varphi \in C_c^{\infty }(E)$ by zero to $\Omega$. Its support is compactly contained in $E$, so the extension is smooth. The identity over $\Omega$ then reduces exactly to the identity over $E$, proving locality of the weak derivative.

For the jump contribution to a piecewise weak derivative, integration by parts on the two sides of the joining point gives the distributional derivativeThe coefficient is the right trace $1+a$ minus the left trace $2$. If a locally integrable weak derivative existed, locality on each open side would identify it almost everywhere with the displayed regular part. Substituting that into the global test identity would force $(a-1)\varphi (1)=0$ for every test function, hence $a=1$. Equivalently a nonzero Dirac point mass cannot be represented by a locally integrable derivative.

For $a=1$ the point-mass term vanishes, and both the function and its piecewise derivative are bounded on the finite interval. Thus $u\in W^{1,\infty }$ and hence in every listed $W^{1,p}$. Therefore membership holds exactly for $a=1$. Changing a single point value is irrelevant to Sobolev membership; it cannot remove mismatched one-sided traces when $a\ne 1$.

The function $v$ is the weak derivative $D^{\alpha }u$ ifThe integrals exist by local integrability and the compact support of the test function. This is the definition of a distributional derivative represented by a locally integrable function.

An impulse at $a$ shifts the causal sine response. Substituting the Dirac delta in the convolution from part (i), or using the Laplace transform time-shift rule, giveswhere $H$ is the Heaviside step function. The answer is continuous at $a$, while its first derivative jumps from $0$ to $1$. Consequently its second distributional derivative contains exactly one unit Dirac delta at $a$, giving $f^{\prime \prime }+f=\delta (x-a)$. Since $a>0$, both initial conditions vanish.

The distributional derivative is defined by $⟨F^{\prime },\varphi ⟩=-⟨F,{\varphi }^{\prime }⟩$ for every test function. For the Heaviside function, compact support givesThus ${\mathcal{H}}^{\prime }=\delta$. Splitting the integral for $|x|$ at zero and using integration by parts gives its first derivative as the sign function. The jump of that function at zero is two, soas distributions. The value assigned to the sign function at the single point zero does not affect its associated distribution.

For $h\in L^1(0,1)$ with integral zero, $Ph$ is the unique absolutely continuous function with $(Ph{)}^{\prime }=-h$, equal endpoint values, and integral zero. The first formula gives the derivative; zero integral of $h$ gives equal endpoint values, while the added constant makes the mean zero. Uniqueness follows because the difference of two such primitives has zero weak derivative and therefore is constant, then its mean is zero. Its periodic extension has distributional derivative $-\overline{h}$, with no endpoint Dirac delta distribution.

Writing $Rh(x)=x{\int }_0^{1}h-{\int }_0^{x}h$, the same operator on zero-mean inputs is $Ph=Rh-{\int }_0^{1}Rh$. For arbitrary $h\in L^1(0,1)$,The first inequality follows from the integral kernel $x-1_{\{t<x\}}$, whose absolute value has integral $(t^2+(1-t{)}^2)/2\le 1/2$ in $x$. The second follows by the triangle inequality. This bound permits arbitrarily many iterations without increasing the L1 space norm.

Target: Rapid distributional decay of periodic oscillations. Parent: Weak convergence of distributions. Intended file: distribution-theory.bigb.

A point interaction concentrates a coefficient of a linear differential equation at a single interior point. On an interval $0<x<\ell$, with $0<c<\ell$, consider $L_{\alpha }y=y^{\prime \prime }+\alpha y(c){\delta }_c$. The domain consists of continuous functions that are twice differentiable away from $c$, with the required one-sided derivatives. Multiplication of the Dirac delta by $y$ means the unambiguous point value $y(c){\delta }_c$. It does not mean an undefined product of a delta with an arbitrary discontinuous function.

The equation is interpreted using distributional derivatives. Smooth forcing gives an ordinary equation on each side, with transmission conditions for a delta coefficient at the interaction. A delta potential in the one-dimensional Schrödinger equation is a physical example after choosing the corresponding sign and constants.

The Schwarz integral formula reconstructs a holomorphic function from boundary values of its real part. For a real boundary function $f$ on the complex upper half-plane satisfying ${\int }_{\mathbb{R}}|f(s)|/(1+s^2)ds<\infty$, the regularized form isIts real part is the Poisson integral of $f$. The subtraction makes the integral converge and changes only the imaginary normalization. Integration by parts, when the boundary terms vanish, gives $W^{\prime }(w)=(\pi i{)}^{-1}\int f^{\prime }(s)/(s-w)ds$; jumps of $f$ are included as Dirac delta function terms in its distributional derivative.

A special function of bounded variation is a function of bounded variation on a domain whose distributional derivative has no diffuse singular part. Writing the derivative measure as an absolutely continuous part, a jump part and a remaining Cantor part,the defining condition is $D^{c}u=0$. The space is denoted $SBV(\Omega )$. Here $J_u$ is the jump set and $u^{\pm }$ are the two traces across it; ${\mathcal{L}}^n$ and ${\mathcal{H}}^{n-1}$ are Lebesgue measure and Hausdorff measure.

On an interval containing zero, $u=1_{(0,\infty )}$ has derivative a Dirac measure at zero and belongs to $SBV$: jumps are allowed. The Cantor function instead has a diffuse singular derivative and is not in $SBV$. Thus “special” separates sharp interfaces from more distributed singular variation. This makes $SBV$ useful for image segmentation and variational models with both bulk and interface energies.^[ref]

For $\mathrm{Re}p>0$, let $r_{-}$ and $r_1,r_2$ be the characteristic roots of $r^3+r+p=0$, split by the signs of their real parts. Put $d_j=3r_j^2+1$. The real-line Green function of $p+{\partial }_x+{\partial }_x^3$ isThe reciprocal-polynomial root identities imply continuity of $R_p,R_p^{\prime }$ and jump $R_p^{\prime \prime }(0+)-R_p^{\prime \prime }(0-)=1$. The distributional derivative therefore gives $(p+{\partial }_s+{\partial }_s^3)R_p={\delta }_0$. The transport term changes the roots: the pure Airy resolvent kernel with $r^3+p=0$ cannot be substituted unchanged.

For a period-$L$ absolutely continuous function with integrable derivative, integration by parts gives the coefficient identityThe endpoint term vanishes because the periodic values agree. This identity by itself does not assert pointwise convergence of the differentiated series.

A concrete sufficient condition for classical termwise differentiation isThe differentiated series then converges uniformly by the Weierstrass M-test, as does the original Fourier series. The uniform derivative convergence with an anchored value shows that its sum is continuously differentiable and has the displayed derivative series. For example, analytic strip decay satisfies this condition. A twice continuously differentiable periodic function also suffices, since absolute Fourier convergence from a square-integrable derivative applied to $f\prime$ proves absolute summability of the derivative coefficients.

The Fourier series of a periodic sawtooth illustrates the limitation: its formal derivative has nondecaying Fourier amplitudes and is not an ordinary convergent series. Its correct periodic derivative exists as a distributional derivative and includes the jump point masses. Coefficient differentiation and classical termwise summation are distinct claims.

For $a<b$ strictly inside a one-dimensional domain, the indicator $u=1_{[a,b]}$ has distributional derivative $Du={\delta }_a-{\delta }_b$, hence $\mathrm{TV}(u)=2$. Directly from the test-function definition, $\int u{\phi }^{\prime }=\phi (b)-\phi (a)\le 2$, and two disjoint normalized smooth bump functions attain the bound. Values at the endpoints themselves do not change the $L^1$ function.

A distribution on ${\mathbb{R}}^n$ is invariant under every translation parallel to the $i$th coordinate axis exactly when its $i$th distributional derivative vanishes. Differentiate the translated pairing for one direction; integrate that derivative in the translation parameter for the converse.

A vector calculus identity relates combinations of gradient, divergence and curl, subject to regularity and coordinate assumptions. For a twice continuously differentiable scalar $f$ and vector field $A$ in three-dimensional Euclidean space,These follow because mixed partial derivatives commute while the curl antisymmetrizes them. They explain why a conservative force has zero curl and a field represented as a curl has zero divergence.

The converses require domain hypotheses. A curl-free field around a puncture can have a nonzero loop integral, so local differentiation alone does not guarantee a global scalar potential. Singular fields must be handled with distributional derivatives when their classical formulas omit concentrated sources.

A locally integrable function $g$ is the $i$th weak derivative of $u$ whenfor every test function $\phi \in C_c^{\infty }(U)$. Thus a weak derivative is a distributional derivative that is represented by a locally integrable function.