The power-series tag has no usage guidance.

**4**

votes

**2**answers

119 views

### Extraction of Coefficients in the Exponential Function of a Series

Question: Let $f(x) \in x\mathbb{C}[[x]]$. What is the (asymptotically) fastest algorithm for calculating the coefficient of $x^n$ in $e^{f(x)}$?
Naive Solution 1: Using fast polynomial ...

**1**

vote

**0**answers

32 views

### Hadamard Product of specific type of power series

I am consider the power series of the form $$F_n(t):=\frac{1}{\prod_{i=1}^n(1-t^i)}.$$ Given two power serires $A(t)=\sum_{i\ge 0}{a_it^i}$ and $B(t)=\sum_{i\ge0}{b_it^i}$, their Hadamard product is ...

**18**

votes

**1**answer

265 views

### Positivity of coefficients of the inverse of a certain power series

Consider the unique formal power series $g(z)$ with $g(0)=0$ and $g'(0)=1$ satisfying the equation
$$
g(z)-g(z)^8+g(z)^{15}=z,
$$
that is the inverse of
$$
z-z^8+z^{15}
$$
in the group of formal ...

**0**

votes

**1**answer

78 views

### When can one infer degrees of generators of a ring from its hilbert series

I know that for a noetherian ring, it's hilbert series can be written as $$HS(t)=\frac{P(t)}{\prod_{i=1}^d{(1-t^{d_i})}}$$ where $P(t)$ is polynomial, and there are $d$ generators of degrees ...

**7**

votes

**1**answer

90 views

### When is the diagonal of a rational bivariate power series again rational

Given a rational bivariate power series $F(x,y)=\sum{a_{n,m}x^ny^m}$, the diagonal function $G(t):=\sum{a_{n,n}t^n}$ is known to be algebraic, although not rational in general. I was wondering if ...

**0**

votes

**1**answer

57 views

### Frobenius method for multiple singular points

As we know, if the equation
$$a(x)y''+b(x)y'+c(x)=0 \ \ \ \ \ \ \ \ \ (1)$$
has a regular singular point at $x=x_0$ then we seek solution of the equation as
$$y(x)=\sum_{n=0}^{\infty}\beta_n ...

**9**

votes

**2**answers

365 views

### Closed form for $\sum_{n=1}^{\infty} \frac{1}{1+n+n^2+\cdots+n^a}$

I am looking at a certain sequence, and consequently I am wondering if anyone knows if there happens to exist a closed form solution for this sum:
$$\sum_{n=1}^{\infty} \frac{1}{1+n+n^2+\cdots+n^a}$$
...

**3**

votes

**0**answers

114 views

### Involutions on $[0,1]$ given by power series (related to probability generating functions)

Let $A$ be a function from $[0,1]$ to $[0,1]$. $A$ is an involution if $A(A(x))=x$ for all $x\in[0,1]$.
Which involutions $A$ exist such that $A(x)=\sum_{k=0}^\infty a_k x^k$ with $a_0=1$ and ...

**3**

votes

**0**answers

80 views

### Crossed homomorphisms between power series groups

Consider the group $\mathbb{C}[[z]]_1$ of the power series of the form $a_1 z + a_2 z^2 + \cdots$, with $a_1\neq 0$, under the operation of composition, and $\mathbb{C}[[z]]$ as a ...

**1**

vote

**1**answer

144 views

### How do powers affect asymptotics in generating functions?

Let $a_n$ be a sequence of non-negative real numbers, and $A(x) = \sum_{n=0}^{\infty} a_n \frac{x^n}{n!}$ its exponential generating function. Also, suppose $B(x) = \sum_{n=0}^{\infty} b_n ...

**0**

votes

**0**answers

83 views

### Finding singularities from power series

I am sorry beforehand for the length of my post, but I thought I should give some details. I try to figure out where are the singularities of a rather complicated power series.
This series comes from ...

**1**

vote

**1**answer

123 views

### Formal Power series decomposition

Let $G$ be a linear algebraic group over $\mathbb C$ (say $SL_r$) consider a formal power series $$g(t)\in G(\mathbb C((t)))$$
My question is: Is it possible to decompose $g$ as $$g=ha$$ with $h\in ...

**1**

vote

**0**answers

117 views

### Power series with matrix coefficients

Let $A(t)\in SL_r(\mathbb C((t)))$ be a formal power series with matrix coefficients, and let $B(t)\in SL_r(\mathbb C[t])$ and $C(t)\in SL_r(\mathbb C[[t]])$ such that :
$$A(t)=B(1/t) \;( ...

**7**

votes

**1**answer

183 views

### Conjectured equivalent conditions on certain power-series

Let $P(x)=1+a_1x+a_2x^2+a_3x^3+...$ be a series such that every $a_i$ is an integer, $a_1<0$, and $a_i\ge 0$ for every $i\ge 2$. Are the following statements equivalent ?
$P(y)=0$ for some ...

**3**

votes

**0**answers

85 views

### Is there a name for the operation that stretches out an invertible series by a factor of $m$?

The question is whether there is an established word for the transformation that starts with an invertible formal power series over a field $k$, $u(x)=xg(x)=x(1+a_1x+a_2x^2+\cdots)$ and delivers the ...

**15**

votes

**7**answers

2k views

### Is this a rational function?

Is $$\sum_{n=1}^{\infty} \frac{z^n}{2^n-1} \in \mathbb{C}(z)\ ?$$
In a slightly different vein, given a sequence of real numbers $\{a_n\}_{n=0}^\infty$, what are some necessary and sufficient ...

**7**

votes

**2**answers

296 views

### Radial limit does not exist almost everywhere

Problem 4 in Chapter 4 of Stein's book "Real Analysis" says
$\sum_{n\geqslant 0}z^{2^n}$
doesn't have radial limit as $z$ approaches the unit circle from inside almost everywhere. It's fairly easy ...

**2**

votes

**0**answers

56 views

### Discrete “difference” equations that involve changes in both shift and scale

A standard use of the Z-transform ($F(z) = \sum_n (f[n] \cdot z^{-n} )$) is to understand the effect of a difference equation on a signal. For instance:
$y[n] = x[n] + y[n-1]$
$Y(z) = X(z) + Y(z) ...

**3**

votes

**0**answers

147 views

### Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?

The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...

**1**

vote

**0**answers

42 views

### Simplifying closed form for Meta Operator

I was consider the set of linear operators:
$$O_{a,k} = \frac{f(ax^k) - f(x)}{ax^k - x} $$'
Particularly I am looking for the closed forms of the eigenfunctions of this operator, that is the ...

**2**

votes

**2**answers

433 views

### Local coordinates on (infinite dimensional) Lie groups, factorization of Riemann zeta functions

Given a (finite dimensional) Lie group $G$ (real $k=\mathbb{R}$ or complex $k=\mathbb{C}$) and its Lie algebra $\mathfrak{g}$, one can prove (a basis $B=(b_i)_{1\leq i\leq n}$ of $\mathfrak{g}$ being ...

**1**

vote

**0**answers

158 views

### Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism

MOTIVATION
Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...

**4**

votes

**1**answer

167 views

### Raising coefficients of a power series to some power

Suppose you are given a power series $P=\sum_{i=0}^\infty{a_nt^n}$. I am primarily concerned with those power series coming from rational functions of the form
$$ ...

**2**

votes

**1**answer

82 views

### A question about decomposing mod 2 modular forms of level p^2

Fix an odd prime $p$. Each $f \in \mathbb{Z}/2[[x]]$ can be written as $f_{+} + f_{-} + f_0$ where each exponent k of $x$ appearing in $f_{+}$ (resp. $f_{-}$, $f_0$) has Legendre symbol $(k/p)$ equal ...

**20**

votes

**0**answers

392 views

### Identities for power series like $\sum_n z^{n^3}$

Probably, one of the first power series that every mathematician encounter is the geometric series
$$\sum_{n=0}^\infty z^n = \frac1{1-z}, \quad z \in \mathbb{C},\; |z| < 1 .$$
Also, a particular ...

**7**

votes

**0**answers

159 views

### Singularities of an analytic function over a non-archimedean field

What do we know about the types of singularities that a convergent power series over a non-archimedean field can have?
More specifically:
i) What types of essential singularities can occur?
ii) Are ...

