Предел функции вычисление предела функции: Предел функции, вычисление пределов.

Предел функции двух переменных. Тема

Предел функции двух переменных. Тема

Что такое предел функции двух переменных, и почему при вычислении пределов функций двух переменных следует учитывать траекторию, по которой переменная точка приближается к своему предельному значению.

Когда мы вычисляем пределы в обычном понимании, то есть, пределы функций одной переменной, мы говорим, что переменная приближается (или стремится) к своему предельному значению, при этом функция ведет себя так-то (стремится к конечному значению, бесконечно растет и так далее).

То же самое происходит и в случае предела функции двух переменных, только в этом случае переменная точка может приближаться к предельному положению разными способами.

Действительно, у переменного числа есть только два направления: слева направо (в сторону убывания) и справа налево (в сторону возрастания).

А у переменной точки таких направлений бесконечно много: слева направо, справа налево, по диагонали, по криволинейной траектории — как угодно.

Так вот, предел функции двух переменных существует, если предельное значение функции двух переменных не зависит от траектории, по которой переменная точка приближается к своему предельному значению.

В остальном вычисление пределов функций двух переменных мало отличается от вычисления пределов функций одной переменной: точно так же нужно раскрывать неопределенности, использовать эквивалентность бесконечно малых и так далее.


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


Тема «Предел функции двух переменных»
Вопросы по теме «Предел функции двух переменных»
Ответы на вопросы по теме «Предел функции двух переменных»


Для того чтобы лучше разобраться с темой «Предел функции двух переменных», обязательно решите все задания.


Все лекции здесь.


Популярные сообщения из этого блога

Двойной интеграл в полярных координатах. Вопросы

Даны два двойных интеграла. Требуется вычислить их путем перехода к полярным координатам.

Замена переменных в двойном интеграле. Вопросы

Даны два двойных интеграла. Требуется подобрать замены так, чтобы области интегрирования перешли в прямоугольники со сторонами, параллельными осям, и вычислить интегралы в новых координатах.

Репетиторство и консультации по Skype

$ Общее время занятий включает в себя, помимо онлайн-занятия, несколько часов видео для предварительного изучения (которые не оплачиваются). Таким образом, занимаясь фактически 3, 4, 5 и более часов, вы оплачиваете только 2 академических часа. Это выгодно. Ознакомиться с условиями занятий

Предел функции

В ысшая математика (условно) отличается от элементарной тем, что в высшей математике вводится понятие предела функции. И все основные понятия высшей математики (непрерывность функции, производная, интеграл, ряды и т.д.) в своих определениях содержат слово «предел». Формальное определение предела функции достаточно абстрактно, а потому сложно для восприятия. Поэтому дадим пока нестрогое, но интуитивно понятное описательное определение предела. Рассмотрим в качестве примера функцию . Будем брать различные числовые значения переменной (аргумента функции), приближающиеся (с разных сторон) к числу (но не совпадающие с ним), и каждый раз будем вычислять соответствующее значение функции (см. таблицу). Из таблицы видно, что чем ближе мы подбираемся значениями при к числу

1 , тем ближе соответствующие значения функции подходят к числу . В этом случае будем говорить, что число
3
является пределом функции при стремящемся к 1.

Перейдем к общему случаю. Пусть функция определена в окрестности точки (числа) за исключением (быть может) самого числа . Число а называется пределом функции при стремящемся к числу (обозначается: ), если при безграничном приближении к числу по любому закону (справа, слева, попеременно и т.д., но ), соответствующие значения функции у безгранично приближаются к числу а (одному и тому же при любом законе стремления к числу )

. Символическая запись того факта, что число а является пределом функции при стремящемся к числу , следующая: . Поэтому для рассмотренной выше функции можно записать: . Это «определение» предела, конечно же, математически не строгое, так как не определено, что понимать под «безграничным приближением». Но оно раскрывает суть этого понятия. Строгое определение будет дано ниже на основании понятия предела числовой последовательности и намного более формально.

Будем далее рассматривать пределы функций не только когда стремится к определенному числу , но и когда неограниченно возрастает (будем в этом случае говорить, что стремится к плюс бесконечности: ) или неограниченно убывает (будем в этом случае говорить, что стремится к минус бесконечности: ). Для определения предела функции при можно,

