limit of erfc



Raymond Toy <toy.raymond at gmail.com> writes:
> I noticed when running just the rtest_gamma test, I get two failures:
> limit(erfc(z),z,inf) and limit(erfc(z),z,minf).  This doesn't happen when I
> run the entire testsuite.  I guess something is leaking into rtest_gamma
> from earlier tests.
>
> However, from a fresh maxima session, maxima cannot determine
> limit(erfc(z),z,inf).  But maxima knows limit(erf(z),z,inf) = 1.
>
> Also, erf(inf) -> 1, erfc(inf) -> 0, erf(minf) -> -1, erfc(minf) -> 2.  Why
> is that?  Compare what happens with tanh(inf) which just returns the noun
> form.  Also, sinh(inf) -> sinh(inf).

Hmm, that's interesting. Are there many functions in Maxima that
simplify to numbers when given inf or minf? What I remember from
undergraduate analysis is screaming that f(inf) is pretty much always
nonsense, but maybe there's a convention to use that sort of thing in
other fields?  Physics?  Engineering? I presume that one just defines
that

  f(inf) = lim(f(x), x, inf);  ?

I suppose that, since we distinguish inf from infinity, we don't have to
worry about 1 point vs 2 point compactifications of R.

I notice that log(inf) just yields log(inf) (rather than inf). Should we
try to make this feature more uniform?

Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20120517/475456d0/attachment-0001.pgp>;