{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $(m_n)_{n \\ge 0}$ be a sequence of real numbers for which the [[Hamburger moment problem|TBNCFXTMMW]] is [[indeterminate|GCTN4BZ1ET]].\nLet $V$ be the set of positive [[Borel measures|DYR1QFNGNJ]] $\\mu$ on $\\R$ with $\\int_\\R x^n \\, d\\mu(x) = m_n$ for all $n \\ge 0$.\nA Pick function is a [[holomorphic function|0NAHXR1FRH]] $\\varphi$ on the [[upper half-plane|X6XGGH5FPW]] $\\mathbb{H} = \\set{z \\in \\C : \\operatorname{Im} z \u003e 0}$ with $\\operatorname{Im} \\varphi(z) \\ge 0$ for all $z \\in \\mathbb{H}$.\nLet $\\mathcal{P}$ be the set of Pick functions together with the constant $\\infty$.\nThen there are four [[entire functions|0G4F0XB9X2]] $A, B, C, D$, real on $\\R$ and determined by $(m_n)$, with $A(z) D(z) - B(z) C(z) = 1$ for all $z \\in \\C$, such that the following holds.\nFor each $\\varphi \\in \\mathcal{P}$ there is exactly one $\\mu_\\varphi \\in V$ with\n$$\\int_\\R \\frac{d\\mu_\\varphi(x)}{x - z} = -\\frac{A(z) \\varphi(z) - C(z)}{B(z) \\varphi(z) - D(z)} \\quad \\text{for all } z \\in \\mathbb{H},$$\nwhere for $\\varphi = \\infty$ the right side means $-A(z)/B(z)$.\nThe map $\\varphi \\mapsto \\mu_\\varphi$ is a bijection from $\\mathcal{P}$ onto $V$.\n\n## Remarks\n\nThe functions $A, B, C, D$ are built from the orthonormal polynomials $p_n$ of the moment sequence and the polynomials $q_n$ of the second kind.\nFor example, $B(z) = -1 + z \\sum_{k \\ge 0} q_k(0) p_k(z)$ and $D(z) = z \\sum_{k \\ge 0} p_k(0) p_k(z)$, and these series converge locally uniformly exactly because the problem is indeterminate.\nThe left side is the Stieltjes transform of $\\mu_\\varphi$, which determines $\\mu_\\varphi$ by the [[Stieltjes inversion formula|C0X2A02MRE]].\nThe parameters $\\varphi = t$ with $t \\in \\R \\cup \\set{\\infty}$ give the N-extremal solutions, for which the polynomials are dense in $L^2(\\mu_t)$.\nEach $\\mu_t$ is a discrete measure supported on the zeros of $B t - D$, or on the zeros of $B$ when $t = \\infty$.\nThe hypothesis of indeterminacy is needed: in the determinate case $V$ has only one element, so there is nothing to parametrize.\nSign conventions for $A, B, C, D$ differ between books.\n\n## Explanations\n\n### L1 human\n\nWhen a list of moments does not single out one distribution, there are infinitely many distributions with those moments.\nThe theorem describes all of them at once.\nFour fixed functions turn each choice of a free parameter, a Pick function, into exactly one solution, and every solution arises in this way.\n\n### L2 human\n\nThe parametrization reduces the study of an indeterminate moment problem to the study of four entire functions, the Nevanlinna matrix.\nThese entire functions have order at most one and minimal exponential type.\nThe parameters $t \\in \\R \\cup \\set{\\infty}$ give solutions that are spectral measures of self-adjoint extensions of the Jacobi operator of the moment sequence.\nThe Pick functions are the functions of the [[Herglotz representation theorem|9ZBAX4ZPX0]] transplanted from the disc to the upper half-plane, so the parameter set has a concrete integral form.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "TBNCFXTMMW",
      "GCTN4BZ1ET"
    ],
    "kind": "statement",
    "msc": [
      "44A60",
      "30E05"
    ],
    "name": "Nevanlinna parametrization of solutions",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Nevanlinna_function"
      }
    ],
    "tag": "YRBT3ZHSV3",
    "uses": [
      "TBNCFXTMMW",
      "GCTN4BZ1ET",
      "DYR1QFNGNJ",
      "0G4F0XB9X2",
      "0NAHXR1FRH",
      "X6XGGH5FPW"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/YRBT3ZHSV3/",
  "links": [
    {
      "field": "about",
      "target": "TBNCFXTMMW"
    },
    {
      "field": "about",
      "target": "GCTN4BZ1ET"
    },
    {
      "field": "uses",
      "target": "TBNCFXTMMW"
    },
    {
      "field": "uses",
      "target": "GCTN4BZ1ET"
    },
    {
      "field": "uses",
      "target": "DYR1QFNGNJ"
    },
    {
      "field": "uses",
      "target": "0G4F0XB9X2"
    },
    {
      "field": "uses",
      "target": "0NAHXR1FRH"
    },
    {
      "field": "uses",
      "target": "X6XGGH5FPW"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/YRBT3ZHSV3.md",
  "msc": [
    "44A60",
    "30E05"
  ],
  "name": "Nevanlinna parametrization of solutions",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YRB/YRBT3ZHSV3.md",
  "status": null,
  "tag": "YRBT3ZHSV3",
  "uri": "m2://YRBT3ZHSV3",
  "url": "https://tamnd.github.io/math2/wiki/nevanlinna-parametrization-of-solutions/",
  "writing": {
    "tag": "YRBT3ZHSV3",
    "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
      }
    ]
  }
}