Math 2.0

Integral equations Eigenvalue problems for integral equations Example

Sturm–Liouville problem as an integral equation

Builds on Green's functionSymmetric kernelCharacteristic value of a kernelTrace of an integral operator

Example

Consider the simplest Sturm–Liouville problem: find λ\lambda and a nonzero u∈C2[0,1]u \in C^2[0, 1] with −u′′(x)=λu(x),u(0)=u(1)=0.-u''(x) = \lambda u(x), \quad u(0) = u(1) = 0. The Green's function of −u′′-u'' with these boundary conditions is G(x,s)={s(1−x),0≤s≤x≤1,x(1−s),0≤x≤s≤1.G(x, s) = \begin{cases} s(1 - x), & 0 \le s \le x \le 1, \\ x(1 - s), & 0 \le x \le s \le 1. \end{cases} For continuous ff, the unique solution of −u′′=f-u'' = f, u(0)=u(1)=0u(0) = u(1) = 0 is u(x)=∫01G(x,s)f(s) dsu(x) = \int_0^1 G(x, s) f(s) \, ds. Taking f=λuf = \lambda u, the boundary value problem becomes the homogeneous Fredholm equation of the second kind u(x)=λ∫01G(x,s) u(s) ds.u(x) = \lambda \int_0^1 G(x, s) \, u(s) \, ds. Conversely, a continuous solution of this integral equation is C2C^2 and solves the boundary value problem.

Check: the kernel GG is continuous and symmetric. For un(x)=sin⁡(nπx)u_n(x) = \sin(n \pi x), the function v=un/(n2π2)v = u_n / (n^2 \pi^2) satisfies −v′′=un-v'' = u_n and v(0)=v(1)=0v(0) = v(1) = 0. So ∫01G(x,s)sin⁡(nπs) ds=sin⁡(nπx)/(n2π2)\int_0^1 G(x, s) \sin(n \pi s) \, ds = \sin(n \pi x) / (n^2 \pi^2), and the characteristic values of GG are λn=n2π2\lambda_n = n^2 \pi^2, n≥1n \ge 1. These are exactly the eigenvalues of the boundary value problem.

Remarks

Since GG is symmetric, the Hilbert–Schmidt theorem gives the expansion of every function ∫01G(x,s)f(s) ds\int_0^1 G(x, s) f(s) \, ds in the sine series ∑ncnsin⁡(nπx)\sum_n c_n \sin(n \pi x). The trace of GG is ∫01x(1−x) dx=1/6\int_0^1 x(1 - x) \, dx = 1/6. It equals ∑n≥11/λn=∑n≥11/(n2π2)\sum_{n \ge 1} 1/\lambda_n = \sum_{n \ge 1} 1/(n^2 \pi^2), which is Euler's identity ∑n≥11/n2=π2/6\sum_{n \ge 1} 1/n^2 = \pi^2/6.

Reading path

To understand this page from the ground up, read these 5 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. Characteristic value of a kernel concept
  2. Green's function concept
  3. Symmetric kernel concept
  4. Trace of an integral operator concept
  5. Sturm–Liouville problem as an integral equation example

Further reading

  1. Web https://en.wikipedia.org/wiki/Sturm%E2%80%93Liouville_theory
About this page
TagF46GGH7RJ5
URIm2://F46GGH7RJ5
Kindexample
WritingW0 stub
MSC45C05, 34B24, 34B27
IllustratesReduction of a boundary value problem to a Fredholm equation, Sturm–Liouville theory
UsesGreen's function, Symmetric kernel, Characteristic value of a kernel, Trace of an integral operator

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.