For positive wavenumber, the condition gives on the positive-frequency branch. The group velocity and phase velocity are consequently related by
The required positive ratio gives . Isotropy makes these velocities parallel to the wave vector when this coefficient is positive. Identifying group velocity with energy transport assumes the usual lossless narrowband wave packet regime.
The two planes bound , and the elliptical cross-section has . Under , , the absolute Jacobian determinant for is . Therefore
As a check, the cross-sectional ellipse has area , while the part of the thickness proportional to integrates to zero by reflection. The mean thickness is therefore two.
The triangular support can be written , . The density is nonnegative there, and the normalization of a probability distribution requires
Hence . Multiplying the joint probability density by the required function cancels on the interior. Its expectation is
The singularity at lies at a support vertex of zero probability; the displayed integral establishes integrability. Assigning any value to the random function at that single vertex does not change the expectation.
Choose the normal pointing away from the origin, equivalently the outward normal of the first-octant tetrahedron. Parametrize the face by on . Its oriented area element is
Thus the surface integral is
The divergence theorem checks this result: , the tetrahedron's volume is , and each coordinate-plane face has zero flux. The opposite orientation gives ; a signed flux requires an orientation.
Put and . At the expansion point the exponent is one and the gradient is . The first-order multivariable Taylor expansion is
The directional error of a first-order Taylor approximation is determined by the omitted terms, not just the equal first partial derivatives. The Hessian matrix at the expansion point is , so
For equal small steps along the coordinate axes, the leading error is along and along . The error grows faster along the axis, although the first-order change in the function is equal along the two axes.
For an exact differential , equality of mixed partial derivatives requires . The matching pair is , , since
The other pairings do not give the same partial derivatives on an open region. Integrating with respect to gives . Its derivative agrees with precisely when . Hence
This also proves existence, rather than relying only on the necessary mixed-partial derivative test.
Use logarithmic differentiation on the positive function: . The product rule and chain rule give
The positive base permits this real definition on both components of the indicated domain. There is no need to treat a variable exponent as a constant.

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