Definition and Limits of Multivariable Functions

Introduction

Multivariable functions represent a natural extension of single-variable functions, extending the concept of a function from one independent variable to multiple variables. In calculus and analysis, these functions are essential for modeling complex phenomena in mathematics, physics, engineering, and economics. A multivariable function assigns a unique output to each ordered pair (or tuple) of inputs from a domain in multiple dimensions. For example, a function $ f: \mathbb{R}^n \to \mathbb{R} $ maps a point $ (x_1, x_2, \dots, x_n) $ in $ \mathbb{R}^n $ to a real number. This extension introduces new complexities, such as the interdependence of variables and the need for rigorous definitions of limits and continuity.

The study of multivariable functions begins with understanding their foundational concepts, including domain, codomain, and graph representation. Unlike single-variable functions, where limits are evaluated along a single variable, multivariable limits require evaluating the behavior of the function as the input variables approach a specific point simultaneously. This necessitates a more nuanced approach to analysis, as the convergence of functions in multiple dimensions depends on the interplay of all variables.

Definition of Multivariable Functions

A multivariable function is formally defined as a rule that assigns a value in a codomain to each element in the domain. The domain of a multivariable function is a subset of $ \mathbb{R}^n $, where $ n $ is the number of independent variables. For instance, the function $ f(x, y) = \sqrt{x^2 + y^2} $ is a multivariable function from $ \mathbb{R}^2 $ to $ \mathbb{R} $, with the domain being all points $ (x, y) $ such that $ x^2 + y^2 \geq 0 $. The codomain is the set of all real numbers, and the range is the set of non-negative real numbers.

The graph of a multivariable function is typically represented as a subset of $ \mathbb{R}^n \times \mathbb{R} $, where each point in the graph corresponds to an input in $ \mathbb{R}^n $ and the corresponding output in $ \mathbb{R} $. This graphical representation allows for visualization of how the function behaves across different regions of its domain.

Limits in Multivariable Functions

The concept of a limit in multivariable functions is critical for understanding continuity and differentiability. The limit of a function $ f(x_1, x_2, \dots, x_n) $ as $ (x_1, x_2, \dots, x_n) $ approaches a point $ (a_1, a_2, \dots, a_n) $ is the value that the function approaches as the variables $ x_1, x_2, \dots, x_n $ converge to $ a_1, a_2, \dots, a_n $, respectively. Formally, the limit $ \lim_{(x_1, x_2, \dots, x_n) \to (a_1, a_2, \dots, a_n)} f(x_1, x_2, \dots, x_n) = L $ holds if, for every $ \varepsilon > 0 $, there exists a $ \delta > 0 $ such that $ | (x_1, x_2, \dots, x_n) - (a_1, a_2, \dots, a_n) | < \delta $ implies $ |f(x_1, x_2, \dots, x_n) - L| < \varepsilon $.

This definition parallels the single-variable case but introduces the additional complexity of multiple variables. In single-variable calculus, the limit is determined by approaching the point along a single path, whereas in multivariable functions, the limit must be evaluated for all possible paths or sequences approaching the point. For example, consider the function $ f(x, y) = \frac{x^2 - y^2}{x^2 + y^2} $. The limit as $ (x, y) \to (0, 0) $ depends on the path taken, such as $ y = x $ or $ y = 0 $, leading to different results. This highlights the importance of rigor in analyzing multivariable limits.

Continuity and Differentiability in Multivariable Functions

Continuity is a fundamental property of multivariable functions, ensuring that small changes in the input variables result in small changes in the output. A function $ f: \mathbb{R}^n \to \mathbb{R} $ is continuous at a point $ (a_1, a_2, \dots, a_n) $ if $ \lim_{(x_1, x_2, \dots, x_n) \to (a_1, a_2, \dots, a_n)} f(x_1, x_2, \dots, x_n) = f(a_1, a_2, \dots, a_n) $. This condition is equivalent to the function being continuous in all its domain, and it is closely related to the concept of limits.

Differentiability extends the notion of derivatives to higher dimensions. A function $ f: \mathbb{R}^n \to \mathbb{R} $ is differentiable at a point $ (a_1, a_2, \dots, a_n) $ if the limit
$$ \lim_{(x_1, x_2, \dots, x_n) \to (a_1, a_2, \dots, a_n)} \frac{f(a_1 + h_1, a_2 + h_2, \dots, a_n + h_n) - f(a_