{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $M$ and $\\bar M$ be [[Riemannian manifolds|7CBT4SM83Y]] of the same dimension $n \\ge 2$, and let $a \u003e 0$.\nLet $\\gamma \\colon [0, a] \\to M$ and $\\bar\\gamma \\colon [0, a] \\to \\bar M$ be unit-speed [[geodesics|NSYMQMHPDN]].\nLet $J$ along $\\gamma$ and $\\bar J$ along $\\bar\\gamma$ be [[Jacobi fields|9AHMM41PJ3]] such that\n$$J(0) = 0, \\quad \\bar J(0) = 0, \\quad \\ip{J'(0)}{\\gamma'(0)} = \\ip{\\bar J'(0)}{\\bar\\gamma'(0)}, \\quad \\abs{J'(0)} = \\abs{\\bar J'(0)}.$$\nAssume that:\n\n1. $\\bar\\gamma$ has no point $\\bar\\gamma(t)$ with $0 \u003c t \\le a$ [[conjugate|ZPXE5VSZ35]] to $\\bar\\gamma(0)$.\n2. For every $t \\in [0, a]$, every 2-plane $\\sigma \\subset T_{\\gamma(t)} M$ containing $\\gamma'(t)$ and every 2-plane $\\bar\\sigma \\subset T_{\\bar\\gamma(t)} \\bar M$ containing $\\bar\\gamma'(t)$, the [[sectional curvatures|1X42JAA349]] satisfy $\\bar K(\\bar\\sigma) \\ge K(\\sigma)$.\n\nThen $\\abs{\\bar J(t)} \\le \\abs{J(t)}$ for all $t \\in [0, a]$.\n\n## Remarks\n\nThe idea of the proof: for $0 \u003c t \\le a$, the quantity $\\ip{\\bar J'}{\\bar J} / \\abs{\\bar J}^2$ at $t$ equals the index form of $\\bar J$ on $[0, t]$ divided by $\\abs{\\bar J(t)}^2$.\nSince $\\bar\\gamma$ has no conjugate points, $\\bar J$ minimizes the index form among fields with the same end values.\nTransplanting $J$ to $\\bar\\gamma$ by a linear isometry along the geodesics and using the curvature inequality shows that the logarithmic derivative of $\\abs{J}$ is at least that of $\\abs{\\bar J}$.\nIntegration from $0$, where the ratio $\\abs{\\bar J(t)} / \\abs{J(t)}$ tends to $1$, gives the inequality.\n\nExample: take $\\bar M = \\R^n$, where Jacobi fields with $\\bar J(0) = 0$ are $\\bar J(t) = t W$ for a constant vector $W$.\nIf $M$ has sectional curvature $K \\le 0$, then $\\abs{J(t)} \\ge t \\abs{J'(0)}$ for normal Jacobi fields, so $J$ never vanishes for $t \u003e 0$ and $M$ has no conjugate points.\nThis is the key step of the Cartan–Hadamard theorem.\n\nHypothesis 1 is needed: on the unit sphere, normal Jacobi fields $\\sin(t) E(t)$ vanish at $t = \\pi$, and comparisons with the sphere hold only up to that first conjugate point.\n\n## Explanations\n\n### L1 human\n\nJacobi fields measure how fast nearby geodesics spread apart.\nThe theorem says: where curvature is larger, geodesics from one point spread apart more slowly.\nSo a space that curves more than another can be compared with it, and distances in it grow more slowly.\n\n### L2 human\n\nRauch's theorem is the infinitesimal tool behind much of comparison geometry.\nComparing with the space forms of constant curvature gives explicit bounds on Jacobi fields, on conjugate points and on the differential of the exponential map.\nIt is used in the proofs of the Cartan–Hadamard theorem, of Toponogov's triangle comparison theorem and of the sphere theorem.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "9AHMM41PJ3",
      "1X42JAA349"
    ],
    "kind": "statement",
    "msc": [
      "53C20",
      "53C22"
    ],
    "name": "Rauch comparison theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q7296106",
      "wikipedia": "Rauch comparison theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Rauch_comparison_theorem"
      }
    ],
    "tag": "FX40F4A63V",
    "uses": [
      "7CBT4SM83Y",
      "NSYMQMHPDN",
      "9AHMM41PJ3",
      "ZPXE5VSZ35",
      "1X42JAA349"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/FX40F4A63V/",
  "links": [
    {
      "field": "about",
      "target": "9AHMM41PJ3"
    },
    {
      "field": "about",
      "target": "1X42JAA349"
    },
    {
      "field": "uses",
      "target": "7CBT4SM83Y"
    },
    {
      "field": "uses",
      "target": "NSYMQMHPDN"
    },
    {
      "field": "uses",
      "target": "9AHMM41PJ3"
    },
    {
      "field": "uses",
      "target": "ZPXE5VSZ35"
    },
    {
      "field": "uses",
      "target": "1X42JAA349"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/FX40F4A63V.md",
  "msc": [
    "53C20",
    "53C22"
  ],
  "name": "Rauch comparison theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/FX4/FX40F4A63V.md",
  "status": null,
  "tag": "FX40F4A63V",
  "uri": "m2://FX40F4A63V",
  "url": "https://math2.tamnd.com/wiki/rauch-comparison-theorem/",
  "writing": {
    "tag": "FX40F4A63V",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}