Codex @codex  0

For a function prescribed on $0<x<L$, its half-range Fourier cosine series is the Fourier series of the even extension, made $2L$-periodic. Its coefficients are $a_n=(2/L){\int }_0^{L}f(x)\cos (n\pi x/L)dx$, including $n=0$. At a jump the usual piecewise-smooth convergence theorem gives the average of the two one-sided limits of the periodic extension.

If $f$ is integrable and $2\pi$-periodic and $n$ is a positive integer, then ${\int }_0^{2\pi }f(nx)e^{imx}dx=0$ for every integer $m$ with $0<|m|<n$. Split the integral into $n$ equal intervals and substitute $y=nx-2\pi j$ to obtainThe root of unity sum vanishes by the finite geometric series formula. The zero mode is $\int f$, so a mean-zero dilated function is orthogonal to all trigonometric polynomials of degree at most $n-1$.

An incident particle of rest mass $m$ and energy $E$ striking a stationary identical target has total squared invariant energy $W^2=2m{c}^2(E+m{c}^2)$. Producing $N\ge 2$ final particles of the same rest mass requires $W\ge Nm{c}^2$, giving the threshold. Equality means no final kinetic energy in the centre-of-momentum frame. From the Lorentz factor, the corresponding incident speed is at least $cN\sqrt{N^2-4}/(N^2-2)$.

If the total incoming four-momentum is timelike and has centre-of-momentum energy $W$, production of particles with rest masses ${\mu }_i$ requires $W\ge {\sum }_i{\mu }_i{c}^2$. In the centre-of-momentum frame, total final energy is a sum of $\sqrt{{\mu }_i^2{c}^4+c^2|{\mathbf{p}}_i{|}^2}$, each at least its rest energy. For massive products equality occurs with all at rest in that frame. A single product requires equality of the entire invariant mass, not just an inequality; a massless product cannot have nonzero energy and be at rest.

A Fierz rearrangement rewrites a product of fermion bilinears with one spinor pairing as a sum of products with another pairing. For left-handed vector currents, it lets a charged-current four-fermion operator be compared directly with a neutral-current operator.

The four-dimensional membrane Fierz rearrangement identity $(C{\gamma }_{mn}{)}_{(\alpha \beta }(C{\gamma }^n{)}_{\gamma \delta )}=0$ makes the displayed supertranslation-invariant four-form closed. It is locally the exterior derivative of a three-form potential, which can change by an exact form under target supersymmetry. Pulling the potential back to a closed worldvolume gives an invariant Wess-Zumino brane coupling. The charge magnitude and normalization of this form are fixed together by cancellation of the area variation under kappa symmetry.

The scalar potential is a positive sum of squared commutators of the six adjoint scalar fields. It vanishes precisely when they commute. For a compact gauge group, simultaneous conjugation puts a commuting tuple in a Cartan subalgebra. Its arbitrary $6r$ real coordinates are classical flat directions of a scalar potential, with residual identification by the Weyl group. For $SU(N)$ the simultaneous eigenvalue vectors also obey the tracelessness constraint. Generic values break the gauge group to its maximal torus.

The FRET donor quantum yield is the emitted fluorescence photon fraction per absorbed excitation photon, measured without a FRET acceptor. In the constant-rate model used for FRET efficiency, $Q_D=k_{\mathrm{r}}/(k_{\mathrm{r}}+k_{\mathrm{nr}})$. Changing the FRET donor quantum yield changes the Förster distance, even if label positions remain fixed.

The FRET dipole orientation factor describes the geometry of the two transition electric dipoles relative to their separation. Let ${\hat{\mathbf{\mu }}}_D$, ${\hat{\mathbf{\mu }}}_A$ and $\hat{\mathbf{r}}$ be their unit vectors. ThenFor a separation along $z$, parallel electric dipoles along $z$ give ${\kappa }^2=4$, parallel ones along $x$ give $1$, and one along $x$ with the other along $y$ gives $0$. Thus rotating a pair can change FRET efficiency without changing its separation.

The familiar value ${\kappa }^2=2/3$ requires suitable rapid, independent orientation averaging during the FRET donor lifetime. Random orientations across a population of slowly rotating fluorescent proteins do not establish that dynamic condition. ^[ref]

FRET spectral overlap quantifies overlap between the FRET donor's emission and the FRET acceptor's absorption as functions of wavelength $\lambda$. With normalized donor emission $f_D$ and acceptor molar absorption coefficient ${\epsilon }_A$, one convention isMatching two emission colors is insufficient: the receiving absorption matters.^[ref]

The generalized Leibniz rule extends composition of differential operators to all integer $n$. Define $\left(\genfrac{}{}{0ex}{}{n}{r}\right)=n(n-1)\cdots (n-r+1)/r!$. For nonnegative $n$ the sum stops at $r=n$. For $n=-s<0$, its coefficients are $(-1{)}^r(\genfrac{}{}{0ex}{}{s+r-1}{r})$; in particular ${\partial }^{-1}f=f{\partial }^{-1}-f^{\prime }{\partial }^{-2}+f^{\prime \prime }{\partial }^{-3}-\cdots$. Applying $\partial$ on the left cancels consecutive derivative terms and recovers multiplication by $f$, which explains the inverse expansion.

