Глава VII

Функции (продолжение)

[118/96%]
Показать
LaTeX
§
Задача VII.1.1

Докажите, что выпуклая на промежутке Δ\Delta функция удовлетворяет неравенству Иенсена f(∑1⩽j⩽nλjxj)⩽∑1⩽j⩽nλjf(xj)f\left(\sum_{1 \leqslant j \leqslant n} \lambda_{j} x_{j}\right) \leqslant \sum_{1 \leqslant j \leqslant n} \lambda_{j} f\left(x_{j}\right) для всех x1,…,xn∈Δ,λ1,…,λn∈[0,1],λ1+…+λn=1x_{1}, \ldots , x_{n} \in \Delta , \lambda_{1}, \ldots , \lambda_{n} \in [0,1], \lambda_{1}+\ldots +\lambda_{n}=1.

?
Примечание.
?

Функция f:Δ=⟨a,b⟩→Rf: \Delta =\langle a, b\rangle \rightarrow \mathbb {R} называется выпуклой (строго выпуклой), если для всех точек x1,x2∈Δ,x1≠x2x_{1}, x_{2} \in \Delta , x_{1} \neq x_{2}, и чисел λ1,λ2>0,λ1+λ2=1\lambda_{1}, \lambda_{2}>0, \lambda_{1}+\lambda_{2}=1, выполняется неравенство

f(λ1x1+λ2x2)⩽λ1f(x1)+λ2f(x2) f\left(\lambda _{1} x_{1}+\lambda _{2} x_{2}\right) \leqslant \lambda _{1} f\left(x_{1}\right)+\lambda _{2} f\left(x_{2}\right) (f(λ1x1+λ2x2)<λ1f(x1)+λ2f(x2)). \left(f\left(\lambda _{1} x_{1}+\lambda _{2} x_{2}\right)<\lambda _{1} f\left(x_{1}\right)+\lambda _{2} f\left(x_{2}\right)\right).

Если функция (−f)(-f) выпукла, то функция ff называется вогнутой.

Задача VII.1.2

Пусть функция ff задана на промежутке Δ,x1<x2<x3\Delta , x_{1}<x_{2}<x_{3} - точки из Δ\Delta. Рассмотрим три хорды, соединяющие пары точек графика ff с абсциссами x1x_{1} и x2,x1x_{2}, x_{1} и x3,x2x_{3}, x_{2} и x3x_{3}. Угловые коэффициенты этих хорд суть, соответственно, f(x2)−f(x1)x2−x1,f(x3)−f(x1)x3−x1,f(x3)−f(x2)x3−x2\frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}}, \frac{f\left(x_{3}\right)-f\left(x_{1}\right)}{x_{3}-x_{1}}, \frac{f\left(x_{3}\right)-f\left(x_{2}\right)}{x_{3}-x_{2}}. Докажите, что для выпуклости функции ff необходимо и достаточно, чтобы для любой тройки точек x1<x2<x3x_{1}<x_{2}<x_{3} из Δ\Delta выполнялись неравенства

f(x2)−f(x1)x2−x1⩽f(x3)−f(x1)x3−x1⩽f(x3)−f(x2)x3−x2 \frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}} \leqslant \frac{f\left(x_{3}\right)-f\left(x_{1}\right)}{x_{3}-x_{1}} \leqslant \frac{f\left(x_{3}\right)-f\left(x_{2}\right)}{x_{3}-x_{2}}

(лемма о трёх хордах, см. рис. 8).

Рис. 8Рис. 8

Проверьте, что это двойное неравенство равносильно тому, что

∣1x1f(x1)1x2f(x2)1x3f(x3)∣⩾0. \left|\begin{smallmatrix} 1 & x_{1} & f\left(x_{1}\right) \\ 1 & x_{2} & f\left(x_{2}\right) \\ 1 & x_{3} & f\left(x_{3}\right) \end{smallmatrix}\right| \geqslant 0 .
?
Задача VII.1.3

Пусть функция ff, заданная на промежутке Δ\Delta, удовлетворяет неравенству f(x1+x22)⩽f(x1)+f(x2)2f\left(\frac{x_{1}+x_{2}}{2}\right) \leqslant \frac{f\left(x_{1}\right)+f\left(x_{2}\right)}{2} для всех x1,x2∈Δx_{1}, x_{2} \in \Delta. Докажите, что

?
(а)

ff удовлетворяет неравенству Иенсена

f(∑1⩽j⩽nλjxj)⩽∑1⩽j⩽nλjf(xj),xj∈Δ(j=1,…,n) f\left(\sum _{1 \leqslant j \leqslant n} \lambda _{j} x_{j}\right) \leqslant \sum _{1 \leqslant j \leqslant n} \lambda _{j} f\left(x_{j}\right), \quad x_{j} \in \Delta \quad (j=1, \ldots , n)

для любых рациональных λj∈[0,1],λ1+…+λn=1\lambda_{j} \in [0,1], \lambda_{1}+\ldots +\lambda_{n}=1;

(б)

если функция ff непрерывна, то она выпукла.

Задача VII.1.4

Докажите, что условие непрерывности в задаче 1.3 б) можно заменить следующим: функция ff ограничена сверху на каком-нибудь непустом интервале (p,q)⊂Δ(p, q) \subset \Delta (или даже на (p,q)\Q(p, q) \backslash \mathbb {Q}).

?
Задача VII.1.5

Докажите, что для функции f:(a,b)→Rf:(a, b) \rightarrow \mathbb {R} равносильны три утверждения:

  1. ff выпукла;

  2. надграфик функции ff

    Γ+={(x,y)∈R2∣x∈(a,b),y⩾f(x)} \Gamma ^{+}=\left\{ (x, y) \in \mathbb {R}^{2} \mid x \in (a, b), y \geqslant f(x)\right\}
    • выпуклое множество;
  3. через каждую точку графика функции ff можно провести опорную для надграфика прямую (т. е. такую прямую, что все точки надграфика лежат не ниже неё).

?
Задача VII.1.6

Докажите, что если функция, заданная на промежутке, выпукла локально, то она выпукла.

?
Задача VII.1.7

Пусть ff - выпуклая на промежутке [a,b]\left[a, b\right] функция. Докажите, что тогда

?
(а)

функция φ(x)=f(x)+f(a+b−x)\varphi (x)=f(x)+f(a+b-x) убывает на [a,a+b2]\left[a, \frac{a+b}{2}\right];

(б)

функция ψ(x)=f(x+h)−f(x)\psi (x)=f(x+h)-f(x) возрастает на [a,b−h]\left[a, b-h\right] для любого h∈(0,b−a)h \in (0, b-a).

Задача VII.1.8

Пусть функция ff вогнута на промежутке [0,+∞),f(0)=0[0,+\infty ), f(0)=0. Докажите, что для всех x,y⩾0x, y \geqslant 0 выполняется неравенство

f(x+y)⩽f(x)+f(y). f(x+y) \leqslant f(x)+f(y) .
?
Задача VII.1.9

Докажите, что если функция ff выпукла и строго монотонна, то f−1f^{-1} либо выпукла, либо вогнута.

?
Задача VII.1.10

Пусть функция ff выпукла, а функция gg выпукла и возрастает. Докажите, что если имеет смысл суперпозиция g∘fg \circ f, то она выпукла.

?
Задача VII.1.11

Пусть f∈C((0,+∞))f \in C((0,+\infty )). Докажите, что тогда функции x↦xf(x),x↦f(1x)x \mapsto x f(x), x \mapsto f\left(\frac{1}{x}\right) выпуклы или нет одновременно.

?
Задача VII.1.12

Пусть функция ff выпукла на [a,+∞)[a,+\infty ). Докажите, что существует предел lim⁡x→+∞f(x)x=l∈R‾\lim_{x \rightarrow +\infty } \frac{f(x)}{x}=l \in \overline{\mathbb {R}}, причём l>−∞l>-\infty.

?
Задача VII.1.13

Докажите, что выпуклая функция ff, заданная на промежутке ⟨a,b⟩\langle a, b\rangle, непрерывна на (a,b)(a, b) и имеет там конечные возрастающие односторонние производные f−′(x),f+′(x)f_{-}^{\prime }(x), f_{+}^{\prime }(x), а f′(x)f^{\prime }(x) существует всюду, за исключением не более чем счётного множества точек. Докажите, что f∈Lip⁡1(Δ)f \in \operatorname {Lip}_{1}(\Delta ) для любого замкнутого промежутка Δ⊂(a,b)\Delta \subset (a, b).

?
Задача VII.1.14

Докажите, что функция f∈C((a,b))f \in C((a, b)) выпукла тогда и только тогда, когда для всех x∈(a,b)x \in (a, b) выполняется неравенство

Lf(x)=lim‾⁡h→0f(x+h)−2f(x)+f(x−h)h2⩾0 L_{f}(x)=\varlimsup _{h \rightarrow 0} \frac{f(x+h)-2 f(x)+f(x-h)}{h^{2}} \geqslant 0

В частности, если Lf(x)=0L_{f}(x)=0 при всех x∈(a,b)x \in (a, b), то ff - линейная функция; если ff дважды дифференцируема в (a,b)(a, b), то она выпукла тогда и только тогда, когда f′′(x)⩾0f^{\prime \prime }(x) \geqslant 0 в (a,b)(a, b).

?
Задача VII.1.15

Пусть f∈C(⟨a,b⟩)f \in C(\langle a, b\rangle ). Докажите, что для выпуклости функции ff необходимо и достаточно, чтобы для всех x∈(a,b)x \in (a, b) и таких h>0h>0, что x−h,x+h∈⟨a,b⟩x-h, x+h \in \langle a, b\rangle, выполнялось неравенство

f(x)⩽12h∫x−hx+hf(t)dt f(x) \leqslant \frac{1}{2 h} \int _{x-h}^{x+h} f(t) d t
?
Задача VII.1.16

Пусть функция ff выпукла на R\mathbb {R} и lim⁡x→±∞f(x)x=0\lim_{x \rightarrow \pm \infty } \frac{f(x)}{x}=0. Докажите, что ff постоянна.

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

?
Задача VII.1.17

Докажите, что всякая выпуклая на [a,b]\left[a, b\right] непрерывная функция является пределом равномерно сходящейся убывающей последовательности:

?
(а)

кусочно линейных выпуклых функций;

(б)

дважды непрерывно дифференцируемых выпуклых функций.

Задача VII.1.18

Докажите, что если функция f:[0,+∞)→Rf:[0,+\infty ) \rightarrow \mathbb {R} дифференцирусма, вогнута и неотрицательна, то xf′(x)⩽f(x)x f^{\prime }(x) \leqslant f(x) для всех x⩾0x \geqslant 0.

?
Задача VII.1.19

Пусть функция ff выпукла и возрастает на промежутке [0,+∞),f(0)=0[0,+\infty ), f(0)=0. Докажите, что для любых чисел a0⩾a1⩾…⩾an⩾0a_{0} \geqslant a_{1} \geqslant \ldots \geqslant a_{n} \geqslant 0 выполняется неравенство

