Бесконечно малая функция в сравнении с другой

Определение:

Если в некоторой проколотой окрестности точки $latex x_0$ определены функции $latex f,g$ и $latex \alpha$, такие, что имеют место соотношения $latex f(x)=g(x)\alpha(x), \lim\limits_{x\to x_0}\alpha(x)=0$, то функцию $latex f$ называют бесконечно малой функцией в сравнении с $latex g$ при $latex x\to x_0$ и пишут $latex f=\underset{x\to x_0}{o(g)}; f(x)=\underset{x\to x_0}{o(g(x))}$ .

Замечание:

Если $latex \forall x \epsilon U_{\delta}(x_0): g(x)\neq 0$, то $latex \lim\limits_{x\to x_0} \frac{f(x)}{g(x}=\lim\limits_{x\to x_0}\alpha(x)=0$ .

Примеры:

$latex x^2=\underset{x\to \infty}{o(x^4)}$, т.к. $latex \lim_{x\to \infty}\frac{x^2}{x^4}=\lim\limits_{x\to \infty}\frac{1}{x^2}=0$

$latex \lim\limits_{x\to \infty}\frac{\sin x}{x}=0: \sin x=\underset{x\to \infty}{o(x)}$
$latex \lim\limits_{x\to \infty}\frac{\arctan x}{x}=0: \arctan x=\underset{x\to \infty}{o(x)}$.

Определение:

  • В случае, когда в записи $latex f=\underset{x\to x_0}{o(g)}$   $latex g$ — бесконечно малая функция, говорят, что $latex f$ — бесконечно малая функция более высокого порядка малости, чем $latex g$, $latex g$ — бесконечно малая функция более низкого порядка малости, чем $latex f$.
  • В случае, когда в записи $latex \lim\limits_{x\to x_0}\frac{f(x)}{g(x)}=a, a<\infty, a\neq 0$, $latex f$ и $latex g$ — бесконечно малые функции при $latex x\to x_0$, говорят, что $latex f$ и $latex g$ являются бесконечно малыми функциями одного порядка малости.
  • В случае, когда в записи $latex \lim\limits_{x\to x_0}\frac{f(x)}{g^m(x)}=a, a<\infty, a\neq 0$  $latex g$ — бесконечно малая функция, говорят, что бесконечно малая функция $latex f$ имеет $latex m$-й порядок малости относительно функции $latex g$.

Примеры:

$latex x^2=\underset{x\to 0}{o(x)}$, т.к. $latex \lim\limits_{x\to 0}\frac{x^2}{x}=\lim\limits_{x \to 0}x=0$. $latex x^2$ — бесконечно малая функция более высокого порядка малости, чем $latex x$;
$latex x^3\sin\frac{1}{x}=\underset{x\to 0}{o(x)};$ т.к. $latex \lim\limits_{x\to 0}\frac{x^3\sin\frac{1}{x}}{x}=\lim\limits_{x\to 0}x^2\sin\frac{1}{x}=0$ (т.к. $latex sin \frac{1}{x}$ — ограниченная функция). $latex x^3 sin\frac{1}{x}$ — функция более высокого порядка малости, чем $latex x$;
$latex \tan^2 x=\underset{x\to 0}{o(x)}$, т.к. $latex \lim\limits_{x \to 0}\frac{\tan^2 x}{x}=\lim\limits_{x \to 0}\tan x=0$. $latex \tan^2 x$ — бесконечно малая функция более высокого порядка малости, чем $latex x$;
$latex \lim\limits_{x\to 0}\frac{\tan x}{x}=1$. Функции $latex \tan x$ и $latex x$ являются бесконечно малыми функциями одного порядка малости.
$latex \lim\limits_{x\to 0}\frac{\tan^6 x}{x^6}=1$. $latex \tan^6 x$ имеет 6-й порядок малости относительно $latex x$.

Бесконечно малая функция в сравнении с другой

Тест по теме «Бесконечно большая функция в сравнении с другой»

Источники:

  1. Лысенко З.М. Конспект лекций по курсу математического анализа. (тема «Непрерывные функции»).
  2. Википедия, статья «Бесконечно малая и бесконечно большая»

Рекомендуемая к прочтению литература:

Интегрирование рациональных функций

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

Рациональной функцией называется отношение двух многочленов.

$\large   \frac{P(x)}{Q(x)}=S+\frac{\tilde{P}(x)}{Q(x)},$

где $latex S$ — «целая часть» (многочлен).

$\normalsize \deg(\tilde{P}(x))<\deg(Q(x))$

Нам понадобиться умение разлагать многочлен на простые множители.

$$Q_{n}(x)=C(x-a_{1})^{\alpha_{1}}(x-a_{2})^{\alpha_{2}}…(x-a_{k})^{\alpha_{k}}(x^{2}+p_{1}x+q_{1})^{\beta_{1}}…(x^{2}+p_{s}x+q_{s})^{\beta_{s}}$$

Если $\normalsize m<n$, то:

$$ \small \frac{P_{m}(x)}{Q_{n}(x)}=\frac{A_{1}^{\alpha_{1}}}{(x-a_{1})^{\alpha_{1}}}+\frac{A_{1}^{(\alpha_{1}-1)}}{(x-a_{1})^{\alpha_{1}-1}}+…+\frac{A_{1}^{(1)}}{(x-a_{1})}+…+\frac{A_{k}^{\alpha_{k}}}{(x-a_{k})^{\alpha_{k}}}+\frac{A_{k}^{(\alpha_{k}-1)}}{(x-a_{k})^{\alpha_{k}-1}}+…$$ $$+\frac{A_{k}^{(1)}}{x-a_{k}}+\frac{B_{1}^{\beta_{1}}x+D_{1}^{\beta_{1}}}{(x^{2}+p_{1}x+q_{1})^{\beta_{1}}}+\frac{B_{1}^{(\beta_{1}-1)}+D_{1}^{(\beta_{1}-1)}}{(x^{2}+p_{1}x+q_{1})^{\beta_{1}-1}}+…$$ $$+\frac{B_{1}^{(1)}x+D_{1}+D_{1}^{(1)}}{(x^{2}+p_{1}x+q_{1})}+…+\frac{B_{s}^{\beta_{s}}x+D_{s}^{(s)}}{(x^{2}+p_{s}x+q_{s})^{\beta_{s}}}+…+\frac{B_{s}^{(1)}x+D_{s}^{(1)}}{(x^{2}+p_{s}x+q_{s})}.$$

Таким образом правильная рациональная дробь представляется в виде суммы простых дробей вида:

$$ \frac{A}{(x-\alpha)^{r}},r  \epsilon   \mathbb{N}    и    \frac{Bx+D}{(x^{2}+px+q)^{k}},k  \epsilon  \mathbb{N}$$

$$r=1:    \int\frac{A}{x-\alpha}dx=A\int\frac{d(x-\alpha)}{x-\alpha}=A\ln\left|x-\alpha\right|+C$$

$$r\neq1:   \int\frac{A}{(x-\alpha)^{r}}dx=A\int(x-\alpha)^{-r}d(x-\alpha)=A\frac{(x-\alpha)^{-r+1}}{-r+1}+C$$

Обозначим $\large I_{k}=\int\frac{Bx+D}{(x^{2}+px+q)^{k}}dx$

$\large x^{2}+px+q=(x+\frac{p}{2})^{2}+(q-\frac{p^{2}}{4})$

$\large p^{2}-4q\frac{p^{2}}{4}$

$\large dx=\sqrt{q-\frac{p^{2}}{4}}=a, x+\frac{p}{2}=t$

$\large I_{k}=\int\frac{B(t-\frac{p}{2})+D}{(t^{2}+a^{2})^{k}}dt=B\int\frac{tdt}{(t^{2}+a^{2})^{k}}+B(-\frac{p}{2})+D\int\frac{dt}{(t^{2}+a^{2})^{k}}$

Пусть $\large I_{k}^{1}=B\int\frac{tdt}{(t^{2}+a^{2})^{k}}$, $\large I_{k}^{2}=\int\frac{dt}{(t^{2}+a^{2})^{k}}$

$\large k>1:$  $\large I_{k}^{1}=\int\frac{tdt}{(t^{2}+a^{2})^{k}}=\frac{1}{2}\int(t^{2+a^{2}})^{-k}d(t^{2}+a^{2})=$

$\large =\frac{1}{2}\frac{(t^{2}+a^{2})^{-k+1}}{-k+1}+C=\frac{1}{2(-k+1)(x^{2}+px+q)^{k-1}}+C$

$\large k=1:$  $\large I_{1}^{1}=\int\frac{tdt}{t^{2}+a^{2}}=\frac{1}{2}\int\frac{d(t^{2}+a^{2})}{t^{2}+a^{2}}=\frac{1}{2}\ln\left|t^{2}+a^{2}\right|+C$

В случае $\large k>1$ интеграл «берем» по рекурентной формуле, доказанной выше.

$\large k=1:$  $\large I_{1}^{2}=\int\frac{dt}{t^{2}+a^{2}}=\frac{1}{a}\arctan(\frac{t}{a})+C=\frac{1}{a}\arctan(\frac{x+\frac{p}{2}}{a})+C$

Пример 1

Вычислить интеграл $\large \int\frac{2x+3}{x^{2}-9}dx.$

Решение

Спойлер

Разложим подынтегральное выражение на простейшие дроби:

$\large \frac{2x+3}{x^{2}-9}=\frac{2x+3}{(x-3)(x+3)}=\frac{A}{x-3}+\frac{B}{x+3}.$

Сгруппируем слагаемые и приравняем коэффициенты при членах с одинаковыми степенями:

$\large A(x+3)+B(x-3)=2x+3$

$\large Ax+3A+Bx-3B=2x+3$

$\large (A+B)x+3A-3B=2x+3$

Следовательно,

$\large \begin{cases}A+B=2 \\ 3A-3B=3 \end{cases}, \begin{cases}A=\frac{3}{2} \\ B=\frac{1}{2} \end{cases}.$

Тогда

$\Large \frac{2x+3}{x^{2}-9}=\frac{\frac{3}{2}}{x-3}+\frac{\frac{1}{2}}{x+3}.$

Теперь легко вычислить исходный интеграл

$\large \int\frac{2x+3}{x^{2}-9}dx=\frac{3}{2}\int\frac{dx}{x-3}+\frac{1}{2}\int\frac{dx}{x+3}=\frac{3}{2}\ln\left|x-3\right|+\frac{1}{2}\ln\left|x+3\right|+C=$

$\large =\frac{1}{2}\ln\left|(x-3)^{3}(x+3)\right|+C.$

[свернуть]

Пример 2

Вычислить интеграл $\large \int\frac{x^{2}-2}{x+1}dx$

Решение

Спойлер

Сначала выделим правильную рациональную дробь, разделив числитель на знаменатель.

$\large \frac{x^{2}-2}{x+1}=x-1-\frac{1}{x+1}$

Получаем

$\large \int\frac{x^{2}-2}{x+1}dx=\int(x-1-\frac{1}{x+1})dx=\int xdx-\int dx-\int\frac{dx}{x+1}=$

$ \large =\frac{x^{2}}{2}-x-\ln\left|x+1\right|+C.$

[свернуть]

Литература:

  • Г.М. Фихтенгольц, Курс дифференциального и интегрально исчисления,Том 2, „Наука“, Москва 1970, стр. 36.
  • Лысенко З.М. Конспект лекций по математическому анализу, семестр 1, О.:2012.
  • Интегрирование рациональных фунций http://www.math24.ru/

    Интегрирование рациональных функций

    Интегрирование рациональных функций

    Таблица лучших: Интегрирование рациональных функций

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

Различные типы пределов: односторонние конечные пределы

Определения

Односторонний предел по Коши

Число [latex]A^{‘}[/latex] называют левосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{‘}=\lim\limits_{x\rightarrow a-0} f(x),[/latex]

если

[latex]\forall \varepsilon >0\: \: \exists\delta _{\varepsilon }>0\: \:\forall x:a-\delta _{\varepsilon }<x<a:|f(x)-A^{‘}|<\varepsilon[/latex]

Аналогично, число [latex]A^{»}[/latex] называют правосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{»}=\lim\limits_{x\rightarrow a+0}f(x),[/latex]

если

[latex]\forall \varepsilon >0\: \: \exists\delta _{\varepsilon }>0\: \:\forall x:a<x<a+\delta _{\varepsilon }:|f(x)-A^{»}|<\varepsilon[/latex]

Односторонний предел по Гейне

Число [latex]A^{‘}[/latex] называют левосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{‘}=\lim\limits_{x\rightarrow a-0} f(x),[/latex]

если

[latex]\forall \left \{ x_{n} \right \}_{n=1 }^{\infty }:(\forall k \in \mathbb{N}:x_{k}

Аналогично, число [latex]A^{»}[/latex] называют правосторонним пределом функции [latex]f(x)[/latex] в точке [latex]a:[/latex]

[latex]A^{»}=\lim\limits_{x\rightarrow a+0}f(x),[/latex]

если

[latex]\forall \left \{ x_{n} \right \}_{n=1 }^{\infty }:(\forall k \in \mathbb{N}:x_{k}>a )\vee \lim\limits_{n\rightarrow \infty}x_{n}=a\Rightarrow \lim\limits_{n\rightarrow \infty}\left \{ f(x_{n}) \right \}_{n=1 }^{\infty }=A^{»}[/latex]

Пределы слева и справа называют односторонними пределами.
Соответственно, функция [latex]f(x)[/latex] называется непрерывной слева (справа) в точке [latex]a[/latex], если

[latex]\exists \lim\limits_{x\rightarrow a-0}f(x)=f(a)\;(\lim\limits_{x\rightarrow a+0}f(x)=f(a))[/latex].

Теорема

Функция [latex]f(x)[/latex] имеет предел в точке [latex]a[/latex] тогда и только тогда, когда существуют равные между собой односторонние пределы в этой точке. В этом случае их общее значение является пределом функции в точке [latex]a.[/latex]

Спойлер

Необходимость.
Пусть в точке [latex]a[/latex] существует конечный предел, то есть [latex]\exists \delta :\forall x\in (a-\delta ;a+\delta )\lim\limits_{x\rightarrow a} f(x)=A[/latex] из чего следует, что этот же предел существует на промежутках [latex](a-\delta ;a)\: \: (a ;a+\delta)[/latex]. Следовательно односторонние пределы существуют и равны между собой.
Достаточность.
Пусть в точке [latex]a[/latex] существуют односторонние пределы, равные между собой [latex]\forall x\in (a-\delta^{‘};a)\: \lim\limits_{x\rightarrow a-0}=A [/latex] и [latex]\forall x\in (a ;a+\delta^{»})\: \lim\limits_{x\rightarrow a+0}=A[/latex] из чего следует, что [latex]\exists \delta_{0}\leqslant min(\delta^{‘} ;\delta^{»}) :\forall x\in (a-\delta_{0};a+\delta _{0})\: \lim\limits_{x\rightarrow a}=A[/latex].
Теорема доказана. [latex]\blacksquare[/latex]

[свернуть]

Пример

Дана функция [latex]f(x)=\rm sgn(x):\: \left\{\begin{matrix}1, x>0;\\ 0, x=0;\\ -1, x<0.\end{matrix}\right.[/latex]
signx
Выяснить существует ли предел в точке [latex]0.[/latex]

Спойлер

Рассмотрим поведение функции в окрестности точки [latex]0[/latex]. Как видно [latex]\lim\limits_{x\rightarrow -0}\: \rm sgn(x)=-1[/latex] и [latex]\lim\limits_{x\rightarrow +0}\: \rm sgn(x)=1.[/latex] Пределы справа и слева не равны. Согласно вышеприведенной теореме, можно сделать вывод, что предел функции в точке [latex]0[/latex] не существует.

[свернуть]

Литература

  1. Тер-Киркоров А.М., Шабунин М.И., Курс математического анализа, физмат-лит, 2001. стр. 77-79
  2. Кудрявцев Л.Д., Курс математического анализа, 2003, т.1. стр. 185-189

Тест


Таблица лучших: Односторонние конечные пределы

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