有一个问题想求教各位大神：我现在要做的运算中包含有对exp[i(nt-xSin[t])]这样形式的积分。我们知道这个计算积分的结果是贝塞尔函数：
可是用MMA进行符号运算的时候，它并不知道利用这个结论，实际上MMA只是原样输出了输入，并不知道怎么计算这个积分。所以我想请教各位大神，如何能够让MMA知道利用这些特殊函数的性质进行运算（替换）呢？
我想这个问题其实不光针对这个具体问题本身，我们在演算中其实会经常遇到特殊函数的。这个时候我们应该怎么做呢？至少可以让MMA知道对某些部分进行替换，进而我们可以把复杂的演算利用MMA继续进行下去？
非常感谢各位大神！

如果我没记错
这个有一个内置函数的。。。
至少12.0版本有。。。

这个吧
https://reference.wolfram.com/language/ref/BesselJ.html.zh

LZ已在Stackexchange提问，标题《How can I inform Mathematica of an identity concerning Bessel functions?》，编号209579，暂无完美解答。