×

Comparison theory for Riccati equations. (English) Zbl 0714.53029

Let E be a finite dimensional vector space with inner product \(<, >\), and let S(E) be the vector space of self-adjoint linear endomorphisms of E. For a given smooth curve R: \({\mathbb{R}}\to S(E)\) the authors consider solutions B: (0,t\({}_ 0)\to S(E)\) of the matrix Riccati differential equation \((R)\quad B'(t)+B^ 2(t)+R(t)=0.\) This is closely related to the matrix Jacobi differential equation \((J)\quad X''(t)+R(t)X(t)=0.\) Indeed, whereever it is defined \(B(t)=X'(t)X^{-1}(t)\) is a solution of (R) of X(t) is a solution to (J). Both equations are important in Riemannian geometry. For example, equation (R) is the evolution equation for the shape operators of a family \(\{M_ t\}\) of parallel hypersurfaces if R(t) denotes the curvature transformation determined by the normal vector to \(M_ t.\)
The main result of this paper is an elementary proof of the following theorem, which improves an earlier result by the first author: Theorem. Let \(R_ 1,R_ 2: {\mathbb{R}}\to S(E)\) be smooth with \(R_ 1\geq R_ 2\). For \(j=1,2\) let \(B_ j: (0,t_ j)\to S(E)\) be a solution of \((R_ j)\) with maximal \(t_ j\in (0,\infty]\), such that \(U:=B_ 2-B_ 1\) has a continuous extension to 0 with U(0)\(\geq 0\). Then \(t_ 1\leq t_ 2\) and \(B_ 1\leq B_ 2\) on \((0,t_ 1)\). Moreover, \(d(t):=\dim \ker U(t)\) is monotonically decreasing on \((0,t_ 1)\). In particular, if \(B_ 1(s)=B_ 2(s)\) for some \(s\in (0,t_ 1)\), then \(B_ 1=B_ 2\) and \(R_ 1=R_ 2\) on [0,s]. In this result the continuity of U at 0 is convenient but not necessary, and one may replace the condition U(0)\(\geq 0\) by the condition \(\lim_{t\to 0} \inf u(t)\geq 0,\) where u(t) is the smallest eigenvalue of U(t).
The authors also describe the behavior at \(t=0\) of a solution of (R): Proposition. Let B: (0,t\({}_ 0)\to S(E)\) be a solution of (R). Then there is a projection \(P\in S(E)\), \(P^ 2=P\), such that \(C(t):=B(t)-P/t\) has a continuous extension to \(t=0\). Moreover, \(im P\subseteq C(0)\).
Reviewer: P.Eberlein

MSC:

53C20 Global Riemannian geometry, including pinching
34C10 Oscillation theory, zeros, disconjugacy and comparison theory for ordinary differential equations
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] [Eb] P. Eberlein:When is a geodesic flow Anosov? I. J. Differential Geometry8, 437–463 (1973)
[2] [E1] J.-H. Eschenburg:Stabilitätsverhalten des Geodätischen Flusses Riemannscher Mannigfaltigkeiten. Bonner Math. Schr.87 (1976)
[3] [E2] J.-H. Eschenburg:Comparison theorems and hypersurfaces. Manuscripta math.59, 295–323 (1987) · Zbl 0642.53044 · doi:10.1007/BF01174796
[4] [Gr] A. Gray:Comparison Theorems for the volume of tubes as generalizations of the Weyl tube formula. Topology21, 201–228 (1982) · Zbl 0487.53035 · doi:10.1016/0040-9383(82)90005-2
[5] [Gn] L.W. Green:A theorem of E. Hopf. Mich. Math. J.5, 31–34 (1958) · Zbl 0134.39601 · doi:10.1307/mmj/1028998009
[6] [GM] D. Gromoll & W. Meyer:Examples of complete manifolds with positive Ricci curvature. J. Differential Geometry21, 195–211 (1985) · Zbl 0583.53036
[7] [Gv] M. Gromov:Structures metriques pour les variétés riemanniennes. Cedic-Nathan 1981
[8] [HE] S.W. Hawking, G.F.R.Ellis:The Large Scale Structure of Spacetime. Cambridge 1973
[9] [HIH] E. Heintze & H.C. Im Hof:Geometry of horospheres. J. Differential Geometry12, 481–491 (1977) · Zbl 0434.53038
[10] [K1] H. Karcher:Riemannian center of mass and mollifier smoothing. Comm. Pure Appl. Math.30, 509–541 (1977) · Zbl 0354.57005 · doi:10.1002/cpa.3160300502
[11] [K2] H. Karcher:Riemannian Comparison Constructions. S.S. Chern (ed.) Global Differential Geometry, M.A.A. Studies in Mathematics vol.27
[12] [R] W.T. Reid:Riccati Differential equations. Academic Press 1972 · Zbl 0254.34003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.