Глава 16

Обобщенные функции

[52/35%]
Показать
LaTeX
§
Задача 16.1

На подпространстве {φD:φ(0)=0}\left\{ \varphi \in \mathcal{D}: \varphi (0) = 0\right\} определён линейный функционал φRφ(t)tdt\varphi \rightarrow \int_{\mathbb {R}} \frac{\varphi (t)}{t} d t. Доказать, что этот функционал непрерывен, и найти все его непрерывные продолжения на всё пространство D\mathcal{D}.

?
Задача 16.2

На подпространстве {φD:φ(x)0 при x<ε}\left\{ \varphi \in \mathcal{D}: \varphi (x) \equiv 0\text{ при }\left|x\right| < \varepsilon \right\} (число ε=ε(φ)\varepsilon = \varepsilon (\varphi ) — своё для каждой функции φ\varphi) определён линейный функционал φRexp(1/t2)φ(t)dt\varphi \rightarrow \int_{\mathbb {R}} \exp \left(1 / t^{2}\right) \varphi (t) d t. Доказать, что этот функционал нельзя продолжить до непрерывного функционала на всём пространстве D\mathcal{D}.

?
Задача 16.3

Привести примеры обобщённых функций, принадлежащих

?
(а)

D\S\mathcal{D}^{\prime } \backslash \mathcal{S}^{\prime };

(б)

S\E\mathcal{S}^{\prime } \backslash \mathcal{E}^{\prime }.

Задача 16.4

Доказать, что функционалы δa,P1x\delta_{a}, \mathcal{P} \frac{1}{x} и 1x±i0\frac{1}{x \pm i 0} лежат в пространстве D\mathcal{D}^{\prime }.

?
Задача 16.5

Доказать, что обобщённые функции δa,P1x\delta_{a}, \mathcal{P} \frac{1}{x} и 1x±i0\frac{1}{x \pm i 0} сингулярны.

?
Задача 16.6

Доказать формулы Сохоцкого:

1x±i0=P1xiπδ(x) \frac{1}{x \pm i 0} = \mathcal{P} \frac{1}{x} \mp i \pi \delta (x)
?
Задача 16.7

Определим обобщённую функцию (x+i0)λ,Reλ>1(x+i 0)^{\lambda }, \operatorname {Re} \lambda > -1, как предел регулярных обобщённых функций

(x+iε)λ=eλ(lnx+iε+iarg(x+iε)) (x+i \varepsilon )^{\lambda } = e^{\lambda (\ln \left|x+i \varepsilon \right|+i \arg (x+i \varepsilon ))}

(где argz[0,2π)\arg z \in [0,2 \pi )) при ε+0\varepsilon \rightarrow +0. Доказать, что

(x+i0)λ=x+λ+eiπλxλ. (x+i 0)^{\lambda } = x_{+}^{\lambda }+e^{i \pi \lambda } x_{-}^{\lambda }.
?
Задача 16.8

Пусть Reλ1,λ1,2,\operatorname {Re} \lambda \leqslant -1, \lambda \neq -1,-2, \ldots, а nn есть целая часть числа Reλ-\operatorname {Re} \lambda. Для каждой функции φD\varphi \in \mathcal{D} положим

x+λ,φ:=01xλ[φ(x)φ(0)xφ(0)xn1(n1)!φ(n1)(0)]dx++1xλφ(x)dx+k=1nφ(k1)(0)(k1)!(λ+k)xλ,φ:=01xλ[φ(x)φ(0)+xφ(0)(x)n1(n1)!φ(n1)(0)]dx++1xλφ(x)dx+k=1n(1)k1φ(k1)(0)(k1)!(λ+k) \begin{aligned} \left\langle x_{+}^{\lambda }, \varphi \right\rangle : = & \int _{0}^{1} x^{\lambda }\left[\varphi (x)-\varphi (0)-x \varphi ^{\prime }(0)-\ldots -\frac{x^{n-1}}{(n-1)!} \varphi ^{(n-1)}(0)\right] d x+ \\ & +\int _{1}^{\infty } x^{\lambda } \varphi (x) d x+\sum _{k = 1}^{n} \frac{\varphi ^{(k-1)}(0)}{(k-1)!(\lambda +k)} \\ \left\langle x_{-}^{\lambda }, \varphi \right\rangle : = & \int _{0}^{1} x^{\lambda }\left[\varphi (-x)-\varphi (0)+x \varphi ^{\prime }(0)-\ldots -\frac{(-x)^{n-1}}{(n-1)!} \varphi ^{(n-1)}(0)\right] d x+ \\ & +\int _{1}^{\infty } x^{\lambda } \varphi (-x) d x+\sum _{k = 1}^{n} \frac{(-1)^{k-1} \varphi ^{(k-1)}(0)}{(k-1)!(\lambda +k)} \end{aligned}

