Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
for questions about sequences and series, e.g. convergence, closed form expressions, etc. Note that there is a different tag for spectral sequences, and also note that MathOverflow is not for homework. Please consider consulting the online encyclopedia for integer sequences, if you are trying to identify a given sequence that you have found in your research.
6
votes
Double series problems
The paper Two-dimensional series evaluations via the elliptic
functions of Ramanujan and Jacobi deals exactly with double sums of this kind and shows how to evaluate them in terms of elliptic function …
1
vote
Accepted
Does $\sum_{n=-\infty}^\infty (bq^n,p/aq^n;p)_\infty z^n q^{n(n-1)/2}$ have a closed form?
It turns out that the answer is quite easy.
Take $p=q^2$,$~z=1$,$~b=q^2a$, then
$$
\sum_{n=-\infty}^\infty (bq^n,p/aq^n;p)_\infty
z^n q^{n(n-1)/2}=2 \left(q a,q/a;q^2\right){}_{\infty }\sum _{n=- …
8
votes
Accepted
An infinite series involving the mod-parity of Euler's totient function
The only odd values of $\phi(n)$ are $\phi(1)=\phi(2)=1$.
$\phi(n)$ is even but not divisible by $4$ when:
$n=4$
$n=2^{\left\{0,1\right\}}p^m$, where $p=4k+3$ is prime, $m=1,2,3,...$
We have
$$
\ …
8
votes
Accepted
Partition numbers and Gaussian binomial coefficient
Consider Rogers-Szego polynomials defined by
$$
H_n(t)=\sum\limits_{m=0}^{n} \binom{n}{m}_qt^m.
$$
In Andrews, "Theory of partitions", exercise 6 in chapter 3 gives three term recurrence satisfied by …
4
votes
Accepted
Approximating a finite sum with an integral
First, we rewrite the sum as a sum over the full period
$$
S(a,N)=\frac{2}{N+1}\sum_{j=1}^{N+1} \sin^2\left( \frac{2\pi j}{N+1} \right)\sin \left( 2 a \cos \left( \frac{2\pi j}{N+1} \right) \right).
…
10
votes
Identity with Pochhammer and harmonic numbers
The identity under question can be found in the paper S. Boettner, V.H. Moll The integrals in Gradshteyn and Ryzhik. Part 16: Complete elliptic integrals, pages 11-12 https://arxiv.org/abs/1005.2941
…
12
votes
Accepted
Is it true that $\sum_{k=1}^\infty\frac{\binom{2k}k^2}{k16^k}(H_{2k}-H_k)=\frac23\sum_{k=1}^...
Let $a_n=\frac{1}{16^n}\binom{2n}n^2$. We have
$$
\sum_{n\ge 1} a_n(2H_{2n}-H_n)k^{2n}=-\frac{1}{\pi}K(k)\log(1-k^2).
$$
Here $K(x)=\frac{\pi}{2}\sum_{n\ge 0}a_nx^{2n}$ is complete elliptic integral o …
3
votes
Accepted
$q$-Eulerian type B enjoy symmetry
$\bf{Step~1}.$ $B_{n,a}(q)=B_{n,n-a}(q)$.
$\it{Proof}$. Write
$$
\sum_{n\geq1}\dfrac{B_n(t,q)}{t^{n/2}}\frac{z^n}{(q;q)_n}=\frac{e(z/\sqrt{t};q)-e(z\sqrt{t};q)}{\dfrac{e(2z\sqrt{t};q)}{\sqrt{t}}-\sqr …
18
votes
Accepted
A mystery sequence
The conjectured identity
$$
f(q)=(q;q)_\infty\left(1+\sum_{k=1}^\infty q^k(-q;q)^2_{k-1}\right)=\sum_{\substack{m,n\geqslant0\\n\ne1}}(-1)^mq^{\frac{(m+n)(3m+n+1)}2},\tag{1}
$$
using Euler's pentagona …
13
votes
Ramanujan's Lost Notebook page 1 first equation and OEIS sequence A260195
This conjecture is equivalent to the following
$$\frac{q}{(1-q)^2}\sum_{n=0}^\infty(-q)^n \frac{(q;q^2){}_n(-q^2;q^2){}_n}{(q^3;q^2){}_n^2}=\sum_{1\le r,s\le t}q^{t^2-\frac{1}{2}(r^2-r+s^2-s)},\tag{1} …
4
votes
Accepted
Double Series involving Gamma function
This problem can be reduced at least formally to a compact double integral, which might be easier to solve.
Starting with the integral representation for the Gamma function, we write the double sum a …
10
votes
Accepted
generating $q$-Catalan numbers
The functions
$$
C_n(q)=\sum_{P\in\square_n}q^{area(P)}
$$
satisfy the following recurrence relation
$$
C_n(q)=\sum_{k=1}^nq^{k-1}C_{k-1}(q)C_{n-k}(q).\tag{1}
$$
Proof.
(taken from the book "The q, t- …
25
votes
Bernoulli sum meets golden number
Using the integral representation of Bernoulli numbers I obtain formally the integral representation of the double summation
$$
\sum_{k=1}^{\infty}\sum_{j=0}^{k}\binom{k}{j}\frac{B_{j+k+1}}{j+k+1}=2\c …
6
votes
3 divides coefficents of this $q$-series
Trivially
$$
\prod_{n\geq1} f_n(q)=\frac{\left(q^3;q^3\right)^4_{\infty }}{(q;q)_{\infty } \left(q^9;q^9\right){}_{\infty }}.
$$
Denoting $A(q)=(q;q)_{\infty }(q^2;q^2)_{\infty }$, one can see that in …
2
votes
Accepted
About certain infinite products with the property $f(a)=f(1/a)$
EDIT (Feb 2024): The question has been generally answered in the article:
Martin Nicholson, Finite and infinite product transformations,
arXiv:1712.06097.
Question $2$ has a surprisingly simple ans …