Math 2.0

Integral transforms, operational calculus Definition

Kontorovich–Lebedev transform

Builds on Modified Bessel functionsLebesgue integral

Definition

For y∈ℝy \in \R and x>0x > 0 let Kiy(x)=∫0∞e−xcosh⁡tcos⁡(yt) dtK_{iy}(x) = \int_0^\infty e^{-x\cosh t} \cos(yt)\, dt be the modified Bessel function of the second kind of order iyiy. Let f ⁣:(0,∞)→ℂf \colon (0, \infty) \to \C be measurable with ∫0∞∣f(x)∣ K0(x) dx<∞\int_0^\infty \abs{f(x)}\, K_0(x)\, dx < \infty. The Kontorovich–Lebedev transform of ff is the function g ⁣:ℝ→ℂg \colon \R \to \C given by the Lebesgue integral g(y)=∫0∞f(x) Kiy(x) dx.g(y) = \int_0^\infty f(x)\, K_{iy}(x)\, dx.

Remarks

The integral converges absolutely because ∣Kiy(x)∣≤∫0∞e−xcosh⁡t dt=K0(x)\abs{K_{iy}(x)} \le \int_0^\infty e^{-x\cosh t}\, dt = K_0(x). The function Kiy(x)K_{iy}(x) is real and even in yy, so gg is even and is usually considered on (0,∞)(0, \infty). Under suitable conditions on ff, the inversion formula is f(x)=2π2x∫0∞g(y) Kiy(x) sinh⁡(πy) y dy.f(x) = \frac{2}{\pi^2 x} \int_0^\infty g(y)\, K_{iy}(x)\, \sinh(\pi y)\, y\, dy.

Example: f(x)=1f(x) = 1. Since K0(x)K_0(x) behaves like −log⁡x-\log x near 00 and like π/(2x) e−x\sqrt{\pi/(2x)}\, e^{-x} at infinity, K0K_0 is integrable and the condition holds. The formula ∫0∞Kμ(x) dx=π2cos⁡(πμ/2)\int_0^\infty K_\mu(x)\, dx = \frac{\pi}{2\cos(\pi\mu/2)} for ∣Re⁡μ∣<1\abs{\operatorname{Re} \mu} < 1, with μ=iy\mu = iy, gives g(y)=π2cosh⁡(πy/2)g(y) = \frac{\pi}{2\cosh(\pi y / 2)}.

Non-example: f(x)=exf(x) = e^x. For fixed yy, Kiy(x)∼π/(2x) e−xK_{iy}(x) \sim \sqrt{\pi/(2x)}\, e^{-x} as x→∞x \to \infty, so f(x)Kiy(x)∼π/(2x)f(x) K_{iy}(x) \sim \sqrt{\pi/(2x)} and the integral diverges at infinity.

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. Lebesgue integral concept
  2. Modified Bessel functions concept
  3. Kontorovich–Lebedev transform definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Kontorovich%E2%80%93Lebedev_transform
About this page
TagZNC09JXRC5
URIm2://ZNC09JXRC5
Kinddefinition
WritingW0 stub
MSC44A20, 33C10
DefinesKontorovich–Lebedev transform
UsesModified Bessel functions, Lebesgue integral

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.