Questions about the properties of functions of the form $\sum_{n=0}^{\infty}a_n x^n$, where the $a_n$ are real or complex numbers, and $x$ is real or complex (or more generally an element of a Banach algebra).

learn more… | top users | synonyms

64
votes
3answers
1k views

Is the derivative the natural logarithm of the left-shift?

(Disclaimer: I'm a high school student, and my knowledge of mathematics extends only to some elementary high school calculus. I don't know if what I'm about to do is valid mathematics.) I noticed ...
49
votes
12answers
5k views

How can I evaluate $\sum_{n=0}^\infty (n+1)x^n$

How can I evaluate $$ \sum_{n=1}^\infty \frac{2n}{3^{n+1}} $$ I know the answer thanks to Wolfram Alpha, but I'm more concerned with how I can derive that answer. It cites tests to prove that it is ...
42
votes
1answer
913 views

Fractal behavior along the boundary of convergence?

The complex power series $$\sum_{n=1}^{\infty}\frac{z^{n^2}}{n^2}$$ has radius $1$ (Ratio Test) and is absolutely convergent along $|z|=1$. Recalling something that my calculus professor (Ray Mayer, ...
35
votes
3answers
2k views

Factorial and exponential dual identities

There are two identities that have a seemingly dual correspondence: $$e^x = \sum_{n\ge0} {x^n\over n!}$$ and $$n! = \int_0^{\infty} {x^n\over e^x}\ dx.$$ Is there anything to this comparison? (I ...
28
votes
3answers
741 views

On calculating $\int_0^1\ln(1-x^2)\;{dx}$ — where is the mistake?

I've seen the integral $\displaystyle \int_0^1\ln(1-x^2)\;{dx}$ on a thread in this forum and I tried to calculate it by using power series. I wrote the integral as a sum then again as an integral. ...
26
votes
2answers
2k views

Proving an “amazing” claim regarding $\zeta( 3)$ and Apéry's proof

I recently printed a paper that asks to prove the "amazing" claim that for all $a_1,a_2,\dots$ $$\sum_{k=1}^\infty\frac{a_1a_2\cdots a_{k-1}}{(x+a_1)\cdots(x+a_k)}=\frac{1}{x}$$ and thus (probably) ...
21
votes
3answers
496 views

Math contest: Find number of roots of $F(x)=\frac{n}{2}$ involving a strange integral.

Edit summary: A good answer appeared. CW full answer added, based on given answers. Removing my ugly-looking attempts, as they still remain in the rev. history. Here's a final-round calculus ...
21
votes
5answers
1k views

Sum of the form $r+r^2+r^4+\dots+r^{2^k} = \sum_{i=1}^k r^{2^k}$

I am wondering if there exists any formula for the following power series : $$S = r + r^2 + r^4 + r^8 + r^{16} + r^{32} + ...... + r^{2^k}$$ Is there any way to calculate the sum of above series (if ...
21
votes
1answer
804 views

How to prove convergence of polynomials in $e$ (Euler's number)

These polynomials in $e$ converge to 2$$f(i)=e^i - i \sum_{k=1}^{i-1}\frac{(i-k)^{k-1}{e^{i-k}}{(-1)^{k+1}}}{k!}, \text{ where } i>1$$ This function goes to 2. I've calculated this with sage math ...
20
votes
1answer
371 views

Is it possible for a function to be smooth everywhere, analytic nowhere, yet Taylor series at any point converges in a nonzero radius?

It is well-known that the function $$f(x) = \begin{cases} e^{-1/x^2}, \mbox{if } x \ne 0 \\ 0, \mbox{if } x = 0\end{cases}$$ is smooth everywhere, yet not analytic at $x = 0$. In particular, its ...
15
votes
3answers
620 views

Multiplicative inverses of formal series with non-negative coefficients

What are the formal series $f$ with non-negative integer coefficients and constant term equal to $1$ whose multiplicative inverse $1/f$ has all coefficients, apart from a finite subset, all ...
15
votes
2answers
921 views

any pattern here ? (revised 2)

for any positive number $k$, I have a $(k+1)*(k+1)$ matrix. I wonder if these matrices follow any "obvious" pattern. My goal is to guess the elements for matrix with $k=5$ and above (most probably in ...
14
votes
3answers
670 views

Solving a difficult recursion via generating functions

I have been trying to solve the recurrence: \begin{align*} a_{n+1}=\frac{2(n+1)a_n+5((n+1)!)}{3}, \end{align*} where $a_0=5$, via generating functions with little success. My progress until now is ...
14
votes
1answer
231 views

Necessary and sufficient conditions for a polynomial in $\mathbb{Z}[t]$ to have an $n$th root in $\mathbb{Z}[[t]]$

Let $p(t) = \sum p_k t^k$ be a polynomial in $\mathbb{Z}[t]$, with $p_0=1$. Is there a necessary and sufficient condition (congruence or other) on the coefficients $p_k$ such that $p(t)$ admits a ...
13
votes
4answers
915 views

How to express $(1+x+x^2+\cdots+x^m)^n$ as a power series?

Is it possible to express $(1+x+x^2+\cdots+x^m)^n$ as a power series?
13
votes
2answers
330 views

How to do a very long division: continued fraction for tan

I want to compute $$\tan(r) = \cfrac{r}{1 - \cfrac{r^2}{3 - \cfrac{r^2}{5 - \cfrac{r^2}{7 - {}\ddots}}}}$$ by dividing the power series for sin and cos as it is said can be done in ...
13
votes
1answer
547 views

Does a power series vanish on the circle of convergence imply that the power series equals to zero?

Let $f(z)=\sum_{n=0}^{\infty} a_n z^n$ be a power series, $a_n, z\in \mathbb{C}$. Suppose the radius of convergence of $f$ is $1$, and $f$ is convergent at every point of the unit circle. Question:If ...
13
votes
2answers
388 views

Finding the convergence interval of $\sum\limits_{n=0}^{\infty} \frac{n!x^n}{n^n}$.

I want to find the convergence interval of the infinite series $\sum\limits_{n=0}^{\infty} \dfrac{n!x^n}{n^n}$. I will use the ratio test: if I call $u_n = \dfrac{n!x^n}{n^n}$, the ratio test says ...
12
votes
2answers
298 views

Finding the derivative of $x\uparrow\uparrow n$

I am trying to find a general derivative for the function: $f(x)=x^{x^{x^{...^{x}}}}$however to do that I must find $f^{\prime }$ and $f^{\prime \prime}$...etc. I am now trying to write down a general ...
12
votes
2answers
420 views

Proving that $\pi=\sum\limits_{k=0}^{\infty}(-1)^{k}\left(\frac{2^{2k+1}+(-1)^{k}}{(4k+1)2^{4k}}+ \frac{2^{2k+2}+(-1)^{k+1}}{(4k+3)2^{4k+2}}\right)$

Long time ago I've been playng with formulas for $\pi$ and found that one above in the title which can also be expressed as \begin{align*} ...
12
votes
1answer
299 views

counterexample to Abel's theorem

$D=\{z\in\Bbb C:|z|<1\}$. Let $f(z)=\sum\limits_{n=0}^\infty a_n z^n(a_n,z\in\Bbb C)$ be a power series, the radius of convergence of $f$ is $1$, $\sum\limits_{n=0}^\infty a_n =s$. Give a ...
12
votes
2answers
575 views

$\lim\limits_{x\to\infty}f(x)^{1/x}$ where $f(x)=\sum\limits_{k=0}^{\infty}\cfrac{x^{a_k}}{a_k!}$.

Does the following limit exist? What is the value of it if it exists? $$\lim\limits_{x\to\infty}f(x)^{1/x}$$ where $f(x)=\sum\limits_{k=0}^{\infty}\cfrac{x^{a_k}}{a_k!}$ and $\{a_k\}\subset\mathbb{N}$ ...
12
votes
1answer
317 views

Solving a formal power series equation

I want to find a function $f(x,y)$ which can satisfy the following equation, $$\prod _{n=1} ^{\infty} \frac{1+x^n}{(1-x^{n/2}y^{n/2})(1-x^{n/2}y^{-n/2})} = \exp \left[ \sum _{n=1} ^\infty ...
11
votes
4answers
454 views

Detecting a negative coefficient in a power series

Suppose that I have an analytic function $f(z)=\sum_{n=0}^\infty a_n z^n$ which converges on some disk around the origin. For a particular function I encountered, I wished to prove that every ...
11
votes
1answer
487 views

Radius of convergence of power series

Given a meromorphic function on $\mathbb{C}$, is the radius of convergence in a regular point exactly the distance to the closest pole? As Robert Israel points out in his answer, that this is of ...
11
votes
3answers
1k views

Product of two power series

Say if I define a power series over some arbitrary field $F$ as $$a = \sum^{ \infty }_{i = 0} a_{i} X^{i} $$ Then can I say: $$ab = \sum^{ \infty }_{i = 0} \sum^{ \infty }_{j = 0} a_{i} b_{j} X^{i ...
11
votes
2answers
494 views

Taylor series (or equivalent at $\epsilon\to0$) of the integral over $x$ of a function of $x$ and $\epsilon$

I have a function $f$ of two arguments, defined as $$ f(x,\epsilon)=\epsilon\left( e^{-\frac{(x-\epsilon)^2}{2}} - e^{-\frac{x^2}{2}}\right) + \frac{1-\epsilon}{\sqrt{1+\epsilon}}\left( ...
11
votes
4answers
648 views

Taylor expansion of $(1+x)^α$ to binomial series – why does the remainder term converge?

For $α ∈ ℝ$ the function $g_α \colon B_1(0) → ℝ, x ↦ (1+x)^α$ is $C^∞$ and $g_α^{(n)}(x) = n! \tbinom{α}{n}(1+x)^{α-n}$, where $\tbinom{α}{n} = \frac{α(α-1)\cdots(α-n+1)}{n!}$ is the generalized ...
10
votes
4answers
916 views

Help with summing a power series

I'd like to determine the function corresponding to the following power series: $$x + \sum_{n=1}^\infty (-1)^n\frac{1\cdot3\cdot5\cdots(2n-1)}{2\cdot4\cdot6\cdots2n} \frac{x^{2n+1}}{2n+1}, $$ where ...
10
votes
6answers
3k views

Why infinity multiplied by zero was considered zero here?!

I watched an online video lecture by some professor and she was solving a convergence problem of the power series $$\sum_{n=1}^\infty n!x^n,$$ i.e., she was finding the values of $x$ for which this ...
10
votes
4answers
409 views

Finding the power series for $y$ where $y + \sin(y) = x$

What do you do to find the power series for an inverse relationship such as for $y$ in $y + \sin(y) = x$? I'm not sure where to begin. (Similarly, the Lambert $W$ function has such a power series ...
10
votes
3answers
265 views

Estimate $\displaystyle\int_0^\infty\frac{t^n}{n!}e^{-e^t}dt$ accurately.

How can I obtain good asymptotics for $$\gamma_n=\displaystyle\int_0^\infty\frac{t^n}{n!}e^{-e^t}dt\text{ ? }$$ [This has been already done] In particular, I would like to obtain asymptotics that ...
10
votes
1answer
185 views

Is this generalization of an exercise in Stein true?

The following question is exercise $14$ in chapter $2$ in Stein and Shakarchi's Complex Analysis. Suppose that $f$ is holomorphic in an open set containing the closed unit disc, except for a pole ...
10
votes
1answer
277 views

Abel limit theorem

I would like to know if the Abel limit theorem works if the limit is infinite. Let the series $\sum_{k=0}^\infty a_k x^k$ have radius of convergence 1. Assume further that $\sum_{k=0}^\infty a_k = ...
10
votes
1answer
200 views

Prove that $\exp(\log(\frac{1}{1-x})) = \frac{1}{1-x}$

I am trying to prove this directly by comparing the coefficients in the two series rather than using formal calculus. Here is what I have so far, but I think I made a mistake: \begin{align*} ...
9
votes
4answers
574 views

The Power of Taylor Series

I am teaching a Calculus class and we are finishing up power/Taylor series this week. The last section of the chapter is on applications, but the only ones listed there are approximating non-rational ...
9
votes
3answers
203 views

Could we show $1-(x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\dots)^2=(1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}- \dots)^2$ if we didn't know about Taylor Expansion?

Suppose that humanity haven't discovered Taylor Series Expansion of trigonometric functions or of any function that would help us on this. Which means we are not allowed to replace the given infinite ...
9
votes
1answer
154 views

How to calculate the integral of $x^x$ between $0$ and $1$ using series? [duplicate]

How to calculate $\int_0^1 x^x\,dx$ using series? I read from a book that $$\int_0^1 x^x\,dx = 1-\frac{1}{2^2}+\frac{1}{3^3}+\dots+(-1)^n\frac{1}{(n+1)^{n+1}}+\cdots$$ but I can't prove it. Thanks in ...
9
votes
2answers
346 views

Origin and use of an identity of formal power series: $\det(1 - \psi T) = \exp \left(-\sum_{s=1}^{\infty} \text{Tr}(\psi^{s})T^{s}/s\right)$

The following is a historical question, but first some background: Let $\psi$ be a linear operator from a vector space to itself. The following two expressions, viewed as formal power series, can be ...
9
votes
3answers
273 views

Can the the radius of convergence increase due to composition of two power series?

When composing power series, is the radius of convergence the minimum of that of the individual series, or is it like for multiplication and addition of power series where the resultant radius of ...
9
votes
1answer
166 views

Is this (classical?) exercice missing a hypothesis?

A friend just told me about an exercice he was given quite a few years ago, but he wasn't sure wether he remembered all the hypothesis correctly. Does anybody recognize this? Let $f$ be a smooth ...
9
votes
4answers
193 views

Closed form of $\sum \frac{x^n}{n^n}$

Is there a closed form of this series? $$ f(x) = \sum_{n=1}^\infty \frac{x^n}{n^n} $$ I tried few standard tricks how to sum a power series but none of them helped.
8
votes
6answers
493 views

Show that if $r$ is an nth root of $1$ and $r\ne1$, then $1 + r + r^2 + … + r^{n-1} = 0$.

Show that if $r$ is an nth root of $1$ and $r\ne1$, then $1 + r + r^2 + ... + r^{n-1} = 0$. I think I can represent all the roots of 1 as follows: $r = 1^{\frac{1}{n}} ( \frac{\cos{2\pi k}}{n} + ...
8
votes
5answers
442 views

Formal power series - a question

I've been reading generationgfunctionology by Herbert S. Wilf (you can find a copy of the second edition on the author's page here). On page 33 he does something I find weird. He wants to shuffle the ...
8
votes
3answers
580 views

How to calculate $f(x)$ in $f(f(x)) = e^x$?

How would I calculate the power series of $f(x)$ if $f(f(x)) = e^x$? Is there a faster-converging method than power series for fractional iteration/functional square roots?
8
votes
5answers
263 views

When are we (not) allowed to replace $x$ by $ix$?

It seems to be quite a common manipulation to replace $x$ by $ix$. Every time I see it's being done in a textbook, I blindly trust the author without really understanding when are we allowed to do so ...
8
votes
2answers
428 views

Power series without analytic continuation

Given a formal power series $\sum a_n z^n$ and a radius of convergence $R>0$, there are various ways to extend the function to the boundary such as Abel's theorem Fatou's lemma $H^\infty$ ...
8
votes
4answers
208 views

Real-analytic $f(z)=f(\sqrt z) + f(-\sqrt z)$?

Are there nonconstant real-analytic functions $f(z)$ such that $$ f(z)=f(\sqrt z) + f(-\sqrt z)$$ is satisfied near the real line ? Also can such functions be entire ? And/Or can they be periodic ...
8
votes
2answers
129 views

Convergence of differentiated power series

Consider $\displaystyle f(z)=\sum_{k=0}^\infty a_k z^k$ and suppose that $\displaystyle\sum_{n=0}^\infty f^{(n)}(0)$ converges. Prove that $\forall z \in \mathbb C, ...
8
votes
1answer
402 views

$f'/f\in\mathbb{Z}[[x]]$ for polynomials vs. formal power series $f$

I am curious about the following problem from MIT's Problem Solving Seminar (#26 here, though the link may stop working after a few weeks): Let $f(x) = a_0+a_1x+\cdots\in\mathbb{Z}[[x]]$ be a ...