Математика / Пределы, ряды

Предел функции двух переменных в точке

Предел функции двух переменных описывает число, к которому стремится f(x,y), когда точка (x,y) приближается к (a,b) по любому допустимому пути в плоскости.

Опубликовано: 13 мая 2026 г.Обновлено: 13 мая 2026 г.

Формула

\lim_{(x,y)\to(a,b)} f(x,y)=L \iff \forall \epsilon>0 \exists \delta>0:0<\sqrt{(x-a)^2+(y-b)^2}<\delta \Rightarrow |f(x,y)-L|<\epsilon

Схема Пути к одной точке

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

Обозначения

$x,y$: переменные, число
$a,b$: координаты целевой точки, число
$L$: предельное значение, число

Условия применения

Точка (a,b) рассматривается как предел по (x,y)
Нужно одинаковое приближение к L для всех путей в плоскости
Используется стандартная метрика в R2

Ограничения

Проверка только по осям недостаточна
Требуется существование окружности \delta в окрестности
Если функция не определена около точки, предел не обсуждается

Подробное объяснение

В одномерном пределе переменная движется по прямой, поэтому у нее есть всего два направления подхода к точке. В функции двух переменных точка может приближаться к цели бесконечным числом путей: по прямым разного наклона, кривым, ломаным, окружностям с уменьшающимся радиусом. Поэтому определение через epsilon и delta требует, чтобы значение f(x,y) попадало в сколь угодно малую окрестность L при всех точках достаточно близко к (a,b), кроме самой точки, если она исключена.

Геометрически условие означает, что над маленьким кругом вокруг (a,b) поверхность z=f(x,y) целиком входит в тонкий горизонтальный слой около уровня z=L. Если можно найти две траектории, на которых значения стремятся к разным числам, такого общего слоя не существует. Если же выражение можно оценить сверху величиной, стремящейся к нулю, или свести к непрерывным операциям, предел можно доказать. Поэтому рабочая стратегия обычно двойная: сначала искать разные пути для опровержения, а при подозрении на существование строить оценку, не зависящую от пути.

Как пользоваться формулой

Определите точку, к которой стремится пара переменных, и область, где функция задана около этой точки.
Проверьте простые траектории: оси, прямые y=kx, иногда параболы или другие естественные кривые.
Если разные пути дают разные пределы, зафиксируйте вывод: общего предела нет.
Если пути согласуются, докажите существование через оценку, полярные координаты или свойства непрерывных функций.

Историческая справка

Многомерные пределы выросли из той же линии строгого анализа XIX века, что и epsilon-delta определение для функций одной переменной. Когда математики начали системно работать с функциями нескольких координат, стало ясно, что интуиция одномерного подхода недостаточна: путь к точке становится частью проблемы. Это особенно важно в механике, геометрии поверхностей и теории полей, где величина зависит не от одного параметра, а от положения в пространстве.

Современная формулировка опирается на язык метрических пространств: расстояние между (x,y) и (a,b) измеряется, например, евклидовой нормой. Такой подход позволил записать предел для функций многих переменных почти тем же логическим языком, что и для одной переменной, но с учетом геометрии окрестностей. В учебной традиции эта тема служит входом в дифференциальное исчисление нескольких переменных.

Историческая линия формулы

Формула не имеет одного автора. Она связана с общей строгой линией анализа, в которой особенно важны Коши, Вейерштрасс и последующее развитие языка метрических окрестностей. Указание на эту линию полезнее, чем приписывание определения одному человеку.

Огюстен Луи Коши 1789-1857

Пример

Пример 1. Проверим предел f(x,y)=x^2/(x^2+y^2) при (x,y)->(0,0). Если идти по оси y=0, получаем f(x,0)=1. Если идти по оси x=0, получаем f(0,y)=0. Так как два допустимых пути дают разные значения, общего предела нет. Пример 2. Для f(x,y)=2x+3y при (x,y)->(1,-1) можно подставить предельные значения, потому что функция линейная и непрерывная: 2*1+3*(-1)=-1. Здесь любой путь к точке даст тот же результат. Контрольный смысл такой: для существования предела мало найти один удачный маршрут, нужно исключить зависимость от маршрута.

Частая ошибка

Частая ошибка - проверять только пути x=0 и y=0 и считать этого доказательством существования предела. Такие проверки могут только опровергнуть предел, если дают разные ответы. Другая ошибка - подставлять точку в выражение с неопределенностью и не анализировать поведение около точки. В многомерном пределе важна вся проколотая окрестность, а не одна линия.

Практика

Задачи с решением

Предел по разным траекториям

Условие. f(x,y)=x^2/(x^2+y^2), (x,y)->(0,0)

Решение. По траектории y=0: 1. По траектории x=0: 0. Значит общего предела нет.

Ответ. нет предела

Линейная функция

Условие. f(x,y)=2x+3y, (x,y)->(1,-1)

Решение. f(1,-1)=2\cdot1+3\cdot(-1)=-1.

Ответ. -1

Дополнительные источники

Apostol, Calculus, Volume II: Multi-Variable Calculus and Linear Algebra with Applications to Differential Equations and Probability
Marsden, Tromba, Vector Calculus

Связанные формулы

Математика

Предел функции в точке

$\lim_{x\to a} f(x)=L$

Предел функции в точке фиксирует значение, к которому стремится функция при приближении аргумента к заданному числу. Это базовая запись для всего дальнейшего анализа: она отделяет поведение функции в окрестности точки от ее значения в самой точке.

Математика

Непрерывность функции в точке

$\lim_{x\to a} f(x)=f(a)$

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

Математика

Односторонние пределы

$\lim_{x\to a-} f(x)=L_{-},\qquad \lim_{x\to a+} f(x)=L_{+}$

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

Математика

Производная через предел разностного отношения

$f'(x_0)=\lim_{h\to 0}\frac{f(x_0+h)-f(x_0)}{h}$

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

Математика

Предел функции на бесконечности

$\lim_{x\to\infty} f(x)=L$

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