Black Hole Entropy and Boundary Conditions

H. Khodabakhshi,A. Shirzad,F. Shojai,Robert B. Mann

DOI: https://doi.org/10.1103/PhysRevD.101.124007

2020-05-24

Abstract:It is well-known that in order to make the action well defined, one may employ different kinds of boundary conditions (BCs) accompanied by the appropriate Gibbons-Hawking-York (GHY) terms. In this paper we investigate the role of the selected BC and the corresponding GHY terms on the black hole (BH) entropy. Our result shows, regardless of the kind of BC, the BH entropy in all cases is the same as one obtained under Dirichlet BC from Wald formula or semi-classical approximation method. We considered the Schwarzschild solution for $f(R)$-gravity and general relativity (GR) in standard dimensions as special models.

General Relativity and Quantum Cosmology

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: whether the black - hole entropy will change under different boundary conditions (Boundary Conditions, BCs). Specifically, the author explores the influence of different types of boundary conditions (such as Dirichlet boundary conditions, Neumann boundary conditions and mixed boundary conditions) and the corresponding Gibbons - Hawking - York (GHY) terms on black - hole entropy in general relativity (General Relativity, GR) and \( f(R) \) gravity theory. The author hopes to verify a hypothesis through this research: no matter which boundary condition is chosen, the black - hole entropy should remain unchanged.

### Main content of the paper

1. **Introduction**:
- Black - hole entropy can be calculated by two methods: the Wald method and the Euclidean semi - classical approximation method.
- The Wald method is based on the integral on the two - sphere of the hyperboloid, while the Euclidean semi - classical approximation method obtains entropy by calculating the difference in Euclidean action between a given solution and the background metric.
- In order to make the action well - defined, appropriate GHY terms need to be added, and these terms have different forms under different boundary conditions.

2. **Black - hole entropy under the Wald method**:
- The author first reviews the Wald method and derives the entropy formula under different boundary conditions.
- By introducing Noether's theorem and Noether charge, the author shows that even under different boundary conditions, although the forms of Noether's theorem and Noether charge will change, the final black - hole entropy remains unchanged.

3. **Euclidean semi - classical approximation method**:
- The author considers different types of boundary conditions (Dirichlet, Neumann and mixed boundary conditions) in \( f(R) \) gravity theory and calculates the corresponding black - hole entropy.
- By calculating the differences in action under different boundary conditions, the author finds that no matter which boundary condition is chosen, the black - hole entropy is consistent.

4. **Conclusion**:
- The author proves that under different boundary conditions, the black - hole entropy remains unchanged through the Wald method and the Euclidean semi - classical approximation method.
- This result is applicable not only to \( f(R) \) gravity theory but also to general relativity.

### Formula summary

- **Wald formula**:
\[
S=- 2\pi\int_{\mathcal{O}}\frac{\partial\mathcal{L}}{\partial R_{abcd}}\hat{\epsilon}_{ab}\hat{\epsilon}_{cd}\bar{\epsilon}
\]
where \(\mathcal{L}\) is the Lagrangian density, \(\hat{\epsilon}_{ab}\) is the binormal vector on the two - sphere of the hyperboloid, and \(\bar{\epsilon}\) is the surface element.

- **Black - hole entropy in \( f(R) \) gravity**:
\[
S = \frac{1}{4G}\int_{\mathcal{O}}f'(R)\bar{\epsilon}
\]
For constant curvature \( R_0 \), we have:
\[
R_0f'(R_0)-2f(R_0) = 0
\]
For the Schwarzschild black hole \( R_0 = 0 \), then we have:
\[
S=\frac{f'(0)A}{4G}
\]

- **Black - hole entropy in the Euclidean semi - classical approximation**:
\[
\tilde{A}_E^*=\lim_{r\rightarrow\infty}\frac{A_E^*}{16\pi G}
\]
where \( A_E^*=A_E - A_E^0 \) is the difference between the Euclidean action and its background action.
\[
S=\beta^2\frac{\partial F}{\partial\beta}