\section{Introduction}

In many of the exisiting approaches to quantum gravity (for an incomplete list see e.g. \cite{QG1,QG2,QG3,QG4,QG6,QG8,QG9} and references therein) the fundamental parameters that enter the action, such as Newton's constant, electromagnetic coupling, the cosmological constant etc, become scale dependent quantities. This looks quite natural, since scale dependence at the level of the effective action is a generic feature of ordinary quantum field theory. In particular, in theories of gravity, the scale dependence is expected to modify the horizon, the thermodynamics, the quasinormal modes spectra of classical black hole backgrounds
\cite{Koch:2016uso,
Rincon:2017goj,
Contreras:2017eza,Rincon:2018sgd,Contreras:2018dhs,
Rincon:2019cix,
Contreras:2018gpl}.
In the group of theories beyond classical GR, among the aforementioned approaches based on scale-dependent gravity, we can find also a particular method, which is usually known as "improved" asymptotically safe (AS) gravity \cite{Bonanno:2000ep,Bonanno:2001xi,Reuter:2003ca}. For the renormalization group (RG)-improved black hole metrics, cosmologies, and inflationary models from asymptotic safety, the reader can usefully consult e.g. Refs.~\cite{Platania:2020lqb,Bonanno:2002zb,Bonanno:2001hi,Liu:2018hno,Hindmarsh:2012rc,Platania:2019kyx,Moti:2018uvl,Koch:2013owa,Koch:2014cqa,Saueressig:2015xua,Bonanno:2016dyv,chinosII,Li:2013kkb}.
The procedure adopted in that scenario is to integrate the beta function for the gravitational coupling in order to compute the Newton's constant $G$ as a function of some energy scale $k$.  The "running" Newton's constant $G(k)$ so constructed is then inserted into the classical black hole solution and an "improved" lapse function is obtained, which is thought to automatically include, in this way, the quantum gravity effects. In this approach the gravitational coupling depends on some arbitrary renormalization energy scale $k$. Therefore, it is pivotal to establish a link between the energy scale $k$ and the radial coordinate $r$, and only after this step is done, the improved black hole metric can be considered complete and useful. As said, those extended solutions, inspired by the asymptotic safety program, are expected to modify the classical black hole solutions by incorporating quantum features. Different modified black hole metrics, in particular metrics also not affected by the central singularity, can be found, e.g, in Refs.~\cite{bardeen,hayward,frolov}, although those examples are not directly connected with the ASG program.\\

On the other hand, by reformulating General Relativity as an effective quantum field theory of gravity at low energies, John Donoghue and other authors~\cite{Duff,donoghue,hamber,kiril,dono2,kiril2,dono3,donoASP} have, along the years, established a solid prediction of the quantum corrections to the Newtonian potential, at least at the first order in $\hbar$. By comparing the effective Newtonian potential predicted by the ASG approach with the one computed in the framework of GR as an effective QFT, we arrive to establish, for the first time, a \textit{negative} value for the parameter $\tilde{\omega}$, unlike previous early predictions (see Refs.~\cite{Bonanno:2000ep,Koch:2014cqa}). This in turn leads directly, without further assumptions, to a specific metric that seems to be able to describe the principal features of the so called Planck stars. It is remakable that, while Planck stars were introduced in Ref.~\cite{RovelliPS} on the grounds of plausible quite general physical considerations, here on the contrary they appear as an almost unavoidable consequence of the Asymptotic Safe Gravity approach.

The paper is organized as follows. In the next Section we shortly recall the main results of the renormalization group approach leading to the ASG-improved classical Newtonian potential, as well to the ASG-modification of the Schwarzschild metric.
In Section III we give a precise evaluation of the ASG parameters. Section IV is devoted to discuss the features of the ASG-improved Schwarzschild metric, and then Section V discusses the "prediction" of the Planck star model. In Sections VI, VII, VIII, IX we study, respectively, temperature, specific heat, emission rate equation, and thermodynamic entropy of this ASG-improved Schwarzschild/Planck star metric. The last Section contains some quick hints to the phenomenology of these objects (and related references), and the conclusions.

Here we work in units where $c=k_B=1$, and $\ell_{P}$ is the Planck length defined as $G\hbar=\ell_{P}^2$. Then of course the Planck mass $m_{P}$ satisfies $2G m_{P}=\ell_{P}$ and $\hbar=2m_{P}\ell_{P}$.

\section{Black hole metrics from Running Newtonian coupling}
\label{Classical}
\noindent

With reference to~\cite{Bonanno:2000ep}, we can say that the main steps towards the construction of a renormalization group improved Schwarzschild metric are essentially three: first, we integrate the beta function for the gravitational coupling to compute Newton's constant as a function of some energy scale $k$, namely $G(k)$. After that, a link between the energy scale $k$ and the radial coordinate $r$ must be established, the so called "identification of the infrared cutoff", namely $k=k(r)$. Finally, the $G(r)$ Newton's constant so obtained is inserted into the classical black hole solution and we arrive to an improved lapse function of the metric. Only after this final step the complete metric of a "renormalization improved" black hole becomes concretely usable for explicit calculations. The above steps are detailed, for example, in Refs.~\cite{Bonanno:2000ep,LS}.

So, the basic idea of the AS gravity approach in order to obtain the renormalization improved, classical Newtonian or general relativistic, solutions is to replace everywhere the numerical Newton constant $G$ with the 'running constant' $G(r)$, whose explicit form is given by \cite{Bonanno:2000ep}
\begin{eqnarray}
\label{Geffr}
G(r) = \frac{G r^3}{r^3 + \tilde{\omega} G \hbar \left(r + \gamma G M \right)} \,,
\end{eqnarray}
where, in accordance with our conventions, $c=k_B=1$ and we retained $\hbar$. Here $\tilde{\omega}$ and $\gamma$ are dimensionless numerical parameters, whose concrete value will be discussed later.

The line element for the spherically symmetric, Lorentzian metric preserves the usual form, that is
\begin{eqnarray}
\mathrm{d}s^2 = F(r)\mathrm{d} t^2 - F(r)^{-1} \mathrm{d} r^2 - r^2 \: \mathrm{d}\Omega^2,
\label{metric}
\end{eqnarray}
where $r$ is the radial coordinate, and $\mathrm{d} \Omega^2 = \mathrm{d \theta^2 + sin^2 \theta \: d \phi^2}$ is the line element of the unit two-sphere. But now, according to the above prescriptions, the lapse function $F(r)$ of our ASG improved Schwarzschild geometry reads
\begin{eqnarray}
\label{ASGmetric}
F(r) = 1 - \frac{2 M G(r)}{r}=1-\frac{2 G M r^2}{r^3 +  \tilde{\omega} G \hbar (r + \gamma G M)}\,,
\end{eqnarray}
with $G(r)$ given by (\ref{Geffr}) and $M$ the mass of the black hole. Of course, we suppose $\tilde{\omega} \neq 0$, otherwise we would go back to the standard Schwarzschild metric.
Two very important limiting cases should be considered. \\
The first corresponds to the low energy scales ($r \rightarrow \infty$, or $k \to 0$), which implies
\begin{eqnarray}
F(r \rightarrow \infty) \simeq 1 - \frac{2 G M}{r} ,
\label{infty}
\end{eqnarray}
so the standard Schwarzschild metric at large distances is recovered, and this behavior is independent from the values of $\tilde{\omega}$ and $\gamma$. \\
The second corresponds to the high energy scales ($r \rightarrow 0$, or $k \to \infty$). Here we have to distinguish two subcases.\\
If $\gamma \ne 0$, then
\begin{eqnarray}
F(r \rightarrow 0) \simeq 1 - \frac{2 r^2}{\tilde{\omega} \gamma G \hbar}\,,
\label{zero}
\end{eqnarray}
and thus the lapse function corresponds to a deSitter ($\tilde{\omega}\gamma > 0$) or an Anti-deSitter ($\tilde{\omega}\gamma <0$) core of our metric, depending on the sign of $\tilde{\omega}\gamma$.\\
If $\gamma = 0$, then
\begin{eqnarray}
F(r) = 1-\frac{2 G M r}{r^2 +  \tilde{\omega} G \hbar}\,,
\end{eqnarray}
and therefore
\begin{eqnarray}
F(r \rightarrow 0) \simeq 1 - \frac{2 M r}{\tilde{\omega} \hbar}\,,
\end{eqnarray}
so in this case we have a conic singularity at the origin.
Clearly, the presence of $\hbar$ signals the quantum character of the correction that the ASG approach gives to the core of the standard Schwarzschild metric. In both cases the central singularity has disappeared.

 %

\section{Values of the parameters $\tilde{\omega}$ and $\gamma$}

As we said in Sec.II, the ASG-improved Newtonian potential can be obtained from the standard Newton formula
\begin{eqnarray}
V(r) = - \frac{G M m}{r}
\end{eqnarray}
by simply replacing the experimentally observed Newton constant $G$ with the running coupling $G(r)$ given in Eq.\eqref{Geffr}. Thus we get
\begin{eqnarray}
V^{ASG}(r) = -\frac{G(r)Mm}{r} = -\frac{G \,M\, m\, r^2}{r^3 + \tilde{\omega} \,G \,\hbar \,(r + \gamma G M)}\,,
\end{eqnarray}
which can be expanded for large $r$ as
\begin{eqnarray}
\label{Newrun}
V^{ASG}(r) = - \frac{G M m}{r}\left[1 - \frac{\tilde{\omega} G \hbar}{r^2} - \frac{\gamma \tilde{\omega} G^2 \hbar M}{r^3} + {\cal O}\left(\frac{G^2 \hbar^2}{r^4}\right)\right]\,.
\end{eqnarray}
Clearly, the corrections to the standard Newtonian potential predicted by the ASG approach are all of quantum nature. This is suggested by the presence of $\hbar$ in each term of correction. In fact, there are no correction terms of classical origin, coming from some kind of post-Newtonian approximation.
On the other hand, corrections of quantum origin to the classical Newtonian potential have been elaborated by several researchers \cite{Duff,donoghue,hamber,kiril,dono2,kiril2,dono3,donoASP} in the last three decades or so. In particular, it was pointed out by Donoghue \cite{donoghue,dono2} that the standard perturbative quantization of Einstein gravity leads to a well defined, finite prediction for the leading large distance quantum correction to Newtonian potential. The numerical coefficients of the quantum expansion have undergone a certain evolution over the years~\cite{hamber,kiril}, but the result today accepted by the community~\cite{dono2,kiril2} reads
\begin{eqnarray}
\label{Newquan}
  V^{QGR}(r) \ = \
	- \frac{G M m}{r}\left[1 \ + \ \frac{41}{10\pi}\frac{G \hbar}{r^2} \ + \ \dots\right]\,.
