III.3

Непрерывные и дифференцируемые функции

[32/84%]
Показать
LaTeX
Задача III.3.1

Пусть

Δh1f(x)=Δhf(x)=f(x+h)−f(x),Δhm+1f(x)=Δh(Δhmf(x)). \Delta _{h}^{1} f(x)=\Delta _{h} f(x)=f(x+h)-f(x), \quad \Delta _{h}^{m+1} f(x)=\Delta _{h}\left(\Delta _{h}^{m} f(x)\right) .

Докажите, что функция f∈C(R)f \in C(\mathbb {R}) является полиномом степени не выше mm тогда и только тогда, когда Δhm+1f(x)=0\Delta_{h}^{m+1} f(x)=0 при любых x,h∈Rx, h \in \mathbb {R}.

?
Задача III.3.2

Пусть f∈C1([0,+∞))f \in C^{1}([0,+\infty )). Докажите, что f′(x)+f(x)→L∈Rf^{\prime }(x)+f(x) \rightarrow L \in \mathbb {R} при x→+∞x \rightarrow +\infty тогда и только тогда, когда f(x)⟶x→+∞Lf(x) \underset {x \rightarrow +\infty }{\longrightarrow } L и f′f^{\prime } равномерно непрерывна на (0,+∞)(0,+\infty ).

?
Задача III.3.3

Пусть функция ff дифференцируема на отрезке [a,b]\left[a, b\right]. Докажите, что если f′(a)f′(b)<0f^{\prime }(a) f^{\prime }(b)<0, то существует такая точка c∈(a,b)c \in (a, b), что f′(c)=0f^{\prime }(c)=0 (теорема Дарбу).

?
Задача III.3.4

Пусть функция ff дифференцируема на отрезке [a,b]\left[a, b\right]. Докажите, что если множество {x∈[a,b]∣f′(x)=y}\left\{ x \in [a, b] \mid f^{\prime }(x)=y\right\} замкнуто при любом y∈Ry \in \mathbb {R}, то f∈C1([a,b])f \in C^{1}(\left[a, b\right]).

?
Задача III.3.5

Пусть функция ff определена на интервале (a,b)(a, b). Докажите, что f∈C1((a,b))f \in C^{1}((a, b)) тогда и только тогда, когда отношение 1h(f(x+h)−f(x))\frac{1}{h}(f(x+h)-f(x)) стремится при h→0h \rightarrow 0 к конечному пределу равномерно на каждом промежутке [α,β]\left[\alpha , \beta \right] из (a,ba, b).

?
Задача III.3.6

Пусть f∈C((a,b))f \in C((a, b)) и для любого x∈(a,b)x \in (a, b) существует конечный предел lim⁡h→0f(x+h)−f(x−h)2h=g(x)\lim_{h \rightarrow 0} \frac{f(x+h)-f(x-h)}{2 h}=g(x). Докажите, что

?
(а)

если g⩾0g \geqslant 0 на (a,b)(a, b), то функция ff возрастает;

(б)

если g≡0g \equiv 0, то функция ff постоянна;

(в)

если g∈C((a,b))g \in C((a, b)), то f∈C1((a,b))f \in C^{1}((a, b)).

Задача III.3.7

Пусть f∈C((a,b))f \in C((a, b)) и для любого x∈(a,b)x \in (a, b) существует конечный предел lim⁡h→0f(x+h)+f(x−h)−2f(x)h2=g(x)\lim_{h \rightarrow 0} \frac{f(x+h)+f(x-h)-2 f(x)}{h^{2}}=g(x). Докажите, что

?
(а)

если g⩾0g \geqslant 0 на (a,b)(a, b), то функция ff выпукла;

(б)

если g≡0g \equiv 0, то функция ff есть многочлен не выше первой степени (теорема Шварца);

(в)

если g∈C((a,b))g \in C((a, b)), то f∈C2((a,b))f \in C^{2}((a, b)).

Задача III.3.8

Пусть функция ff дифференцируема на (a,ba, b) и удовлетворяет условию: для любой точки x∈(a,b)x \in (a, b) существует такое число δx>0\delta_{x}>0, что f(x+h)−f(x−h)=2hf′(x)f(x+h)-f(x-h)=2 h f^{\prime }(x) при 0<h<δx0<h<\delta_{x}. Докажите, что функция ff есть многочлен не выше второй степени.

?
Задача III.3.9

