Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Delta functions.
Replies: 14   Last Post: Apr 22, 2013 8:58 AM

 Messages: [ Previous | Next ]
 Waldek Hebisch Posts: 267 Registered: 12/8/04
Re: Delta functions.
Posted: Apr 20, 2013 7:14 PM

clicliclic@freenet.de wrote:
>
> clicliclic@freenet.de schrieb:

> >
> > As I usually succeed in consistently computing with Dirac delta's, I've
> > felt no need to look into research on this. And while I don't know if
> > such research exists, my gut feeling is that the delta's cannot be
> > tweaked to qualify as members of your "field". By the way, since FriCAS
> > is a strongly typed system, what type does it assign to delta(x) where x
> > is a (say) complex irrational number?
> >

>
> Oops, this was nonsense: for 'complex' read 'real'. The Dirac delta
> makes sense for real arguments only, albeit in as many dimensions as one
> likes: it lives in R^n only: The flexibility required of the test
> functions cannot be achieved on C.
>
> Martin.

ATM there is no delta finction in FriCAS. The place to add it
is 'Expression' domain. More precisly (since 'Expression'
need a parameter) domains like 'Expression(Integer)',
'Expression(Fraction(Integer))', 'Expression(AlgebraicNumber)'.

Note that analytically, delta at a complex number makes perfect
sense if you chose apropriate theory of distributions.
Similarly, in some theories of distributions you can
freely multiply them. This is one of the reasons I want
algebraic theory: such theory can be much more flexible
than usual analytic approach.

Also, in Maple 'Dirac(x)' does not mean delta at point 'x',
but inverse image of delat at 0 via 'x'. If 'x' is a one
variable in multivariate context you get Lebesqu'e measure
at appropriate hyperplane. Using this convention 'Dirac(3)'
is just 0.

--
Waldek Hebisch
hebisch@math.uni.wroc.pl

Date Subject Author
4/13/13 Waldek Hebisch
4/13/13 clicliclic@freenet.de
4/13/13 clicliclic@freenet.de
4/13/13 clicliclic@freenet.de
4/13/13 Axel Vogt
4/15/13 Waldek Hebisch
4/16/13 clicliclic@freenet.de
4/17/13 D Herring
4/20/13 clicliclic@freenet.de
4/20/13 Waldek Hebisch
4/21/13 clicliclic@freenet.de
4/21/13 Waldek Hebisch
4/22/13 A N Niel
4/14/13 D Herring
4/15/13 Waldek Hebisch