\end{eqnarray}
This is an expansion at first order in $\hbar$,
where the first correction term represents a genuine quantum correction proportional to $\hbar$.

The comparison of the two expansions \eqref{Newrun} and \eqref{Newquan} allows us to fix the parameter $\tilde{\omega}$, which results to be
\begin{eqnarray}
\tilde{\omega} = - \frac{41}{10\pi}\,.
\label{om}
\end{eqnarray}
The ASG parameter $\gamma$ cannot be fixed by these considerations. To this aim, we refer the reader to the arguments originally developed in Ref.\cite{Bonanno:2000ep}, and then taken up also by other authors (e.g.\cite{Koch:2014cqa}). Those classical general relativistic arguments have to do with the correct identification of the infrared cutoff, and they fix $\gamma = 9/2$. Different kind of considerations, based on the generalized uncertainty principle (see Ref.~\cite{LS}; see also Refs.~\cite{GUP}), lead to the value $\gamma=0$. In this paper we will assume always $\gamma \geq 0$, and in some specific cases we shall comment on the special value $\gamma=0$. However, most of the results will be qualitatively the same for all $\gamma \geq 0$.

We should here emphasize that many authors of ASG papers (e.g.\cite{Bonanno:2000ep,Koch:2014cqa,Saueressig:2015xua}), in order to fix the $\tilde{\omega}$ parameter, use results of the early calculations performed by Donoghue and others~\cite{Duff,donoghue,hamber} in the period 1994-1995. As a direct consequence, they get a \textit{positive} value of $\tilde{\omega}$. This of course has nice consequences, as for example, black hole metrics without singularities, where in particular the central singularity is wiped out, in favour of a De Sitter or an Anti de Sitter core, as can be easily inferred from Eqs.\eqref{ASGmetric}\eqref{zero}, and is widely discussed in the above References. However, during the years the analytical techniques used in GR as an effective QFT have been refined, and the results now accepted by the community are those expressed, initially, in Refs.\cite{dono2,kiril2}, and then confirmed in Refs.\cite{dono3}. All these results coherently point to a \textit{negative} value of $\tilde{\omega}$. This fact has deep consequences on the structure of the black hole metric \eqref{ASGmetric}, as we will see in the next Sections.

\section{Study of the new ASG-improved Schwarzschild metric}

The key information obtained in the previous Section is that $\tilde{\omega}$ is negative. This, as we will see, represents a major change in respect to others modified (but regular) Schwarzschild metrics present in literature~\cite{Contreras:2017eza,Contreras:2018gpl,Bonanno:2000ep,hayward,frolov}. Instead, some contact with our results can be found in Ref.~\cite{Bargueno:2016qhu}, although there the authors don't deal with ASG models. So, according to the previous section, we consider here the case
\begin{eqnarray}
\tilde{\omega} < 0 \ \Rightarrow \ \tilde{\omega} = -|\tilde{\omega}|\,; \quad \quad \quad \gamma>0\,.
\end{eqnarray}
The lapse function \eqref{ASGmetric} can therefore be written as
\begin{eqnarray}
F(r) = 1-\frac{2 G M r^2}{r^3 -  |\tilde{\omega}| G \hbar (r + \gamma G M)}\,.
\label{negom}
\end{eqnarray}
While for $\tilde{\omega}>0$ the lapse \eqref{ASGmetric} is regular everywhere when $r>0$ (see Refs.~\cite{Bonanno:2000ep}, etc.), here, with $\tilde{\omega}<0$, the situation is very different. First, we notice that the behavior of $F(r)$ at $r\to \infty$ remains that described by Eq.\eqref{infty}, namely standard Schwarzschild for large $r$. At $r\to 0$ we have an Anti-DeSitter core, namely $F(r) \simeq 1 + 2r^2/(|\tilde{\omega}|\gamma G \hbar)$. But now the denominator $D(r)$ appearing in \eqref{negom} can develop zeros. Luckly, a simple graphical analysis is sufficient to clarify the situation. In Fig.\ref{fig1}, we compare the two lines
\begin{eqnarray}
y_1 & = & r^3 \nonumber \\
y_2 & = & |\tilde{\omega}| G \hbar (r + \gamma G M)
\label{Y}
\end{eqnarray}
\begin{figure}[t]

	\includegraphics[scale=0.4]{plot3bmp.pdf}
	\centering
	\protect\caption{Comparison of the two lines $y_1(r)$, $y_2(r,M)$ for increasing values of $M \geq 0$. See Eqs.\eqref{Y}.}

	\label{fig1}
\end{figure}
for various values of $M>0$, the mass of the central body. As we see, since $D=y_1-y_2$, there is always only one single zero for $D(r)$ when $r>0$, let's call it $r_0$. So
\begin{eqnarray}
D(r) & > & 0 \quad {\rm for} \quad r>r_0 \nonumber \\
D(r) & = & 0 \quad {\rm for} \quad r=r_0 \nonumber \\
D(r) & < & 0 \quad {\rm for} \quad 0<r<r_0 \nonumber
\end{eqnarray}
In the unphysical region $r<0$, $D(r)$ can develop two distinct zeros, or two coincident zeros, or no real zeros at all. On the ground of the above situation, we can develop a straightforward analysis of the function $F(r)$, valid for any $M>0$:
\begin{eqnarray}
&&\lim_{r\to +\infty}F(r) = 1^-\,; \quad \lim_{r\to r_0^+} F(r) = 1 - \frac{2G M r_0^2}{0^+} = -\infty\,;\nonumber \\
&&\lim_{r\to r_0^-} F(r) = 1 - \frac{2G M r_0^2}{0^-} = +\infty\,; \quad \lim_{r\to 0^+}F(r) = 1^+\,;\nonumber \\
&&F(r) \sim 1 + \frac{2r^2}{|\tilde{\omega}|\gamma G \hbar} \quad {\rm for} \quad r\sim 0\,;
\quad F'(r)=\frac{2G M(r^4+|\tilde{\omega}|G \hbar r^2+2|\tilde{\omega}|\gamma G^2 M\hbar r)}{(r^3 -  |\tilde{\omega}| G \hbar r - |\tilde{\omega}|\gamma G^2 \hbar M)^2} > 0  \quad {\rm for} \quad r> 0    \nonumber
\end{eqnarray}
The information collected above allows us to draw a general graph (Fig.\ref{fig2}) of the lapse function $F(r)$ in the region $r>0$, valid for any $\gamma >0$ and of course $M>0$.
\begin{figure}[b]

	\includegraphics[scale=.4]{plot2bmp.pdf}
	\centering
	\protect\caption{Lapse function $F(r)$: physical region for $r>0$, singularity at $r=r_0$, horizon at $r=r_h$, where $F(r_h)=0$.}

	\label{fig2}
\end{figure}
As we see, there is one single positive zero $r=r_h$ of $F(r)$, which is the horizon of the ASG-improved black hole metric \eqref{negom}. There is also an essential singularity at $r=r_0>0$. The most relevant difference with the standard Schwarzschild metric is the fact that the essential (ineliminable) singularity is at $r_0>0$, instead of being at $r_0=0$. It is also clear that it is always $r_0<r_h$, for any $M>0$. So the singularity is always protected by the event horizon. The singularity is never naked, in full accordance with the Cosmic Censorship Conjecture.

We now examine the asymptotic behavior of the horizon $r_h$ and of the singularity $r_0$ in the physical relevant limits of large $M$ and small $M$.

\subsection{Horizon $r_h$}

The only real positive zero of $F(r)$, the horizon, must be a solution $r=r_h$ of the equation
\begin{eqnarray}
r^3 -2G M r^2 - |\tilde{\omega}|G\hbar\, r - \gamma |\tilde{\omega}|G^2\hbar M = 0\,.
\label{H}
\end{eqnarray}
The classical limit, $\hbar \to 0$, of the above equation reads: $r^3 -2G M r^2 = 0$,
whose positive solution is $r=2G M$. Therefore, to get an approximate solution of \eqref{H} for large $M$, we pose
\begin{eqnarray}
r=2G M + \varepsilon
\end{eqnarray}
and we perturb around the classical solution $2G M$ by keeping only the first order terms in $\varepsilon$.
\footnote{An alternative derivation is the following. Since $G\hbar = \ell_{P}^2$, equation \eqref{H} reads: $r^3 -2G M r^2 - |\tilde{\omega}|\ell_{P}^2\, r - \gamma |\tilde{\omega}|\ell_{P}^2 G M = 0$, which, in the limit of large $M$, approximately becomes: $r^3 -2G M r^2 - \gamma |\tilde{\omega}|\ell_{P}^2 G M \simeq 0$. The last term is suppressed by the factor $\ell_{P}^2$, so finally the large $M$ limit of the horizon equation is: $r^3 -2G M r^2 \simeq 0$, whose positive solution is $r=2G M$. Therefore we look for an approximate solution of Eq.\eqref{H} by perturbing around the classical Schwarzschild solution, namely we pose $r=2GM + \varepsilon$, and we keep only the first order terms in $\varepsilon$.}
In so doing, we get a linear equation for $\varepsilon$, from which results
\begin{eqnarray}
\varepsilon = \frac{(2+\gamma)|\tilde{\omega}|}{4}\frac{\hbar}{M}\,,
\end{eqnarray}
and finally the behavior of the horizon for large $M$, $M\to \infty$, is
\begin{eqnarray}
r_h \ \simeq \ 2GM \ + \ \frac{(2+\gamma)|\tilde{\omega}|\hbar}{4M}\,,
\label{rh}
\end{eqnarray}
so the usual Schwarzschild expression for the horizon is recovered in the large $M$ limit.

