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.