The tag has no wiki summary.

learn more… | top users | synonyms

-4
votes
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
3answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
169 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
1answer
158 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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
3answers
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
3answers
829 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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
3answers
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
3answers
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
1answer
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
0answers
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
0answers
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
4answers
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: ...