Conformable matrix: Difference between revisions
en>SmackBot m remove Erik9bot category,outdated, tag and general fixes |
en>Duoduoduo →Examples: more examples |
||
Line 1: | Line 1: | ||
In [[mathematics]], the '''Mellin inversion formula''' (named after [[Hjalmar Mellin]]) tells us conditions under | |||
which the inverse [[Mellin transform]], or equivalently the inverse [[two-sided Laplace transform]], are defined and recover the transformed function. | |||
== Method == | |||
If <math>\varphi(s)</math> is analytic in the strip <math>a < \Re(s) < b</math>, | |||
and if it tends to zero uniformly as <math> \Im(s) \to \pm \infty </math> for any real value ''c'' between ''a'' and ''b'', with its integral along such a line converging absolutely, then if | |||
:<math>f(x)= \{ \mathcal{M}^{-1} \varphi \} = \frac{1}{2 \pi i} \int_{c-i \infty}^{c+i \infty} x^{-s} \varphi(s)\, ds</math> | |||
we have that | |||
:<math>\varphi(s)= \{ \mathcal{M} f \} = \int_0^{\infty} x^s f(x)\,\frac{dx}{x}.</math> | |||
Conversely, suppose ''f''(''x'') is piecewise continuous on the positive real numbers, taking a value halfway between the limit values at any jump discontinuities, and suppose the integral | |||
:<math>\varphi(s)=\int_0^{\infty} x^s f(x)\,\frac{dx}{x}</math> | |||
is absolutely convergent when <math>a < \Re(s) < b</math>. Then ''f'' is recoverable via the inverse Mellin transform from its Mellin transform <math>\varphi</math>{{Citation needed|date=May 2013}}. | |||
== Boundedness condition == | |||
We may strengthen the boundedness condition on <math>\varphi(s)</math> if | |||
''f''(''x'') is continuous. If <math>\varphi(s)</math> is analytic in the strip <math>a < \Re(s) < b</math>, and if <math>|\varphi(s)| < K |s|^{-2}</math>, where ''K'' is a positive constant, then ''f''(''x'') as defined by the inversion integral exists and is continuous; moreover the Mellin transform of ''f'' is <math>\varphi</math> for at least <math>a < \Re(s) < b</math>. | |||
On the other hand, if we are willing to accept an original ''f'' which is a | |||
[[generalized function]], we may relax the boundedness condition on | |||
<math>\varphi</math> to | |||
simply make it of polynomial growth in any closed strip contained in the open strip <math>a < \Re(s) < b</math>. | |||
We may also define a [[Banach space]] version of this theorem. If we call by | |||
<math>L_{\nu, p}(R^{+})</math> the weighted [[Lp space]] of complex valued functions ''f'' on the positive reals such that | |||
:<math>\|f\| = \left(\int_0^\infty |x^\nu f(x)|^p\, \frac{dx}{x}\right)^{1/p} < \infty</math> | |||
where ν and ''p'' are fixed real numbers with ''p''>1, then if ''f''(''x'') | |||
is in <math>L_{\nu, p}(R^{+})</math> with <math>1 < p \le 2</math>, then | |||
<math>\varphi(s)</math> belongs to <math>L_{\nu, q}(R^{+})</math> with <math>q = p/(p-1)</math> and | |||
:<math>f(x)=\frac{1}{2 \pi i} \int_{\nu-i \infty}^{\nu+i \infty} x^{-s} \varphi(s)\,ds.</math> | |||
Here functions, identical everywhere except on a set of measure zero, are identified. | |||
Since the two-sided Laplace transform can be defined as | |||
:<math> \left\{\mathcal{B} f\right\}(s) = \left\{\mathcal{M} f(- \ln x) \right\}(s)</math> | |||
these theorems can be immediately applied to it also. | |||
==See also== | |||
*[[Mellin transform]] | |||
*[[Nachbin's theorem]] | |||
==References== | |||
* P. Flajolet, X. Gourdon, P. Dumas, ''Mellin transforms and asymptotics: Harmonic sums'', Theoretical Computer Science, 144(1-2):3-58, June 1995 | |||
* McLachlan, N. W., ''Complex Variable Theory and Transform Calculus'', Cambridge University Press, 1953. | |||
* Polyanin, A. D. and Manzhirov, A. V., ''Handbook of Integral Equations'', CRC Press, Boca Raton, 1998. | |||
* [[Edward Charles Titchmarsh|Titchmarsh, E. C.]], ''Introduction to the Theory of Fourier Integrals'', Oxford University Press, second edition, 1948. | |||
* Yakubovich, S. B., ''Index Transforms'', World Scientific, 1996. | |||
* Zemanian, A. H., ''Generalized Integral Transforms'', John Wiley & Sons, 1968. | |||
== External links== | |||
* [http://eqworld.ipmnet.ru/en/auxiliary/aux-inttrans.htm Tables of Integral Transforms] at EqWorld: The World of Mathematical Equations. | |||
* Philippe Flajolet, Xavier Gourdon, Philippe Dumas, ''[http://algo.inria.fr/flajolet/Publications/mellin-harm.pdf Mellin Transforms and Asymptotics: Harmonic sums.]'' | |||
[[Category:Complex analysis]] | |||
[[Category:Integral transforms]] | |||
[[Category:Theorems in analysis]] |
Latest revision as of 18:03, 8 March 2013
In mathematics, the Mellin inversion formula (named after Hjalmar Mellin) tells us conditions under which the inverse Mellin transform, or equivalently the inverse two-sided Laplace transform, are defined and recover the transformed function.
Method
If is analytic in the strip , and if it tends to zero uniformly as for any real value c between a and b, with its integral along such a line converging absolutely, then if
we have that
Conversely, suppose f(x) is piecewise continuous on the positive real numbers, taking a value halfway between the limit values at any jump discontinuities, and suppose the integral
is absolutely convergent when . Then f is recoverable via the inverse Mellin transform from its Mellin transform Potter or Ceramic Artist Truman Bedell from Rexton, has interests which include ceramics, best property developers in singapore developers in singapore and scrabble. Was especially enthused after visiting Alejandro de Humboldt National Park..
Boundedness condition
We may strengthen the boundedness condition on if f(x) is continuous. If is analytic in the strip , and if , where K is a positive constant, then f(x) as defined by the inversion integral exists and is continuous; moreover the Mellin transform of f is for at least .
On the other hand, if we are willing to accept an original f which is a generalized function, we may relax the boundedness condition on to simply make it of polynomial growth in any closed strip contained in the open strip .
We may also define a Banach space version of this theorem. If we call by the weighted Lp space of complex valued functions f on the positive reals such that
where ν and p are fixed real numbers with p>1, then if f(x) is in with , then belongs to with and
Here functions, identical everywhere except on a set of measure zero, are identified.
Since the two-sided Laplace transform can be defined as
these theorems can be immediately applied to it also.
See also
References
- P. Flajolet, X. Gourdon, P. Dumas, Mellin transforms and asymptotics: Harmonic sums, Theoretical Computer Science, 144(1-2):3-58, June 1995
- McLachlan, N. W., Complex Variable Theory and Transform Calculus, Cambridge University Press, 1953.
- Polyanin, A. D. and Manzhirov, A. V., Handbook of Integral Equations, CRC Press, Boca Raton, 1998.
- Titchmarsh, E. C., Introduction to the Theory of Fourier Integrals, Oxford University Press, second edition, 1948.
- Yakubovich, S. B., Index Transforms, World Scientific, 1996.
- Zemanian, A. H., Generalized Integral Transforms, John Wiley & Sons, 1968.
External links
- Tables of Integral Transforms at EqWorld: The World of Mathematical Equations.
- Philippe Flajolet, Xavier Gourdon, Philippe Dumas, Mellin Transforms and Asymptotics: Harmonic sums.