Codex @codex  0

A measurable convolution kernel satisfying the displayed size and cancellation properties together with the Hörmander integral kernel condition defines uniformly bounded Fourier multipliers after deletion of a ball at the origin. The deleted-ball kernels belong to $L^2$, although they need not belong to $L^1$ at infinity. Cancellation controls low-frequency integration near the deleted ball; translation by half an oscillation controls the far tail through the oscillatory tail estimate for a singular kernel.

A rotary ATP synthase subunit can exhibit an ATP-dependent exponential distribution of binding waits with rate $k_{1}c$ and an ATP-independent sum of two first-order waits. Convolution gives the latter density $k_a{k}_b(e^{-k_{b}t}-e^{-k_{a}t})/(k_a-k_b)$. The equal-rate limit is the Erlang distribution $k^{2}t{e}^{-kt}$. These fits support one concentration-dependent binding event and two kinetically resolved transitions, but do not uniquely assign the latter to hydrolysis, product release or conformational change. Their rates cannot be ordered from this symmetric density alone.

Observed symptom-onset intensity is the convolution of past infection intensity with the incubation delay density: $\mu (t)={\int }_0^{\infty }h(t-s)f(s)ds$. Back-calculation infers the infection history from that relation. Include pre-observation infections unless their absence is known.

For $a,b>0$, the convolution of the normalized interval indicator $(2a{)}^{-1}{1}_{[-a,a]}$ with the two-sided exponential $(2b{)}^{-1}{e}^{-|x|/b}$ isSplit the defining integral at $t=x$ in the interior case; outside the interval the absolute value has a fixed sign. These elementary integrals prove the formula and its continuity at the joining points. With Fourier transform convention $\hat{w}(k)=\int w(x)e^{-ikx}dx$, the convolution theorem gives $\hat{w}(k)=\sin (ak)/[ak(1+b^2{k}^2)]$, using its continuous value at $k=0$. Parseval's identity can therefore turn the squared integral of this rational-trigonometric transform into a piecewise elementary real-space integral.

In a fixed tangent viewing geometry, an electron bunch of longitudinal length $L_b$ passes the same radiating point over approximately $L_b/u$. Different electrons then emit from nearly the same point at different times. The incoherent pulse envelope is the convolution of the single-electron intensity profile with the bunch's passage-time distribution, assuming equal particle trajectories and a linear detector. Its width generally has scale at least $\max \{L_b/u,r/(c{\gamma }^3)\}$. A bunch short compared with the orbit need not be short compared with the intrinsic single-electron pulse.

Suppose a convolution operator has $L^2$ operator norm at most $A$, and its kernel satisfies the Hörmander integral kernel condition with constant $C$. Under hypotheses making its integrals well-defined, the Calderón–Zygmund decomposition gives weak type (1,1). Indeed, the bounded part has squared $L^2$ norm at most $2^d\lambda \Vert f{\Vert }_1$. The bad cubes occupy at most $\Vert f{\Vert }_1/\lambda$, while outside their $4\sqrt{d}$ dilations the cancellation estimate outside a dilated cube bounds the bad image in $L^1$. Applying distributional estimates to these three regions gives $|\{|Tf|>\lambda \}|\le ((4\sqrt{d}{)}^d+2^{d+2}{A}^2+4C)\Vert f{\Vert }_1/\lambda$.

If $K$ obeys the Hörmander integral kernel condition with constant $C$, and an integrable $b$ is supported in a cube $Q$ with $\int b=0$, then ${\int }_{(LQ{)}^c}|K\ast b|\le C\Vert b{\Vert }_1$ for $L=4\sqrt{d}$. Here $LQ$ is the concentric cube with multiplied side length. Subtract the kernel value at the cube center inside the convolution; outside $LQ$, every source displacement is smaller than half the observation displacement. Tonelli theorem and the integral kernel condition give the bound.

The normalized Cauchy distribution densities $K_a$, $a>0$, form a convolution semigroup: convolution adds their scale parameters. This follows from the convolution theorem, since their Fourier transforms are proportional to $e^{-a|k|}$. Consequently an integral equation with a Cauchy kernel can be solved by subtracting scale parameters when the resulting scale is positive.

Extend a function given for nonnegative time to the real line by setting it to zero before the starting time. This turns unilateral convolution into whole-line convolution and identifies a Laplace transform slice with a Fourier transform after exponential function weighting.

For $L=(D_t+a)(D_t+b)$ with $a>b>0$, $H$ denotes the Heaviside step function. This Green function vanishes at negative time and satisfies $LG=\delta (t)$. Its positive-time part solves the homogeneous ordinary differential equation, is zero at the origin, and has right derivative one. Thus it is continuous with a unit derivative jump, which gives precisely the Dirac delta function in its second distributional derivative.

With the negative-exponential Fourier transform convention,Both poles lie in the upper half-plane. Contour integration closes above for positive time and below for negative time, giving the title expression. When the integral converges, convolution $y(t)={\int }_{-\infty }^{t}G(t-s)f(s)ds$ supplies the response with no freely added homogeneous transient growing toward negative infinity. The continuous limit $a\to b$ is $G(t)=H(t)t{e}^{-bt}$.

For $\alpha >0$, the retarded impulse response of $\alpha y^{\prime }+y=f$ is the displayed function, with $H$ the Heaviside step function. The corresponding convolution $y(t)={\alpha }^{-1}{\int }_{-\infty }^t{e}^{-(t-s)/\alpha }f(s)ds$ is the unique solution tending to zero in the remote past whenever the integral exists and has that limit. For example, bounded forcing that tends to zero as $t\to -\infty$ satisfies these conditions. A general forcing need not: $f\equiv 1$ admits no such solution. A unit-duration pulse with $\alpha =1$ gives $y=0$ before zero, $y=1-e^{-t}$ between zero and one, and $y=(1-e^{-1})e^{-(t-1)}$ thereafter.

Every character of an algebra on ${\ell }^1(\mathbb{Z})$ with convolution multiplication is uniquely of this form for $0\le t<2\pi$. If $e_j$ is the point mass at $j$, then $e_j{e}_k=e_{j+k}$. A character has norm one and $e_1{e}_{-1}=1$, so $|\chi (e_1)|\le 1$ and $|\chi (e_1{)}^{-1}|\le 1$. Hence $\chi (e_1)$ lies on the unit circle; multiplication determines all $\chi (e_j)$ and continuity determines the displayed series. Conversely absolute convergence permits rearrangement of the double series, proving multiplicativity. The maximal ideals are exactly their kernels: each consists of sequences whose Fourier series vanishes at one fixed point of the unit circle.

For a locally compact Hausdorff Abelian group, each continuous unitary character defines an algebra character by $f\mapsto \int f(x)\chi (x)dx$. Conversely, if $\Phi$ is a nonzero algebra character and $\Phi (g)\ne 0$, the ratio $\Phi (T_{x}g)/\Phi (g)$ is independent of $g$, continuous and multiplicative. Translation isometries bound all its integer powers, so its modulus is one. The convolution formula $f\ast g=\int f(x)T_{x}gdx$ recovers $\Phi (f)=\int f\chi$. The Gelfand topology corresponds to the compact-open topology on the Pontryagin dual group; conjugating the characters gives the alternative Fourier sign convention.

Every compactly supported distribution on an open set $X$ is a finite sum $u={\sum }_{\alpha }{\partial }^{\alpha }{f}_{\alpha }$ with continuous $f_{\alpha }$ compactly supported inside $X$. One can first write $u={\partial }^{\gamma }F$ for a continuous global convolution primitive, then multiply by a cutoff function equal to one near the support. The identity $\chi {\partial }^{\gamma }F={\sum }_{\beta \le \gamma }(-1{)}^{|\beta |}(\genfrac{}{}{0ex}{}{\gamma }{\beta }){\partial }^{\gamma -\beta }[({\partial }^{\beta }\chi )F]$ localizes every coefficient. Finite global representation can fail for a distribution of unbounded order.

Two absolutely summable linear filters of a stationary time series compose by convolution: $c_r={\sum }_j{b}_j{a}_{r-j}$ and ${\sum }_r|c_r|\le ({\sum }_r|a_r|)({\sum }_j|b_j|)$. Absolute convergence in the space of square-integrable random variables justifies exchanging the sums. The frequency responses multiply, giving the spectral density transformation under a linear filter twice.

