Бесконечно малые функции

Если [latex]\lim_{x\rightarrow a }f(x)=0[/latex], то функция [latex]f(x)[/latex] называется бесконечно малой при [latex]x\rightarrow a[/latex].

Свойства

  1. Сумма (разность) конечного числа бесконечно малых функций при [latex]x\rightarrow a[/latex] есть бесконечно малая функция при [latex]x\rightarrow a[/latex]
  2. Доказательство
    Пусть [latex]f_{1}(x),f_{2}(x),..,f_{n}(x)[/latex] бесконечно малые функции при [latex]x\rightarrow a[/latex]. Тогда существуют числа [latex]\delta _{1},\delta _{2},..,\delta _{n}[/latex] и число [latex]\varepsilon >0[/latex] такие что
    [latex]|x-a|<\delta _{1},|x-a|<\delta _{2},..,|x-a|<\delta _{n}[/latex] (1)
    что влечет за собой условия
    [latex]|f_{1}(x)|<\frac{\varepsilon }{n},|f_{2}(x)|<\frac{\varepsilon }{n},..,|f_{n}(x)|<\frac{\varepsilon }{n}[/latex] (2).
    Если [latex]\delta =\min\begin{Bmatrix}\delta _{1};\delta _{2};..;\delta _{n}\end{Bmatrix}[/latex], то условие [latex]|x-a|<\delta [/latex] усиливает группу условий (1) что влечет за собой группу условий (2). Следовательно
    [latex]\\|f_{1}(x)+f_{2}(x)+..+f_{n}(x)|\leqslant |f_{1}(x)|+|f_{2}(x)|+..+|f_{n}(x)|\\|f_{1}(x)|+|f_{2}(x)|+..+|f_{n}(x)|<\sum_{1}^{n}\frac{\varepsilon }{n}=\varepsilon\\|f_{1}(x)+f_{2}(x)+..+f_{n}(x)|<\varepsilon [/latex]

  3. Произведение бесконечно малой функции [latex]f(x)[/latex] на ограниченную [latex]g(x)[/latex] в некоторой проколотой окрестности точки [latex]a[/latex] есть бесконечно малая функция при [latex]x\rightarrow a[/latex]
  4. Доказательство
    Так как функция [latex]g(x)[/latex] ограничена, то для [latex]x[/latex] удовлетворяющих условию
    [latex]|x-a|<\delta _{1}[/latex] (1)
    существует число
    [latex]C:|g(x)|<C[/latex] (2)
    Так как функция [latex]f(x)[/latex] бесконечно малая, то существует некоторая окрестность [latex]\delta _{2}[/latex] и число
    [latex]\varepsilon >0[/latex] для которых выполняются условия
    [latex]|x-a|<\delta _{2}[/latex] (3)
    и
    [latex]|f(x)|<\frac{\varepsilon}{C}[/latex] (4)
    Выберем [latex]\delta=\min\begin{Bmatrix}\delta _{1};\delta _{2}\end{Bmatrix}[/latex]. Тогда условие [latex]|x-a|<\delta [/latex] более сильное чем (1) и (3) и поэтому оно влечет за собой условия (2) и (4).
    Следовательно [latex]|f(x)g(x)|=|f(x)||g(x)|<\frac{\varepsilon }{C}C =\varepsilon [/latex]

  5. Произведение конечного числа бесконечно малых функций при [latex]x\rightarrow a[/latex] есть бесконечно малая функция при [latex]x\rightarrow a[/latex]
  6. Доказательство
    Так как любая бесконечно малая функция [latex]f(x)[/latex] при [latex]x\rightarrow a[/latex] будет ограничена в некоторой [latex]\delta [/latex] окрестности точки [latex]a[/latex], то доказательство сводится к доказательству свойства 2.

Литература

  1. Тер-Киркоров А.М., Шабунин М.И., Курс математического анализа, физмат-лит, 2001. стр. 83

Следующая тема →

Свойства границ, связанные с арифметическими операциями и с неравенствами

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

