0
$\begingroup$

With $a_0 =1$, $a_n = 8a_{n-1} + 10^{n-1}$

Let a generating function with it, $G(x) = \sum a_k x^k$ = $a_0 + \sum (8a_{k-1} +10^{k-1}) x^k =a_0 + \sum 8a_{k-1}x^k + \sum10^{k-1} x^k = a_0 + 8x\sum a_kx^k + x\sum10^{k} x^k $

Now I think that, $\sum 10^k x^k \neq\frac{1}{1-10x}$, since it has no limitation on $x$, such as $|x|<1$ (If so, $10^nx^n$ cannot be less than 1, too).

What should I do? How can I deal with $\sum 10^k x^k$ ??

Or is it fine to do just like that?

$\endgroup$

1 Answer 1

1
$\begingroup$

The generating function uses formal power series. As long as there is some radius of convergence, the result will apply.

We have $$\begin{align} G(x) &= \sum_{k=0}^\infty a_k x^k \\ &= a_0 + \sum_{k=1}^\infty (8a_{k-1} + 10^{k-1})x^k \\ &= a_0 + 8x \sum_{k=0}^\infty a_k x^k + x \sum_{k=0}^\infty (10x)^k \\ &= 1 + 8x G(x) + \frac{x}{1 - 10x} \\ &= 8x G(x) + \frac{1 - 9x}{1 - 10x}. \end{align}$$

Therefore, $$G(x) = \frac{1 - 9x}{(1 - 8x)(1 - 10x)} = \frac{1}{2} \left(\frac{1}{1-8x} + \frac{1}{1-10x}\right) = \frac{1}{2} \sum_{k=0}^\infty (8^k + 10^k) x^k$$ and $$a_n = \frac{8^n + 10^n}{2}$$ and you can check that this works.

$\endgroup$
9
  • $\begingroup$ Well then, we have an assumption that $|10x| < 1$? I am confusing at that point... $\endgroup$
    – JAEMTO
    May 2, 2022 at 7:37
  • $\begingroup$ Also, the form of $a_n$ is somewhat different from Marin's answer, [math.stackexchange.com/questions/3937669/…, $\endgroup$
    – JAEMTO
    May 2, 2022 at 7:38
  • $\begingroup$ At first, I did like what you did, but I think it is wrong, because of $10x$, so is it fine to do? It is just an assumption? $\endgroup$
    – JAEMTO
    May 2, 2022 at 7:40
  • $\begingroup$ @JAEMTO You can assume that $|x|<\frac{1}{10}$, or $|x|<\frac{1}{100}$, or $|x|<\frac{1}{1000}$. I mean, why couldn't you? $\endgroup$
    – Gary
    May 2, 2022 at 7:47
  • $\begingroup$ @Gary Yes in that case, I understand it, but I am wondering that if I can think of for any $x$, like $x=2$... is it just an assumption for recurrence relation for what you said? $\endgroup$
    – JAEMTO
    May 2, 2022 at 7:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .