iterated limit in ${ℝ}^2$

Let $f$ be a function from a subset $S$ of  ${ℝ}^2$  to  $ℝ$ and  $(a,b)$  an accumulation point of $S$. The limits

$$\underset{x\to a}{lim}\left(\underset{y\to b}{lim}f(x,y)\right)\mathit{\hspace{1em}}\text{and}\mathit{\hspace{1em}}\underset{y\to b}{lim}\left(\underset{x\to a}{lim}f(x,y)\right)$$

are called iterated limits.

Example 1. If  $f(x,y):={\displaystyle \frac{x\sin \frac{1}{x}+y}{x+y}}$,  then

• ${lim}_{x\to 0}\left({lim}_{y\to 0}f(x,y)\right)={lim}_{x\to 0}\sin \frac{1}{x}$ does not exist

• ${lim}_{y\to 0}\left({lim}_{x\to 0}f(x,y)\right)={lim}_{y\to 0}1=1$

• the usual limit ${lim}_{(x,y)\to (0,0)}f(x,y)$ does not exist.

Example 2. If  $f(x,y):={\displaystyle \frac{x^2}{x^2+y^2}}$,  then

• ${lim}_{x\to 0}\left({lim}_{y\to 0}f(x,y)\right)={lim}_{x\to 0}\frac{x^2}{x^2}=1$

• ${lim}_{y\to 0}\left({lim}_{x\to 0}f(x,y)\right)={lim}_{y\to 0}0=0$

• the usual limit ${lim}_{(x,y)\to (0,0)}f(x,y)$ again does not exist, though both of the iterated limits do.

So far we have studied examples that present discontinuity at its point of accumulation. We now expose an illustrative example where such discontinuity can be avoided.

Example 3. Consider the function

$$f(x,y):=\frac{x\sin x\cosh y+y\cos x\sinh y}{x^2+y^2};$$

then (we apply l’Hôpital’s rule (http://planetmath.org/LHpitalsRule) throughout)

• ${lim}_{x\to 0}\left({lim}_{y\to 0}f(x,y)\right)={lim}_{x\to 0}\left({lim}_{y\to 0}\frac{x\sin x\cosh y+y\cos x\sinh y}{x^2+y^2}\right)={lim}_{x\to 0}\frac{x\sin x}{x^2}={lim}_{x\to 0}\frac{\sin x}{x}={lim}_{x\to 0}\cos x=1$

• ${lim}_{y\to 0}\left({lim}_{x\to 0}f(x,y)\right)={lim}_{y\to 0}\left({lim}_{x\to 0}\frac{x\sin x\cosh y+y\cos x\sinh y}{x^2+y^2}\right)={lim}_{y\to 0}\frac{y\sinh y}{y^2}={lim}_{y\to 0}\frac{\sinh y}{y}={lim}_{y\to 0}\cosh y=1$

• the usual limit ${lim}_{(x,y)\to (0,0)}f(x,y)$ exists in this case. An essential reason which assures the continuity of this function, arises from the fact that  $f(x,y)\equiv \mathrm{\Re }(\frac{\sin z}{z})$,  $z=x+iy$,  i.e. it is the real part of the analytic function  $w:=\frac{\sin z}{z}$  having the removable singularity at  $z=0$ (see the entry complex sine and cosine).

Title	iterated limit in ${ℝ}^2$
Canonical name	IteratedLimitInmathbbR2
Date of creation	2013-03-22 17:28:27
Last modified on	2013-03-22 17:28:27
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	10
Author	pahio (2872)
Entry type	Definition
Classification	msc 26B12
Classification	msc 26A06
Defines	iterated limit