Если функции [latex]f(x)[/latex] и [latex]g(x)[/latex] имеют конечные пределы в точке [latex]a[/latex], причем [latex]\lim_{x\rightarrow a}f(x)=A[/latex] и [latex]\lim_{x\rightarrow a}g(x)=B[/latex] то:

  1. [latex]\lim_{x\rightarrow a}(f(x)+g(x))=A+B[/latex]
  2. Доказательство
    Так как функции [latex]f(x)[/latex] и [latex]g(x)[/latex] имеют предел в точке [latex]a[/latex], то при [latex]x\rightarrow a[/latex] величины [latex]h_{f}(x)=A-f(x)[/latex] и [latex]h_{g}(x)=B-g(x)[/latex] будут бесконечно малыми. Отсюда, согласно свойствам бесконечно малых [latex]h_{f}+h_{g}=(A+B)-(f(x)+g(x))[/latex] также будет бесконечно малой величиной. Что в свою очередь означает, что [latex]\lim_{x\rightarrow a}(f(x)+g(x))=A+B[/latex]

  3. [latex]\lim_{x\rightarrow a}(f(x)g(x))=AB[/latex]
  4. Доказательство
    Так как функции [latex]f(x)[/latex] и [latex]g(x)[/latex] имеют предел в точке [latex]a[/latex], то при [latex]x\rightarrow a[/latex] величины [latex]h_{f}(x)=A-f(x)[/latex] и [latex]h_{g}(x)=B-g(x)[/latex] будут бесконечно малыми. Поэтому [latex]g(x)=A-h_{f}(x)[/latex] и [latex]g(x)=B-h_{g}(x)[/latex]. Отсюда
    [latex]\\f(x)g(x)=(A-h_{f})(B-h_{g})\\f(x)g(x)=AB-Ah_{g}-Bh_{f}+h_{f}h_{g}\\AB-f(x)g(x)=Ah_{g}+Bh_{f}-h_{f}h_{g}[/latex]
    Согласно свойствам бесконечно малых, величина в правой части — бесконечно малая. Что в свою очередь означает, что [latex]\lim_{x\rightarrow a}(f(x)g(x))=AB[/latex]

  5. [latex]\lim_{x\rightarrow a}(\frac{f(x)}{g(x)})=\frac{A}{B}[/latex], причем [latex]B\neq 0[/latex]
  6. Доказательство
    Условие [latex]\lim_{x\rightarrow a}(\frac{f(x)}{g(x)})=\frac{A}{B}[/latex] эквивалентно тому, что разность [latex]\frac{A}{B}-\frac{f(x)}{g(x)}[/latex]
    бесконечно малая величина при [latex]x\rightarrow a[/latex]. Покажем, что это утверждение имеет место. Приведем к общему знаменателю, получим [latex]\frac{Ag(x)-Bf(x)}{Bg(x)}[/latex]. Рассмотрим предел числителя дроби.
    [latex]\\\lim_{x\rightarrow a}(Ag(x)-Bf(x))\\A\lim_{x\rightarrow a}g(x)-B\lim_{x\rightarrow a}f(x)\\AB-BA=0\: \Rightarrow \frac{A}{B}-\frac{f(x)}{g(x)}=0[/latex]
    Что в свою очередь означает, что [latex]\lim_{x\rightarrow a}(\frac{f(x)}{g(x)})=\frac{A}{B}[/latex]

