[Date Index]
[Thread Index]
[Author Index]
Re: Interval arithmetic and Dependency problems
*To*: mathgroup at smc.vnet.net
*Subject*: [mg95484] Re: [mg95451] Interval arithmetic and Dependency problems
*From*: Bob Hanlon <hanlonr at cox.net>
*Date*: Tue, 20 Jan 2009 05:43:50 -0500 (EST)
*Reply-to*: hanlonr at cox.net
Interval[{-1, 1}] Interval[{-1, 1}] is not equivalent to Interval[{-1, 1}]^2
In the product case there are two independent intervals and the product of these independent intervals can be anywhere on the Interval[{-1,1}]. With a single interval that is squared the result must be nonnegative.
Nonetheless, I agree that there are opportunities to improve the interval calculations.
Bob Hanlon
---- magma <maderri2 at gmail.com> wrote:
=============
I just started to have a look at Mathematica capabilities in Interval
arithmetic.
It seems that Mathematica does not consider the so called dependency problem
(see for instance wikipedia on Interval arithmetic for an
explanation).
For example evaluate
f[x_] := x^2 + x
f[Interval[{-1, 1}]]
and you get
Interval[{-1, 2}]
which is not really very good.
The correct or, if you prefer, best result should be
Interval[{-1/4,2}]
since -1/4 and 2 are really the min and max values of f over the given
interval.
In other words Mathematica is not capable of calculating f[x] when x is an
Interval and f is a general function.
Yet Mathematica, according to documentation, is capable of calculating f[x] on
an Interval, when f is restricted to a standard functions.
For example the "square" function
Interval[{-1, 1}]^2
gives the correct answer
Interval[{0, 1}]
But if the same "square" is expressed as a product, the result is not
so good (tight):
evaluating
Interval[{-1, 1}] Interval[{-1, 1}]
gives
Interval[{-1, 1}]
It seems to me that a further function should be implemented in Mathematica.
Something called IntervalEvaluation or similar, with syntax like
IntervalEvaluation[f[x],x,Interval[...]]
Building this function should not be too difficult, using Maximize and
Minimize on the given interval.
Any comments?
Prev by Date:
**bug in LinearProgramming**
Next by Date:
**Re: Solving the Quintic: Correction to x^5 + 20 x + 32 == 0 root example**
Previous by thread:
**Re: Interval arithmetic and Dependency problems**
Next by thread:
**Re: Interval arithmetic and Dependency problems**
| |