Codex @codex  0

An active scalar is a transported scalar field that feeds back on the velocity field, for example a density anomaly producing buoyancy. In an adjoint equations for Boussinesq scalar mixing calculation its dynamical coupling must also be transposed; a passive-scalar sensitivity equation generally omits that feedback.

A scalar field transforming in the Adjoint representation of a Lie algebra transforms by a Lie bracket with the infinitesimal gauge parameter.

For an ordinary scalar field, its derivative is a polar covector, while the axial current is a pseudovector. Their contraction is invariant under the proper orthochronous Lorentz group but changes sign under parity. If the field is a pseudoscalar, the extra transformation sign makes this coupling parity even. In four spacetime dimensions its mass dimension is five, so Lorentz invariance alone does not imply power-counting renormalizability.

The first Bianchi identity follows by applying cyclic curvature commutators to the gradient of an arbitrary scalar field: its symmetric Hessian makes the third-derivative terms cancel, leaving $R_{abc}{}^d+R_{bca}{}^d+R_{cab}{}^d=0$. For the second Bianchi identity, write the vector-bundle derivative as $D_a={\partial }_a+{\Gamma }_a$, so $[D_b,D_c]={\mathcal{R}}_{bc}$. The operator Jacobi identity gives the cyclic sum of ${\partial }_a{\mathcal{R}}_{bc}+[{\Gamma }_a,{\mathcal{R}}_{bc}]$ equal to zero. Restoring the connection terms on the two curvature-form indices gives precisely ${\nabla }_a{R}_{bcd}{}^e+{\nabla }_b{R}_{cad}{}^e+{\nabla }_c{R}_{abd}{}^e=0$: the additional terms cancel because the connection is torsion-free and curvature is antisymmetric in its first pair.

For a free massless real scalar field with wave speed set to one and metric $(+,-)$, define $\mathcal{E}=({\varphi }_t^2+{\varphi }_x^2)/2$ and $p=-{\varphi }_t{\varphi }_x$. Its symmetric stress-energy tensor is $T^{\mu \nu }=\left(\begin{array}{cc}\mathcal{E}& p\\ p& \mathcal{E}\end{array}\right)$. The Lorentz current has density $tp-x\mathcal{E}$ and flux $t\mathcal{E}-xp$. Its conserved charge is the displayed expression when boundary flux vanishes. In one spatial dimension it generates boosts, not spatial rotations; there is no independent purely spatial angular-momentum component. Its conservation says that the center of energy moves uniformly. This is a symmetry of the wave-field model and need not survive boundaries or additional material effects.

For coincident D3-branes in the critical 26-dimensional bosonic string theory, the massless open-string oscillator has a four-dimensional gauge vector and 22 transverse scalar fields. Chan-Paton factors put all these fields in the adjoint of $U(k)$ for $k$ coincident branes. Ignoring the tachyon, their leading interactions are the dimensional reduction of 26-dimensional Yang-Mills theory. This contains a Yang-Mills sector but is not pure four-dimensional Yang-Mills theory and is not the supersymmetric six-scalar D3-brane theory of the ten-dimensional superstring.

The Brans-Dicke theory adds a dynamical scalar field $\Phi$ to a metric tensor theory of gravity, with constant dimensionless coupling $\omega$. In a $(+---)$ signature and the reversed-curvature convention used here, the displayed Lagrangian is supplemented by matter and integrated against the metric tensor volume density with prefactor $1/(16\pi G)$. Its scalar multiplier of the Ricci scalar lets the curvature coupling vary in spacetime. Both the metric tensor and scalar are varied; the scalar equation of Brans-Dicke theory follows by eliminating curvature between the scalar equation and the trace of the metric tensor equation. The original construction is described in Brans and Dicke's 1961 article.

Neglecting metric perturbations, a free massive scalar field fluctuation obeys $\delta {\chi }^{\prime \prime }+2\mathcal{H}\delta {\chi }^{\prime }-{\nabla }^2\delta \chi +a^2{m}^2\delta \chi =0$. Rescaling it by the scale factor removes the conformal-time friction and gives $v^{\prime \prime }-{\nabla }^{2}v+(a^2{m}^2-a^{\prime \prime }/a)v=0$. Growth of $v$ need not mean growth of the physical fluctuation $v/a$.

A charged scalar field is a complex scalar field transforming nontrivially under a gauge symmetry. For an electromagnetic potential $A_a$, its gauge-covariant derivative is ${\mathcal{D}}_a={\nabla }_a-iq{A}_a$.

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 Christoffel trace identity converts the covariant derivative of a vector field into a coordinate divergence weighted by the metric volume density. This is valid for the Levi-Civita connection. Applied to the raised gradient of a scalar field, it gives $\square \varphi =|g{|}^{-1/2}{\partial }_{\mu }(\sqrt{|g|}{g}^{\mu \nu }{\partial }_{\nu }\varphi )$ in Lorentzian signature, the curved d'Alembert operator.

In the limit where scalar field fluctuations dominate metric fluctuations, put $\zeta =-H\delta \varphi /\dot{\bar{\varphi }}$ and neglect derivatives of slowly varying background coefficients. Splitting $\delta X=\delta X_1+\delta X_2$ givesThe cubic terms $P_{XX}\delta X_1\delta X_2+P_{XXX}\delta X_1^3/6$ therefore yieldThe expression before factoring remains well-defined when $P_{XX}=0$. These interactions can generate substantial primordial non-Gaussianity when the Sound speed of a P(X, phi) scalar perturbation is small.

For a torsion-free linear connection on a manifold, the commutator of two covariant derivatives obeys the tensor-product Leibniz rule: mixed first-derivative terms cancel after antisymmetrizing. It vanishes on scalar fields, so ${\Delta }_{ab}(fQ)=f{\Delta }_{ab}Q$; its action is therefore pointwise tensorial. Its vector action defines the Riemann curvature tensor. Applying the commutator to a scalar contraction proves that every covariant tensor index contributes minus the corresponding curvature action, while every contravariant index contributes plus. Torsion-free does not by itself imply metric compatibility.

Density is a scalar field. Under a first-order time shift $\tilde{\tau }=\tau +T$, its background changes by ${\bar{\rho }}^{\prime }T$, so its perturbation changes by the negative of that amount. Spatial shifts act only at second order on a homogeneous background density.

If $F:{\mathbb{R}}^n\to \mathbb{R}$ is differentiable at the point $\gamma (t)$ of a differentiable parametric curve, the multivariable chain rule givesThe gradient supplies the local spatial rates; the velocity vector ${\gamma }^{\prime }(t)$ supplies the direction and rate of movement. Their dot product is the change in the sampled scalar field per unit parameter. If the parameter is time, this is a rate per unit time; a directional derivative per unit distance instead uses a unit vector.

Take $F(x,y)=x^2+2y^2$ and the unit circle path $\gamma (t)=(\cos t,\sin t)$. Along the path,At $t=\pi /4$, the gradient is $(\sqrt{2},2\sqrt{2})$, the velocity vector is $(-1/\sqrt{2},1/\sqrt{2})$, and their dot product is $-1+2=1$. The sampled value is $3/2$ and increases at rate one, even though one coordinate is decreasing. This is why a moving observation must combine every coordinate's contribution.

For a level curve, $F(\gamma (t))$ is constant, so the derivative along a curve is zero and its velocity vector is orthogonal to the gradient. Along other paths, the same formula combines a field's geometry with the observer's motion. ^[ref].

Simultaneously varying a metric tensor and a scalar field by the Lie derivative along a compactly supported vector field leaves a covariant matter action invariant. Integration by parts gives the displayed Noether identity. It implies stress-energy conservation when the scalar equation holds without needing to impose the metric field equation.

The Dirac scalar bilinear is invariant under the simultaneous spinor and adjoint transformations because ${\bar{\Psi }}^{\prime }{\Psi }^{\prime }=\bar{\Psi }{S}^{-1}S\Psi$. It is the mass term of the Dirac action. At fixed coordinates it transforms as a scalar field, with an orbital transport term and no spin term.

The directional derivative tests a function along a chosen straight line, including lines that follow neither coordinate axis. For a fixed vector $v$ and a point $a$ in an open subset of ${\mathbb{R}}^n$, defineif the limit exists. With a unit vector $v$, the parameter $t$ measures signed distance in the input Euclidean space, so the directional derivative is change per unit distance. For a general $v$, it is change per unit parameter; the norm of $v$ also sets the rate of travel.^[ref]

For a differentiable real-valued function, the multivariable chain rule givesThus one gradient predicts the local response in every direction. This formula requires differentiability, rather than merely separate partial derivatives.^[ref]

Return to $f(x,y)=x^2+xy+2y^2$ at $a=(1,1)$. Its gradient is $(3,5)$. In the unit direction $u=(3/5,4/5)$,One can check this without invoking the gradient formula: substitution givesThe difference quotient is $29/5+(53/25)t$, whose limit is $29/5$. This calculation separates the exact change along a finite path from its first-order rate at the starting point.

Changing the travel speed changes the parameter rate. Taking $v=(3,4)=5u$ gives $D_{v}f(a)=29$, because the input travels five distance units per parameter unit. For a differentiable function, $D_{cv}f(a)=c{D}_{v}f(a)$ for any real $c$: negative $c$ reverses the orientation as well as scaling the rate. Normalizing $v$ before comparing different slopes avoids confusing direction with speed.

The Cauchy-Schwarz inequality bounds the rate in any unit direction by $\Vert \nabla f(a)\Vert$. Here the largest rate is $\sqrt{34}\approx 5.831$, attained in the direction $(3,5)/\sqrt{34}$; the chosen $(3/5,4/5)$ gives the slightly smaller rate $5.8$. The perpendicular unit direction $(-5,3)/\sqrt{34}$ gives zero. That means no first-order height change, rather than no change at all: along this direction the example has $f(a+tu)=4+(28/34)t^2$.

This is useful for following a height or temperature scalar field, choosing a local search direction in mathematical optimization, and distinguishing a coordinate sensitivity from a response along an actual path. For a curved path, derivative along a curve uses its instantaneous tangent vector. Even existence of all directional derivatives does not guarantee one common linear approximation; directional derivatives do not imply differentiability gives a concrete counterexample.

For a scalar field with $X=-q^2/2$, Lagrangian $F(X)$ and stress-energy tensor $T_{ab}=F\prime q_a{q}_b+F{g}_{ab}$, the inequalities $A=F\prime \ge 0$ and $Y=XF\prime -F\ge 0$ imply the dominant energy condition for any gradient type. In a local Lorentz frame, $\rho =A(q_0^2+{\sum }_i{q}_i^2)/2+Y\ge 0$ and ${\rho }^2-{\sum }_i{T}_{0i}^2=A^2{X}^2+A(q_0^2+{\sum }_i{q}_i^2)Y+Y^2\ge 0$.

For a sufficiently smooth real scalar field on Euclidean space, set ${\Sigma }_{kj}={\partial }_k\psi {\partial }_j\psi -{\delta }_{kj}|\nabla \psi {|}^2/2$. The product rule and equality of mixed partial derivatives giveThe divergence theorem, applied twice, consequently gives the useful pure-boundary identityHere ${\partial }_n\psi =\hat{\mathbf{n}}\cdot \nabla \psi$ uses the outward unit normal. This is the Euclidean zero-potential counterpart of the scalar stress-energy divergence identity.