∑0⩽k⩽n(−1)kf(ak)⩾f(∑0⩽k⩽n(−1)kak). \sum _{0 \leqslant k \leqslant n}(-1)^{k} f\left(a_{k}\right) \geqslant f\left(\sum _{0 \leqslant k \leqslant n}(-1)^{k} a_{k}\right) .
?
Задача VII.1.20

Последовательность {an}⊂R\left\{ a_{n}\right\} \subset \mathbb {R} называется выпуклой, если Δ2an=an+2−2an+1+an⩾0\Delta^{2} a_{n}=a_{n+2}-2 a_{n+1}+a_{n} \geqslant 0, т.е. an+1⩽12(an+an+2)a_{n+1} \leqslant \frac{1}{2}\left(a_{n}+a_{n+2}\right) для любого n∈Nn \in \mathbb {N}. Докажите, что если последовательность {an}\left\{ a_{n}\right\} выпукла, то

?
(а)

an+p⩽pp+qan+p+q+qp+qan(p,q∈N)a_{n+p} \leqslant \frac{p}{p+q} a_{n+p+q}+\frac{q}{p+q} a_{n} \quad (p, q \in \mathbb {N});

(б)

последовательность {an}\left\{ a_{n}\right\} монотонна или существует такой номер m>1m>1, что a1⩾a2⩾…⩾am⩽am+1⩽am+2…a_{1} \geqslant a_{2} \geqslant \ldots \geqslant a_{m} \leqslant a_{m+1} \leqslant a_{m+2} \ldots

Задача VII.1.21

Пусть {an}n⩾0\left\{ a_{n}\right\}_{n \geqslant 0} - ограниченная выпуклая последовательность (см. задачу 1.20). Докажите, что

?
(а)

an↓a∈Ra_{n} \downarrow a \in \mathbb {R};

(б)

an−an−1=o(1n)a_{n}-a_{n-1}=o\left(\frac{1}{n}\right);

(в)

∑n⩾0(n+1)Δ2an=a0−a\sum_{n \geqslant 0}(n+1) \Delta^{2} a_{n}=a_{0}-a.

Задача VII.1.22

Пусть L>0,f∈C([0,L]),f⩾0L>0, f \in C(\left[0, L\right]), f \geqslant 0. Положим M=∫0Lf(x)dxM=\int_{0}^{L} f(x) d x,

I1=∫0Lxf(x)dx,I2=∫0Lx2f(x)dxJ1=12∫0Lf2(x)dx,J2=13∫0Lf3(x)dx \begin{aligned} I_{1} & =\int _{0}^{L} x f(x) d x, & I_{2} & =\int _{0}^{L} x^{2} f(x) d x \\ J_{1} & =\frac{1}{2} \int _{0}^{L} f^{2}(x) d x, & J_{2} & =\frac{1}{3} \int _{0}^{L} f^{3}(x) d x \end{aligned}

Докажите, что если функция ff вогнута, то

?
(а)

13ML⩽I1⩽23ML\frac{1}{3} M L \leqslant I_{1} \leqslant \frac{2}{3} M L;

(б)

16ML2⩽I2⩽12ML2\frac{1}{6} M L^{2} \leqslant I_{2} \leqslant \frac{1}{2} M L^{2};

(в)

12M2L⩽J1⩽23M2L\frac{1}{2} \frac{M^{2}}{L} \leqslant J_{1} \leqslant \frac{2}{3} \frac{M^{2}}{L};

(г)

13M3L2⩽J2⩽23M3L2\frac{1}{3} \frac{M^{3}}{L^{2}} \leqslant J_{2} \leqslant \frac{2}{3} \frac{M^{3}}{L^{2}},

причём коэффициенты в этих неравенствах нельзя улучшить. Все неравенства имеют простой механический смысл. Например, неравенства а) означают, что среди равновеликих подграфиков вогнутых функций наименьшим и наибольшим статическими моментами относительно оси yy обладают треугольники, а неравенства г) - что среди таких фигур наименьший и наибольший моменты инерции относительно оси xx имеют, соответственно, треугольник и прямоугольник.

Задача VII.1.23

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

?
(а)

Докажите, что дроби I1ML\frac{I_{1}}{M L} и I2ML2\frac{I_{2}}{M L^{2}} могут принимать любые значения из интервала (0,1)(0,1).

(б)

Докажите, что при H=max⁡f>0H=\max f>0 дроби J1MH\frac{J_{1}}{M H} и J2MH2\frac{J_{2}}{M H^{2}} также могут гринимать любые значения из интервала (0,1)(0,1).

Уточните оценку сверху в случае, когда величины MM и HH фиксированы.

Задача VII.1.24

Пусть функция ff не убывает на [0,12]\left[0, \frac{1}{2}\right] и f(1−x)=f(x)f(1-x)=f(x) на [0,1]\left[0,1\right]. Докажите, что для любой выпуклой на [0,1]\left[0,1\right] функции φ\varphi справедливо неравенство

∫01f(x)φ(x)dx⩽∫01f(x)dx∫01φ(x)dx \int _{0}^{1} f(x) \varphi (x) d x \leqslant \int _{0}^{1} f(x) d x \int _{0}^{1} \varphi (x) d x
?
Задача VII.1.25

Пусть функции f,gf, g неотрицательны и выпуклы на промежутке [a,b]\left[a, b\right], причём один из концов промежутка - корень обеих функций. Докажите неравенство

∫abf(x)dx∫abg(x)dx⩽34(b−a)∫abf(x)g(x)dx \int _{a}^{b} f(x) d x \int _{a}^{b} g(x) d x \leqslant \frac{3}{4}(b-a) \int _{a}^{b} f(x) g(x) d x
?
Задача VII.1.26

Пусть функции ff и gg неотрицательны и вогнуты на промежутке [a,b]\left[a, b\right]. Докажите неравенство

∫abf(x)dx∫abg(x)dx⩽32(b−a)∫abf(x)g(x)dx \int _{a}^{b} f(x) d x \int _{a}^{b} g(x) d x \leqslant \frac{3}{2}(b-a) \int _{a}^{b} f(x) g(x) d x
?
Задача VII.1.27

Пусть 0<a<b,K0<a<b, K - множество всех таких неотрицательных нсвозрастающих на промежутке [a,b]\left[a, b\right] функций ff, что

af(a)=bf(b) и ∫abf(x)dx=1 a f(a)=b f(b) \quad \text{ и } \quad \int _{a}^{b} f(x) d x=1

Докажите, что для любых функций ff и gg из KK справедливо неравенство

∫abmax⁡{f(x),g(x)}dx⩽2ba+b \int _{a}^{b} \max \left\{ f(x), g(x)\right\} d x \leqslant \frac{2 \sqrt{b}}{\sqrt{a}+\sqrt{b}}

Для каких функций достигается равенство?

?
Задача VII.1.28

Пусть функция ff интегрируема на промежутке [a,b]\left[a, b\right]. Докажите, что неотрицательность интеграла ∫abf(x)φ(x)dx\int_{a}^{b} f(x) \varphi (x) d x для любой выпуклой на [a,b]\left[a, b\right] функции φ\varphi равносильна тому, что функция ff удовлетворяет трём условиям:

  1. ∫abf(x)dx=0\int_{a}^{b} f(x) d x=0;

  2. ∫abxf(x)dx=0\int_{a}^{b} x f(x) d x=0;

  3. ∫ac(c−x)f(x)dx⩾0\int_{a}^{c}(c-x) f(x) d x \geqslant 0 для любого c∈(a,b)c \in (a, b).

?
Задача VII.1.29

Пусть функция ff убывает к нулю на (0,+∞)(0,+\infty ) и a>0a>0. Докажите, что ∫0∞f(x)sin⁡axdx⩾0\int_{0}^{\infty } f(x) \sin a x d x \geqslant 0, а если ff выпукла, то ∫0∞f(x)cos⁡axdx⩾0\int_{0}^{\infty } f(x) \cos a x d x \geqslant 0. В обоих случаях знак равенства возможен лишь для f≡0f \equiv 0.

?
Задача VII.1.30
?
(а)

Пусть an,λn⩾0(n∈N),f(x)=∑ane−λnxa_{n}, \lambda_{n} \geqslant 0 \quad (n \in \mathbb {N}), f(x)=\sum a_{n} e^{-\lambda_{n} x}. Докажите, что ln⁡f\ln f - выпуклая функция на R\mathbb {R}.

(б)

Положительная функция ff называется логарифмически выпуклой, если функция ln⁡f\ln f выпукла. Докажите, что логарифмически выпуклая функция выпукла и что сумма логарифмически выпуклых функций логарифмически выпукла.

(в)

Докажите, что Г-функция Эйлера логарифмически выпукла на (0,+∞)(0,+\infty ).

(г)

Пусть ff - логарифмически выпуклое на (0,+∞)(0,+\infty ) решение функционального уравнения f(x+1)=xf(x)(x>0)f(x+1)=x f(x)(x>0). Докажите, что f(x)=f(1)Γ(x)f(x)=f(1) \Gamma (x) для всех x>0x>0.

Задача VII.1.31

Пусть f∈C((0,+∞)),f(1)=1f \in C((0,+\infty )), f(1)=1. Докажите, что системе неравенств

