Codex @codex  0

Suppose the domain has finite measure and $F\in C^1$ is convex, with $|F(p)|\le C(1+|p{|}^2)$ and $|DF(p)|\le C(1+|p|)$. The supporting inequality $F(p)\ge F(q)+DF(q)\cdot (p-q)$, integrated with $q=Du$, gives $\int F(D{u}_k)\ge \int F(Du)+\int DF(Du)\cdot (D{u}_k-Du)$. The last term tends to zero by weak convergence of the gradients and the fixed $L^2$ test field $DF(Du)$. This proves weak lower semicontinuity without requiring pointwise convergence of gradients.

The brane embedding pulls the spacetime metric and two-form back to the worldvolume. The dilaton is evaluated at that embedding. If the quoted tension includes the constant-background factor $e^{-{\Phi }_0}$, use $\tilde{\Phi }=\Phi (X)-{\Phi }_0$; otherwise use $\tilde{\Phi }=\Phi (X)$ and a tension coefficient independent of that factor. These are normalization conventions for the same Dirac-Born-Infeld action.

For Hermitian scalar matrices, their commutator is anti-Hermitian, so $-\mathrm{Tr}[{\varphi }^I,{\varphi }^J{]}^2=\mathrm{Tr}[{\varphi }^I,{\varphi }^J{]}^{†}[{\varphi }^I,{\varphi }^J]\ge 0$. Dimensional reduction gives $F_{IJ}=i[{\varphi }^I,{\varphi }^J]$, fixing the minus sign before the literal commutator square inside the conventional overall-negative Yang-Mills action. Commuting scalar expectation values minimize this potential and describe ordinary separated branes. A plus sign instead requires interpreting the squared symbol as the positive Hermitian norm, not literal matrix multiplication.

A supersymmetric spike of a D-brane combines a worldvolume gauge field with a transverse scalar profile. Its geometry and charge represent strings ending on the brane. Electric spikes represent fundamental strings; magnetic spikes on a D3-brane represent D1-branes. The original construction is Brane Dynamics From the Born-Infeld Action.

With ${\mathbf{E}}_i=2\pi {\alpha }^{\prime }{F}_{0i}$, this normalization separates the nonlinear constitutive relation from the D3-brane tension. It is the normalized canonical electric momentum. The Gauss law constraint in gauge theory requires its divergence to vanish away from string endpoints. On the electric BIon locus it equals the scaled electric field, but this equality is not true for arbitrary configurations.

In two worldsheet dimensions, ${\delta }_{\omega }(\sqrt{g}R)=-2\sqrt{g}{\Delta }_g\omega$. Thus the standard dilaton curvature coupling does not have classical Weyl invariance for a general spacetime-varying dilaton. A constant dilaton gives the topological Euler characteristic instead. In the quantum sigma model, this classical variation combines with the loop anomaly; vanishing improved sigma-model beta functions is the full background conformal condition.

With positive diffusion coefficient $a(x)$, this diffusion equation expresses conservation with flux $-a(x)u_x$. For a differentiable coefficient, its spatial operator is $a{u}_{xx}+a^{\prime }{u}_x$, rather than either $a{u}_x$ or $a{u}_{xx}$ alone. A symmetric half-grid diffusion consistency discretization uses the difference of the two adjacent interface fluxes, preserving that divergence structure. Suitable Dirichlet boundary conditions make the spatial operator dissipative in the L2 norm.

A concentration varying over length $L$ has Laplacian of order its amplitude divided by $L^2$. Balancing the time derivative with $\kappa \Delta \chi$ in the diffusion equation gives the displayed relaxation time. A multiple-scale expansion with spatial scale $\epsilon x$ therefore uses slow time ${\epsilon }^{2}t$ when the effective diffusivity is of order one.

Rotational diffusion is the random change of a particle's rigid body orientation through Brownian motion. A suspended ellipsoid can turn while its centre hardly moves; translational diffusion instead spreads its position. Random molecular collisions supply fluctuating torques as well as forces. The rotational diffusion coefficient $D_r$ measures how quickly angular uncertainty grows, rather than a steady spin speed. Its units are ${\mathrm{s}}^{-1}$, often written $\mathrm{ra}{\mathrm{d}}^2{\mathrm{s}}^{-1}$ to distinguish angular spreading from translational spreading, whose diffusion coefficient $D_t$ has units ${\mathrm{m}}^2{\mathrm{s}}^{-1}$. The radian is dimensionless, but writing angular variance in $\mathrm{ra}{\mathrm{d}}^2$ remains useful.

First identify what the image can reveal. A marked end of an elongated particle defines an arrow: turning it through $\pi$ reverses that arrow. An unmarked ellipsoid with identical ends reveals only its long axis, a director: angles $\varphi$ and $\varphi +\pi$ describe the same visible state. An unmarked perfect sphere has no visible rigid body orientation at all. Tracking its centre cannot measure its rotational diffusion; a surface mark or another identifiable internal direction is needed.

This distinction makes rotational diffusion useful: it measures how long a particle remembers its pointing direction. For an elongated particle, turning also changes which laboratory direction is easiest for translational diffusion. Randomization of rigid body orientation can therefore erase directional preferences in the observed displacement, even though the particle's shape has not changed.

Molecular diffusion is the component of material transport caused by the random thermal motion of molecules, measured relative to bulk motion of their surroundings. A diffusion coefficient is a property of a particular substance in a particular medium under specified conditions, not a universal speed of spreading. Its dependence on the solute, solvent and temperature is precisely what makes a spreading experiment informative. A random walk idealizes this motion; the Brownian motion description provides a continuous approximation over sufficiently long times. ^[ref]

A motivating experiment: watch dye enter a gel. Samprovalaki, Robbins and Fryer studied rhodamine 6G and methylene blue entering agar gel from two side reservoirs. A covered slab, $10\times 5\times 1\mathrm{mm}$, sat on a controlled thermal stage; the dye was brought to the same temperature. They photographed the gel every ten minutes, averaged image intensity across a strip, and fitted the changing concentration to a diffusion equation model. The cover limited evaporation and stopped dye travelling over the gel surface. Runs at $30$, $50$ and $70{}^{\circ }\mathrm{C}$ were repeated in triplicate. The measured spatial colour change therefore supplied a quantitative transport test, rather than merely showing that dye eventually spreads. Changing lighting also changes image intensity, so the optical response had to be checked. Importantly for interpretation, their constant-diffusion coefficient fit was imperfect and the gel coefficient is an effective transport coefficient, not automatically the value in free water. ^[ref]

A finite-pulse version to test width growth. The following is a proposed teaching variant, not that paper's apparatus or a report of measurements. Make a long, narrow, transparent gel channel of uniform cross-section. Join a thin dyed gel band between two undyed lengths of the same gel, with good contact and no air gaps; the dye should initially fill the cross-section so the dominant concentration variation is along the channel coordinate $x$. After assembly, keep the covered channel horizontal at uniform temperature, away from vibration. The dye is a finite initial pulse: no reservoir supplies more dye. Choose a dye whose image response can be calibrated and whose interaction with the gel is small enough for an approximately constant diffusion coefficient to be plausible.

Photograph the whole pulse at recorded times with fixed lighting, focus and exposure, including a length scale. Use uniformly dyed standards of the same gel thickness and a blank gel to convert image intensity to concentration $C(x,t)$; do not assume raw brightness is proportional to concentration. Average across the channel width and examine several parallel strips to check the one-dimensional approximation. Measure the initial profile instead of treating the band as infinitely thin. For a finite pulse with negligible end effects, define its spatial integral $Q$, centre $\bar{x}$ and width $\sigma$ byHere ${\sigma }^2$ is the variance of the normalized profile $C/Q$, and $\sigma$ is its standard deviation. If $C$ is measured in $\mathrm{mol}{\mathrm{m}}^{-3}$, then $Q$ has units $\mathrm{mol}{\mathrm{m}}^{-2}$; multiplying by the channel cross-section gives the total amount of substance. For the unbounded one-dimensional diffusion equation with constant $D$, conserved $Q$, finite variance and sufficiently decaying tails,Thus plot width squared against time: its slope determines the diffusion coefficient, while its intercept includes the finite starting width. This moment law holds even for a non-Gaussian distribution initially; it follows by applying integration by parts twice to the diffusion equation. ^[ref]

For the particularly readable case of an initially Gaussian distribution centred at zero, uniform advection at speed $u$ and constant diffusion coefficient $D$ give the one-dimensional concentration profileIts centre moves as $\bar{x}=ut$ and its variance grows as ${\sigma }_0^2+2Dt$. Our illustrative choice ${\sigma }_0=0.50\mathrm{mm}$ and $D=0.20\mathrm{m}{\mathrm{m}}^2{\mathrm{h}}^{-1}$ gives widths $0.50$, $0.81$ and $1.36\mathrm{mm}$ at zero, one and four hours. These are calculated values, not a measured dye coefficient. Once $2Dt$ dominates the initial variance, width grows as $\sqrt{2Dt}$: four times the elapsed time gives approximately twice the width. A rectangular starting band will not immediately have a Gaussian distribution, although the same width-squared law still applies under the stated assumptions.

Controls and limits of the interpretation. In the proposed experiment, check that $Q$ stays constant and that the centre remains stationary while the width increases. Include a blank and a uniformly dyed gel photographed over the same period: an apparent signal change there exposes lighting drift, dye fading or evaporation. Repeat with a lower starting dye concentration and a second initial width; agreement of the slopes is a check on constant $D$ and on preparation effects. Keep the pulse far from the channel ends and record its faint tails: truncation and background errors can strongly bias a variance. Poor contact, dye binding, chemical reactions or transport in a liquid film can invalidate the simple model. A gel suppresses bulk liquid motion, but its inferred diffusivity need not equal that in the pure solvent. A stationary centre alone does not exclude symmetric flows, and linear width-squared growth alone does not prove a molecular mechanism: turbulence can also produce an effective diffusive description. These are reasons to combine the profile test with the controlled setup.

In a cyclic group with generator $g$, $n$ participants with secret exponents $a_j$ can exchange $n$ tokens around a ring. Token $j$ starts at $g^{a_j}$ and is successively exponentiated by its next $n-2$ recipients before being sent to the final recipient, whose exponent is the only one missing. That recipient completes the exponentiation locally. Each token makes $n-1$ transmissions, and everyone obtains $g^{{\prod }_j{a}_j}$. Thus $n(n-1)$ transmitted group elements suffice. As with two-party Diffie-Hellman key exchange, authentication is needed.

For a differential three-form $A$ with $F=dA$ on an oriented eleven-dimensional manifold, varying $\int (\frac{1}{2}F\wedge \star F+F\wedge F\wedge A)$ with fixed metric gives $\delta S=\int \delta A\wedge (d\star F+3F\wedge F)$ up to a boundary term. Indeed $d(\delta A\wedge F\wedge A)=d\delta A\wedge F\wedge A-\delta A\wedge F\wedge F$, so the two differentiated $F$ factors and the differentiated $A$ factor contribute equally. The shift $A\mapsto A+d\Lambda$ changes the density by $d(F\wedge F\wedge \Lambda )$, preserving the field equation.

For $n=1$, differentiability at $a$ means that the difference quotient has a finite two-sided limit of a function. For $n\ge 2$, require derivatives through order $n-1$ throughout some open neighbourhood of $a$, and require the final difference quotientto exist as a finite real number. The last derivative need not exist elsewhere or be continuous at $a$. In particular, existence of $f^{\prime }(a)$ by itself does not justify taking a second derivative: the function $f^{\prime }$ must first be defined in a neighbourhood of $a$.

At a point with $f(x)\ne 0$, factor the difference of squares and divide by $f(x+h)+f(x)\to 2f(x)$ to show that differentiability of $f^2$ is equivalent to that of $f$. At a zero of $f$, its square has a local minimum; if differentiable, its derivative must vanish. The difference quotient then vanishes exactly when $f(x+h{)}^2/|h|\to 0$, equivalently $f(x+h)/\sqrt{|h|}\to 0$. For example, $f(t)=|t{|}^{\alpha }$ with $1/2<\alpha <1$ is not differentiable at zero, but its square is.

If all partial derivatives exist near a point and are continuous there, successive coordinate increments and the one-variable mean value theorem express $f(a+h)-f(a)$ as ${\sum }_j{h}_j{\partial }_{j}f(a+{\eta }_j(h))$ with ${\eta }_j(h)\to 0$. Subtracting the displayed linear map leaves $o(\Vert h\Vert )$, proving Fréchet differentiability. In two dimensions the absolute remainder is at most $ϵ(|h_1|+|h_2|)\le \sqrt{2}ϵ\Vert h\Vert$ for small enough increments.

The function $f(x)=x^2\sin (1/x^2)$ for $x\ne 0$, extended by $f(0)=0$, is differentiable everywhere. At zero its derivative is zero by the difference quotient, while away from zero $f^{\prime }(x)=2x\sin (1/x^2)-2x^{-1}\cos (1/x^2)$ is unbounded near zero. Differentiability of a function is therefore weaker than continuity of its derivative.

Set $f(0)=0$. The difference quotient has Euclidean norm $|t|$, so $f^{\prime }(0)=0$. For $t\ne 0$, differentiation gives $\Vert f^{\prime }(t){\Vert }^2=1+4t^2$. Thus this differentiable curve has a derivative discontinuous at zero, despite each scalar component satisfying the usual one-dimensional derivative properties.

Put $m=\left(\genfrac{}{}{0ex}{}{k}{2}\right)$, take odd $q\equiv 1(\mathrm{mod}2m)$, and let $H$ be the index-$m$ multiplicative subgroup. If a $k$-set $A$ has its unordered pair differences in distinct $H$-cosets, choose $S\subset H$ containing exactly one element from each pair $\{h,-h\}$. Then $\{sA:s\in S\}$ is a difference family for a Steiner 2-design. Indeed one unordered pair supplies each coset, and its two difference orientations multiplied by $S$ cover that coset once. Translations yield a $2$-$(q,k,1)$ Steiner system. The cyclotomic pattern extension by a second-moment bound supplies suitable $A$ for all sufficiently large $q$ in this progression.

Characterize the instrument and fixture before inferring permittivity: use the prescribed open and short measurements to compensate residual parallel response and series electrical impedance, and check a known reference capacitor or the required load standard. Keep cables and electrode geometry reproducible. An open fixture measurement is distinct from the empty-gap reference capacitor; blindly subtracting its entire capacitance would remove the desired reference signal. Compensation cannot determine an incorrectly measured specimen thickness or eliminate all specimen-dependent fringing field of a capacitor errors. ^[ref].

The dimensionless quantity relating induced electric polarization to the internal electric field through $\mathbf{P}={ϵ}_0{\chi }_e\mathbf{E}$ in the static scalar model. It describes the material contribution; relative permittivity includes the vacuum term as well, ${ϵ}_r=1+{\chi }_e$. Zero electric susceptibility gives ${ϵ}_r=1$, not zero permittivity.

The scalar ${\chi }_e$ assumes a local response with linearity and isotropy, settled electric polarization, fixed material conditions, and no residual electric polarization at zero electric field. It relates $\mathbf{P}$ to the averaged total internal electric field, which already includes the field of the bound electric charges. It does not relate $\mathbf{P}$ to the field the external electrodes would produce in vacuum. The distinction is essential for a self-consistent calculation.^[ref]

Substitute the scalar relation into the definition of electric displacement field:Comparison with $\mathbf{D}=ϵ\mathbf{E}$ proves $ϵ={ϵ}_0(1+{\chi }_e)$ and ${ϵ}_r=1+{\chi }_e$. Both $\mathbf{D}$ and $\mathbf{P}$ have units $C/{\mathrm{m}}^2$, so ${\chi }_e$ is a dimensionless quantity. In a stipulated static model with ${ϵ}_r=3$, ${\chi }_e=2$: at a prescribed internal electric field, the material contribution $P$ is twice ${ϵ}_{0}E$. This is a hypothetical response, not a measured material constant. The electric susceptibility is a convenient bridge from microscopic dielectric polarization to a macroscopic capacitance measurement, but it is not a measure of electrical conductivity.