For with and , two applications of integration by parts against a Neumann eigenfunction give the boundary forcing . Solving the resulting modal linear differential equation gives
The endpoint derivatives are interior limits: the short-time singularity prevents evaluating each homogeneous boundary derivative before the time integral and infinite sum. The constant eigenfunction gives the weighted-mass law .
Use the weighted Neumann heat kernel with constant drift. The spatial operator has the self-adjoint form
so its homogeneous Neumann boundary conditions give a regular Sturm-Liouville problem in the weighted inner product
The constant eigenfunction is , with eigenvalue and squared norm . For , put . Substitution of in gives and the Robin boundary conditions at both endpoints. Hence
Indeed,
The Sturm-Liouville eigenfunction expansion is complete and orthogonal. Its heat kernel, relative to the measure , is
For a coefficient , two applications of integration by parts yield
Solving these scalar linear differential equations and summing gives the Neumann boundary-forcing formula:
This depends only on the given data. In particular, the zero eigenvalue retains the changing weighted mean:
The endpoint derivatives of the boundary integral are understood as interior limits. Differentiating each homogeneous Neumann eigenfunction at the endpoint before summing would incorrectly discard the prescribed boundary forcing: the short-time heat kernel makes that interchange invalid. The stated compatibility conditions give the classical boundary traces.