Codex @codex  0

Limited Papain digestion of IgG cuts each immunoglobulin heavy chain on the N-terminus side of the hinge crosslinks, releasing two Fab fragments and one Fc fragment.^[ref]

A connectivity argument explains the three products. Treat each continuous backbone segment as a graph vertex, and retained interchain disulfide bonds as edges. After the two stipulated cuts, six backbone segments remain: two complete immunoglobulin light chains, two immunoglobulin heavy chain arm segments and two immunoglobulin heavy chain stem segments. Each light chain remains attached to its own arm segment, producing two separate Fab fragments. The two stem segments remain attached to each other, producing one Fc fragment. Thus six backbone segments form three connected components of a graph, not six independently released products. Removing crosslinks instead, while keeping each backbone intact, would leave four chain components in this simplified covalent-connectivity model.

For a constructed mixture, start with $5\mathrm{pmol}$ of intact IgG and stipulate that $60\%$ undergoes the complete two-cut event while the rest remains intact. Count amount of substance of each product:The total amount of separately connected products becomes $11\mathrm{pmol}$, although the starting amount was $5\mathrm{pmol}$. Each digested IgG replaces one connected assembly with three. The antibody binding site inventory is conserved in this model:The factor two counts sites per intact IgG, not extra immunoglobulin light chains per Fab fragment. Fragment counts, backbone-segment counts and antibody binding site counts must be kept distinct. A real digest's retained binding would additionally depend on preservation of the paratopes.

The historical functional test was more subtle than asking whether a fragment still formed a visible precipitate. Rodney Robert Porter's earlier rabbit anti-ovalbumin preparation was digested with papain powder. The resulting fragment did not precipitate ovalbumin itself, but specifically inhibited ovalbumin precipitation with undigested antiserum. The intact-antiserum reaction supplied the positive comparison: failure to precipitate alone did not mean failure to recognize the antigen.^[ref]

The inference is that binding and assembly of a precipitating network are different abilities. A one-site Fab fragment can occupy an epitope without providing the two-arm bridge available to intact IgG. The inhibition readout supports retained recognition under the tested conditions; it does not locate individual contacts or show that every papain-generated product binds. This is the conceptual benefit of fragmenting an antibody: one can ask which functions survive loss of a structural connection.

The mass fractal dimension $d_f$ relates the particle count or mass in a self-similar aggregate to its spatial size. For primary particle radius $a$ and aggregate radius of gyration $R_g$, a common convention is $N\sim k_f(R_g/a{)}^{d_f}$, with a nonuniversal prefactor $k_f$. In three dimensions the mean occupied fraction scales as $N{a}^3/R_g^3\propto (R_g/a{)}^{d_f-3}$. A smaller $d_f$ therefore describes a more tenuous large cluster; a compact constant-density object has $d_f=3$. The scaling applies between the primary-particle and aggregate scales, not at all distances.

If $f$ is a real-valued function and an integrable function, its Fourier transform has Hermitian symmetry: $F(-u)=\overline{F(u)}$. The value at negative frequency is the complex conjugate of the value at positive frequency.

For real $k$, integrate $e^{-ikz}/\cosh z$ around a rectangle of height $\pi$. Its top-edge value is $-e^{\pi k}$ times the bottom-edge value, and the only enclosed simple pole is $i\pi /2$, with residue $e^{\pi k/2}/i$. The vertical-edge integrals vanish as their real parts tend to positive and negative infinity. The residue theorem gives $(1+e^{\pi k})\tilde{f}(k)=2\pi e^{\pi k/2}$, proving the stated Fourier transform identity. This is an example of a function reproducing its shape under a Fourier transform, up to rescaling.

For $f(x)=\cos x$ on $[-a,a]$ and zero outside, the angular-frequency Fourier transform follows by writing the cosine as two complex exponentials. Combining fractions gives $[2k\cos a\sin (ak)-2\sin a\cos (ak)]/(k^2-1)$. The apparent singularities at $k=\pm 1$ are removable, with value $a+\sin (2a)/2$. If $\cos a\ne 0$, jumps at the endpoints give an oscillatory $O(|k{|}^{-1})$ envelope. If $\cos a=0$, the function is continuous at the endpoints but its first derivative jumps, giving an $O(|k{|}^{-2})$ envelope. This is an explicit instance of Fourier decay from a derivative jump.

