Гранична вредност на функција

Од Википедија, слободна енциклопедија

Статии поврзани со математичката анализа

Основна теорема на анализата
Лимес на функција
Непрекинатост
Векторска анализа
Теорија на редови
Теорија на низи
Тензорско сметање

Диференцијално сметање

Извод од производ
Извод од количник
Извод на сложена функција
Извод на имплицитна функција
Формула на Тејлор
Теореми за средна вредност

Интегрално сметање

Таблица на основни интеграли
Несвојствен интеграл
Методи на интегрирање: Интегрирање по делови
Интегрирање со смена
Ојлерови смени
Тригонометриски смени

Во математиката, поимот гранична вредност на функција е еден од основните и најважни поими. Иако неговите концептуални основи лежат во доменот на математичката анализа, поимот гранична вредност е мошне битен и во останатите математички дисциплини, пред сѐ топологијата.

Почесто наместо изразот гранична вредност на функција се користи изразот лимес на функција, од лат. limes - граница. Двата термини се еквивалентни и подеднакво прифатени во македонската математичка терминологија. Поретко се среќава изразот граница.

Содржина

[уреди] Приближување

При проучувањето на граничните вредности на функциите во некоја рака се работи приближно. Ова не значи дека резултатите кои се добиваат се приближни, туку дека точниот резултат се добива како своевидна математичка последица на мноштво приближни вредности. Ова никако не треба да се меша со теоријата на веројатност!

На пример, да ја разгледаме функцијата f(x)=\frac{1}{x^2}. Би сакале да знаеме како се однесуваат вредностите на функцијата кога аргументот (а тоа е x) расте. Така:

x f(x)
1 1
2 0,25
5 0,04
10 0,01
300 0,00001
1.000.000 0,00000000001

Од табелата јасно може да се забележи дека со растење на аргументот, вредноста на функцијата сѐ повеќе се приближува до нула. Имајќи ги на ум сите можни вакви проценки, може да заклучиме дека ако аргументот неограничено расте, т.е. математички кажано - тежи (се стреми) кон бесконечност, тогаш вредноста на функцијата се стреми кон нула, но никогаш за никоја вредност на аргументот нема да биде точно нула. Во тој случај пак се вели дека нулата е гранична вредност на функцијата кога аргументот тежи кон бесконечност.

[уреди] Формална дефиниција

Кошиевата, ε-δ дефиниција на граничната вредност на функција е следнава: нека [a,b] е интервал, нека x_0 \in [a,b] е произволна точка и нека f:[a,b]\setminus \{x_0 \} \to \Bbb{R} е реална функција. Оваа функција има лимес / гранична вредност A во точката x0 ако за секој ε > 0, постои δ > 0 така што од:

\left| x - x_0 \right| < \delta

следи дека важи:

\left| f(x) - A \right| < \epsilon

под услов x \in [a,b]\setminus \{x_0\}. Тогаш пишуваме:

\lim_{x \to x_0} f(x)=A


Ако функцијата е непрекината во точката x0, тогаш важи:

\lim_{x \to x_0} f(x) = f(x_0)

Ова не мора да важи ако функцијата не е непрекината.


Постојат две секундарни дефиниции на лимесот на функција (од кои второнаведената е всушност критериум за постоење на лимесот):

  • со околини: нека P е интервал и нека x_0 \in P. Функцијата f:[a,b]\setminus \{x_0 \} \to \Bbb{R} има лимес L во точката x0 ако за секоја околина V на точката L, постои околина U точката x0 така што важи:
f\left( U \cap \left( P\setminus \{x_0\} \right) \right) \subseteq V
  • со низи: нека P е интервал, нека x_0 \in P и нека е зададена функцијата f:[a,b]\setminus \{x_0 \} \to \Bbb{R}. За функцијата постои лимесот \lim_{x \to x_0} f(x) ако за секоја низа (xn) во P\setminus \{x_0\}, од
\lim_{x \to \infty} x_n = x_0

следи:

\lim_{n \to \infty} f(x_n) = f(x_0)

[уреди] Својства