Доказать, что эти формулы задают обобщённые функции на D. Доказать, что в каждой полосе n1<Reλ<n-n-1 < \operatorname {Re} \lambda < -n эти функционалы могут быть заданы формулами

x+λ,φ:=0xλ[φ(x)φ(0)xφ(0)xn1(n1)!φ(n1)(0)]dxxλ,φ:=0xλ[φ(x)φ(0)+xφ(0)(x)n1(n1)!φ(n1)(0)]dx \begin{aligned} \left\langle x_{+}^{\lambda }, \varphi \right\rangle & : = \int _{0}^{\infty } x^{\lambda }\left[\varphi (x)-\varphi (0)-x \varphi ^{\prime }(0)-\ldots -\frac{x^{n-1}}{(n-1)!} \varphi ^{(n-1)}(0)\right] d x \\ \left\langle x_{-}^{\lambda }, \varphi \right\rangle & : = \int _{0}^{\infty } x^{\lambda }\left[\varphi (-x)-\varphi (0)+x \varphi ^{\prime }(0)-\ldots -\frac{(-x)^{n-1}}{(n-1)!} \varphi ^{(n-1)}(0)\right] d x \end{aligned}
?
Задача 16.9

Доказать, что при фиксированной φ\varphi функция g(λ):=x+λ,φg(\lambda ): = \left\langle x_{+}^{\lambda }, \varphi \right\rangle голоморфна в области C\{1,2,}\mathbb {C} \backslash \left\{ -1,-2, \ldots \right\} и, вообще говоря, имеет полюсы первого порядка в точках 1,2,-1,-2, \ldots Найти вычеты в этих точках.

?
Задача 16.10

Доказать, что при фиксированном φ\varphi функция g(λ):=xλ,φg(\lambda ): = \left\langle \left|x\right|^{\lambda }, \varphi \right\rangle голоморфна в области C\{1,3,5,}\mathbb {C} \backslash \left\{ -1,-3,-5, \ldots \right\} и, вообще говоря, имеет полюсы первого порядка в точках 1,3,5,-1,-3,-5, \ldots Найти вычеты в этих точках.

?
Задача 16.11

Доказать, что при фиксированном φ\varphi функции g+(λ):=:=(x+i0)λ,φg_{+}(\lambda ): = : = \left\langle (x+i 0)^{\lambda }, \varphi \right\rangle и g(λ):=(xi0)λ,φg_{-}(\lambda ): = \left\langle (x-i 0)^{\lambda }, \varphi \right\rangle голоморфны в C\mathbb {C}.

?
Задача 16.12

Доказать, что если две локально суммируемые функции f,gL1, loc (R)f, g \in L_{1, \text{ loc }}(\mathbb {R}) определяют одну и ту же регулярную обобщённую функцию (Ff,φ=Fg,φ\left\langle F_{f}, \varphi \right\rangle = \left\langle F_{g}, \varphi \right\rangle для любой φD\varphi \in \mathcal{D}), то f(x)=g(x)f(x) = g(x) почти всюду на R\mathbb {R}.

?
Задача 16.13

Пусть FDF \in \mathcal{D}^{\prime } и F,φ0\langle F, \varphi \rangle \geqslant 0 для любой неотрицательной функции φD\varphi \in \mathcal{D}. Доказать, что найдется такая неубывающая функция μ\mu, что F,φ=Rφ(t)dμ\langle F, \varphi \rangle = \int_{\mathbb {R}} \varphi (t) d \mu, где интеграл понимается в смысле Римана-Стилтьеса.

?
Задача 16.14

Доказать, что всякая обобщённая функция регулярна на дополнении к своему сингулярному носителю.

?
Задача 16.15

Найти носитель и сингулярный носитель следующих обобщённых функций:

?
(а)

θ(x)\theta (x);

(б)

δa\delta_{a};

(в)

P1x\mathcal{P} \frac{1}{x}.

Задача 16.16

Доказать, что обобщённая функция FF принадлежит E\mathcal{E}^{\prime } тогда и только тогда, когда носитель FF лежит на некотором отрезке (то есть компактен).

?
Задача 16.17

Доказать, что если функция ff имеет вид f(x)=g(x)(1+xn)f(x) = g(x)\left(1+\left|x\right|^{n}\right), где gL1(R)g \in L_{1}(\mathbb {R}) и nN{0}n \in \mathbb {N} \cup \left\{ 0\right\}, то ff порождает обобщенную функцию FfSF_{f} \in S^{\prime }.

?
Задача 16.18

Пусть W21[π,π]W_{2}^{-1}[-\pi , \pi ] — пополнение пространства L2[π,π]L_{2}[-\pi , \pi ] по норме

fW21[π,π]=supφW21=1ππfφdx. \left\| f\right\| _{W_{2}^{-1}[-\pi , \pi ]} = \sup _{\left\| \varphi \right\| _{W_{2}^{1}} = 1}\left|\int _{-\pi }^{\pi } f \varphi d x\right|.

Показать, что δ0W21[π,π]\delta_{0} \in W_{2}^{-1}[-\pi , \pi ], и найти δ0W21[π,π]\left\| \delta_{0}\right\|_{W_{2}^{-1}[-\pi , \pi ]} (ср. с задачей 5.20 а)).

?
Задача 16.19

Доказать, что если последовательность функций {fn}n=1L1, loc (R)\left\{ f_{n}\right\}_{n = 1}^{\infty } \subset \subset L_{1, \text{ loc }}(\mathbb {R}) для любого отрезка [a,b][a, b] удовлетворяет условиям (1) и (2), то fnδf_{n}-\delta-образная последовательность:

  1. для любых a1,b1,[a1,b1][a,b]a_{1}, b_{1},\left[a_{1}, b_{1}\right] \subset [a, b], имеет место неравенство

    a1b1fndx<C, \left|\int _{a_{1}}^{b_{1}} f_{n} d x\right| < C,

    где константа CC не зависит от a1,b1a_{1}, b_{1} и nn, а зависит только от [a,b][a, b];

\int {a}^{b} f{n} d x \rightarrow \begin{cases} 1, & \text{ если } 0 \in (a, b), \ 0, & \text{ если } 0 \notin [a, b]. \end{cases}

?
Задача 16.20

Пусть fL1(R)f \in L_{1}(\mathbb {R}) — неотрицательная функция и Rfdx=1\int_{\mathbb {R}} f d x = 1. Доказать, что fn(x)=nf(nx)f_{n}(x) = n f(n x) является δ\delta-образной последовательностью в D\mathcal{D}^{\prime }.

?
Задача 16.21

Найти предел в D\mathcal{D}^{\prime } следующих последовательностей:

?
(а)

1πεx2+ε2\frac{1}{\pi } \frac{\varepsilon }{x^{2}+\varepsilon^{2}} при ε+0\varepsilon \rightarrow +0;

(б)

1εex2/ε\frac{1}{\sqrt{\varepsilon }} e^{-x^{2} / \varepsilon } при ε+0\varepsilon \rightarrow +0;

(в)

1εex/ε\frac{1}{\varepsilon } e^{-\left|x\right| / \varepsilon } при ε+0\varepsilon \rightarrow +0;

(г)

1πsinnxx\frac{1}{\pi } \frac{\sin n x}{x} при n+n \rightarrow +\infty.

Задача 16.22

Найти предел F=limnFnF = \lim_{n \rightarrow \infty } F_{n} в D\mathcal{D}^{\prime } следующих последовательностей:

?
(а)

Fn=n(δ1/nδ0)F_{n} = n\left(\delta_{1 / n}-\delta_{0}\right);