Свойства пределов, связанные с неравенствами

  1. Теорема о двух милиционерах
  2. Если [latex]\exists \delta > 0:\forall x\in \dot{U}_{\delta }(a)[/latex] выполняются неравенства [latex]g(x)\leqslant f(x)\leqslant h(x)[/latex] и если [latex]\lim_{x\rightarrow a}g(x)= \lim_{x\rightarrow a}h(x)=A[/latex] то [latex]\exists \lim_{x\rightarrow a}f(x)=A[/latex].
    Доказательство
    Воспользуемся определением предела по Гейне. Пусть [latex]\begin{Bmatrix}x_{n}\end{Bmatrix}[/latex] — последовательность из [latex]\dot{U}_{\delta }(a)[/latex], причем [latex]\lim_{x\rightarrow \infty }x_{n}=a[/latex]. Тогда выполняются условия [latex]g(x_{n})\leqslant f(x_{n})\leqslant h(x_{n})[/latex] и [latex]\lim_{n\rightarrow \infty}g(x_{n})= \lim_{n\rightarrow \infty}h(x_{n})=A[/latex]. Тогда в силу свойств пределов последовательностей [latex]\lim _{n\rightarrow \infty }f(x_{n})=A[/latex]. Следовательно [latex]\lim _{x\rightarrow a }f(x)=A[/latex].
    Теорему можно проиллюстрировать следующим графиком:
    t3pol

  3. Если [latex]\exists\delta >0:\forall x\in \dot{U}_{\delta }(a)[/latex] выполняется неравенство [latex]f(x)\leqslant g(x)[/latex] и если[latex]\lim_{x\rightarrow a}f(x)=A[/latex], [latex]\lim_{x\rightarrow a}g(x)=B[/latex], то [latex]A\leqslant B[/latex].
  4. Доказательство
    Воспользуемся определением предела по Гейне. Пусть [latex]\begin{Bmatrix}x_{n}\end{Bmatrix}[/latex] — последовательность из [latex]\dot{U}_{\delta }(a)[/latex], тогда числа [latex]A[/latex] и [latex]B[/latex] будут пределами последовательности [latex]\begin{Bmatrix}x_{n}\end{Bmatrix}_{1}^{\infty }[/latex] т.е. [latex]\lim_{n\rightarrow \infty }f(x_{n})=A[/latex] и [latex]\lim_{n\rightarrow \infty }g(x_{n})=B[/latex] Тогда в силу свойств пределов последовательностей [latex]A\leqslant B[/latex].

Литература

  1. Тер-Киркоров А.М., Шабунин М.И., Курс математического анализа, физмат-лит, 2001. стр. 81-84

Следующая тема →

Геометрический смысл дифференциала

Проведем касательную [latex]l[/latex] к графику функции [latex]y = f(x)[/latex] в точке [latex]x[/latex], также рассмотрим точку пересечения касательной [latex]l[/latex] с прямой [latex]x + \Delta x[/latex]. Отрезок [latex]AM_{1} = \Delta x[/latex], а отрезок [latex]AM_{2} = \Delta y[/latex].

GeomSenseOfDiff

Из прямоугольного треугольника [latex]\triangle M_{1}AB[/latex] получаем, что [latex]tg \alpha = \frac{AB}{\Delta x}[/latex], поэтому [latex]AB = tg \alpha \Delta x[/latex]. Но нам известно, что [latex]{f}'(x) = tg \alpha \Rightarrow AB = {f}'(x)\Delta x[/latex]. Сравнив результат с формулой [latex]A\Delta x = dy[/latex] получаем, что [latex]dy = AB[/latex], то есть дифференциал функции [latex]y[/latex] равен приращению ординаты касательной [latex]l[/latex] к графику функции [latex]f(x)[/latex] в этой точке, когда приращение аргумента равно [latex]\Delta x[/latex].

Тест:

Тест на знание и понимание геометрического смысла дифференциала.


Таблица лучших: Геометрический смысл дифференциала.

максимум из 6 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

 

Список литературы:

  1. Калинина Е. А. «Математика, которая мне нравится». 
  2. Лысенко З. М. Конспект лекций по математическому анализу.

Метод математической индукции

Под методом математической индукции понимают следующий способ доказательства: если требуется доказать истинность утверждения $latex P(n), \forall n \in \mathbb{N},$ то сначала проверяют данное утверждение для некоторого натурально числа $latex n_0 $, обычно $latex n_0=1$, а потом допускают истинность выражения $latex P(k).$ Далее доказывают истинность утверждения $latex P(k+1).$

Упражнение:

Доказательство одноцветности всех лошадей — ошибочное доказательство, что все лошади одного цвета, придуманное венгерским математиком Пойа. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании метода математической индукции.

Доказываемое утверждение: все лошади одного цвета.

Доказательство:

Проведем доказательство по индукции.

База индукции:

Одна лошадь, очевидно, одного (одинакового) цвета.
Шаг индукции:
Пусть доказано, что любые $latex K $ лошадей всегда одного цвета. Рассмотрим $latex K+1 $ каких-то лошадей. Уберем одну лошадь. Оставшиеся $latex K $ лошадей одного цвета по предположению индукции. Возвратим убранную лошадь и уберем какую-то другую. Оставшиеся $latex K $ лошадей снова будут одного цвета. Значит, все $latex K+1 $ лошадей одного цвета.

