| |
 |
|
|
Science Forum Index » Mathematics Forum » Differentiating a complex-valued function
Page 1 of 1
|
| Author |
Message |
| Guest |
Posted: Sat Apr 26, 2008 12:00 pm |
|
|
|
|
Hi all,
High school math teacher here, dabbling in a bit of complex analysis
at the moment. I believe I have the following problem answered
correctly, but I'd appreciate some confirmation. The task is to decide
whether or not f(z) is differentiable at z=0. Please pardon any
difficulties with my notation, as I'm not a Usenet regular.
f(z) = (conj z)^2 / z for z != 0, f(z) = 0 for z = 0
Applying the definition of the derivative and conjugate quickly gets
us ("dz" = delta z)...
f'(z) = lim as dz->0 (conj dz)^2 / dz
Then consider dz in polar form, so ("t" = theta)...
f'(z) = lim as r->0 (conj re^it)^2 / re^it
= lim as r->0 (re^-it)^2 / re^it
= lim as r->0 (r^2)(e^-2it) / re^it
= lim as r->0 re^-3it
= 0
Thus, f'(0) = 0.
Is this correct?
Also, I seem to recall there being a college-level math help group
somewhere on Usenet, but I couldn't find it just now. Does such a
thing exist, and if so would that be a better place for these kinds of
questions?
Thanks,
Todd |
|
|
| Back to top |
|
| Guest |
Posted: Sat Apr 26, 2008 12:45 pm |
|
|
|
|
On Apr 26, 5:11 pm, José Carlos Santos <jcsan...@fc.up.pt> wrote:
Quote: Not at all. I don't know why you are using "dz" here.
I'm just going along with the notation in the text I'm browsing at the
moment. It prefers the form
f'(z) = lim_{dz -> 0} (f(z+dz) - f(z)) / dz
where, again, "dz" = delta z, not a differential or something. I just
wasn't sure how to format that here. But the dz itself is not really
different than what you're saying.
Quote: The definition of f'(0) is lim_{z -> 0}(f(z) - f(0))/z = lim_{z -> 0}(conj z)^2/z^2.
Right. I made a mistake applying the definition and missed the extra
power of z in the denominator. That is certainly different than what I
had said.
Quote: It turns out that this limit does not exist
OK, but I'm unclear as to how one would demonstrate that. Would I use
polar form in a way similar to what I showed originally? If I'm
understanding that correctly (and using your notation), I would get...
lim_{z -> 0}(conj z)^2/z^2 = lim_{r -> 0}e^-4it = e^-4it
where t = theta. Would that be enough to prove that the limit does not
exist, since the value of that limit would depend on the direction
from which you approach zero?
Thanks,
Todd |
|
|
| Back to top |
|
| Guest |
Posted: Sat Apr 26, 2008 1:32 pm |
|
|
|
|
On Apr 26, 6:07 pm, Jannick Asmus <jannick.n...@web.de> wrote:
Quote: Alternatively you could choose two directions
approaching zero such yielding different limits: (1) along the x-axis,
(2) along the y-axis.
The text uses that approach in a couple of examples, and I used it in
a couple of earlier problems. But in this case, due to the squaring of
the terms, wouldn't you get a limit of 1 regardless of whether you
approached along the x-axis or the y-axis? That was why I chose the
polar form approach.
Thanks,
Todd |
|
|
| Back to top |
|
| Guest |
Posted: Sat Apr 26, 2008 2:03 pm |
|
|
|
|
On Apr 26, 6:41 pm, Jannick Asmus <jannick.n...@web.de> wrote:
Quote: Sorry, I was not really thinking when I was writing this (it's late
after midnight in my time zone). Try to approach along (1+i)t, t real,
to 0. I think this should work.
OK, I can see how that will work.
Thanks for the help.
--Todd |
|
|
| Back to top |
|
| José Carlos Santos |
Posted: Sat Apr 26, 2008 5:11 pm |
|
|
|
Guest
|
On 26-04-2008 23:00, tppytel@gmail.com wrote:
Quote: High school math teacher here, dabbling in a bit of complex analysis
at the moment. I believe I have the following problem answered
correctly, but I'd appreciate some confirmation. The task is to decide
whether or not f(z) is differentiable at z=0. Please pardon any
difficulties with my notation, as I'm not a Usenet regular.
f(z) = (conj z)^2 / z for z != 0, f(z) = 0 for z = 0
Applying the definition of the derivative and conjugate quickly gets
us ("dz" = delta z)...
f'(z) = lim as dz->0 (conj dz)^2 / dz
Not at all. I don't know why you are using "dz" here. The definition of
f'(0) is lim_{z -> 0}(f(z) - f(0))/z = lim_{z -> 0}(conj z)^2/z^2. It
turns out that this limit does not exist and therefore that your
function is not differentiable at 0 (or anywhere else, for that matter).
Best regards,
Jose Carlos Santos |
|
|
| Back to top |
|
| Jannick Asmus |
Posted: Sat Apr 26, 2008 6:07 pm |
|
|
|
Guest
|
On 27.04.2008 00:45, tppytel@gmail.com wrote:
Quote: On Apr 26, 5:11 pm, José Carlos Santos <jcsan...@fc.up.pt> wrote:
Not at all. I don't know why you are using "dz" here.
I'm just going along with the notation in the text I'm browsing at the
moment. It prefers the form
f'(z) = lim_{dz -> 0} (f(z+dz) - f(z)) / dz
where, again, "dz" = delta z, not a differential or something. I just
wasn't sure how to format that here. But the dz itself is not really
different than what you're saying.
The definition of f'(0) is lim_{z -> 0}(f(z) - f(0))/z = lim_{z -> 0}(conj z)^2/z^2.
Right. I made a mistake applying the definition and missed the extra
power of z in the denominator. That is certainly different than what I
had said.
It turns out that this limit does not exist
OK, but I'm unclear as to how one would demonstrate that. Would I use
polar form in a way similar to what I showed originally? If I'm
understanding that correctly (and using your notation), I would get...
lim_{z -> 0}(conj z)^2/z^2 = lim_{r -> 0}e^-4it = e^-4it
where t = theta. Would that be enough to prove that the limit does not
exist, since the value of that limit would depend on the direction
from which you approach zero?
Yes, that's correct. Alternatively you could choose two directions
approaching zero such yielding different limits: (1) along the x-axis,
(2) along the y-axis.
--
Best wishes,
J. |
|
|
| Back to top |
|
| Jannick Asmus |
Posted: Sat Apr 26, 2008 6:41 pm |
|
|
|
Guest
|
On 27.04.2008 01:32, tppytel@gmail.com wrote:
Quote: On Apr 26, 6:07 pm, Jannick Asmus <jannick.n...@web.de> wrote:
Alternatively you could choose two directions
approaching zero such yielding different limits: (1) along the x-axis,
(2) along the y-axis.
The text uses that approach in a couple of examples, and I used it in
a couple of earlier problems. But in this case, due to the squaring of
the terms, wouldn't you get a limit of 1 regardless of whether you
approached along the x-axis or the y-axis? That was why I chose the
polar form approach.
Sorry, I was not really thinking when I was writing this (it's late
after midnight in my time zone). Try to approach along (1+i)t, t real,
to 0. I think this should work.
--
Best wishes,
J. |
|
|
| Back to top |
|
| |
|
Page 1 of 1
All times are GMT - 5 Hours
The time now is Thu Aug 21, 2008 5:17 pm
|
|