Skip to main content
Mathematics LibreTexts

14.2: Limits and Continuity

  • Page ID
    149572
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    To develop calculus for functions of one variable, we needed to make sense of the concept of a limit, necessary so as to understand continuous functions and to define the derivative. Limits involving functions of two variables can be considerably more difficult to deal with; fortunately, most of the functions we encounter are fairly easy to understand.

    The potential difficulty is largely due to the fact that there are many ways to "approach" a point in the \(x\)-\(y\) plane. If we want to say that \(\displaystyle \lim_{(x,y) \to (a,b)} f(x,y)=L\), we need to capture the idea that as \((x,y)\) gets close to \((a,b)\) then \(f(x,y)\) gets close to \(L\). For functions of one variable, \(f(x)\), there are only two ways that \(x\) can approach \(a\): from the left or right. But there are an infinite number of ways to approach \((a,b)\): along any one of an infinite number of lines, or an infinite number of parabolas, or an infinite number of sine curves, and so on. We might hope that it's really not so bad---suppose, for example, that along every possible line through \((a,b)\) the value of \(f(x,y)\) gets close to \(L\); surely this means that "\(f(x,y)\) approaches \(L\) as \((x,y)\) approaches \((a,b)\)". Sadly, no.

    Figure \(\PageIndex{1}\). \(f(x,y)=\dfrac{xy^2}{x^2+y^4}\)
    Example \(\PageIndex{1}\)

    Consider \(f(x,y)=xy^2/(x^2+y^4)\). When \(x=0\) or \(y=0\), \(f(x,y)\) is \(0\), so the limit of \(f(x,y)\) approaching the origin along either the \(x\) or \(y\) axis is \(0\). Moreover, along the line \(y=mx\), \(f(x,y)= m^2x^3/(x^2+m^4x^4)\). As \(x\) approaches \(0\) this expression approaches \(0\) as well. So along every straight line through the origin, \(f(x,y)\) approaches \(0\). Now suppose we approach the origin along \(x=y^2\). Then \[f(x,y)={y^2y^2\over y^4+y^4}={y^4\over2y^4}={1\over2},\nonumber\] so the limit is \(1/2\). Looking at figure \(\PageIndex{1}\), it is apparent that there is a ridge above \(x=y^2\). Approaching the origin along a straight line, we go over the ridge and then drop down towards \(0\), but approaching along the ridge the height is a constant \(1/2\). Thus, there is no limit at \((0,0)\).

    Fortunately, we can define the concept of limit without needing to specify how a particular point is approached---indeed, in definition 2.3.2, we didn't need the concept of "approach". Roughly, that definition says that when \(x\) is close to \(a\), then \(f(x)\) is close to \(L\); there is no mention of "how" we get close to \(a\). We can adapt that definition to two variables quite easily:

    Definition \(\PageIndex{2}\): Limit

    Suppose \(f(x,y)\) is a function. We say that \[\lim_{(x,y) \to (a,b)} f(x,y)=L\nonumber\] if for every \(\epsilon \gt 0\) there is a \(\delta=\delta(\epsilon) \gt 0\) such that whenever \(0 \lt \sqrt{(x-a)^2+ (y-b)^2} \lt \delta\), then \(|f(x,y)-L| \lt \epsilon\).

    This says that we can make \(|f(x,y)-L| \lt \epsilon\), no matter how small a positive \(\epsilon\) is, by making the distance from \((x,y)\) to \((a,b)\) "small enough". Note that the definition does not make any claim for the value of \(f\) actually at \((x,y) = (a,b)\).

    Example \(\PageIndex{3}\)

    Show that \(\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{3x^2y} {x^2+y^2}= 0\).

    Solution

    For any point \((x,y)\ne(0,0)\) let \(r=\sqrt{x^2+y^2} \gt 0\) be its distance from \((0,0)\), and suppose we are given some \(\epsilon>0\). We have \[\left| \dfrac{3x^2y} {x^2+y^2} \right|= \dfrac{x^2} {x^2+y^2} 3|y|.\nonumber\] Since \(x^2/(x^2+y^2) \le 1\), and \(|y|=\sqrt{y^2} \le \sqrt{x^2+y^2} = r\), it follows that \[\dfrac{x^2}{x^2+y^2}3|y| \le 3r.\nonumber\] We want to force this to be less than \(\epsilon\) by picking a \(\delta \gt 0\) small enough. So if we choose \(0 \lt \delta \lt \epsilon/3\), then for any \((x,y)\) with \(0 \lt r \lt \delta\), \[\left| \dfrac{3x^2y} {x^2+y^2} \right| \le 3r \lt 3\delta \lt 3\left( \dfrac{\epsilon} {3} \right)= \epsilon.\nonumber\]

    Recall that a function \(f(x)\) is continuous at \(x=a\) if \(\displaystyle \lim_{x \to a}f(x)= f(a)\); roughly this says that there is no "hole" or "jump" at \(x=a\). We can say exactly the same thing about a function of two variables: \(f(x,y)\) is continuous at \((a,b)\) if \(\displaystyle \lim_{(x,y) \to (a,b)}f(x,y)= f(a,b)\).

    Example \(\PageIndex{4}\)

    The function \(f(x,y)=3x^2y/(x^2+y^2)\) is not continuous at \((0,0)\), because \(f(0,0)\) is not defined. However, we know that \(\displaystyle \lim_{(x,y) \to (0,0)}f(x,y)= 0\), so we can easily "fix" the problem, by extending the definition of \(f\) so that \(f(0,0)=0\). This surface is shown in figure \(\PageIndex{2}\).

    Figure \(\PageIndex{2}\). \( f(x,y)=\dfrac{3x^2y}{x^2+y^2}\)

    Note that in contrast to this example we cannot fix example \(\PageIndex{1}\) at \((0,0)\) because the limit does not exist. No matter what value we try to assign to \(f\) at \((0,0)\) the surface will have a "jump" there.

    Fortunately, the functions we will examine will typically be continuous almost everywhere. Usually this follows easily from the fact that closely related functions of one variable are continuous. As with single variable functions, two classes of common functions are particularly useful and easy to describe. A polynomial in two variables is a sum of terms of the form \(ax^my^n\), where \(a\) is a real number and \(m\) and \(n\) are non-negative integers. A rational function is a quotient of polynomials.

    Theorem \(\PageIndex{5}\)

    Polynomials are continuous everywhere. Rational functions are continuous everywhere they are defined.

    Exercises \(\PageIndex{}\)

    Determine whether each limit exists. If it does, find the limit and prove that it is the limit; if it does not, explain how you know.

    Exercise \(\PageIndex{1}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{x^2}{x^2+y^2}\)

    Answer

    No limit. Use \(x=0\) and \(y=0\), that is to say, compare the behavior of the function as it approaches \((0,0)\) along the \(y\)-axis, with its behavior along the \(x\)-axis.

    Exercise \(\PageIndex{2}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{xy}{x^2+y^2}\)

    Answer

    No limit. Use \(x=0\) and \(x=y\). (See the answer to the first exercise, above.)

    Exercise \(\PageIndex{3}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{xy}{2x^2+y^2}\)

    Answer

    No limit. Use \(x=0\) and \(x=y\).

    Exercise \(\PageIndex{4}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{x^4-y^4}{x^2+y^2}\)

    Answer

    Limit is \(0\).

    Exercise \(\PageIndex{5}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{\sin(x^2+y^2)}{x^2+y^2}\)

    Answer

    Limit is \(1\).

    Exercise \(\PageIndex{6}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{xy}{\sqrt{2x^2+y^2}}\)

    Answer

    Limit is \(0\).

    Exercise \(\PageIndex{7}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{e^{-(x^2+y^2)}-1}{x^2+y^2}\)

    Answer

    Limit is \(-1\).

    Exercise \(\PageIndex{8}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{x^3+y^3}{x^2+y^2}\)

    Answer

    Limit is \(0\).

    Exercise \(\PageIndex{9}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{x^2+\sin^2 y}{2x^2+y^2}\)

    Answer

    No limit. Use \(x=0\) and \(y=0\).

    Exercise \(\PageIndex{10}\)

    \(\displaystyle \lim_{(x,y) \to (1,0)} \dfrac{(x-1)^2\ln x}{(x-1)^2+y^2}\)

    Answer

    Limit is \(0\).

    Exercise \(\PageIndex{11}\)

    \(\displaystyle \lim_{(x,y) \to (1,-1)} (3x+4y)\)

    Answer

    Limit is \(-1\).

    Exercise \(\PageIndex{12}\)

    \(\displaystyle \lim_{(x,y) \to (0,0)} \dfrac{4x^2y}{x^2+y^2}\)

    Answer

    Limit is \(0\).

    Exercise \(\PageIndex{13}\)

    Does the function \(f(x,y)=\dfrac{x−y}{1+x+y}\) have any discontinuities? What about \(g(x,y)=\dfrac{x−y}{1+x^2+y^2}\)? Explain.

    Contributors


    This page titled 14.2: Limits and Continuity is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by David Guichard via source content that was edited to the style and standards of the LibreTexts platform.