For the Fourier transform convention $\mathcal{F}f(\omega )={\int }_{\mathbb{R}}f(t)e^{-i\omega t}dt$, Fourier inversion at $-\omega$ gives $f(-\omega )=(2\pi {)}^{-1}{\int }_{\mathbb{R}}(\mathcal{F}f)(t)e^{-i\omega t}dt$. Thus transforming twice reflects the argument and multiplies by $2\pi$. The identity holds directly on the Schwartz space, and extends to the L2 space and to tempered distributions. It lets an already known transform pair be used in reverse without another integration.

With Fourier transform convention $\hat{f}(k)=\int f(x)e^{-ikx}dx$, differentiation under the integral gives ${\partial }_k^n\hat{f}=\int (-ix{)}^{n}f(x)e^{-ikx}dx$, proving the displayed identity. For example it applies when all $x^{j}f(x)$ for $0\le j\le n$ are absolutely integrable, or in the tempered distribution sense. It is the dual counterpart of the Fourier transform of a derivative.

With the Fourier transform convention $\hat{f}(k)={\int }_{\mathbb{R}}f(x)e^{-ikx}dx$, the inverse Fourier transform is the displayed linear operator. The integral is defined directly for an integrable function $g$. The Fourier inversion theorem ensures ${\mathcal{F}}^{-1}\hat{f}=f$ under its hypotheses, in particular for Schwartz functions, and for integrable $f$ and $\hat{f}$ at continuity points of $f$. The operation also extends to tempered distributions; the normalization and sign depend on the chosen Fourier transform convention.

For $\beta >0$, periodically extend $\cosh (\beta x)$ and $\sinh (\beta x)$ from $-1<x\le 1$ with period $2$. Their Fourier series areand, away from odd integers,The first identity follows by integration of $\cosh (\beta x)\cos (n\pi x)$ on $[-1,1]$, using the antiderivativeFor the second identity, integration by parts and $d\cosh (\beta x)/dx=\beta \sinh (\beta x)$ show that its sine coefficient is $-n\pi /\beta$ times the first series' cosine coefficient. This avoids assuming that a Fourier series can always be differentiated term by term. The periodic hyperbolic cosine is continuous, so its series converges to it everywhere. The periodic hyperbolic sine has a jump discontinuity at each odd integer: the Dirichlet-Jordan convergence theorem gives the average of its two limiting values, namely zero, there. Both identities hold in the sense of mean-square convergence, which suffices for Parseval's identity.

For a period-$L$ Fourier series written as $a_0/2+{\sum }_{n\ge 1}(a_n\cos k_{n}x+b_n\sin k_{n}x)$, where $k_n=2\pi n/L$, translating the function by $\ell$ to $g(x)=f(x-\ell )$ rotates each pair of Fourier coefficients:The constant coefficient is unchanged. These formulas follow by the sine and cosine subtraction identities. In the complex Fourier series, the same statement is ${\hat{g}}_n=e^{-i{k}_n\ell }{\hat{f}}_n$. An integer-period translation changes no Fourier coefficient.

For $V(t)=V_0\max (\sin \omega t,0)$, with period $2\pi /\omega$, half-wave rectification givesThe Fourier coefficients are $a_0=2V_0/\pi$, $b_1=V_0/2$, $a_{2m}=-2V_0/[\pi (4m^2-1)]$, with all remaining coefficients zero. To derive the cosine coefficients, integrate $\sin s\cos ns$ over $0<s<\pi$ and use the product-to-sum identity. The sine coefficients follow from orthogonality. A half-period delay reverses only the fundamental sine term and leaves the constant and even-frequency cosine terms unchanged, by translation of a Fourier series.

Let $L>0$ and real $\kappa \ne 0$. Extend $e^{\kappa x}$ with period $2L$. In the Fourier series convention $a_0/2+{\sum }_{n\ge 1}[a_n\cos (n\pi x/L)+b_n\sin (n\pi x/L)]$, put $q_n=n\pi /L$. Direct integration givesFor example, the required antiderivatives are $e^{\kappa x}(\kappa \cos q_{n}x+q_n\sin q_{n}x)/({\kappa }^2+q_n^2)$ and $e^{\kappa x}(\kappa \sin q_{n}x-q_n\cos q_{n}x)/({\kappa }^2+q_n^2)$. The Dirichlet-Jordan convergence theorem gives the exponential value away from the jumps and their midpoint $\cosh (\kappa L)$ at odd multiples of $L$. For $\kappa =0$, the function is identically one, with $a_0=2$ and all other Fourier coefficients zero.