Пусть F⊂RF \subset \mathbb {R} - замкнутое множество без внутренних точек. Докажите, что существует такая строго возрастающая функция f∈C1(R)f \in C^{1}(\mathbb {R}), что {x∈R∣f′(x)=0}=F\left\{ x \in \mathbb {R} \mid f^{\prime }(x)=0\right\} =F.

?
Задача III.3.10

Пусть f∈C([0,1])f \in C(\left[0,1\right]). Эквивалентны ли утверждения:

  1. функция ff постоянна на [0,1]\left[0,1\right];

  2. ∀x∈(0,1)∃{xn}:xn→x,xn>x,f(xn)−f(x)xn−x→0\forall x \in (0,1) \exists \left\{ x_{n}\right\} : x_{n} \rightarrow x, x_{n}>x, \frac{f\left(x_{n}\right)-f(x)}{x_{n}-x} \rightarrow 0;

  3. ∀x∈(0,1)∃{xn}:xn→x,xn≠x,f(xn)−f(x)xn−x→0\forall x \in (0,1) \exists \left\{ x_{n}\right\} : x_{n} \rightarrow x, x_{n} \neq x, \frac{f\left(x_{n}\right)-f(x)}{x_{n}-x} \rightarrow 0.

?
Задача III.3.11

Может ли производная всюду дифференцируемой и не постоянной на интервале функции обратиться в нуль

?
(а)

во всех иррациональных точках этого интервала?

(б)

на плотном подмножестве (в каждом непустом подынтервале имеется корень производной)?

Изменится ли ответ, если дополнительно потребовать ограниченности производной?

Задача III.3.12

Пусть f∈V([a,b]),g(x)==Vax(f)(x∈(a,b]),g(a)=0f \in V(\left[a, b\right]), \quad g(x)= =\stackrel{\boldsymbol {x}}{\underset {a}{\mathbf{V}}}(f) \quad (x \in (a, b]), g(a)=0. Докажите, что если функция ff непрерывна в точке c∈[a,b]c \in [a, b], то и функция gg непрерывна в этой точке.

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

Пусть функция ff определена на промежутке ⟨a,b⟩⊂R\langle a, b\rangle \subset \mathbb {R}. Вариацией  Vba(f)\underset {a}{\stackrel{b}{\mathrm{~ V}}}(f) функции ff на ⟨a,b⟩\langle a, b\rangle называется наименьшая верхняя граница всевозможных сумм

∑k=1n−1∣f(xk+1)−f(xk)∣, где xk<xk+1,xk∈⟨a,b⟩,k=1,…,n. \sum _{k=1}^{n-1}\left|f\left(x_{k+1}\right)-f\left(x_{k}\right)\right|, \text{ где } x_{k}<x_{k+1}, x_{k} \in \langle a, b\rangle , k=1, \ldots , n .

Функция ff называется функцией ограниченной вариации на ⟨a,b⟩\langle a, b\rangle, если  Vba(f)<+∞\underset {a}{\stackrel{b}{\mathrm{~ V}}}(f)<+\infty. Символом V(⟨a,b⟩)V(\langle a, b\rangle ) будем обозначать множество всех функций, имеющих ограниченную вариацию на ⟨a,b⟩\langle a, b\rangle.

Задача III.3.13

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

 Vba(f)=∫ab∣f′(x)∣dx \underset {a}{\stackrel{b}{\mathrm{~ V}}}(f)=\int _{a}^{b}\left|f^{\prime }(x)\right| d x

Рис. 6Рис. 6

?
Задача III.3.14

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

?
(а)

если x=∑2εk3kx=\sum \frac{2 \varepsilon_{k}}{3^{k}}, где εk=0\varepsilon_{k}=0 или 1 , то f(x)=∑εk2kf(x)=\sum \frac{\varepsilon_{k}}{2^{k}};

(б)

на средней трети каждого промежутка Δε1…εn\Delta_{\varepsilon_{1} \ldots \varepsilon_{n}}, определённого при построении канторова множества (см. § 1 гл. I), функция ff постоянна и принимает значение ∑1⩽k⩽nεk2−k+2−(n+1)\sum_{1 \leqslant k \leqslant n} \varepsilon_{k} 2^{-k}+2^{-(n+1)};

(в)

f∈C([0,1])f \in C(\left[0,1\right]);

(г)

f(x3)=12f(x)f\left(\frac{x}{3}\right)=\frac{1}{2} f(x) при 0⩽x⩽10 \leqslant x \leqslant 1;

