{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "8M4N38VGEE"
    }
  ],
  "body": "\n## Statement\n\nLet $a \u003c b$ and let $M = (M_k)_{k \\ge 0}$ be a sequence of positive real numbers with $M_0 = 1$.\nAssume that $M$ is logarithmically convex: $M_k^2 \\le M_{k-1} M_{k+1}$ for all $k \\ge 1$.\nLet $C^M([a, b])$ be the class of smooth functions $f$ on $[a, b]$ with $\\abs{f^{(k)}} \\le A B^k M_k$ on $[a, b]$ for some constants $A, B \u003e 0$ and all $k \\ge 0$.\nThen the following three conditions are equivalent.\n\n1. The class $C^M([a, b])$ is [[quasi-analytic|YF1KAWB5MB]].\n2. $\\sum_{k=1}^{\\infty} M_k^{-1/k} = \\infty$.\n3. $\\sum_{k=1}^{\\infty} \\dfrac{M_{k-1}}{M_k} = \\infty$.\n\n## Remarks\n\nWhen the series converge, one builds a nonzero function of the class that vanishes outside a small interval.\nA standard construction is an infinite convolution of normalized indicator functions of short intervals, whose lengths are related to the ratios $M_{k-1}/M_k$.\nCarleman's proof of the direction from divergence to quasi-analyticity uses complex analysis.\nWithout log-convexity, condition 1 is still equivalent to condition 2 with $M_k^{1/k}$ replaced by $\\inf_{j \\ge k} M_j^{1/j}$.\nCondition 3 then has to be applied to the largest log-convex minorant of $M$ instead of $M$.\n\nExample: for $M_k = k!$, the sequence is log-convex since $(k!)^2 \\le (k-1)! \\, (k+1)!$.\nThe ratios $M_{k-1}/M_k = 1/k$ have a divergent sum, so the class is quasi-analytic; this is the class of [[analytic functions|0JD5ZNW0F4]] on $[a, b]$.\nFor $M_k = (k!)^s$ with $s \u003e 1$, the ratios are $k^{-s}$, and the sum converges.\nSo these classes contain nonzero [[bump functions|HS65DW0HXH]].\n\n## Explanations\n\n### L1 human\n\nAnalytic functions are determined by their derivatives at one point, while general smooth functions are not.\nThe theorem finds the exact border between these two behaviours.\nIf the derivatives of the functions in a class may grow only a little faster than $k!$, uniqueness survives.\nIf they may grow a bit faster still, bump functions appear and uniqueness is lost.\n\n### L2 human\n\nThe test is a single series, much like a convergence test for ordinary series.\nDivergence of $\\sum M_{k-1}/M_k$ means that the allowed growth is slow, and the class behaves like the analytic functions.\nConvergence means that cut-off functions exist in the class, so it supports partitions of unity, as needed in the theory of ultradistributions.\nThe case $M_k = (k!)^s$ gives the Gevrey classes, which appear in the study of partial differential equations.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "YF1KAWB5MB"
    ],
    "kind": "statement",
    "msc": [
      "26E10"
    ],
    "name": "Denjoy–Carleman theorem",
    "role": "theorem",
    "sources": [
      {
        "locator": "The Denjoy–Carleman theorem",
        "url": "https://en.wikipedia.org/wiki/Quasi-analytic_function"
      }
    ],
    "tag": "KV0GW9K7JS",
    "uses": [
      "YF1KAWB5MB",
      "0BE3QDH73A",
      "0JD5ZNW0F4",
      "HS65DW0HXH"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/KV0GW9K7JS/",
  "links": [
    {
      "field": "about",
      "target": "YF1KAWB5MB"
    },
    {
      "field": "uses",
      "target": "YF1KAWB5MB"
    },
    {
      "field": "uses",
      "target": "0BE3QDH73A"
    },
    {
      "field": "uses",
      "target": "0JD5ZNW0F4"
    },
    {
      "field": "uses",
      "target": "HS65DW0HXH"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/KV0GW9K7JS.md",
  "msc": [
    "26E10"
  ],
  "name": "Denjoy–Carleman theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KV0/KV0GW9K7JS.md",
  "status": null,
  "tag": "KV0GW9K7JS",
  "uri": "m2://KV0GW9K7JS",
  "url": "https://math2.tamnd.com/wiki/denjoy-carleman-theorem/",
  "writing": {
    "tag": "KV0GW9K7JS",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}