например, «пробежаться» значениями и проследить, приближаются ли как угодно близко соответствующие значения функции к какому-либо числу. Если это так, то это число будем называть пределом функции при . Аналогично, при определении предела при следует с той же целью «пробежаться», например, значениями .

Пример 1. Найдем с помощью приведенного выше интуитивного определения предела и . Для нахождения первого предела «пройдемся» значениями . Тогда значениями величины будут числа

. . Таким образом, чем число «ближе к плюс бесконечности», тем значения ближе к 0 . Таким образом, . Для нахождения второго предела «пройдемся» значениями . Тогда значениями величины будут числа . Поэтому (как и в предыдущем случае), чем число «ближе к минус бесконечности», тем значения ближе к 0 (только приближение к 0 будет происходить теперь со стороны отрицательных чисел) . Таким образом, .

Определим понятие п

редела числовой последовательности . Пусть дана бесконечная последовательность чисел , занумерованных по порядку: . Эту последовательность можно рассматривать и как множество значений функции (т.е. ) , определённой на множестве всех натуральных чисел ., и как просто бесконечный набор чисел, каждое из которых снабжено номером, показывающим место данного числа в этой последовательности. Дадим определение предела последовательности при условии, что номер неограниченно растёт (это условие обозначается ). Стремление к бесконечности означает, что при своём изменении номер числа в последовательности становится больше любого наперёд заданного натурального числа , то есть, начиная с какого-то члена последовательности (а именно, с ), начинает выполняться для номеров членов последовательности неравенство .
Если при таком процессе увеличения номера членов последовательности сами эти числа неограниченно приближаются к некоторому числу , то это число будем называть пределом этой последовательности, что записывается так: .

Формализуем сказанное. Число L называется пределом последовательности , если для любого, сколь угодно малого, числа (что означает произвольную задаваемую нами степень близости членов последовательности к числу L) можно найти такое число (зависящее, конечно, от выбранной нами степени близости ), что для всех достаточно далеких членов последовательности с номерами

будет выполняться неравенство (что означает приближение к L ближе, чем на ). С помощью кванторов это определение выглядит компактнее: . В этом случае будем также говорить, что последовательность сходится к числу L и писать: .

П ример 2. Покажем строго, что предел последовательности равен 0. Рисунок иллюстрирует поведение членов этой последовательности чисел при увеличении их номеров . Фиксируем произвольное число и подберём число в зависимости от так, чтобы при всех выполнялось неравенство , то есть . Решая это неравенство относительно , получаем, что оно выполняется при . Значит, достаточно выбрать в качестве натуральное число, не меньшее, чем , и тогда при любом неравенство будет выполнено. В качестве такого числа можно взять, например, ближайшее к целое число (что называется его целой частью: ). По данному выше определению предела числовой последовательности приведенное рассуждение означает, что действительно .

После того, как мы дали строгое определение предела числовой последовательности, можно дать на его основе и строгое определение предела функции. А именно, число а называется пределом функции при стремящемся к числу ( ), если для любой числовой последовательности { }, стремящейся к , последовательность соответствующих значений функции стремится к числу а.

Для вычисления самого первого предела нам, используя приведенное выше описательное определение предела, пришлось строить таблицу значений функции при различных значениях , приближающихся к 1, и выяснять, к какому числу при этом приближаются значения функции (выяснилось, что к 3). Нельзя ли было каким-либо другим способом получить это значение предела. Можно предложить еще 3 варианта (значительно более строгие, чем предложенное выше построение таблицы).

1. Использовать данное выше строгое математическое определение предела функции. Для данного простого примера это было бы сделать несложно, но для более сложных примеров – практически невозможно.

2. Воспользоваться некоторыми утверждениями, которые дает следующая

Теорема (о пределах). Пусть существуют пределы и , а − некоторое число. Тогда существуют следующие пределы и вычисляются следующим образом.

1) вынесение постоянного множителя за знак предела: .

2) предел суммы-разности: = .

3) предел произведения-частного: а) , б) , если .

4) Если для всех из некоторой окрестности ( за исключением быть может самого числа ) выполнено неравенство , то и .

5) Если − постоянная, то .

6) Замена переменной в пределе: пусть существуют пределы и . Тогда .

Используя утверждения 1) , 2) и 5) этой теоремы, получили бы для нашего примера: .

