The tag has no usage guidance.

learn more… | top users | synonyms

14
votes
0answers
899 views

Regularizing the divergent sum $1^k + 2^k + \cdots$

EDIT: Under this "regularization", the harmonic series can be interpreted as $s_{-1}$ and assigned a value $$s_{-1} = \lim_{k \rightarrow 1} \zeta(k) (2-2^k) = -2 \log 2$$ I was looking at ...
12
votes
0answers
562 views

How to explain the picturesque patterns in François Brunault's matrix?

How to explain the patterns in the matrix defined in François Brunault's answer to the question Freeness of a Z[x] module depicted below? -- Choosing colors according to the highest power of 2 which ...
9
votes
0answers
480 views

Can an infinite sum depending on the logarithms of all positive integers be rational or algebraic?

Consider $$ C = \sum_{n=1}^\infty \frac{(-1)^{f_1(n)} f_2(n) \log{n} + f_3(n)}{f_4(n)}$$ The sum converges. $f_1$ is either $0$ or $n-1$, $f_2,f_3,f_4$ are polynomials with integer coefficients and $ ...
9
votes
0answers
578 views

Is there a proof that OEIS-A002387 is $[ e^{n-\gamma} ]$?

Based on the comments on OEIS-A002387: $a_{n}$ = 1, 2, 4, 11, 31, 83, 227, 616,... it is likely, that the sequence $a_{n}$ coincides with $[ e^{n-\gamma} ]$ , where $\gamma$ is the Euler-Mascheroni ...
8
votes
0answers
538 views

Is this 2x2 determinant sequence positive and increasing?

Let $X_1,X_2,X_3$ be a three discrete (integer and non-negative valued) random variables with local probabilities $a_k:=\mathbb{P}(X_1=k)$, $b_k:=\mathbb{P}(X_2=k)$, $c_k:=\mathbb{P}(X_3=k)$ and $s_k:=...
8
votes
0answers
223 views

If the generating function summation and zeta regularized sum of a divergent exist, do they always coincide?

One could assign a value to divergent series by means of several summation methods. One summation method we could consider is the generating function method. Let's sum, for example, the fibonacci ...
8
votes
0answers
426 views

Composition of two formal series

