{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "W49VGF1WDE"
    }
  ],
  "body": "\n## Statement\n\nLet $I \\subset \\R$ be a compact interval and let $f \\colon I \\to I$ be a map of class $C^3$ with finitely many [[critical points|0YTCMFB4HC]].\nAssume that $f$ has negative [[Schwarzian derivative|6ZPKWE0VAZ]]:\n$$Sf(x) = \\frac{f'''(x)}{f'(x)} - \\frac{3}{2} \\left( \\frac{f''(x)}{f'(x)} \\right)^2 \u003c 0 \\quad \\text{for every } x \\in I \\text{ with } f'(x) \\neq 0.$$\nLet $\\mathcal{O}$ be an attracting [[periodic orbit|0AA97XA70K]] of $f$, that is, the orbit of a point $p$ with $f^n(p) = p$ and $\\abs{(f^n)'(p)} \u003c 1$.\nThe immediate basin of $\\mathcal{O}$ is the union of the connected components of its basin of attraction that contain a point of $\\mathcal{O}$.\nThen the immediate basin of $\\mathcal{O}$ contains a critical point of $f$ or a boundary point of $I$.\nIn particular, the number of attracting periodic orbits of $f$ is at most the number of critical points of $f$ plus $2$.\n\n## Remarks\n\nThe key fact is that the Schwarzian derivative of a composition satisfies $S(g \\circ f) = (Sg \\circ f) \\, (f')^2 + Sf$, so negative Schwarzian passes to all iterates $f^n$.\nThen $\\abs{(f^n)'}$ has no positive local minimum on an interval where $f^n$ is monotone (the minimum principle).\nSuppose the component $J$ of the immediate basin that contains $p$ had no critical point and no boundary point.\nThen $f^n$ would map $J$ diffeomorphically onto itself, and the minimum principle applied there gives a contradiction.\n\nExample: for the [[logistic map|QN9X9BNKTX]] $f_r(x) = r x (1 - x)$ with $1 \u003c r \\le 4$, one computes $S f_r = -\\frac{3}{2} \\left( \\frac{-2}{1 - 2x} \\right)^2 \u003c 0$.\nIts only critical point is $1/2$, and the boundary points are not in the basin of an interior attracting orbit, since $0$ is a repelling fixed point and $f_r(1) = 0$.\nSo $f_r$ has at most one attracting periodic orbit in $(0, 1)$, and if it has one, the orbit of $1/2$ converges to it.\nThis is why, in numerical experiments, one iterates the critical point to find the attracting orbit.\n\nThe hypothesis on the Schwarzian derivative is necessary.\nFor $N \\ge 3$ and $0 \u003c a \u003c 1$, the map $f(x) = x + \\frac{a}{2\\pi N} \\sin(2 \\pi N x)$ is an increasing diffeomorphism of $[0, 1]$ with no critical points, and it has the $N$ attracting fixed points $\\frac{2j + 1}{2N}$, $0 \\le j \u003c N$, where $f' = 1 - a$.\nThis is more than $0 + 2$, so the Schwarzian derivative of this map cannot be negative everywhere.\n\n## Explanations\n\n### L1 human\n\nFor many smooth maps of an interval, every stable cycle must attract one of the turning points of the map.\nSo a map with only one turning point, like the logistic map, can have at most one stable cycle inside the interval, and following the turning point reveals it.\nThe condition that makes this work is a sign condition on a particular combination of derivatives, the Schwarzian derivative.\n\n### L2 human\n\nDavid Singer proved the theorem in 1978.\nNegative Schwarzian derivative is the standard hypothesis in one-dimensional dynamics: it holds for all real quadratic maps and is preserved under composition.\nCombined with kneading theory, it gives a fine picture of the logistic family, where at each parameter there is at most one attracting cycle.\nIt is also used in the study of neutral cycles, which with negative Schwarzian are attracting from at least one side.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "6ZPKWE0VAZ"
    ],
    "kind": "statement",
    "msc": [
      "37E05",
      "37C25"
    ],
    "name": "Singer's theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Schwarzian_derivative"
      }
    ],
    "tag": "Y2DKZH3CCT",
    "uses": [
      "6ZPKWE0VAZ",
      "0YTCMFB4HC",
      "T75CZ5H47N",
      "0AA97XA70K",
      "QN9X9BNKTX"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/Y2DKZH3CCT/",
  "links": [
    {
      "field": "about",
      "target": "6ZPKWE0VAZ"
    },
    {
      "field": "uses",
      "target": "6ZPKWE0VAZ"
    },
    {
      "field": "uses",
      "target": "0YTCMFB4HC"
    },
    {
      "field": "uses",
      "target": "T75CZ5H47N"
    },
    {
      "field": "uses",
      "target": "0AA97XA70K"
    },
    {
      "field": "uses",
      "target": "QN9X9BNKTX"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/Y2DKZH3CCT.md",
  "msc": [
    "37E05",
    "37C25"
  ],
  "name": "Singer's theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Y2D/Y2DKZH3CCT.md",
  "status": null,
  "tag": "Y2DKZH3CCT",
  "uri": "m2://Y2DKZH3CCT",
  "url": "https://tamnd.github.io/math2/wiki/singers-theorem/",
  "writing": {
    "tag": "Y2DKZH3CCT",
    "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
      }
    ]
  }
}