Edited by Will Bradley

Calculus 3 Semester 1 project Capitalize

Italicize; maybe make a new header
for the actual proof. Regardless, Daniel Kukla
differentiate (haha) Prompt from the Sam Fulton
rest of the proof. Also, why is there
only one section? Add more to break Eliot ?-- make uniform; is that
up: maybe one for prompt, one for Eric Yang the right spelling?
findind the partial derivatives at the
origin, and one each for proving f_x, November 2019
f_y DNE at the origin.

Prompt For sin, cos, ln, etc., make

sure to use "\" before the
Let ( xsin(2y)
p 2 2 , (x, y) 6= (0, 0) command to make it upright--
x +y
f (x, y) = it's standard style in math
0, (x, y) = (0, 0)
typesetting
Find fx (0, 0) and fy (0, 0). Then determine whether fx (x, y) and fy (x, y) are continuous at the origin.
We will start by finding fx (0, 0) using the limit definition, which gives us

f (h, 0) f (0, 0)
fx (0, 0) = lim ,
Maybe a bit more h!0 h
f (h, 0)
"baby algebra" = lim ,
h!0 h \cdot would be more appropriate
here-- some steps 0⇥h than \times here; use the latter in
would be good = lim
h!0 h2
,
cartesian product, cross product,
= 0. etc., not for scalar multiplication
Next we find fy (0, 0) using the limit definition, which gives us

f (0, h) f (0, 0)
fy (0, 0) = lim ,
h!0 h
f (0, h)
= lim ,
h!0 h
0 ⇥ sin(2h)
= lim ,
h!0 h2
= 0.

We note that for fx (x, y) and fy (x, y) to be continuous at the origin

lim fx (x, y) = fx (0, 0), A bit hard to parse when reading;

(x,y)!(0,0)
it should read "We note that...
= 0, f_x(x,y) MUST EQUAL f_x(0,0)...".
and Consider writing the math inline
instead to make this distinction
lim
(x,y)!(0,0)
fy (x, y) = fy (0, 0), (compared to just the "=") clearer
= 0.

1
 The next step is to find the limit of fx (x, y) as (x, y) approaches
the origin, which is given by the equation
@ xsin(2y)
lim fx (x, y) = lim p ,
(x,y)!(0,0) (x,y)!(0,0) @x x2 + y 2
sin(2y)(x2 + y 2 )1/2 x2 sin(2y)(x2 + y 2 ) 1/2
= lim ,
x2 + y 2
Move this participal phrase (x,y)!(0,0)

by making it a new sentence: y 2 sin(2y)

= lim 3/2
, converting to cylindrical coordinates,
(x,y)!(0,0) 2
(x + y 2 )
math math math. r2 sin2 (✓)sin(2rsin(✓))
= lim ,
Converting to cylindrical r!0+ (r 2 sin2 (✓) + r 2 cos(✓))3/2

coordinates, the above sin2 (✓)sin(2rsin(✓))

= lim+ ,
becomes r!0 r
math math math. 0
= .
0
Therefore,
We now observe that we have justification to use L’Hopital’s Rule. Thus,
d 2
dr sin (✓)sin(2rsin(✓))
lim fx (x, y) = lim+ d
,
dr r
(x,y)!(0,0) r!0
3
Two = lim+ 2sin (✓)cos(2rsin(✓)),
r!0
thus's = 2sin3 (✓).
perhaps a more specific way to say this would be
in a "dependent on a value of theta," or at least
row # including "theta" somewhere in your explanation
e and therefore, does not exist. Since
Thus,lim(x,y)!(0,0) fx (x, y) is path dependant,
lim fx (x, y) 6= 0 = fx (0, 0),
(x,y)!(0,0)
the part I struck through could is very very
fx (x, y) is not continuous at the origin. clunky; the "0 =" is unnecessary to any
half-awake reader anyway See above
Next we must find the limit of fy (x, y) as (x, y) approach the origin, which is given by the equation for
comments
@ xsin(2y)
lim fy (x, y) = lim p ,
(x,y)!(0,0) (x,y)!(0,0) @y x2 + y 2
2x3 cos(2y) + 2xy 2 cos(2y) xy sin(2y)
= lim , converting to cylindrical coordinates,
(x,y)!(0,0) (x2 + y 2 )3/2
2r3 cos3 (✓) cos(2r sin(✓)) + 2r3 cos(✓) sin2 (✓) cos(2r sin(✓)) r2 sin(✓) cos(✓) sin(2r sin(✓))
= lim ,
r!0+ (r2 sin2 (✓) + r2 cos2 (✓))3/2
2r cos3 (✓) cos(2r sin(✓)) + 2r cos(✓) sin2 (✓) cos(2r sin(✓)) sin(✓) cos(✓) sin(2r sin(✓))
= lim+ ,
r!0 r
0
= .
Hmm. This 0
kind of copy-
paste writing
is ok for This gives us justification to use L’Hopital’s Rule. Thus,
completion
lim
problems, (x,y)!(0,0) fy (x, y) = lim+ 2 cos3 (✓) cos(2r sin(✓)) 4r cos3 (✓) sin(✓) sin(2r sin(✓)) + 2 cos(✓) sin2 (✓) cos(2r sin(✓))
r!0
but I imagine
frowned upon 4r cos(✓) sin3 (✓) sin(2r sin(✓)) 2 sin2 (✓) cos(✓) cos(2r sin(✓)),
in this formal = 2 cos3 (✓) + 2 cos(✓) sin2 (✓) 2 sin2 (✓) cos(✓),
writing style.
At least add a = 2 cos3 (✓),
"similarly to
above," to
acknowledge, Thus,lim(x,y)!(0,0) fy (x, y) is path dependant, and therefore, does not exist. Since
at least, that Final Comments
you're doing
lim fy (x, y) 6= 0 = fy (0, 0),
(x,y)!(0,0) A solid mathematical proof, with some clunky notation/style
it. choices. I would recommend carefully proofreading your project
fy (x, y) is not continuous at the origin. more to catch small errors.
More variety is needed in the proof of the non-existence of f_y--
how do Colley, Bretscher approach similar but distinct sections
2 of proofs? More steps, and especially explanation, would flesh
out all areas of the proof.
A graph of f(x,y) might be helpful and/or interesting as well.