Отсюда следует, что все лошади одного цвета. Утверждение доказано.

В чем ошибка?
Решение

Спойлер

Опровержение

Противоречие возникает из-за того, что шаг индукции не сообразуется с базой. Он верен лишь при $latex K \geq 2 $. При $latex K = 1 $ (база индукции) получаемые множества оставшихся лошадей не будут пересекаться, и утверждение о равенстве цветов всех лошадей сделать нельзя.

[свернуть]

Пример:

$latex 1)$ Доказать равенство: $latex 1^{2}+2^{2}+3^{2}+\cdots+n^{2}=\frac{n(n+1)(2n+1)}{6}, n\in \mathbb{N}.$

$latex \square$ $latex 1)$  $latex 1^{2}=\frac{1(1+1)(2+1)}{6}=1.$

$latex 2)$ Пусть данное утверждение верно для $latex n=k:$   $latex 1^{2}+\cdots+k^{2}=\frac{k(k+1)(2k+1)}{6}.$

$latex 3)$ Докажем истинность утверждения для $latex n=k+1.$

$latex \overbrace{1^{2}+2^{2}+\cdots+k^{2}}^{\frac{k(k+1)(2k+1)}{6}}+(k+1)^{2}= $

$latex \frac{(k+1)(k+2)(2(k+1)+1)}{6} $

$latex \frac{k(k+1)(2k+1)}{6}+(k+1)^{2}= $

$latex \frac{(k+1)(k+2)(2k+3)}{6} $

$latex \frac{k(k+1)(2k+1)+6(k+1)^{2}}{6}= $

$latex \frac{(k+1)(k+2)(2k+3)}{6} $

$latex k(2k^{2}+k+2k+1)+6(k^{2}+2k+1)= $

$latex (k+1)(2k^{2}+3k+4k+6) $

 $latex 2k^{3}+3k^{2}+k+6k^{2}+12k+6= $

$latex 2k^{3}+7k^{2}+6k+2k^{2}+7k+6 $

$latex 2k^{3}+9k^{2}+13k+6= $

$latex 2k^{3}+9k^{2}+13k+6.$   $latex \blacksquare$

$latex 2)$ Доказать, что для всех натуральных чисел $latex n$ справедливо неравенство $latex n \leq 2^{n}$.

$latex \square$ Для $latex n=1$ неравенство принимает вид $latex 1 \leq 2$, т.е. оно справедливо.

Предположим, требуемое неравенство имеет место при некотором $latex n=k$ и покажем, что оно же справедливо и для $latex n=k+1$.

Сложим предположение индукции $latex k \leq 2^{k}$ с неравенством $latex 1 \leq 2 \leq 2^{k}$. Находим $latex k+1 \leq 2^{k}+2^{k}=2^{k+1}$, что и требовалось доказать. $latex \blacksquare$

Тест "Метод математической индукции"

Тестовые вопросы по вышеизложенному материалу.

Таблица лучших: Тест "Метод математической индукции"

максимум из 3 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Список литературы:

  • Лысенко З.М. Конспект лекций по курсу математического анализа.
  • В.И.Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса «Астропринт» , 2009г.), стр.4.

 

Неопределённый интеграл и его свойства

Пусть функция [latex]f[/latex] определена на некотором промежутке. Совокупность всех ее первообразных на этом промежутке называется неопределённым интегралом от функции [latex]f[/latex] и обозначается $$\int f(x)dx.$$
Символ [latex]\int[/latex] называется знаком интеграла, а [latex]f(x)[/latex] —подынтегральной функцией.

Если [latex]F(x)[/latex] — какая-либо первообразная функции [latex]f[/latex] на рассматриваемом промежутке, то пишут

[latex]\int f(x)dx=F(x)+C[/latex],

где [latex]C[/latex] — произвольная постоянная.

Нахождение неопределённого интеграла. от заданной функции называют интегрированием.

Следует отметить, что всякое равенство, в обеих частях которого стоят неопределённые интегралы, есть равенство между множествами.