Граничната вредност, доколку постои е еднозначно определена (единствена) и, во поглед на операциите, е прилично „флексибилна“. Точни се равенствата:

  • \lim_{x\to x_0} (k\cdot f(x)) = k\cdot \lim_{x \to x_0} f(x), \,\,\ k\in\Bbb{R}
  • \lim_{x\to x_0} (f(x) \pm g(x)) = \lim_{x \to x_0} f(x) \pm \lim_{x \to x_0} g(x)
  • \lim_{x\to x_0} (f(x) \cdot g(x)) = \left[ \lim_{x \to x_0} f(x) \right] \cdot \left[ \lim_{x \to x_0} g(x) \right]
  • \lim_{x\to x_0} \frac{f(x)}{g(x)} = \frac{\lim_{x \to x_0} f(x)}{\lim_{x \to x_0} g(x)}, \,\,\ g(x) \neq 0, \,\,\ (\forall x)

под услов да постои десната страна од секое од овие три равенства.

При одредени услови, заради полесно пресметување на лимесот, може да се воведе нова променлива, т.е. да се изврши смена на променливите. Формално:

Нека [a,b] и [c,d] се интервали и нека x_0 \in [a,b] и t_0 \in [c,d]. Нека се дефинирани функции: f:[a,b] \setminus \{x_0\} \to \Bbb{R} и h:[c,d]\setminus \{t_0\} \to [a,b] \setminus \{x_0\}. Ако постојат лимесите:

\lim_{x \to x_0} f(x) = L и
\lim_{t \to t_0} h(t) = x_0

тогаш важи:

\lim_{t \to t_0} f(h(t)) = L

[уреди] Пресметување. Позначајни лимеси. Лопиталово правило

Не постои строг критериум според кој се пресметува лимесот, но постапката треба да е таква што на крајот, почетниот лимес треба да се доведе до лимес чија вредност е позната или очигледна. Сите меѓучекори се сведуваат на математичка манипулација на изразот, наведените својства, некои правила и, многу често, употреба на трикови. Кон пресметување на лимесот според дефиниција се пристапува многу ретко. Најчесто од интерес е да се испитува граничната вредност во точките во кои функцијата не е непрекината, бидејќи лимесот на функција во точка во која таа е непрекината е еднаков на вредноста на функцијата во таа точка.

Следниве неколку лимеси се сметаат за „познати“ при пресметувањето. Нивната вредност е дадена без доказ.

  • \lim_{x \to 0}\frac{\sin{x}}{x} = 1
  • \lim_{x \to 0}\frac{x}{\sin{x}} = 1
  • \lim_{x \to \infty} \left( 1+\frac{1}{x} \right)^x = \mbox{e}
  • \lim_{x \to 0} \left( 1+x \right)^\frac{1}{x} = \mbox{e}
  • \lim_{x \to 0} \frac{\mbox{ln}(1+x)}{x}=1
  • \lim_{x \to 0} \frac{a^x-1}{x} =\mbox{ln} a, \,\,\ a>0,a\neq 1
специјално, ако a = e, тогаш:
  • \lim_{x to 0} \frac{\mbox{e}^x-1}{x}=1
  • \lim_{x\to 0} \frac{(1+x)^k-1}{x}=k, \,\,\ k\in \Bbb{R}, k\neq 0