(б)

Fn,φ=φ(n)(n)\left\langle F_{n}, \varphi \right\rangle = \varphi^{(n)}(n);

(в)

Fn,φ=k=0nφ(k)(k)\left\langle F_{n}, \varphi \right\rangle = \sum_{k = 0}^{n} \varphi^{(k)}(k);

(г)

Fn,φ=\left\langle F_{n}, \varphi \right\rangle = v.p. φ(x)cosnxxdx\int \frac{\varphi (x) \cos n x}{x} d x;

(д)

Fn,φ=\left\langle F_{n}, \varphi \right\rangle = v. p. φ(x)ncosnxxdx\int \frac{\varphi (x) n \cos n x}{x} d x;

(е)

Fn,φ=φ(x)nsinnxxdx\left\langle F_{n}, \varphi \right\rangle = \int \frac{\varphi (x) n \sin n x}{x} d x;

(ж)

Fn,φ=\left\langle F_{n}, \varphi \right\rangle = v. p. φ(x)sinnxx2dx\int \frac{\varphi (x) \sin n x}{x^{2}} d x;

(з)

Fn,φ=φ(x)(1cosnx)x2dx\left\langle F_{n}, \varphi \right\rangle = \int \frac{\varphi (x)(1-\cos n x)}{x^{2}} d x.

Задача 16.23

Верно ли, что любая последовательность непрерывных функций fnf_{n}, сходящаяся поточечно на R\mathbb {R} к нулю, сходится к нулю и в D\mathcal{D}^{\prime }?

?
Задача 16.24

Доказать, что регулярные обобщённые функции плотны в D\mathcal{D}^{\prime }.

?
Задача 16.25

Доказать, что регулярные обобщённые функции, порожденные финитными бесконечно дифференцируемыми функциями, плотны в D\mathcal{D}^{\prime } (то есть D\mathcal{D} плотно в D\mathcal{D}^{\prime }).

?
Задача 16.26

Доказать, что для любой обобщённой функции FDF \in \mathcal{D}^{\prime } найдётся последовательность регулярных функций, порожденных функциями из D\mathcal{D}, которая сходится к FF в D\mathcal{D}^{\prime }. 1

Footnotes

  1. Это утверждение не эквивалентно утверждению предыдущей задачи!

?
§
Задача 16.27

Пусть φD,FD\varphi \in \mathcal{D}, F \in \mathcal{D}^{\prime }. Доказать, что если φF=0\varphi \cdot F = 0, то F,φ=0\langle F, \varphi \rangle = 0. Верно ли обратное утверждение?

?
Задача 16.28

Доказать, что всякая обобщённая функция является пределом обобщённых функций с компактным носителем (иными словами, E\mathcal{E}^{\prime } секвенциально плотно в D\mathcal{D}^{\prime }).

?
Задача 16.29

Доказать, что xmx+λ=x+m+λ,λ1,2,,mNx^{m} x_{+}^{\lambda } = x_{+}^{m+\lambda }, \lambda \neq -1,-2, \ldots , m \in \mathbb {N}.

?
Задача 16.30

Доказать, что x2mxλ=x2m+λx^{2 m}\left|x\right|^{\lambda } = \left|x\right|^{2 m+\lambda }, а x2m+1xλ=x2m+1+λsignxx^{2 m+1}\left|x\right|^{\lambda } = \left|x\right|^{2 m+1+\lambda } \operatorname {sign} x, λ1,2,,mN\lambda \neq -1,-2, \ldots , m \in \mathbb {N}.

?
Задача 16.31

Решить в D\mathcal{D}^{\prime } уравнения:

?
(а)

xF=0x \cdot F = 0;

(б)

sinxF=0\sin x \cdot F = 0;

(в)

xF=cosxx \cdot F = \cos x;

(г)

xF=P1xx \cdot F^{\prime } = \mathcal{P} \frac{1}{x}.

Задача 16.32

Доказать, что если функция ff абсолютно непрерывна на R\mathbb {R}, то (Ff)=Ff\left(F_{f}\right)^{\prime } = F_{f^{\prime }}. Доказать правило Лейбница: если fEf \in \mathcal{E}, а FDF \in \mathcal{D}^{\prime }, то (fF)=fF+fF(f F)^{\prime } = f^{\prime } F+f F^{\prime }.