Под знаком интеграла пишут не саму функцию [latex]f[/latex], а ее произведение на дифференциал. Это делается, например, для того, чтобы указать, по какой переменной ищется первообразная.

Спойлер

[latex]\int x^2z dx=\frac{x^3z}{3}+C[/latex]

[свернуть]

Спойлер

[latex]\int x^2z dz=\frac{x^2z^2}{2}+C[/latex]

[свернуть]

Спойлер

[latex]\int \frac{3}{2} \sqrt{x} dx=x^\frac{3}{2}+C=x \sqrt{x}+C[/latex], [latex]x\in[0,\infty][/latex]

[свернуть]

см. Таблица основных интегралов

Свойства неопределённого интеграла

Все рассматриваемые в этом пункте функции определены на некотором фиксированном промежутке [latex]\bigtriangleup[/latex].

Спойлер

  Если функция [latex]F[/latex] дифференцируема на некотором промежутке, то 

[latex]\int dF(x)=F(x)+C[/latex] 

 или

[latex]\int F'(x)dx=F(x)+C[/latex]. 

 

Это следует из определения первообразной.

[свернуть]

Спойлер

Если [latex]\int f(x)dx=F(x)+C[/latex] и  [latex]\int g(x)dx=G(x)+C[/latex], то  [latex]\int [f(x)+g(x)]dx=F(x)+G(x)+C[/latex], или

[latex]\int [f(x)+g(x)]dx=\int f(x)dx + \int g(x)dx[/latex]


Действительно, при наших предположениях имеет место равенство

[latex](F(x)+G(x))’=F'(x)+G'(x)=f(x)+g(x).[/latex]

[свернуть]

Спойлер

Если [latex]\int f(x)dx=F(x)+C[/latex], то для любого действительного числа [latex]\alpha\ne 0[/latex] [latex] \int[\alpha f(x)] dx=\alpha F(x)+C[/latex], или

[latex]\int[\alpha f(x)] dx=\alpha \int f(x) dx[/latex]

Это равенство очевидно следует из определения. Заметим, что при [latex]\alpha=0[/latex] оно не верно по той причине, что в левой части совокупность всех постоянных, а в правой — тождественный нуль.

[свернуть]

Спойлер

Если [latex] \int f(t)dt=F(t)+C[/latex], то для любого [latex] a\ne 0[/latex] и для любого [latex]b[/latex]

[latex] \int f(ax+b)d=\frac{1}{a} F(ax+b)+C.[/latex]

Действительно,

[latex] [\frac{1}{a} F(ax+b)]’=\frac{1}{a} F'(ax+b)a=f(ax+b)[/latex].

 

[свернуть]

Спойлер

Если [latex]f[/latex] и [latex]g[/latex] имеют первообразные на промежутке [latex]\bigtriangleup[/latex], а [latex]\alpha[/latex] и [latex]\beta[/latex] — числа, то функция [latex]\alpha f+\beta g[/latex] также имеет первообразную на [latex]\bigtriangleup[/latex], причём при [latex]\alpha^2+\beta^2>0[/latex] выполняется равенство

[latex]\int(\alpha f(x)+\beta g(x)) dx=\alpha\int f(x)dx+\beta\int g(x)dx[/latex].

 

[свернуть]

Литература.

  1. Лысенко З.М., Конспект лекций по математическому анализу, 2012
  2. Зарубин В.С., интегральное исчисление функций одного переменного — М.: Изд-во МГТУ им. Н.Э. Баумана, 1999., Стр. 16
  3. Кудрявцев Л.Д., Курс Математического Анализа. — М.: Дрофа; 2003, Т.1. Стр. 454-455
  4. Кудрявцев Л.Д., Курс Математического Анализа. — М.: Дрофа; 2003, Т.1. Стр. 456-458
  5. В. И. Коляда, А. А. Кореновский. Курс лекций по математическому анализу. К93:в 2-х ч. Ч. 1. — Одесса: Астропринт, 2009. (стр. 158-159)

 Тест.

Неопределённый интеграл и его свойства

Неопределённый интеграл и его свойства

Таблица лучших: Неопределённый интеграл и его свойства

максимум из 15 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных