Пример 2.4 Постоянная величина, то есть функция, значения которой $ C(x)=C$ не зависят от аргумента $ x$, имеет предел, равный этой постоянной, при любой (допустимой для данного множества аргументов $ x$) базе $ \mathcal{B}$.
Действительно, пусть $ C(x)=C$ при всех $ x$ из некоторого окончания $ E$ базы $ \mathcal{B}$. Тогда при любом, сколь угодно малом $ {\varepsilon}>0$ и любом $ x\in E$
$\displaystyle \vert C(x)-C\vert=0<{\varepsilon}.$
Это и означает, что $ \lim\limits_{\mathcal{B}}C=C$.
(Неудивительно: ведь график постоянной-- это горизонтальная прямая линия; тем самым, этот график целиком умещается в горизонтальную полосу любой, сколь угодно малой ширины.)

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

Приведём несколько примеров широко используемых в математическом анализе баз.

Определение 2.5 Правосторонний предел функции. Рассмотрим базу $ \mathcal{B}_{x_0+}$, окончаниями которой служат интервалы, примыкающие справа к точке $ x_0$, то есть интервалы вида $ E_{{\delta}}=(x_0;x_0+{\delta})$, где $ {\delta}>0$. Легко видеть, что все такие интервалы действительно образуют базу. Предел функции $ f(x)$ по этой базе называется пределом функции $ f(x)$ при $ x$, стремящемся к $ x_0$ справа. База $ \mathcal{B}_{x_0+}$ обозначается также $ x\to x_0+$ или $ x\to x_0+0$, а предел по этой базе обозначается так: $ \lim\limits_{x\to x_0+}f(x)$.
Рис.2.9.Предел справа

Оказываясь во все более далёких окончаниях базы, то есть в интервалах $ (x_0;x_0+{\delta})$ с уменьшающимися значениями $ {\delta}$, точка $ x\in E_{{\delta}}$ приближается к точке $ x_0$, оставаясь справа от неё. Это объясняет название предела, вычисляемого по данной базе.

Упражнение 2.2 Запишите с помощью неравенств, содержащих $ {\varepsilon}$ и $ {\delta}$, данное выше определение в развёрнутом виде.

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

Определение 2.6 Левосторонний предел. База $ \mathcal{B}_{x_0-}=\{x\to x_0-\}$ состоит из интервалов , $ {\delta}>0$, примыкающих к точке $ x_0$ слева.
Рис.2.10.Предел слева


База $ {x\to x_0-}$ обозначается также $ {x\to x_0-0}$. Предел по этой базе называется пределом функции $ f(x)$ при $ x$, стремящемся к $ x_0$ слева и обозначается так: $ {\lim\limits_{x\to x_0-}f(x)}$.

Левосторонний и правосторонний пределы функции называются односторонними пределами этой функции при $ x\to x_0$. Чтобы подчеркнуть отличие от односторонних пределов, предел $ {\lim\limits_{x\to x_0}f(x)}$ называют двусторонним пределом.

Теорема 2.1 Если функция $ f(x)$ имеет оба односторонних предела при $ x\to x_0$ и эти пределы равны одному и тому же числу $ L$, то существует двусторонний предел $ \lim\limits_{x\to x_0}f(x)$, который также равен $ L$; ноаборот, если существует двусторонний предел $ \lim\limits_{x\to x_0}f(x)=L$, то существуют оба односторонних предела и оба они равны числу $ L$.


Рис.2.11.Пределы справа и слева совпадают с двусторонним пределом


Доказательство. Пусть фиксировано некоторое число $ {\varepsilon}>0$. Так как $ \lim\limits_{x\to x_0+}f(x)=L$, то существует такое окончание $ (x_0;x_0+{\delta}_1)$ базы $ \mathcal{B}_{x_0+}$, при $ x$ из которого выполняется неравенство $ \vert f(x)-L\vert<{\varepsilon}$. Так как $ \lim\limits_{x\to x_0-}f(x)=L$, то существует такое окончание $ (x_0-{\delta}_2;x_0)$ базы $ \mathcal{B}_{x_0-}$, при $ x$ из которого также выполняется неравенство $ \vert f(x)-L\vert<{\varepsilon}$. Рассмотрим теперь меньшее из чисел $ {\delta}_1$ и $ {\delta}_2$ и обозначим его $ {\delta}$. Тогда при $ x\in(x_0-{\delta};x_0)$ и при $ x\in(x_0;x_0+{\delta})$, то есть на объединении этих двух интервалов $ (x_0-{\delta};x_0)\cup(x_0;x_0+{\delta})$, выполняется неравенство $ \vert f(x)-L\vert<{\varepsilon}$. Однако такое объединение интервалов-- это окончание базы $ x\to x_0$. Тем самым при любом $ {\varepsilon}>0$ мы предъявили окончание базы двустороннего предела, такое что при всех $ x$ из этого окончания верно неравенство $ \vert f(x)-L\vert<{\varepsilon}$. По определению это и означает, что $ f(x)\xrightarrow {x\to x_0}L$.

Обратно, если существует $ \lim\limits_{x\to x_0}f(x)$, то при всех $ x$ из некоторого двустороннего окончания $ (x_0-{\delta};x_0)\cup(x_0;x_0+{\delta})$ базы $ x\to x_0$ и, следовательно, из каждой из двух половинок $ (x_0-{\delta};x_0)$ (окончания базы $ x\to x_0-$) и $ (x_0;x_0+{\delta})$ (окончания базы $ x\to x_0+$) выполнено неравенство $ \vert f(x)-L\vert<{\varepsilon}$. Это и означает, что $ \lim\limits_{x\to x_0-}f(x)=L$ и $ \lim\limits_{x\to x_0+}f(x)=L$.

Определение 2.7 Через $ x\to\pm\infty$ (или $ x\to\infty$) обозначим базу, окончаниями которой служат объединения двух лучей $ (-\infty;-a)\cup(a;+\infty)$, где $ a\in\mathbb{R}$. При увеличении $ a$ получаем всё более далёкие окончания, уходящие в бесконечность в обе стороны. Предел по такой базе обозначается $ \lim\limits_{x\to\pm\infty}f(x)$ или $ \lim\limits_{x\to\infty}f(x)$.

Введённый этим определением двусторонний (при $ x\to\pm\infty$) предел уже не имеет такого "наглядного смысла", как, например, пределы при $ x\to x_0+$, $ x\to x_0-$. Действительно, как представить себе, что переменная $ x$ "уходит бесконечно далеко" сразу и направо, в $ +\infty$, и налево, в $ -\infty$? Тем не менее, понятие базы позволяет вычислять такой предел с не большими усилиями, чем пределы при условиях, имеющих "наглядное представление".

Упражнение 2.3 Покажите, пользуясь последним определением, что предел функции, рассмотренной в примере 2.3, при $ x\to\pm\infty$ равен 3. Найдите окончание базы $ x\to\pm\infty$, на котором при данном $ {\varepsilon}$ выполняется неравенство $ \vert f(x)-3\vert<{\varepsilon}$.

Упражнение 2.4 Сформулируйте и докажите теорему о связи односторонних (при $ x\to+\infty$ и $ x\to-\infty$) и двустороннего (при $ x\to\pm\infty$) пределов, аналогичную теореме 2.1.

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

Для того, чтобы нагляднее представлять себе обсуждаемые общие результаты, читатель должен выбрать какую-либо конкретную базу (рекомендуем $ x\to x_0$ или какой-либо из односторонних пределов) и наглядно представлять себе, что означает общий результат применительно к выбранной конкретной базе.

Пусть функция $ R(u,v)$ рациональным образом зависит от своих аргументов $ u$ и $ v$ . Рассмотрим интеграл

 

$\displaystyle \int R(x,\sqrt{ax^2+bx+c})dx,$

где квадратный трёхчлен $ ax^2+bx+c$ содержит по крайней мере два ненулевых слагаемых, и $ a\ne0$ ($ a,b,c$  -- некоторые постоянные). Будем считать, что он не равен полному квадрату некоторого линейного выражения, то есть

$\displaystyle ax^2+bx+c\ne z^2,$

где $ z=kx+d$ ($ k$ и $ d$  -- некоторые постоянные), так как иначе квадратный корень извлекается: $ \sqrt{ax^2+bx+c}=\vert z\vert$ , и интеграл сводится к интегралу от рациональной функции переменного $ x$ (при $ z\geqslant 0$ и при $ z\leqslant 0$ получаются разные интегралы!). При этом предположении мы можем выделить в этом квадратном трёхчлене полный квадрат и привести его к одному из трёх возможных видов:
1) $ ax^2+bx+c=m^2-z^2$ ;
2) $ ax^2+bx+c=m^2+z^2$ ;
3) $ ax^2+bx+c=z^2-m^2$ ,
где $ m>0$  -- некоторая постоянная, а $ z=kx+d$  -- линейное выражение. (Четвёртый логически возможный случай, $ ax^2+bx+c=-m^2-z^2$ , означает, что под корнем находится отрицательное выражение, и поэтому рассматриваться не будет.)

Подберём такие тригонометрические замены, чтобы корень извлекался. В первом случае, когда подкоренное выражение равно $ m^2-z^2$ , годится замена $ z=m\sin t$ , где $ t$  -- некоторая новая переменная. Тогда

$\displaystyle \sqrt{m^2-z^2}=\sqrt{m^2(1-\sin^2t)}=m\vert\cos t\vert.$

Достаточно считать, что $ t\in[-\frac{\pi}{2};\frac{\pi}{2}]$ , так как при этом переменная $ z$ принимает все возможные для неё значения $ z\in[-m;m]$ . Тогда $ \cos t\geqslant 0$ и $ \vert\cos t\vert=\cos t$ . Получаем, что

$\displaystyle x=\frac{1}{k}(z-d)=\frac{1}{k}(m\sin t-d)$

и