{f(x+y2)⩾f(x)+f(y)2,f(x)f(y)⩾f(xy), \begin{cases} f\left(\frac{x+y}{2}\right) \geqslant \frac{f(x)+f(y)}{2}, \\ f(x) f(y) \geqslant f(x y), \end{cases}

где xx и yy - произвольные положительные числа, удовлетворяет лишь степенна́я функция f(x)=xpf(x)=x^{p} с показателем p∈[0,1]p \in [0,1], а если оба знака неравенств заменить на знаки ⩽\leqslant, то лишь степенна́я функция с показателем p∉(0,1)p \notin (0,1). Убедитесь в том, что это не так, если заменить знак только во втором неравенстве.

?
Задача VII.1.32

Пусть aj,bj⩾0,j=1,…,n;p,q>1,1p+1q=1a_{j}, b_{j} \geqslant 0, j=1, \ldots , n ; p, q>1, \frac{1}{p}+\frac{1}{q}=1. Докажите перавенство Гёльдера

∑1⩽j⩽najbj⩽(∑1⩽j⩽najp)1/p(∑1⩽j⩽nbjp)1/q. \sum _{1 \leqslant j \leqslant n} a_{j} b_{j} \leqslant \left(\sum _{1 \leqslant j \leqslant n} a_{j}^{p}\right)^{1 / p}\left(\sum _{1 \leqslant j \leqslant n} b_{j}^{p}\right)^{1 / q} .
?
Задача VII.1.33

Пусть xj>0,j=1,…,n,p≠0x_{j}>0, j=1, \ldots , n, p \neq 0. Положим

ϰ(p)=(1n∑1⩽j⩽nxjp)1/p. \varkappa (p)=\left(\frac{1}{n} \sum _{1 \leqslant j \leqslant n} x_{j}^{p}\right)^{1 / p} .

Цокажите, что

  1. ϰ\varkappa возрастает;

  2. lim⁡p→0ϰ(p)=x1…xnn\lim_{p \rightarrow 0} \varkappa (p)=\sqrt[n]{x_{1} \ldots x_{n}};

  3. lim⁡p→+∞ϰ(p)=max⁡{x1,…,xn}\lim_{p \rightarrow +\infty } \varkappa (p)=\max \left\{ x_{1}, \ldots , x_{n}\right\};

  4. lim⁡p→−∞ϰ(p)=min⁡{x1,…,xn}\lim_{p \rightarrow -\infty } \varkappa (p)=\min \left\{ x_{1}, \ldots , x_{n}\right\};

  5. функция φ(p)=(ϰ(p))p\varphi (p)=(\varkappa (p))^{p} логарифмически выпукла на промежутке (0,+∞)(0,+\infty ).

Сформулируйте аналоги этих утверждений, заменив ϰ(p)\varkappa (p) выраженисм (1b−a∫abfp(x)dx)1/p\left(\frac{1}{b-a} \int_{a}^{b} f^{p}(x) d x\right)^{1 / p}, где ff - непрерывная положительная на [a,b]\left[a, b\right] рункция.

?
Задача VII.1.34

Пусть кусочно непрерывные на [a,b]\left[a, b\right] функции ff и pp удовлетворяют условиям f([a,b])⊂[m,M],p⩾0,∫abp(x)dx=1f(\left[a, b\right]) \subset [m, M], p \geqslant 0, \int_{a}^{b} p(x) d x=1, а функция φ\varphi ыыпукла на [m,M]\left[m, M\right]. Докажите, что

?
(а)

φ(1b−a∫abf(x)dx)⩽1b−a∫abφ(f(x))dx\varphi \left(\frac{1}{b-a} \int_{a}^{b} f(x) d x\right) \leqslant \frac{1}{b-a} \int_{a}^{b} \varphi (f(x)) d x;

(б)

φ(∫abf(x)p(x)dx)⩽∫abφ(f(x))p(x)dx\varphi \left(\int_{a}^{b} f(x) p(x) d x\right) \leqslant \int_{a}^{b} \varphi (f(x)) p(x) d x;

(в)

если f>0f>0, то

(∫abp(x)f(x)dx)−1⩽exp⁡(∫abp(x)ln⁡f(x)dx)⩽∫abp(x)f(x)dx \left(\int _{a}^{b} \frac{p(x)}{f(x)} d x\right)^{-1} \leqslant \exp \left(\int _{a}^{b} p(x) \ln f(x) d x\right) \leqslant \int _{a}^{b} p(x) f(x) d x
Задача VII.1.35

Пусть A0,A1,…,AnA_{0}, A_{1}, \ldots , A_{n} - вершины вписанного в окружность выпуклого многоугольника, причём вершины A0A_{0} и AnA_{n} фиксированы. Как при заданном nn выбрать точки A1,…,An−1A_{1}, \ldots , A_{n-1}, чтобы

?
(а)

периметр;

(б)

площадь многоугольника

были наибольшими?

Задача VII.1.36

Источник света, помещённый в точке (0,b),b>0(0, b), b>0, освещает область, которая является подграфиком неотрицательной выпуклой функции f∈C1([0,+∞)),f(0)>bf \in C^{1}([0,+\infty )), f(0)>b. Лучи света отражаются от графика ff и от оси абсцисс по известному закону. Будет ли освещена вся область, если lim⁡x→+∞f(x)=0\lim_{x \rightarrow +\infty } f(x)=0 ?

?
Задача VII.1.37

Пусть функция f:R→(−∞,+∞]f: \mathbb {R} \rightarrow (-\infty ,+\infty ] выпукла, D(f)D(f) - промежуток {x∈R∣f(x)<+∞}\left\{ x \in \mathbb {R} \mid f(x)<+\infty \right\}, а Δ\Delta - интервал (inf⁡f′(t),sup⁡f′(t))\left(\inf f^{\prime }(t), \sup f^{\prime }(t)\right), где infimum и supremum вычисляются по множеству тех точек tt, в которых существует f′(t)f^{\prime }(t).

Преобразованием Лежандра функции ff называется функция

f∗(x)=sup⁡t∈R(xt−f(t))(x∈R). f^{*}(x)=\sup _{t \in \mathbb {R}}(x t-f(t)) \quad (x \in \mathbb {R}) .

Величина f∗(x)f^{*}(x) показывает, насколько нужно сместить по вертикали проходящую через начало координат прямую с угловым коэффициентом xx, чтобы она стала опорной к надграфику функции ff (рис. 9).

Рис. 9Рис. 9

Докажите, что

?
(а)

функция f∗f^{*} выпукла;

(б)

если точка tt не лежит на границе D(f)D(f), то

f(t)=sup⁡{g(t)∣g - линейная функция, g⩽f};  f(t)=\sup \left\{ g(t) \mid g \text{ - линейная функция, } g \leqslant f\right\} \text{; }
(в)

(f∗)∗(t)=f(t)\left(f^{*}\right)^{*}(t)=f(t), если tt не принадлежит границе D(f)D(f);

(г)

выполняется неравенство Юнга

f(t)+f∗(x)⩾xt для всех x,t∈R;  f(t)+f^{*}(x) \geqslant x t \quad \text{ для всех } x, t \in \mathbb {R} \text{; }
(д)

функция f∗f^{*} конечна в интервале Δ\Delta и для x∈Δx \in \Delta supremum в определении f∗(x)f^{*}(x) достигается;

(е)

если s−=f−′(t)<f+′(t)=s+s_{-}=f_{-}^{\prime }(t)<f_{+}^{\prime }(t)=s_{+}, то f∗f^{*} линейна на промежутке [s−,s+]\left[s_{-}, s_{+}\right]; если ff линейна на промежутке [a,b]\left[a, b\right], то f∗f^{*} не дифференцируема в точке p=f′(t),t∈(a,b)p=f^{\prime }(t), t \in (a, b);

(ж)

если D(f)=⟨a,b⟩D(f)=\langle a, b\rangle, а ff - строго выпуклая и дифференцируемая в (a,b)(a, b), то f′f^{\prime } непрерывна на (a,b),f∗(a, b), f^{*} дифференцируема на интервале Δ\Delta и при этом функции f′f^{\prime } и (f∗)′\left(f^{*}\right)^{\prime } взаимно обратны;

(з)

если f⩽gf \leqslant g, то f∗⩾g∗f^{*} \geqslant g^{*}.

Задача VII.1.38

Докажите, что если функция φ\varphi строго возрастает и непрерывна на [0,+∞),φ(0)=0,ψ=φ−1[0,+\infty ), \varphi (0)=0, \psi =\varphi^{-1}, то для a∈[0,+∞)a \in [0,+\infty ) и b∈[0,sup⁡φ)b \in [0, \sup \varphi ) выполняется неравенство

ab⩽∫0aφ(t)dt+∫0bψ(t)dt a b \leqslant \int _{0}^{a} \varphi (t) d t+\int _{0}^{b} \psi (t) d t
?
Задача VII.1.39

Найдите преобразование Лежандра и напишите неравенство Юнга (см. задачу 1.37 г)) для следующих функций:

?
(а)

f(t)=t22f(t)=\frac{t^{2}}{2};

(б)

f(t)=∣t∣pp(p⩾1)f(t)=\frac{\left|t\right|^{p}}{p} \quad (p \geqslant 1);

(в)

график ff - выпуклая ломаная;

(г)

f(t)={−tpp, если t⩾0,+∞, если t<0(0<p<1);f(t)= \begin{cases} -\frac{t^{p}}{p}, & \text{ если } t \geqslant 0, \\ +\infty , & \text{ если } t<0 \quad (0<p<1) ;\end{cases}

(д)

f(t)={−a2−t2, если ∣t∣⩽a,+∞, если ∣t∣>a(a>0);f(t)= \begin{cases} -\sqrt{a^{2}-t^{2}}, & \text{ если }\left|t\right| \leqslant a, \\ +\infty , & \text{ если }\left|t\right|>a \quad (a>0) ;\end{cases}

(е)

f(t)={−12−ln⁡t, если t>0,+∞, если t⩽0;f(t)= \begin{cases} -\frac{1}{2}-\ln t, & \text{ если } t>0, \\ +\infty , & \text{ если } t \leqslant 0 ;\end{cases}

(ж)

f(t)=etf(t)=e^{t}.

Задача VII.1.40

Рассмотрим совокупность WW пар (f,g)(f, g) выпуклых на R\mathbb {R} функций, удовлетворяющих условию xy⩽f(x)+g(y)x y \leqslant f(x)+g(y) для всех x,y∈Rx, y \in \mathbb {R}. Назовём пару (f0,g0)∈W\left(f_{0}, g_{0}\right) \in W экстремальной, если из соотношений f⩽f0,g⩽g0,(f,g)∈Wf \leqslant f_{0}, g \leqslant g_{0},(f, g) \in W следует, что f=f0,g=g0f=f_{0}, g=g_{0}. Докажите, что пара (f0,g0f_{0}, g_{0}) экстремальна тогда и только тогда, когда f0∗=g0f_{0}^{*}=g_{0}, g0∗=f0g_{0}^{*}=f_{0}.

?
Задача VII.1.41

Укажите примеры функций, для которых f∗(x)=f(−x)(x∈R)f^{*}(x)=f(-x) (x \in \mathbb {R}). Докажите, что единственной функцией, совпадающей со своим преобразованием Лежандра, является функция f(t)=t22f(t)=\frac{t^{2}}{2}.

?
§
Задача VII.2.1

Докажите, что если функция ff дифференцируема mm раз на интервале (a,b)(a, b) и x,x+mh∈(a,b)x, x+m h \in (a, b), то

Δhmf(x)=hmf(m)(x+θh), \Delta _{h}^{m} f(x)=h^{m} f^{(m)}(x+\theta h),

где 0<θ<m0<\theta <m (определение Δhmf(x)\Delta_{h}^{m} f(x) см. в задаче III.3.1).

?
Задача VII.2.2

Пусть функция ff дифференцируема nn раз на [0,1]\left[0,1\right] и f(k)(0)==f(k)(1)=0f^{(k)}(0)= =f^{(k)}(1)=0 для k=1,…,n−1k=1, \ldots , n-1. Докажите, что для некоторого x∈[0,1]x \in [0,1] выполняется неравенство

∣f(n)(x)∣⩾n!2n−1∣f(0)−f(1)∣. \left|f^{(n)}(x)\right| \geqslant n!2^{n-1}\left|f(0)-f(1)\right| .
?
Задача VII.2.3

Пусть функция ff непрерывна на R\mathbb {R} и существуют такие вещественные числа ak,bk,ck(1⩽k⩽n)a_{k}, b_{k}, c_{k}(1 \leqslant k \leqslant n), что

f(x)=∑1⩽k⩽nakf(bkx+cky) для всех x,y∈R. f(x)=\sum _{1 \leqslant k \leqslant n} a_{k} f\left(b_{k} x+c_{k} y\right) \quad \text{ для всех } \quad x, y \in \mathbb {R} .

Докажите, что если ck≠0c_{k} \neq 0 для всех kk, то ff - многочлен.

?
Задача VII.2.4

Пусть f(x)=P1(x)eQ1(x)+…+Pn(x)eQn(x)f(x)=P_{1}(x) e^{Q_{1}(x)}+\ldots +P_{n}(x) e^{Q_{n}(x)}, где Pk,Qk(k=1,2,…,n)P_{k}, Q_{k} (k=1,2, \ldots , n) - вещественные многочлены, x∈Rx \in \mathbb {R}. Докажите, что если f≢0f \not\equiv 0, то ff имеет конечное число нулей.

?
Задача VII.2.5

Пусть f∈C∞([0,∞)),f(0)=lim⁡x→+∞f(x)f \in C^{\infty }([0, \infty )), f(0)=\lim_{x \rightarrow +\infty } f(x). Докажите, что для каждого n∈Nn \in \mathbb {N} функция f(n)f^{(n)} обращается в нуль.

?
Задача VII.2.6

Пусть f∈C2((0,1))f \in C^{2}((0,1)) и f(x)=o(1),f′′(x)=O(x−2)f(x)=o(1), f^{\prime \prime }(x)=O\left(x^{-2}\right) при x→+0x \rightarrow +0. Докажите, что f′(x)=o(x−1)f^{\prime }(x)=o\left(x^{-1}\right) при x→+0x \rightarrow +0.

?
Задача VII.2.7

Пусть Δ\Delta - промежуток, f∈C2(Δ),Mk=sup⁡Δ∣f(k)∣,k=0,1,2f \in C^{2}(\Delta ), M_{k}=\sup_{\Delta }\left|f^{(k)}\right|, k=0,1,2.

?
(а)

Докажите, что в случае Δ=R\Delta =\mathbb {R} выполняется неравенство

M1⩽2M0M2 M_{1} \leqslant \sqrt{2} \sqrt{M_{0} M_{2}}

и что константа 2\sqrt{2} не может быть уменьшена.

(б)

Получите аналогичное неравенство в случае, когда Δ=R+\Delta =\mathbb {R}_{+}.

(в)

Докажите, что если Δ=[0,2]\Delta =\left[0,2\right] и M0,M2⩽1M_{0}, M_{2} \leqslant 1, то M1⩽2M_{1} \leqslant 2 (оценка точная).

(г)

Изучите вопрос для произвольного промежутка Δ=[a,b]\Delta =\left[a, b\right].

Задача VII.2.8

Пусть f∈C2([0,+∞))f \in C^{2}([0,+\infty )) и ∫0+∞∣f(x)∣dx<+∞\int_{0}^{+\infty }\left|f(x)\right| d x<+\infty. Докажите неравснства:

?
(а)

∣f(0)∣2⩽2∫0+∞∣f(x)∣dx∫0+∞∣f′′(x)∣dx\left|f(0)\right|^{2} \leqslant 2 \int_{0}^{+\infty }\left|f(x)\right| d x \int_{0}^{+\infty }\left|f^{\prime \prime }(x)\right| d x;

(б)

2∣f(0)∣⩽∫0+∞(∣f(x)∣+∣f′′(x)∣)dx\sqrt{2}\left|f(0)\right| \leqslant \int_{0}^{+\infty }\left(\left|f(x)\right|+\left|f^{\prime \prime }(x)\right|\right) d x.

Являются ли они точными?

Задача VII.2.9

Найдите min⁡∫01∣f′′(x)∣2dx\min \int_{0}^{1}\left|f^{\prime \prime }(x)\right|^{2} d x при условии, что f∈C2([0,1])f \in C^{2}(\left[0,1\right]), f(0)=f(1)=0,f′(0)=af(0)=f(1)=0, f^{\prime }(0)=a.

?
Задача VII.2.10

Пусть f∈C2([0,1]),f(0)=f(1)=0f \in C^{2}(\left[0,1\right]), f(0)=f(1)=0 и ∣f′′(x)∣⩽1\left|f^{\prime \prime }(x)\right| \leqslant 1 для всех x∈[0,1]x \in [0,1]. Докажите неравенства:

?
(а)

∫01∣f(x)∣dx⩽112\int_{0}^{1}\left|f(x)\right| d x \leqslant \frac{1}{12}. Для каких функций достигается равенство?

(б)

∫01∣f(x)∣dx<148\int_{0}^{1}\left|f(x)\right| d x<\frac{1}{48}, если ∫01f(x)dx=0\int_{0}^{1} f(x) d x=0. Можно ли уменьшить правую часть?

Задача VII.2.11

Пусть f∈C∞([a,b]),f≢0f \in C^{\infty }(\left[a, b\right]), f \not\equiv 0. Докажите, что если функция ff обращается в нуль на некотором непустом интервале, то

sup⁡n,x∣f(n)(x)∣=+∞ \sup _{n, x}\left|f^{(n)}(x)\right|=+\infty

Существует ли такая точка xx, что sup⁡n∣f(n)(x)∣=+∞\sup_{n}\left|f^{(n)}(x)\right|=+\infty ?

?
Задача VII.2.12

Пусть f∈C∞([a,b])f \in C^{\infty }(\left[a, b\right]). Докажите, что если последовательность производных {f(n)(x)}n⩾0\left\{ f^{(n)}(x)\right\}_{n \geqslant 0} ограничена в каждой точке x∈[a,b]x \in [a, b], то она равномерно ограничена: ∣f(n)(x)∣⩽C\left|f^{(n)}(x)\right| \leqslant C, где CC не зависит от nn и xx.

?
Задача VII.2.13

Пусть f∈C∞([a,b])f \in C^{\infty }(\left[a, b\right]) и всюду на [a,b]\left[a, b\right] существует конечный предел φ(x)=lim⁡f(n)(x)\varphi (x)=\lim f^{(n)}(x). Докажите, что функция φ\varphi имеет вид φ(x)=\varphi (x)= const ⋅ex\cdot e^{x}.

?
Задача VII.2.14

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

?
Задача VII.2.15

Докажите, что любая функция вида

f(x)=c0+∑n⩾1cnxn1+n!cn2x2 f(x)=c_{0}+\sum _{n \geqslant 1} \frac{c_{n} x^{n}}{1+n!c_{n}^{2} x^{2}}

бесконечно дифференцируема на R\mathbb {R} и что за счёт надлежащего выбора чисел cnc_{n} можно добиться, чтобы все её производные в точке x=0x=0 имели любые наперёд заданные значения (теорема Бореля).

?
Задача VII.2.16

Пусть a=(a1,…,an)∈Rn,f∈C∞(Rn)a=\left(a_{1}, \ldots , a_{n}\right) \in \mathbb {R}^{n}, f \in C^{\infty }\left(\mathbb {R}^{n}\right). Докажите, что если f(a)=0f(a)=0, то ff можно представить в виде

f(x)=∑1⩽j⩽n(xj−aj)gj(x),x=(x1,…,xn)∈Rn, f(x)=\sum _{1 \leqslant j \leqslant n}\left(x_{j}-a_{j}\right) g_{j}(x), \quad x=\left(x_{1}, \ldots , x_{n}\right) \in \mathbb {R}^{n},

где gj∈C∞(Rn),gj(a)=∂f∂xj(a)(j=1,…,n)g_{j} \in C^{\infty }\left(\mathbb {R}^{n}\right), g_{j}(a)=\frac{\partial f}{\partial x_{j}}(a) \quad (j=1, \ldots , n).

?
Задача VII.2.17

Пусть a∈Rna \in \mathbb {R}^{n} и FF - отображение множества C∞(Rn)C^{\infty }\left(\mathbb {R}^{n}\right) в R\mathbb {R}, удовлетворяющее трём условиям (f,g∈C∞(Rn)f, g \in C^{\infty }\left(\mathbb {R}^{n}\right)): 1) F(f+g)=F(f)+F(g)F(f+g)=F(f)+F(g); 2) F(αf)=αF(f)(α∈R)F(\alpha f)=\alpha F(f)(\alpha \in \mathbb {R}); 3) F(fg)=F(f)g(a)+f(a)F(g)F(f g)=F(f) g(a)+f(a) F(g).

Докажите, что F(f)=∑1⩽j⩽ncj∂f∂xj(a)F(f)=\sum_{1 \leqslant j \leqslant n} c_{j} \frac{\partial f}{\partial x_{j}}(a) для некоторых c1,…,cn∈Rc_{1}, \ldots , c_{n} \in \mathbb {R}.

?
Задача VII.2.18

Пусть f,gf, g - неотрицательные непрерывные функции, заданные на [0,+∞)[0,+\infty ). Докажите, что если для некоторого числа C⩾0C \geqslant 0 выполняется неравенство

f(t)⩽C+∫0tf(x)g(x)dx для всех t⩾0 f(t) \leqslant C+\int _{0}^{t} f(x) g(x) d x \quad \text{ для всех } \quad t \geqslant 0

то

f(t)⩽Cexp⁡(∫0tg(x)dx) для всех t⩾0 f(t) \leqslant C \exp \left(\int _{0}^{t} g(x) d x\right) \quad \text{ для всех } \quad t \geqslant 0

(перавенство Гронуолла). Выведите отсюда, что если функция h∈C1([0,∞))h \in C^{1}([0, \infty )) и число M⩾0M \geqslant 0 таковы, что h(0)=0h(0)=0 и ∣h′(t)∣⩽M∣h(t)∣\left|h^{\prime }(t)\right| \leqslant M\left|h(t)\right| при t⩾0t \geqslant 0, то h≡0h \equiv 0.

Функция f:Rn→Cf: \mathbb {R}^{n} \rightarrow \mathbb {C} называется положительно определённой, если

∑j,k=1mf(tj−tk)zjzˉk⩾0(1) \sum _{j, k=1}^{m} f\left(t_{j}-t_{k}\right) z_{j} \bar{z}_{k} \geqslant 0 \tag {1}

для любых векторов t1,…,tm∈Rn,z1,…,zm∈Ct_{1}, \ldots , t_{m} \in \mathbb {R}^{n}, z_{1}, \ldots , z_{m} \in \mathbb {C} и любого m∈Nm \in \mathbb {N}. Функция ff называется условно положительно определённой, если неравенство (1) выполняется при дополнительном условии z1+…+zm=0z_{1}+\ldots +z_{m}=0.

?
Задача VII.2.19

Пусть a∈Rn,A,B∈Ra \in \mathbb {R}^{n}, A, B \in \mathbb {R}. Докажите, что

?
(а)

функция f(t)=ei(a,t)(t∈Rn)f(t)=e^{i(a, t)}\left(t \in \mathbb {R}^{n}\right) - положительно определённая;

(б)

функция f(t)=Acos⁡(a,t)+B(t∈Rn)f(t)=A \cos (a, t)+B\left(t \in \mathbb {R}^{n}\right), где A>0A>0, - условно положительно определённая.

