For questions about recurrence relations, convergence tests, and identifying sequences

learn more… | top users | synonyms (5)

72
votes
0answers
2k views

Identification of a curious function

During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k \geq 0} 2^{-p_k}\right) = \sum_{k \geq 0} \frac{1}{(p_k+1)\binom{p_k}{k}}, $$ where ...
24
votes
0answers
908 views

Does this sequence have any mathematical significance?

Take the sequence 001 and repeatedly append its second half to itself, using the larger half if the length is odd. This gives you ...
23
votes
0answers
723 views

When is an infinite product of natural numbers regularizable?

I only recently heard about the concept of $\zeta$-regularization, which allows the evaluation of things like $$\infty !=\mathop{\hat{\prod}}_{k=1}^\infty k = \sqrt{2\pi}$$ and $$\infty ...
14
votes
0answers
112 views

A combination integral and series resulting the inverse tangent integral

$\def\Ti{{\rm{Ti}}_2}$I have been able to solve an integral problem, now I tried to use the other method to crack the integral and I have to prove the following expression \begin{equation} ...
14
votes
0answers
209 views

Are the sums $\sum_{n=1}^{\infty} \frac{1}{(n!)^k}$ transcendental?

This question is inspired by my answer to the question "How to compute $\prod_{n=1}^\infty\left(1+\frac{1}{n!}\right)$?". The sums $f(k) = \sum_{n=1}^{\infty} \frac{1}{(n!)^k}$ (for positive integer ...
13
votes
0answers
752 views

Quadratic Recurrence Relation

The following sequence appeared in IMC 2012 (a math competition): $$a_1 = \frac{1}{2}, \qquad a_{n+1} = \frac{n a_n^2}{1+(n+1)a_n}$$ I am trying to find an explicit formula for the sequence. It ...
12
votes
0answers
147 views

Relations connecting values of the polylogarithm $\operatorname{Li}_n$ at rational points

The polylogarithm is defined by the series $$\operatorname{Li}_n(x)=\sum_{k=1}^\infty\frac{x^k}{k^n}.$$ There are relations connecting values of the polylogarithm at certain rational points in the ...
12
votes
0answers
302 views

Generating function solution to previous question $a_{n}=a_{\lfloor n/2\rfloor}+a_{\lfloor n/3 \rfloor}+a_{\lfloor n/6\rfloor}$

In attempting to answer this question, I reduced it to a seemingly simple generating functions question, but after days of work was unable to construct a proof. Since I do not have experience trying ...
11
votes
0answers
174 views

Are there any visual proofs for $\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$?

I was flipping through Proofs Without Words (PWW) and saw many visual proofs for sequences and series. However, I saw none for $$\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$$ Are there any ...
11
votes
0answers
100 views

Sum the series $\sum_{n = 0}^{\infty} (-1)^{n}\{(2n + 1)^{7}\cosh((2n + 1)\pi\sqrt{3}/2)\}^{-1}$

In one of his letters to G. H. Hardy, Ramanujan gave the following sum $$\dfrac{1}{1^{7}\cosh\left(\dfrac{\pi\sqrt{3}}{2}\right)} - \dfrac{1}{3^{7}\cosh\left(\dfrac{3\pi\sqrt{3}}{2}\right)} + ...
11
votes
0answers
391 views

Sorting of prime gaps

Let $g_i $ be the $i^{th}$ prime gap $p_{i+1}-p_i.$ If we re-arrange the sequence $ (g_{n,i})_{i=1}^n$ so that for any finite $n$ the gaps are arranged from smallest to largest we have a new sequence ...
11
votes
0answers
320 views

Two questions about weakly convergent series related to $\sin(n^2)$ and Weyl's inequality

By using partial summation and Weyl's inequality, it is not hard to show that the series $\sum_{n\geq 1}\frac{\sin(n^2)}{n}$ is convergent. Is is true that ...
10
votes
0answers
184 views

A closed form for $\sum_{k=1}^\infty \psi^{(1)} (k+a)\psi^{(1)} (k+b)$

The following result $$ \sum_{k=1}^\infty\left(\psi^{(1)} (k)\right)^2 = 3\zeta(3) $$ where $\psi^{(1)}$ is the polygamma function makes me think there is a nice sum for the series $$ ...
10
votes
0answers
97 views

A sequence that avoids both arithmetic and geometric progressions

Sequences that avoid arithmetic progressions have been studied, e.g., "Sequences Containing No 3-Term Arithmetic Progressions," Janusz Dybizbański, 2012, journal link. I started to explore sequences ...
10
votes
0answers
371 views

I can Euler-sum $\sqrt{-\ln(1)}-\sqrt{-\ln(2)}+\sqrt{-\ln(3)}-\cdots$. But how can I do $\sqrt{-\ln(1)}+\sqrt{-\ln(2)}+\sqrt{-\ln(3))}+\cdots$?

This is also related to an older thread in MSE ("what is the half derivative of zeta at zero?") . One of the possible steps in the problem of that thread was to evaluate the series ...
10
votes
0answers
250 views

Pólya and Szegő, Part I, Ch. 4, 174.

The following is a problem proposed in Pólya and Szegő's book "Problems and Theorems in Analysis" Assume that $0<f(x)<x$ and $$f(x)=x-ax^k+bx^\ell+x^\ell \varepsilon(x),\,\;\;\;\lim_{x\to ...
10
votes
0answers
344 views

Asymptotic related to the infinite product of sine

The amount is somewhat complicated ($x$ is a constant): $$S_n=\sum_{k=1}^n\ln\left(1-\frac{\sin^2\big(x/(2n+1)\big)}{\sin^2\big(k\pi/(2n+1)\big)}\right)\tag{*}$$ I want to enrich my handy powerful ...
10
votes
0answers
172 views

Function $f(x)$, such that $\sum_{n=0}^{\infty} f(n) x^n = f(x)$

Consider a function $f(x)$. Define Taylor series $\sum_{n=0}^{\infty} f(n) x^n$. Is there such a function, other than constant $0$, that $\sum_{n=0}^{\infty} f(n) x^n = f(x)$? The Taylor series of ...
9
votes
0answers
54 views

Is there a simple expression for $\sum_{n=0}^{\infty} \left[ (4x)^n \frac{(n!)^2}{(2n+1)!} \right]^2?$

Is there a simple expression for the power series $$\sum_{n=0}^{\infty} \left[ (4x)^n \frac{(n!)^2}{(2n+1)!} \right]^2?$$ This question came up in a quantum mechanics problem. Mathematica only returns ...
9
votes
0answers
174 views

How find this series $\sum_{n=1}^{\infty}\frac{1}{n^2H_{n}}$?

Question: This follow series have simple closed form? $$\sum_{n=1}^{\infty}\dfrac{1}{n^2H_{n}}$$ where $$H_{n}=1+\dfrac{1}{2}+\dfrac{1}{3}+\cdots+\dfrac{1}{n}$$ I suddenly thought of this ...
9
votes
0answers
244 views

To how many decimals is $\sum_ {k=1}^\infty \frac{k}{\sqrt{k!}} = \frac{49850839\,\pi}{29567947}$ correct?

Consider: $$\sum_ {k=1}^\infty \frac{k}{\sqrt{k!}} = \frac{49850839\,\pi}{29567947}$$ This is, as far as I'm able to check with my software, correct to at least 167 decimals. If anyone has the ...
8
votes
0answers
142 views
+50

How to prove there exists $n_{1}a_{n_{0}}+n_{2}a_{n_{1}}+\cdots+n_{k}a_{n_{k-1}}<3(a_{1}+a_{2}+\cdots+a_{N})$

Let $a_{1},a_{2},\cdots,a_{N}$ be nonnegative reals, not all $0$. Prove that there exists a sequence $$1=n_{0}<n_{1}<\cdots<n_{k}=N+1$$ of integers such that ...
8
votes
0answers
169 views

The closed form of $\sum_{n=0}^{\infty} \arcsin\left(\frac{1}{e^n}\right)$

In my study on some type of integrals I met the series below that I don't how to approach it. Of course, one of the obvious questions is: does it have a closed form? Before answering that, I need to ...
8
votes
0answers
238 views

A Ramanujan-like summation: is it correct? Is it extensible?

I'm still exercising with summation-procedures which I try to make correct Ramanujan-summations. Looking at the series $$ s(1/2,2) = (1/2)+(1/2)^4+(1/2)^9+(1/2)^{16}+... $$ and more general $$ s(b,p) ...
8
votes
0answers
151 views

How to prove that my sum coincides with a sequence on the Online Encyclopedia of Integer Sequences?

I have a topological space $X$ whose reduced $\bmod 2$ Betti numbers (that is to say, the dimension of the $\bmod 2$ reduced homology) I computed to be $$\small \dim \tilde{H}_t(X; {\mathbb{Z}}_2) = ...
8
votes
0answers
204 views

Invariant functions on the space of finite sequences of reals

Let $S$ be a space of all finite sequences of real numbers (we don't endow it with metric or topology in general). Before asking the main question, some notation. 1. For each $\mathbf s\in S$ we ...
7
votes
0answers
160 views

Does $A193201$ count the partitions of $n$ of arbitrary dimension?

By my count, these sequences match for $n=0\ldots6$, where partitions that are the same after relabeling dimensions are considered equivalent (i.e., the dimensions are unordered). For example, for ...
7
votes
0answers
121 views

Closed form of $\sum_{n=1}^{\infty} \left(\frac{H_n}{n}\right)^4$

Find the closed form of $$\sum_{n=1}^{\infty} \left(\frac{H_n}{n}\right)^4$$ I know the closed form for smaller powers like $2, 3$ exists, but I'm not sure if there is a closed form for this ...
7
votes
0answers
112 views

Another way of expressing $\sum_{k=0}^{n} (-1)^k\frac{H_{k+1}}{n-k+1}$

In this post Another way of expressing $\sum_{k=0}^{n} \frac{H_{k+1}}{n-k+1}$ I asked for a solution of the non-alternating series. How about the alternating series? Can we find a nice way of ...
7
votes
0answers
158 views

Continued fraction and double series.

From Euler's continued fraction formula, we have $$x = \cfrac{1}{1 - \cfrac{r_1}{1 + r_1 - \cfrac{r_2}{1 + r_2 - \cfrac{r_3}{1 + r_3 - \ddots}}}}\,$$ and $$x = 1 + \sum_{i=1}^\infty r_1r_2\cdots r_i = ...
7
votes
0answers
93 views

A cotangent series related to the zeta function

$$\sin x = x\prod_{n=1}^\infty \left[1-\frac{x^2}{n^2\pi^2}\right]$$ If you apply $\log$ to both sides and derivate: $$\cot x = \frac{1}{x} - \sum_{n=1}^\infty \left[\frac{2x}{n^2\pi^2} ...
7
votes
0answers
91 views

Is this a recurrence for the characteristic sequence of composite numbers?

The characteristic sequence of composite numbers is equal to 1 if $n$ is not a prime number and equal to 0 if $n$ is a prime number, starting: $$1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1,...$$ where the ...
7
votes
0answers
407 views

On the weak and strong convergence of an iterative sequence

I have some difficulties in the following problem. I would like to thank for all kind help and construction. Let $H$ be an infinite dimensional real Hilbert space and $F: H\rightarrow H$ be a ...
7
votes
0answers
238 views

A sequence similar to the Catalan numbers

The $n$-th Catalan number $c_n$ has the closed form $\frac1{n+1}\binom{2n}{n}$ and follows the recursion $c_n = \sum\limits_{i = 0}^{n-1} c_{n-1-i}c_i$ I am interested in the quantity $e_n$ which ...
6
votes
0answers
35 views
+50

Product of permutations of consecutive numbers yields arithmetic sequence

Let $n\geq 3$ be an integer, and $a,b$ be positive integers. Let $c_1,\ldots,c_n$ be a permutation of $a,a+1,\ldots,a+(n-1)$, and $d_1,\ldots,d_n$ be a permutation of $b,b+1,\ldots,b+(n-1)$. Is it ...
6
votes
0answers
94 views

Minimizing beginning terms of a Fibonacci-like sequence

For $ a, b \in \mathbb{Z}^+ $ such that $ a = b $ or $ 2a < b $, let $ f_{a, b} : \mathbb{Z}^+ \to \mathbb{Z}^+ $ be a sequence that satisfies the following three criteria: $$ f(1) = a, \\ f(2) = ...
6
votes
0answers
82 views

Name of a certain set

I want to know if there is any already-standard way to refer to the sets described as follows. For a set $X$, let $-X = \{-x: x \in X \}$; call it the negative of $X$. Take the set of all primes in ...
6
votes
0answers
91 views

Solving a problem of Ramanujan's interest

I am Brian Diaz, and I am new to the math.stackexchange community. I have been struggling with attempting to find a closed form of the following series: $$ \varphi(\theta) = 1 + 2\sum_{n=1}^{\infty} ...
6
votes
0answers
101 views

Visual Proofs of Series Summations

I'd like to put together a compilation of visually geometric proofs of series summations. I have three famous 2D examples to clarify what I mean below, but other "visually geometric" proofs of an ...
6
votes
0answers
308 views

Extension of the Jacobi triple product identity

The Jacobi triple product identity is: $$\prod\limits_{n=1}^{ \infty }(1-q^{2n})(1+zq^{2n-1})(1+z^{-1}q^{2n-1})=\sum\limits_{n = - \infty }^ \infty z^n q^{n^2} $$ I would like to extend the idea for ...
6
votes
0answers
383 views

Convergence/Divergence of infinite series $ \displaystyle\sum_{n=1}^{\infty} \frac{1}{n^{1+\left|{\cos n}\right|}}$

It is well known that $ \displaystyle\sum_{n=1}^{\infty} \frac{1}{n}$ is divergent while $ \displaystyle\sum_{n=1}^{\infty} \frac{1}{n^{1+\epsilon}}$ is convergent for a fixed positive value of ...
6
votes
0answers
250 views

expansion for $1-|t|$

Let $f$ be a continuous function on $\mathbb{R}$ with compact support with exactly one maximum. Form the functions $$ f_{m,k}(x)=f^m\left(x-\frac{k}{2^m}\right) $$ I am wondering if one can expand ...
5
votes
0answers
42 views

Calculus II: Comparison Test

I have this math problem where I have to show that a sum converges. Is this correct? Thanks $$\sum_{n=1}^{\infty}\frac{2n-1}{ne^n}$$ I chose $\sum_{n=1}^{\infty}\frac{2n}{ne^n}$ to compare it to. ...
5
votes
0answers
62 views

How do i find radius of convergence of power series like this

Given $a_n ={1/3^n} $, if $n$ is prime $a_n = 1/4^n$, if $n$ is not prime Ratio test will work fine here ..but the way series is defined im confused regd it .any help would be ...
5
votes
0answers
75 views

Find the closed form of the digamma related series

The question I asked here Computing $\sum_{n=1}^{\infty} \left(\psi^{(0)}\left(\frac{1+n}{2}\right)-\psi^{(0)}\left(\frac{n}{2}\right)-\frac{1}{n}\right)$ made me think to ask for your support for ...
5
votes
0answers
82 views

Finding the closed form of $\sum_{k=1}^{\infty} \sum_{n=1}^{\infty}(-1)^{k+n} \frac{\log(k+n)}{k n}$

A while ago I computed pretty easily the series $\sum_{k=1}^{\infty} \sum_{n=1}^{\infty}(-1)^{k+n} \frac{\log(k+n)}{k+ n}$ and then I thought of tackling the case where we have the product instead of ...
5
votes
0answers
76 views

Integral's Closed-form expression in terms of hypergeometric function

I want to solve the following integral: $$I = 2\left[\int_{0}^{1}\dfrac{y^m}{(1 - ay)^{m + 1}\sqrt{1 - y^2}}\mathrm{d}y+\int_{0}^{1}\dfrac{y^m}{(1 + ay)^{m + 1}\sqrt{1 - y^2}}\mathrm{d}y\right]$$ ...
5
votes
0answers
93 views

Sum of infinite series defined recursively

Suppose $s$, $t$, and $\delta$ are constants satisfying $0<s<t<1$ and $\delta>1$. An infinite sequence $\{y_k\}_{k=1}^{\infty}$ defined as follows: The initial term, $y_1$, is the ...
5
votes
0answers
53 views

a question about Tsirelson's space

Background. Let $T$ denote the Figiel-Johnson construction of the Tsirelson space, that is, the completion of $c_{00}$ under the implicitly-defined norm ...
5
votes
0answers
67 views

An inequality between integrals of series of characteristic functions of cubes

Let $1\leq p<\infty$. Prove that there exists $C>0$ such that $$ \left(\int\left|\sum_{i=1}^\infty a_i\chi_{2Q_i}\right|^p \, dx\right)^{1/p} \leq C\left(\int\left|\sum_{i=1}^\infty ...