3. Заметим, что если бы мы (желая вычислить ) сразу бы подставили (т.е. то значение, к которому приближается ) в выражение для функции (стоящей под знаком предела), то получили бы искомое значение предела: . Поэтому в данном случае получилось, что . Тогда быть может для любых функций справедливо: и можно просто подставлять в вместо его предельное значение ? Это действительно справедливо (и доказывается с использованием приведенной выше теоремы) для многих функций, которые в дальнейшем мы назовем непрерывными в точке . А пока при решении задач на вычисление пределов можно использовать следующее «мнемоническое» Правило. Пусть функция задана в окрестности точки (за исключением, быть может, самой точки )единой формулой. Для вычисления предела можно попытаться вычислить значение , т.е. подставить число вместо в формулу и произвести определяемые формулой вычисления. Если при этом получается «обычное» число а (т.е. не возникают так называемые неопределенности вида и т.п. ), то это число и является значением искомого предела: . Это правило основано на так называемой непрерывности (это понятие будет пройдено позднее) элементарных функций в своей области определения.

Пример. .

Прежде, чем выяснить, как вычислять пределы функций, не подчиняющихся этому правилу (т.е. когда указанные выше неопределенности типа все же возникают), скажем о так называемых «псевдонеопределенностях», когда при подстановке предельного значения в формулу для тоже получается что-то на первый взгляд необычное, но, как окажется, вполне вычислимое. Ранее, в примере выше было найдено, что . Это было понятно, поскольку при неограниченном увеличении знаменателя ( ) , при условии, что числитель при этом стоит на месте (равен 1), дробь неограниченно уменьшается, то есть приближается к 0. Аналогично объясняется и то, что (но теперь приближение к 0 будет происходить со стороны отрицательных чисел, но сути это не меняет). Несложно догадаться, что такой результат будет получаться всегда, если мы вычисляем предел дроби, числитель которой приближается к конкретному конечному числу (или просто равен числу, как в предыдущем примере), а знаменатель неограниченно возрастает или неограниченно убывает (т.е. стремится к или к ). Поэтому можно сформулировать

Первое правило для псевдонеопределенности: если при вычислении предела от дроби получается (при подстановке в нее вместо его предельного значения) выражение типа , то предел равен 0.

Теперь попробуем вычислить . Если мы начнем приближаться по к нулю со стороны положительных чисел (беря, например, ), то значения функции ( ) стремятся к . Однако, если мы пойдем к 0 со стороны отрицательных чисел ( ), то значения этой функции ( ) стремятся уже к . Поэтому в обычном смысле не существует, так как по определению предела к предельному значению (одному и тому же!) значения функции должны безгранично приближаться при любом законе приближения к своему предельному значению. Однако в этом случае существуют так называемые односторонние пределы, о которых речь пойдет позже. Чисто символически описанный выше факт можно записать в форме: . Обобщив этот пример, получим

Второе правило для псевдонеопределенности: если при вычислении предела от дроби получается (при подстановке в нее вместо его предельного значения) выражение типа , то предел равен .

Исчисление

– Установление пределов внутри функций, когда пределы уходят в бесконечность

Я хорошо помню, как более 15 лет назад я читал старый учебник с более общей структурой, в которой эта теорема может быть доказана в очень общем виде. Нижеследующее основано на фрагментах того, что мне удалось вспомнить. Я не гарантирую, что моя номенклатура стандартна (и не гарантирую, что она уникальна!).

Предположим, $D \subseteq T \setminus \{\emptyset\}$ обладает следующими свойствами:

  • Для любых $U_1, U_2 \in D$ существует некоторое $U_3 \in D$ такое, что $U_3 \subseteq U_1 \cap U_2$ ($D$ — множество, направленное вниз относительно включения множества), и
  • Для любого $U \in D$ существует некоторый $U’ \in D$ такой, что $\operatorname{cl} U’ \subseteq U$.

Мы будем называть такой набор $D$ направлением . Мы можем использовать эту концепцию, чтобы в самом общем виде сформулировать и доказать свойство, о котором вы говорите.

Некоторые примеры направлений в $\Bbb{R}$: 9-, \infty, -\infty$ и т. д. Но это более гибко: одним определением мы определяем односторонние пределы и бесконечные пределы как в терминах зависимой переменной $x$, так и независимой переменной $f( х)$.