Задача VII.2.20

Докажите, что если μ\mu - конечная мера в Rn\mathbb {R}^{n}, то функция

f(t)=∫Rne−i(x,t)dμ(x)(t∈Rn) f(t)=\int _{\mathbb {R}^{n}} e^{-i(x, t)} d \mu (x) \quad \left(t \in \mathbb {R}^{n}\right)

(преобразование Фурье меры μ\mu) положительно определена.

?
Задача VII.2.21

Докажите, что положительно определены функции

f(t)=e−∣t∣ и g(t)=11+t2(t∈R). f(t)=e^{-\left|t\right|} \quad \text{ и } \quad g(t)=\frac{1}{1+t^{2}} \quad (t \in \mathbb {R}) .
?
Задача VII.2.22

Докажите, что

?
(а)

функция f(t)=−∥t∥2(t∈Rn)f(t)=-\left\| t\right\|^{2}\left(t \in \mathbb {R}^{n}\right) - условно положительно определённая;

(б)

при 0<p<20<p<2 функции f(t)=−∥t∥p(t∈Rn)f(t)=-\left\| t\right\|^{p}\left(t \in \mathbb {R}^{n}\right) условно положительно определены.

Задача VII.2.23

Докажите, что если функция f:Rn→Cf: \mathbb {R}^{n} \rightarrow \mathbb {C} положительно опредслена, то

?
(а)

fˉ\bar{f} положительно определена;

(б)

ff ограничена;

(в)

из непрерывности в нуле следует равномерная непрерывность ff.

Задача VII.2.24

Докажите, что если функция f(t)=esφ(t)f(t)=e^{s \varphi (t)} положительно определена при всех s>0s>0, то функция φ:Rn→C\varphi : \mathbb {R}^{n} \rightarrow \mathbb {C} является условно положительно определенной.

?
Задача VII.2.25

Пусть Δ=[a,b],f∈C3(Δ),f′(x)≠0(x∈Δ)\Delta =\left[a, b\right], f \in C^{3}(\Delta ), f^{\prime }(x) \neq 0(x \in \Delta ). Производная Шварца (шварциан) SfS f функции ff определяется формулой

Sf(x)=f′′′(x)f′(x)−32(f′′(x)f′(x))2=6(f′(x))2∣f′(x)12!f′′(x)12!f′′(x)13!f′′′(x)∣. S f(x)=\frac{f^{\prime \prime \prime }(x)}{f^{\prime }(x)}-\frac{3}{2}\left(\frac{f^{\prime \prime }(x)}{f^{\prime }(x)}\right)^{2}=\frac{6}{\left(f^{\prime }(x)\right)^{2}}\left|\begin{smallmatrix} f^{\prime }(x) & \frac{1}{2!} f^{\prime \prime }(x) \\ \frac{1}{2!} f^{\prime \prime }(x) & \frac{1}{3!} f^{\prime \prime \prime }(x) \end{smallmatrix}\right| .

Проверьте, что для вещественных функций f,gf, g, удовлетворяющих перечисленным выше условиям, справедливы утверждения:

?
(а)

если суперпозиция f∘gf \circ g определена, то

S(f∘g)(x)=Sf(g(x))(g′(x))2+Sg(x); S(f \circ g)(x)=S f(g(x))\left(g^{\prime }(x)\right)^{2}+S g(x) ;
(б)

если h(x)=αx+βγx+δh(x)=\frac{\alpha x+\beta }{\gamma x+\delta } и суперпозиция h∘fh \circ f определена, то S(h∘f)=Sf;S(h \circ f)=S f ;

(в)

если Sf<0S f<0 на Δ\Delta и f(Δ)⊂Δf(\Delta ) \subset \Delta, то для любого n∈Nn \in \mathbb {N} также S(fn)<0S\left(f^{n}\right)<0 на Δ\Delta, где fn=f∘…∘ff^{n}=f \circ \ldots \circ f (n\boldsymbol {n} раз);

(г)

если Sf(x)<0S f(x)<0, то S(f−1)(y)>0S\left(f^{-1}\right)(y)>0 в точке y=f(x)y=f(x);

(д)

для того чтобы выполнялось неравенство Sf(x)<0(x∈Δ)S f(x)<0(x \in \Delta ), необходимо и достаточно, чтобы функция φ=∣f′∣−1/2\varphi =\left|f^{\prime }\right|^{-1 / 2} была выпуклой;

(е)

если Sf(x)<0S f(x)<0 для всех x∈Δx \in \Delta, то функция ∣f′∣\left|f^{\prime }\right| не имеет строго положительного локального минимума в (a,b)(a, b) (принцип минимума модуля).

Почему важна именно отрицательность (а не положительность) шварциана, можно узнать из задач X.1.38-41.

Задача VII.2.26
?
(а)

Проверьте, что функции f(x)=sin⁡x,f(x)=arctg⁡xf(x)=\sin x, f(x)=\operatorname {arctg} x, f(x)=xe−x,f(x)=e−x2,f(x)=Ax2+Bx+Cf(x)=x e^{-x}, f(x)=e^{-x^{2}}, f(x)=A x^{2}+B x+C удовлетворяют условию Sf(x)<0S f(x)<0, если f′(x)≠0f^{\prime }(x) \neq 0, а функции f(x)=x+x3,f(x)=tg⁡xf(x)=x+x^{3}, f(x)=\operatorname {tg} x, f(x)=ctg⁡xf(x)=\operatorname {ctg} x - нет (x,A,B,C∈R)(x, A, B, C \in \mathbb {R}).

(б)

Проверьте, что любой многочлен ff степени n⩾2n \geqslant 2, все нули которого вещественны, удовлетворяет условию Sf(x)<0S f(x)<0, если f′(x)≠0f^{\prime }(x) \neq 0.

Задача VII.2.27

Пусть R(w,x,y,z)=(z−w)(y−x)(z−y)(x−w)(w,x,y,z−R(w, x, y, z)=\frac{(z-w)(y-x)}{(z-y)(x-w)}(w, x, y, z- попарно различные числа). Докажите, что если f∈C1(Δ),f′f \in C^{1}(\Delta ), f^{\prime } кусочно монотонна и для любых точек x1<x2<x3<x4x_{1}<x_{2}<x_{3}<x_{4}, принадлежащих одному интервалу монотонности функции ff, выполняется неравенство

R(f(x1),f(x2),f(x3),f(x4))>R(x1,x2,x3,x4), R\left(f\left(x_{1}\right), f\left(x_{2}\right), f\left(x_{3}\right), f\left(x_{4}\right)\right)>R\left(x_{1}, x_{2}, x_{3}, x_{4}\right),

то функция ∣f′∣\left|f^{\prime }\right| не имеет строго положительного локального минимума во внутренних точках промежутка Δ\Delta.

?
§
Задача VII.3.1

Пусть n∈N,r=0,1,2,…n \in \mathbb {N}, r=0,1,2, \ldots Для x∈Rx \in \mathbb {R} положим

Sn,r(x)=∑0⩽k⩽nCnkxk(1−x)n−k(k−nx)r. S_{n, r}(x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} x^{k}(1-x)^{n-k}(k-n x)^{r} .

Докажите, что

  1. Sn,r+1(x)=x(1−x)(Sn,r′(x)+nrSn,r−1(x)),r∈NS_{n, r+1}(x)=x(1-x)\left(S_{n, r}^{\prime }(x)+n r S_{n, r-1}(x)\right), r \in \mathbb {N};

\begin{aligned} & S_{n, 0}(x)=1 ; \quad S_{n, 1}(x)=0 ; \quad S_{n, 2}(x)=n x(1-x) ; \ & S_{n, 3}(x)=n x(1-x)(1-2 x) ; \ & S_{n, 4}(x)=n x(1-x)(1+3(n-2) x(1-x)) . \end{aligned}

?
Задача VII.3.2

Пусть n∈N,δ>0n \in \mathbb {N}, \delta >0. Для x∈[0,1]x \in [0,1] положим

σn,δ(x)=∑0⩽k⩽n∣k/n−x∣⩾δCnkxk(1−x)n−k. \sigma _{n, \delta }(x)=\sum _{\substack {0 \leqslant k \leqslant n \\ |k / n-x| \geqslant \delta }} C_{n}^{k} x^{k}(1-x)^{n-k} .

Докажите, что

  1. σn,δ(x)⩽14δ2n\sigma_{n, \delta }(x) \leqslant \frac{1}{4 \delta^{2} n};

  2. σn,δ(x)⩽14δ4n2\sigma_{n, \delta }(x) \leqslant \frac{1}{4 \delta^{4} n^{2}};

  3. σn,δ(x)⩽17δne−2nδ2\sigma_{n, \delta }(x) \leqslant \frac{17}{\delta \sqrt{n}} e^{-2 n \delta^{2}}.

Пусть n∈N,f:[0,1]→Rn \in \mathbb {N}, f:\left[0,1\right] \rightarrow \mathbb {R}. Многочлен

Bn(f,x)=∑0⩽k⩽nCnkf(kn)xk(1−x)n−k B_{n}(f, x)=\sum _{0 \leqslant k \leqslant n} C_{n}^{k} f\left(\frac{k}{n}\right) x^{k}(1-x)^{n-k}

называется многочленом Бернштейна функции ff.

?
Задача VII.3.3

Найдите многочлены Бернштейна следующих функций:

?
(а)

fm(x)=xm,m=0,1,2f_{m}(x)=x^{m}, \quad m=0,1,2;

(б)

f(x)=ax,a>0f(x)=a^{x}, a>0.

Задача VII.3.4

Пусть функция ff определена на промежутке [0,1],n∈N\left[0,1\right], n \in \mathbb {N}. Докажите, что

?
(а)

Bn(f,0)=f(0)B_{n}(f, 0)=f(0) и Bn(f,1)=f(1)B_{n}(f, 1)=f(1);

(б)

Bn(f2,x)⩾Bn2(f,x)B_{n}\left(f^{2}, x\right) \geqslant B_{n}^{2}(f, x) для всех x∈[0,1]x \in [0,1].

Задача VII.3.5

Докажите, что

?
(а)

если функция ff возрастает (убывает) на промежутке [0,1]\left[0,1\right], то многочлен Бернштейна Bn(f)B_{n}(f) возрастает (убывает) на [0,1]\left[0,1\right];

(б)

если функция ff выпукла (вогнута) на [0,1]\left[0,1\right], то Bn(f)B_{n}(f) - выпуклый (вогнутый) на [0,1]\left[0,1\right] многочлен.

Задача VII.3.6

Пусть функция ff определена и ограничена сверху на промежутке [0,1]\left[0,1\right]. Докажите, что

?
(а)

Bn(f,x)⩽sup⁡[0,1]fB_{n}(f, x) \leqslant \sup_{\left[0,1\right]} f для всех n∈Nn \in \mathbb {N} и x∈[0,1]x \in [0,1];

(б)

если интервал Δ\Delta содержится в промежутке [0,1]\left[0,1\right], то lim‾⁡n→+∞Bn(f,x)⩽sup⁡Δf\varlimsup_{n \rightarrow +\infty } B_{n}(f, x) \leqslant \sup_{\Delta } f для всех x∈Δx \in \Delta;

(в)

если интервалы Δ\Delta и Δ′\Delta^{\prime } таковы, что Δˉ⊂Δ′⊂[0,1]\bar{\Delta } \subset \Delta^{\prime } \subset [0,1] и sup⁡Δ′\Δf<sup⁡Δf\sup_{\Delta^{\prime } \backslash \Delta } f<\sup_{\Delta } f, то можно указать столь большой номер N=N(f,Δ,Δ′)N=N\left(f, \Delta , \Delta^{\prime }\right), что Bn(f,x)<sup⁡ΔfB_{n}(f, x)<\sup_{\Delta } f для всех x∈Δx \in \Delta и n>Nn>N.

Задача VII.3.7

Пусть функции ff и gg ограничены на промежутке [0,1]\left[0,1\right] и совпадают в окрестности точки x0∈[0,1]x_{0} \in [0,1]. Докажите, что последовательности {Bn(f,x0)}\left\{ B_{n}\left(f, x_{0}\right)\right\} и {Bn(g,x0)}\left\{ B_{n}\left(g, x_{0}\right)\right\} сходятся или расходятся одновременно и в случае сходимости имеют общий предел.

?
Задача VII.3.8

Пусть функция ff ограничена на промежутке [0,1]\left[0,1\right]. Докажите, что

?
(а)

если ff непрерывна в точке x0∈[0,1]x_{0} \in [0,1], то Bn(f,x0)→f(x0)B_{n}\left(f, x_{0}\right) \rightarrow f\left(x_{0}\right);

(б)

если ff непрерывна в каждой точке замкнутого промежутка Δ\Delta, Δ⊂[0,1]\Delta \subset [0,1], то Bn(f)⇉fB_{n}(f) \rightrightarrows f на Δ\Delta;

(в)

если x0∈(0,1)x_{0} \in (0,1) - точка разрыва первого рода функции ff, то

Bn(f,x0)→12(f(x0+0)+f(x0−0)). B_{n}\left(f, x_{0}\right) \rightarrow \frac{1}{2}\left(f\left(x_{0}+0\right)+f\left(x_{0}-0\right)\right) .
Задача VII.3.9

Пусть f∈C([0,1])f \in C(\left[0,1\right]). Докажите, что

?
(а)

если ∫01f(x)xndx=0\int_{0}^{1} f(x) x^{n} d x=0 для n=0,1,2,…n=0,1,2, \ldots, то f≡0f \equiv 0;

(б)

если ∫01f(x)(xn+1(1−x)2)′′dx=0\int_{0}^{1} f(x)\left(x^{n+1}(1-x)^{2}\right)^{\prime \prime } d x=0 для всех n∈Nn \in \mathbb {N}, то ff - линейная функция.

Задача VII.3.10

Пусть f∈C([0,1])f \in C(\left[0,1\right]) и ∫01f(x)g′′(x)dx=0\int_{0}^{1} f(x) g^{\prime \prime }(x) d x=0 для любой функции g∈C2([0,1])g \in C^{2}(\left[0,1\right]), равной нулю в окрестностях точек 0 и 1 . Докажите, что ff - линейная функция.

?
Задача VII.3.11

Пусть f∈C([0,π])f \in C(\left[0, \pi \right]) и ε>0\varepsilon >0. Докажите, что существует такой тригонометрический многочлен TT вида T(t)=∑0⩽n⩽Nancos⁡ntT(t)=\sum_{0 \leqslant n \leqslant N} a_{n} \cos n t, что ∣f(t)−T(t)∣<ε\left|f(t)-T(t)\right|<\varepsilon для всех t∈[0,π]t \in [0, \pi ].

?
Задача VII.3.12

а) Пусть f∈C([0,1]2)f \in C\left(\left[0,1\right]^{2}\right). Для n∈Nn \in \mathbb {N} и x,y∈Rx, y \in \mathbb {R} положим