(д)

f(x+23n)=f(x)+12nf\left(x+\frac{2}{3^{n}}\right)=f(x)+\frac{1}{2^{n}} при 0⩽x⩽13n0 \leqslant x \leqslant \frac{1}{3^{n}};

(е)

f(x)+f(1−x)=1f(x)+f(1-x)=1 при 0⩽x⩽10 \leqslant x \leqslant 1;

(ж)

(x2)σ⩽f(x)⩽xσ\left(\frac{x}{2}\right)^{\sigma } \leqslant f(x) \leqslant x^{\sigma } при 0⩽x⩽10 \leqslant x \leqslant 1, где σ=log⁡32\sigma =\log_{3} 2.

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

Пусть при x∈[0,1]x \in [0,1]

f(x)=sup⁡{∑εk2k∣ ∑2εk3k⩽x,εk=0 или 1}. f(x)=\sup \left\{ \sum \frac{\varepsilon _{k}}{2^{k}} \left\lvert \, \sum \frac{2 \varepsilon _{k}}{3^{k}} \leqslant x\right., \varepsilon _{k}=0 \text{ или } 1\right\} .

График функции ff изображён на рис. 6 к задаче 3.13. Функцию ff называют канторовой функцией (а её график - «канторовой лестницей»).

Задача III.3.15

Найдите длину графика канторовой функции.

?
Задача III.3.16

При каких α>0\alpha >0 канторова функция входит в класс Lip⁡α([0,1])?\operatorname {Lip}_{\alpha }(\left[0,1\right]) ?

?
Задача III.3.17

Пусть KK - обобщённое канторово множество (см. определение перед задачей I.1.29), Δε1…εn\Delta_{\varepsilon_{1} \ldots \varepsilon_{n}} - его сегменты nn-го ранга. Пусть, далее, a=inf⁡K,b=sup⁡K,δε1…εna=\inf K, b=\sup K, \delta_{\varepsilon_{1} \ldots \varepsilon_{n}} - интервалы, удаляемые из сегментов Δε1…εn\Delta_{\varepsilon_{1} \ldots \varepsilon_{n}} при построении сегментов (n+1)(n+1)-го ранга.

Определим на [a,b]\left[a, b\right] функцию φ\varphi следующим образом:

φ(a)=0;φ(x)=12, если x∈[a,b]\(Δ0∪Δ1);φ(x)=∑1⩽k⩽nεk2k+12n+1, если x∈δε1…εn;φ(x)=sup⁡{φ(t)∣a<t<x,t∉K}, если x∈K,a<x. \begin{aligned} \varphi (a) & =0 ; \quad \varphi (x)=\frac{1}{2}, \quad \text{ если } \quad x \in [a, b] \backslash \left(\Delta _{0} \cup \Delta _{1}\right) ; \\ \varphi (x) & =\sum _{1 \leqslant k \leqslant n} \frac{\varepsilon _{k}}{2^{k}}+\frac{1}{2^{n+1}}, \quad \text{ если } \quad x \in \delta _{\varepsilon _{1} \ldots \varepsilon _{n}} ; \\ \varphi (x) & =\sup \left\{ \varphi (t) \mid a<t<x, t \notin K\right\} , \quad \text{ если } \quad x \in K, a<x . \end{aligned}

Функцию φ\varphi будем называть канторовой функцией, соответствующей множеству KK. Докажите, что

?
(а)

функция φ\varphi возрастает и непрерывна на [a,b]\left[a, b\right];

(б)

для любой точки x0∈Kx_{0} \in K и любого числа h>0h>0 справедливо неравенство φ(x0+h)−φ(x0−h)>0\varphi \left(x_{0}+h\right)-\varphi \left(x_{0}-h\right)>0 (функция φ\varphi строго возрастает в любой точке множества KK).

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

Обобщённое канторово множество строится следующим образом. Пусть Δ=[a,b]\Delta =\left[a,b\right] - произвольный невырожденный сегмент. Множество K1K_{1} получается удалением из Δ\Delta непустого интервала δ=(p,q)\delta =(p,q), концы которого не совпадают с aa и bb; иными словами, K1K_{1} есть объединение двух невырожденных сегментов Δ0=[a,p]\Delta_{0}=\left[a,p\right] и Δ1=[q,b]\Delta_{1}=\left[q,b\right], называемых сегментами первого ранга. При построении сегментов (n+1)(n+1)-го ранга из каждого сегмента nn-го ранга Δε1…εn\Delta_{\varepsilon_{1} \ldots \varepsilon_{n}} удаляется непустой интервал δε1…εn\delta_{\varepsilon_{1} \ldots \varepsilon_{n}}, концы которого не совпадают с концами Δε1…εn\Delta_{\varepsilon_{1} \ldots \varepsilon_{n}}; разность Δε1…εn∖δε1…εn\Delta_{\varepsilon_{1} \ldots \varepsilon_{n}} \setminus \delta_{\varepsilon_{1} \ldots \varepsilon_{n}} состоит из двух сегментов (n+1)(n+1)-го ранга, левый из которых обозначается Δε1…εn0\Delta_{\varepsilon_{1} \ldots \varepsilon_{n} 0}, а правый - Δε1…εn1\Delta_{\varepsilon_{1} \ldots \varepsilon_{n} 1}. Множество Kn+1K_{n+1} есть объединение всех сегментов (n+1)(n+1)-го ранга. Если множество K=⋂n⩾1KnK=\bigcap_{n \geqslant 1} K_{n} не имеет внутренних точек, то оно называется обобщённым канторовым множеством.

Задача III.3.18

Пусть F⊂RF \subset \mathbb {R} - замкнутое множество без изолированных точек. Докажите, что существует такая функция f∈C(R)f \in C(\mathbb {R}), что

  1. f′(x)=0f^{\prime }(x)=0 при любом x∈R\Fx \in \mathbb {R} \backslash F;

  2. f(x+h)−f(x−h)>0f(x+h)-f(x-h)>0 при любом x∈Fx \in F и любом h>0h>0.

?
Задача III.3.19

Пусть 1<α<2,f(x)=x2cos⁡1xα1<\alpha <2, f(x)=x^{2} \cos \frac{1}{x^{\alpha }} при 0<x⩽1,f(0)=00<x \leqslant 1, f(0)=0. Докажите, что f∈V([0,1]),ff \in V(\left[0,1\right]), f дифференцируема на [0,1]\left[0,1\right], но функция g(x)= Vx0(f)g(x)=\underset {0}{\stackrel{x}{\mathrm{~ V}}}(f) не дифференцируема в нуле. Существует ли g′(0)g^{\prime }(0) при α=1\alpha =1 ?

?
Задача III.3.20

Пусть α,β>0,f(x)=xαcos⁡1xβ\alpha , \beta >0, f(x)=x^{\alpha } \cos \frac{1}{x^{\beta }} при 0<x⩽1,f(0)=00<x \leqslant 1, f(0)=0. Докажите, что

?
(а)

f∈V([0,1])f \in V(\left[0,1\right]), если и только если α>β\alpha >\beta;

(б)

f∈Lip⁡1([0,1])f \in \operatorname {Lip}_{1}(\left[0,1\right]) лишь при α⩾β+1\alpha \geqslant \beta +1;

(в)

если α<β+1\alpha <\beta +1, то f∈Lip⁡γ([0,1])f \in \operatorname {Lip}_{\gamma }(\left[0,1\right]), где γ=αβ+1\gamma =\frac{\alpha }{\beta +1}.

Задача III.3.21

Пусть 0<γ<10<\gamma <1. Постройте функцию ff из класса Lip⁡γ([0,1])\operatorname {Lip}_{\gamma }(\left[0,1\right]), не имеющую ограниченной вариации ни на каком невырожденном промежутке Δ⊂[0,1]\Delta \subset [0,1].

?
Задача III.3.22

Укажите такие функции f,g∈C([0,1])f, g \in C(\left[0,1\right]), что

?
(а)

f∈V([0,1])f \in V(\left[0,1\right]) и f∉Lip⁡α([0,1])f \notin \operatorname {Lip}_{\alpha }(\left[0,1\right]) при любом α>0\alpha >0;

(б)

g∉V([0,1])g \notin V(\left[0,1\right]) и g∈Lip⁡α([0,1])g \in \operatorname {Lip}_{\alpha }(\left[0,1\right]) при любом α<1\alpha <1.

Задача III.3.23

Пусть функция f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} непрерывна и 2π2 \pi-периодична,

φ(x)=∫−ππf(x−t)∣t∣dt(x∈R) \varphi (x)=\int _{-\pi }^{\pi } \frac{f(x-t)}{\sqrt{\left|t\right|}} d t \quad (x \in \mathbb {R})

Докажите, что φ∈Lip⁡1/2\varphi \in \operatorname {Lip}_{1 / 2}, точнее, что

∣φ(u)−φ(v)∣⩽8∣u−v∣1/2max⁡x∈R∣f(x)∣ \left|\varphi (u)-\varphi (v)\right| \leqslant 8\left|u-v\right|^{1 / 2} \max _{x \in \mathbb {R}}\left|f(x)\right|
?
Задача III.3.24

Пусть f(x)=∑2−ncos⁡4nxf(x)=\sum 2^{-n} \cos 4^{n} x. Докажите, что f∈Lip⁡1/2f \in \operatorname {Lip}_{1 / 2}, но f∉Lip⁡αf \notin \operatorname {Lip}_{\alpha } при α>12\alpha >\frac{1}{2}.

?
Задача III.3.25

Пусть f(x)=∑A−nsin⁡3nxf(x)=\sum A^{-n} \sin 3^{n} x, где A∈(1,3)A \in (1,3). Докажите, что f∈Lip⁡αf \in \operatorname {Lip}_{\alpha }, где α=log⁡3A\alpha =\log_{3} A, но f∉Lip⁡βf \notin \operatorname {Lip}_{\beta } при β>α\beta >\alpha.

?
Задача III.3.26

Пусть f(x)=∑3−nsin⁡3nxf(x)=\sum 3^{-n} \sin 3^{n} x. Докажите, что f∈Lip⁡αf \in \operatorname {Lip}_{\alpha } при любом α∈(0,1)\alpha \in (0,1). Верно ли, что f∈Lip⁡1f \in \operatorname {Lip}_{1} ?

?
Задача III.3.27

Пусть f(x)=∑n!2n!sin⁡(2n!πx)f(x)=\sum \frac{n!}{2^{n!}} \sin \left(2^{n!} \pi x\right). Докажите, что

?
(а)

f∈Lip⁡αf \in \operatorname {Lip}_{\alpha } при α<1\alpha <1;

(б)

функция ff не дифференцируема ни в одной точке.

Оцените сверху модуль непрерывности функции ff.

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

В задачах 3.27-3.29 рассматриваются различные варианты примера Вейерштрасса всюду непрерывной, но нигде не дифференцируемой функции. В своё время этот пример вызвал оживлённое обсуждение. Широко известны слова Ш. Эрмита, что он «с ужасом отворачивается от внушающей сожаление язвы непрерывных функций, не имеющих ни в одной точке производной» (по мнению Н.Бурбаки, это сказано «не без некоторого юмора, который, по-видимому, дошёл не до всех комментаторов»). Большая свобода приводимой ниже конструкции позволяет, основываясь на общей идее, строить недифференцируемые функции, принадлежащие классам Lip⁡α\operatorname {Lip}_{\alpha } при любом α∈(0,1)\alpha \in (0,1). Отметим, что в классе Lip⁡1\operatorname {Lip}_{1} такие примеры заведомо невозможны, так как в силу теоремы Лебега функции ограниченной вариации (и тем более функции из класса Lip⁡1\operatorname {Lip}_{1}) дифференцируемы на множестве полной меры (см., например, [Ву], [КФ], [Т]). Однако существуют нигде не дифференцируемые функции, модуль непрерывности которых «сколь угодно мало» отличается от липшицевского.

Задача III.3.28

Пусть ω\omega - произвольная определённая на полуоси [0,∞)[0, \infty ) непрерывная возрастающая функция, удовлетворяющая условиям: ω(0)=0,Ω(t)=ω(t)t\omega (0)=0, \Omega (t)=\frac{\omega (t)}{t} убывает при t>0t>0 и Ω(t)⟶t→+0+∞\Omega (t) \underset {t \rightarrow +0}{\longrightarrow }+\infty.

Докажите, что существует такая непрерывная, нигде не дифференцируемая 2π2 \pi-периодическая функция FF вида

F(x)=∑n⩾1ω(1mn)sin⁡(2πmnx), F(x)=\sum _{n \geqslant 1} \omega \left(\frac{1}{m_{n}}\right) \sin \left(2 \pi m_{n} x\right),

модуль непрерывности которой есть O(ω)O(\omega ).

?
Задача III.3.29

Пусть ff - периодическая и не постоянная на R\mathbb {R} функция, принадлежащая классу Lip⁡1\operatorname {Lip}_{1}.

?
(а)

