Итак, перейдем к нахождению . Мы будем использовать то, что является однородной функцией по a фиксированном l . В [95] доказано следующее

Утверждение: Пусть есть преобразование Фурье в смысле обобщенных функций от однородной функции , тогда

. (2.1.3)

Строгое доказательство требует существенного использования аппарата обобщенных функций, понимаемых как линейные функционалы над соответствующим пространством. Здесь мы ограничимся изложением основных моментов доказательства. В частности, замену переменных в расходящихся интегралах мы будем делать по тем же правилам, что и в обычных.

Представим в виде

,

(поскольку параметр l фиксирован, его на данном этапе можно опустить).

Как уже отмечалось выше, интеграл является расходящимся, тем не менее, переходя к сферическим координатам по обычным правилам, получаем:

,

где b = b (j ,q ) = (cosq cosj , sinq cosj , sinj ), j Î [-p /2, p /2], q Î [0, p ].

Учитывая, что , а также то, что интегрирование по углам j и q соответствует интегрированию по единичной сфере, приходим к выражению

.

Интеграл по r есть преобразование Фурье от r ++. Используя таблицы для преобразования Фурье обобщенных функций [19], приходим к выражению (2.1.3).

Для действительных функций f(x) в формуле (2) нужна мнимая часть :

.

Используя обобщенные функции, сосредоточенные на поверхности [19], получаем следующее следствие:

.

Здесь S(x ) = {g Î S2½ (x , g ) = 0), v производная по направлению x . Подставляя в (2.1.2) функции и , зависящие от параметра l , получаем формулу обращения, пригодную для построения численных алгоритмов:

(2.1.4)

Здесь S(x ) v окружность, являющаяся пересечением единичной сферы и плоскости P(b ). Плоскость P(b ) проходит через начало координат ортогональна вектору b . Символ W (x ) означает интегрирование по окружности. Оператор L(b , D) означает дифференцирование функции в направлении вектора b :

,

при этом l , зависящее от b и x, остается фиксированным.

Как и выше, b = b (q , j ) = (cosq cosj , cosq sinj , sinq ), l = l (q , j ) = l (x, b ) такое, что скалярное произведение (x, b ) равно (b , g (l )) и (b , g /(l )).

В формуле (4) используются регулярные функции, и она пригодна для построения численных алгоритмов.

Замечание. А.С. Денисюком независимо и другим методом, без явного использования преобразования Фурье обобщенных функций, получены формулы обращения функции g+ в Rn . При n = 3 формулы А.С. Денисюка и формулы, получаемые изложенным способом из формулы Туя, совпадают.

Выше были получены формулы, позволяющие строить численные алгоритмы восстановления функции f(x) = f(x1, x2, x3) по ее лучевому преобразованию

Далее мы будем опускать символ f и использовать обозначение .

При фиксированном S функция является функцией в трехмерном пространстве, но в силу ee однородности существуют поверхности, такие что полностью определяется своими значениями на них (поверхности расположения приемников излучения).