Аннотация:Пусть Φp,E (p>0 — целое, E⊂[0,2π]) — семейство положительных неубывающих функций φx(t) (t>0, x∈E) таких, что φx(nt)⩽npφx(t) (n=0,1,…), tn — тригонометрический полином порядка не выше n; Δlh(f,x) (l>0 — целое) — конечная разность порядка l с шагом h функции f.
ТЕОРЕМА. Пусть f(x) — измеримая, конечная почти всюду на [0,2π], интегрируемая в некоторой окрестности каждой точки x∈E функция, φx∈Φp,E и
lim−−−δ→∞∣∣∣(2δ)−1∫δ−δΔlu(f,x)du∣∣∣φ−1x(δ)⩽C(x)<∞(x∈E).
Тогда существует {tn}∞n=1, сходящаяся к f(x) почти всюду, для которой при x∈E
lim−−−n→∞|f(x)−tn(x)|φ−1x(1/n)⩽AC(x),
где A зависит от p и l.