Уште една важна и мошне корисна алатка при пресметувањето лимеси е правилото на Лопитал (Guillaume François Antoine de l'Hôpital). Неформално, правилото е следново: ако при пресметување на лимес од количник на функции ( f и g ) се добива неопределен израз: \frac{0}{0} или \frac{\pm \infty}{\pm \infty}, тогаш лимесот може да се пресмета преку изводите на функциите и важи:

\lim_{x\to x_0} \frac{f(x)}{g(x)} = \lim_{x\to x_0} \frac{f'(x)}{g'(x)} = \lim_{x\to x_0} \frac{f''(x)}{g''(x)} = ...

[уреди] Примери

  • Пример 1: да се пресмета: \lim_{x\to a} \frac{x^2-a^2}{\sqrt{x-1}-\sqrt{a-1}}, \,\,\ a>1

Ако „замениме“ x=a се добива неопределен израз од видот \frac{0}{0}. Затоа постапуваме:

\lim_{x\to a} \frac{x^2-a^2}{\sqrt{x-1}-\sqrt{a-1}}\cdot \frac{\sqrt{x-1}+\sqrt{a-1}}{\sqrt{x-1}+\sqrt{a-1}} = \lim_{x\to a} \frac{(x^2-a^2)\left( \sqrt{x-1}+\sqrt{a-1} \right)}{x-1-a+1} =

=\lim_{x\to a} \frac{(x-a)(x+a)\left( \sqrt{x-1}+\sqrt{a-1} \right)}{x-a} = \lim_{x \to a} \left[ (x+a)\left( \sqrt{x-1} + \sqrt{a-1} \right) \right] = 4a\sqrt{a-1}


  • Пример 2: да се пресмета: \lim_{x\to \infty} x\mbox{e}^{-x}

Изразот е неопределен, од типот: 0\cdot \infty, затоа лимесот ќе го пресметаме со помош на Лопиталовото правило:

\lim_{x\to \infty} x \mbox{e}^{-x} = \lim_{x \to \infty} \frac{x}{\mbox{e}^x} = \lim_{x \to \infty} \frac{(x)'}{\left( \mbox{e}^x \right) '} = \lim_{x \to \infty} \frac{1}{\mbox{e}^x} = \frac{1}{\lim_{x \to \infty} \mbox{e}^x} = 0


  • Пример 3: да се пресмета: \lim_{x\to 0} \sqrt[x^2]{\cos{x}}

Овде ќе дадеме еден класичен трик при пресметувањето на лимесите; имено ќе го употребиме равенството:

x = elnx, или запишано поинаку: x = explnx

Тогаш: \sqrt[x^2]{\cos{x}} = \left( \cos{x} \right) ^\frac{1}{x^2} = \exp{\left[ \ln{\left( \cos{x} \right) ^\frac{1}{x^2}} \right]} = \exp{\left[ \frac{1}{x^2} \ln{\cos{x}} \right]} = \exp{\frac{\ln{\cos{x}} }{x^2}}

Имајќи во предвид дека функцијата expx = ex е непрекината, имаме:

L=\lim_{x \to 0} \sqrt[x^2]{\cos{x}}=\lim_{x\to 0} \exp{\frac{\ln{\cos{x}} }{x^2}} = \lim_{x\to 0} \exp{ \frac{\ln{(1+ \cos{x} - 1)}}{x^2}} =
= \lim_{x\to 0} \exp{ \left[ \frac{\ln{[1+ (\cos{x}-1)]} }{x^2} \cdot \frac{\cos{x}-1}{\cos{x}-1} \right]} = \lim_{x\to 0} \exp{ \left[ \frac{\ln{[1+ (\cos{x}-1)]} }{\cos{x}-1} \cdot \frac{\cos{x}-1}{x^2} \right]} =
=\exp{\left[\lim_{x\to 0} \frac{\ln{[1+ (\cos{x}-1)]} }{\cos{x}-1} \cdot \lim_{x\to 0}\frac{\cos{x}-1}{x^2} \right]}

Во првиот лимес ставаме смена: t = cosx − 1. Тогаш t \to 0 кога x \to 0. Вториот лимес го трансформираме според тригонометрискиот идентитет:

2\sin^2{\frac{x}{2}}=1-\cos{x}, т.е. \cos{x}-1=-2\sin^2{\frac{x}{2}}

Така следи:

L=\exp{\left[ \lim_{t\to 0}\frac{\ln{(1+t)}}{t}\cdot \lim_{x\to 0}\frac{-2\sin^2{\frac{x}{2}}}{x^2} \right]}

Првиот лимес е единица, имајќи го в предвид петтиот лимес наведен кај позначајните лимеси. Значи се добива:

L=\exp{\left[ 1\cdot \lim_{x\to 0}\frac{-2\sin^2{\frac{x}{2}}}{x^2} \right]} = \exp{\left[ (-2)\cdot \lim_{x\to 0}\frac{\sin^2{\frac{x}{2}}}{\frac{4x^2}{4}} \right]} = \exp{\left[ -\frac{1}{2}\cdot \lim_{x\to 0} \left( \frac{\sin{\frac{x}{2}}}{\frac{x}{2}} \right)^2 \right]} =
=\exp{\left[ -\frac{1}{2}\cdot \left( \lim_{x\to 0} \frac{\sin{\frac{x}{2}}}{\frac{x}{2}} \right)^2 \right]}

Ставаме смена: u=\frac{x}{2}. Тогаш u\to 0 кога x\to 0. Конечно се добива:

L=\exp{\left[ -\frac{1}{2}\cdot \left( \lim_{u\to 0} \frac{\sin{u}}{u} \right)^2 \right]} = \exp{\left[ -\frac{1}{2} \cdot 1^2 \right]} = \exp{\left( -\frac{1}{2} \right)} = \mbox{e}^{-1/2}

Значи:

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

[уреди] Видете исто и