We can also investigate the behavior of the horizon in the small $M$ limit.
For $M\to 0$, Eq.\eqref{H} reads
\begin{eqnarray}
r^3 - |\tilde{\omega}|G\hbar \,r \ \simeq \ 0  \quad \Rightarrow \quad r(r^2 - |\tilde{\omega}|G\hbar) \ \simeq \ 0\,.
\end{eqnarray}
The last equation has solutions $r_{1/2}=\mp\sqrt{|\tilde{\omega}|G\hbar}$ and $r_3=0$. We can perturb around these solutions by posing $r_{1/2}=\mp\sqrt{|\tilde{\omega}|G\hbar}+\varepsilon$, $r_3=0+\varepsilon$ and setting them back into Eq.\eqref{H}. Under the hypothesis
\begin{eqnarray}
|\varepsilon| \ll \sqrt{|\tilde{\omega}|G\hbar}
\label{cond}
\end{eqnarray}
we can retain the first order in $\varepsilon$ only, then we arrive at a linear equation in $\varepsilon$, and from that finally we get
\begin{eqnarray}
r_{1/2} \ \simeq \ \mp \sqrt{|\tilde{\omega}|G\hbar} \ + \ \left(1 + \frac{\gamma}{2}\right)G M\,; \quad \quad \quad \quad
r_3 \ \simeq \ -\gamma G M\,.
\end{eqnarray}
Clearly, the only acceptable solution is $r_2$, since $r_2>0$ always. So we have the behavior of the horizon for small $M$ as
\begin{eqnarray}
r_h \ \simeq \ \sqrt{|\tilde{\omega}|G \hbar} \ + \ \left(1 + \frac{\gamma}{2}\right)G M\,.
\label{rhsmall}
\end{eqnarray}
However from the physical point of view, this solution is practically meaningless, since the condition \eqref{cond} implies
\begin{eqnarray}
G M \ll \sqrt{|\tilde{\omega}|G\hbar} \sim \ell_{P}\,,
\end{eqnarray}
which means that this solution is valid when $M \ll m_p$, i.e. when the collapsing mass is much smaller than the Planck mass. Equivalently, the correction $\varepsilon$ should be smaller than the Planck length, which again would mean that $\varepsilon$ has no definite physical meaning.

\subsection{Singularity $r_0$}

As we have seen, the singularity of the metric \eqref{negom} is located at the only positive root $r=r_0$ of the equation
\begin{eqnarray}
r^3 -  |\tilde{\omega}| G \hbar r - \gamma |\tilde{\omega}| G^2 \hbar M = 0
\label{S}
\end{eqnarray}
Here also we have a look at the behavior of the solution for $M$ small and for $M$ large.

For $M\to 0$, the equation is again of the form
\begin{eqnarray}
r^3 -  |\tilde{\omega}| G \hbar r = 0\,,
\end{eqnarray}
which has the exact solutions $r_{1/2}=\mp\sqrt{|\tilde{\omega}|G\hbar}$ and $r_3=0$. Perturbing around them, namely posing
\begin{eqnarray}
r_{1/2}=\mp\sqrt{|\tilde{\omega}|G\hbar}+\varepsilon\,, \quad \quad \quad r_3=0+\varepsilon\,,
\end{eqnarray}
and substituting them back into \eqref{S}, we get, under the usual condition $|\varepsilon| \ll \sqrt{|\tilde{\omega}|G\hbar}$,
\begin{eqnarray}
r_{1/2} \ \simeq \ \mp \sqrt{|\tilde{\omega}|G\hbar} \ + \frac{\gamma}{2}G M\,; \quad \quad
r_3 \ \simeq \ -\gamma G M\,.
\end{eqnarray}
Repeating similar considerations as before we can say that the only acceptable solution is $r_2$ (because $r_2>0$ always), so the behavior of the radial coordinate of the singularity for small $M$ is
\begin{eqnarray}
r_0 \ \simeq \ \sqrt{|\tilde{\omega}|G\hbar} \ + \ \frac{\gamma}{2}G M\,.
\label{r0small}
\end{eqnarray}
However, the above condition on $\varepsilon$ once again implies $|\varepsilon| \ll \ell_{P}$, or $M \ll m_p$, which makes such mathematical solutions of little, if any, physical interest.

Instead, for $M\to \infty$ the situation is much more interesting. The large $M$ limit of the singularity equation \eqref{S} is
\begin{eqnarray}
r^3 \ - \ \gamma |\tilde{\omega}| G^2 \hbar M \ \simeq \ 0\,,
\end{eqnarray}
so the real positive solution is $r=(\gamma |\tilde{\omega}| G^2 \hbar M)^{1/3}$. We perturb around it by posing
\begin{eqnarray}
r \ = \ (\gamma |\tilde{\omega}| G^2 \hbar M)^{1/3} \ + \ \varepsilon
\end{eqnarray}
and under the usual condition $|\varepsilon| \ll (\gamma |\tilde{\omega}| G^2 \hbar M)^{1/3}$, we get for large $M$
\begin{eqnarray}
r_0 \ \simeq \ (\gamma |\tilde{\omega}| G^2 \hbar M)^{1/3} \ + \ \frac{|\tilde{\omega}| G \hbar}{3(\gamma |\tilde{\omega}| G^2 \hbar M)^{1/3}}\,.
\label{r0}
\end{eqnarray}
An important physical consideration can now be stated. As it was already suggested by the initial analysis, the singularity results to be always protected by the horizon. Namely, by comparing Eqs.\eqref{rh}, \eqref{r0} for large
$M$, or instead by comparing Eqs.\eqref{rhsmall}, \eqref{r0small} in the small $M$ limit, we always have
\begin{eqnarray}
r_0 \ < \ r_h\,,
\end{eqnarray}
so there are no naked singularities.\\
For sake of clarity, in Fig.3 the reader can find the plots of the mass function $M(r_h)$ for the horizon (red dashed line)
\begin{eqnarray}
GM(r_h) = \left. \frac{r^3 - |\tilde{\omega}|\ell_{P}^2 r}{2r^2 + |\tilde{\omega}|\ell_{P}^2\gamma} \right|_{r=r_h}\,,
\label{hmf}
\end{eqnarray}
the mass function $M(r_0)$ for the singularity (blue dot-dashed line)
\begin{eqnarray}
GM(r_0) = \left. \frac{r^3 - |\tilde{\omega}|\ell_{P}^2 r}{|\tilde{\omega}|\ell_{P}^2\gamma} \right|_{r=r_0}\,,
\end{eqnarray}
and the standard Schwarzschild horizon $GM=r_{SCH}/2$ (green solid line). Any horizontal line (black dashed) representing an arbitrary $M>0$ intersects first the blue line and then the red line, namely $r_0(M)<r_h(M)$ for any $M>0$. Notice that both the horizon and the singularity mass functions have a simple zero at
\begin{eqnarray}
r = r_c = \sqrt{|\tilde{\omega}|}\,\ell_{P}
\end{eqnarray}
with $r_c^2 = |\tilde{\omega}|\,\ell_{P}^2$.

\begin{figure}[b]

	\includegraphics[scale=.4]{massformulae2bmp.pdf}
	\centering
	\protect\caption{Horizon mass function $M(r_h)$ (red dashed line), singularity mass function $M(r_0)$ (blue dot-dashed line), and Schwarzschild mass function (green solid line). The horizontal black dashed line represents an arbitrary $M>0$, and always intersects blue and red lines at $r_0(M)<r_h(M)$, namely there are no naked singularities.}
	\label{fig3}
\end{figure}

\section{A metric for the Planck stars}

It is of the greatest interest to examine the core of the black hole metric we obtained. For masses $M$ larger than the Planck mass $m_p$, $M\gg m_p$, the central hard singularity is located at $r=r_0$, and it has, in fact, a finite positive size $r_0 \simeq (\gamma |\tilde{\omega}| G^2 \hbar M)^{1/3} > 0$, contrary to what happens in the standard Schwarzschild black hole, where the singularity is point-like. Observe that this finite size is completely of quantum origin: in fact, $r_0 \to 0$ if we take the classical limit $\hbar \to 0$.

But most importantly, if we presume that the whole collapsing mass $M$ is concentrated into the central hard sphere of radius $r_0$, then we can compute the (non covariant) volume of this sphere, and hence the density of this matter (as seen by an observer at infinity), which will result to be finite, and precisely
\begin{eqnarray}
r_0 = (\gamma |\tilde{\omega}| \ell_{P}^2 G M)^{1/3} \ = \ (\gamma|\tilde{\omega}|/2)^{\frac{1}{3}} \left(\frac{M}{m_p}\right)^{\frac{1}{3}}\ell_{P} \ \quad \ \Rightarrow \ \quad \ \varrho = \frac{M}{V_{core}} = \frac{3}{2\pi}\frac{m_p}{\gamma |\tilde{\omega}| \ell_{P}^3} \simeq
\frac{m_p}{2\gamma|\tilde{\omega}| \ell_{P}^3} = \frac{\varrho_{Planck}}{2\gamma|\tilde{\omega}|},
\label{size}
\end{eqnarray}
where we used the definitions $G\hbar = \ell_{P}^2$, $2G m_p = \ell_{P}$, and
\begin{eqnarray}
\varrho_{Planck} = \frac{m_p}{\ell_{P}^3}\,.
\end{eqnarray}
So the central hard core of our black hole results to have a \textit{finite} size, and a density of the order of the Planck density. These are exactly the characteristics of the so called Planck stars, first proposed in Ref.~\cite{RovelliPS}, on the ground of general qualitative considerations. Many of the general properties described in~\cite{RovelliPS} can now be repeated for our black hole. The finite positive size of the central core, being of pure quantum origin, is presumably due to the action of the Heisenberg uncertainty principle, which prevents matter to be arbitrarily concentrated into a geometrical point of size zero. The central kernel can presumably keep trace of all the information swallowed by the black hole: we see here a possible way out of the information paradox. Of course, all the above considerations make sense only for $\gamma >0$ strictly.

