Take the 2-minute tour ×
Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.
$Assumptions = x ∈ Reals && y ∈ Reals && a ∈ Reals && b ∈ Reals;

These work:

Cos[x/2] Sinc[x/2] == Sinc[x] // FullSimplify
(* True *)

Cos[y/2] Sinc[y/2] == Sinc[y] // FullSimplify
(* True *)

but these don't:

Cos[x/2] Sinc[x/2] + Cos[y/2] Sinc[y/2] == Sinc[x] + Sinc[y] // FullSimplify
(* Cos[x/2] Sinc[x/2] + Cos[y/2] Sinc[y/2] == Sinc[x] + Sinc[y] *)

Cos[a + b] Sinc[a + b] == Sinc[2 (a + b)] // FullSimplify
(* Cos[a + b] Sinc[a + b] == Sinc[2 (a + b)] *)

Why this strange behavior?

share|improve this question

3 Answers 3

up vote 2 down vote accepted

Sometimes, a preliminary application of FunctionExpand[] works wonders:

Cos[a + b] Sinc[a + b] == Sinc[2 (a + b)] // FunctionExpand // FullSimplify
   True
share|improve this answer
    
Thanks. Do you have any idea why MMA behavior like this? Why it have problem with a+b as an argument in Sinc? –  xslittlegrass May 16 '13 at 4:40
    
It would seem that FullSimplify[] does not know everything about Sinc[], so a preliminary application of FunctionExpand[] is needed to convert your expression in terms of functions FullSimplify[] can easily handle. –  J. M. May 16 '13 at 4:43

You can try proceeding this way:

rule = Cos[x_] Sinc[x_] -> Sinc[2 x]

Cos[x/2] Sinc[x/2] + Cos[y/2] Sinc[y/2] == Sinc[x] + Sinc[y] /. rule
Cos[a + b] Sinc[a + b] == Sinc[2 (a + b)] /. rule

Which both give

True

as expected. Also note that your assumptions make no difference as

Cos[x/2] Sinc[x/2] == Sinc[x] // FullSimplify

gives True without any assumptions.

share|improve this answer
Cos[a + b] Sinc[a + b] == Sinc[2 (a + b)] /. Sinc[x_] -> Sin[x]/x // Simplify
Cos[x/2] Sinc[x/2] + Cos[y/2] Sinc[y/2] == Sinc[x] + Sinc[y] 
 /.Sinc[x_] -> Sin[x]/x // Simplify

FullSimplify[ Cos[x/2] Sinc[x/2] + Cos[y/2] Sinc[y/2] == Sinc[x] + Sinc[y], 
   TransformationFunctions -> {Automatic, Reduce[#, {x, y}, Reals] &}]
share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.