Докажите, что для любого q∈(0,12)q \in \left(0, \frac{1}{2}\right) непрерывная функция

W(x)=∑n⩾1qnf(Qnx)(x∈R) W(x)=\sum _{n \geqslant 1} q^{n} f\left(Q^{n} x\right) \quad (x \in \mathbb {R})

не дифференцируема ни в одной точке, если параметр QQ достаточно велик.

(б)

Докажите, что если последовательность положительных чисел {mn}\left\{ m_{n}\right\} такова, что m1+m2+…+mn−1=O(mn)m_{1}+m_{2}+\ldots +m_{n-1}=O\left(m_{n}\right), то при любом α∈(0,1)\alpha \in (0,1) функция

Wα(x)=∑n⩾11mnαf(mnx) W_{\alpha }(x)=\sum _{n \geqslant 1} \frac{1}{m_{n}^{\alpha }} f\left(m_{n} x\right)

принадлежит классу Lip⁡α\operatorname {Lip}_{\alpha }, а при α=1\alpha =1 это уже, вообще говоря, не так.

Задача III.3.30

Пусть α>0,f∈C1(Δ),N0={x∈Δ∣f′(x)=0}\alpha >0, f \in C^{1}(\Delta ), N_{0}=\left\{ x \in \Delta \mid f^{\prime }(x)=0\right\} - множество критических точек функции ff. Докажите, что

?
(а)

если f′∈Lip⁡(α,c)f^{\prime } \in \operatorname {Lip}(\alpha , c) для любой точки c∈Δc \in \Delta, то

N0={x∈Δ∣f∈Lip⁡(1+α,x)}; N_{0}=\left\{ x \in \Delta \mid f \in \operatorname {Lip}(1+\alpha , x)\right\} ;
(б)

если функция ff дважды дифференцируема на Δ\Delta, то

N0={x∈Δ∣f∈Lip⁡(2,x)}. N_{0}=\left\{ x \in \Delta \mid f \in \operatorname {Lip}(2, x)\right\} .
Примечание.
?

Говорят, что функция ff, определенная на промежутке Δ\Delta, содержащем точку cc, принадлежит классу Lip⁡(α,c)\operatorname {Lip}(\alpha , c) (α>0\alpha >0), если существуют такие положительные числа LL и δ\delta, что ∣f(x)−f(c)∣⩽L∣x−c∣α\left|f(x)-f(c)\right| \leqslant L\left|x-c\right|^{\alpha } для любой точки xx из пересечения Δ∩(c−δ,c+δ)\Delta \cap (c-\delta , c+\delta ).

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

Задача III.3.31

Докажите, что существует функция f∈C1(R)f \in C^{1}(\mathbb {R}), у которой множество критических значений совпадает с классическим канторовым множеством CC (см. задачу I.1.29 и текст перед ней).

По теореме Сарда (см., например, [МУ]) множество критических значений функции из класса C2(R2)C^{2}\left(\mathbb {R}^{2}\right) имеет меру нуль и, следовательно, не содержит внутренних точек. Предположение о C2C^{2}-гладкости функции не может быть существенно ослаблено.

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

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

Обобщённое канторово множество называется однородным, если для каждого nn длины всех его сегментов nn-го ранга Δε1…εn\Delta_{\varepsilon_{1} \ldots \varepsilon_{n}} (см. замечание к задаче 3.17) одинаковы; обозначим эту общую длину lnl_{n} (полагая l0=∣Δ∣l_{0}=|\Delta |). Если отношение θ=ln/ln−1\theta =l_{n}/l_{n-1} одно и то же при всех n∈Nn \in \mathbb {N}, то такое множество называется множеством с постоянным отношением θ\theta; при этом θ∈(0,12)\theta \in \left(0, \frac{1}{2}\right). Классическое канторово множество CC получается при Δ=[0,1]\Delta =\left[0,1\right] и θ=13\theta =\frac{1}{3}.

Задача III.3.32

Взяв функцию ff, построенную в предыдущей задаче, и положив F(x,y)=f(x)+f(y)F(x, y)=f(x)+f(y), покажите, что утверждение теоремы Сарда перестаёт быть верным в классе функций, у которых частные производные первого порядка удовлетворяют условию Липшица с показагелем 12\frac{1}{2}. Модифицируя это построение, убедитесь, что контрпример к теореме Сарда можно получить и в классе гладких функций, частные производные которых удовлетворяют условию Липшица с любым показателем α<1\alpha <1.

?