**0**

votes

**0**answers

45 views

### t-linked extension

Let $A\subseteq B$ be an extension of commutative integral domains. the extension is t-linked if it satisfies the following property:
If P is a finitely generated ideal of A such that $P^{-1}=A$ than ...

**1**

vote

**1**answer

59 views

### Generating function for products of laguerre polynomials?

In a quantum physics context, I would like to evaluate $S=\sum_{n=0}^\infty z^n\cos(\pi L_n(x))$ for $z<1$. I found generating functions for squares of Laguerre polynomials but not for any higher ...

**4**

votes

**1**answer

631 views

### How to prove this identity on double summation series?

I suspect the following identity is valid, but I can not prove it. I just calculate it numerically.
...

**1**

vote

**0**answers

66 views

### Relative nonarchimedean disks and annuli

Let $A$ be a Huber (i.e. f-adic) ring, meaning a topological ring with an open subring $A_0$ which is adic and has finitely generated ideal of definition.
Is there a good notion of closed disk of ...

**30**

votes

**3**answers

946 views

### Which power series have bounded integral coefficients and have an inverse given by a series having bounded integral coefficients

Let $A=1+\sum_{n=1}^\infty \alpha_nx^n\in\mathbb Z[[x]]$ and $B=\frac{1}{A}=1+\sum_{n=1}^\infty\beta_n x^n$ two mutually inverse power series
having bounded integral coefficients (ie. $\vert ...

**3**

votes

**3**answers

425 views

### Find an integrable, positive, unbounded, analytic function

Is there a standard example of a function $f \in L^1( \mathbb R)$ which is analytic, positive, integrable but not bounded?
An example which comes immediately to mind is to take the series of narrower ...

**2**

votes

**1**answer

205 views

### The rigid-analytic open disk

Let $K$ be a local field and $D_K$ the open unit disk, considered as a rigid space or adic space over $K$. What is the algebra of analytic functions on $D_K$? Proposition 1.1 of this article describes ...

**2**

votes

**1**answer

104 views

### Matching power series to infinity

As pointed out by Makoto, on this question about power series rings and the axiom of choice, an idea I had needed the axiom of dependent choice to work. However, the construction raises another ...

**7**

votes

**3**answers

373 views

### properties of formal delta functions

The formal delta function is
$\,\,\displaystyle\delta(x):=\sum_{n\in\mathbb Z}x^n.
$
If we agree that expressions $(x+y)^n$ for $n\in\mathbb Z$ are always expanded in non-negative powers of the second ...

**4**

votes

**1**answer

137 views

### Estimate of the sum Taylor's coefficients

Let
$f(x) = \begin{cases}\ln\frac{x}{e^x-1}, \quad x > 0; \\ 0, \quad\qquad x=0; \\ \ln\frac{x}{e^x-1}, \quad x < 0. \end{cases}$
Power series in 0:
$f(x) = \sum_{n=1}^{\infty} a_n x^n = ...

**0**

votes

**1**answer

218 views

### Is there any algorithm to decide whether a series with integral coefficiens is a algebraic function? [closed]

Given a series with integral coefficiens as following:
$$F(x)=\sum_0^i a_i x^i,\text{where }a_i\in \mathbb{N}\bigcup 0 $$$$\text{and there is a computable function $\psi$ such that } \forall i ...

**2**

votes

**1**answer

143 views

### Ordinary or Rational Generating Function for Associated Stirling Numbers $b(n,k)$

I am trying to identify or find the ordinary or rational generating function (not the exponential generating function) for the Associated Stirling numbers of the Second kind, denoted ...

**0**

votes

**0**answers

70 views

### For which recurrence relations is it decidable whether a formal power series has a maximal zero coefficient?

In this MSE question, I asked whether one can prove that a generating function has infinitely many coefficients equal to zero. The answer given (and accepted) to that rather broad question was “No”.
...

**2**

votes

**0**answers

72 views

### Orders of certain quotients of power series rings

Let $\Lambda_d := \mathbb{Z}_p[[T_1, \ldots, T_d]]$ denote the ring of formal power series in $d$ variables over the ring of $p$-adic integers. Suppose that $g \in \Lambda_d$ is an irreducible ...

**8**

votes

**2**answers

290 views

### How do I find coefficients of a product expansion

Any power series $f(t) = 1 + t \mathbb{Z}[[t]]$ can be uniquely expanded in the following two ways:
$$1 + \sum_{i=1}^\infty f_i t^i =
\prod_{i=1}^\infty (1-t^i)^{-n_i}$$
Here, the $f_i$ and $n_i$ ...

**0**

votes

**0**answers

164 views

### Examples of functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition

there are examples of lacunary functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition.I want to know more examples of those functions,the more the ...

**9**

votes

**3**answers

531 views

### Combinatorial interpretation of composition of power series?

This is a minor curiosity that came up in a joint project recently.
Consider the sequence $a_n=3\frac {(2n)!}{(n+2)!(n-1)!}$ (A000245 in OEIS).
It has multiple combinatorial descriptions.
One can ...

**0**

votes

**1**answer

100 views

### A pole of function in the article of Springer

I read the article Springer, T.A. On the invariant theory of $SU_2$, Indag. Math. 42, 339-345 (1980). Author considers $\mathbb{C}$-linear map at page $340.$
If $n$ is a positive integer, then write ...

**1**

vote

**0**answers

224 views

### R[[X]] flat as a R[X]-module?

I assume $R[X]\rightarrow R[[X]]$ is not flat in general, but I was wondering if any conditions on a commutative ring $R$ are known such that $R[[X]]$ is flat as a $R[X]$-module.
Would $R$ noetherian ...

**5**

votes

**1**answer

299 views

### Laurent expansion of a principal value integral

Let $f(t)$ be a nice Hölder continuous function. Also, suppose that $f$ is even. I'm interested in evaluating integrals of the form:
$$\oint (1-z)^{k+1}\int_0^1 \frac{f(t)}{(1-zt)^{n+1}}dtdz,$$
...

**2**

votes

**0**answers

311 views

### closed form expression for an infinite series

Is there any closed form expression for the infinite sum $\sum_{n \geq 0}q^{n(n+1)/2}(1+q)(1+q^2)\cdots(1+q^n)u^n$ where both $q$ and $n$ are variables and $n \in N \cup {0}$?

**-1**

votes

**1**answer

153 views

### derivatives and uniformly convergence [closed]

Let $f$ be a function of a real variable expandable in power series on $\mathbb R$: there exists a sequence $(a_n)_{n\in\mathbb N}$ of reals such that for all $x\in\mathbb R$, one has
...

**-3**

votes

**1**answer

136 views

### Randomness about coefficients of series

$B\subset \mathbb{N}\bigcup \{0\}$ is finite and not empty, infinite series:$$f(x)=\sum_{i=1}^{\infty}a_i x^i,a_i \in B$$ Now $f(x)$ is rational or has a natural boundary.
Now,the question :if ...

**3**

votes

**2**answers

395 views

### Sum of series $a^{i^2}$

Is there any closed form known for the expression $\sum_{i=1}^\infty a^{i^2}$ where $|a|<1$? Thanks!