Предположим, что у нас есть топологические пространства $(X_1, T_1)$ и $(X_2, T_2)$ (опять же, не стесняйтесь подставлять их в $\Bbb{R}$ к обоим), а $D_i$ — направление в $ (X_i, T_i)$ для $i = 1, 2$. Далее, предположим, что $f : X_1 \to X_2$. Тогда мы говорим $$\lim_{x \to D_1} f(x) = D_2$$ если для всех $\mathcal{V} \in D_2$ существует некоторый $\mathcal{U} \in D_1$ такой, что $$x \in \mathcal{U} \подразумевает f(x) \in \operatorname{cl} \mathcal{V}.$$ Надеюсь, понятно, что в случае $\Bbb{R}$, делая $D_1 = a$ и $D_2 = L$, мы получаем обычное определение $\lim_{x \to a} f(x) = л$. Немного поработав, вы сможете убедиться, что все возможные определения точно инкапсулированы в эту структуру.

Имея это в виду, мы можем доказать следующую общую теорему:

Теорема. Предположим, что $(X_i, T_i)$ — топологическое пространство, а $D_i$ — направление в этом пространстве для $i = 1, 2, 3$. Далее, предположим, что $g : X_1 \to X_2$ и $f : X_2 \to X_3$. Затем, $$\lim_{x \to D_1} g(x) = D_2 \text{ и } \lim_{x \to D_2} f(x) = D_3 \подразумевает \lim_{x \to D_1} f(g(x )) = D_3. $$

Доказательство. Предположим, $\mathcal{W} \in D_3$. Поскольку $\lim_{x \to D_2} f(x) = D_3$, существует некоторый $\mathcal{V} \in D_2$ такой, что $$y \in \mathcal{V} \подразумевает f(y) \in \operatorname{cl} \mathcal{W}.$$ По второму свойству направлений должен существовать некоторый $\mathcal{V}’ \in D_2$, замыкание которого содержится в $\mathcal{V}$. Используя тот факт, что $\lim_{x \to D_1} g(x) = D_2$, существует некоторый $\mathcal{U} \in D_1$ такой, что $$x \in \mathcal{U} \подразумевается g(x) \in \operatorname{cl}\mathcal{V}’ \subseteq \mathcal{V} \подразумевается f(g(x)) \in \operatorname{ cl}\mathcal{W}.$$ Таким образом, по определению $\lim_{x \to D_1} f(g(x)) = D_3$. $\квадрат$ 9- \le a$ или $\infty, -\infty \le \pm \infty$. Более того, мы получаем хорошие результаты, например, если $\lim_{x \to D_1} f(x) = D_2$ и $D’ \le D_1$, то $\lim_{x \to D’} f(x) = Д_2$. Или, если $D’ \ge D_2$, то $\lim_{x \to D_1} f(x) = D’$.

  • Это раскрывает кое-что важное об ограничениях с направлениями: они (в основном) не уникальны! Действительно, использование обозначения $\lim_{x \to D_1} f(x) = D_2$ уже проблематично, так как левая часть не относится ни к одному направлению. Вместо этого, вероятно, было бы лучше сказать $f(x) \to D_2$ как $x \to D_1$.

  • Отношение $\le$ является предпорядковым, т. е. рефлексивным и транзитивным, но не обязательно антисимметричным. Симметричное отношение, $$D_1 \sim D_2 \iff D_1 \le D_2 \text{ и } D_2 \le D_1$$ является отношением эквивалентности, и действительно, было бы справедливо считать такие направления «эквивалентными». Это означало бы, что можно было бы поменять одно направление на эквивалентное в пределе по желанию. Мы могли бы, например, эквивалентно определить направление $a$ (где $a \in \Bbb{R}$) как $\{(a – 1/n, a + 1/n) : n \in \Bbb{ N}\}$, и мы получим эквивалентное направление.

  • Имейте в виду, что приведенное выше определение предела предполагает «полную» область определения, т. е. $g$ определено везде на $X_1$, а $f$ определено везде на $X_2$. Сначала это может показаться ограничивающим, но помните, что мы можем определить наше топологическое пространство как подмножество $\Bbb{R}$ и снабдить его топологией подпространства.

  • Оставить комментарий