?
Задача 16.33

Пусть {xk}kK\left\{ x_{k}\right\}_{k \in \mathcal{K}} — последовательность действительных чисел, занумерованная в порядке возрастания, K={1,,n}\mathcal{K} = \left\{ 1, \ldots , n\right\}, либо K=N\mathcal{K} = \mathbb {N}, причём последовательность {xk}k=1\left\{ x_{k}\right\}_{k = 1}^{\infty } не имеет конечных точек накопления. Пусть функция ff абсолютно непрерывна на каждом промежутке (xk,xk+1)\left(x_{k}, x_{k+1}\right) и имеет в точках xkx_{k} разрывы первого рода, hk:=f(xk+0)f(xk0)h_{k}: = f\left(x_{k}+0\right)-f\left(x_{k}-0\right). Доказать, что fобобщ. =fклассич. +kKhkδxkf_{\text{обобщ. }}^{\prime } = f_{\text{классич. }}^{\prime }+\sum_{k \in \mathcal{K}} h_{k} \delta_{x_{k}}.

?
Задача 16.34

Вычислить производную следующих обобщённых функций:

?
(а)

x+λx_{+}^{\lambda } при 1<Reλ<0-1 < \operatorname {Re} \lambda < 0;

(б)

P1x\mathcal{P} \frac{1}{\left|x\right|};

(в)

lnx+\ln x_{+};

(г)

lnx\ln \left|x\right|;

(д)

P1x\mathcal{P} \frac{1}{x};

(е)

ln(x+i0)\ln (x+i 0);

(ж)

x+λx_{+}^{\lambda } при Reλ1,λ1,2,\operatorname {Re} \lambda \leqslant -1, \lambda \neq -1,-2, \ldots;

(з)

(x+i0)λ,λC(x+i 0)^{\lambda }, \lambda \in \mathbb {C};

(и)

xδ0x \delta_{0}^{\prime }.

Задача 16.35

Вычислить вторую производную следующих обобщённых функций:

?
(а)

x\left|x\right|;

(б)

sinx\left|\sin x\right|;

(в)

x+λx_{+}^{\lambda } при 1<Reλ<0-1 < \operatorname {Re} \lambda < 0;

(г)

lnx+\ln x_{+};

(д)

lnx\ln \left|x\right|;

(е)

ln(x+i0)\ln (x+i 0);

(ж)

P1x\mathcal{P} \frac{1}{x}.

Задача 16.36

Вычислить nn-ю производную x+λx_{+}^{\lambda } при 1<Reλ<0-1 < \operatorname {Re} \lambda < 0 (определение x+λx_{+}^{\lambda } см. в задаче 16.8).

?
Задача 16.37

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

?
Задача 16.38

Найти порядок сингулярности обобщённых функций:

?
(а)

δ0\delta_{0};

(б)

δ0(n)\delta_{0}^{(n)};

(в)

1x±i0\frac{1}{x \pm i 0};

(г)

P1x\mathcal{P} \frac{1}{x}.

Задача 16.39

Найти носитель и порядок сингулярности обобщённых функций:

?
(а)

f,φ=22xφ(x)dx\langle f, \varphi \rangle = \int_{-2}^{2}\left|x\right| \varphi^{\prime }(x) d x,

(б)

f,φ=22sign(x)φ(x)dx\langle f, \varphi \rangle = \int_{-2}^{2} \operatorname {sign}(x) \varphi^{\prime }(x) d x

Задача 16.40

Доказать теорему 16.1.

?
Задача 16.41

Доказать, что любая обобщённая функция FDF \in \mathcal{D}^{\prime } представима в виде не более чем счётной суммы Ffk(nk)\sum F_{f_{k}}^{\left(n_{k}\right)}, где все fkL1, loc (R)f_{k} \in L_{1, \text{ loc }}(\mathbb {R}) и каждый отрезок на прямой пересекается с конечным числом носителей функций fkf_{k}.

?
Задача 16.42

Привести пример функции FDF \in \mathcal{D}^{\prime } с бесконечным порядком сингулярности.