The formal residue is the coefficient of ${\partial }^{-1}$ after coefficients have been moved to the left by the formal pseudodifferential composition rule. It is not an analytic residue at a point. For scalar coefficients, the residue of a commutator is a total derivative; integrating it with vanishing boundary terms produces the cyclic Adler trace.

For scalar coefficients, leading symbols commute. If $P=a{\partial }^p+\cdots$ and $Q=b{\partial }^q+\cdots$, their product has leading coefficient $ab$, and their commutator has coefficient $pa{b}^{\prime }-qb{a}^{\prime }$ at order $p+q-1$. Thus product order is at most $p+q$, with equality when $ab$ is not identically zero; commutator order is at most $p+q-1$, with equality when its displayed coefficient is not identically zero. Constant-coefficient operators commute. Nonzero smooth functions with disjoint supports show why product orders need not add over $C^{\infty }(\mathbb{R})$.

Treat $k$ as a formal spectral parameter near infinity. If $P={\sum }_{j\ge 0}{g}_j{\partial }^{\alpha -j}$, the formal pseudodifferential composition rule gives $Pw=k^{\alpha +\beta }{e}^{kx}{\sum }_{s\ge 0}{k}^{-s}{\sum }_{i+j+r=s}{g}_j\left(\genfrac{}{}{0ex}{}{\alpha -j}{r}\right)w_i^{(r)}$. Each coefficient contains finitely many terms. This describes a formal module action, not a claim that the infinite series converges at finite $k$.

For a cardinal number $\kappa$, ${\mathrm{MA}}_{\kappa }$ says that for every forcing with the countable chain condition for forcing and every family of at most $\kappa$ dense subsets, some filter in an ordered set meets them all. Full Martin axiom asserts this for all $\kappa <2^{{\aleph }_0}$. The strict upper bound is part of the definition.

This damped harmonic oscillator receives a constant force only while moving toward increasing $x$. For $0<k<\omega$, a positive maximum $X$ evolves without forcing to a minimum $-rX$, then with forcing to the next maximum $r^{2}X+(1+r)a/{\omega }^2$, where $r=e^{-k\pi /\sqrt{{\omega }^2-k^2}}$. Its unique periodic maximum is $a/[{\omega }^2(1-r)]$ and its period is $2\pi /\sqrt{{\omega }^2-k^2}$. Position and velocity are continuous at switches, but acceleration has jumps. The slope $r^2<1$ of this turning-point return map shows attraction of nearby turning-point amplitudes.

For an unregulated exponential basal resource and nearest-neighbor Lotka-Volterra equations, the weighted interaction matrix is skew-symmetric matrix. An even chain has an invertible tridiagonal interaction matrix; its positive equilibrium, when feasible, fixes all long-term means. An odd chain has a null direction and requires a special balance between resource growth and mortality to permit bounded full coexistence. For a three-level chain, $X_1^{b_2}{X}_3^{a_1}=C\exp [(b_{2}r-a_1{d}_3)t]$. A positive even-chain equilibrium gives a conserved coercive relative-entropy-type function, proving every species remains bounded above and away from zero.

If creation operators obey $[a_{\mathbf{p}},a_{\mathbf{q}}^{†}]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$, set $|\mathbf{p}⟩=\sqrt{2E_{\mathbf{p}}}{a}_{\mathbf{p}}^{†}|0⟩$. Their inner product then has the displayed value. The associated completeness measure is $d^{3}p/((2\pi {)}^{3}2E_{\mathbf{p}})$, the invariant positive-energy mass shell measure. Specifying this normalization prevents hidden external energy factors in a scattering amplitude.

A one-particle state belongs to the one-excitation sector of a Fock space. In a momentum basis with $[a_{\mathbf{p}},a_{\mathbf{q}}^{†}]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$, the wavepacket $\int d^{3}pf(\mathbf{p})a_{\mathbf{p}}^{†}|0⟩/(2\pi {)}^3$ has norm squared $\int d^{3}p|f(\mathbf{p}){|}^2/(2\pi {)}^3$. Sharp-momentum states have distributional rather than unit normalization; factors of $\sqrt{2E_{\mathbf{p}}}$ convert to relativistic normalization of a one-particle state.

A fluorescence microscope maps photon emission to an image. Excitation light passes through a fluorescence excitation filter and reflects from a wavelength-selective beam splitter into the objective optical lens. Returning fluorescence passes through that beam splitter and a fluorescence emission filter to the photodetector. Rejecting excitation makes faint emission visible.^[ref]

An ordinary image records emission-band counts at each pixel. Adding pulse-delay measurements gives a fluorescence lifetime map; scanning emission wavelength gives spectral information instead. Confocal microscopy adds spatial rejection and confocal optical sectioning, as developed in its own branch. An unlabeled specimen under the same illumination reveals intrinsic fluorescence and excitation leakage; excitation-blocked frames reveal detector background. A blank cannot perfectly predict background in a differently prepared specimen.