# Is this sloppy writing for limits?

Please note that I am not asking you to compute or show me how to do this limit. I am asking how to write out a clean and formal solution that is free of any error, ambiguity, or sloppiness.

Given $$\lim\limits_{(x,y) \to (0,0)} \dfrac{3x^2 y}{x^2 + y^2}$$, find its limit

So find the limit along $y = mx$ and let $f(x,y) = \dfrac{3x^2 y}{x^2 + y^2}$. So we have $f(x,mx) = \dfrac{3x^2 mx}{x^2 + m^2 x^2} = \dfrac{3mx}{1 + m^2}$

Here is the part where I am not so hot on.

Can I write this?

$\lim\limits_{(x,y) \to (0,0)} f(x,y) = \lim\limits_{(x,y) \to (0,0)} f(x,mx) = \lim\limits_{(x,y) \to (0,0)} \dfrac{3mx}{1 + m^2}= 0$

And conclude the limit is indeed $0$ through any line. (a formal justification involves epsilon-delta, but I omit it here because that is another question for another time).

I am thinking that the first equality sign is wrong.

Remark Most books I've read seem to do everything without the limit operator. Stewart for instance just argues the limit is this and this along this path and that path. I want to do my answers with the limit operators

-

1
You’re right: the first equality is premature. You’ve shown only that the limit is $0$ when you approach the origin along a straight line. To claim that the limit is actually $0$, you have to show that it’s $0$ no matter how you approach the origin; there are functions that behave very nicely along straight lines but not along more complicated paths. – Brian M. Scott Feb 6 at 2:08
You're right. The expression in the middle does not make sense. – julien Feb 6 at 2:09
The second equality sign is justified though right? Provided I made my argument that "we are going to take the limit along this and that path" and then my conclusion should be followed cleanly without any loss in rigor or error? – sizz Feb 6 at 2:10
For the second and third terms to make sense, you need to replace $(x,y)\rightarrow(0,0)$ by $x\rightarrow 0$. – julien Feb 6 at 2:11

1
Yes, but you should write $$\lim_{x\to 0}f(x,mx)=\lim_{(x,y)\to(0,0)}\frac{3mx}{1+m^2}=0\;.$$ – Brian M. Scott Feb 6 at 2:12
show 7 more comments

## 2 Answers

There are so many ways to approach (0; 0), appoaching along the lines $y = mx$ is 1 way, other ways are approaching along the curves $y = x^2$, or $y = \sqrt{x}$, or $y = x^3$, or... any curves that pass through (0; 0).

So, pointing out that as $(x; y) \rightarrow (0; 0)$ along the lines $y = mx$ the limit is 0, is definitely not enough to show that the limit does exist.

Here's a counter-example

## Example

Evaluate $\lim\limits_{\substack{x \rightarrow 0\\y \rightarrow 0}} \dfrac{x^2 y}{x^4 + y^2}$

You can show that the limit is always 0, as $(x; y) \rightarrow (0; 0)$ along any lines $y = mx$. I'll leave this to you, it should be as easy as a piece of cake. Let's try it. :)

But if you let $(x; y) \rightarrow (0; 0)$ along the curve $y = x^2$, then you'll have: $\lim\limits_{\substack{x \rightarrow 0\\y \rightarrow 0}} \dfrac{x^2 y}{x^4 + y^2} = \lim\limits_{x \rightarrow 0} \dfrac{x^4}{x^4 + x^4} = \dfrac{1}{2}$.

So that limit does not exist.

You can change it into polar co-ordinate, like this: Let $\left\{ \begin{array}{l} x = r \cos \varphi \\ y = r \sin \varphi \end{array} \right.$, when $(x; y) \rightarrow (0; 0)$ it means that $r \rightarrow 0$, and $\varphi$ can vary freely. So, to show that the limit exists, all you must do is to show that as $r \rightarrow 0$, and $\varphi$ takes any value, the limit stays the same.

Like this:

$\lim\limits_{\substack{x \rightarrow 0 \\ y \rightarrow 0}}\dfrac{3x^2y}{x^2 + y^2} = \lim\limits_{r \rightarrow 0}\dfrac{3r^3\cos^2 \varphi \sin \varphi}{r^2} = \lim\limits_{r \rightarrow 0} 3r\cos^2 \varphi \sin \varphi = 0$.

Of course the limit of the final expression does not depend on the value of $\varphi$, you can use the Squeeze Theorem to see this: $-3r \le 3r \cos^2 \varphi \sin \varphi \le 3r$.

Another way to prove this is to notice that:

• $|f(x)| \rightarrow 0 \Leftrightarrow f(x) \rightarrow 0$.
• $x^2 + y^2 \ge 2 |xy|$

So, we have:

$0 \le \left| \dfrac{3x^2y}{x^2 + y^2} \right| \le \left| \dfrac{3x^2y}{2xy} \right| = \dfrac{3}{2} \left| x \right|$

Now, take the limit of the whole thing as $(x; y) \rightarrow (0; 0)$, and apply Squeeze Theorem. :)

-

## Did you find this question interesting? Try our newsletter

Just to see how bad things can be while being totally nice along straight lines. Consider the function $f:\mathbb R^2 \to \mathbb R$ that is defined like this. For any point $(x,y)$ consider the slope of the line through the origin on which it lies (take care of the case $(x,y)=(0,0)$ separatel). Then if the slope is not of the form $1/n$, $n\in \mathbb N$ then set $f(x,y)=0$. Otherwise $(x,y)$ lies on a line through the origin of slope $1/n$ and then set $f(x,y)=0$ if the distance from $(x,y)$ to the origin is less then $1/n$, and set $f(x,y)=1$ otherwise. The limit at the origin along any straight line is $0$ though the global limit at the origin does not exist.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 48, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9417906403541565, "perplexity_flag": "head"}