Definition and Calculation of the Limit of a Multivariable Function

Introduction

In multivariable calculus, the concept of a limit extends the single-variable framework to functions of multiple variables. While single-variable limits focus on the behavior of a function as its input approaches a specific point, multivariable limits consider the function's behavior as its input approaches a point in a multidimensional space. This extension is critical for analyzing functions that depend on multiple independent variables, such as those describing physical phenomena, economic models, or geometric relationships. The definition of a limit in multivariable calculus is both a foundational concept and a powerful tool for understanding the continuity, differentiability, and integrability of functions.

Definition and Properties of Multivariable Limits

A multivariable limit of a function $ f(x, y) $ as $ (x, y) $ approaches $ (a, b) $ is defined as the value that $ f(x, y) $ approaches when $ (x, y) $ is arbitrarily close to $ (a, b) $, without crossing into the domain of the function. Formally, the limit $ \lim_{(x,y) \to (a,b)} f(x, y) = L $ exists if, for every $ \varepsilon > 0 $, there exists a $ \delta > 0 $ such that $ \sqrt{(x - a)^2 + (y - b)^2} < \delta $ implies $ |f(x, y) - L| < \varepsilon $. This definition generalizes the single-variable epsilon-delta criterion to two dimensions.

Key properties of multivariable limits include:

  1. Uniqueness: If a limit exists, it is unique.
  2. Continuity: A function $ f(x, y) $ is continuous at $ (a, b) $ if and only if $ \lim_{(x,y) \to (a,b)} f(x, y) = f(a, b) $.
  3. Limit of a Sum/ Product: $ \lim_{(x,y) \to (a,b)} [f(x, y) \pm g(x, y)] = L \pm M $, where $ \lim_{(x,y) \to (a,b)} f(x, y) = L $ and $ \lim_{(x,y) \to (a,b)} g(x, y) = M $.
  4. Limit of a Product: $ \lim_{(x,y) \to (a,b)} [f(x, y) \cdot g(x, y)] = L \cdot M $.

These properties ensure that the behavior of multivariable functions can be analyzed using tools analogous to single-variable calculus, while accounting for the multidimensional nature of the domain.

Key Theorems and Conditions for Limit Existence

The existence of a limit in multivariable calculus relies on specific conditions, often summarized by the two-path test and the squeeze theorem.

Two-Path Test

A limit $ \lim_{(x,y) \to (a,b)} f(x, y) $ exists if and only if the limit is the same along all possible paths approaching $ (a, b) $. For example, consider the function $ f(x, y) = \frac{x^2 + y^2}{\sqrt{x^2 + y^2}} $. Along the path $ y = 0 $, the limit is $ x $, while along the path $ x = 0 $, the limit is $ y $. Since these values differ, the limit does not exist. This demonstrates that in multivariable calculus, the path of approach is critical to