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

6
votes
0answers
74 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
45 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
103 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
299 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
57 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 !
4
votes
0answers
87 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
169 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 ...
4
votes
0answers
128 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
220 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
175 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
91 views
+50

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$ ...
3
votes
0answers
69 views

Series that diverges at infinitely many points on the unit circle

Initial problem Given $A=\{\alpha_1,\dots,\alpha_k\}$ with $|\alpha_i|=1$, does there exist a power series $\sum a_nz^n$ that converges everywhere on the unit circle except when $z\in A?$ ...
3
votes
0answers
57 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
41 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 ...
3
votes
0answers
54 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
50 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
20 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
106 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 ...
3
votes
0answers
72 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
102 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
111 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
114 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
47 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
300 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
254 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
249 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
224 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
142 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
48 views

How to power series expand determinants?

Say $g$ is a ($d\times d$) matrix which is given as, $g = g_0 + xg_2 + x^2 g_4 .. +x^{d/2 -1}g_{d-2}+ x^{d/2}(g_d + h_d(log (x)))$ where $d$ is an even number and each $g_i$ is a matrix (same ...
2
votes
0answers
40 views

Power series to solve differential equations?

We can use the formula $$F(x)=e^{λx} [ ρ-λμ-\dfrac{1}{2} λ^2 σ^2 ]^{-1}. (1) $$ to derive an expression for F(x) when f(x) is any integer power $x^n$. Begin by observing that for the ...
2
votes
0answers
74 views

Sum of $k$th power of first $n$ natural number (power sum)

I was working on a problem which involves computation power sum (summation of $k^{th}$ power of first natural number), can someone help me how to simplify the below equation. I can compute power sum ...
2
votes
0answers
101 views

Prove that periodic analytic function can be written as $\sum_{-\infty}^{\infty} c_n e^{2\pi inz}$

This question involves the following homework problem: PROBLEM Suppose $f$ is analytic in the upper half plane and periodic of period 1. Show that $f$ has an extension of the form ...
2
votes
0answers
33 views

Find maximal possible sum of a tricky series

for $a \in R$, $n \in N$ let $a_n$ closest distance between $a$ and $\frac m {2^n}$, where $m \in Z$. Find maximal possible sum of a series: $\sum_{n=0}^\infty a_n$ I came up with solution for the ...
2
votes
0answers
69 views

Fractional Derivatives

If we define the (forward) difference operator as $$\Delta f(x)=f(x+\Delta x)-f(x)$$ we can break it up using the "shift" operator $E\,f(x)=f(x+\Delta x)$ and the "identity" $1\,f(x)=f(x)$. Then ...
2
votes
0answers
42 views

Replacing $q^2$ by $q$

I have a rather strange question. Suppose we are given a formal power series $$S(q^2) = \sum_{n = 0}^\infty a_n q^{2n}.$$ I wish to replace $q^2$ by $q$. This implies that $S(q) = \sum_{n = 0}^\infty ...
2
votes
0answers
29 views

Solution regarding Power Series and ODE's

About 4 months ago I posted Series solution to $y''-xy'-y=0$. I ran through the analysis and it appeared that I solved the ODE . The solution seemed to be ...
2
votes
0answers
34 views

Summing the series $\sum_{k = -\infty}^{\infty} e^{ja_{0}^kt}$

For a fixed $t$, I wish to find the value of, $S = \sum_{k = -\infty}^{\infty} e^{ja_{0}^kt}$ where it is known that $a_{0} > 1$. I tried to express $S$ as a $z$ transform of some known function, ...
2
votes
0answers
24 views

Finding a base for a series to sum to a constant

I'd like to find the value of $r$ that solves the following equation: $$\sum_{n=1}^N r^{\frac{-1}{n}} = C \,,$$ where $N$ and $C$ are positive constants. An approximate method would also work fine ...
2
votes
0answers
30 views

A Problem about Infinite Series

There is no idea to solve the question for me. Let $T\subset\mathbb N_{>0}$ be a finite set of positive integers. For each integer $n>0$, define $a_n$ to be the number of all finite ...
2
votes
0answers
36 views

Power Series for Original Differential Equation

The question: $y"+x^2y'+2xy=0$ I continue to get the incorrect answer and not sure why. I changed my indices around to make x^n all throughout and that's where the trouble starts. My answer ...
2
votes
0answers
25 views

Does this function have a name? $f(z)=\sum_{k=1}^{\infty}\frac{1}{k^k} z^k$?

Let $$f(z)=\sum_{k=1}^{\infty}\frac{1}{k^k} z^k$$ This series converges absolutely for all $z \in \mathbb{C}$, by comparison with $e^z$. Is there a name for $f$? I typed it into Wolfram, but no dice. ...
2
votes
0answers
91 views

Irreducible polynomials as formal power series

I'm studing the ring of formal series with complex coefficients $\mathbb{C}[[x]]$. I proved that the polynomial $y^2-x^3-x^2$ is irreducible in $\mathbb{C}[x,y]$ but reducible in $\mathbb{C}[[x,y]]$. ...
2
votes
0answers
77 views

Upper Bound on $\frac{1}{1-\beta u}-\sum\limits_{n=0}^{\infty}\frac{e^{-u}u^n}{n!(1-\beta(n+1))}$

Is there any procedure to find an upper bound of the following expression? $$\frac{1}{1-\beta u}-\sum_{n=0}^{\infty}\frac{e^{-u}u^n}{n!(1-\beta(n+1))}$$ Here $u,\beta\in\mathbb{R},\ u>1,\ ...
2
votes
0answers
117 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} ...
2
votes
0answers
91 views

Simplify the square of a sum of cosine functions

I have a square sum of exponantials as below: $$\left|\sum_{l=0}^{M-1}\exp\left(jl^2a\right)\,\exp\left(\frac{-j2\pi l}{M}b\right)\right|^2 $$ where $a$ is constant and $b$ is an integer . and I have ...
2
votes
0answers
1k views

power series of arcsin(x) centered at x = 0

I am trying to prove that the Taylor expansion of $\arcsin(x) = \sum\limits_{n=0}^\infty \cfrac{(2n!)x^{2n+1}}{(2^nn!)^2(2n+1)}$. Sorry about the notation, I'm not sure what syntax to use. S stands ...
2
votes
0answers
97 views

Properties of Entire Functions

a). Suppose an entire function f is bounded by M along $\vert z \vert = R$. Show that the coefficients $C_k$ in its power series expansion about $0$ satisfy $ \vert C_k \vert \leq \frac{M}{R^k} $. I ...
2
votes
0answers
285 views

Prove that sum is finite with the help of generating function

Please help me to prove that the following sum is finite $$ \sum_{j=2l-2}^{\infty}j!\, a_j^{(l)}, $$ here the generating function of $\displaystyle{a_j^{(l)}}$ is ...
2
votes
0answers
367 views

Approximation of integral using series expansion of the integrand.

I have a smooth function $x \rightarrow f_\epsilon (x)$ on $x\in[-1\ldots 1]$ (dependent on the continuous parameter $\epsilon$) and I want to approximate the integral $$ I=\int_{-1}^1 f_\epsilon ...
2
votes
0answers
99 views

Identification of the limit of an exponential-like power series

I have come across the series: $$\sum_{j=1}^\infty \frac{x^j (j-1)}{j! \sqrt{2j - 1}}$$ which is easily seen to be absolutely convergent everywhere (e.g. ratio test). It seems that it should be very ...