There are two formal semi-infinite Laurent series $$ f_+(z)=z+\sum_{k=2}^{\infty} a_k z^k $$ and $$ f_-(z)=z+\sum_{k=0}^{\infty} b_k z^{-k} $$ Their composition (we assume that this composition ...
7
votes
0answers
302 views

About the first decimal of $\sqrt {n!}$

Do we have : $$\sup\{\sqrt {n!} - E(\sqrt {n!}); n\in I\!\!N\}=1?$$ Where $E(\cdot)$ is the integer part function, and $n!=1\times 2...\times n$.
6
votes
0answers
199 views

Asymptotic behavior of a sequence of functions

For $n\in\mathbb{N}$ and $q\in(0,1)$, define $$f_{n}(q):=\sum_{i_{1},i_{2},\dots,i_{n}=1}^{\infty}\frac{q^{i_1+i_2+\dots+i_n}}{(1-q^{i_1+i_2})(1-q^{i_2+i_3})\dots(1-q^{i_{n-1}+i_n})(1-q^{i_n+i_1})}.$$ ...
6
votes
0answers
138 views

How to assess the influence of a specific term in this telescoping series for $\zeta(s)$?

I like to expand on this (unanswered) MSE question. Take the following, nicely symmetrical, telescoping series for $\zeta(s)$: $$\displaystyle \zeta(s) = \frac{1}{2\,(s-1)} \left(1+\sum _{n=1}^{\...
6
votes
0answers
344 views

On the sum of consecutive primes and product of first and last

Lets consider the sequence of consecutive prime numbers $p_1=2 , p_2=3 ,p_4=5 , \cdots$ . $(p_n,p_{j})$ is to be called good prime pair if $$\sum_{i =n }^{j}p_i= p_n p_{j}$$ Meaning the sum of set of ...
6
votes
0answers
237 views

Irrationality of the sum of the reciprocal of perfect powers

A couple of days ago I was trying to remember a classical exercise (which I now find out goes by the name of Goldbach-Euler theorem). Eventually I figured out that it asked to prove that $$\sum_{p\in\...
6
votes
0answers
400 views

Graphs with graphic imbalance sequences

Let $G$ be simple undirected graph and $e=uv\in E(G)$. The imbalance of the edge $e$ is the value $imb(e)=|d(u)-d(v)|$. Let $M_{G}$ denotes the imbalance sequence (or more correctly, multiset of ...
5
votes
0answers
125 views

Has unconditional convergence ever been proved other than by deducing it from absolute convergence?

Nobody's answering this question so I'll try it here. This is really a reference request: Has a certain kind of proof ever been used? A series $\displaystyle\sum_n a_n$ converges absolutely if $\...
5
votes
0answers
136 views

Are these identities Newton series?

Newton series is the following expansion of a function: $$f(x)=\sum_{k=0}^\infty \binom{x}k \Delta^k [f]\left (0\right)=\sum_{n=0}^{\infty} {x\choose n} \sum_{k=0}^n{n\choose k}(-1)^{k-n}f(k)$$ Now ...
5
votes
0answers
223 views

Telescoping series for $\zeta(s)$, question about the basic ideas and a specific series

There are many known telescoping series that enable analytic continuation of $\sum _n \frac {1}{n^{s}}$ into a variety of domains, however they seem to all be derived from two basic ideas: 1) The ...
5
votes
0answers
132 views

Inverse problems for an asymptotic series which depends on a parameter?

I have the series $\sum_{n=0}^{\infty}(-1)^{n}a_{n}(\nu)\frac{\sin[\nu\,(m-n)]}{\nu\,(m^2-n^2)}=\frac{1}{m}$, where $m$ is an integer. Is it possible to compute the coeffients $a_{n}(\nu)$? An ...
5
votes
0answers
394 views

Number of Configurations in the optimal Hanoi tower

There is a unique strategy how to move $n$ disks from the first rod to the second optimally and it takes $2^n-1$ steps, solution is obtained by simple recursion. I am interested into the following ...
5
votes
0answers
207 views

Number of times lead changes in a multi-candidate election (reference-request)

In a two candidate election where votes are distributed uniformly at random between the candidates, the probability that the lead changes when tallying the $i$-th vote is the same as the probability ...
5
votes
0answers
704 views

Computability of OEIS A034891 …partitions of n into prime parts (1 included)

On the seqfan mailing list RGWv gave short algorithm for computing A000041 number of partitions of n the partition numbers: f[1, 1] = 1; f[n_, k_] := f[n, k] = If[n < 0, 0, If[k > n, 0, If[k == ...
4
votes
0answers
185 views

a question about Tsirelson's space

NOTE: I asked this question over at math.stackexchange.com but got no answer or comments after 3 days, probably because it's a bit specialized. Hopefully it is interesting enough to ask over here. ...
4
votes
0answers
356 views

$\sum_{p,q \text{ primes } p \le q} 1/(pq\log(pq))$

The sum $$ \sum\limits_{p,q \text{ primes } p \le q} \frac{1}{pq\log(pq)}$$ is related to a conjecture of Erdős about primitive sequences. It converges because the sequence is primitive. If my ...
4
votes
0answers
283 views

Useful lower bound on an infinite sum

Fix integer $s.$ I have encountered the following infinite sum. $$\sum_{k=0}^\infty \Pi_{l=1}^k\left[1-(1-2^{-l})^s\right]$$ Is there a useful lower bound on this expression? For instance, if $s=1,$ ...
4
votes
0answers
159 views

Are there infinite sequences of rational cubes whose first differences are positive squares?

This is related to How many sequences of rational squares are there, all of whose differences are also rational squares? Are there infinite sequences $a_n$ of rational cubes whose first ...
3
votes
0answers
180 views

First to note/document the relation between permutohedra and multiplicative inversion

The relation between the refined face numbers of the permutohedra and the formal series expansion of the reciprocal of a function (exponential generating function, formal Taylor series) is given in ...
3
votes
0answers
160 views

Combination of Generating Functions

Suppose I have the following generating functions: $$\frac{x^ke^{\left(z-\frac{1}{N}\right)x}}{N^{k-1}k!\sum_{j=0}^{N-1}w_N^{-jk}e^{\frac{w_N^jx}{N}}}=\sum_{j=0}^\infty H_{N,k,j}(z)\frac{x^j}{j!}$$ ...
3
votes
0answers
110 views

Maximizing the discrepancy in Jensen's inequality for a certain function

Let $\underline{b}=\{b_1,\dots,b_n\}$ be a fixed sequence of positive numbers, and let $a>0$ be a parameter. Define $$ D(a;\underline{b}):=\frac{1}{\frac{1}{na}+\frac{1}{\sum_{i=1}^n b_i}} -\sum_{...
3
votes
0answers
58 views

Pointwise (a.e) evaluation of $\sum_{n \geq 0}(u,w_n)_{L^2}w_n$ and equalities in $L^2$

Let $w_n$ be a orthonormal basis of $L^2(\Omega)$. Given $u \in L^2$ we can write $$u=\sum_{n \geq 0}(u,w_n)_{L^2}w_n.$$ Suppose $w_n$ are the eigenfunctions of the Neumann Laplacian. We can write $$\...
3
votes
0answers
118 views

Euler series with milder divergence

Theorema 19 in Euler's memoir "Variae observationes circa series infinitas" says The sum of the reciprocals of the prime numbers is infinitely great but is infinitely times less than the sum of the ...
3
votes
0answers
286 views

Solving a doubly exponential generating function

I am analyzing the average time complexity of some algorithm on some probabilistic model, and I've come to a doubly exponential sequence for which I cannot find corresponding generating function. I ...
3
votes
0answers
119 views

The behavior of series involving special subsets of the prime numbers

It is well known that the series $\sum_{p\in \mathbb{P}} \frac{1}{p}$ diverges where $\mathbb{P}$ denotes the set of primes. Brun proved that $\sum_{p\in \mathbb{P_2}} \frac{1}{p}$ converges where $ \...
3
votes
0answers
178 views

Do $r$-th root Harmonic numbers ever sum to integers?

None of the Harmonic numbers $H_n = \sum_{k=1}^n 1/k$ are integers for $n>1$ (e.g., this MSE question and answer). Q. Define the $r$-th root Harmonic number $H_n^{1/r} = \sum_{k=1}^n 1/{k^{1/r}}...
3
votes
0answers
103 views

On the comparison of Egyptian fractions of two kinds

I posted the question on MSE here but it did not get any answer. Consider $$S(n)=\left\{(a_1 ,a_2,a_3, \dots, a_n)\mid a_1\le a_2\le\cdots\le a_n, \; \sum_{r=1}^{n}\frac{1}{a_r} = 1\right\} \subset \...
3
votes
0answers
131 views

“Shifted” Vandermonde determinant is nonzero?

I have already posted this question at MSE here, but as it received a few upvotes, but no comments or answers I choose to cross-post it here. Let $P$ be a degree-two polynomial, with roots $\alpha,\...
3
votes
0answers
116 views

Prove that when converge, the following expansions are equal

Prove $f_1(x)=f_2(x)=f_3(x)$ when converge. $$f_1(x)=\sum_{m=0}^{\infty} \binom {x}m \sum_{k=0}^m\binom mk(-1)^{m-k}f(k)$$ $$f_2(x)=\lim_{n\to\infty}\binom xn\sum_{k=0}^n\frac{x-n}{x-k}\binom nk(-1)^...
3
votes
0answers
137 views

A second polylogarithm ladder for the tribonacci and n-nacci constants

In "A seventeenth-order polylogarithm ladder", on page 6 (eq 25), Bailey et al give a dilogarithmic ladder that begins with, $$0 = \operatorname{Li_2(\alpha_1^{-630})}-2\operatorname{Li_2(\alpha_1^{-...
3
votes
0answers
151 views

Shift-invariant submultiplicative seminorms of $\ell^{\infty}$

Question: Is there a shift-invariant submultiplicative seminorm $||\cdot||$ of $\ell^\infty$ which satisfies the following property? If $f:\mathbb{N}\rightarrow\mathbb{N}$ is an increasing function ...
3
votes
0answers
272 views

Convolution inverse of recursively defined sequence is alternating

Consider the double sequence $A(n,k)$ which is recursively defined by $$A(n,n)=1 \text{ for } n=0,1,2,\dots \text{ and }$$ $$A(n,k)=2\sum_{l=1}^{k+1} \binom{2n+1}{2l} A(n-l,k+1-l) \text{ for }0\leq k &...
3
votes
0answers
238 views

Alternating sums of powers of the lngamma ($\small f_p(x) = \sum \log(k!)^p x^k $ at $\small x=-1$)

I'm still fiddling with this recent question and come to a detail, whether I can find closed forms for the sums of the $\small lngamma() $ function. Precisely $$ \small f_p(x) = \sum_{k=0}^{\infty} \...
3
votes
0answers
763 views

Method for variable substitution in multiple summation

I want to ask: is there any general method for variable substitution in multiple summation? For example in the following equation a new variable $\lambda=n+m-2\mu$ is introduced to transform the LHS ...
3
votes
0answers
333 views

Finch's sequence over $\mathbb{F}_3$

In http://algo.inria.fr/csolve/seqmod3.pdf -- "Periodicity in sequences mod 3" Steven Finch (also cited in Sloane's OEIS A112683) defines the following sequences in $\mathbb{F}_3$: For each positive ...
2
votes
0answers
71 views

Relating face polytopes of permutohedra to integer partitions

The OEIS entries A019538, A049019, and A133314, relate a refinement of the face polynomials of the permutohedra (A049019) to partition polynomials (A133314) defined by multiplicative inversion of an ...
2
votes
0answers
77 views

How to estimate $\prod_{t=1}^{N}\frac{1}{2-z^t}$ for large $N$?

Based on the top answer to How to estimate of $\prod_{k=a}^N \frac{1}{e^{k\kappa}-1}$ for large $N$? Can anyone find an approximate closed form for $$ \frac{\mathrm{d}^k}{\mathrm{d}z^k}\prod_{t=1}^{N}...
2
votes
0answers
102 views

Enumerating the number of degree d curves tangent to a planar conic

This question is based on a special case of the Coparaso Harris formula, as described in Counting curves on rational surfaces - R. Vakil. Let $E$ be a non-singular planar conic. Then every degree $d$...
2
votes
0answers
62 views

Proving convergence is impossible for a sum of hyperbolic cosines

Suppose that $z$ is some complex value. Is it possible to prove that $$\lim_{n \rightarrow \infty} \sum_{j = 1}^n {\sqrt{n \over j}} \cdot \cosh(z \log {n \over j}-\operatorname{ Arccoth} (2z)) $$ ...
2
votes
0answers
109 views

Oscillation aspects of two-way infinite alternating series (a followup from the MO-question “functions that eventually oscillate”)

In the recent question on "eventually oscillating function" I had a heuristic for the function $d(x)$ that its amplitude is constant, but could not further describe that function. I just found a ...
2
votes
0answers
204 views

Minimizing $\{0,1\}$-sequence permutations

Explanation: For a given bit sequence $f$, reposition the bits as to minimize $G$ which can be thought of as a measure of how poorly proportional $f$ is to each of its subsequences. Let $p \in \...
2
votes
0answers
393 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}$?
2
votes
0answers
365 views

The functional equation of Hofstadter's Q sequence

Hofstadter's Q sequence is defined by $Q(1) = Q(2) = 1$ and $Q(n) = Q(n-Q(n-1)) + Q(n-Q(n-2))$ for $n \geq 3$. So far hardly anything on this sequence has been proved -- not even that $Q(n)$ is well-...
2
votes
0answers
154 views

Series for envelope of triangle area bisectors

The lines which bisect the area of a triangle form an envelope as shown in this picture It is not difficult to show that the ratio of the area of the red deltoid to the area of the triangle is $$\...