{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $a \u003c b$, let $n \\ge 1$, let $p_1, \\ldots, p_n, F \\colon [a, b] \\to \\R$ be continuous, and let $c_0, \\ldots, c_{n-1} \\in \\R$.\nConsider the [[initial value problem|0FXDW992DS]] for the [[linear differential equation of order n|0QQRP17Z7S]]\n$$y^{(n)} + p_1(x) y^{(n-1)} + \\cdots + p_n(x) y = F(x), \\qquad y^{(j)}(a) = c_j \\text{ for } 0 \\le j \\le n - 1.$$\nDefine, for $x, t \\in [a, b]$,\n$$K(x, t) = -\\sum_{i=1}^{n} p_i(x) \\frac{(x - t)^{i-1}}{(i-1)!}, \\qquad f(x) = F(x) - \\sum_{i=1}^{n} p_i(x) \\sum_{j=n-i}^{n-1} c_j \\frac{(x - a)^{j - n + i}}{(j - n + i)!}.$$\nThen the following hold.\n\n1. If $y \\in C^n[a, b]$ solves the initial value problem, then $u = y^{(n)}$ is a continuous solution of the [[Volterra integral equation|DND8CBEVXT]] of the second kind\n$$u(x) = f(x) + \\int_a^x K(x, t) u(t) \\, dt, \\quad x \\in [a, b].$$\n2. If $u \\in C[a, b]$ solves this Volterra equation, then\n$$y(x) = \\sum_{j=0}^{n-1} c_j \\frac{(x - a)^j}{j!} + \\int_a^x \\frac{(x - t)^{n-1}}{(n-1)!} u(t) \\, dt$$\nis in $C^n[a, b]$, satisfies $y^{(n)} = u$, and solves the initial value problem.\n\n## Remarks\n\nProof idea: for $y \\in C^n[a, b]$ with the given initial values, Taylor's formula with integral remainder, a repeated use of the [[fundamental theorem of calculus|0NHGY0N0JB]], gives for $0 \\le k \\le n - 1$\n$$y^{(k)}(x) = \\sum_{j=k}^{n-1} c_j \\frac{(x - a)^{j-k}}{(j-k)!} + \\int_a^x \\frac{(x - t)^{n-k-1}}{(n-k-1)!} y^{(n)}(t) \\, dt.$$\nSubstituting these for $y^{(n-i)}$, $1 \\le i \\le n$, in the differential equation gives the Volterra equation.\nConversely, differentiating the formula for $y$ gives $y^{(n)} = u$ and the initial values, and the Volterra equation turns back into the differential equation.\n\nExample: for $y'' + y = 0$, $y(0) = 0$, $y'(0) = 1$, one has $p_1 = 0$, $p_2 = 1$, $K(x, t) = -(x - t)$ and $f(x) = -x$.\nThe equation $u(x) = -x - \\int_0^x (x - t) u(t) \\, dt$ has the solution $u = -\\sin x$, and indeed $y = \\sin x$ has $y'' = -\\sin x$.\n\nThe kernel $K$ is continuous, so the Volterra equation has a unique continuous solution; this gives the existence and uniqueness theorem for linear initial value problems.\nFor the first-order nonlinear problem $y' = g(x, y)$, $y(a) = c_0$, the analogous reduction is the [[integral equation form of an initial value problem|015KK993C5]].\n\n## Explanations\n\n### L1 human\n\nA differential equation with initial values can be traded for an integral equation.\nThe unknown becomes the highest derivative $y^{(n)}$, and the lower derivatives are recovered from it by integration.\nThe initial values are built into the equation, so no side conditions remain.\n\n### L2 human\n\nThis reduction is the bridge between linear ordinary differential equations and the theory of Volterra equations.\nVolterra equations of the second kind with continuous kernels are uniquely solvable for every right side.\nSo the reduction proves that a linear initial value problem with continuous coefficients has exactly one solution on the whole interval $[a, b]$.\nFor a first-order equation, taking $y$ itself as the unknown gives the integral form used in Picard iteration.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "DND8CBEVXT",
      "0FXDW992DS"
    ],
    "kind": "statement",
    "msc": [
      "45D05",
      "34A12",
      "34A30"
    ],
    "name": "Reduction of an initial value problem to a Volterra equation",
    "role": "proposition",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Volterra_integral_equation"
      }
    ],
    "tag": "86AWJMXT1A",
    "uses": [
      "0FXDW992DS",
      "0QQRP17Z7S",
      "DND8CBEVXT",
      "015KK993C5",
      "0NHGY0N0JB"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/86AWJMXT1A/",
  "links": [
    {
      "field": "about",
      "target": "DND8CBEVXT"
    },
    {
      "field": "about",
      "target": "0FXDW992DS"
    },
    {
      "field": "uses",
      "target": "0FXDW992DS"
    },
    {
      "field": "uses",
      "target": "0QQRP17Z7S"
    },
    {
      "field": "uses",
      "target": "DND8CBEVXT"
    },
    {
      "field": "uses",
      "target": "015KK993C5"
    },
    {
      "field": "uses",
      "target": "0NHGY0N0JB"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/86AWJMXT1A.md",
  "msc": [
    "45D05",
    "34A12",
    "34A30"
  ],
  "name": "Reduction of an initial value problem to a Volterra equation",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/86A/86AWJMXT1A.md",
  "status": null,
  "tag": "86AWJMXT1A",
  "uri": "m2://86AWJMXT1A",
  "url": "https://tamnd.github.io/math2/wiki/reduction-of-an-initial-value-problem-to-a-volterra-equation/",
  "writing": {
    "tag": "86AWJMXT1A",
    "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
      }
    ]
  }
}