Generalización:
Se nos da una lista de constantes [math] L = [\ alpha_1, \ alpha_2,…, \ alpha_ {| L |}] [/ math] (donde cada [math] \ alpha_i \ in \ mathbb {N} [/ math]), así como una constante [math] n \ in \ mathbb {N} \ cup \ {0 \} [/ math]. Deseamos encontrar el número de soluciones para [matemáticas] x_i \ in \ mathbb {N} \ cup \ {0 \} [/ matemáticas] que satisfacen [matemáticas] \ suma \ límites_ {i = 1} ^ {| L | } {\ alpha_ix_i} = n [/ math].
Para nuestra pregunta específica, [matemáticas] L = [1,1,3] [/ matemáticas] y [matemáticas] n = 33 [/ matemáticas].
Responder:
La respuesta es el coeficiente de [matemática] y ^ n [/ matemática] en [matemática] \ prod \ limits_ {i = 1} ^ {| L |} {(1-y ^ {\ alpha_i}) ^ {- 1 }}[/matemáticas].
Alternativamente, esto también se puede formular como una recurrencia. Entonces la respuesta también es [matemáticas] f_L (n, 1) [/ matemáticas], donde [matemáticas] f_L (n, i) = \ begin {cases} 0 & \ text {,} i> | L |, n \ neq 0 \\ 1 & \ text {,} i> | L | \\ \ sum \ limits_ {j = 0} ^ {\ lfloor \ frac {n} {\ alpha_i} \ rfloor} {f_L (nj \ alpha_i, i + 1)} & \ text {, de lo contrario} \ end {casos }[/matemáticas].
Para nuestra pregunta específica, la respuesta es el coeficiente de [matemáticas] y ^ {33} [/ matemáticas] en [matemáticas] (1-y) ^ {- 2} (1-y ^ 3) ^ {- 1} = 1 + 2 y + 3 y ^ 2 + 5 y ^ 3 + 7 y ^ 4 + 9 y ^ 5 + 12 y ^ 6 + 15 y ^ 7 + 18 y ^ 8 + 22 y ^ 9 + 26 y ^ {10 } +30 y ^ {11} +35 y ^ {12} +40 y ^ {13} +45 y ^ {14} +51 y ^ {15} +57 y ^ {16} +63 y ^ {17} +70 y ^ {18} +77 y ^ {19} +84 y ^ {20} +92 y ^ {21} +100 y ^ {22} +108 y ^ {23} +117 y ^ {24} + 126 y ^ {25} +135 y ^ {26} +145 y ^ {27} +155 y ^ {28} +165 y ^ {29} +176 y ^ {30} +187 y ^ {31} +198 y ^ {32} +210 y ^ {33} + O (y ^ {34}) [/ matemáticas]. Esto es [matemáticas] \ boxed {210} [/ matemáticas].
Razonamiento:
Defina [math] g_L (n) [/ math] como número de soluciones para todas las [math] x_i [/ math]. La función de generación ordinaria para [math] g_L (n) [/ math] es [math] A (y) = \ sum \ limits_ {j = 0} ^ {\ infty} {g_L (j) y ^ j} [/ matemáticas]. Defina [math] h_i (n) [/ math] como el número de soluciones cuando solo hay una variable [math] x_i [/ math]. Luego tenga en cuenta que [math] h_i (n) = \ begin {cases} 1 & \ text {,} n \ equiv 0 \ mod {\ alpha_i} \\ 0 & \ text {, de lo contrario} \ end {cases} [/ matemática], ya que solo habría una solución (y exactamente [matemática] 1 [/ matemática] solución) para la variable [matemática] x_i [/ matemática] si [matemática] \ alpha_i [/ matemática] divide [matemática] n [ /matemáticas]. Por lo tanto, la función generadora para [matemáticas] h_i (n) [/ matemáticas] es [matemáticas] A_i (y) = \ sum \ limits_ {j = 0} ^ {\ infty} {h_i (j) y ^ j} = \ sum \ limits_ {j = 0} ^ {\ infty} {y ^ {\ alpha_ij}} = (1-y ^ {\ alpha_i}) ^ {- 1} [/ math] (aplicando la fórmula de la serie geométrica) . Debido a la increíble forma en que funcionan las funciones generadoras, [matemática] A (y) = \ prod \ limits_ {i = 1} ^ {| L |} {A_i (y)} = \ prod \ limits_ {i = 1} ^ {| L |} {(1-y ^ {\ alpha_i}) ^ {- 1}} [/ math]. Finalmente, obtenemos [math] g_L (n) [/ math] como simplemente el coeficiente de [math] y ^ n [/ math] en [math] A (y) [/ math].