Math 2.0

Integral transforms, operational calculus Definition

Inverse Mellin transform

Builds on Complex powerIntegrable functionLebesgue integral

Definition

Let c∈ℝc \in \R and let φ\varphi be a complex function defined on the line Re⁡s=c\operatorname{Re} s = c. Assume that y↦φ(c+iy)y \mapsto \varphi(c + iy) is integrable on ℝ\R. For x>0x > 0 and s∈ℂs \in \C, let x−s=e−slog⁡xx^{-s} = e^{-s \log x} be the complex power. The inverse Mellin transform of φ\varphi along the line Re⁡s=c\operatorname{Re} s = c is the function on (0,∞)(0, \infty) given by ℳc−1φ(x)=12πi∫c−i∞c+i∞x−sφ(s) ds=12π∫−∞∞x−c−iyφ(c+iy) dy.\mathcal{M}^{-1}_c \varphi(x) = \frac{1}{2\pi i} \int_{c - i\infty}^{c + i\infty} x^{-s} \varphi(s) \, ds = \frac{1}{2\pi} \int_{-\infty}^{\infty} x^{-c - iy} \varphi(c + iy) \, dy.

Remarks

The Lebesgue integral converges absolutely for every x>0x > 0, because ∣x−c−iy∣=x−c\abs{x^{-c - iy}} = x^{-c}. The result usually depends on cc. When φ\varphi is holomorphic on a vertical strip and decays fast enough, Cauchy's theorem shows that it does not change as cc moves inside the strip. Example: φ=Γ\varphi = \Gamma and c>0c > 0. Stirling's formula gives ∣Γ(c+iy)∣=O(∣y∣c−1/2e−π∣y∣/2)\abs{\Gamma(c + iy)} = O(\abs{y}^{c - 1/2} e^{-\pi \abs{y}/2}), so φ\varphi is integrable on the line, and ℳc−1Γ(x)=e−x\mathcal{M}^{-1}_c \Gamma(x) = e^{-x}. Non-example: φ(s)=1/s\varphi(s) = 1/s and c>0c > 0. Then ∣φ(c+iy)∣=(c2+y2)−1/2\abs{\varphi(c + iy)} = (c^2 + y^2)^{-1/2} is not integrable on ℝ\R, so the definition does not apply; the integral exists only as a limit of integrals over [c−iT,c+iT][c - iT, c + iT]. It is common to drop the index cc and write ℳ−1φ\mathcal{M}^{-1} \varphi.

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. Complex power concept
  2. Integrable function concept
  3. Lebesgue integral concept
  4. Inverse Mellin transform definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Mellin_inversion_theorem
About this page
TagPA7SWNRRPY
URIm2://PA7SWNRRPY
Kinddefinition
WritingW0 stub
MSC44A15
DefinesInverse Mellin transform
UsesComplex power, Integrable function, 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.