Local study of curvature operators on the hyperbolic space (Q1305111)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Local study of curvature operators on the hyperbolic space
scientific article

    Statements

    Local study of curvature operators on the hyperbolic space (English)
    0 references
    0 references
    21 October 2001
    0 references
    Concerning the existence of Riemannian metrics on a manifold with prescribed Ricci tensor, several results are well known. In particular, \textit{D. DeTurck} [Ann. Math. Stud. 102, 525-537 (1982; Zbl 0478.53031)] and \textit{R. Hamilton} [Publ., Math. Sci. Res. Inst. 2, 47-72 (1984; Zbl 0557.53018)] investigated this problem for open sets of \(\mathbb{R}^n\) and open neighbourhoods of the standard metric on the unit sphere \(S^n\), respectively. In this paper the author considers, as a model of the hyperbolic space \(H^n(-1)\), the unit ball \(B\) in \(\mathbb{R}^n\) endowed with the metric \(H_0=\rho^{-1}E\), \(E\) being the Euclidean metric and \(\rho\) the function on \(B\) defined by \(\rho(x)={1\over 2}(1-|x|^2)\). To any metric \(H\) on \(B\) there are associated the Ricci tensor \(\text{Ricci}(H)\) and the Einstein tensor \(\text{Ein}(H) =\text{Ricci} (H)-{1\over 2}\text{Scal}(H)H\), \(\text{Scal}(H)\) being the scalar curvature of \(H\). Moreover, given real numbers \(s,\alpha\), \(0<\alpha<1\), and an integer \(k>0\), \(\Lambda^s_{k, \alpha} (B)\) denotes the Banach space of the \(k\)-times continuously differentiable functions \(u\) on \(\overline B\) with finite norm \(\|u\|^{(s)}_{k,\alpha}\) the norm being suitably defined in terms of the derivatives of \(u\) and of the Euclidean distance; \(\Lambda^s_{k,\alpha}(B,{\mathcal S}_2)\) is the space of the symmetric (0;2)-tensors on \(B\) whose local components, in Euclidean coordinates, are in \(\Lambda^s_{k,\alpha}(B)\). Then, one has: Theorem A. Given integers \(n,k,n\geq 10\), \(k\geq 2\), \(\alpha,s\) real numbers, \(0<\alpha<1\), \(2n<s(n-1-s)\), \(r\in \Lambda^{s-2}_{k+2, \alpha}(B,{\mathcal S}_2)\) near the zero, then the equation \(\text{Ricci} (H_0+ h)=\text{Ricci} (H_0)+r\) has a unique solution \(h\in\Lambda^{s-2}_{k+2,\alpha} (B,{\mathcal S}_2)\) near the zero and the correspondence \(r\mapsto h\) defines a smooth map between neighbourhoods of the zero in \(\lambda^{s-2}_{k+2,\alpha}(B,{\mathcal S}_2)\). For the proof, the author applies a theorem of isomorphism involving the Laplacian of the metric \(H_0\). This allows to study the asymptotic behaviour of the solutions of the Ricci equation, too. The Ricci equation in the two-dimensional case is investigated in details. Moreover, concerning the Einstein equation, the following result is stated. Theorem B. Given integers \(n,k,n\geq 3,k\geq 1\), \(\alpha,s\) real numbers, \(0<s<n-1\), and \(e\in \Lambda^{s-2}_{k+2, \alpha}(B, {\mathcal S}_2)\) near the zero, then the equation \(\text{Ein} (H_0+h)= \text{Ein} (H_0)+e\) has a unique solution \(h\) in \(\lambda^{s-2}_{k+2, \alpha} (B,{\mathcal S}_2)\) near the zero and the correspondence \(e\mapsto h\) defines a smooth map between neighbourhoods of the zero in \(\Lambda^{s-2}_{k+2, \alpha}(B, {\mathcal S}_2)\).
    0 references
    0 references
    0 references
    0 references
    0 references
    Riemannian metrics
    0 references
    hyperbolic space
    0 references
    Ricci tensor
    0 references
    Einstein tensor
    0 references
    Ricci equation
    0 references
    Einstein equation
    0 references
    0 references