Теорема 5. (условие существование оригинала) Пусть функция F (p) комплексного переменного p = x + iy удовлетворяет следующим условиям:
1) F (p) – аналитическая функция в области
,
2) в области 
при
равномерно относительно arg p,
3) для всех
сходится интеграл
,
тогда F (p) при
является изображением функции f (t) действительного переменного t, которая определяется выражением (8).
(без доказательства)
Во многих случаях интеграл Меллина может быть вычислен с помощью контурных интегралов от функции комплексного переменного. Но непосредственное применение формулы обращения часто затруднительно, поэтому пользуются теоремами разложения, являющимися следствиями теоремы 3.
Теорема 6. (вторая теорема разложнения). Если изображение F (p) является однозначной функцией и имеет лишь конечное число особых точек p 1, p 2, …, pn, лежащих в конечной части плоскости, то
(9)
(без доказательства)
Теорема 6. (первая теорема разложнения, случай регулярной на бесконечности функции). Если функция F (p) аналитична в некоторой окрестности бесконечно удаленной точки
и ее разложение в ряд Лорана в окрестности точки
имеет вид
, (10)
то функция
(11)
является оригиналом f (t) данной функции F (p).
(без доказательства)
Замечание. Еслиразложение аналитической функции F (p) в ряд Лорана в окрестности точки
имеет вид
, (12)
то ее оригиналом f (t) является функция
. (13)