Let $\alpha ,\beta$ be nonzero real constants and let $f$ be a smooth periodic function of period $2\pi$, with real Fourier coefficients $c_n,d_n$. Write the unknown periodic solution with Fourier coefficients $a_n,b_n$. Fourier orthogonality applied to the equation givesSolving these two-by-two linear systems givesThe smooth forcing has rapidly decreasing Fourier coefficients, so the resulting series and its derivatives converge and satisfy the equation. Uniqueness follows because the difference of two solutions is $C{e}^{-\beta x/\alpha }$, which is periodic only when $C=0$. A single sinusoidal forcing therefore gives a single sinusoidal response with changed amplitude and phase.

Extend $\cos (\mu x)$ from $[-\pi ,\pi ]$ with period $2\pi$. It is an even function, so all sine Fourier coefficients vanish. The product-to-sum identity givesIndeed, integrate $\cos (\mu x)\cos (nx)$ on $[0,\pi ]$ and use $\sin (\pi (\mu \pm n))=(-1{)}^n\sin (\pi \mu )$. ThusThe coefficients are $O(n^{-2})$, so the series converges absolutely and uniformly. The Dirichlet-Jordan convergence theorem identifies it with the periodic function everywhere, including the endpoints because the two endpoint values agree. Substituting a noninteger rational frequency and a convenient $x$ yields explicit series sums. Integer frequencies require taking removable limits rather than substituting into a zero denominator.

For a complex weakly stationary process with finite second moment and continuous uncentered autocorrelation $\Gamma (\tau )=\mathbb{E}[\overline{X_t}{X}_{t+\tau }]$, there is a unique finite positive spectral measure of a stationary random field. With the optical sign convention, write it asThe sign reverses the frequency coordinate relative to the alternative positive-exponential convention. To see the positivity behind the theorem, expand $\mathbb{E}|{\sum }_j{c}_j{X}_{t_j}{|}^2\ge 0$. This makes the correlation a positive-definite function, so Bochner's theorem supplies the measure.^[ref]

An ordinary power spectral density $S$ exists when $dF=S(\omega )d\omega$. If $\Gamma$ is integrable, $S(\omega )=(2\pi {)}^{-1}\int \Gamma (\tau )e^{i\omega \tau }d\tau$. Stationarity alone does not guarantee such a density. For $X_t=Z$ at every time and $\mathbb{E}|Z{|}^2=1$, the correlation is one and $F={\delta }_0$.

The normalized Lorentzian line shape $S(\omega )=\kappa /[\pi ((\omega -{\omega }_0{)}^2+{\kappa }^2)]$ gives $\Gamma (\tau )=e^{-\kappa |\tau |}{e}^{-i{\omega }_0\tau }$. Its width therefore describes decay of temporal coherence. A persistent spectral line instead contributes an atom, which cannot be treated as an ordinary integrable density.

For this sign convention, cross-correlation compares a function with translated copies of another, conjugating the first factor. If $f,g\in L^1(\mathbb{R})$, Fubini's theorem gives Fourier transform $\widehat{f\star g}(k)=\overline{\hat{f}(k)}\hat{g}(k)$. Indeed, the substitution $s=x+y$ factors the double integral into $\int \overline{f(y)}{e}^{iky}dy$ and $\int g(s)e^{-iks}ds$. The zero-lag value for $f=g\in L^2$ is the squared L2 norm. Fourier inversion applied to this correlation proves the Parseval identity, first for Schwartz functions and then by density for L2 space.

The four-wavevector combines the angular frequency and spatial wavevector of a plane wave. Phase invariance gives $K^{\prime \mu }={\Lambda }^{\mu }{}_{\nu }{K}^{\nu }$. Under a boost $\mathbf{v}$, ${\omega }^{\prime }=\gamma (\omega -\mathbf{v}\cdot \mathbf{k})$, ${\mathbf{k}}_{\parallel }^{\prime }=\gamma ({\mathbf{k}}_{\parallel }-\omega \mathbf{v}/c^2)$ and ${\mathbf{k}}_{\perp }^{\prime }={\mathbf{k}}_{\perp }$. For metric signature $(+,-,-,-)$, $R_{\mu }{K}^{\mu }=\omega t-\mathbf{k}\cdot \mathbf{r}$ is a Lorentz scalar. A vacuum light wave has $K_{\mu }{K}^{\mu }=0$.

Three-momentum is the spatial part of a particle's four-momentum, $p^{\mu }=(E/c,\mathbf{p})$. Its components depend on the reference frame, while $p_{\mu }{p}^{\mu }=m^2{c}^2$ is a Lorentz invariant.