$\displaystyle dx=\frac{m}{k}\cos t\,dt.$

Переходя к новой переменной в интеграле, получим:

$\displaystyle \int R(x,\sqrt{ax^2+bx+c})dx=
\int R\Bigl(\frac{1}{k}(m\sin t-d),m\cos t\Bigr)\frac{m}{k}\cos t\,dt=
\int R_1(\sin t,\cos t),$

где $ R_1(\sin t,\cos t)$  -- некоторая функция, рациональным образом зависящая от синуса и косинуса. Тем самым вычисление интеграла свелось к уже изученному выше случаю.

Во втором случае, когда подкоренное выражение равно $ m^2+z^2$ , сделаем замену $ {z=m\mathop{\rm tg}\nolimits x}$ . Тогда

$\displaystyle \sqrt{m^2+z^2}=\sqrt{m^2(1+\mathop{\rm tg}\nolimits ^2t)}=\frac{m}{\vert\cos t\vert}.$

Достаточно считать, что $ t\in(-\frac{\pi}{2};\frac{\pi}{2})$ , так как при этом переменная $ z$ принимает все возможные значения $ z\in(-\infty;+\infty)$ . Тогда $ \cos t>0$ и $ \vert\cos t\vert=\cos t$ . Интеграл приводится к виду

$\displaystyle \int R(x,\sqrt{ax^2+bx+c})dx=
 \left\vert\begin{array}{l}
 x=\fra...
...op{\rm tg}\nolimits t-d)\\ 
 dx=\frac{m\,dt}{k\cos^2t}
 \end{array}\right\vert=$   
$\displaystyle =\int R\Bigl(\frac{1}{k}(m\mathop{\rm tg}\nolimits t-d),\frac{m}{\cos t}\Bigr)\frac{m}{k\cos^2t}\,dt=
 \int R_1(\sin t,\cos t)\,dt,$   

где $ R_1(\sin t,\cos t)$  -- некоторая функция, рациональным образом зависящая от синуса и косинуса. Снова вычисление интеграла свелось к изученному случаю.

Наконец, в третьем случае, когда подкоренное выражение равно $ z^2-m^2$ , сделаем замену $ z=\frac{\textstyle{m}}{\textstyle{\cos x}}$ . Тогда

$\displaystyle \sqrt{z^2-m^2}=\sqrt{m^2\Bigl(\frac{1}{\cos^2t}-1\Bigr)}=\sqrt{m^2\mathop{\rm tg}\nolimits ^2t}=m\vert\mathop{\rm tg}\nolimits t\vert.$

Достаточно считать, что $ t\in[0;\frac{\pi}{2})\cup(\frac{\pi}{2};\pi]$ , так как тогда $ z=\frac{\textstyle{m}}{\textstyle{\cos t}}$ принимает все допустимые значения $ z\in(-\infty;-m]\cup[m;+\infty)$ . Интеграл приводится к виду

$\displaystyle \int R(x,\sqrt{ax^2+bx+c})dx=
 \left\vert\begin{array}{l}
 x=\fra...
... tg}\nolimits t-d)\\ 
 dx=\frac{m\sin t\,dt}{k\cos^2t}
 \end{array}\right\vert=$   
$\displaystyle =\int R\Bigl(\frac{1}{k}(\frac{m}{\cos t}-d),m\vert\mathop{\rm tg}\nolimits t\vert\Bigr)\frac{m\sin t}{k\cos^2t}\,dt=
 \int R_1(\sin t,\cos t)\,dt,$   

где $ R_1(\sin t,\cos t)$  -- некоторая функция, рациональным образом зависящая от синуса и косинуса. И опять вычисление интеграла свелось к изученному случаю.

Телефония Анализ и синтез речи ОДУ высших порядков. Линейные уравнения с постоянными коэффициентами Справочный материал и примеры к выполнению контрольной работы по математике

Владимир Игоревич Арнoльд (род. 12 июня 1937, Одесса) — выдающийся российский математик.

Окончил механико-математический факультет Московского государственного университета (МГУ). Ученик А. Н. Колмогорова [1]. Доктор физико-математических наук (1963). В 1965—1986 годах — профессор МГУ. Академик АН СССР (с 1990). Двойные интегралы

Иностранный член Национальной Академии наук США, Французской Академии наук, почётный член Лондонского Королевского общества и др. Закон Кулона и пpинцип супеpпозиции полей. Электpостатика лекции и конспекты по физике

Почётный доктор университетов Пьера и Мари Кюри (Париж), Варвика (Ковентри), Утрехта, Болоньи, Торонто, Complutense (Мадрид).

Президент ММО (1996). Векторная диаграмма - это способ графического задания колебательного движения в виде вектора.

В 1995—1998 гг. занимал должность вице-президента Международного математического союза, сейчас является членом его исполнительного комитета.

Председатель попечительского совета Независимого Московского университета, главный научный сотрудник Математического института имени В. А. Стеклова РАН, профессор университета Париж-Дофин.

коммутационные схемы Перечень команд AutoCAD ; Метод суперпозиции