The original proposal~\cite{RovelliPS} contains a certain amount of qualitative considerations, including an educated guess on the form of the metric able to describe a Planck star. Such metric was initially chosen to be the Hayward metric \cite{hayward}
\begin{eqnarray}
F(r) = 1- \frac{2 G M r^2}{r^3 + 2GML^2}
\label{hay}
\end{eqnarray}
where $L$ is a parameter with dimensions of a length. No particularly compelling argument, from the physical point of view, was exhibited for that choice, with the exception, perhaps, that the Hayward metric is a well known example of singularity-free metric. For large $M$ the metric \eqref{hay} develops two horizons, one inner
\begin{eqnarray}
r_{-} \ \simeq \ L \ + \ \frac{L^2}{4GM}\,,
\label{r-}
\end{eqnarray}
and one outer
\begin{eqnarray}
r_{+} \ \simeq \ 2GM \ - \ \frac{L^2}{2GM}.
\end{eqnarray}
However, no specific indication is contained in the metric
\eqref{hay} about the size of the hard kernel of a Planck star. And certainly not of a hard kernel with a size increasing with $M$, as instead Eq.\eqref{size} suggests (to be compared with \eqref{r-}). Even worse, the Hayward metric \textit{per se} is unable to mimic the well established quantum correction to the Newtonian potential~\cite{dono2} that occurs at low energies. This is due to the lack of a term $1/r^3$ in the expansion of the metric \eqref{hay}.
The authors of Ref.~\cite{delorenzo} found a smart way to cure this shortcoming, but at the price of introducing a further metric function $H(r)$, determined through a bunch of additional constraints, so that their "modified Hayward" metric now reads
\begin{eqnarray}
ds^2 = -\ H(r)F(r)dt^2 + \frac{1}{F(r)}dr^2 + r^2d\Omega^2\,,
\quad {\rm with} \quad H(r) = 1-\frac{\beta GM \alpha}{\alpha r^3 + \beta GM}\,,
\end{eqnarray}
where $\beta$ is a parameter that in Ref.\cite{delorenzo} plays the r\^ole of our $|\tilde{\omega}|$.
The above metric \footnote{A further requirement imposed by the authors on the function $H(r)$ is that $H(r)$ should allow for a time delay between a clock sitting at the center of the collapsed object ($r=0$), and a clock at infinity (put a clock at $r=0$ is in principle conceivable, just because the Hayward metric is regular at $r=0$). To get this, authors demand that
$H(r=0)=1-\alpha$. They justify this further request by saying that "is a physically unmotivated restriction" to leave
$H(0) = 1$.
In any case, we do not have this kind of problem with the ASG metric \eqref{negom}, since the center $r=0$ cannot be reached, being protected by the singularity at $r=r_0>0$.} finally contains the $1/r^3$ term necessary to mimic the Donoghue modified Newtonian potential~\cite{dono2} for large $r$. \\
Although smart and working, the above solution is undeniably contorted and intricate. On the contrary, within the formalism of the Renormalization Group, the mathematical structure of the metric is dictated by the general properties of the AS Gravity, and its lapse function \eqref{negom} results clearly simpler than the above product $H(r)F(r)$. The ASG metric already contains the right terms to match, at large distances, the quantum corrected Newtonian potential. Moreover, and this is quite astonishing, by simply imposing that match, the final form of the metric is uniquely fixed, and it automatically displays the size of the central hard kernel of the Planck star.

In the following, we shall therefore study the thermodynamic properties of the metric \eqref{negom}.

\section{Hawking temperature}

According to the celebrated works of Hawking (see e.g. Ref.~\cite{Hawking}), a generic Lorentzian black hole metric as \eqref{metric} with a lapse function $F(r)$ bearing an horizon (namely a simple zero at some $r=r_h$, with $F(r_h)=0, F'(r_h)\neq 0$), displays on the horizon a Hawking-Bekenstein temperature given by
\begin{eqnarray}
T_{BH}=\frac{\hbar}{4\pi}F'(r_h)\,.
\end{eqnarray}
Therefore, reminding $G\hbar=\ell_{P}^2$ and $|\tilde{\omega}|\ell_{P}^2 = r_c^2$, from \eqref{negom} we can compute,
\begin{eqnarray}
\frac{4\pi}{\hbar} T \ = \ F'(r) \ = \ 2GM r \,\frac{r^3 + r_c^2 r + 2\gamma GMr_c^2}
{(r^3 -  r_c^2 r - \gamma GMr_c^2)^2}
\end{eqnarray}
where $r=r_h$, namely $r$ should satisfy the identity $F(r)=r^3 - 2GM r^2 - r_c^2 r - \gamma GMr_c^2=0$.\\
We can use this to semplify $r^3 - r_c^2 r - \gamma GMr_c^2 = 2GMr^2$, and get
\begin{eqnarray}
F'(r) \ = \ \frac{1}{2GM} \left(1 \ + \ \frac{r_c^2}{r^2} \ + \ \frac{2\gamma GM r_c^2}{r^3}\right)\,.
\label{F'}
\end{eqnarray}
The above expression is exact. Now we study its limits, namely the limits of $T(M)$ for $M$ large and for $M$ small. \\

Repeating twice the procedure which led us to \eqref{rh}, for $M \to \infty$, we can arrive to write the expansion of $r_h(M)$ to the third order in $1/M$
\begin{eqnarray}
r \ = \ r_h \ \simeq \ 2GM \ + \ \frac{(\gamma +2)r_c^2}{4GM} \ + \ \frac{(\gamma +2)r_c^4}{16 G^3 M^3} \ + \ \dots
\label{rexp}
\end{eqnarray}
Inserting this back into \eqref{F'} we get finally
\begin{eqnarray}
\frac{4\pi}{\hbar} T(M) \ = \ F'(r) \ = \ \frac{1}{2GM}\left[1 + \frac{\gamma+1}{4}\left(\frac{r_c}{GM}\right)^2 - \frac{(\gamma+2)(3\gamma+2)}{32}\left(\frac{r_c}{GM}\right)^4 + \dots\right]\,.
\label{TMlarge}
\end{eqnarray}
We recover here the standard behavior $T_{BH}=\hbar/8\pi GM$ of the BH temperature for large $M$, when our black hole looks even more like a Schwarzschild one. Moreover, notice also that the horizon mass function \eqref{hmf} is an odd function $M(r_h)$, therefore its inverse $r_h(M)$ is an odd function, and its expansion can hence contain odd powers of $M$ only, as in fact results in Eq.\eqref{rexp}. Moreover, the expression in round brackets in \eqref{F'} must be an even function of $M$, since $r_h(M)$ is odd, and therefore we find in its expansion \eqref{TMlarge}, square brackets, only even powers of $1/M$. \\

For small $M$, first we note that, clearly, the horizon mass function $M(r_h)$, diagram Fig.3, does not have a positive minimum, $M_{min}>0$. So the Hawking evaporation can in principle proceed until $M \to 0$. Reminding Eq.\eqref{rhsmall}, we can write for small $M$
\begin{eqnarray}
r_h(M) \ = \ r_c \ + \ \left(1+\frac{\gamma}{2}\right)GM \ + \ \dots
\end{eqnarray}
where we suppose $GM\ll r_c$. Inserting this $r_h(M)$ back into \eqref{F'} we get
\begin{eqnarray}
\frac{4\pi}{\hbar} T(M) \ = \ F'(r) \ = \ \frac{1}{2GM}\left[2 + (\gamma-2)\left(\frac{GM}{r_c}\right) + \frac{3(\gamma+2)(2-3\gamma)}{4}\left(\frac{GM}{r_c}\right)^2 + \dots\right]\,.
\label{TMsmall}
\end{eqnarray}
We see here again a behavior similar to that of standard Hawking temperature for the standard Schwarzschild black hole, namely $T(M) \to \infty$ when $M \to 0$. However, for small $M$ we have that our ASG improved black hole has a temperature double of that of the standard Hawking, i.e. $T(M) \simeq 2 \, T_{BH}(M)$ for small $M$. \\

At this point, for the forthcoming developments, it is also extremely useful to observe that for a metric with a lapse function $F(r,M)$, the Hawking temperature can be expressed in two different ways, either $T$ as a function of $M$, $T=T(M)$, or instead $T$ as a function of $r$, $T=T(r)$. In fact, usually we write
\begin{eqnarray}
\frac{4\pi}{\hbar} T(M) \ = \ \left.\frac{\partial F(r,M)}{\partial r}\right|_{r=r(M)}\,,
\end{eqnarray}
where $r(M) \equiv r_h$ is a solution of the equation $F(r(M),M)=0$. However, the equation $F(r,M)=0$ in respect to $r$ can be complicated, containing radicals, etc., as actually it is in our present case, where we have the third degree equation~\eqref{H}. It is much easier to consider $T$ as a function of $r$, as
\begin{eqnarray}
\frac{4\pi}{\hbar} T(r) \ = \ \left.\frac{\partial F(r,M)}{\partial r}\right|_{M=M(r)}\,,
\end{eqnarray}
where $M(r)$ is a solution of $F(r, M(r))=0$, namely $M(r)$ is the mass function, $M(r) \equiv M(r_h)$. Mathematically, $r=r(M)$ and $M=M(r)$ are just the same implicit function, locally defined by the equation $F(r,M)=0$. Of course, the equation $F(r,M)=0$ is usually much easier to be solved in respect to $M$ than in $r$, being usually an equation of first degree in $M$.

Following the above considerations, we insert the mass function espression \eqref{hmf} into Eq.\eqref{F'}, and we get
\begin{eqnarray}
\frac{8\pi}{\hbar} T(r) \ = \ \left(\frac{2r^2 + \gamma\, r_c^2}{r^3 - r_c^2\, r}\right)\left(1+\frac{r_c^2}{r^2}\right) \ + \ \frac{2\gamma\, r_c^2}{r^3}\,,
\label{Tr}
\end{eqnarray}
where as usual $r_c^2=|\tilde{\omega}|\ell_{P}^2$, and $r \equiv r_h$ is the only real positive solution of the horizon equation \eqref{H}. As expected, we obtain here an exact, simple, rational expression of $T$ as function of $r$, with no radicals displayed.
Notice that we can compute the behavior of $T(r)$ for large $r$ (corresponding to $M\to\infty$), or for $r\to r_c$ (corresponding to $M\to 0$), and we get respectively
\begin{eqnarray}
T(r) \ \simeq \ \frac{\hbar}{4\,\pi\, r} \quad \ {\rm for} \ \quad r\to \infty;
\quad \quad \quad T(r) \to \infty \quad \ {\rm for} \ \quad r\to r_c\,.
\end{eqnarray}
The above confirms the behavior of $T(M)$ showed, respectively, in the Eqs. \eqref{TMlarge}, \eqref{TMsmall}.

\section{Specific heat}

We can now proceed swiftly to the computation of the specific heat capacity. In general, it is defined as $C_s=dE/dT$, where $E$ is the total energy of the system under consideration. As usual we identify the total energy of our ASG black hole with its total mass $M$ ($c=1$) (see Ref.\cite{Bonanno:2000ep}). Once again, as above, the "best" analytical parameter through which express the mass and the temperature of our black hole is not its mass $M$, but rather its gravitational radius $r_h=r$ (positive solution of Eq.\eqref{H}). So we have
\begin{eqnarray}
C_s = \frac{dM(r)}{dT(r)} = \frac{M'(r)}{T'(r)}\,.
\end{eqnarray}
For agility of calculation, let's rename the horizon mass function \eqref{hmf} as
\begin{eqnarray}
GM(r) \ = \ \frac{r^3 - r_c^2 r}{2r^2 + \gamma r_c^2} \ =: \ N(r)\,,
\label{N(r)}
\end{eqnarray}
with $r_c^2=|\tilde{\omega}|\ell_{P}^2$, then Eq.\eqref{Tr} reads
\begin{eqnarray}
\frac{8\pi}{\hbar} T(r) \ = \ \frac{1}{N(r)}\left(1+\frac{r_c^2}{r^2}\right) \ + \ \frac{2\gamma\, r_c^2}{r^3}\,.
\label{TNr}
\end{eqnarray}
Therefore we have
\begin{eqnarray}
C_s \ = \ - \frac{8\pi}{G\hbar} \ \frac{N'(r)N(r)^2}{\left[N'(r)(1+r_c^2/r^2) + 2N(r)r_c^2/r^3 + 6N(r)^2\gamma r_c^2/r^4\right]}\,.
\end{eqnarray}
We can easily verify that $N(r) > 0$, and $N'(r) > 0$, for $r > r_c$ (being $\gamma \geq 0$). Therefore
\begin{eqnarray}
C_s(r) < 0 \quad \quad {\rm for \ any} \quad \quad r>r_c \,,
\end{eqnarray}
namely the specific heat is negative for any $r>r_c$, i.e. when $M>0$. This behavior is analogous to the Schwarzschild black hole. More specifically, since $N(r_c)=0$ and $N'(r_c)=2/(\gamma+2)>0$, we have $C_s(r_c)=0$, or, more precisely,
\begin{eqnarray}
C_s(r) \ \simeq \ - \frac{4\pi}{G\hbar}\left(\frac{2}{2+\gamma}\right)^2 (r-r_c)^2 \ + \ \dots\,.
\end{eqnarray}
Summarizing, when $r \to r_c$ then
\begin{eqnarray}
M(r) \to 0, \quad \quad T(r) \to \infty, \quad \quad C_s(r) \to 0 \,,
\end{eqnarray}
in perfect analogy with the Schwarzschild black hole.\\
When instead $r \to \infty$, we have $r \simeq 2GM$ and therefore
\begin{eqnarray}
C_s(r) \ \simeq \ - \frac{2\pi}{G\hbar}\, r^2 \ \simeq \ - \frac{8\pi}{\hbar}\, GM^2
\end{eqnarray}
which coincides with the behavior of $C_s$ for large $M$ for the Schwarzschild black hole.

\section{Emission rate equation}

We can investigate how long it takes a black hole with an initial mass $M$ to reduce to a final mass $M_f$ via the Hawking radiation. In our case we have seen that the black hole can evaporate until $M_f=0$. The Stefan-Boltzmann law allows us to write an emission rate differential equation, which, once integrated, yields the above life-time for the black hole considered. The mass/energy loss per unit proper time of an infinitely far away static observer is approximately given by
\begin{eqnarray}
-\frac{dM}{dt} \ = \ \sigma \,{\cal A} \,T^4\,,
\end{eqnarray}
where $\sigma$ is a constant (related to the Stefan-Boltzmann constant) and $\cal A$ is the area of the event horizon. In the standard Hawking calculation for a Schwarzschild black hole we have ${\cal A}\sim r_h^2 \sim M^2$, and $T\sim 1/M$. Therefore we get $t_{life} \sim M^3$. As before, for the description of our system the variable $r \equiv r_h$ (positive solution of the horizon equation \eqref{H}) appears analytically more viable than the mass $M$. So we consider everything as a function of $r$, namely $M(r)$, ${\cal A}(r)$, $T(r)$, and the above equation becomes an evolution equation for the gravitational radius
\begin{eqnarray}
-\frac{dr}{dt} \ = \ \sigma \,\frac{{\cal A}(r)\,T(r)^4}{M'(r)}\,.
\end{eqnarray}
Inserting ${\cal A}(r)=4\pi r^2$, and $M(r)$, $T(r)$ from Eqs.\eqref{N(r)}, \eqref{TNr}, respectively, we arrive at
\begin{eqnarray}
-\frac{dr}{dt} \ = \ 4\pi G\sigma \left(\frac{\hbar}{8\pi}\right)^4 \frac{r^2}{N'(r)}
\left[\frac{1}{N(r)}\left(1+\frac{r_c^2}{r^2}\right) \ + \ \frac{2\gamma\, r_c^2}{r^3}\right]^4 \,.
\label{ERE}
\end{eqnarray}
This equation doesn't look very expressive, although it can be integrated, in principle, without a particular effort (a rational function, quite tedious calculation). However, it can be used to check the two important limits of our physical system, namely $r \to \infty$ and $r \to r_c$. \\
When $r \to \infty$, then $N(r) \simeq r/2$ and $N'(r) \simeq 1/2$. Hence
\begin{eqnarray}
-\frac{dr}{dt} \ \simeq \ \frac{\sigma G \hbar^4}{32\pi^3} \ \frac{1}{r^2} \quad \quad {\rm for} \quad \quad r \to \infty\,.
\end{eqnarray}
Since in this approximation $r \sim M$,  then we recover here the standard Hawking result, namely $-dM/dt \sim 1/M^2$. Therefore, in this approximation, for the life-time of black hole of initial mass $M$, the above equation once integrated gives $t_{life} \sim M^3$, as expected. \\
When $r \to r_c$, from Eq.\eqref{N(r)} we get the behavior of $N(r)$ as
\begin{eqnarray}
GM(r)=N(r) \ \simeq \ \frac{2}{2+\gamma}(r-r_c) + \dots
\label{Nsr}
\end{eqnarray}
Therefore the RHS of the emission rate equation \eqref{ERE} diverges badly as,
\begin{eqnarray}
-\frac{dr}{dt} \ \simeq \ 2\pi G \sigma \left(\frac{\hbar}{8\pi}\right)^4 (2+\gamma)^5 r_c^2 \ \frac{1}{(r-r_c)^4} \ \to \ +\infty \,,
\end{eqnarray}
which can be expressed in terms of the $M \to 0$ as
\begin{eqnarray}
-\frac{dM}{dt} \ \simeq \ \frac{\sigma\hbar r_c^2}{G}\left(\frac{\hbar}{4\pi G}\right)^3 \frac{1}{M^4}\,.
\label{1/M4}
\end{eqnarray}
Here the divergence is worse than in the standard Hawking calculation, where $-dM/dt \sim 1/M^2 \to +\infty$ when $M \to 0$.  Although trusting in Eq.\eqref{1/M4} to its very end appears risky and perhaps incorrect, nevertheless its behavior signals as well an explosive character of the last instants of life of a black hole.

\section{Entropy of the Planck star}

We consider here the computation of the thermodynamic entropy of our system, while we leave to future work any possible statistical mechanics interpretation of such an entropy through the counting of "microscopic" states (maybe inaccessible to our observation). Therefore, by identifying, as usual, the energy of our system with the mass $M$ of the black hole ($c=1$), we can write from general thermodynamics
\begin{eqnarray}
dS \ = \ \frac{dM}{T}\,,
\end{eqnarray}
where of course $T$ is the Hawking temperature of the hole.\\
The standard calculation proceeds by considering $T$ as a function of $M$, and then computing $T(M)$, $S(M)$. On the contrary in our case, as widely illustrated above, the positive solution $r$ of Eq.\eqref{H}, namely the radius of the event horizon, is an analytical variable better viable than $M$. Therefore we shall write
\begin{eqnarray}
dS \ = \ \frac{M'(r)}{T(r)}\,dr\,.
\end{eqnarray}
Hence, using Eqs.\eqref{N(r)}, \eqref{TNr}, we can write
\begin{eqnarray}
\frac{dS}{dr} \ = \ \frac{M'(r)}{T(r)} \ = \ \frac{8\pi}{G\hbar} N'(r)N(r)\left[1+\frac{r_c^2}{r^2} + \frac{2\gamma r_c^2}{r^3}N(r)\right]^{-1} \,.
\label{Sr}
\end{eqnarray}
In principle, as before, we can integrate exacly the above equation, but this step doesn't seem to bring particularly useful information. It appears more clever to expand the above expression around the two significant limits $r\to\infty$ and $r\to r_c$, and then integrate.\\
For $r \to \infty$,  then $N(r) \simeq r/2$ and $N'(r) \simeq 1/2$. Hence
\begin{eqnarray}
\frac{dS}{dr} \ = \ \frac{2\pi}{G\hbar} \ r\,,
\label{Slr}
\end{eqnarray}
which can be integrated to give
\begin{eqnarray}
S(r) - S(\Lambda) = \int_\Lambda^r \frac{2\pi}{G\hbar} \ \rho d\rho = \frac{4\pi r^2}{4\ell_{P}^2} - \frac{4\pi \Lambda^2}{4\ell_{P}^2}\,,
\end{eqnarray}
where we inserted a large (infrared) cutoff $\Lambda$ to take into account the fact that we are integrating Eq.\eqref{Sr} in a region of large $r$ (where \eqref{Sr} takes the form \eqref{Slr}). Once again, we recover for large $r$ the well known behavior of the entropy of a Schwarzschild black hole
\begin{eqnarray}
S(r) \ \sim \ \frac{{\rm Area}}{4\ell_{P}^2}\,.
\end{eqnarray}
When on the contrary $r\to r_c$, then Eq.\eqref{Nsr} holds, and $N'(r)\simeq 2/(2+\gamma)$, hence
\begin{eqnarray}
\frac{dS}{dr} \ \simeq \ \frac{4\pi}{G\hbar}\left(\frac{2}{2+\gamma}\right)^2 (r-r_c)
\end{eqnarray}
which integrated yields
\begin{eqnarray}
S(r) - S(r_c) \ \simeq \ \frac{2\pi}{G\hbar}\left(\frac{2}{2+\gamma}\right)^2 (r-r_c)^2\,.
\end{eqnarray}
$S(r_c)$ could be perhaps interpreted as the entropy of the central core (after complete evaporation), which can in the end account for the information swallowed by the black hole, and therefore represent a way out of the information paradox (although a zero mass remnant remains anyway puzzling).

\section{Conclusions}

In this paper we have derived an exact value of the parameter $\tilde{\omega}$ characterizing the spherically symmetric metric suggested by the Asymptotic Safe Gravity approach. The result has been obtained by comparing the corrected Newtonian potential computed through ASG, with the analog correction suggested by the Donoghue approach to GR as a low energy effective QFT. The decisive novelty in respect to the previously computed values of $\tilde{\omega}$ is that we get a \textit{negative} value of $\tilde{\omega}$, and this because we used the more recent results~\cite{dono2,kiril2,dono3} of Donoghue,  Khriplovich, and collaborators.

The fact that $\tilde{\omega} < 0$ completely changes the geometry of the ASG "improved" black hole metric. Previously unexplored aspects of this metric have been studied, the most relevant one being the presence of a finite-size singularity at the core of the black hole. Surprisingly, the size of this "black core" results to be exactly what needed to describe the so called Planck stars. These objects were introduced years ago on the basis of semi-qualitative arguments~\cite{RovelliPS}, while in our context they appear as a natural mathematical consequence of the ASG metric with a negative $\tilde{\omega}$ parameter (see also e.g.~\cite{HHK}).

Hawking temperature, specific heat, emission rate equation, and thermodynamic entropy have been studied for our Planck star metric, and they yield illuminating insights. It is worth mentioning that the phenomenology of these objects could be quite rich, and presents both astrophysical and cosmological signatures, in particular in the realm of (primordial) black hole evaporation~\cite{AAVV}. As a Planck star evaporates, with a hard core of finite positive size, then the final explosion may occur at macroscopic scale. So, Planck star explosions could be naturally associated with some of the measured short gamma-ray bursts (SGRBs)~\cite{nakar}. In Ref.~\cite{Barrau-Rovelli} authors estimated that several short gamma-ray bursts per day, around 10 MeV, with isotropic distribution, can be expected coming from a region of a few hundred light years around us. On the other hand, also fast radio bursts, strong signals with millisecond duration, which are probably of extragalactic origin, have been shown in Ref.~\cite{BRV} to have wavelengths not far from the expected size of the exploding hole.

On the theoretical side, further investigations, aimed to better understand Penrose diagrams, energy conditions, singularity theorems, quasi-normal modes, as well as a statistical interpretation of entropy and information paradox, related to this kind of metrics are being carried out, and will appear in forthcoming works.


\section{\bf Introduction}
Let $X$ be a complex Banach space. For domain $G\subset X$, let $H(G,D)$ be the set of holomorphic mappings from $G$ into $D$. Every $f\in H(G,D)$ can be expanded, in a neighbourhood of any given $x_0 \in G$, into the series
\begin{equation}\label{eqf}
	f(x)=\sum_{m=0}^{\infty}\cfrac{1}{m!}\,D^m f(x_0)\big(\underbrace{(x-x_0),(x-x_0),\dots,(x-x_0)}_{m-times}\big)
\end{equation}
where $D^mf(x_0)$, $m\in \mathbb{N}$, denote the $m$-th Fr\'{e}chet derivative of $f$ at $x_0$, which is a bounded symmetric $m$-linear mapping from $\prod_{i=1}^m X$ to $\mathbb{C}$. For convenience, in this article, further we write $D^m f(x_0)\big((x-x_0)^m\big)$ instead of
$$
D^m f(x_0)\big(\underbrace{(x-x_0),(x-x_0),\dots,(x-x_0)}_{m-times}\big).
$$
For more information on this topic, we refer \cite{GK} to the reader.

\medskip

A domain $G\subset X$ is said to be {\em balanced}, if $zG\subset G$ for all $z\in \overline{\mathbb{D}}$, where $\mathbb{D}:=\{z\in \mathbb{C}: |z|<1\}$.
Given a balanced domain $G$, we denote higher dimensional Bohr radius by $K^G_X(D)$ the largest non-negative number $r$ with the property that if the power series
\begin{equation*}\label{eqbi}
	\sum_{m=1}^{\infty}\bigg|\cfrac{1}{m!}\,D^m f(0)\big(x^m\big)\bigg|\le d(f(0),\partial D)
\end{equation*}
holds for all $x\in r.G$ and for all holomorphic functions $f \in H(G,D)$ with an expansion \eqref{eqf} about origin. Here $d(f(0),\partial D)$ denotes the Euclidean distance between $f(0)$ and the boundary $\partial D$ of the domain $D$. In 1914,
Bohr gave a remarkable result \cite{Bohr14} (due to the work of Riesz, Schur, Wiener) states that
$K^\mathbb{C}_\mathbb{D}(\mathbb{D})=1/3
$. An application of this result in the Banach algebras given by Dixon in \cite{D95}. After this, Bohr's result have been very popular to many mathematician. To see the progress on this topic, we refer survey article \cite{Abu-M16} and for recent results related to the Bohr phenomenon with complex variables, reader can refer to \cite{AAL20,BD19,Kaypon18,LLP2020,LPW2020,LP2019}.

\medskip

In recent years, a lot of attention has been paid to the multidimensional generalizations of Bohr’s theorem which was first given by Boas and Khavinson \cite{BK97} in 1997.
The result $K_{\mathbb{C}^n}^G(\mathbb{D})\ge 1/3$ was proved by Aizenberg \cite{A00} for any balanced domain $G$ in $\mathbb{C}^n$, in the same paper he gave the optimal result $K^G_{\mathbb{C}^n}(\mathbb{D})= 1/3$ by assuming $G$ is convex. In 2009, Hamada et al. \cite[Corollary 3.2]{HHK} discussed a more general result $K^G_X(\mathbb{D})=1/3$ for any bounded balanced domain $G$ subset of complex Banach space $X$. Also, by taking a restriction on $f\in H(G,\mathbb{D})$ such that $f(0)=0$ and $G\subset \mathbb{C}^n$, Liu and Ponnusamy \cite{LP21} improved the quantity $K^G_{\mathbb{C}^n}(\mathbb{D})=1/\sqrt{2}$ and obtain a sharp radius $K^G_{\mathbb{C}^n}(\mathbb{D})=1/\sqrt{2}$ if $G$ is convex. Moreover, Bhowmik and Das \cite{BD21} calculated the following quantities
$$
\inf\{K^G_X(\Omega):\Omega\subset \mathbb{C} \mbox{ is simply connected}\}=3-2\sqrt{2}
$$
and
$$
\inf\{K^G_X(\Omega):\Omega\subset \mathbb{C} \mbox{ is convex}\}=\frac{1}{3}.
$$
In higher dimension, there are many significant and attractive results (see for instance \cite{A00,A07}).

\medskip

Before proceeding further we set some notations.
Let $\mathbb{H}:=\{z\in \mathbb{C}:{\rm Re}\,z>0\}$ be the right half-plane, $
T:=\{z\in \mathbb{C}:|\arg z|<\pi\}
$ be the slit region, $\mathbb{D}_0:=\{z\in \mathbb{C}:0<|z|<1\}$ be the punctured unit disk, and $\overline{\mathbb{D}}^c:=\{z\in \mathbb{C}:|z|>1\}$ be the exterior of the closed unit disk $\overline{\mathbb{D}}$. The spherical distance between two complex numbers of extended complex plan is given by
$$
\lambda (z,w)=
\begin{cases}\vspace{0.1cm}
	\frac{|z-w|}{\sqrt{1+|z|^2}\sqrt{1+|w|^2}},& \text{if $z,w\in \mathbb{C}$,}\\\vspace{0.2cm}
	\frac{1}{\sqrt{1+|z|^2}}, & \text{if $w=\infty$}.
\end{cases}
$$
In \cite{AbuAli}, Abu-Muhanna and Ali observed that if $f(z)=\sum_{n=0}^{\infty}a_nz^n \in H(\mathbb{D},\overline{\mathbb{D}}^c)$ then
\begin{equation}\label{EUD}
	\lambda\bigg(\sum_{n=0}^{\infty}|a_nz^n|, |a_0|\bigg)\le \lambda(f(0),\partial \overline{\mathbb{D}}^c)
\end{equation}
for all $|z|\le 1/3$, here the bound $1/3$ is sharp.
In 2013, Abu-Muhanna and Ali in \cite{Abu4} obtained $K_\mathbb{C}^\mathbb{D}(\mathbb{H})=1/3$ and $K_\mathbb{C}^\mathbb{D}(T)=(\sqrt{2}-1)/(\sqrt{2}+1)$. Further, Abu-Muhanna et al. \cite{AAN17} determined $K_\mathbb{C}^\mathbb{D}(\mathbb{D}_0)=1/3$.

\medskip

The goal of this paper is establish sharp bound of $K^G_X(\mathbb{H})$, $K^G_X(\mathbb{D}_0)$, and
$K^G_X(T)$, where $G$ is a balanced domain in a Banach space $X$. Moreover, we obtain a radius under which the inequality \eqref{EUD} holds for functions of the class $H(G,\overline{\mathbb{D}}^c)$.

\medskip
\section{\bf Preliminaries and Main Results}
In this section, we will use the concept of  subordination to prove our results. Therefore, it is worth to recall here the definition of subordination. Suppose $f$ and $g$ are analytic functions in $\mathbb{D}$. We say that $g$ is {\em subordinate} to $f$, or $g\prec f$, if there is an analytic function
$w:\mathbb{D}\rightarrow \mathbb{D}$ with $w(0)=0$ such that $g=f\circ w$.
To know more about subordination, reader can refer to \cite{Duren83,MM-Book}.
The Bohr phenomenon for the class of subordinations studied in \cite{Abu, AA,BD18,KS21}.

\medskip

\subsection{Half-plane and Convex domains}
Let $\mathcal{P}$ denote the class of all analytic functions $p$ with $p(0)=1$ having positive real part in $\mathbb{D}$, with the form
\begin{equation}\label{p}
	p(z)=1+c_1z+c_2z^2+\cdots.
\end{equation}
A member of $\mathcal{P}$ is called a {\em Carath\'{e}odory function}.
In order to establish our first main result, we need the following fundamental result for Carath\'{e}odory functions.

\begin{lemma} \label{lemmap}
	For every $p\in \mathcal{P}$ of the form \eqref{p}, we have $|c_n|\le 2$ for $n\ge 1$.
\end{lemma}

\medskip

We can now state and prove our first result on multidimensional Bohr's phenomenon for functions  in the class $H(G,\mathbb{H})$.

\medskip

\begin{theorem}\label{ThmH}
Let $f\in H(G,\mathbb{H})$ be of the form \eqref{eqf} in a neighbourhood of the origin. Then
\begin{equation*}
\sum_{m=1}^{\infty}\bigg|	\cfrac{1}{m!}D^m f(0)\big(x^m\big)\bigg|\le d(f(0),\partial \mathbb{H})
\end{equation*}
for $x\in (1/3)G$. Moreover, the constant $1/3$ is best possible.
\end{theorem}

\begin{proof}
Note that $|f(0)|>0$, for $f\in H(G,\mathbb{H})$. Assume any fixed $y\in G$ and let
\begin{equation*}
F(z):=f(zy),\quad z\in \mathbb{D}.
\end{equation*}
Then $F:\mathbb{D}\to \mathbb{H}$ is holomorphic and
\begin{equation}\label{eqHF}
F(z)=f(0)+\sum_{m=1}^{\infty}\cfrac{1}{m!}\,D^m f(0)\big(y^m\big)z^m.
\end{equation}
Consider a function
\begin{equation*}
g(z)=\cfrac{F(z)-i{\rm Im}(f(0))}{{\rm Re}(f(0))}=1+\cfrac{1}{{\rm Re}(f(0))}\sum_{m=1}^{\infty}\cfrac{1}{m!}\,D^m f(0)\big(y^m\big)z^m.
\end{equation*}
It easily follow that $g\in \mathcal{P}$. We now apply Lemma \ref{lemmap} on the  Carath\'{e}odory function $g$ and obtain
\begin{equation*}
\bigg|	\cfrac{\,D^m f(0)\big(y^m\big)}{m!}\bigg| \le 2 {\rm Re}(f(0))
\end{equation*}
for $m\ge 1$. Thus we have
\begin{equation*}
\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f(0)\big(x^m\big)}{m!}\bigg|=\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f(0)\big(y^m\big)}{m!}\bigg| \bigg(\frac{1}{3}\bigg)^m\le  {\rm Re}(f(0))=d(f(0),\partial \mathbb{H})
\end{equation*}
for $x\in (1/3)G.$

\medskip

Now let us prove that $1/3$ is optimal number using the technique given in \cite{HHK}. For any $1/3<r_0<1$, there exist a $0<c<1$ and $v\in \partial G$ such that $cr_0>1/3$ and $c\sup_{x\in \partial G}||x||<||v||$. Next, we consider a function $f_0$ on $G$ by
$$
f_0(x)=L\bigg(\cfrac{c\psi_v(x)}{||v||}\bigg)
$$
where $L(z)=(1+z)/(1-z),\,z\in \mathbb{D}$, $\psi_v$ is a bounded linear functional on $X$ with $\psi_v(v)=||v||$ and $||\psi_v||=1$. It is easy to check that $c\psi_v(x)/||v||\in\mathbb{D}$ and $f_0\in H(G,\mathbb{H})$. Choose $x=r_0v$, we get
\begin{equation*}
f_0(r_0v)=\cfrac{1+cr_0}{1-cr_0}=1+2\sum_{n=1}^{\infty}{cr_0}^n=f_0(0)+\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f_0(0)\big(x^m\big)}{m!}\bigg| >2=1+d(f_0(0),\partial\mathbb{H}).
\end{equation*}
The proof of theorem is complete.
\end{proof}

\medskip

It is now appropriate to remark that when $X=\mathbb{C}$ and $G=\mathbb{D}$, Theorem \ref{ThmH} coincides with \cite[Theorem 2.1]{Abu4}.
Furthermore, the next result, for holomorphic functions defined on a bounded balanced domain which takes values in a convex domain, can be derived from Theorem \ref{ThmH}:

\medskip

\begin{corollary}
Let $f\in H(G,C)$, where $C$ is a convex domain, be of the form \eqref{eqf} in a neighbourhood of the origin. Then
\begin{equation*}
	\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f(0)\big(x^m\big)}{m!}\bigg|\le d(f(0),\partial C)
\end{equation*}
for $x\in (1/3)G$. This result is sharp.
\end{corollary}

\begin{proof}
Let $u\in \partial C$ be nearest to $f(0)$. Further let $T_u$ be the tangent line at $u$, and $H_u$ the half-plane containing $C$. Then $f\in H(G,H_u)$. Now choose $t$ real so that $(H_u-u)e^{it}=\mathbb{H}$, the right half-plane and let $K=(C-u)e^{it}\subset\mathbb{H}$. Hence it yields that $g(z)=(f(z)-u)e^{it}\in H(G,K)\subset H(G, \mathbb{H})$ and $g(0)=(f(0)-u)e^{it}=|f(0)-u|=d(f(0),\partial C)$. Then we can apply Theorem \ref{ThmH} on $g$ and it follows the desired result as well as the sharpness.
\end{proof}

\subsection{Punctured unit disk} Our next objective is to give multidimensional analogue of \cite[Theorem 2.1]{AAN17} for the class $H(G,\mathbb{D}_0)$.

\medskip

\begin{theorem}
Let $f\in H(G,\mathbb{D}_0)$ be of the form \eqref{eqf} in a neighbourhood of the origin. Then
\begin{equation}\label{eqD0}
\sum_{m=1}^{\infty}\bigg|	\cfrac{1}{m!}D^m f(0)\big(x^m\big)\bigg|\le d(f(0),\partial \mathbb{D}_0)=1
\end{equation}
for $x\in (1/3)G$. This result is sharp.
\end{theorem}

\begin{proof}
Because of the inclusion $H(G,\mathbb{D}_0)\subset H(G,\mathbb{D})$, the required inequality \eqref{eqD0} for $x\in (1/3)G$ directly follows from \cite[Corollary 3.2]{HHK}. To prove sharpness part, we apply the same technique as in the proof of Theorem \ref{ThmH}. We consider for any $r_0\in (1/3,1)$ there exist $0<c<1$ and $v\in \partial G$ such that $cr_0>1/3$ and $c\sup_{x\in \partial G}||x||<||v||$. Next, we define
\begin{equation*}
H_t(z)=\exp \bigg(-t \cfrac{1+z}{1-z}\bigg)=\cfrac{1}{e^t}+\cfrac{1}{e^t}\sum_{n=1}^{\infty}\bigg[\sum_{m=1}^{n}\cfrac{(-2t)^m}{m!}{n-1 \choose m-1}\bigg]z^n,\quad t>0
\end{equation*}
which is in $H(\mathbb{D},\mathbb{D}_0)$. Now consider a function $f_1\in H(G,\mathbb{D}_0)$ defined by
$$
f_1(x)=H_t\bigg(\cfrac{c\psi_v(x)}{||v||}\bigg),
$$
where $\psi_v$ is a bounded linear functional on $X$ with $\psi_v(v)=||v||$ and $||\psi_v||=1$. Thus, for $x=r_0v$, we get
$$
f_1(r_0v)=H_t(cr_0)=\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f_1(0)\big(x^m\big)}{m!}\bigg|>1
$$
by using the argument given in \cite[Theorem 2.1]{AAN17}. This concludes the proof.
\end{proof}

\subsection{Slit mappings}
The following well-known result of de Branges \cite{DeB1} on subordination is useful to prove our next result.

\medskip

\begin{lemma}\label{lemmasub}
If $f(z)=\sum_{n=0}^{\infty}a_nz^n$ and $g(z)=\sum_{n=0}^{\infty}b_nz^n$ are two analytic functions in $\mathbb{D}$ such that $f(0)=g(0)$, $g$ is univalent (one-to-one) and $f\prec g$, then $|a_n|\le n|b_1|$.
\end{lemma}

\medskip

We now state and prove our next result which provides the sharp Bohr inequality for functions belonging to the class $H(G,T)$.

\medskip

\begin{theorem}
Let $f\in H(G,T)$ of the form \eqref{eqf} in a neighbourhood of the origin with $f(0)>0$. Then
\begin{equation}\label{eqT}
\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f(0)\big(x^m\big)}{m!}\bigg|\le d(f(0),\partial T)=f(0)
\end{equation}
for $x\in (3-2\sqrt{2})G$. This result is sharp.
\end{theorem}

\begin{proof}
Suppose that $f\in H(G,T)$. Now, we construct $F$ as in the proof of Theorem \ref{ThmH} which is in $H(\mathbb{D},T)$ having series expansion \eqref{eqHF}. Since $F\in H(\mathbb{D},T)$, we may write the given condition as
$$
F(z)\prec g(z)
$$
where
$$
g(z)=f(0)\bigg(\cfrac{1+z}{1-z}\bigg)^2=f(0)+4f(0)\sum_{n=1}^{\infty}nz^n.
$$
Here $g$ is univalent mapping in $\mathbb{D}$ such that $F(\mathbb{D})\subset g(\mathbb{D})$ and $F(0)=g(0)$. According to Lemma \ref{lemmasub}, we have
\begin{equation*}
\bigg|	\cfrac{\,D^m f(0)\big(y^m\big)}{m!}\bigg| \le 4f(0)m,\quad m\ge 1.
\end{equation*}
This gives, for $z\in \mathbb{D}$ and $y\in G$, that
\begin{equation*}
\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f(0)\big(y^m\big)}{m!}\bigg| |z|^m\le  4f(0)\sum_{m=1}^{\infty}m |z|^m=4f(0)\cfrac{|z|}{(1-|z|)^2}
\end{equation*}
which is less than or equal to $f(0)$ for all $|z|\le 3-2\sqrt{2}\approx0.17157$. Hence the inequality \eqref{eqT} is hold in $(3-2\sqrt{2})G$.

\medskip

To prove that the result is sharp, we adopt the approach of Theorem \ref{ThmH} and consider the following situation: for any $r_0\in (3-2\sqrt{2},1)$, there exist a $c\in (0,1)$ such that $cr_0>3-2\sqrt{2}$. Also there exist a $v\in \partial G$ such that
$$
c\sup \{||x||:x\in \partial G\}<||v||.
$$
 Next, we consider a function $f_2$ on $G$ defined by
 $$
 f_2(x)=U\bigg(\cfrac{c\psi_v(x)}{||v||}\bigg),
 $$
 where
 $$
 U(z)=\bigg(\cfrac{1+z}{1-z}\bigg)^2,\quad z\in \mathbb{D}
 $$
and, $\psi_v$ is a bounded linear functional on $X$ with $\psi_v(v)=||v||$ and $||\psi_v||=1$.
It is easy to check that $c\psi_v(x)/||v||\in\mathbb{D}$ and $f_2\in H(G,T)$. Then, for $x=r_0v$, we have
\begin{equation*}
f_2(x)	=f_2(0)+\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f_2(0)\big(y^m\big)}{m!}\bigg| |z|^m=\bigg(\cfrac{1+cr_0}{1-cr_0}\bigg)^2=1+4\sum_{n=1}^{\infty}n(cr_0)^n>2.
 \end{equation*}
This shows the sharpness.
\end{proof}

\subsection{Exterior of the closed unit disk} The following lemma by Abu-Muhanna and Ali \cite{AbuAli} will be required to establish our next result.

\begin{lemma}\label{lemma2.7}
Let $f\in H(\mathbb{D},\overline{\mathbb{D}}^c)$. Then $f\prec W$, where
\begin{equation*}
W(z)=\exp\bigg(\cfrac{1+\phi(z)}{1-\phi(z)}\bigg),
\end{equation*}
with
\begin{equation*}
\phi(z)=\cfrac{z+b}{1+\overline{z}b} \mbox{ and }  b=\cfrac{\log f(0)-1}{\log f(0)+1}.
\end{equation*}
\end{lemma}

\medskip
The following theorem extends a result, given by Abu-Muhanna and Ali \cite[Theorem 2.1]{AbuAli}, in higher dimension.
\begin{theorem}
Let $f\in H(G,\overline{\mathbb{D}}^c)$ of the form \eqref{eqf} in a neighbourhood of the origin. Then
\begin{equation}\label{eqDc}
\lambda \bigg(\sum_{m=1}^{\infty}\bigg|	\cfrac{\,D^m f(0)\big(x^m\big)}{m!}\bigg|, |f(0)|\bigg)\le \lambda(f(0),\partial \overline{\mathbb{D}}^c)
\end{equation}
for $x\in (1/3)G$. This result is sharp.
\end{theorem}
\begin{proof}
Let $f\in H(G,\overline{\mathbb{D}}^c)$.
Then we can construct a function $F$ as in the proof of Theorem \ref{ThmH} which will be in $H(\mathbb{D},\overline{\mathbb{D}}^c)$ and have the series expansion \eqref{eqHF}. Now, by using Lemma \ref{lemma2.7}, we have $F\prec W$.
It is easy to observe that, the $W(z)$ defined in Lemma \ref{lemma2.7} can be written as
$$
W(z)=F(0)\exp \bigg(\frac{\log |F(0)|^2z}{1-z}\bigg).
$$
Hence, from \cite[Equation 2.7]{AbuAli}, we obtain
$$
\sum_{m=0}^{\infty}\bigg|\cfrac{1}{m!}\,D^m f(0)\big(x^m\big)\bigg||z|^m \leq |F(0)|^\frac{1+|z|}{1-|z|}=|f(0)|^\frac{1+|z|}{1-|z|}.
$$
It leads to the fact that, for $|z|\leq 1/3$,
$$
\sum_{m=0}^{\infty}\bigg|\cfrac{1}{m!}\,D^m f(0)\big(x^m\big)\bigg||z|^m \leq |f(0)|^2.
$$
Then a simple computation shows that
$$
\lambda \bigg(\sum_{m=0}^{\infty}\bigg|\cfrac{1}{m!}\,D^m f(0)\big(x^m\big)\bigg|,|f(0)|\bigg)\leq \lambda(|f(0)|,|f(0)|^2)\leq \lambda(|f(0)|,1)
$$
holds for $x\in (1/3)G$.

 \medskip

Finally, we prove that inequality \eqref{eqDc} is not holds true for $x\in r_0G$, where $r_0\in (1/3,1)$. As we know that there exist a $c\in (0,1)$ and $v\in \partial G$ such that $cr_0>1/3$ and
$$
c\sup \{||x||:x\in \partial G\}<||v||.
$$
Now, we consider a function $f_3$ on $G$ defined by
$$
f_3(x)=W\bigg(\cfrac{c\psi_v(x)}{||v||}\bigg),
$$
where $\psi_v$ is a bounded linear functional on $X$ with $\psi_v(v)=||v||$ and $||\psi_v||=1$.
Thus
$$
f_3(r_0v)=W(cr_0)=|f(0)|\exp \bigg(\frac{cr_0}{1-cr_0}\log |f(0)|^2\bigg)=|f(0)|^{(1+cr_0)/(1-cr_0)}.
$$
Also, a simple computation gives that
$$
\frac{\lambda(|f(0)|,|f(0)|^{(1+cr_0)/(1-cr_0)})}{\lambda(|f(0)|,1)}= \frac{\sqrt{2}|f(0)|(|f(0)|^{(2cr_0)/(1-cr_0)}-1)}{(|f(0)|-1)\sqrt{1+|f(0)|^{2(1+cr_0)/(1-cr_0)}}}\to \frac{2cr_0}{1-cr_0}
$$
as $|f(0)|\to 1$. Since $2x/(1-x)>1$,
for $x>1/3$,
it leads to the fact that
$$
\lambda \bigg(\sum_{m=0}^{\infty}\bigg|\cfrac{1}{m!}\,D^m f_0(0)\big(x^m\big)\bigg||z|^m,|f(0)|\bigg)= \lambda(|f(0)|,|f(0)|^2)> \lambda(|f(0)|,1)
$$
as $|f(0)|\to 1$. This concludes the theorem.
\end{proof}

\bigskip
\noindent
{\bf Acknowledgement.}
The authors would like to thank Professor Swadesh Kumar Sahoo for fruitful discussion on this topic.
The first author thanks IIT Bhubaneswar for providing Institute Post Doctoral Fellowship. The work of the second author is supported by the Institute Post Doctoral
Fellowship of NISER Bhubaneswar, India.

\medskip
\noindent
{\bf Conflict of Interests.} The authors declare that there is no conflict of interests
regarding the publication of this paper.