# Puzzled by Assumptions [duplicate]

I don't know if this has already been discussed.

Integrate[BesselJ[2 m + 1, x], {x, 0, ∞}, Assumptions -> m ϵ Integers]


ConditionalExpression[1, Re[m] > -1]

Integrate[BesselJ[2 m, x], {x, 0, ∞}, Assumptions -> m ϵ Integers]


ConditionalExpression[1, Re[m] > -(1/2)]

Assuming[m ∈ Integers, Integrate[BesselJ[2 m + 1, x], {x, 0, ∞}]]


ConditionalExpression[1, m > -1]

Assuming[m ∈ Integers, Integrate[BesselJ[2 m, x], {x, 0, ∞}]]


ConditionalExpression[1, m > -(1/2)]

Why doesn't Mathematica consider the evenness or oddness of the 1st argument (i.e., 2 m or 2 m + 1)?

• @Karsten 7: Thanks for the edit. Oct 16, 2015 at 8:53
• Related (possibly duplicates): (19833), (42114) -- See this answer to (19833) especially. Oct 16, 2015 at 10:12
• Thanks for the links. However here the situation is different. Assuming[{k ∈ Integers}, Integrate[ Exp[ I k t], {t, -π, π}]] returns an incorrect result whereas Integrate[ Exp[ I k t], {t, -π, π},Assumptions->k ∈ Integers] returns the correct one. Here it seams that Integrate simply ignores (or cannot take into account) the Assumptions and proceed to its evaluation of the integrand without any Assumptions for both of the cases. Oct 16, 2015 at 12:10
• I think Daniel's answer explains it: Try Simplify[Integrate[Exp[I k t], {t, -\[Pi], \[Pi]}, Assumptions -> k \[Element] Integers], k \[Element] Integers]. Oct 16, 2015 at 13:03
• I agree with @MichaelE2. Oct 16, 2015 at 14:48