Math 2.0

Integral transforms, operational calculus Definition

Mellin convergence

Builds on Integrable functionComplex power

Definition

Let f ⁣:(0,∞)→ℂf \colon (0, \infty) \to \C be measurable and let s∈ℂs \in \C. For x>0x > 0, let xs−1=e(s−1)log⁡xx^{s-1} = e^{(s-1)\log x} be the complex power. The function ff is Mellin convergent at ss if the function x↦xs−1f(x)x \mapsto x^{s-1} f(x) is integrable on (0,∞)(0, \infty) with respect to Lebesgue measure, that is, ∫0∞xRe⁡s−1∣f(x)∣ dx<∞.\int_0^\infty x^{\operatorname{Re} s - 1} \abs{f(x)} \, dx < \infty.

Remarks

The two forms agree because ∣xs−1∣=xRe⁡s−1\abs{x^{s-1}} = x^{\operatorname{Re} s - 1}. So Mellin convergence at ss depends only on Re⁡s\operatorname{Re} s. If ff is Mellin convergent at σ1\sigma_1 and σ2\sigma_2 with σ1<σ2\sigma_1 < \sigma_2, then it is Mellin convergent at every ss with σ1≤Re⁡s≤σ2\sigma_1 \le \operatorname{Re} s \le \sigma_2, because xσ−1≤xσ1−1+xσ2−1x^{\sigma - 1} \le x^{\sigma_1 - 1} + x^{\sigma_2 - 1} for σ1≤σ≤σ2\sigma_1 \le \sigma \le \sigma_2. Example: f(x)=1/(1+x)f(x) = 1/(1 + x) at s=1/2s = 1/2. Here ∫0∞x−1/2/(1+x) dx=π\int_0^\infty x^{-1/2}/(1 + x) \, dx = \pi, by the substitution x=t2x = t^2, so ff is Mellin convergent at 1/21/2; the same estimates show it is Mellin convergent exactly when 0<Re⁡s<10 < \operatorname{Re} s < 1. Non-example: the same ff at s=1s = 1. The integral ∫0∞dx/(1+x)\int_0^\infty dx/(1 + x) diverges at ∞\infty, so ff is not Mellin convergent at 11.

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. Complex power concept
  2. Integrable function concept
  3. Mellin convergence definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Mellin_transform
About this page
Tag2TM14070HZ
URIm2://2TM14070HZ
Kinddefinition
WritingW0 stub
MSC44A15
DefinesMellin convergence
UsesIntegrable function, Complex power

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.