Преобразова́ние Ги́льберта функции f, несобственный интегралg(x)=π1∫0∞tf(x+t)−f(x−t)dt.(1)Если f∈L(−∞,∞), то функция g существует почти для всех значений x. Если f∈Lp(−∞,∞), p∈(1,∞), тогда функция g также принадлежит Lp(−∞,∞) и почти всюду имеет место двойственная формула [обращение преобразования (1)]:f(x)=−π1∫0∞tg(x+t)−g(x−t)dt,(2)причём∫−∞∞∣g(x)∣2dx⩽Mp∫−∞∞∣f(x)∣pdx,(3)где константа Mp зависит только от p. Формулы (1), (2) эквивалентны формуламg(x)=π1∫−∞∞t−xf(t)dt,(4)f(x)=−π1∫−∞∞t−xg(t)dt,(5)в которых интегралы понимаются в смысле главного значения.
Преобразованием Гильберта функции f называется также рассмотренный в смысле главного значения интегралg(x)=2π1∫02πf(t)ctg2t−xdt.(6)Этот интеграл часто называют сингулярным интегралом Гильберта. В теории рядов Фурье функцию g, определяемую формулой (6), называют сопряжённой с f.
Еслиf∈L(0,2π), то g существует почти всюду, а если f удовлетворяет условию Липшица с показателем α∈(0,1), то g существует при любом x и удовлетворяет тому же условию. Если f∈Lp(0,2π),p∈(1,∞), то g обладает тем же свойством и имеет место неравенство, аналогичное (3), в котором интегралы взяты на интервале (0,2π). Таким образом, интегральные операторы, порождаемые преобразованием Гильберта, являются ограниченными (линейными) операторами в соответствующих пространствах Lp.
Когдаf удовлетворяет условию Липшица или f∈Lp(0,2π) и, кроме того, ∫02πg(x)dx=0, то имеет место двойственная формулаf(x)=−2π1∫02πg(t)ctg2t−xdt,(7)причём∫02πf(x)dx=0.В классе функций, удовлетворяющих условию Липшица, равенство (7) справедливо всюду, а в классе функций, суммируемых с p-й степенью, – почти всюду.
Каждую из выписанных выше двойственных формул можно рассматривать как интегральное уравнение 1-го рода (см. Мусхелишвили. 1968; Бари. 1961); тогда вторая формула даст решение этого уравнения.
Когда функции ctg2t−x и t−x1 рассматриваются как ядра интегральных операторов, то их часто называют ядром Гильберта и ядром Коши. Между этими ядрами в случае единичной окружности существует простая связь:τ−ξdτ=21(ctg2t−x+i)dt,где ξ=eix, τ=eit.
Хведелидзе Борис Владимирович. Первая публикация: Математическая энциклопедия под ред. И. М. Виноградова, 1977.