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

7
votes
0answers
101 views

Can a Power Series tell when to stop?

The naive description of the radius of convergence of a complex power series is as the largest radius so that the ball avoids poles and branch cuts. This makes sense in a world where analytic ...
6
votes
0answers
109 views

Evaluating sums and integrals using Taylor's Theorem

Taylor's theorem states that $$f(x)-\sum_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k = \int_a^x \frac{f^{(n+1)} (t)}{n!} (x - t)^n \, dt $$ We can use this to evaluate integrals. For example, consider ...
6
votes
0answers
77 views

“Natural” interpolation between partial sums of a power series

Suppose $f(z)=\sum_{n=0}^\infty a_n z^n$ has a radius of convergence of $R$. Let the $N$-th partial sum be $f_N (z)=\sum_{n=0}^N a_n z^n$. What smooth (analytic) function interpolates between ...
5
votes
0answers
141 views

Why is $a_{n}(x,y)=a_{n}(y)$?

This particular question is connected (with a slight variation in the definition of $g$) to an earlier question. The link is here. The specifics are: Given that $u(x,y)$ is the solution of a PDE ($x$ ...
5
votes
0answers
75 views

About $\prod{\left(1-q^n\right)^{5}}$

Is there a result about the non-vanishing of coefficients of $$\prod_{n=1}^{+\infty}{\left(1-q^n\right)^{5}}=1-5q+5q^2+10q^3-15q^4-6q^5-5q^6+25q^7+15q^8-20q^9+\cdots \text{ ?}$$ Thanks !
5
votes
0answers
55 views

What is $f_\alpha(x) = \sum_{n\in \mathbb{N}} \frac{n^\alpha}{n!}x^n$?

I want to understand the function $$f_\alpha(x) = \sum_{n\in \mathbb{N}} \frac{n^\alpha}{n!}x^n, \ \ \ \forall x\in\mathbb{R},$$ for any possible real $\alpha\geq0$. I know that for $\alpha$ integer, ...
5
votes
0answers
130 views

“Evaluation Homomorphisms” for Formal Power Series

In the ring of formal power series $\Bbb R[[x]]$ it is easy to check by induction that $$ 1 = (1-x)(1 + x + x^2 + \cdots). $$ Does this derivation imply the same identity for those real or complex ...
5
votes
0answers
215 views

How Ramanujan find this formula

I have seen this formula from Ramanujan $\sum_n \frac{a^{n+1}-b^{n+1}}{a-b}\frac{c^{n+1}-d^{n+1}}{c-d}T^n=\frac{1-abcdT^2}{(1-abT)(1-acT)(1-bcT)(1-bdT)}$. I know how to prove it via geometric ...
5
votes
0answers
331 views

Is there a reasonably simple, non-recursive formula for this sequence?

I have been curious about the following sequence of rational numbers for some time. I identified the numerator and denominators on the Online Encyclopedia of Integer sequences, but there was not much ...
4
votes
0answers
76 views

Is there a formula for $\sum_{n=0}^{+\infty} q^{n^3}$?

When I studyied the representation of integers as sum of squares, I found that the most powerful tool is the Jacobi Triple Product, in fact this amazing identity allows us to find more useful ...
4
votes
0answers
91 views

Calculate $1^1 + 2^2 + 3^3 + … + n^n$

Is there a formula to calculate $1^1 + 2^2 + 3^3 + ... + n^n$ I searched but didn't find a formula for increasing powers
4
votes
0answers
80 views

Generating Function for Associated Stirling Numbers $b(n,k)$

I am trying to identify or find the ordinary generating function (not the exponential generating function) for the Associated Stirling numbers of the Second kind, denoted $$b(1;n,k)=b(n,k)$$ These ...
4
votes
0answers
64 views

Is there an algebraic description of the ring of analytic functions on the real projective line?

Apologies for the long question. Let $X=\mathbf P^1(\mathbf R) \subseteq \mathbf P^1(\mathbf C)$ be the real projective line. Let $\mathcal O_X$ be the sheaf of real-analytic complex-valued functions ...
4
votes
0answers
213 views

Question about Big O notation for asymptotic behavior in convergent power series

Examples of such use of Big O notation can be found for instance on Wolfram Alpha here. More details on the Wikipedia page. The idea, as I understand it, is that the term between parenthesis in Big O ...
4
votes
0answers
100 views

Using formal power series to solve nasty equations

Consider a function $f:[0,\infty)\times \mathbb R\to\mathbb R$, and suppose that given some $a>0$, I would like to solve for $x\in\mathbb R$ satisfying \begin{align} f(\delta, x) = a. \end{align} ...
4
votes
0answers
142 views

Function composition and Bell polynomials

Suppose that we have the Taylor expansions : $$f(x)=\sum_{n=1}^{\infty}\frac{a_{n}}{n!}x^{n}$$ $$g(x)=\sum_{n=1}^{\infty}\frac{b_{n}}{n!}x^{n}$$ Then we have the standard result : ...
4
votes
0answers
223 views

Transformation of a Taylor series: “doubling” the derivative order

Suppose a function $f(z)$ has a convergent Taylor expansion: $$f(z)=\sum_{n=0}^{\infty} c_n \frac{z^n}{n!}$$ Are there general tools to compute $$g(z) = \sum_{n=0}^{\infty} c_{2n} ...
4
votes
0answers
178 views

What is known about the transformation of a power series in which $z^n$ is replaced with $z^{n^2}$?

Say we have the function $$G(z) = \sum_{n \geq 0} g_n z^n.$$ Is there a name for the transform T defined so that $$(T(G))(z) = \sum_{n \geq 0} g_n z^{n^2}?$$ Is there anything known about this ...
3
votes
0answers
25 views

Does having a real valued cauchy sequence on a function in a compact space imply the function is continous on that space?

I had to prove for a homework assignment this function $$ s_n(x) = \sum_{i=0}^n (-1)^i \frac{ x^{2i+1}}{(2i+1)!} $$ is a Cauchy sequence with respect to the sup norm for $$ s_n : [-M,M] ...
3
votes
0answers
64 views

How to solve this equation in $ \mathbb{C} $?

From a small simple calculation , we get the following formulas: $ \begin{cases} e^x = \Big( \displaystyle \sum_{n \geq 0} \frac{x^{3n}}{(3n)!} \Big) + \Big( \displaystyle \sum_{n \geq 0} ...
3
votes
0answers
25 views

Power Series : Interval of Convergence

Find the interval $I$ and radius of convergence $R$ for the given power series. $$\sum_{n=1}^\infty \frac {5^n}{n}x^{n}$$ What I got was that I used the limit as it goes to infinity I ended up with ...
3
votes
0answers
39 views

Function Looks Poisson-Like: But What's the Parameter $\lambda$?

(On pause) I have $$f\left(x\right)=-x\left( x\sqrt{4-x^2}-4\arccos\left(\frac{x}{2}\right) \right)\arccos\left(\frac{x^2+d^2-1}{2dx}\right)$$ which looks a bit like the continuous version of ...
3
votes
0answers
107 views

Is there a way to exploit local redundancy in a function to speed up Monte Carlo integration?

In every Monte Carlo method I've ever seen, $f$ must be recomputed from scratch for each point that is (somehow randomly) selected to contribute to the overall integral. However, most functions have ...
3
votes
0answers
45 views

Intuitive explanation of proof of Abel's limit theorem

Assume the series $$f(x)=\sum_{n=0}^{\infty}a_n x^n$$ converges for $-r<x<r$. Abel's theorem says that if the series also converges at $x=r$ then $\lim_{x\to r-} f(x)$ exists and we have ...
3
votes
0answers
180 views

Proof on why $0-1+2-3+4-\ldots\neq-1/4$

When reviewing my notes on series' convergence, I thought of applying a workaround on why $\sum_{n=0}^{\infty}(-1)^nn$ should or shouldn't be $-1/4$ (I recalled this page). I started by considering ...
3
votes
0answers
111 views

Proof of Abel's theorem

I tried to prove: If $g(x) = \sum_{n=0}^\infty a_n x^n$ is a power series that converges at $x= R > 0$ then it converges uniformly on $[0,R]$. Please can you check my proof? Let $\varepsilon ...
3
votes
0answers
69 views

Prove that $e^{\ln{z}}=z$ from the power series

For my course in complex analysis we have to prove that the trivial relation $e^{\ln{z}}=z$. We are given the series for $\ln z$: $$f(w)=\sum_{n=0}^\infty (-1)^{n+1}\frac{w^n}{n}$$ $$\ln z = ...
3
votes
0answers
71 views

How come Stone-Weierstrass theorem does not imply that in a given interval every continuous function has a power series expansion?

Since for all continuous functions we get a polynomial sequence that uniformly converges to that function? As the degree of polynomial increases it should look like a power series expansion?
3
votes
0answers
48 views

A notion of transcendence degree for fields of formal power series?

There is an intuitive sense in which one would like to say that the field of formal Laurent series $k((z))$ over a field $k$ has "transcendence degree $1$". Of course, it doesn't have transcendence ...
3
votes
0answers
80 views

Is there a gap in Serre's proof of inverse function theorem?

On page 73 of 'Lie algebras and Lie groups', Serre proves the inverse function theorem for complete fields. I would like to have some clarification about the following point. Let $K$ be a complete ...
3
votes
0answers
139 views

Given a meromorphic function (via its Laurent series), how to obtain the (Taylor series of the) two holomorphic functions it is the quotient of?

Since any meromorphic function $f:\mathbb C\to\mathbb C$ can be expressed as the quotient of two entire functions, i.e. $f(z) = \frac{n(z)}{d(z)}$ where the zeros of the denominator $d(z)$ are $f$'s ...
3
votes
0answers
169 views

Why does the following equation hold?

$\sum_1^\infty\frac{(k\theta e^{-\theta})^k}{k!}=\frac{\theta}{1-\theta}$, where $0<\theta<1$. It can be verified via simulation, but I haven't proved it. Are there any previous results on ...
3
votes
0answers
124 views

Changing the power series of sin(x), and its waves are getting bigger. How big do they get?

Motivation: I've been thinking about the transformation of power series, which takes the (power series of) $\exp(x)$ to $\sin(x)$. At first i was trying the series $\sum_{n=0}^{\infty} ...
3
votes
0answers
245 views

Maclaurin's Series of Quotients and Products

As we all (should) know, the Maclaurin series is a special case of the Taylor series when the Taylor series is centered around 0. This is the canonical definition of the Maclaurin series: $$ f(x) = ...
3
votes
0answers
50 views

Formal integration of a series of the type $-f(x-a)=\sum_{n=0}\frac{C_n}{n!}\delta^{(n)}(x-a)$

This question is inspired from an answer given to this question in the physics stackexchange, specifically the integration step going from (12) to (13). We have a distribution given as ...
3
votes
0answers
331 views

Under which hypotheses is switching between sum and integral signs legit?

Which hypotheses are needed to change the order of sum and integral signs? Concrete example: consider the expression $$ ...
3
votes
0answers
283 views

domain of convergence of a multivariable taylor series

consider the rational function : $$f(x,z)=\frac{z}{x^{z}-1}$$ $x\in \mathbb{R}^{+}/[0,1]\;\;$, $z\in \mathbb{C}\;\;$ .We wish to find an expansion in z that is valid for all x and z. a Bernoulli-type ...
3
votes
0answers
321 views

Chebyshev Diff EQ

Find a power series solution about $x_0=0$ for the Chebyshev differential equation $$(1-x^2)y''-xy'+n^2 y=0,$$ as a function of of the integer $n$. Show that the solutions form a terminating ...
3
votes
0answers
230 views

Series of nested double integrals

This is kind of a follow-up of my previous question. I'm investigating the following infinite series of nested two-dimensional integrals $$\sigma(t,t^\prime) = 1 - \int_{t^\prime}^t\mathrm dt_1 ...
3
votes
0answers
155 views

Holonomic ideals and D-finite power series

I would like to understand the connection between the term D-finite power series (in n variables) and the term of a holonomic module over the Weyl algebra A_n. A power series $f \in K[[x_1,...,x_n]]$ ...
2
votes
0answers
43 views

Finding a Taylor Expansion for the following:

I have: $$\frac{1}{1-z}$$ for $z_0=i$. I have no idea how to do the Taylor Series expansion of this, around $z_0=i$, and then show it summation form. I have: $\frac{1}{1-z} = ...
2
votes
0answers
34 views

Closed form for $\sum_{k=1}^\infty \frac{k+1}{q^{k(k+n)}}$

What are, if they exist, closed forms for the series $$\sum_{k=1}^\infty \frac{1}{q^{k(k+n)}}, \qquad\qquad \sum_{k=1}^\infty \frac{k}{q^{k(k+n)}}, \qquad\qquad \text{ for }q>1,\;n\in \mathbb{N}?$$ ...
2
votes
0answers
24 views

Proving the Bessel function solves the Bessel equation

Using the notation for the Bessel function as $J_n(z)=\sum \limits_{k=0}^{\infty}\frac{(-1)^kz^{n+2k}}{k!(n+k)!2^{n+2k}}$, I want to show that $w=J_n(z)$ satisfies ...
2
votes
0answers
124 views

How to solve this recurrence relation and solving the power series

Take the following recurrence relation into account: $$ a_{n+2} = \frac{1}{(n+1)(n+2)} \sum_{k=0}^n (s_k - (k+1)a_{k+1})(n-k+1)a_{n-k+1} $$ I know that: $$ s_{2m+1} = \frac{(-1)^m}{(2m+1)!} $$ and ...
2
votes
0answers
30 views

Radius of convergence of $\sum k!(x+3)^k$

$\sum k!(x+3)^k$ Ok, I've tried and I'm a bit stuck... The sum is something like: $1+(x+3)+2(x+3)^2$ So $|\dfrac{x+3}{1}|<1 \Rightarrow -4<x<-2$ The answer in the book says the radius is ...
2
votes
0answers
21 views

How to compute a radius of convergence?

Suppose that i have a power series defined by $$\begin{align} f(z)&=\sum_{n=0}^{+\infty}a_nz^n\\ a_0&=0\\ a_1&=1\\ a_n&=\frac{a_{n-1}+a_{n-2}+a_{n-1}a_{n-2}}{3} \end{align}$$ How i can ...
2
votes
0answers
23 views

Asymptotic behaviour of $\sum_{k=0}^\infty \frac{n^k}{(k!)^\nu}$

Let $\nu>0$ be fixed. I am interested in the asymptotic behaviour of the series \begin{equation*}s(n,\nu)=\sum_{k=0}^\infty \frac{n^k}{(k!)^\nu} \end{equation*} in the limit $n\rightarrow\infty$. ...
2
votes
0answers
29 views

Finding the First Few Terms of the Sum of Two Infinite Series

Consider $$f(x)=\sum_{n=0}^{\infty}\sum_{j=0}^{n}\sum_{k=0}^{j}d_{k}c_{j-k}a_{n-j}x^{n-11}+\sum_{n=0}^{\infty}\sum_{k=0}^{n}e_{k}b_{n-k}x^{n-8}.$$ Given that I know the first few values of ...
2
votes
0answers
51 views

Second order differential equation, power series method

Solve the differential equation $$(x+2)y''-xy'+(1-x^2)y=0 ; \quad X_0=1$$ using the power series method about the point $x_0=1$. I get to this step after deriving the derivatives of the ...
2
votes
0answers
60 views

Find all complex $z$ such that $\sum_{n=1}^{\infty} \frac{e^{nz^2}}{n}$ is convergent

Find all complex $z$ such that $\sum_{n=1}^{\infty} \frac{e^{nz^2}}{n}$ is convergent. I use a root test: $\lim_{n\rightarrow\infty} |\frac{e^{nz^2}}{n}|^{1/n}=\lim_{n\rightarrow\infty} ...