How to simplify an expression with special functions to zero

Question

The following is a well-known Bessel function identity:

$$J_{-n}(z)=(-1)^n J_n(z),\qquad n\in\mathbb Z$$

To check this, I used the following code and the result is as what I expected.

In[2]:= FullSimplify[(-1)^n*BesselJ[n, z] == BesselJ[-n, z], n ∈ Integers]
Out[2]= True

The problem is that Mathematica does not return zero when I try to simplify the following expression:

$$(-1)^n J_{n}(z)-J_{-n}(z),\qquad n\in\mathbb Z$$

I tried the following code, but the output is as complex as the input:

In[3]:= FullSimplify[(-1)^n*BesselJ[n, z] - BesselJ[-n, z], n ∈ Integers]
Out[3]= -BesselJ[-n, z] + (-1)^n BesselJ[n, z]    (*result I expected : 0*)

My goal is to command Mathematica to reduce the expression to zero, and I need some advice.

$\begingroup$ See also: Why FullSimplify doesn't work here? $\endgroup$ – becko Nov 19 '13 at 14:53 — becko, Nov 19 '13 at 14:53

chyanog · Accepted Answer · 2013-05-16 01:15:40Z

12

FullSimplify[(-1)^n*BesselJ[n, z] - BesselJ[-n, z],  n ∈ Integers, 
             ComplexityFunction -> (StringLength @ ToString @ # &)]

Also:

ComplexityFunction -> (Count[#, _BesselJ | _Power, {-2}] &)
ComplexityFunction -> (Count[#, _?NumberQ, Infinity] &)

answered May 15 '13 at 16:47

chyanog

11.6k2 gold badges24 silver badges60 bronze badges

3

$\begingroup$ I daresay it is baffling that the usual approach of comparing LeafCount[]s doesn't work... $\endgroup$ – J. M.'s ennui♦ May 15 '13 at 16:50
$\begingroup$ @J.M. ComplexityFunction -> (StringLength @ ToString @ # & could be useful at the code golf site $\endgroup$ – Dr. belisarius May 15 '13 at 17:59
1

$\begingroup$ Actually, I don't know what (StringLength @ ToString @ # &) means. Nonetheless, I got some clues from looking at the other two options. The options you suggested are quite informative and could be utilized in many similar situations. $\endgroup$ – Tom Wayne May 16 '13 at 8:41
$\begingroup$ @Tom, it simply treats the expression being applied to as a string, and counts the number of characters in said string. $\endgroup$ – J. M.'s ennui♦ May 16 '13 at 11:19
$\begingroup$ @J.M. Now I got it. That's quite a compact form. $\endgroup$ – Tom Wayne May 17 '13 at 14:02

| show 1 more comment

J. M.'s ennui · Accepted Answer · 2013-05-15 15:48:40Z

11

A bit of cheating:

DifferenceRootReduce[(-1)^n BesselJ[n, z] - BesselJ[-n, z], n]
   0

I must admit I'm not sure why FullSimplify[] fails on this, tho.

answered May 15 '13 at 15:48

J. M.'s ennui♦

114k11 gold badges349 silver badges520 bronze badges

$\begingroup$ Very nice. $\phantom{}$ $\endgroup$ – Dr. belisarius May 15 '13 at 15:50
2

$\begingroup$ That's a brilliant answer. Still, it's a mystery why FullSimplify doesn't work on this expression. $\endgroup$ – Tom Wayne May 15 '13 at 16:10

add a comment |

2 Answers 2