The Ricci soliton is a natural generalization of Einstein metrics, which is a self-similar solution to Hamiltion's Ricci flow. In [1], Pigola, Rigoli, Rimoldi and Setti introduced the gradient Ricci almost soliton. That is, if there exist two smooth functions $f, \lambda$ such that
then $(M^n, g)$ is called a gradient Ricci almost soliton, where $R_{ij}+f_{ij}$ is called the $\infty$-dimensional Bakry-Emery Ricci tensor. Clearly, a gradient Ricci soliton is a special case of the gradient Ricci almost soliton when $\lambda$ is a constant. In particular, if $\lambda=\rho R+\mu$, where $R$ is the scalar curvature and $\rho, \mu$ are two constants, then (1.1) is called the gradient $\rho$-Einstein soliton defined in [2] which is a self-similar solution to the following geometric flow first considered by Bourguignon in [3]
For some study with respect to the gradient Ricci almost soliton, the interested reader can refer to [1, 4-7] for more details.
Note that if $f$ given in (1.1) satisfies $f_{ij}=0$, then (1.1) becomes
and the classical Schur's lemma states that the scalar curvature $R=n\lambda$ must be a constant when $n\geq3$. However, there exist gradient Ricci almost solitons with nontrivial function $f$ such that $\lambda$ is not a constant. A natural question is to consider whether can one find manifolds satisfying (1.1) with nontrivial function $f$ on which $\lambda$ is constant. In this paper, we consider this problem on Kähler manifolds and prove the following results.
Theorem 1.1 Let $(M^n, g_{i\bar{j}})$ be an $n$-dimensional Kähler manifold with $n\geq2$. If there exist two smooth real-valued functions $f, \lambda$ satisfying the equation
then $\lambda$ must be a constant.
Therefore, by virtue of Theorem 1.4 of Chen and Zhu in [8], we obtain the following.
Corollary 1.2 Let $(M^n, g_{i\bar{j}})$ be an $n$-dimensional ($n\geq2$) complete Kähler manifold with harmonic Bochner tensor. If there exist two smooth real-valued functions $f, \lambda$ satisfying (1.4) with $f_{ij}=0$(that is, $\nabla f$ is a holomorphic vector field), then we have
1) if the function $\lambda>0$, then $(M^n, g_{i\bar{j}})$ is isometric to the quotient of $N^k\times \mathbb{C}^{n-k}$, where $N^k$ is a $k$-dimensional Kähler-Einstein manifold with positive scalar curvature;
2) if the function $\lambda<0$, then $(M^n, g_{i\bar{j}})$ is isometric to the quotient of $N^k\times \mathbb{C}^{n-k}$, where $N^k$ is a $k$-dimensional Kähler-Einstein manifold with negative scalar curvature.
Remark If $\lambda$ defined in (1.4) is a constant, then it is called a Kähler-Ricci soliton. For the classification of the Kähler-Ricci soliton, we refer to [8, 9].
Using the concepts as in [8], under the Kähler metric $g=(g_{i\bar{j}})$, the Ricci curvature and the scalar curvature defined by
respectively. By the first Bianchi identity, we have
By virtue of (1.4), we obtain
Therefore, from (2.3), we obtain
where in the third equality we used
and in the last equality we used (2.1). Therefore, from (2.4), it is easy to see that
which shows that $\lambda$ is a constant.
We complete the proof of Theorem 1.1.