Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a power series in the form

$$ f(x) = \sum_{n=0}^{\infty} \frac{p(n)}{q(n)}x^{n} $$

here $ p(n) $ and $ q(n) $ are Polynomials of certain degree

then can i get $ f(x) $ in term of elementary functions ??

if $ q(n) =1 $ then i know how to get the sum but for this general case i would need some help

i believe that let be the operator $ T=x \frac{d}{dx} $ then formally

$$ f(x)= \frac{p(T)}{q(T)}\frac{1}{1-x}=p(T){q(T)}^{-1}\frac{1}{1-x}$$

share|cite|improve this question
I don't know what it means to divide by $T$. I understand polynomials of $T$, but not the $q(T)$ – Ross Millikan Mar 13 '13 at 20:07
In terms of hypergeometric functions, but in general not in terms of elementary functions. – André Nicolas Mar 13 '13 at 20:16
how can in terms of hypergeometric function ? what would be the method ?? thanks – Jose Garcia Mar 13 '13 at 20:25
@RossMillikan you aren't dividing but $T$, because if $q(z)=z$ or more generally is divisible by $z$ then the power series doesn't make sense. Indeed, $q$ cant have any natural number roots. With no such roots, you can find the inverse of $q(T)$, which is an operator that acts on power series. If you look below, as long as $q(n)\neq 0$ for all natural $n$, which is a given, it turns out that $q(T)^{-1}$ can be easily defined for power series. (Essentially, the natural numbers are the eigenvalues of $T$...) – Thomas Andrews Mar 14 '13 at 9:51
up vote 3 down vote accepted

First, my answer was overkill.

Second, it missed the point of the problem.

I'm still gonna say partial fractions.

Oh well, here's the "better" answer to a question that wasn't asked.

I'd rewrite it as $$q(T)[f(x)] = p(T)\left[\frac{1}{1-x}\right]$$ since we don't know what the meaning of $q(T)^{-1}$ is.

But in general, we can easily show that $q(T)[\sum a_nx^n] = \sum a_nq(n)x^n$. We can do this directly, since $T^k[x^n] = n^kx^n$ is easy to prove.

But since $f(x)=\sum_n \frac{p(n)}{q(n)}x^n$, that means:

$$q(T)[f(x)] = \sum_n p(n)x^n$$

On the other hand, since $\frac{1}{1-x} =\sum_n x^n$, we see that the right side is the same:

$$p(T)\left[\frac{1}{1-x}\right] =\sum_n p(n)x^n$$

So we are done.

Now, since we have proven $q(T)\left[\sum_n a_nx^n\right]=\sum q(n)a_nx^n$ and $q(n)\neq 0$ for all $n$, then $q(T)^{-1}$ is clearly defined as:

$$q(T)^{-1}\left[\sum_n a_nx^n\right] = \sum \frac{a_n}{q(n)}x^n$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.