Math 2.0

Integral equations Volterra equations Example

Volterra operator

Builds on Lp spaceSpectrum of an operatorSpectral radiusSingular values of a compact operatorTrace class operator

Example

The Volterra operator is the operator VV on the Lp space L2(0,1)L^2(0, 1) given by (Vf)(t)=∫0tf(s) ds,t∈[0,1].(V f)(t) = \int_0^t f(s) \, ds, \quad t \in [0, 1]. It is the integral operator of the Volterra equation of the first kind with kernel K(t,s)=1K(t, s) = 1 for s≤ts \le t and K(t,s)=0K(t, s) = 0 for s>ts > t.

Check that it is a compact operator: the kernel is square-integrable on [0,1]2[0, 1]^2, with ∫01∫01∣K∣2=1/2\int_0^1 \int_0^1 \abs{K}^2 = 1/2. So VV is a Hilbert–Schmidt integral operator, and Hilbert–Schmidt operators are compact.

Check that VV has no eigenvalue. If Vf=0V f = 0, then ∫0tf=0\int_0^t f = 0 for all tt, so f=0f = 0 almost everywhere. If Vf=λfV f = \lambda f with λ≠0\lambda \ne 0, then f=λ−1Vff = \lambda^{-1} V f is continuous, hence VfV f is continuously differentiable, and f′=f/λf' = f / \lambda with f(0)=0f(0) = 0; so f=0f = 0.

Check that the spectrum is {0}\set{0}. The power VnV^n has kernel (t−s)n−1/(n−1)!(t - s)^{n-1}/(n-1)! for s≤ts \le t, so ∥Vn∥≤1/(n−1)!\norm{V^n} \le 1/(n-1)!. Hence the spectral radius lim⁡n∥Vn∥1/n\lim_n \norm{V^n}^{1/n} is 00, while 00 is in the spectrum because a compact operator on an infinite-dimensional space is not invertible.

Remarks

The operator norm of VV is 2/π2/\pi. Its singular values are 2/((2n−1)π)2/((2n - 1)\pi), n≥1n \ge 1, which are square-summable but not summable, so VV is not a trace class operator. The adjoint is (V∗f)(t)=∫t1f(s) ds(V^* f)(t) = \int_t^1 f(s) \, ds, and V+V∗V + V^* is the rank-one operator f↦∫01ff \mapsto \int_0^1 f. The Volterra operator is the standard example of a nonzero quasinilpotent compact operator: its spectrum is the same as that of the zero operator.

Reading path

To understand this page from the ground up, read these 6 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. Singular values of a compact operator concept
  3. Spectral radius concept
  4. Spectrum of an operator concept
  5. Trace class operator concept
  6. Volterra operator example

Further reading

  1. Web https://en.wikipedia.org/wiki/Volterra_operator
About this page
TagG3WJ3XDJ7M
URIm2://G3WJ3XDJ7M
Kindexample
WritingW0 stub
MSC45D05, 47G10, 47B07
Instance ofCompact operator, Hilbert–Schmidt integral operator
UsesLp space, Spectrum of an operator, Spectral radius, Singular values of a compact operator, Trace class operator
Same as

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.