MathGroup Archive 2002

[Date Index] [Thread Index] [Author Index]

Search the Archive

RE: L2 inner product. Integrate and Conjugate?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg36339] RE: [mg36308] L2 inner product. Integrate and Conjugate?
  • From: "David Park" <djmp at earthlink.net>
  • Date: Mon, 2 Sep 2002 04:08:48 -0400 (EDT)
  • Sender: owner-wri-mathgroup at wolfram.com

Andreas,

inner[f_Function, g_Function] :=
  Integrate[ComplexExpand[Conjugate[f[x]]]*g[x], {x, -1/2, 1/2}]

inner[# &, # &]
1/12

I'm not too knowledgable about using complex functions in Mathematica but
sometimes I think that "ComplexExpand" should be renamed "ComplexSimplify".
One very often needs it.

David Park
djmp at earthlink.net
http://home.earthlink.net/~djmp/

From: Andreas Dietrich [mailto:andreas.dietrich at physik.uni-marburg.de]
To: mathgroup at smc.vnet.net

Hello.

I am trying to implement the inner product in the space of
complex-valued, square integrable functions over [-1/2,1/2], which can
be expressed in Mathematica code as

inner[f_Function,g_function]:=Integrate[Conjugate[f[x]]*g[x],{x,-1/2,1/2}]

This is simple enough. Problem is, Mathematica seamingly cannot
evaluate the Integral for even the simplest of functions:
In[10]:=inner[#&,#&]

Out[10]:=\!\(\[Integral]\_\(-\(1\/2\)\)\%\(1\/2\)\(x\ Conjugate[
          x]\) \[DifferentialD]x\)

As you see, the Integrate returns unevaluated. It works fine if I
remove the Conjugate. Unfortunately the Conjugate is needed for
positive definiteness.

Various variants with Composition, Re and Im etc. don't work either.

This should be a So how do I get Integrate to work with Conjugate?

I use Mathematica 4.1.2.0 on Linux/i386.

Thank you,
Andreas

--
True Pleasure in this society is more dangerous than bank robbery.




  • Prev by Date: Re: L2 inner product. Integrate and Conjugate?
  • Next by Date: RE: How to ...? Piecewise Function Definition
  • Previous by thread: Re: L2 inner product. Integrate and Conjugate?
  • Next by thread: Re: L2 inner product. Integrate and Conjugate?