MathGroup Archive 2012

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

Search the Archive

Re: Assuming and Integrate

Am 07.10.2012 07:37, schrieb Murray Eisenberg:
> How to treat exceptional cases, here m = n an integer, is always an issue with Integrate (and other operations). Here one would hope to see at least a ConditionalExpression for the general situation Element[{n,m}, Integers]. After all, such integrals are so common in Fourier analysis.
> Perhaps this should even be reported as a bug to Wolfram Research.
> On Oct 6, 2012, at 1:53 AM, hamiltoncycle at wrote:
>> When I try the line below in Mathematica 8 I get the answer 0 which is what I expect when m and n are different but not when m=n. Can anyone explain how to do this correctly?
>> Assuming[Element[{n, m}, Integers], Integrate[Sin[n*x]*Sin[m*x], {x, 0, Pi}]]
>> When m=n we should get Pi/2, as in this case:
>> Assuming[Element[n, Integers], Integrate[Sin[n*x]*Sin[n*x], {x, 0, Pi}]]

For integration you have to use the specialized Assumptions option of 

Integrate[Sin[n x] Sin[m x],{x,0,Pi},Assumptions->{n,m} \in Integers]
is giving the correct Kronecker symbol 0 or +-pi/2 for for n=+-m.

The reason will be that - with the exception of linear real 
substitutions - external assumptions cannot be translated to domain 
conditions in substitutions in the complex domains or through 
transcendental replacements of variables.

Instead the integration machine has to plan ist table lookup or 
simplification and transformation process with the special domain 
assumptions to be designed by hand for an successful attempt.

The half period sines are a complete basis of the Hilbert space on 
(0,Pi) but in Fourier analysis they are used only for zero boundary 
conditions. So the orthogonality relations are not so evident contrary 
to the every day formulas for standard periodic boundary conditions.


Roland Franzius

  • Prev by Date: Grouping graphics that are transformed together
  • Next by Date: Re: Integrating DiracDelta in Mathematica: how to suppress
  • Previous by thread: Re: Assuming and Integrate
  • Next by thread: Re: Assuming and Integrate