View Single Post

## Continuous and differentiable points of f(x,y,z)  (Existence of multivariable limit?)

1. The problem statement, all variables and given/known data

Find the continuous points P and the differentiable points Q of the function $$f$$ in $${R}^3$$, defined as

$$f(0,0,0) = 0$$

and
$$f(x,y,z) = \frac{xy(1-\cos{z})-z^3}{x^2+y^2+z^2}, (x,y,z) \ne (0,0,0)$$.

2. Relevant equations

3. The attempt at a solution

If you want to look at the limit I'm having trouble with, just skip a few paragraphs. I'm mostly including the rest in case anyone is in the mood to point out flaws in my reasoning.

Differentiating $$f$$ with respect to x, y and z, respectively (when $$(x,y,z) \ne (0,0,0)$$ will make it apparent that all three partials will contain a denominator of $$(x^2+y^2+z^2)^2$$ and a continuous numerator. Thus, these partials are continuous everywhere except in $$(0,0,0)$$, and it follows that $$f$$ is differentiable, and consequently, also continuous in all points $$(x,y,z) \ne (0,0,0)$$.

Investigating if $$f$$ is differentiable at $$(0,0,0)$$, we investigate the limit

$$\lim_{(h_1,h_2,h_3) \to (0,0,0)}{\frac{f(h_1,h_2,h_3) - f(0,0,0) - h_1 f_1(0,0,0) - h_2 f_2(0,0,0) - h_3 f_3(0,0,0)}{\sqrt{{h_1}^2 + {h_2}^2 + {h_3}^2}}} = \lim_{(h_1,h_2,h_3) \to (0,0,0)}{\frac{h_1 h_2 (1-\cos{h_3}) - {h_3}^3}{({h_1}^2 + {h_2}^2 + {h_3}^2)^{3/2}}}.$$

Evaluating along the line $$x = y = z$$, that is, $$h_1 = h_2 = h_3$$, it is found after a bit of work and one application of l'Hôpital's rule that the limit from the right does not equal the limit from the left, and hence, $$f$$ is not differentiable in $$(0,0,0)$$.

To prove continuity of $$f$$, we want to show that $$\lim_{(x,y,z) \to (0,0,0)}f(x,y,z) = 0$$. Since I haven't found any good counter-examples to this, I've tried to prove it with the epsilon-delta definition instead, with little luck.

We see that

$$|f(x,y,z) - 0| = \left|\frac{xy(1-\cos{z})-z^3}{x^2 + y^2 + z^2}\right| \le \left|\frac{xy(1-\cos{z})-z^3}{z^2}\right|,$$

getting me nowhere.

Trying with spherical coordinates instead, we get

$$|f(x,y,z)-0| = \left|\frac{{\rho}^2 {\sin^2 \phi} \cos{\theta} \sin{\theta} (1-\cos{(\rho \cos{\phi})}) - {\rho}^3 \cos^3 {\phi}}{{\rho}^2 \sin^2 {\phi} \cos^2 {\theta} + {\rho}^2 \sin^2 {\phi} \sin^2 {\theta} + {\rho}^2 \cos^2 {\phi}}\right| = \left|\sin^2 {\phi} \cos{\theta} \sin{\theta} (1-\cos{(\rho \cos{\phi})}) - \rho \cos^3 {\phi}\right|.$$

I'm not sure how to proceed. Suggestions?

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug
{"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": 0, "mathjax_display_tex": 21, "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": 10, "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.928421676158905, "perplexity_flag": "head"}