Bn(f,x,y)=∑0⩽k⩽n0⩽j⩽nCnkCnjf(kn,jn)xkyj(1−x)n−k(1−y)n−j \mathscr {B}_{n}(f, x, y)=\sum _{\substack {0 \leqslant k \leqslant n \\ 0 \leqslant j \leqslant n}} C_{n}^{k} C_{n}^{j} f\left(\frac{k}{n}, \frac{j}{n}\right) x^{k} y^{j}(1-x)^{n-k}(1-y)^{n-j}

Докажите, что Bn(f)⇉f\mathscr {B}_{n}(f) \rightrightarrows f на [0,1]2\left[0,1\right]^{2} при n→+∞n \rightarrow +\infty. б) Пусть f∈C([0,π]2)f \in C\left(\left[0, \pi \right]^{2}\right) и ε>0\varepsilon >0. Докажите, что существует такой тригонометрический многочлен TT вида

T(u,v)=∑0⩽k⩽N0⩽j⩽Nak,jcos⁡kucos⁡jv, T(u, v)=\sum _{\substack {0 \leqslant k \leqslant N \\ 0 \leqslant j \leqslant N}} a_{k, j} \cos k u \cos j v,

что ∣f(u,v)−T(u,v)∣<ε\left|f(u, v)-T(u, v)\right|<\varepsilon для всех u,v∈[0,π]u, v \in [0, \pi ].

?
Задача VII.3.13

Пусть f∈Cr([0,1])f \in C^{r}(\left[0,1\right]). Докажите, что Bn(r)(f)⇉f(r)B_{n}^{(r)}(f) \rightrightarrows f^{(r)} на [0,1]\left[0,1\right].

?
Задача VII.3.14
  1. Пусть f∈Lip⁡α[0,1]f \in \operatorname {Lip}_{\alpha }\left[0,1\right]. Докажите, что для всех n∈Nn \in \mathbb {N} и x∈[0,1]x \in [0,1] справедливо неравенство

    ∣Bn(f,x)−f(x)∣⩽M(x(1−x)n)α/2 \left|B_{n}(f, x)-f(x)\right| \leqslant M\left(\frac{x(1-x)}{n}\right)^{\alpha / 2}

    где MM- некоторая положительная постоянная, зависящая только от функции ff.

  2. Пусть α∈(0,1]\alpha \in (0,1] и fα(x)=∣x−12∣αf_{\alpha }(x)=\left|x-\frac{1}{2}\right|^{\alpha }. Докажите, что для всех n∈Nn \in \mathbb {N} справедливо неравенство

    ∣Bn(fα,12)−fα(12)∣⩾14n−α/2. \left|B_{n}\left(f_{\alpha }, \frac{1}{2}\right)-f_{\alpha }\left(\frac{1}{2}\right)\right| \geqslant \frac{1}{4} n^{-\alpha / 2} .
?
Задача VII.3.15
?
(а)

Пусть функция ff выпукла на промежутке [0,1]\left[0,1\right]. Докажите, что Bn(f,x)↓f(x)B_{n}(f, x) \downarrow f(x) для всех x∈[0,1]x \in [0,1].

(б)

Пусть f∈C([0,1])f \in C(\left[0,1\right]) и Bn(f,x)⩾f(x)B_{n}(f, x) \geqslant f(x) для всех n∈Nn \in \mathbb {N} и x∈[0,1]x \in [0,1]. Цокажите, что ff выпукла на [0,1]\left[0,1\right].

Задача VII.3.16

Пусть f∈C2([0,1])f \in C^{2}(\left[0,1\right]). Докажите, что

Bn(f,x)−f(x)=x(1−x)2n(f′′(x)+εn(x)), B_{n}(f, x)-f(x)=\frac{x(1-x)}{2 n}\left(f^{\prime \prime }(x)+\varepsilon _{n}(x)\right),

где последовательность функций {εn}\left\{ \varepsilon_{n}\right\} равномерно на [0,1]\left[0,1\right] сходится к нулю (формула Е. В. Вороновской).

?
Задача VII.3.17

Пусть f∈C([0,1]),g∈C2([0,1])f \in C(\left[0,1\right]), g \in C^{2}(\left[0,1\right]) и функция gg равна нулю вне интервала (a,ba, b), где 0<a<b<10<a<b<1. Докажите, что

∑0⩽k⩽n(Bn(f,kn)−f(kn))g(kn)→12∫01f(x)(x(1−x)g(x))′′dx \sum _{0 \leqslant k \leqslant n}\left(B_{n}\left(f, \frac{k}{n}\right)-f\left(\frac{k}{n}\right)\right) g\left(\frac{k}{n}\right) \rightarrow \frac{1}{2} \int _{0}^{1} f(x)(x(1-x) g(x))^{\prime \prime } d x
?
Задача VII.3.18

Докажите, что функция f[0,1]→Rf\left[0,1\right] \rightarrow \mathbb {R} линейна, если

sup⁡0⩽x⩽1∣Bn(f,x)−f(x)∣=o(1n). \sup _{0 \leqslant x \leqslant 1}\left|B_{n}(f, x)-f(x)\right|=o\left(\frac{1}{n}\right) .
?
Задача VII.3.19

Пусть f∈C([0,1])f \in C(\left[0,1\right]). Докажите, что целочисленность f(0)f(0) и f(1)f(1) равносильна тому, что функция ff является пределом равномерно сходящейся на [0,1]\left[0,1\right] последовательности алгебраических многочленов с целыми коэффициентами.

?
Задача VII.3.20

Пусть функция ff определена на промежутке [0,1]\left[0,1\right]. Докажите, что

Bn(f,x)=f(0)+∑1⩽k⩽nxkCnkΔknf(0), B_{n}(f, x)=f(0)+\sum _{1 \leqslant k \leqslant n} x^{k} C_{n}^{k} \Delta _{k}^{n} f(0),

где Δ1nf(y)=f(y+1n)−f(y),Δk+1nf(y)=Δ1n(Δknf(y)),k∈N\quad \Delta_{1}^{n} f(y)=f\left(y+\frac{1}{n}\right)-f(y), \quad \Delta_{k+1}^{n} f(y)=\Delta_{1}^{n}\left(\Delta_{k}^{n} f(y)\right), \quad k \in \mathbb {N}. В частности, если ff - многочлен, то степень Bn(f)B_{n}(f) не превосходит степени ff.

?
Задача VII.3.21

Пусть f(x)=xm(x∈R),m=0,1,2,…f(x)=x^{m}(x \in \mathbb {R}), m=0,1,2, \ldots Докажите, что

  1. Bn(f)⇉fB_{n}(f) \rightrightarrows f на любом конечном промежутке;

  2. ∣Bn(f,x)∣⩽max⁡(1,∣x∣m)\left|B_{n}(f, x)\right| \leqslant \max \left(1,\left|x\right|^{m}\right) при любом x∈Rx \in \mathbb {R}.

?
Задача VII.3.22

Пусть f(x)=∑m⩾0cmxmf(x)=\sum_{m \geqslant 0} c_{m} x^{m} для x∈(−R,R)x \in (-R, R), где R>1R>1. Докажите, что

  1. Bn(f)⇉fB_{n}(f) \rightrightarrows f на любом промежутке [−r,r]\left[-r, r\right], если 0<r<R0<r<R;

  2. если cm⩾0c_{m} \geqslant 0 для любого mm, то Bn(f)⩾fB_{n}(f) \geqslant f на [0,1]\left[0,1\right] и Bn(f)⩽fB_{n}(f) \leqslant f на [1,R)[1, R).

?
Задача VII.3.23
  1. Докажите, что при фиксированном n∈Nn \in \mathbb {N} многочлены xk(1−x)n−k,k=0,1,…,nx^{k}(1-x)^{n-k}, k=0,1, \ldots , n, образуют базис в пространстве многочленов, степень которых не превышает nn.

  2. Докажите, что коэффициенты anka_{n}^{k} разложения многочлена PP степени mm по таким базисам при n⩾mn \geqslant m, образующие таблицу

    am0am1…amm−1ammam+10am+11am+1mam+1m+1……an0an1ann−1ann…… \begin{array}{ccccccc} a_{m}^{0} & a_{m}^{1} & \ldots & a_{m}^{m-1} & a_{m}^{m} & & \\ a_{m+1}^{0} & a_{m+1}^{1} & & & a_{m+1}^{m} & a_{m+1}^{m+1} & \\ \ldots & & & & & & \ldots \\ a_{n}^{0} & a_{n}^{1} & & & & a_{n}^{n-1} & a_{n}^{n} \\ \ldots & & & & & & \ldots \end{array}

    удовлетворяют равенствам

    an+10=an0,an+1n+1=ann,an+1k=ank−1+ank(k=1,2,…,n) a_{n+1}^{0}=a_{n}^{0}, \quad a_{n+1}^{n+1}=a_{n}^{n}, \quad a_{n+1}^{k}=a_{n}^{k-1}+a_{n}^{k} \quad (k=1,2, \ldots , n)

    (сравните с равенствами для биномиальных коэффициентов CnkC_{n}^{k}).

  3. Докажите, что условие P(x)>0P(x)>0 при x∈(0,1)x \in (0,1) необходимо и достаточно для того, чтобы при достаточно большом nn числа anka_{n}^{k}, k=0,1,…,nk=0,1, \ldots , n, не обращались одновременно в нуль и были неотрицательны.

?
§
Задача VII.4.1

Докажите, что если λ\lambda - иррациональное число, то для любых a∈[0,1)a \in [0,1) и ε>0\varepsilon >0 найдётся такое n∈Zn \in \mathbb {Z}, что nλ=εa( mod 1)n \lambda \stackrel{\varepsilon }{=} a(\bmod 1). Проверьте, что множество таких nn относительно плотно на прямой (сравните с задачей I.3.2).

?
Задача VII.4.2

а) Докажите, что если λ1,λ2≠0\lambda_{1}, \lambda_{2} \neq 0 и отношение λ1/λ2\lambda_{1} / \lambda_{2} иррационально, то для любых a1,a2∈[0,1)a_{1}, a_{2} \in [0,1) и ε>0\varepsilon >0 найдётся такое t∈Rt \in \mathbb {R}, что

λ1t=εa1( mod 1),λ2t=εa2( mod 1).(1) \lambda _{1} t \stackrel{\varepsilon }{=} a_{1}(\bmod 1), \quad \lambda _{2} t \stackrel{\varepsilon }{=} a_{2}(\bmod 1) . \tag {1}

Обратно, если система (1) разрешима относительно tt при любых a1a_{1}, a2,εa_{2}, \varepsilon, то частное λ1/λ2\lambda_{1} / \lambda_{2} иррационально. б) Докажите, что если λ1\lambda_{1} и λ2\lambda_{2} независимы над Q\mathbb {Q} по модулю 1 , то существует относительно плотное на прямой множество целых решений системы (1).

?
Задача VII.4.3

Какому условию должны удовлетворять вещественные числа λ1,…,λk\lambda_{1}, \ldots , \lambda_{k}, чтобы при любом ε>0\varepsilon >0 система уравнений

λjt=ε0( mod 1),j=1,2,…,k, \lambda _{j} t \stackrel{\varepsilon }{=} 0(\bmod 1), \quad j=1,2, \ldots , k,

имела решение tt, удовлетворяющее условию ∣t∣>∣λj∣−1\left|t\right|>\left|\lambda_{j}\right|^{-1} для некоторого jj ?

?
Задача VII.4.4

Какому условию должны удовлетворять вещественные числа λ1,…,λk\lambda_{1}, \ldots , \lambda_{k}, чтобы для любых a1,…,ak∈[0,1)a_{1}, \ldots , a_{k} \in [0,1) и ε>0\varepsilon >0 система уравнений

λjt=εaj( mod 1),j=1,2,…,k, \lambda _{j} t \stackrel{\varepsilon }{=} a_{j}(\bmod 1), \quad j=1,2, \ldots , k,

имела

  1. вещественное решение tt;

  2. относительно плотное множество решений?

?
Задача VII.4.5

Какому условию должны удовлетворять вещественные числа λ1,…,λk\lambda_{1}, \ldots , \lambda_{k}, чтобы для любых a1,…,ak∈[0,1)a_{1}, \ldots , a_{k} \in [0,1) и ε>0\varepsilon >0 система уравнений

λjm=εaj( mod 1),j=1,2,…,k, \lambda _{j} m \stackrel{\varepsilon }{=} a_{j}(\bmod 1), \quad j=1,2, \ldots , k,

имела

  1. целое решение mm;

  2. относительно плотное множество целых решений?

?
Задача VII.4.6

Пусть f(x)=sin⁡(ax+b)+sin⁡(cx+d),x∈Rf(x)=\sin (a x+b)+\sin (c x+d), x \in \mathbb {R}, причём ac≠0a c \neq 0. Докажите, что если функция ff не равна тождественно нулю, то она принимает значения разных знаков.

Определённая на R\mathbb {R} комплекснозначная функция ff называется равномерно почти периодической (р.п.п.), если для любого ε>0\varepsilon >0 существует такое число L=L(ε)>0L=L(\varepsilon )>0, что в каждом интервале длины LL найдётся по крайней мере одно число τ\tau (ε\varepsilon-почти период), для которого

∣f(x+τ)−f(x)∣<ε при всех x∈R. \left|f(x+\tau )-f(x)\right|<\varepsilon \quad \text{ при всех } x \in \mathbb {R} .
?
Задача VII.4.7

Докажите, что каждый квазитригонометрический многочлен

f(x)=∑1⩽k⩽nakeiλkx(λk∈R,ak∈C) f(x)=\sum _{1 \leqslant k \leqslant n} a_{k} e^{i \lambda _{k} x} \quad \left(\lambda _{k} \in \mathbb {R}, a_{k} \in \mathbb {C}\right)

обладает свойством равномерной почти периодичности. Проверьте, что многочлен ff периодичен тогда и только тогда, когда множители λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} попарно соизмеримы (т.е. их отношения рациональны).

?
Задача VII.4.8

Пусть f∈C(Rn)f \in C\left(\mathbb {R}^{n}\right) - функция, имеющая период 1 по каждому аргументу, α1,…,αn∈R\alpha_{1}, \ldots , \alpha_{n} \in \mathbb {R} - линейно независимые над Q\mathbb {Q} числа, β1,…,βn∈R\beta_{1}, \ldots , \beta_{n} \in \mathbb {R}. Докажите, что функция

φ(t)=f(α1t−β1,…,αnt−βn),t∈R, \varphi (t)=f\left(\alpha _{1} t-\beta _{1}, \ldots , \alpha _{n} t-\beta _{n}\right), \quad t \in \mathbb {R},

равномерно почти периодична.

?
Задача VII.4.9

Докажите, что если ff - непрерывная р. п. п. функция и её ε\varepsilon-почти периоды ограничены при малых ε\varepsilon, то ff периодична.

?
Задача VII.4.10

Докажите, что р.п.п. непрерывная на R\mathbb {R} функция равномерно непрерывна на прямой и ограничена. Существуют ли неограниченные непериодические р. п. п. функции? Следует ли непрерывность из ограниченности?

?
Задача VII.4.11

Докажите, что предел равномерно сходящейся на R\mathbb {R} последовательности р.п.п. функций - р.п.п. функция.

?
Задача VII.4.12

Докажите, что если у р. п. п. функции производная существует и равномерно непрерывна, то она также является р. п. п. функцией.

?
Задача VII.4.13

Докажите, что если первообразная FF непрерывной р. п. п. функции ff ограничена, то она также является р. п. п. функцией.

?
Задача VII.4.14

Пусть f∈C(R),h∈R,fh(x)=f(x+h)f \in C(\mathbb {R}), h \in \mathbb {R}, f_{h}(x)=f(x+h). Докажите, что функция ff обладает свойством р. п. п. тогда и только тогда, когда для каждой числовой последовательности {hn}\left\{ h_{n}\right\} из последовательности {fhn}\left\{ f_{h_{n}}\right\} можно выбрать равномерно сходящуюся на R\mathbb {R} подпоследовательность (компактность семейства сдвигов).

?
Задача VII.4.15

Докажите, что сумма и произведение непрерывных р. п. п. функций - снова р. п. п. функция.

?
Задача VII.4.16

Докажите, что для каждой р. п. п. функции ff существует среднее значение

M(f)=lim⁡T→+∞12T∫−TTf(x)dx M(f)=\lim _{T \rightarrow +\infty } \frac{1}{2 T} \int _{-T}^{T} f(x) d x
?
Задача VII.4.17

Пусть ⟨f,g⟩=M(fgˉ)\langle f, g\rangle =M(f \bar{g}), где f,gf, g - непрерывные р. п. п. функции, а функционал MM определён в предыдущей задаче. Докажите, что

  1. ⟨f,g⟩\langle f, g\rangle обладает свойствами скалярного произведения (в частности, ⟨f,f⟩=0\langle f, f\rangle =0 тогда и только тогда, когда f≡0f \equiv 0);

  2. функции φλ(x)=eiλx,λ∈R\varphi_{\lambda }(x)=e^{i \lambda x}, \lambda \in \mathbb {R}, образуют несчётное семейство, ортогональное относительно этого скалярного произведения;

  3. величины cλ=M(fφλ‾)c_{\lambda }=M\left(f \overline{\varphi_{\lambda }}\right) при попарно различных вещественных числах λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} удовлетворяют неравенству

    ∑1⩽k⩽n∣cλk∣2⩽M(∣f∣2) \sum _{1 \leqslant k \leqslant n}\left|c_{\lambda _{k}}\right|^{2} \leqslant M\left(\left|f\right|^{2}\right)

    (неравенство Бесселя для системы {φλ}\left\{ \varphi_{\lambda }\right\}). Выведите отсюда, что cλ≠0c_{\lambda } \neq 0 лишь для не более чем счётного множества значений λ\lambda. Может ли это множество быть произвольным счётным подмножеством R\mathbb {R}?

?
Задача VII.4.18

Пусть {an},an∈{0,1,2}\left\{ a_{n}\right\} , a_{n} \in \left\{ 0,1,2\right\}, - непериодическая последовательность. Последовательности {bn}\left\{ b_{n}\right\} и {cn}\left\{ c_{n}\right\} определим следующим образом:

bn={0, если an=0,1, если an≠0;cn={1, если an=2,0, если an≠2. b_{n}=\begin{cases} 0, & \text{ если } a_{n}=0, \\ 1, & \text{ если } a_{n} \neq 0 ; \end{cases} \quad c_{n}=\begin{cases} 1, & \text{ если } a_{n}=2, \\ 0, & \text{ если } a_{n} \neq 2 . \end{cases}

Докажите, что хотя бы одна из последовательностей {bn},{cn}\left\{ b_{n}\right\} ,\left\{ c_{n}\right\} непериодична.

Назовём двоичную последовательность ε={εk}\varepsilon =\left\{ \varepsilon_{k}\right\} почти периодической, если для любого содержащегося в ней «слова» (εk+1,…,εk+l\varepsilon_{k+1}, \ldots , \varepsilon_{k+l}) - будем также писать εk+1εk+2…εk+l\varepsilon_{k+1} \varepsilon_{k+2} \ldots \varepsilon_{k+l} - существует такое число L∈NL \in \mathbb {N}, что множество

{n∈N∣εn+j=εk+j,j=1,…,l} \left\{ n \in \mathbb {N} \mid \varepsilon _{n+j}=\varepsilon _{k+j}, j=1, \ldots , l\right\}

пересекается со всеми отрезками натурального ряда длины LL. Аналогично определяется почти периодичность для двусторонних последовательностей.

?
Задача VII.4.19

Пусть {εk}k∈Z\left\{ \varepsilon_{k}\right\}_{k \in \mathbb {Z}} - почти периодическая последовательность, f(x)=ε[x](x∈R,[x]f(x)=\varepsilon_{\left[x\right]}(x \in \mathbb {R},\left[x\right] - целая часть числа x)x). Является ли ff р. п. п. функцией?

?
Задача VII.4.20

Верно ли, что для всякой почти периодической последовательности {εk}k∈Z\left\{ \varepsilon_{k}\right\}_{k \in \mathbb {Z}} существует предел чезаровских средних lim⁡12n+1∑−n⩽k⩽nεk?\lim \frac{1}{2 n+1} \sum_{-n \leqslant k \leqslant n} \varepsilon_{k} ?

?
Задача VII.4.21

Пусть k>0k>0 - иррациональное число, S={(x,y)∣kx⩽y<k(x+1)+1}S=\left\{ (x, y) \mid k x \leqslant y<k(x+1)+1\right\} - полоса в R2\mathbb {R}^{2}, а Σ=S∩Z2\Sigma =S \cap \mathbb {Z}^{2} - множество целых точек в SS. Проверьте, что ортогональные проекции точек из Σ\Sigma на сторону полосы (рис. 10) разбивают её на отрезки, длины которых принимают лишь два значения: aa и bb. Перенумеровав отрезки целыми числами в порядке их расположения на прямой, положим εi=0\varepsilon_{i}=0, если ii-й отрезок имеет длину aa, и εi=1\varepsilon_{i}=1 в противном случае. Докажите, что последовательность {εi}i∈Z\left\{ \varepsilon_{i}\right\}_{i \in \mathbb {Z}} почти периодична.

Рис. 10Рис. 10

?
Задача VII.4.22

Рассмотрим последовательность Морса

ε={εk}=0=01110110011100101110…, \varepsilon =\left\{ \varepsilon _{k}\right\} =0=01110110011100101110 \ldots ,

определяемую равенствами ε1=0,ε2=1,εk=1−εk−2n\varepsilon_{1}=0, \quad \varepsilon_{2}=1, \quad \varepsilon_{k}=1-\varepsilon_{k-2^{n}} \quad при 2n<k⩽2n+1(n∈N)2^{n}<k \leqslant 2^{n+1}(n \in \mathbb {N}). Докажите, что она почти периодична.

?
Задача VII.4.23

Пусть для конечной последовательности («слова»)

A=ε1ε2…εn A=\varepsilon _{1} \varepsilon _{2} \ldots \varepsilon _{n}

из нулей и единиц A0A^{0} означает A,A1=εˉ1εˉ2…εˉnA, A^{1}=\bar{\varepsilon }_{1} \bar{\varepsilon }_{2} \ldots \bar{\varepsilon }_{n}, где εˉk=1−εk\bar{\varepsilon }_{k}=1-\varepsilon_{k}. Определим последовательность ε\varepsilon, задавая её начальные отрезки ApA_{p}, которые определяются рекуррентно: A0A_{0} - любое слово, A0=ε1ε2…εnA_{0}=\varepsilon_{1} \varepsilon_{2} \ldots \varepsilon_{n},

A1=A0A0ξ1A0ξ2…A0ξI A_{1}=A_{0} A_{0}^{\xi _{1}} A_{0}^{\xi _{2}} \ldots A_{0}^{\xi _{I}}

где ξ1…ξl\xi_{1} \ldots \xi_{l} - некоторое слово из нулей и единиц,

A2=A1A1η1A1η2…A1ηm,ηk∈{0,1}, A_{2}=A_{1} A_{1}^{\eta _{1}} A_{1}^{\eta _{2}} \ldots A_{1}^{\eta _{m}}, \quad \eta _{k} \in \left\{ 0,1\right\} ,

и т. д. Таким образом, A0A_{0} служит началом A1,A1A_{1}, A_{1} - началом A2A_{2} и т.д. Бесконечная последовательность {Ap}\left\{ A_{p}\right\} определяет некоторую последовательность ε\varepsilon. Докажите, что она периодична или почти периодична.

?
Задача VII.4.24

Последовательностью складок называется последовательность s={sn}s=\left\{ s_{n}\right\} нулей и единиц, начальные отрезки которой AnA_{n} длины 2k−1(k=2n)2 k-1\left(k=2^{n}\right) имеют вид

s1s2…sk−1sksˉk−1…sˉ1( где sˉj=1−sj). s_{1} s_{2} \ldots s_{k-1} s_{k} \bar{s}_{k-1} \ldots \bar{s}_{1} \quad \left(\text{ где } \quad \bar{s}_{j}=1-s_{j}\right) .

Название последовательности объясняется тем, что со словом AnA_{n} можно связать последовательность складок бумажной полоски, образующихся на ней в результате (n+1)(n+1)-кратного ее сгибания (сначала пополам, потом еще раз пополам и т.д.). Если, двигаясь по полоске, каждой складке, приводящей к повороту налево, поставить в соответствие единицу, а складке «поворот направо» - нуль, то получится AnA_{n} (рис. 11). Последовательность однозначно определяется заданием чисел s2n,n=0,1,2,…s_{2^{n}}, n=0,1,2, \ldots

Рис. 11Рис. 11

Докажите, что всякая последовательность складок почти периодична, но не периодична, даже если ограничиться членами со сколь угодно большими номерами.

?
Задача VII.4.25

Докажите, что последовательности складок (см. задачу 4.24) обладают следующим свойством (почти периодичность по Безиковичу): для каждого ε>0\varepsilon >0 найдутся такое число L>0L>0 и такие числа τm∈N(m∈N)\tau_{m} \in \mathbb {N}(m \in \mathbb {N}), что

  1. если ν(Δ)\nu (\Delta )- число тех τm\tau_{m}, которые попадают в интервал Δ⊂R+\Delta \subset \mathbb {R}_{+}, то v(Δ1)<2v(Δ2)v\left(\Delta_{1}\right)<2 v\left(\Delta_{2}\right) для всех интервалов Δ1,Δ2\Delta_{1}, \Delta_{2} длины LL;

  2. lim‾⁡n1n∑1⩽j⩽n∣sj+τm−sj∣<ε\varlimsup_{n} \frac{1}{n} \sum_{1 \leqslant j \leqslant n}\left|s_{j+\tau_{m}}-s_{j}\right|<\varepsilon для каждого m∈Nm \in \mathbb {N};

  3. lim‾⁡nlim‾⁡p1np∑1⩽j⩽n∑1⩽m⩽p∣sj+τm−sj∣<ε\varlimsup_{n} \varlimsup_{p} \frac{1}{n p} \sum_{1 \leqslant j \leqslant n} \sum_{1 \leqslant m \leqslant p}\left|s_{j+\tau_{m}}-s_{j}\right|<\varepsilon.

?
Задача VII.4.26

Докажите, что если xn=(−1)sn,n∈Nx_{n}=(-1)^{s_{n}}, n \in \mathbb {N}, где {sn}\left\{ s_{n}\right\} - последовательность складок, то при любом t∈Rt \in \mathbb {R} существует предел

ct=lim⁡1n∑1⩽k⩽nxke−2πikt c_{t}=\lim \frac{1}{n} \sum _{1 \leqslant k \leqslant n} x_{k} e^{-2 \pi i k t}

(«коэффициент Фурье»), причём

ct=−i(−1)l12m+1x2m, если t=2l+12m+2,m⩾0 c_{t}=-i(-1)^{l} \frac{1}{2^{m+1}} x_{2^{m}}, \quad \text{ если } \quad t=\frac{2 l+1}{2^{m+2}}, \quad m \geqslant 0

и ct=0c_{t}=0 в остальных случаях. Убедитесь в том, что справедливо «равенство Парсеваля»

lim⁡1n∑1⩽k⩽n∣xk∣2=∑0⩽t<1∣ct∣2. \lim \frac{1}{n} \sum _{1 \leqslant k \leqslant n}\left|x_{k}\right|^{2}=\sum _{0 \leqslant t<1}\left|c_{t}\right|^{2} .
?
Задача VII.4.27

Рассмотрим двоичную последовательность

{rn}=00010010000111010001001011100010… \left\{ r_{n}\right\} =00010010000111010001001011100010 \ldots

(последовательность Рудина-Шапиро), у которой начальные отрезки AnA_{n} длины 2n2^{n} имеют вид An=CnDnA_{n}=C_{n} D_{n}, где CnC_{n} и DnD_{n} - слова длины 2n−12^{n-1}, причем A1=C1D1=00A_{1}=C_{1} D_{1}=00, а при n>1n>1 слова An,Cn,DnA_{n}, C_{n}, D_{n} определяются рекуррентно:

Cn=An−1,Dn=Cn−1Dn−11,An=CnDn C_{n}=A_{n-1}, \quad D_{n}=C_{n-1} D_{n-1}^{1}, \quad A_{n}=C_{n} D_{n}

(Dn−11\left(D_{n-1}^{1}\right. получается из Dn−1D_{n-1} заменой 0↔1)\left.0 \leftrightarrow 1\right). Докажите почти периодичность этой последовательности.

Заметим, что последовательность {(−1)rn}\left\{ (-1)^{r_{n}}\right\} является последовательностью коэффициентов многочленов Рудина-Шапиро (см. задачу IX.4.25).

?