Let a comoving test particle have physical radius , where is fixed. Assume Newtonian gravity, spherical homogeneity, negligible pressure, and no mass flux through this sphere, so its enclosed mass is constant. The shell theorem gives a conserved specific energy
Substitute , divide by , and write to obtain
Homogeneity makes the energy scale as , leaving the same at every comoving radius. The sign of encodes the binding-energy sign. This Newtonian derivation applies to pressure-free matter; interpreting as spatial curvature and extending the equation to relativistic pressure components requires general relativity, rather than conservation of this Newtonian shell energy alone.
Spherical symmetry and the integral Gauss law give for . Together with the stipulated zero interior field,
The electric field jumps across the ideal charged surface; its value exactly on that surface is not needed for the volume integral. The electrostatic energy of a uniformly charged spherical shell is
As a check, the shell has constant electric potential , with zero reference at infinity, so gives the same result.
The differential Gauss law is . On a large ball , the product rule and give
The divergence theorem consequently expresses the electrostatic energy as
For a localized charge distribution with the electric potential chosen to vanish at infinity, and , so the surface term is and tends to zero. More generally, it suffices to assume that this boundary integral vanishes. Passing to all space gives
The physical decay and potential reference are relevant: by itself does not specify the additive constant in . Adding a constant changes the charge-based expression by when the total charge is , while leaving the field unchanged. The zero-at-infinity potential is the usual reference implicit in this all-space electrostatic energy formula.
For fixed , put . Feasibility gives . The assumed Lagrangian duality representation says this value is the unrestricted supremum of , so is also an unconstrained global maximizer of this continuously differentiable function. Its first derivative vanishes:
Differentiate the identity using the assumed smooth dependence of the optimizer:
The chain rule now gives the envelope theorem
Thus
Each Lagrange multiplier is the marginal change in optimal value per unit relaxation of its constraint. The proof only uses the resulting stationarity and smooth feasibility identities; it does not require differentiating the maximizer explicitly or differentiating the multiplier.
Set . The maximum likelihood estimation formulas for simple linear regression give
Using the supplied rounded summaries gives metres and metres. Recomputing directly from the printed table gives approximately and metres, respectively, so the small summary rounding differences do not affect the conclusion.
I would not accept the model merely because the Student t-test fails to reject a zero regression intercept. That hypothesis test tests one parameter restriction within the assumed model, not the adequacy of its error assumptions or its functional form. In particular, complementary elevations and have exactly the same and hence the same fitted mean, but their observed low-angle minus high-angle ranges are
for the four corresponding pairs. All four are positive, suggesting an elevation-dependent effect omitted by the mean model, such as air resistance, rather than random scatter determined only by . This is a regression diagnostics concern, not a claim that these finite data logically rule out the normal-error model. The correct conclusion is nonrejection of the intercept restriction does not validate the regression model; further checks of the residual pattern and error assumptions are needed.
Assume the explanatory variables are not all equal, so . In the Gaussian linear model, the log-likelihood is
For fixed , maximum likelihood estimation therefore minimizes the residual sum of squares. Differentiating in gives the least-squares normal equations
The first gives ; substituting it into the second gives , with . Let . Differentiating the profiled log-likelihood in gives
For the variance estimator this is the interior maximum when , which occurs almost surely under the model when .
The coefficient estimators are linear functions of the independent normal errors. In particular,
Their multivariate normal distribution has mean and covariance matrix
The fitted vector is the orthogonal projection onto the two-dimensional span of and . The residual vector is the complementary projection of the spherical normal error vector. Orthogonal normal projections are independent, and in an orthonormal basis of that complementary space its coordinates are independent . Consequently
independently of . This also gives the unbiased estimator rather than the variance MLE.
Under the null hypothesis , for the Student t test for a simple-regression intercept uses
Here is the prescribed significance level. The normal numerator divided by its true standard deviation is independent of , which proves the stated Student t-distribution. If , the two coefficients are not separately identifiable; if , this residual-variance-based test is unavailable.
Use the ideal one-dimensional pipe model: constant density, steady inviscid flow, approximately uniform endpoint speeds , and equal body-force potential at the two ends. Conservation of mass gives the constant volumetric flow rate , and the mass flow rate is . The steady Bernoulli equation gives
For flow from a wider to a narrower section, and . Solving for the positive mass throughput gives the Venturi effect formula
The formula requires these hydraulic assumptions; steady incompressibility alone does not impose uniform endpoint profiles or equal potential. If , the same derivation replaces by . Viscous losses would also modify the pressure balance. The equal-area case is singular in this pressure-based determination: in the ideal equal-potential model its pressure difference must vanish and does not determine the throughput.
For constant density , the inviscid Euler equations with conservative body force are
The vector identity simplifies for potential flow , since its vorticity vanishes. Also . Therefore
On each connected fluid region the expression is spatially constant but may depend on time, giving the Unsteady Bernoulli equation
The arbitrariness of corresponds to the freedom to add a function of time to the velocity potential without changing . Replacing by sets the right-hand side to zero.
With light signals, , the train-frame relativistic velocity-addition formula gives signal velocities . The endpoints are equally distant from the source in that frame, and
The two reception events are simultaneous in but not in : in the station frame the rear moves toward its light signal while the front moves away. Directly, and , so the Lorentz transformation gives . This is relativity of simultaneity, concerning spatially separated events; it does not contradict the invariant light speed or the causal ordering of events on a single observer's world line.
In the station frame, intersecting the signal trajectories with the endpoint world lines gives
Since , both receptions occur at positive times,
The inverse Lorentz transformation then gives
Subtracting and simplifying yields
For , both differences are negative: the rear receives first in both frames, but by different time intervals.
Let be the platform's proper length, measured in its rest frame . At the single station-frame time , its ends coincide with train endpoints whose simultaneous station-frame separation is . Thus
The platform endpoint world lines are vertical at in the station spacetime diagram. In the train frame they are , so their separation at a common train-frame time is . The two alignment events lie on the tilted line in the train diagram and are not simultaneous there; their separation cannot be used as the platform length measured at one train-frame time. This is the distinction enforced by length contraction.
The world lines in the train frame are , and . In the station frame, length contraction gives
The emission event is in both frames. The signal world lines in are and ; their intersections with the train endpoints define the reception events . Their velocities in , from the relativistic velocity-addition formula, are and .
The two platform-alignment events occur at in . The Lorentz transformation puts them at in , on the tilted simultaneity line . The spacetime diagrams show all three observers, both signals, their receptions, and these distinct endpoint-alignment events:
Figure 1.
Train and station spacetime diagrams with signal receptions and simultaneous platform alignments
. Details.
The angle between the oriented coordinate tangent vectors satisfies . The constant-angle assumption therefore gives for a constant . The first fundamental form is positive definite, so and hence . Substitution into the geodesic coordinate grid identities from part (i) gives
Eliminating either derivative yields and . Since and , this proves
If the angle is understood between unoriented curves, its constancy initially fixes ; continuity fixes the sign on each connected chart when this quantity is nonzero, and the zero case already has . Thus the same conclusion holds. In fact constant-angle geodesic coordinate grids are locally flat, although only the displayed derivatives are needed here.
The coordinate curves are assumed to be geodesics as geometric curves; use their arc-length parametrization in the geodesic equations. On , choose increasing arc length , so and . The transverse equation becomes
Thus . On , similarly , , and the transverse equation gives . Hence the geodesic coordinate grid identities are
For , use the Bromwich inversion formula with a vertical contour :
Close the contour to the left, where the exponential decays. The large-arc contribution tends to zero by the usual exponential arc estimate, and the two simple poles are at and . The residues of the complete integrand are and . The residue theorem therefore gives
The right limit at zero is one. The sign of nonzero real has no effect on the answer.
The set is a rational comb with a connecting spine: it contains the whole vertical segment , and every horizontal segment at rational height. Any point with has rational height and can move horizontally to the vertical segment without leaving the set. It can then move vertically to . Points already on the vertical segment use only the second step. Concatenating these polygonal paths connects any two points. Consequently
No claim about a horizontal segment at irrational height is needed: at such a height, the only point in the set lies on the connecting spine.
Use the continuous slope map on the given set, where . The attained ratios are positive rational numbers. Choosing the irrational cut , the two subsets
are disjoint, relatively open, and cover the entire set. Both are nonempty: ratios one and two are attained inside the square. This irrational-cut separation of rational slopes is a separation, so
The individual rational-slope rays are connected, but their common origin is excluded; their separate connectivity does not imply connectivity of their union.
Substitute the rotating velocity field into the Euler equations for an inviscid fluid. Its acceleration is , so
The preceding angular acceleration makes both mixed coefficients , ensuring integrability. Thus
Pressure is determined up to the spatially uniform function . The specified force has no vertical component; if gravity were additionally included in the body force, the usual hydrostatic term would also appear. It is not implied by the displayed force here.
The Euler equations for an inviscid fluid are . Here the vorticity is , and direct differentiation gives , whose curl vanishes. Taking the curl therefore gives
so
For constant force coefficients and the initial rest condition, . Only the antisymmetric part of the horizontal force gradient generates rotation; its symmetric part is balanced by pressure.
At height , . Integrating over a circular cross-section cancels the horizontal components by symmetry. Thus the angular momentum per unit length is
The coefficient is the polar moment of inertia per unit length of the liquid column.

There are unlisted articles, also show them or only show them.