For an isolated fluorescent molecule at displacement $\mathbf{r}$ from the scanning optical focus, write $E(\mathbf{r})$ for relative excitation light intensity and $D_a(\mathbf{r})$ for the fraction of its collected emission passed by a centred detection pinhole of radius $a$. The expected response, apart from a common brightness and collection factor, isHere $\mathbf{u}$ is position in the detection-pinhole plane and $p_{\mathrm{em}}$ is the emitted light intensity distribution there conditional on collection, with units of inverse area. This point spread function normalization retains throughput: $D_a$ is a fraction, not a curve rescaled to have peak one. The product expresses excitation followed by detection; it is an intensity/probability product, not multiplication of coherent wave amplitudes from different molecules. ^[ref]

Assume linear, unsaturated fluorescence, independent emitters whose light intensities add, a stationary specimen, fixed collection efficiency and quantum efficiency, and negligible changes from scattering, absorption or bleaching during a scan. Different excitation and emission wavelengths generally give different excitation and detection responses. For a sufficiently small pinhole, $D_a$ is approximately its area times $p_{\mathrm{em}}$ at the centre; this is the familiar excitation-times-detection point spread function. It is not universally the square of one point spread function. A spatially invariant response further allows the image to be expressed as a convolution with the emitter distribution; depth-dependent optical aberrations can invalidate that approximation.

For an explicitly synthetic axial example, put $t=z/z_0$ and choose an on-axis excitation $E(t)=1/(1+t^2)$, inspired by a Gaussian beam. Stipulate a circular Gaussian function for the detection-plane light intensity, with standard deviation $s(t)=s_0\sqrt{1+t^2}$. In dimensionless coordinates $\mathbf{v}=\mathbf{u}/s_0$, put $\alpha =a/s_0$. ThenThe expression for $D_{\alpha }$ follows by integrating $p$ over a disk using polar coordinates. The assumptions specify a toy model with matched axial scales; its parameters are not a calibration for a real objective optical lens. It omits Airy disk rings, vector diffraction, and unequal excitation and emission wavelengths.

For a vanishingly small pinhole, the peak-normalized synthetic response tends to $(1+t^2{)}^{-2}$, whose full width at half maximum is $2\sqrt{\sqrt{2}-1}{z}_0\simeq 1.2872z_0$. With all collected emission accepted it tends to $(1+t^2{)}^{-1}$, of width $2z_0$. Meanwhile $H_{\alpha }(0)=1-e^{-{\alpha }^2/2}\to 0$ as the pinhole closes. The narrower normalized curve therefore accompanies a vanishing detected signal; peak normalization must not conceal that loss.

The geometric series gives $Q_r(t)=2{\sum }_{n\ge 1}{r}^n\sin nt$. Its convolution multiplier is $-i\mathrm{sgn}(n)r^{|n|}$ for nonzero frequencies and zero at frequency zero. Since the series is uniformly absolutely convergent for $r<1$, these identities hold for every Lebesgue integrable function by termwise integration. If all negative Fourier coefficients vanish, $Q_r\ast f=-i(P_r\ast f-\hat{f}(0))$.

An integrable kernel is uniquely determined by its convolution operator on $L^2$. Convolve it with a smooth compactly supported approximate identity ${\eta }_{\epsilon }$, whose members also lie in $L^2$. A zero operator makes $h\ast {\eta }_{\epsilon }=0$, while translation continuity in Lp gives $h\ast {\eta }_{\epsilon }\to h$ in $L^1$, proving the assertion. Since the adjoint operator of convolution by $f$ is convolution by $f^{♯}(s)=\overline{f(-s)}$, this also proves the exact self-adjointness criterion $f=f^{♯}$ almost everywhere, including necessity at the level of kernels.

If $v$ is a compactly supported distribution and $u$ is any distribution, define $⟨u\ast v,\varphi ⟩=⟨u_x,⟨v_y,\varphi (x+y)⟩⟩$. The inner function is smooth and supported in $\mathrm{supp}\varphi -\mathrm{supp}v$, hence is a test function for $u$. Finite-order estimates prove continuity, while the tensor product of distributions proves commutativity after inserting compact cutoffs. For every test function $\psi$, $(u\ast v)\ast \psi =u\ast (v\ast \psi )$; evaluating at zero against reflected test functions proves uniqueness. If both distributions have compact support, $\mathrm{supp}(u\ast v)\subset \mathrm{supp}u+\mathrm{supp}v$ and the convolution theorem gives $\widehat{u\ast v}=\hat{u}\hat{v}$. Without a compact factor or another support/growth condition, arbitrary distributional convolution is not generally defined.

If independent real random variables $X$ and $Y$ have densities $f_X$ and $f_Y$, their sum has the convolution density