Let
The integral is absolutely convergent. For a Schwartz function , Fubini's theorem and integration by parts in give
Equivalently, as a distributional derivative, and hence
For a test function , define the proposed integral by reversing the order of integration:
The Fourier transform of a test function is a Schwartz function, while . The final integral is consequently absolutely convergent. Repeated integration by parts in bounds it by finitely many seminorms of the test function, so it defines a continuous linear functional on .
Equivalently, put on the two half-lines. Then
The density has only an integrable inverse-square-root singularity at one and is bounded at infinity, so it is a regular tempered distribution. Its inverse Fourier transform is exactly the proposed oscillatory integral. Thus
The centrifugal criterion concerns axisymmetric disturbances, so set . The azimuthal equation gives
Eliminating with incompressibility and then with the axial equation yields
where the Rayleigh discriminant is
Impermeability at the two solid walls gives .
Multiply the equation by , integrate between the walls, and use integration by parts. The boundary terms vanish and one obtains
The denominator is positive. Therefore throughout the annulus excludes positive real and gives centrifugal stability. Since is the square of the specific angular momentum, Rayleigh's circulation criterion is
An outward decrease of squared specific angular momentum permits an axisymmetric centrifugal instability.
Multiply
by and integrate from the rigid bottom to an upper endpoint at which . The bottom term also vanishes because . Integration by parts gives
Therefore the horizontal wavenumber has the Rayleigh quotient
For a trapped wave the upper endpoint may be taken to infinity because the eigenfunction decays.
The clamped energy space is
Twice applying integration by parts, with the boundary terms killed by the clamped conditions, gives the symmetric bilinear form
Consequently
for every nonzero : equality forces almost everywhere, and the clamped boundary values then force . Hence is symmetric and positive definite.
Strictly under the stated assumption rather than , the first integral need not be finite for every . The literal energy domain is therefore ; under the usual coefficient assumption , it is exactly and the form is coercive there.
Steady mass conservation gives . With specific angular momentum , multiply the angular-momentum equation by and define the signed viscous torque in an accretion disk
Then
Integration from to gives
The viscous power generated in an annulus is . Taking the inner torque to vanish and writing gives , hence
Integration by parts yields
For steady circular force balance, ; equivalently, the stated equality of gravitational- and rotational-potential differences makes the integral . Therefore
When , the outer energy and boundary term vanish. For an approximately Keplerian inner orbit, , so
Comparison with part (c) gives
A Keplerian inner flow generates the standard thin-disk power. A pressure-supported sub-Keplerian slim disk generates less through shear, and its emergent luminosity can be smaller still because photon trapping in an accretion flow carries part of that generated energy through the inner edge.
On the boundary the integral is . Integration by parts has zero endpoint term and leaves
Write . If is a classical solution, multiply by a smooth function and apply the divergence theorem. The Neumann boundary condition removes the boundary term and gives
The density of smooth functions in a Sobolev space and boundedness of the coefficients extend this identity to every , so is a weak solution.
Conversely, take to be a test function compactly supported in . The weak formulation says
The fundamental lemma of the calculus of variations gives the equation in . Under the regularity implicit in the stated notion of a classical solution, it holds pointwise. Applying integration by parts again with arbitrary leaves
where is the trace operator. Traces of smooth functions can be chosen arbitrarily on the boundary, so the boundary fundamental lemma of the calculus of variations gives . Thus is a classical solution.
For , the function is the th weak derivative when
for every test function . This is the integration by parts identity with no boundary term and agrees with the ordinary derivative whenever is classically differentiable.
For , the first-order Sobolev space is
with norm, for example,
Functions equal almost everywhere represent the same Sobolev element.
For , call a weak solution when, for every ,
This follows by multiplying the equation by a test function and applying integration by parts in time and space; includes the term because the original transport operator is not in divergence form.
If is , test functions supported away from show that as a distributional identity, hence pointwise. Integrating this pointwise equation by parts in the weak identity leaves
Arbitrary boundary test functions and the fundamental lemma of the calculus of variations give . Thus a weak solution is the unique classical solution from part a.
Write the Inviscid Burgers equation in conservation form as
A bounded function is a weak solution with initial datum when
for every compactly supported test function .
Across a straight discontinuity , integration by parts on its two sides shows that the boundary terms cancel exactly when the Rankine-Hugoniot condition holds:
when . For every , define
The three jumps have left and right states , , and , so their Rankine-Hugoniot speeds are respectively , , and , exactly the speeds of the displayed lines. Hence each satisfies the weak equation away from the origin and across every jump. Moreover, its nonzero support at time has length , so in as ; its initial datum is therefore zero in the weak identity.
The zero function and all the distinct functions are bounded weak solutions with the same zero initial datum. Thus weak solutions are not unique. The central jump from to is an expansion shock, which an entropy condition would exclude.
For the p-energy
the first variation in the direction is
An integration by parts therefore gives the Euler-Lagrange equation
which is the p-Laplacian equation. In the notation of the question one takes .
For , the principal coefficient matrix is
Its eigenvalue in directions orthogonal to is , while its eigenvalue parallel to is . The coefficients are away from , and the condition number there is at most . On every region where , this gives uniform ellipticity with constants depending on , , and . At all principal eigenvalues vanish, so the operator is degenerate there and is not strictly elliptic on a domain containing a critical point.
First choose a test function . The weak formulation and integration by parts give
The fundamental lemma of the calculus of variations implies pointwise because and is continuous. The Dirichlet boundary condition on already follows from and continuity of .
For arbitrary , Green's first identity and the interior equation now reduce the weak identity to
The traces of smooth members of can be chosen freely on compact subsets of . Another application of the fundamental lemma of the calculus of variations, now on the boundary, gives pointwise on . Hence is a classical solution of the complete mixed boundary value problem.
For every compactly supported test function on , define a weak solution by the identity
The extra appears because . This identity is obtained from the linear transport equation by integration by parts in time and space.
Conversely, if and have the stated regularity, choosing test functions supported away from shows in the distributional sense that . Continuity makes the equation pointwise. Integrating that pointwise equation by parts in the displayed identity leaves
for all boundary test functions. The fundamental lemma of the calculus of variations gives , so is a classical solution.
Because is a divergence-free vector field, the product rule gives
The integral of a divergence over the periodic domain vanishes. Hence integration by parts yields
This is the skew-symmetry of incompressible transport.
Let and multiply the vorticity equation by , first for an odd power as in the hint. Periodic integration by parts and give
The diffusion term is nonnegative, while the Holder inequality bounds the right-hand side by . Consequently
On the finite-volume torus, norms increase to the essential supremum as . Hence the damped-vorticity maximum estimate gives
Let and with comoving energy . If vanishes at both integration endpoints, integration by parts gives . The kinetic stress-energy tensor then gives , , , and . If is used, the last expression changes sign. Frequency independence of is essential to this common temperature description.
Photon energy density 2026-10-06
The temporal-temporal component of the photon stress-energy tensor in a local orthonormal tetrad. For an isotropic one-particle distribution function expressed using comoving energy , it is . A thermal photon temperature perturbation gives a first-order directional energy perturbation four times its fractional temperature change. Boundary conditions on the distribution justify this factor through integration by parts.
Pohozaev identity 2026-09-28
A Pohozaev identity is an integral identity for a nonlinear partial differential equation, obtained by multiplying the equation by a scaling vector field such as and applying integration by parts. It relates kinetic, potential, and nonlinear energies.
For a mode with nonreal phase velocity , let , choose a continuous branch of , and put . Under impermeable boundary conditions, multiplying the transformed Taylor–Goldstein equation by and applying integration by parts gives
Choosing gives the Miles–Howard theorem; choosing makes the real phase velocity of an unstable mode a weighted mean of .