<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Joy%27s_Law_%28computing%29</id>
	<title>Joy&#039;s Law (computing) - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Joy%27s_Law_%28computing%29"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Joy%27s_Law_(computing)&amp;action=history"/>
	<updated>2026-04-24T13:52:59Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Joy%27s_Law_(computing)&amp;diff=29422&amp;oldid=prev</id>
		<title>en&gt;TAnthony: Update template and cleanup using AWB</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Joy%27s_Law_(computing)&amp;diff=29422&amp;oldid=prev"/>
		<updated>2013-12-11T00:51:40Z</updated>

		<summary type="html">&lt;p&gt;Update template and cleanup using &lt;a href=&quot;/index.php?title=Testwiki:AWB&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Testwiki:AWB (page does not exist)&quot;&gt;AWB&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{more footnotes|date=August 2013}}&lt;br /&gt;
&lt;br /&gt;
In [[multivariable calculus]], an &amp;#039;&amp;#039;&amp;#039;iterated limit&amp;#039;&amp;#039;&amp;#039; is an expression of the form&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt; \lim_{y \to q} \big( \lim_{x \to p} f(x, y) \big). \, &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
One has an expression whose value depends on at least two variables, one takes the limit as one of the two variables approaches some number, getting an expression whose value depends only on the other variable, and then one takes the limit as the other variable approaches some number.  This is not defined in the same was as the limit&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt; \lim_{(x,y) \to (p, q)} f(x, y), \, &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
which is not an iterated limit.  To say that this latter [[Limit of a function#Limit of a function of more than one variable|limit of a function of more than one variable]] is equal to a particular number &amp;#039;&amp;#039;L&amp;#039;&amp;#039; means that &amp;#039;&amp;#039;&amp;amp;fnof;&amp;#039;&amp;#039;(&amp;#039;&amp;#039;x&amp;#039;&amp;#039;,&amp;amp;nbsp;&amp;#039;&amp;#039;y&amp;#039;&amp;#039;) can be made as close to &amp;#039;&amp;#039;L&amp;#039;&amp;#039; as desired by making the point (&amp;#039;&amp;#039;x&amp;#039;&amp;#039;,&amp;amp;nbsp;&amp;#039;&amp;#039;y&amp;#039;&amp;#039;) close enough to the point&amp;amp;nbsp;(&amp;#039;&amp;#039;p&amp;#039;&amp;#039;,&amp;amp;nbsp;&amp;#039;&amp;#039;q&amp;#039;&amp;#039;).  It does not involve first taking one limit and then another.&lt;br /&gt;
&lt;br /&gt;
It is not in all cases true that&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt; \lim_{(x,y) \to (p, q)} f(x, y) = \lim_{x \to p} \lim_{y \to q} f(x, y) = \lim_{y \to q} \lim_{x \to p} f(x, y). &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
See [[interchange of limiting operations]].&lt;br /&gt;
&lt;br /&gt;
Among the standard counterexamples are those in which&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;&lt;br /&gt;
f(x,y) = \frac{x^2}{x^2+y^2}&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
and&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt; f(x,y) = \frac{xy}{x^2+y^2},&amp;lt;/math&amp;gt;&amp;lt;ref&amp;gt;{{cite book|chapter=Chapter 15.2 Limits and Continuity|pages=907–909|title=Multivariable Calculus|year=2008|last1=Stewart|first1=James|authorlink1=James_Stewart_(mathematician)|edition=6th|isbn=0495011630}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
and (&amp;#039;&amp;#039;p&amp;#039;&amp;#039;,&amp;amp;nbsp;&amp;#039;&amp;#039;q&amp;#039;&amp;#039;)&amp;amp;nbsp;=&amp;amp;nbsp;(0,&amp;amp;nbsp;0).&lt;br /&gt;
&lt;br /&gt;
In the first example, the values of the two iterated limits differ from each other:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;&lt;br /&gt;
\lim_{y\to0} \left( \lim_{x\to0} \frac{x^2}{x^2+y^2} \right) = \lim_{y\to0} 0 = 0,&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
and&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;&lt;br /&gt;
\lim_{x\to0} \left( \lim_{y\to0} \frac{x^2}{x^2+y^2} \right) = \lim_{x\to0} 1 = 1.&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
In the second example, the two iterated limits are equal to each other despite the fact that the limit as (&amp;#039;&amp;#039;x&amp;#039;&amp;#039;,&amp;amp;nbsp;&amp;#039;&amp;#039;y&amp;#039;&amp;#039;)&amp;amp;nbsp;→&amp;amp;nbsp;(0,&amp;amp;nbsp;0) does not exist:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;&lt;br /&gt;
\lim_{x\to0} \left( \lim_{y\to0} \frac{xy}{x^2+y^2} \right) = \lim_{x\to0} 0 = 0&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
and&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;&lt;br /&gt;
\lim_{y\to0} \left( \lim_{x\to0} \frac{xy}{x^2+y^2} \right) = \lim_{y\to0} 0 = 0,&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
but the limit as (&amp;#039;&amp;#039;x&amp;#039;&amp;#039;,&amp;amp;nbsp;&amp;#039;&amp;#039;y&amp;#039;&amp;#039;)&amp;amp;nbsp;→&amp;amp;nbsp;(0,&amp;amp;nbsp;0) along the line &amp;#039;&amp;#039;y&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;&amp;#039;&amp;#039;x&amp;#039;&amp;#039; is different:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;&lt;br /&gt;
\lim_{\Big((x,y)\to(0,0)\,:\,y=x\Big)} \frac{xy}{x^2+y^2} = \lim_{x\to0} \frac{x^2}{x^2+x^2} = \frac12.&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
It follows that&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt; \lim_{(x,y)\to(0,0)} \frac{xy}{x^2+y^2} &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
does not exist.&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&amp;lt;references /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Category:Limits (mathematics)]]&lt;br /&gt;
[[Category:Calculus]]&lt;/div&gt;</summary>
		<author><name>en&gt;TAnthony</name></author>
	</entry>
</feed>