Hello there, I'm currently working on a project about the mathematics of FM synthesis (for a general overview see the relevant chapter in ☮ Music: a Mathematical Offering ☮).

I'm trying to do some expansion and simplification of using multiple modulating waves and the maths is getting a bit trying. I want to rearrange an equation of trignometric functions so they are in bessel function form. So far I've done it for parallel modulating waves, by showing if we have something of the form

$\displaystyle sin(c_2 + I_2 sin(\theta_2) + I_1 sin(\theta_2))$ then it can be rearranged to

$\displaystyle \sum_{k_1} \sum_{k_2} J_{k_1} (I_1) J_{k_2} (I_2) sin (c_2 + k_1 \theta_1 + k_2 \theta_2))$

using standard addition formulae for trignometric equations and the Bessel function expansion of $\displaystyle sin(z sin\theta)) = \sum_{n=0}^{oo} J_{2n+1}(z)sin((2n+1) \theta)$

(I can provide a full proof if needed, but I hope the sketch will give an idea of what I'm aiming for)

So I'm trying to do the same for series:

I'm starting with $\displaystyle sin(\alpha_1 + I_1 sin (\alpha_2 + I_2 sin \theta_2)$

Using addition formula for $\displaystyle sin$ and then applying the Bessel function formula again, I arrive at

$\displaystyle sin (c_1 + I_1 \sum_{k_1}J_{k_1} (I_2) sin (c_1 + k_1 \theta_1)))$

Now here's where I get stuck. Can anyone suggest how I might expand/simplify this last equation? Can it even be done?