?
Задача 16.43

Доказать, что у любой обобщённой функции GG есть первообразная, то есть такая обобщённая функция FF, что F=GF^{\prime } = G. Рассмотреть случаи:

?
(а)

F,GDF, G \in \mathcal{D}^{\prime };

(б)

F,GSF, G \in \mathcal{S}^{\prime };

(в)

F,GEF, G \in \mathcal{E}^{\prime }.

Доказать, что если F1F_{1} и F2F_{2} — две первообразные функции GG, то разность F1F2F_{1}-F_{2} равна обобщённой функции, порождённой некоторой константой.

Задача 16.44

Решить в D\mathcal{D}^{\prime } дифференциальные уравнения:

?
(а)

F(n)=0F^{(n)} = 0;

(б)
  • xF=λFx F^{\prime } = \lambda F, где λC\lambda \in \mathbb {C};
(в)

F+F=δ0F^{\prime }+F = \delta_{0};

(г)

F+F=δ0F^{\prime \prime }+F = \delta_{0};

(д)

xF=1x F^{\prime } = 1;

(е)

FF=δ0F^{\prime \prime }-F = \delta_{0}.

Задача 16.45

Доказать, что обобщённая функция FF инвариантна относительно сдвигов (F,φ(x)=F,φ(x+a)(\langle F, \varphi (x)\rangle = \langle F, \varphi (x+a)\rangle для любых φD\varphi \in \mathcal{D} и aR)a \in \mathbb {R}) тогда и только тогда, когда она совпадает с регулярной функцией, порожденной некоторой константой.

?
Задача 16.46

Доказать, что любая обобщённая функция, удовлетворяющая уравнению

y(n)+an1y(n1)++a1y+a0y=0 y^{(n)}+a_{n-1} y^{(n-1)}+\ldots +a_{1} y^{\prime }+a_{0} y = 0

с постоянными коэффициентами akCa_{k} \in \mathbb {C}, является регулярной обобщённой функцией, порожденной некоторым обычным решением этого уравнения.

?
Задача 16.47

Доказать, что обобщённая функция FF имеет одноточечный носитель {a}:suppF={a}\left\{ a\right\} : \operatorname {supp} F = \left\{ a\right\} тогда и только тогда, когда FF представима в виде конечной линейной комбинации функции δa\delta_{a} и её производных.

?
Задача 16.48

Доказать равенство

n=1cosnx=12+πkZδ2πk \sum _{n = 1}^{\infty } \cos n x = -\frac{1}{2}+\pi \sum _{k \in \mathbb {Z}} \delta _{2 \pi k}

(суммы рядов в обеих частях берутся в D\mathcal{D}^{\prime }).

?
Задача 16.49

Доказать равенство n=1sinnx=12ctgx2\sum_{n = 1}^{\infty } \sin n x = \frac{1}{2} \operatorname {ctg} \frac{x}{2} (ряд сходится в D\mathcal{D}^{\prime }; ctgx2,φ:=\left\langle \operatorname {ctg} \frac{x}{2}, \varphi \right\rangle : = v.p. ctgx2φ(x)dx\int \operatorname {ctg} \frac{x}{2} \varphi (x) d x).

?
Задача 16.50

Доказать, что ряд n=1ancosnx\sum_{n = 1}^{\infty } a_{n} \cos n x сходится в D\mathcal{D}^{\prime } тогда и только тогда, когда найдутся такие C>0C > 0 и kNk \in \mathbb {N}, что an<Cnk,n=1,2,\left|a_{n}\right| < C n^{k}, n = 1,2, \ldots

?
Задача 16.51

Вычислить композицию δ(ax+b)\delta (a x+b), где a0a \neq 0 и bb — некоторые действительные числа.

?
Задача 16.52

Пусть FgF_{g} — регулярная обобщённая функция, порожденная локально интегрируемой функцией gg. Доказать, что для любого диффеоморфизма γ:RR\gamma : \mathbb {R} \rightarrow \mathbb {R} справедливо равенство Fgγ=FgγF_{g} \circ \gamma = F_{g \circ \gamma }, где gγg \circ \gamma — обычная композиция функций gg и γ\gamma.

?