Math 2.0

Integral equations Definition

Fourier transform method for convolution equations

Builds on Convolution integral equationFourier transformLp space

Definition

Let k∈L1(ℝ)k \in L^1(\R), let f∈L2(ℝ)f \in L^2(\R), and let λ∈ℂ\lambda \in \C. Write g^(ξ)=∫−∞∞g(x)e−ixξ dx\hat g(\xi) = \int_{-\infty}^{\infty} g(x) e^{-i x \xi} \, dx for the Fourier transform of gg. The Fourier transform method for the convolution integral equation φ(x)−λ∫−∞∞k(x−t) φ(t) dt=f(x),x∈ℝ,\varphi(x) - \lambda \int_{-\infty}^{\infty} k(x - t) \, \varphi(t) \, dt = f(x), \quad x \in \R, with unknown φ∈L2(ℝ)\varphi \in L^2(\R) consists of the following steps.

  1. Apply the Fourier transform to both sides; by the convolution theorem the equation becomes (1−λk^(ξ)) φ^(ξ)=f^(ξ)(1 - \lambda \hat k(\xi)) \, \hat\varphi(\xi) = \hat f(\xi) for almost every ξ∈ℝ\xi \in \R.
  2. Solve for φ^(ξ)=f^(ξ)/(1−λk^(ξ))\hat\varphi(\xi) = \hat f(\xi) / (1 - \lambda \hat k(\xi)).
  3. Recover φ\varphi from φ^\hat\varphi with the inverse Fourier transform.

The function ξ↦1−λk^(ξ)\xi \mapsto 1 - \lambda \hat k(\xi) is the symbol of the equation.

Remarks

If 1−λk^(ξ)≠01 - \lambda \hat k(\xi) \ne 0 for every ξ∈ℝ\xi \in \R, the method gives the unique solution in L2(ℝ)L^2(\R). Indeed k^\hat k is continuous and tends to 00 at infinity by the Riemann–Lebesgue lemma, so ∣1−λk^∣\abs{1 - \lambda \hat k} is bounded below by a positive constant. Then f^/(1−λk^)\hat f / (1 - \lambda \hat k) lies in L2(ℝ)L^2(\R), and the Plancherel theorem makes every step reversible.

Example: k(s)=e−∣s∣k(s) = e^{-\abs{s}}, λ=14\lambda = \frac14, f(x)=12e−∣x∣f(x) = \frac12 e^{-\abs{x}}. Here k^(ξ)=21+ξ2\hat k(\xi) = \frac{2}{1 + \xi^2}, the symbol 1−12(1+ξ2)1 - \frac{1}{2(1 + \xi^2)} is at least 12\frac12, and step 2 gives φ^(ξ)=11/2+ξ2\hat\varphi(\xi) = \frac{1}{1/2 + \xi^2}, so φ(x)=12e−∣x∣/2\varphi(x) = \frac{1}{\sqrt 2} e^{-\abs{x}/\sqrt 2}.

Non-example: for k(s)=12e−∣s∣k(s) = \frac12 e^{-\abs{s}} and λ=1\lambda = 1 the symbol ξ21+ξ2\frac{\xi^2}{1 + \xi^2} vanishes at ξ=0\xi = 0. Step 2 then gives a function f^(ξ)(1+ξ2)/ξ2\hat f(\xi) (1 + \xi^2)/\xi^2 that need not be in L2(ℝ)L^2(\R), so the method does not produce a solution for every f∈L2(ℝ)f \in L^2(\R).

The method needs the integral to run over the whole group ℝ\R. On a half-line one gets a Wiener–Hopf equation, which needs the Wiener–Hopf method instead. For equations on [0,∞)[0, \infty) of Volterra type, the Laplace transform method plays the same role.

Reading path

To understand this page from the ground up, read these 4 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. Convolution integral equation concept
  2. Fourier transform concept
  3. Lp space concept
  4. Fourier transform method for convolution equations definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Fourier_transform
About this page
Tag199B14MWGC
URIm2://199B14MWGC
Kinddefinition
WritingW0 stub
MSC45E10, 42A38
DefinesFourier transform method for convolution equations
UsesConvolution integral equation, Fourier transform, 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.