Два раза дифференцируем по параметру,
Ну два -- явный перебор, ничего хорошего в этом нет. Если уж так, то только один раз; но я бы зашёл с другой стороны. Дифференцирование по параметру -- это вообще не вполне комильфо: за него постоянно приходится оправдываться, да к тому же ещё и интегрировать потом взад.
А вот за что оправдываться не надо -- так это за интегрирование по частям, переводящее гадкую минус вторую степень в прельстительную минус первую: оно уж точно корректно. После чего, с учётом чётностей и элементарной тригонометрии, всё сводится к некоторой комбинации примерно так пяти интегралов вида
, которые от гаммы вообще не зависят (т.е. зависят от знака этой гаммы, но не от её модуля). Некоторые из которых при этом умножаются на
, а некоторые -- нет. В общем, ясно, что результатом преобразования будет некоторая кусочно-линейная функция, у которой линейность может ломаться только в точках
.
А дальше так. Можно, конечно, честно повозиться с этими пятью интегралами, но можно и маленько сжульничать (притом сжульничать тоже вполне честно). Соображения гладкости, убывания на бесконечности и чётности выбивают из этих четырёхзвенных ломаных все варианты, кроме одного -- кроме равнобедренного треугольника с основанием
. Но раз уж мы вид Фурье-образа угадали, то давайте и плюнем на прямое преобразование, а применим обратное преобразование к этому угаданному треугольнику (что вообще ничего, кроме элементарного интегрирования, не требует). В результате не может (мамой клянусь) появиться ничего, кроме исходной функции; правда, умноженной на некоторую константу. Ну так и разделим этот треугольник на эту константу.