The power-series tag has no wiki summary.

**-4**

votes

**0**answers

42 views

### Mathametical Proof for a series [on hold]

Prove for the series given below
z/((1−z)^2) =∑N≥1 N(z^N)
Do i need to do this by induction?

**-3**

votes

**0**answers

20 views

### Question about Big O notation for asymptotic behavior in convergent power series [migrated]

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

**0**answers

111 views

### derivatives of composite function [closed]

There's a formula for the $n$th derivative of a composite function $f(g(x))$ - it's called Faa di Bruno's formula - but I'm not really interested in the formula but in the proof given in the book of ...

**1**

vote

**0**answers

24 views

### Saturation of a subalgebra over the Tate-algebra inside the power series ring

Let $A$ be a discrete valuation ring and $\pi$ a uniformizer.
Over $A$ we consider the Tate-algebra
$$A\langle t \rangle =\{ f=\sum_{n=0}^\infty a_nt^n \mid a_n\in A, \lim_{n\to \infty} \lvert ...

**7**

votes

**1**answer

102 views

### Positivity of coefficients of a power series

How does one check for the positivity of coefficients of a rational function,say, for example $\frac{p_1(x,t)}{(1-xt)(1-x^2t)(1-x^3t)}$ where $p_1(x,t) = 1 + tx + 2t^2x^2 - 3x^3t^2 -x^5t^3 - ...

**7**

votes

**0**answers

272 views

### name for a degree-like invariant of a power series over a commutative ring

Let $R$ be a commutative ring, and let $f \in R[\![X]\!]$ be a formal power series. Sometimes (and for example, this will always be possible if $R$ is Noetherian), one may write $f$ in the form $$
f ...

**3**

votes

**2**answers

231 views

### existence and uniqueness of solutions for ODEs in formal power series?

I came across this question and it looked like something that is likely to have been looked into, but I couldn't find a reference.
Let $k$ be some (algebraically closed, if needed) field. There is a ...

**4**

votes

**3**answers

157 views

### Exponential of a specific hypergeometric series

This is motivated by this question.
Let $f$ be the hypergeometric series
$ f(x) = 2 x \, _{4}F_3([1, 1, 4/3, 5/3], [2, 2, 2], 27 x) $
which is explictly given by
$ f(x) = \sum_{n \geq 1} ...

**2**

votes

**1**answer

221 views

### Localisation of $\mathbb{Z}_p[[X]]$ at ideal $(p)$

Let $R=\mathbb{Z}_p[[X]]$ where $\mathbb{Z}_p$ denotes the $p$-adic integers and $p$ is a prime. Then what is $R_{(p)}$ $(R$ localised at the ideal $pR)$ $?$

**16**

votes

**1**answer

108 views

### Rearrangements of a power series at the boundary of convergence

Take some power series $f(z) = \sum a_n z^n$ with a finite non-zero radius of convergence. I can rearrange the terms of the series, say, to get a different infinite series
$$f_{\sigma}(z) = ...

**0**

votes

**1**answer

94 views

### An extension of the real semiring with multiple degrees of infinity

Is it possible to define an extension of the probability semiring $(\mathbb{R}^+, +, \times, 0, 1)$ such that
Closure $a^* = 1 + a + a^2 + \ldots$ is defined for every element of the semiring, not ...

**1**

vote

**0**answers

101 views

### Automorphism on F_2[[X,S]]

Let us define the automorphism $\sigma$ on ${\Bbb F}_2[[X,S]]$ such that
$\sigma \colon S \mapsto S + S^2 + S^3$
$\sigma \colon X \mapsto X + S$.
It is easy to see that the ideal $(S)$ is stable ...

**2**

votes

**1**answer

84 views

### Convolution-type operator for series

Suppose $f(z)=\lambda(a_1z+a_2z^2+\cdots)$ is holomorphic in $\{|z|<1\}$ with $\lambda>0$. For each $d\geq 1$ , I am trying to define an operation, $\star_d$ , so that $f(z)\star_d ...

**11**

votes

**1**answer

235 views

### A Product Related to Unrestricted Partitions

Start with the product for unrestricted partitions:
(1+x+x$^2$+...)(1+x$^2$+x$^4$+...)(1+x$^3$+x$^6$+...)...
Now replace some of the plus signs with minus signs and expand the product into a ...

**3**

votes

**1**answer

170 views

### Are these powers of a characteristic 3 power series annihilated by certain Hecke operators?

Let D in Z/3[[x]] be sum ((a_n)(x^n)) where the sum runs over all n prime to 6 and a_n is the mod 3 reduction of the number of ideals of norm n in the ring of integers of Q(root(-3)). (So ...

**1**

vote

**1**answer

160 views

### What's the asymptotic behavior of this function at large distance? [closed]

This question is based on some Physics motivation. Define a distance function $f(\mathbf{r})=\int_{\Omega }d^2k\int_{\Omega }d^2q \cos[(\mathbf{k}-\mathbf{q})\cdot\mathbf{r}]$, where ...

**4**

votes

**0**answers

131 views

### Are these subspaces of $\mathbb{Z}/3[[x]]$ stable under the shallow Hecke algebra?

This is a characteristic $3$ analog of part of my earlier question, "Are these two subspaces of $\mathbb{Z}/2[[x]]$ the same?"
Notation
Fix a prime $N$ other than $3$. Let $F,G \in ...

**1**

vote

**1**answer

160 views

### elementary question on a completion of a ring

Let $k$ a field, and $k[\epsilon]=k[X]/(X^{2})$ , what is the completion of the ring $k[\epsilon][t]$ with respect to the ideal $(t^{2}+\epsilon)$?

**2**

votes

**0**answers

104 views

### Solving ODE with negative expansion power series

I'm moving this here, as suggested from physics.stackexchange. The original is here.
So, I need to solve a system of ODE, using negative power expansion. I will give all the necessary equations and ...

**5**

votes

**1**answer

159 views

### Is it decidable whether the support of a rational $\mathbb{Z}$-series is a regular language?

Let $S \in \mathbb{Z}\langle\langle A\rangle\rangle$ be a rational series in noncommutative variables. The support of $S$ is the set of all words $u \in A^*$ such that $(S, u) \not= 0$. It is ...

**5**

votes

**0**answers

284 views

### Are these two subspaces of $\mathbb{Z}/2[[x]]$ the same?

The following questions arise from modular form theory. But this theory isn't needed to formulate or understand them, and I'm not using the modular-forms tag.
NOTATION
Fix an odd prime $N$. Let
$$
...

**1**

vote

**0**answers

151 views

### Can the series $\sum\limits_{n=0}^\infty q^{F_n}$ be expressed in terms of theta functions?

Let $F_0=0,F_1=1,...$ be the Fibonacci numbers. Is there a known closed form for the sum $\sum\limits_{n=0}^\infty q^{F_n}$? By closed form, I mean in terms of well-known functions, the first ones to ...

**9**

votes

**1**answer

181 views

### An analogue of the Bass-Quillen conjecture with power or Laurent series

The famous Quillen-Suslin theorem (formerly known as Serre's problem/conjecture) states that every projective module over $k[x_1,\dots, x_n]$ is free for $k$ a field. Replacing $k$ by a more general ...

**0**

votes

**0**answers

53 views

### Is it obvious that the defining conditions to obtain a particular singularity are well defined on the quotient space?

Let $~f:\mathbb{C}^2 \rightarrow \mathbb{C}$ be a holomorphic function
vanishing at the origin, with
the following properties:
$$ f_{00}, ~f_{10}, ~f_{01}, ~f_{20}, ~f_{11} =0,~~f_{20} \neq 0 ...

**5**

votes

**1**answer

146 views

### Is there an algorithm to find out the number of small solutions to a polynomial equation, when we vary all the coefficients?

Let $\Phi (z,t)$ be a polynomial given by
$$ \Phi(z,t) := z^n + A_{n-1}(t) z^{n-1} + \ldots + A_1(t) z + A_0(t).$$
Assume that $\Phi(0,0) =0$. It is a fact that a solution $z(t)$ of the equation
$$ ...

**15**

votes

**1**answer

591 views

### Higher level analogs of Nicolas-Serre theory

NICOLAS-SERRE THEORY
Let $F \in Z/2[[x]]$ be $x+x^9+x^{25}+...$, the exponents being the odd squares, and $V$ be the space spanned by the $F^k$ with $k$ odd. Nicolas and Serre define formal Hecke ...

**0**

votes

**1**answer

382 views

### construct a power series with infinitely many zeros in the complex plane, bounded coefficients???

Hi all.
I want to construct a power series $F(z)=\sum_{n=0}^\infty c_nz^n$ centered at zero and with finite radius of convergence in the complex plane, and which has infinitely many zeros (in its ...

**4**

votes

**0**answers

147 views

### Does this space of mod 2 modular forms admit a (Z/8)* degree decomposition?

Fix an odd N>0. Let M consist of all odd elements of Z/2[[x]] that are the mod 2 reductions of elements of Z[[x]] arising as the Fourier expansions of modular forms for (Gamma_0)(N); it's easy to see ...

**3**

votes

**2**answers

209 views

### Sign of coefficients

Let $a_0,a_1,\dots$ be the sequence satisfying
$$
\left(\sum_{n=0}^\infty a_n x^n\right)\left(\sum_{n=0}^\infty \frac{x^n}{n+1}\right)=1.
$$
This means that $a_0=1$ and ...

**0**

votes

**1**answer

228 views

### Uniform convergence of $g(x) = \sum_{n=1}^\infty (1-x) a_n x^n$

Let's assume that $ f(x) = \sum_{n=1}^\infty a_n x^n $ has a radius of convergence $1$
and that
$ \lim_{x\to 1^-} f(x) = +\infty. $
Does it imply that power series $ g(x) = \sum_{n=1}^\infty (1-x) ...

**0**

votes

**1**answer

332 views

### A simple question from mathematical analysis (assumption changed) [closed]

Let $\forall n=0,1,2,\dots$, $\alpha_{n}(x)$ are POLYNOMIALS in $x$. Next, let for all $x\neq0$ the power series $$\sum_{n=0}^{\infty}\alpha_{n}(x)t^{n}$$
has positive radius of convergence. Can one ...

**4**

votes

**0**answers

105 views

### A subring of the Serre Swinnerton -Dyer ring of level N modular power series

Suppose ell is prime and (N,ell)=1. Consider those power series over Z that are expansions at infinity of modular forms for gamma_0 (N) of weight a multiple of ell-1. I'll say that an element of ...

**5**

votes

**0**answers

284 views

### Are these empirical discoveries about the Serre Swinnerton-Dyer ring of prime level modular power series actual theorems?

In this question Joel Bellaiche constructed an algebra, M, of modular forms for
gamma_0 (N) in finite characteristic (which he called p, but I'll call ell) and asked to know its structure. Matt ...

**7**

votes

**0**answers

196 views

### Level p characteristic 2 modular forms and thetas

BACKGROUND
Let p be an odd prime. An element of Z/2[[x]] is "modular of level p" if it is the mod 2 reduction of a g in Z[[x]] with g the Fourier expansion of a modular form for gamma_0(p). In ...

**7**

votes

**1**answer

268 views

### flatness of power series rings

It is known that $A[[X]]$ is flat if $A$ is noetherian (see for example Bourbaki, Algèbre commutative, Ch. III, §3, Cor. 3 p. 146).
What happens if A is not noetherian? Is there an easy ...

**0**

votes

**0**answers

140 views

### Condition and algorithm for Decomposition of formal power series

$$F(x)= \Sigma_0^{\infty} a_i x^i$$ is formal power series, $a_i\in N\bigcup 0$,N is the set of natural number,under what condition may it be decomposed into a system of equations terms of which are ...

**2**

votes

**0**answers

127 views

### Radius of convergence to be proved more precisely (differential equation)

There is a differential equation in polar coordinates:
$r'^2+r^2=(kt)^2$, $r(t=0)=0$, k- Const.
It is possible to get a solution which is a power series (see below). However, I am looking for an ...

**5**

votes

**3**answers

268 views

### Groebner bases for power series rings (reference request)

Hello,
Could you help me with a reference to elementary properties of Groebner bases in rings of formal power series over a field? I am especially interested in generic initial ideals.
Thank you in ...

**12**

votes

**3**answers

830 views

### If a formal power series over the complex numbers satisfies a polynomial identity, does it imply that the power series has a radius of convergence?

Let $ P(z) $ be a $\textit{formal}$ power series in $z$ that a priori may not have a non zero radius of convergence. Assume that $P(0) =0$.
Let $\Phi(w,z)$ be a polynomial in two variables, that ...

**0**

votes

**1**answer

196 views

### On the generalization of the Mittag-Leffler function and fractional derivative

The Mittag-Leffler function $E_{\alpha}(x)$ has an important property:
$$
\frac{\partial^{\alpha}}{\partial x^{\alpha}} E_{\alpha}(x^{\alpha}) = E_{\alpha}(x^{\alpha}).
$$
I tried to find an ...

**1**

vote

**1**answer

1k views

### A question about a formal power series manipulation

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 [ \sum _{n=1} ^\infty ...

**0**

votes

**2**answers

200 views

### Integrating a product

By trying to find a marginal distribution I came accross integration of the product series. For the sake of generality, lets assume the integral is of following form:
$$\int \prod_{k=1}^{n}\left ( ...

**16**

votes

**0**answers

714 views

### Does this variant of a theorem of Hasse (really due to Gauss) have an “elementary” proof?

BACKGROUND
Here are 3 theorems of varying difficulty. Let $M$ be the $Z/2$ subspace of $Z/2[[x]]$ spanned by $f^k$, with the $k>0$ and odd, and $f=x+x^9+x^{25}+x^{49}+\cdots$. For $g$ in $M$, let ...

**2**

votes

**0**answers

343 views

### Algebraicity of power series over the rationals from the algebraicity over Fp

Van der Poorten conjectures [in "Power series representing algebraic functions," Sem. Th. Nombres Paris 1990-91] that if a power series over the rationals is the [complete] diagonal [of a rational ...

**4**

votes

**3**answers

554 views

### Power series with double zeros

How many power series of the form
$1+\sum_{k=1}^{\infty} a_{k}x^{k}$ with $a_{k}\in \{-1,0,1 \}$, that have a double zero $f(x)=f'(x)=0$ in $(0,1)$, are there. Ok, there are many ways to understand ...

**11**

votes

**3**answers

801 views

### What is known about the polynomial factorization of power series?

Some power series factorize; $1+\sum_{n=1}^\infty x^n=\prod_{n=1}^\infty (1+x^{2^n})$ and $1+\sum_{n=1}^\infty x^{2n}/(2n+1)!=\prod_{x=1}^\infty (1+x^2/n^2\pi^2)$ for example; while others do ...

**13**

votes

**1**answer

455 views

### Can formal power series become polynomial often, when composed with polynomials?

Let $F$ be a finite field. Let $F[X]$ and $F[[X]]$ denote the ring of polynomials and power series over $F$, respectively. I'm trying to show a statement like the following:
Fix a $d > 0$. Let ...

**9**

votes

**0**answers

225 views

### Generating functions, Tutte polynomials, and the bivariate series $\sum_n x^n y^{n^2} / n!$.

A few years ago I computed the Tutte polynomials of the matroids given by the classical Coxeter groups, and found that their generating functions are all simple variations of the series $\sum_n ...

**1**

vote

**0**answers

185 views

### An equation about generating functions and subfactorial

As I promised, I clone the problem from Math.SE to here, in order to find a solution.
Suppose $G_n(w)$ is a formal power series (really a probability generating function, see the following ...

**14**

votes

**4**answers

604 views

### Combinatorial interpretation of the power of a series

I am trying to understand a result involving the power of a series that occurs in Gradstein and Ryzhik's Table of Integrals, Series, and Products. Result 0.314 (p.17, 7th ed.) is:
...