Math 2.0

Integral equations Definition

Stability of Volterra equations

Builds on Volterra integral equationLp space

Definition

Let n≥1n \ge 1, let ℝ+=[0,∞)\R_+ = [0, \infty), and let k∈Lloc1(ℝ+;ℂn×n)k \in L^1_{\mathrm{loc}}(\R_+; \C^{n \times n}) be a locally integrable matrix-valued kernel. Write (k∗x)(t)=∫0tk(t−s) x(s) ds(k * x)(t) = \int_0^t k(t - s) \, x(s) \, ds. Consider the linear Volterra equation of convolution type x(t)+(k∗x)(t)=f(t),t≥0.x(t) + (k * x)(t) = f(t), \qquad t \ge 0. Its resolvent is the unique r∈Lloc1(ℝ+;ℂn×n)r \in L^1_{\mathrm{loc}}(\R_+; \C^{n \times n}) with r+k∗r=kr + k * r = k and r+r∗k=kr + r * k = k. For every f∈Lloc1(ℝ+;ℂn)f \in L^1_{\mathrm{loc}}(\R_+; \C^n) the unique locally integrable solution is x=f−r∗fx = f - r * f. The equation is called stable, or is said to have an integrable resolvent, if r∈L1(ℝ+;ℂn×n)r \in L^1(\R_+; \C^{n \times n}).

Remarks

If the equation is stable and 1≤p≤∞1 \le p \le \infty, then f∈Lp(ℝ+)f \in L^p(\R_+) gives x∈Lp(ℝ+)x \in L^p(\R_+) with ∥x∥p≤(1+∥r∥1)∥f∥p\norm{x}_p \le (1 + \norm{r}_1) \norm{f}_p, by Young's inequality in the Lp spaces. If moreover ff is bounded and f(t)→f∞f(t) \to f_\infty as t→∞t \to \infty, then x(t)→(I−∫0∞r(s) ds)f∞x(t) \to \big(I - \int_0^\infty r(s) \, ds\big) f_\infty, by dominated convergence.

Example: n=1n = 1 and k(t)=ae−tk(t) = a e^{-t} with Re⁡a>−1\operatorname{Re} a > -1. The resolvent is r(t)=ae−(1+a)tr(t) = a e^{-(1 + a) t}. Check: (k∗r)(t)=a2e−t∫0te−as ds=ae−t−ae−(1+a)t(k * r)(t) = a^2 e^{-t} \int_0^t e^{-a s} \, ds = a e^{-t} - a e^{-(1 + a) t} for a≠0a \ne 0, so r+k∗r=kr + k * r = k, and the case a=0a = 0 is trivial. Since Re⁡(1+a)>0\operatorname{Re}(1 + a) > 0, rr is integrable and the equation is stable.

Non-example: n=1n = 1 and k(t)=−1k(t) = -1. Then r(t)=−etr(t) = -e^t, since −et+∫0tes ds=−1-e^t + \int_0^t e^s \, ds = -1, and rr is not integrable. For f=1f = 1 the solution is x(t)=1+(et−1)=etx(t) = 1 + (e^t - 1) = e^t, which is unbounded although ff is bounded.

For nonlinear Volterra equations one speaks instead of stability of a particular solution, in the sense of Lyapunov.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Lp space concept
  2. Volterra integral equation concept
  3. Stability of Volterra equations definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Volterra_integral_equation
About this page
TagQBNKCGZC69
URIm2://QBNKCGZC69
Kinddefinition
WritingW0 stub
MSC45M10, 45D05, 45E10
DefinesStability of Volterra equations
UsesVolterra integral equation, Lp space

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.