Раціональні функції

Що таке раціональні функції

Раціональні функції — це функції, у яких і чисельник, і знаменник є поліномами, зазвичай степенів \(n\) та \(m\). Їх зазвичай записують у вигляді

\[ y = \frac{P(x)}{Q(x)} \]

де \(P(x)\) та \(Q(x)\) — поліноми і \(Q(x) \neq 0\). У найбільш розгорнутому вигляді раціональна функція може бути представлена як

\[ y = \frac{a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0}{b_m x^m + b_{m-1} x^{m-1} + \dots + b_1 x + b_0} \]

Щоб зробити цю структуру більш конкретною, розглянемо просту функцію:

\[ R(x) = \frac{2x + 3}{x - 1} \]

У цьому прикладі і чисельник, і знаменник є поліномами першого степеня. Вираз визначений для кожного дійсного числа, крім значення, при якому знаменник перетворюється на нуль. Тут це відбувається при \(x = 1\), яке, отже, має бути виключене. Область визначення функції:

\[ {\, x \in \mathbb{R} : x \neq 1 \,} \]

Навіть у такому елементарному випадку ми бачимо типові особливості раціональної функції: чітко визначена алгебраїчна форма, область визначення, що визначається точками, де знаменник стає рівним нулю, та поведінка, яку можна додатково дослідити за допомогою granic, асимптот та алгебраїчного спрощення.

Неперервність раціональних функцій

Раціональні функції є одними з найбільш «передбачуваних» об'єктів у дійсному аналізі, коли йдеться про неперервність. Оскільки вони визначені як відношення поліномів, а поліноми є неперервними для всіх дійсних чисел, раціональна функція автоматично є неперервною в будь-якій точці \(x_0\), де \(Q(x_0) \neq 0\). Можливі розриви виникають лише в розв'язаннях рівняння:

\[ Q(x) = 0 \]

де вираз не визначений. Навіть у цих випадках тип розриву є чітко структурованим. Якщо і чисельник, і знаменник перетворюються на нуль:

\[ P(x_0) = 0 \quad Q(x_0) = 0 \]

розрив може бути усувним, оскільки часто можна скоротити спільний множник. Якщо натомість

\[ P(x_0) \neq 0 \quad Q(x_0) = 0 \]

функція розбігається і з'являється вертикальна асимптота.

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

Границі на нескінченності для раціональних функцій

Щоб зрозуміти, як поводиться раціональна функція при дуже великих значеннях \(x\), достатньо дослідити, як швидко зростають чисельник і знаменник. Далеко від початку координат члени нижчих степенів стають незначними, і функцією фактично керують степені та старші коефіцієнти двох поліномів. Розглянемо: \[ R(x) = \frac{P(x)}{Q(x)} \] де \(P(x)\) та \(Q(x)\) мають степені \(n\) та \(m\). Порівняння \(n\) та \(m\) визначає поведінку функції при \(x \to \pm\infty\):

Якщо \(n < m\), знаменник домінує і границя дорівнює: \[ \lim_{x \to \pm\infty} R(x) = 0 \]

Якщо \(n = m\), члени найвищого степеня врівноважують один одного. Границя стає відношенням старших коефіцієнтів:
\[ \lim_{x \to \pm\infty} R(x) = \frac{a_n}{b_m} \]

Якщо \(n = m + 1\), функція при великих \(|x|\) поводиться як пряма, що призводить до появи похилої асимптоти. Хоча границя не існує як скінченне число, різниця: \[ R(x) – (ax + b) \] прагне до нуля для відповідної прямої \(ax + b\).

Якщо \(n > m + 1\), чисельник зростає занадто швидко, і функція розбігається, залежно від знаків старших членів:
\[ \lim_{x \to \pm\infty} R(x) = \pm\infty \]

Ці випадки пропонують структурований спосіб передбачити довгострокову поведінку будь-якої раціональної функції, просто подивившись на степені відповідних поліномів, без потреби в детальних алгебраїчних маніпуляціях.

Границі в точках, де знаменник стає рівним нулю

При аналізі раціональної функції найскладніші ситуації виникають при значеннях \(x\), для яких знаменник зникає. Навколо цих точок поведінка функції може кардинально змінюватися, і розуміння того, що відбувається, вимагає розрізнення двох фундаментально різних випадків. У першому випадку знаменник стає рівним нулю в точці \(x_0\), тоді як чисельник залишається ненульовим. Це відповідає ситуації: \[ Q(x_0) = 0 \qquad P(x_0) \neq 0 \] Біля \(x_0\) вираз має вигляд: \[ \frac{P(x_0)}{0} \] що вказує на те, що функція необмежено зростає, коли \(x\) наближається до цього значення. Виникає справжня вертикальна асимптота, і границя набуває вигляду: \[ \lim_{x \to x_0^\pm} R(x) = \pm\infty \] причому знак визначається тим, як змінюється знаменник по обидва боки від \(x_0\).

Інша ситуація виникає, коли і чисельник, і знаменник стають рівними нулю в одній і тій самій точці, що створює невизначеність
\[ \frac{0}{0} \] У цьому сценарії значення границі не можна визначити безпосередньо з поліномів, обчислених у точці \(x_0\). Функція може спроститися до чогось цілком визначеного, вона може розбігатися або може призвести до скінченної границі після відповідних перетворень. Щоб з'ясувати, що відбувається насправді, зазвичай розкладають на множники і чисельник, і знаменник, щоб скоротити спільні множники, або застосовують правило Лопіталя, якщо виконуються його умови.