Treat as independent variables, with . The chain rule gives
Therefore the method of multiple scales is
The unspecified term includes the higher correction in . Only the displayed terms through order are needed to determine the leading slow-amplitude system.
On the free streamline choose with . The lower endpoint of this parameter interval is , and approaches . The fractional expression in the map is
Hence , and the branch on the upper edge of the potential strip is
Differentiate to obtain . Since , the chain rule gives
The sign and interval are consistent with the free surface moving to the right and downward from .
Take downward distance and downward speed , with constant gravitational acceleration and quadratic drag coefficient . The printed vector square has no standard vector meaning; the directionally consistent drag force is . For this downward fall, Newton's second law becomes
The terminal velocity is obtained by setting the net force to zero:
From rest, the speed increases monotonically towards this limiting value. In fact ; thus it is a supremum approached at infinite time, and a tower of finite height need not permit it to be reached.
For the required distance, use the chain rule . Writing gives a linear ordinary differential equation:
Consequently,
Here has units of inverse length, so the result has the required units of distance and is independent of the falling mass.
In the position representation in quantum mechanics, . Therefore the orbital angular momentum operator gives
At fixed , the spherical coordinates obey , , and . The chain rule consequently gives , hence
The derivative holds the other two spherical coordinates fixed; it is not a derivative along an arbitrary spatial curve.
Following the moving fluid. The Eulerian velocity field assigns a velocity to each position. A fluid particle satisfies , so the chain rule gives the material derivative, also called the convective derivative,
Even in steady flow a particle can accelerate because it moves between regions with different velocity. For example, flow around a curved obstacle changes direction despite . Mass conservation is
For a constant-density incompressible fluid, .
Euler equations for an inviscid fluid and Bernoulli's equation. Neglect viscosity and take the body force per unit mass to be . Newton's second law for a fluid element gives
For steady flow, dot with displacement along a streamline. The tangential component of is the derivative of along that line. For constant density, integration gives
In uniform gravity, . Thus pressure, kinetic energy per unit mass and gravitational potential energy per unit mass exchange along a streamline. For a barotropic compressible fluid, replace by . Different streamlines need not have the same Bernoulli constant.
Vorticity and potential flow. Vorticity is . A small fluid element rotates locally with angular velocity after its deformational part is separated. The vector identity
gives for steady constant-density inviscid flow. Thus an irrotational region has one common Bernoulli constant on each connected region. In a simply connected irrotational domain, introduce a velocity potential . Incompressibility then gives Laplace's equation, . For unsteady irrotational flow,
An impermeable stationary wall fixes , but ideal potential flow does not enforce no slip. In a multiply connected domain, irrotational flow may still have nonzero circulation around an excluded vortex core, so a globally single-valued potential requires care.
For example, uniform two-dimensional flow past a circular cylinder has outside . Its normal velocity vanishes at the cylinder, and its surface tangential velocity is . Bernoulli's equation predicts a symmetric pressure distribution and zero drag. This is D'Alembert's paradox: the assumptions omit the viscous boundary layers, separation and wake responsible for real drag.
For an incompressible fluid of constant kinematic viscosity , the curl of the motion equation gives
The first term stretches and tilts vortex lines; the second diffuses vorticity. In two-dimensional incompressible inviscid flow the stretching term is absent and vorticity is carried with the fluid. In a three-dimensional inviscid flow it can be amplified by stretching. Density gradients not parallel to pressure gradients provide an additional source in a general compressible fluid.
Viscous flow. A Newtonian fluid's shear stress is proportional to rate of strain. For constant viscosity and incompressibility the Navier-Stokes equation is
with dynamic viscosity and kinematic viscosity . At an ordinary solid wall, the no-slip boundary condition sets fluid velocity equal to the wall velocity. Viscosity transfers momentum between neighbouring layers and converts mechanical energy into heat; unlike the pressure force, its shear contribution depends on velocity gradients.
For plane Couette flow between plates , with the upper plate moving at , the steady solution is , with shear stress . For pressure-driven flow through a pipe of radius , a constant pressure gradient gives the parabolic Poiseuille profile
The Reynolds number compares convective inertia with viscous force. Small Reynolds number often permits the Stokes-flow approximation; large Reynolds number can produce thin boundary layers and, under suitable conditions, turbulence. It does not justify neglecting the wall conditions. Bernoulli's inviscid constant is generally not conserved along a viscous streamline, and pipe flow instead shows a pressure loss corresponding to dissipation.
The momentum of a material volume is . Newton's second law equates its time derivative to the pressure force and gravity:
Apply the given Reynolds transport theorem componentwise to the left side, and the divergence theorem to the pressure term. Then
Since this holds for arbitrary material volumes and the fields are continuous, the integrand vanishes pointwise. Dividing by positive density gives the Euler equations for an inviscid fluid
At a fixed physical time , a streamline is a curve tangent to , which may be parametrized by . The chain rule gives , proving constancy along it. The time is held fixed; a time-dependent streamline statement does not by itself assert material conservation along particle trajectories.
Let and . For a smooth variation , the first variation is
Here the last expression follows by two integrations by parts. Taking variations supported in the interior and applying the fundamental lemma of the calculus of variations gives the Euler-Lagrange equation for a second-derivative functional:
If both endpoint values and slopes are free, their independent variations force the natural boundary conditions for second-derivative functionals
If an endpoint value or slope is fixed instead, its corresponding variation vanishes and the associated natural condition is not required.
For , differentiate using the chain rule:
The Euler-Lagrange equation cancels the first term. Consequently , and if there is no explicit dependence,
This is a Beltrami identity for a second-derivative functional.
Differentiability at means that there is a linear map with
This map is the total derivative . In the Frobenius norm, , by the Cauchy-Schwarz inequality applied to matrix entries. Expanding with the order of all factors preserved gives
The remainder after the terms linear in has norm at most . Hence
For , the Neumann series converges absolutely in the finite-dimensional space of matrices. Multiplying its partial sums by and passing to the limit shows that it is . Its remainder after has norm at most , proving the required expansion.
If is an invertible matrix and , then is an invertible matrix. Thus the general linear group is an open subset of the matrix space. The preceding expansion also gives
Apply the chain rule to , using the cubic total derivative at and this total derivative of inversion:
The three terms generally cannot be combined by commuting and .
The chain rule at the specified point is
In standard coordinates this becomes
The matrix dimensions are respectively , , and , matching the composition of the two linear derivative maps.
The derivative of the curve is
Its image lies on the unit circle, so and . Meanwhile
and multiplication by gives . This verifies the chain rule explicitly.
Write . Allow a general bare coefficient temporarily, so the starting equation is . Substitute and apply the product and chain rules:
Multiplying by identifies
Thus the renormalization-group beta function transforms by the chain rule under a coupling reparametrization, while the field coefficient also records the scale dependence of the finite or divergent field normalization. For the actual bare parametrization here, substitute and .
Continue with . Along a characteristic , the chain rule gives
Thus the initial wave packet evolves as . Similarly, along , the left component is constant, giving
A feature initially at therefore appears at for the right component and for the left component. The profiles translate without changing shape at the speed of light, which is 1 in these units. For positive-energy plane waves, the right component has and the left component has , another way to identify their propagation directions.
The conclusion concerns the massless Dirac equation. For , the components couple as in c, and a positive-energy packet has group velocity , rather than a universal speed . For example, a massive positive-energy rest solution has and , so neither component alone describes an independently moving light-speed packet.
Put and . Since and , the Dirac adjoint transforms as
The chain rule gives , with and no sum in this formula. The Clifford algebra gives
Multiplication by therefore restores each kinetic term:
However, the Dirac scalar bilinear changes sign because :
Changing variables in the action has unit absolute Jacobian determinant. Hence
A nonzero Dirac mass term for this single two-component field breaks parity symmetry in quantum field theory with the specified transformation.
The specified time reversal includes complex conjugating ; omitting that operation changes the answer. Put , , and . As in c, the Dirac adjoint in the source's transformed bilinear is . The conjugated Dirac operator has coefficient matrices
Combining these coefficients with the chain rule signs and the Clifford algebra gives, without summing over ,
For example the time coefficient is , and the second spatial coefficient is . Thus the kinetic term is invariant. The real Dirac mass term again reverses sign since . The spacetime integration has unit absolute Jacobian determinant, so
Each operation reverses the sign of the mass, while their composition reverses it twice and preserves the kinetic term. In an operator formulation the complex conjugation of coefficients expresses the antiunitary operator character of time reversal; the transformation must not be treated as an ordinary unitary substitution with all 's held fixed. These statements concern the stated free action.
In the scalar two-particle model, the fermionic exchange symmetry and bosonic exchange symmetry conditions are
For particles with spin, exchange acts on all their labels; the stated coordinate-only model fixes the spatial symmetry sector. Define . Equal masses make the kinetic operator invariant under exchange, and the assumed potential is invariant too, so . Therefore implies . The components
are respectively symmetric and antisymmetric eigenfunctions whenever nonzero. Their sum is the original nonzero quantum state, so at least one is nonzero. An eigenspace may contain both sectors if the energy is degenerate.
The normal modes of two harmonically coupled identical particles provide the separation. The coordinate transformation to is orthogonal, with absolute Jacobian one. Exchanging the particles leaves fixed and changes to . Hence bosonic quantum states are even and fermionic quantum states odd in the relative coordinate. The chain rule gives
Also and . Combining the two trapping potentials with the interaction therefore gives the separated Hamiltonian operator
These are independent oscillators of frequencies and . Both frequencies are positive in the stated range. Their product eigenstates have energies
The parity of an oscillator level is . Consequently bosons allow even and fermions odd , while is unrestricted.
The bosonic ground state uses , and the fermionic ground state uses . The oscillator length in the relative mode is
Using the normalized Gaussian for each mode gives
Indeed by differentiating the Gaussian, so it is the normalized odd first excited state. The ground energies are and .
Choose normalized factors for a normalized product quantum state; this can always be done by reciprocal rescaling of its factors. Since the coordinate Jacobian has absolute value one,
If the supplied factors are not individually normalized, the general expression has an additional factor ; choosing normalized factors is the convention in the displayed formula.
For the ground states, put . Then and . Thus, for differentiable with suitable Gaussian integrability and vanishing boundary terms,
This is integration by parts, and every polynomial satisfies the required endpoint conditions. The relative-coordinate moments in even and odd oscillator ground states follow by substituting :
For odd , both expectations vanish by parity, so this is an equality of zeros rather than an increase in signed mean separation. The even moments show the physical difference. In particular and , so the fermionic root-mean-square particle separation is times the bosonic value. The fermionic probability density vanishes at coincidence , expressing Pauli exclusion principle in this spatial symmetry sector. This is an exchange constraint on the wave function, not an additional classical force. As approaches , the relative oscillator softens and its width diverges; the excluded endpoint would no longer have this normalizable oscillator ground state.
For a normalized state the position probability density is . With a real potential, the Time-dependent Schrödinger equation and its conjugate give
This is the continuity equation . Integrating over the line yields under the stated decay. A real-valued wave function gives , so its instantaneous current vanishes; the same is true up to a spatially constant phase.
Put . Complete the square in the overlap:
The Gaussian integral is , also for complex displacement by analytic continuation. Hence
The product of square roots fixes the branch convention implicit in the printed square root of . At the norm squared is , which becomes one for the stated . In particular
The centre is and its position variance is .
When differentiating in , keep fixed on the chosen constant-radius orbit. Then
Substitution gives . Since , the chain rule gives . Continue continuously along the time orbit; its sign after a full orbit supplies the usual oscillator zero-point phase. The case of zero displacement is obtained as a limit, since the separate printed and expressions are singular at .
Finally . For real nonzero this is
The printed final current omits the Gaussian normalization factor . Retaining that factor is required both by the normalized state and by the continuity equation. This current is the Gaussian probability density times the velocity of its moving centre, .
In the scalar two-particle model, the fermionic exchange symmetry and bosonic exchange symmetry conditions are
For particles with spin, exchange acts on all their labels; the stated coordinate-only model fixes the spatial symmetry sector. Define . Equal masses make the kinetic operator invariant under exchange, and the assumed potential is invariant too, so . Therefore implies . The components
are respectively symmetric and antisymmetric eigenfunctions whenever nonzero. Their sum is the original nonzero quantum state, so at least one is nonzero. An eigenspace may contain both sectors if the energy is degenerate.
The normal modes of two harmonically coupled identical particles provide the separation. The coordinate transformation to is orthogonal, with absolute Jacobian one. Exchanging the particles leaves fixed and changes to . Hence bosonic quantum states are even and fermionic quantum states odd in the relative coordinate. The chain rule gives
Also and . Combining the two trapping potentials with the interaction therefore gives the separated Hamiltonian operator
These are independent oscillators of frequencies and . Both frequencies are positive in the stated range. Their product eigenstates have energies
The parity of an oscillator level is . Consequently bosons allow even and fermions odd , while is unrestricted.
The bosonic ground state uses , and the fermionic ground state uses . The oscillator length in the relative mode is
Using the normalized Gaussian for each mode gives
Indeed by differentiating the Gaussian, so it is the normalized odd first excited state. The ground energies are and .
Choose normalized factors for a normalized product quantum state; this can always be done by reciprocal rescaling of its factors. Since the coordinate Jacobian has absolute value one,
If the supplied factors are not individually normalized, the general expression has an additional factor ; choosing normalized factors is the convention in the displayed formula.
For the ground states, put . Then and . Thus, for differentiable with suitable Gaussian integrability and vanishing boundary terms,
This is integration by parts, and every polynomial satisfies the required endpoint conditions. The relative-coordinate moments in even and odd oscillator ground states follow by substituting :
For odd , both expectations vanish by parity, so this is an equality of zeros rather than an increase in signed mean separation. The even moments show the physical difference. In particular and , so the fermionic root-mean-square particle separation is times the bosonic value. The fermionic probability density vanishes at coincidence , expressing Pauli exclusion principle in this spatial symmetry sector. This is an exchange constraint on the wave function, not an additional classical force. As approaches , the relative oscillator softens and its width diverges; the excluded endpoint would no longer have this normalizable oscillator ground state.
Define the reflected function . The chain rule gives and . Evaluating the time-independent Schrödinger equation for at and using the even function identity gives
Thus reflection preserves the energy eigenvalue. The same substitution in the norm gives
This is the action of the parity operator , which is a unitary operator. For a reflection-symmetric physical problem it preserves the Hamiltonian operator's operator domain as well as its differential expression.
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.
Let denote coordinate acceleration and use for four-acceleration, to distinguish these two objects. Applying the chain rule to the Lorentz factor gives
Since , differentiation of the four-velocity with respect to proper time yields
This is also , as required.
The invariant Minkowski norm of the four-velocity is . Differentiating this identity gives . In the instantaneous rest frame, , so and the spatial components equal the physically experienced proper acceleration . Therefore in the metric signature.
For a direct calculation, put and expand the temporal and spatial squares:
The last step uses . This proper acceleration from coordinate velocity and acceleration also reads , providing the familiar one-dimensional limit . Each expression has units .