Чудові границі

Тригонометрична фундаментальна границя

Найфундаментальніша та структурно значуща тригонометрична границя задана наступним чином:

\[ \lim_{x \to 0} \frac{\sin x}{x} = 1 \]

Цей результат характеризує локальну лінійність функції синуса в початку координат і еквівалентний наступному твердженню:

\[ \left.\frac{d}{dx}\sin x\right|_{x=0} = 1 \]

З цієї границі безпосередньо випливає, що для будь-якої дійсної сталої \(a\) маємо:

\[\lim_{x \to 0} \frac{\sin(ax)}{ax} = 1\] \[\lim_{x \to 0} \frac{\sin(ax)}{x} = a\]

Границя тангенса

Щоб обчислити границю тангенса, розглянемо наступну тотожність:

\[ \frac{\tan x}{x} = \frac{\sin x}{x} \cdot \frac{1}{\cos x} \]

Застосування неперервності функції косинуса в початку координат дає:

\[ \lim_{x \to 0} \frac{\tan x}{x} = 1 \]

Загалом, для будь-якої дійсної сталої \(a\) маємо:

\[ \lim_{x \to 0} \frac{\tan(ax)}{x} = a \]

Границя косинуса

Квадратична поведінка, або поведінка другого порядку, виникає при обчисленні цієї границі:

\[ \lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2} \]

У цьому випадку чисельник зникає квадратично відносно \(x\), а не лінійно. Функція косинуса дотична до горизонтальної прямої \(y = 1\) в початку координат: її перша похідна при \(x = 0\) дорівнює нулю, а перший ненульовий член у її розкладі Тейлора має порядок \(x^2\). Дійсно: \[ \cos x = 1 – \frac{x^2}{2} + o(x^2) \]

Тут \( o(x^2) \) позначає символ «о» малого, що означає член, який стає нехтомним порівняно з \( x^2 \), коли \( x \to 0 \).

Ділення на \(x^2\) виділяє провідний квадратичний член і дає границю. Загалом маємо:

\[ \lim_{x \to 0} \frac{1 - \cos(ax)}{x^2} = \frac{a^2}{2} \]

Експоненціальна фундаментальна границя

Експоненціальна функція виявляє поведінку першого порядку біля початку координат: відхилення від сталої 1 є лінійним відносно \(x\): \[ \lim_{x \to 0} \frac{e^x – 1}{x} = 1 \] Ця границя відображає той факт, що похідна \(e^x\) в початку координат дорівнює одиниці: \[ \left.\frac{d}{dx}e^x\right|_{x=0} = 1 \] Цей результат випливає безпосередньо з розкладу Тейлора \(e^x\) біля початку координат: \[ e^x = 1 + x + \frac{x^2}{2!} + o(x^2) \] з якого ділення на \(x\) та взяття границі негайно дає 1, оскільки всі члени вищого порядку зникають. Загалом, для будь-якої дійсної сталої \(a\) маємо: \[ \lim_{x \to 0} \frac{e^{ax} - 1}{x} = a \] що випливає шляхом підстановки \(u = ax\) та зведення до стандартної форми.

Тут \(n!\) позначає факторіал \(n\), визначений як добуток усіх додатних цілих чисел до \(n\); зокрема, \(2! = 2\).

Логарифмічна фундаментальна границя

Для натурального логарифма виконується наступна границя: \[ \lim_{x \to 0} \frac{\ln(1+x)}{x} = 1 \] Цей результат відповідає похідній \(\ln x\), обчисленій при \(x = 1\): \[ \left.\frac{d}{dx}\ln x\right|_{x=1} = 1 \] Загалом, для будь-якої дійсної сталої \(a\) маємо: \[ \lim_{x \to 0} \frac{\ln(1+ax)}{x} = a \]

Границі, що визначають експоненціальні функції

Стандартна границя, що визначає число Ейлера, задана як: \[ \lim_{x \to 0} (1 + x)^{\frac{1}{x}} = e \] або еквівалентно, у її дискретній формі: \[ \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e \]

Дискретна форма отримується шляхом обмеження \(x\) значеннями вигляду \(\frac{1}{n}\), де \(n\) — додатне ціле число, так що \(x \to 0\) відповідає \(n \to \infty\). Підстановка дає послідовність \(\left(1 + \frac{1}{n}\right)^n\), чия границя при \(n \to \infty\) збігається з границі безперервної форми.

Загалом, для будь-якої дійсної сталої \(a\) маємо: \[ \lim_{x \to 0} (1 + ax)^{\frac{1}{x}} = e^{a} \]

Границі, що включають степеневі функції

Для будь-якого дійсного показника \(\alpha\) маємо: \[ \lim_{x \to 0} \frac{(1+x)^\alpha – 1}{x} = \alpha \]

Цей результат може бути виведений за допомогою біноміального розкладу, коли \(\alpha\) є раціональним, або шляхом застосування логарифмічного диференціювання в загальному випадку.

Асимптотична еквівалентність

Наступні зауважені границі ілюструють локальні асимптотичні зв'язки: \[ \sin x \sim x \qquad \tan x \sim x \qquad 1 – \cos x \sim \frac{x^2}{2} \] \[ e^x - 1 \sim x \qquad \ln(1+x) \sim x \] Точніше, позначення \(f(x) \sim g(x)\) при \(x \to 0\) вказує на те, що дві функції є асимптотично еквівалентними поблизу початку координат, що означає: \[ \lim_{x \to 0} \frac{f(x)}{g(x)} = 1 \] Кожен із цих зв'язків відповідає першому ненульовому члену в локальному розкладі Тейлора гладкої функції поблизу регулярної точки. Відповідно, ці еквівалентності можуть бути використані для заміни складніших виразів простішими при обчисленні granic.

Структурна інтерпретація

З просунутої точки зору, зауважені границі слугують вираженнями диференційовності та локальної лінеаризації. Кожна границя вигляду:

\[ \lim_{x \to 0} \frac{f(x) - f(0)}{x} \]

відповідає означенню похідної \(f\) у початку координат. Класичні зауважені границі представляють окремі випадки, коли ця похідна може бути обчислена явно, а потім використана як фундаментальний метод для розв'язання складніших невизначеностей.