Пусть функция
комплексного переменного
удовлетворяет следующим условиям:
— аналитическая в области ![{\displaystyle \mathop {\mathrm {Re} } \,p>a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42952fd8e524f82c0186993ae2d99dce212faf4a)
- в области
при
равномерно относительно ![{\displaystyle \arg p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56444e0ff6b640c08e0652d3f966f65c1fd1e7e7)
- для всех
сходится интеграл ![{\displaystyle \int \limits _{x-i\infty }^{x+i\infty }\!|F(p)|\,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91678dd85405306ffdccb6d8496f4932f0a778c6)
Тогда функция
при
является изображением функции
действительной переменной
, которую можно найти по формуле
![{\displaystyle f(t)={\frac {1}{2\pi i}}\int \limits _{x-i\infty }^{x+i\infty }\!e^{pt}F(p)\,dp,\quad x>a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e3fa993c797293c091997da625c553c7f46a806)
Эта формула называется формулой Меллина, а интеграл — интегралом Меллина (названы в честь финского математика Ялмара Меллина). Во многих случаях интеграл Меллина может быть вычислен с помощью вычетов. А именно, если функция
, заданная в области
, может быть аналитически продолжена на всю плоскость комплексного переменного с конечным числом особых точек
и её аналитическое продолжение удовлетворяет при
условиям леммы Жордана, то
![{\displaystyle f(t)=\sum _{k=1}^{n}\mathop {\mathrm {res} } _{p=p_{k}}(e^{pt}F(p))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8b0d82c07d5ffd70778ec9c4964e46b40215e5b)