For a rigid body about a chosen origin,
The inertia tensor is real and symmetric, so orthogonal principal axes diagonalize it. Angular momentum is parallel to angular velocity for rotation about a principal axis, but need not be parallel in a general direction. Its eigenvalues are the principal moments of inertia.
If the origin is translated from the centre of mass by , the parallel-axis theorem becomes . In body axes, Euler's equation is . Thus the full tensor is needed whenever the rotation is not confined to one fixed principal axis.
Inertia and principal directions. About the centre of mass, the inertia tensor is
It relates angular momentum and angular velocity by and gives rotational kinetic energy . The principal axes are orthogonal eigenvector directions of this real symmetric tensor; in that basis it is diagonal, with entries the principal moments of inertia .
Derivatives in a rotating frame. Write in a body-fixed orthonormal basis. Each basis vector rotates according to . Differentiating the components and basis separately proves the rotating-frame derivative formula,
The body derivative differentiates the scalar components in that basis. A fixed pivot can replace the centre of mass when the corresponding angular-momentum balance is valid.
Euler equations. The inertial angular-momentum equation is . Since the principal moments are constant in the body frame, substitute :
These are Euler's equations in the principal body frame.
Linear perturbation of free rotation. After the impulse, . Let to leading order and be small. The third Euler equation changes only at quadratic order, so the linear transverse equations are
For and , eliminate from
This gives
Its units are inverse square seconds. Positive gives a growing real exponential; negative gives bounded oscillatory perturbations.
A dielectric responds to an electric field mainly by displacing or orienting bound charges, rather than by sustaining a steady conduction current. The polarization density is electric dipole moment per unit volume. It creates bound charge
Separating these charges from free charge motivates
For an isotropic linear dielectric, , so
The electric susceptibility describes material polarization and is not the magnetic susceptibility. More generally it is a tensor and can depend on frequency, field strength and temperature.
Electronic polarization displaces an electron cloud relative to its nucleus; ionic polarization displaces positive and negative ions; orientational polarization partially aligns permanent molecular dipoles against thermal disorder. For independent permanent moments of magnitude , weak-field orientational response gives when local-field corrections and interactions are negligible. This explains a common inverse-temperature contribution without asserting that every dielectric follows that law.
At a static interface, and the tangential electric field is continuous. Bound surface charge is already included through . For a homogeneous filled capacitor, , and a reversible linear dielectric stores energy density . At fixed voltage, insertion raises the stored field energy but the voltage source also supplies energy; force arguments must include that source. At fixed charge the capacitor energy instead decreases on insertion.
At frequencies too high for a polarization mechanism to follow the field, its contribution weakens. A complex permittivity represents dissipative dielectric loss as well as phase lag; the sign of its imaginary part depends on the time convention. Strong fields can cause nonlinear response or dielectric breakdown, beyond the reversible linear model.
Magnetization and field response. A magnetic material contains microscopic magnetic moments associated with electron spin and orbital motion. The magnetization is magnetic dipole moment per unit volume. In SI the macroscopic fields satisfy
Here separates free-current excitation from the material response. A uniform isotropic linear material has , giving
This constant scalar magnetic permeability model is useful only within its linear range. Crystals can have a susceptibility tensor; strongly magnetic materials depend on field and magnetic history. For a finite specimen the internal also includes its demagnetizing field. In a uniformly magnetized ellipsoid, along a principal axis, so sample shape affects the apparent susceptibility.
Diamagnetic and paramagnetic response. Diamagnetism is a weak negative susceptibility caused by induced orbital response opposing the applied field. It occurs in all matter but can be masked by larger positive contributions. Closed-shell materials such as bismuth or many organic compounds show it clearly. Ordinary diamagnetism is often only weakly temperature dependent; superconducting flux exclusion is a separate collective phenomenon and is not described by an arbitrarily small negative susceptibility.
Paramagnetism arises when available magnetic moments partially align with a field. Thermal disorder prevents complete alignment at weak fields. For independent localized moments of magnitude , the classical weak-field result is
where the second expression uses in a weakly magnetic sample. Thus localized moments obey a Curie law in this regime. Quantum angular momentum changes the coefficient to the appropriate expression and gives saturation at strong field. Conduction electrons instead exhibit Pauli paramagnetism: only states near the Fermi surface can change spin populations, so a degenerate gas has a nearly temperature-independent response. Its orbital diamagnetism must also be included for a full metallic susceptibility.
Collective magnetic order. Exchange interactions can favor parallel alignment, producing ferromagnetism below the Curie temperature. Iron, cobalt and nickel are familiar examples. A material may contain regions of spontaneous magnetization, or magnetic domains, while having little net external moment because the domains point in different directions. Applied fields move domain walls and rotate moments; at large fields the magnetization approaches saturation. Pinning and energy barriers make this process hysteretic. Remanence is the magnetization left after removing the driving field, and coercivity measures the reverse field needed to bring the chosen response back to zero.
The area of a closed – loop is the energy dissipated per unit volume per quasistatic cycle, , with positive dissipated magnitude. Consequently the magnetic permeability is neither one universal constant nor enough information to describe a ferromagnet: differential magnetic permeability , saturation and hysteresis all matter. Above the ordering temperature the spontaneous moment disappears, and a Curie–Weiss law is often an appropriate approximate paramagnetic description away from the critical region.
In antiferromagnetism, ordered opposing sublattices have equal moments and cancel macroscopically in the ideal compensated case. The order disappears above the Néel temperature. In ferrimagnetism, opposing sublattices have unequal moments and leave a net magnetization. Ferrites combine ferrimagnetic response with relatively high electrical resistivity, making them valuable when eddy-current losses would be substantial in a metallic core.
Electromagnets and engineering choice. A coil supplies free-current magnetomotive force . For a simple uniform magnetic path, Ampère's law gives and flux . A high-magnetic permeability soft magnetic core concentrates flux and reduces the current required for a given field. With an air gap ,
Even a short gap can dominate the magnetic reluctance. The approximate attractive force across one uniform gap is , obtained from the field energy, with fringing neglected.
Soft magnetic materials have small coercivity and narrow hysteresis loops; they suit relays, electrical transformer cores and controllable electromagnets. Hard magnetic materials retain their magnetization and suit permanent magnets. Laminating metallic cores breaks large eddy-current loops; ferrites are useful at higher frequencies because of their resistivity. Increasing current cannot increase indefinitely through the linear formula: core saturation, coil heating and leakage limit performance. A good design selects material for the field amplitude, switching frequency and acceptable loss, rather than simply choosing the largest quoted magnetic permeability.
Inertia is a tensor. For a rigid body, distances between material points are fixed. Write each position relative to the centre of mass as , so its rotational velocity is . Integrating gives angular momentum
The rotational kinetic energy is
The inertia tensor is real and symmetric, so orthogonal principal axes diagonalize it. Angular momentum is parallel to angular velocity only along a principal axis, or within a subspace of equal principal moments. For translation plus rotation about the centre of mass, . Moving the reference to a parallel axis adds to the tensor, the tensor form of the parallel-axis theorem.
Euler's equations. The external torque about the centre of mass obeys . In body axes, the transport rule gives
The principal moments are constant in that frame, hence
These are Euler's equations. With zero torque, spatial angular momentum and kinetic energy are conserved, although the body components generally vary. For distinct moments, small perturbations about rotation around the largest or smallest principal moment oscillate, whereas those about the intermediate moment grow. This is the intermediate-axis instability.
A lamina. Choose the lamina's plane as . Then , so the normal is a principal axis, and
This perpendicular-axis theorem applies to a planar mass distribution; it is not a general identity for a three-dimensional body. Rotate the in-plane axes to diagonalize the remaining symmetric two-by-two block. For a uniform rectangular lamina with sides and mass , its central principal moments are , and . If , then : torque-free rotation about the long in-plane axis or the normal is stable, while that about the short in-plane axis is unstable. Coincident moments in a square require the degenerate, rather than strict intermediate-axis, case. Under a constraint to rotate only about the normal, the motion reduces to the scalar equation .
A symmetric top without torque. Let and . Euler's equations reduce to
Thus rotates at signed body-frame frequency , while the axial component stays fixed. The symmetry axis has constant angle to fixed spatial angular momentum. Indeed , so
It precesses in space about with angular speed . This spatial precession and the body-frame frequency describe different motions and should not be identified.
A heavy top. If a symmetric top is pivoted a distance from its centre of mass, gravity gives torque . Here the relevant moments are about the fixed pivot. The axial angular momentum and the vertical angular-momentum component are conserved, because gravity supplies neither an axial torque nor a torque about the vertical. Using tilt , precession angle and spin angle , its Lagrangian is
Eliminating the two conserved cyclic momenta leaves one-dimensional motion in an effective tilt potential; bounded oscillation in tilt is nutation. Steady precession at and fixed tilt satisfies
For a rapidly spinning top on the slow branch, the first term is small and
Gravity then changes the direction of angular momentum rather than simply tipping the top straight down. The approximation fails near conditions where nutation or the fast-precession branch matters; the full equations retain those possibilities.
An electrical insulator has no freely conducting bulk charge in the ideal static description, but an applied electric field can displace bound positive and negative charge relative to one another. The resulting electric dipole moments per unit volume define the polarization density . Distortion of electronic charge clouds, relative displacement of ions, and partial alignment of permanent molecular electric dipoles can all contribute. Thermal agitation opposes the last mechanism.
For a weak field in a linear isotropic dielectric, the constitutive law is
Here is the electric susceptibility, is the permittivity, and is the electric displacement field. In an anisotropic material, is a tensor and need not be parallel to . These response laws describe the macroscopic field, not necessarily the microscopic field acting on one molecule.
Spatial variation and surface termination of the polarization density give bound charge and bound current through the bound charge densities
where is outward from the material. Thus uniform polarization density has no bulk bound charge, but generally has opposite bound charges on opposing surfaces. Gauss's law can be rewritten as
With no free surface charge, the normal component of is continuous across an interface; the tangential electric field is continuous in electrostatics.
For example, fill a parallel-plate capacitor of plate area and gap with a uniform dielectric, neglecting fringing. At fixed free plate charge , , so
The induced bound surface charges oppose the original field, reducing the electric field and potential difference at fixed . At fixed applied potential difference, the field remains and the battery instead supplies more free charge. The electric displacement field separates these free-charge and bound-charge roles.
For a double-couple seismic source, measure P-wave first-motion polarity signs and use source-to-station takeoff angles from the location and velocity model to plot them on a focal sphere. Fit the alternating radiation-sign quadrants, optionally adding amplitude ratios and waveform information. The two nodal planes determine a focal mechanism, conventionally expressed by fault strike, fault dip and fault rake.
A more general waveform inversion fits a seismic moment tensor to several components and stations. Its double-couple part supplies candidate slip and normal vectors, but a general moment tensor should not be forced to be double-couple without justification. Polarity calibration, near-nodal observations, path effects and takeoff-angle errors limit the result.
Point-source radiation alone interchanges the fault plane and auxiliary plane without changing the double couple. Resolve this fault-plane ambiguity using mapped rupture, aftershock geometry, geodesy or finite-rupture directivity. A dense set of polarity picks does not by itself remove that fundamental ambiguity.
Let the seismic moment tensor of a double-couple seismic source be for perpendicular unit slip and normal vectors. Its T axis is , with eigenvalue , and its P axis is , with eigenvalue . They bisect the fault-plane and auxiliary-plane quadrants.
These earthquake pressure and tension axes describe the source deformation. They are not generally the principal axes of the ambient stress tensor. Friction, inherited fault orientation and local stress changes can rotate their relationship to that tensor; a stress inversion requires further assumptions and multiple mechanisms.
For seismic source inversion, collect calibrated, consistently filtered samples from all available stations and components into a data vector . For each trial source position and origin time, compute the corresponding elastodynamic Green tensor in an Earth model, including the instrument response used for the data. Write the symmetric seismic moment tensor in six independent symmetric basis tensors:
Each column of is the synthetic seismogram for one basis tensor. An off-diagonal basis tensor contains both symmetric entries, so the double contraction and its factors of two remain consistent.
A suitable objective is
with noise covariance ; a justified penalty can be added for regularization. At fixed , solve for the six entries of by weighted least squares, preferably using a QR decomposition or singular value decomposition rather than explicitly inverting the matrix of the normal equations. Then search over the four nonlinear parameters using a coarse location/time grid followed by local refinement. This variable projection reduces a ten-parameter search to a four-parameter nonlinear search with an inner six-parameter linear fit. Merely having more than ten data samples does not ensure identifiability: the design matrix must have adequate rank and the network must resolve the source's radiation patterns.
Potential errors include inaccurate velocity, density, anisotropy and attenuation in the assumed Earth model; neglected finite rupture and source-time effects; timing, instrument calibration or component-orientation errors; correlated noise; uneven station coverage; and tradeoffs between depth, origin time and the moment tensor. Imposing a double-couple seismic source mechanism without evidence can hide genuine non-double-couple components. Regularization also changes the recovered source and should be reported.
Inspect residuals, singular values, recovery of synthetic sources and uncertainty under resampling or noise perturbations. Linearized covariance or a posterior distribution can quantify uncertainty within the assumed forward model, but does not automatically account for errors in that model. A good waveform fit alone is insufficient evidence that all ten parameters are uniquely recovered.
mass as band curvature. In a periodic potential, a weakly forced electron is usefully described by a wave packet confined to one energy band. Its group velocity is
Differentiating the velocity gives
This effective-mass tensor describes the band response, not a change of the electron's bare rest mass. Along a principal direction, a steep upward curvature gives a small positive mass and a flatter curvature a larger one. Near a band maximum the electron curvature and effective mass are negative; the corresponding missing-electron description uses positive electron hole masses. Anisotropy produces distinct principal masses, and strong nonparabolicity makes them momentum dependent. The single-band semiclassical description assumes fields weak and slowly varying enough to avoid substantial interband transitions.
Lattice symmetry and Bloch's theorem. Use the active spatial translation operator . A lattice-periodic scalar potential satisfies , while the kinetic term is translation invariant. Therefore . The lattice translations also commute with one another, so they can be diagonalized simultaneously with , including within a degenerate energy subspace.
For a common eigenstate, write . Unitarity gives , and the group law gives . On primitive Bravais vectors , choose . Every lattice vector is an integer combination of these generators, hence
The vector is defined modulo a reciprocal lattice vector. The band index labels the different energy eigenstates with the same translation character. Define . The phase factors cancel under a lattice translation, proving Bloch's theorem in its usual form:
This is the Translation-character proof of Bloch theorem; the commutator guarantees a basis of such states, even when an arbitrary superposition of different translation characters is not itself a translation eigenstate.
Periodic Hamiltonian. Acting once with momentum gives . Applying it again and cancelling the common plane-wave factor yields
The Bloch Hamiltonian acts on lattice-periodic functions in a unit cell. Expanding its square separates a zero-momentum Hamiltonian, a term linear in and an identity term quadratic in .
Expansion about the zone centre. Let , , and normalize all these states using a unit-cell inner product. For the real scalar Hamiltonian in the question, a nondegenerate zone-centre eigenfunction can be chosen real. Then
because opposite unit-cell faces cancel. Equivalently, time-reversal symmetry forbids a nonzero electric current in this nondegenerate spinless state. This explains why no linear energy term appears; it should not simply be omitted without a symmetry or extremum argument.
The first-order energy shift is therefore . In the second-order sum the quadratic term is proportional to the identity and has no off-diagonal matrix elements. Only the linear momentum vertex contributes. Second-order nondegenerate perturbation theory gives the momentum matrix-element expansion of band energy
Hermitian operator makes the two reciprocal matrix elements complex conjugates. All other periodic eigenstates at enter the sum. The remainder is even because time-reversal symmetry gives near this isolated state. At a degeneracy the denominators signal the need for degenerate perturbation theory instead.
mass ratio and the printed formula. Write . Differentiating the quadratic energy yields
For a specified unit direction , the resulting scalar mass ratio is
In an isotropic three-dimensional band, averaging equivalent directions gives
Coupling to lower bands contributes positively to inverse mass; coupling to higher bands contributes negatively. Their signs and matrix elements determine the actual curvature.
The original PDF prints . Taken literally as a three-dimensional Laplacian, this misses a factor of three for an isotropic scalar mass. The correct identities are
The printed expression would return even for the free dispersion . It is correct in one dimension, or if its second derivative is interpreted directionally. For completeness, its literal three-dimensional trace ratio would instead be ; that is the trace of the dimensionless inverse-mass tensor, not the usual scalar .
Relaxation-time model. The Drude model treats mobile charge carriers as independent particles accelerated by the Lorentz force between scattering events. Collisions randomize the drift momentum toward local equilibrium and are represented by a uniform, field-independent momentum relaxation time. For the present calculation the carrier density, isotropic mass and relaxation time are fixed, the fields are uniform and stationary, and quantum orbital quantization and intercarrier correlations are neglected. The steady drift velocity obeys
Here is the number of carriers of that species per unit volume, their signed charge, their inertial or isotropic band mass, the momentum relaxation time, and their single-species electrical conductivity at zero field.
One-carrier tensor. With and , solving for the electric field gives
Since and ,
Thus the resistivity tensor, defined by , is
Its off-diagonal signs follow from the stated axes and signed . For zero transverse electric current, is the Hall electrical resistivity; reversing charge reverses it. The single-species longitudinal electrical resistivity is independent of in this ideal isotropic model.
Adding electrons and electron holes. Let both species have density and charges , with . The stipulated equal zero-field electrical conductivity means equal positive charge carrier mobility , even if their masses and momentum relaxation times separately differ. Put and . Inverting each electrical resistivity matrix gives
Both species experience the same electric field, so their electric current densities add. Therefore it is their conductivity tensors, rather than their resistivity tensors, that must be summed. The Hall parts cancel and
This is compensated two-carrier magnetoresistance. Although the net Hall field vanishes, each carrier species is bent in its own direction; maintaining the total longitudinal electric current requires an increasing longitudinal field. Equal carrier numbers alone do not ensure zero Hall response if charge carrier mobilities differ; both equalities given here are used.
Large-field limit and quantum oscillations. Expanding the exact diagonal entry,
For ,
Here the last equality applies to either species with its own mass and transport time; the stipulated charge carrier mobilities give the same threshold. This is the classical strong-field condition : carriers turn substantially before their drift momentum relaxes.
Observable quantum oscillations additionally require sufficiently sharp Landau levels and a sufficiently cold Fermi-Dirac distribution, approximately
When , the disorder field scale is comparable to the onset scale for large classical magnetoresistance. The thermal condition can demand a much larger field, and when even the disorder criterion is stronger. The quantitative damping factors in Q2(c) show that these are crossover scales rather than sharp visibility boundaries. A large smooth magnetoresistance therefore does not itself demonstrate Landau level; it can exist while thermal smearing suppresses oscillations. Conversely, the asymptotic condition is stronger than merely reaching unity, so there is no universal ordering of the two experimental onset fields without temperatures and lifetime information.
Scaling function. The material's actual zero-field longitudinal electrical resistivity is . Dividing the exact answer by this value gives
The assumption that stays constant is essential to eliminating further temperature-dependent parameters. is a dimensionful scaling variable; is its dimensionless version. The corresponding fractional increase is .
Figure 1.
Original equal-mobility two-carrier curves collapse under zero-field resistivity scaling
. Details.
What the supplied data test. In the original PDF's left panel, the field dependence is strongly temperature dependent. In the right panel, plotting the fractional magnetoresistance against the squared rescaled field makes the displayed 125, 150, 175, 200 and 225 K curves collapse approximately onto one straight line, over the field intervals where they overlap. This supports the proposed one-parameter scaling and, on that range, the quadratic field law. The 100 K curve does not collapse: it bends away and has a different slope in the rescaled plot. The indicated scaling is therefore supported for the displayed 125–225 K data, not for the entire displayed temperature range. The graph alone does not locate a sharp transition between 100 and 125 K or establish behavior above 225 K.
This empirical collapse is Kohler's rule. It is consistent with a common temperature-dependent charge carrier mobility or relaxation scale and a fixed carrier population; it is not a unique proof of exact compensation or of one microscopic scattering mechanism. A change in relative scattering times, carrier population or Fermi-surface structure could spoil the collapse, and this figure alone does not select the cause of the 100 K departure.
There is a factor-of-two normalization convention in the printed text. The introduced for each species gives , whereas the final paragraph calls “.” If denotes the experimentally measured zero-field electrical resistivity, the consistent slope is
If one instead keeps the literal single-species definition , the same model has . The choice rescales and offsets the axes by temperature-independent constants, so it does not change which temperature curves collapse, but it must be resolved before inferring a carrier density from the slope.
The drift velocity is the small ensemble-average velocity acquired by charge carriers in an applied electric field. It is distinct from their much larger random thermal or Fermi velocity. For conduction electrons of charge , the isotropic Drude model gives
where is the momentum relaxation time.
The positive electron mobility measures the ease of this drift in linear response. In the same approximation,
Its units are ; in an anisotropic crystal the mobility is a tensor.
The band effective mass describes the acceleration implied by the curvature of the dispersion relation. The group velocity is , while . Thus
For an isotropic parabolic minimum this reduces to and . It incorporates the periodic crystal potential and need not equal the bare electron mass. Negative electronic curvature near a band maximum is conveniently described by positive-mass electron holes.
Take a constant infinitesimal translation with fixed-coordinate field variation . The associated change in the Lagrangian density is . Substituting this total derivative into the Noether current gives , where
This is the canonical stress-energy tensor. The chosen sign of the translation parameter produces precisely this sign of the Noether current; reversing the parameter reverses the current without changing its conservation law.
To check current conservation directly, differentiate the tensor. The terms containing cancel against the derivative of the kinetic term, leaving
Thus on shell. Raising the second Lorentz index gives : this scalar field already has a symmetric canonical stress-energy tensor.
First take the trace in four spacetime dimensions:
The product rule gives . For the massless equation of motion, , so
Both coefficients vanish for
The minus sign follows from the order used in the question's stress-energy tensor improvement. Commuting partial derivatives shows that this improvement has identically zero divergence, so it preserves the conservation law.
The precise trace identity, without using the equation of motion, is
Hence the massless tensor is traceless on shell. It is not traceless for arbitrary off shell configurations: a nonzero constant with has . This is a classical result; it does not assert absence of a quantum trace anomaly.
The propagator carries a real-species label rather than a charge-flow arrow:
Differentiating the interaction with respect to its four external real fields gives the compact tensor rule
Thus four legs or four legs give , while two of each give . Vertices with an odd number of either species vanish. For example, , whereas . These factors already account for assignments at one vertex; graph symmetry factors must still be included separately. Momentum conservation and loop measures are the same as in part a.
Ordinary component differences at neighboring points depend on how the local bases vary. The covariant derivative corrects for that variation:
Each upper tensor index adds a connection term and each lower index subtracts one. A scalar has , while the derivative of a tensor transforms as a tensor with one additional covariant index. The Christoffel symbols themselves are not tensor components; their inhomogeneous transformation cancels that of the ordinary derivative.
For the Levi-Civita connection,
These express metric compatibility and zero torsion. Along , parallel transport is the initial value problem
It preserves inner products for the Levi-Civita connection. Parallel transport of the tangent itself gives the affinely parametrized geodesic equation, .
Transport generally depends on the path. On a round sphere, transport a tangent vector around the triangle bounded by two meridians degrees apart and the intervening equatorial arc. All three sides are geodesics; the enclosed spherical area is . The returning vector is rotated by degrees, with sign set by traversal orientation. Locally this holonomy is controlled by curvature, even though the connection can be made zero at a single point. A vector can therefore have changing coordinate components while remaining parallel, and constant components do not generally mean parallel transport.
Figure 1.
Original spherical-triangle transport: a tangent initially pointing along the first meridian returns rotated by ninety degrees
. Details.
This construction compares directions at separate points through a chosen connection, rather than assuming that a curved manifold supplies a path-independent comparison.[ref]
Use Cartesian coordinates with and . Spatial dot and cross products below use the Euclidean three-metric. The alternating tensor is given the orientation .
Vector and covector transformation. The vector is independent of coordinates, and the chain rule gives . Likewise the one-form is independent of coordinates. Comparing coefficients proves
Their contraction is unchanged because the forward and inverse Jacobians cancel. Here lowering an index uses the metric, not an identification of the numerical upper and lower components.
Why antisymmetrization matters. Write . Differentiating the covector law gives
The last term obstructs the general tensor transformation law. It is symmetric in , so it cancels from . Therefore
Equivalently is the exterior derivative of the electromagnetic four-potential one-form. The statement that is not a tensor needs a qualification: under affine Cartesian Lorentz transformations it does transform tensorially, because the second derivatives vanish. The failure concerns arbitrary nonlinear coordinate changes, including curvilinear coordinates in flat spacetime. This distinction is precisely the difference between general covariance and covariance under the restricted inertial-frame transformations.[ref]
Electric and magnetic components. Choose , so , and . Then
Thus the lower-index field tensor is
This is a derived component representation of the field, with the source's sign convention.
Raised indices and the first invariant. Raising both indices changes the time-space signs and leaves the spatial block unchanged:
In the scalar contraction, each independent antisymmetric pair is counted twice, giving
Under a Lorentz transformation each inverse transformation from a lower index cancels its matching transformation from an upper index, leaving the same scalar. In particular a plane electromagnetic wave has in these units and makes this invariant vanish, while a pure electric field makes it negative.
The printed dual convention. The PDF explicitly defines , with no . Each independent pair therefore contributes twice: for example . The complete result is
The time-space pairs contribute and the spatial pairs contribute another . The conventional Hodge dual includes and would instead give the contraction ; it must not silently replace this paper's definition. With fixed orientation the latter contraction is a pseudoscalar: invariant under proper Lorentz transformations but odd under orientation reversal if compared using a fixed alternating symbol.
Energy density and flux. Substitution into the given mixed stress-energy tensor yields
For the first formula, and . For the second, . The minus sign on arises from its lowered spatial index; it does not reverse the physical energy flow. Raising that index gives , and symmetry gives , with the Poynting vector in units. Thus is energy density and represents energy flux. In SI coordinates , restore and , with . This keeps the mixed-index signs and the units distinct.
Use signature , coordinates and four-velocity normalized by . The derivative is the metric-compatible Levi-Civita connection. Fix the curvature sign by . Then the required contractions are
With , the contracted Bianchi identity gives . The Einstein field equations , with constant , therefore require covariant conservation of stress-energy. This is a consistency relation between geometry and the total matter/field source. It does not mean in arbitrary coordinates, nor guarantee a global conserved energy in an arbitrary curved spacetime. The geometric identity alone, without the field equations or matter dynamics, is not an equation of motion for a freely specified material source.
For relativistic dust, is proper rest-mass density, measured in the fluid rest frame, and is its timelike four-velocity with the normalization above. In a local Cartesian inertial frame , so
Accordingly is momentum density and is energy flux in direction . The equality of momentum-density and energy-flux components after the appropriate factors of reflects the symmetry of the stress-energy tensor. In the comoving frame the spatial stress is zero, as required for pressureless matter.
Expand the dust conservation equation by the product rule:
Contract with . metric compatibility and constant normalization give , leaving . Substitute this rest-mass continuity law back and divide by nonzero :
This proves geodesic motion of uncharged dust along each fluid flow line. pressure forces or another exchange of momentum would change the argument; at zero density there is no dust worldline to constrain.
The electromagnetic field tensor is antisymmetric and has six independent components. In the stated local inertial coordinates choose and , giving
The fields are those measured by that local observer; changing observer mixes them through the Lorentz transformation of . With and , two independent quadratic contractions are
The second is a pseudoscalar: it is invariant under proper Lorentz transformations and changes sign under an orientation reversal. Opposite choices for the orientation tensor change its written sign. A nonzero null electromagnetic field can have both contractions zero, so the two numbers do not determine whether the tensor itself vanishes.
For charged relativistic dust, insert into the force-density equation:
Contraction with again gives the continuity law, because by antisymmetry. After removing the continuity term,
In a local inertial frame the spatial components reduce to and the temporal component gives . This is the relativistic Lorentz force, with gravity represented by the connection. The force is orthogonal to and preserves the rest-mass normalization. Matter alone now exchanges energy and momentum with the electromagnetic field; adding the field tensor's stress-energy restores zero divergence of the combined source.
The displacement field is , and its gradient is . Linear elasticity expands about an undeformed stress-free reference state, taking with and external loads of the same small order. A rigid translation need not itself be small; it is the deformation gradient that controls the infinitesimal strain tensor.
For with , a Taylor series gives
The constant can be set to zero. The tensor is the elasticity tensor. Commutation of continuous mixed partial derivatives proves its major symmetry:
Material frame indifference at a stress-free reference also makes the quadratic energy depend only on the infinitesimal strain tensor , leading to the usual minor symmetries after spatial and reference indices are identified.
In this scaling, an external force of order may be evaluated on the reference geometry: its change due to the order- displacement contributes only at order . Thus the leading forces are fixed dead loads. Likewise , and , so the Piola transformation gives . Hence Cauchy and first Piola stresses agree to linear order. This reasoning uses the usual small-load, stress-free linearization; an order-one prestress or leading follower-load effect requires a different expansion.
An invariant has the same value when the same physical event or state is described in different inertial frames. A conserved quantity has the same value as the physical system evolves, subject to its equations and isolation conditions. These are different comparisons. The invariant mass of a heated object can change with time, while an isolated system's conserved energy has different numerical values in boosted frames.
Under a Lorentz transformation , a Lorentz four-vector transforms as
A covector transforms by the inverse matrix, . A general tensor has one corresponding factor for each index; for example,
Contraction with the Minkowski metric produces Lorentz scalars; it does not by itself make those scalars conserved.