Some Practice Questions on Differentiability and Continuity

  • Thread starter Thread starter altcmdesc
  • Start date Start date
  • Tags Tags
    Test
Click For Summary
SUMMARY

This discussion focuses on differentiability and continuity in multivariable calculus, specifically analyzing functions defined piecewise. The function f(x,y) is shown to be non-differentiable at (0,0) due to the non-existence of the directional derivative. The continuous function g(x,y) is examined, and it is determined that choosing δ = 10-2 ensures |g(x,y)| < 10-2 when |(x,y)| < δ. Additionally, the derivative of the mapping A ↦ (I + A2)-1 is derived using the chain rule.

PREREQUISITES
  • Understanding of multivariable calculus concepts such as differentiability and continuity
  • Familiarity with piecewise functions and their properties
  • Knowledge of the chain rule in calculus
  • Ability to analyze limits and their implications in calculus
NEXT STEPS
  • Study the properties of piecewise functions in calculus
  • Learn about the application of the chain rule in multivariable functions
  • Explore the concept of directional derivatives and their significance
  • Investigate the implications of continuity on differentiability in multivariable functions
USEFUL FOR

Students preparing for calculus exams, educators teaching multivariable calculus, and anyone seeking to deepen their understanding of differentiability and continuity in mathematical analysis.

altcmdesc
Messages
64
Reaction score
0
I've got a test coming up and I would like to know if I'm doing this stuff correctly. Thanks!

Homework Statement


1. Consider

[tex] f(x,y) = \left\{<br /> \begin{array}{c l}<br /> \frac{xy}{x^{2}-y^{2}} & x \neq \pm y\\<br /> 0 & x = \pm y<br /> \end{array}<br /> \right.[/tex]

Is [tex]f[/tex] differentiable at [tex](0,0)[/tex]?

2. Consider the continuous function

[tex] g(x,y) = \left\{<br /> \begin{array}{c l}<br /> \frac{xy}{\sqrt{x^{2}+y^{2}}} & (x,y) \neq (0,0)\\<br /> 0 & (x,y) = (0,0)<br /> \end{array}<br /> \right.[/tex]

Find [tex]\delta>0[/tex] so that [tex]|(x,y)|<\delta\Rightarrow|g(x,y)|<10^{-2}[/tex]

3. Find the derivative of the mapping [tex]A\mapsto(I+A^{2})^{-1}[/tex].

4. Find [tex]N[/tex] so that [tex]|z|>N\Rightarrow|p(z)|=|10z^{10}+9z^{9}+...+2z^{2}+z|>100[/tex]

5. Suppose [tex]S\subset\Re[/tex] and [tex]S[/tex] is bounded above. Prove that [tex]\forall\epsilon>0 \exists y \inS[/tex] with [tex]|supS-y|<\epsilon[/tex].

6. If [tex]f:\Re^{m}\rightarrow\Re^{n}[/tex] has [tex]Df(a)\neq0[/tex], prove that [tex]\exists b\in\Re^{m}[/tex] with [tex]f(a) \neq f(b)[/tex]

2. The attempt at a solution

1. Along the x and y axes [tex]f(x,y)=0[/tex]. Thus [tex]\frac{\partial f}{\partial x} = 0[/tex] and [tex]\frac{\partial f}{\partial y} = 0[/tex] at [tex](0,0)[/tex]. From this, the directional derivative in any direction [tex](v_{1}, v_{2})[/tex] should be 0. Using the limit definition gives [tex]\lim_{h \rightarrow 0} \frac{\frac{h^{2}v_{1}v_{2}}{h^{2}(v_{1}-v_{2})}}{h} = \lim_{h \rightarrow 0} \frac{\frac{v_{1}v_{2}}{v_{1}-v{2}}}{h}[/tex]. This limit does not exist for all [tex]v_{1}, v_{2}[/tex], so [tex]f[/tex] is not differentiable at [tex](0,0)[/tex].

2. [tex]\sqrt{x^{2}+y^{2}}<\delta[/tex]. Since [tex]x<\sqrt{x^{2}+y^{2}}<\delta[/tex] and [tex]y<\sqrt{x^{2}+y^{2}}<\delta[/tex], [tex]xy<\delta^{2}[/tex]. Now, [tex]|f(x,y)| = |\frac{xy}{\sqrt{x^{2}+y^{2}}}| < |\frac{\delta^{2}}{\sqrt{x^{2}+y^{2}}}| = |\frac{\delta^{2}}{\delta}| = |\delta| =\epsilon[/tex]. Thus choosing [tex]\delta = 10^{-2}[/tex] works.

3. Let [tex]F(A)=I+A^{2}[/tex] and [tex]G(B)=B^{-1}[/tex]. Then [tex]G\circF(A)=(I+A^{2})^{-1}[/tex]. By the chain rule, [tex]D(G\circF(A))(H)=DG(F(A))DF(A)(H)=-(I+A^{2})^{-1}(DF(A)(H))(I+A^{2})^{-1}=-(I+A^{2})^{-1}(AH+HA)(I+A^{2})^{-1}[/tex].

4. If [tex]|10z^{10}|>|9z^{9}|+|8z^{8}|+...+|z|+100[/tex] then [tex]|p(z)|>100[/tex] follows. We have
[tex]|z|^{10}>9|z|^{9}, |z|^10>8|z|^{8}, |z|^10>7|z|^{7},...,|z|^{10}>100[/tex] since [tex]|z|^{10}>9|z|^{9} \Rightarrow |z|>9[/tex] is the most stringent, [tex]|z|>9[/tex] works.

5. If [tex]S[/tex] is bounded above then [tex]\forally\inS y<supS[/tex]. Thus [tex]\exists y_{n}[/tex] in [tex]\overline{S}[/tex] such that [tex]y_{n} \rightarrow supS[/tex] as [tex]n\rightarrow\infty[/tex]. For this sequence, we have [tex]\forall\epsilon>0 \existsN[/tex] with [tex]n>N[/tex] such that [tex]|y_{n}-supS|<\epsilon[/tex].

6. From the definition of the derivative at [tex]a[/tex]: [tex]\lim_{h \rightarrow 0} \frac{|f(a+h)-f(a)-Df(a)h|}{|h|}=0[/tex]. Let [tex]a+h=b[/tex], then [tex]\lim_{b \rightarrow a} \frac{|f(b)-f(a)-Df(a)(b-a)|}{|b-a|}=0 \rightarrow \lim_{b \rightarrow a} \frac{|f(b)-f(a)}{|b-a|}-\frac{|Df(a)(b-a)|}{|b-a|}=0[/tex]. For this to be zero, [tex]\lim_{b \rightarrow a} \frac{|f(b)-f(a)}{|b-a|}\geq0[/tex] since [tex]\frac{|Df(a)(b-a)|}{|b-a|}[/tex] is bounded as [tex]b \rightarrow a[/tex]. Thus [tex]f(b) \neq f(a)[/tex].
 
Last edited:
Physics news on Phys.org
Are any of these correct?

Especially the proofs?
 
I only looked at number 2... your answer was almost awesome, except that if you have the denominator bounded above, then plugging in that bound minimizes the fraction. For example, what if [tex]\sqrt{x^2+y^2[/tex] was really [tex]\delta^5[/tex] which is less than delta for small delta (of course, then xy would be smaller, but you didn't say that, which is why the result breaks down).
 

Similar threads

Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
Replies
1
Views
1K
Replies
17
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K