The first law of black hole mechanics (in the form derived by Wald), is
expressed in terms of integrals over surfaces, at the horizon and spatial
infinity, of a stationary, axisymmetric black hole, in a diffeomorphism
invariant Lagrangian theory of gravity. The original statement of the first law
given by Bardeen, Carter and Hawking for an Einstein-perfect fluid system
contained, in addition, volume integrals of the fluid fields, over a spacelike
slice stretching between these two surfaces. When applied to the
Einstein-perfect fluid system, however, Wald's methods yield restricted
results. The reason is that the fluid fields in the Lagrangian of a gravitating
perfect fluid are typically nonstationary. We therefore first derive a first
law-like relation for an arbitrary Lagrangian metric theory of gravity coupled
to arbitrary Lagrangian matter fields, requiring only that the metric field be
stationary. This relation includes a volume integral of matter fields over a
spacelike slice between the black hole horizon and spatial infinity, and
reduces to the first law originally derived by Bardeen, Carter and Hawking when
the theory is general relativity coupled to a perfect fluid. We also consider a
specific Lagrangian formulation for an isentropic perfect fluid given by
Carter, and directly apply Wald's analysis. The resulting first law contains
only surface integrals at the black hole horizon and spatial infinity, but this
relation is much more restrictive in its allowed fluid configurations and
perturbations than that given by Bardeen, Carter and Hawking. In the Appendix,
we use the symplectic structure of the Einstein-perfect fluid system to derive
a conserved current for perturbations of this system: this current reduces to
one derived ab initio for this system by Chandrasekhar and Ferrari.Comment: 26 pages LaTeX-2