Intereting Posts

Efficiently find the generators of a cyclic group
Does there exist a bijection between empty sets?
How to find $ \lim\limits_{ x\to 100 } \frac { 10-\sqrt { x } }{ x-100 }$
An epimorphism from $S_{4}$ to $S_{3}$ having the kernel isomorphic to Klein four-group
Find $\int_{0}^{\infty }\frac{\cos x-\cos x^2}{x}\mathrm dx$
Reaction diffusion equation solution
If $H$ is a normal subgroup of a finite group $G$ and $|H|=p^k$ for some prime $p$. show that $H$ is contained in every sylow $p$ subgroup of $G$
Differentiating a function of a variable with respect to the variable's derivative
The path to understanding Frieze Groups
Can an irrational number raised to an irrational power be rational?
isomorphism, integers of mod $n$.
Integration by parts for f(x).g(x)
The inverse of a matrix in which the sum of each row is $1$
Fourier transform of function composition
Uncountable $\sigma$-algebra

Fix a non-negative integer $t\in\mathbb N\,$. I am interested in the following sum

$$S(t) \,:=\, \sum_{m}\,2^m\sum_{k_1+\dots+k_m\leq t}k_1\cdots k_m$$

where clearly $1\leq m\leq t$ and $1\leq k_i\leq t$ for $i=1,\dots,m$.

Is it possible to compute $S(t)$ in a close form? Or at least what is a good upper bound for $S(t)$?

- Binomial-coefficients if, k, m, n natural numbers and k \leq n the result of
- What tactics could help with this probability questions
- Proof for number of weak compositions
- Lattice Walk on Diagonally Overlapping Square Lattices
- Combinatorics and trigonometry identity
- Unit circle is divided into $n$ equal pieces, what is the least value of the perimeters of the $n$ parts?

- What is the asymptotic behavior of a linear recurrence relation (equiv: rational g.f.)?
- Probability that 2 appears at an earlier position than any other even number in a permutation of 1-20
- What structure does the alternating group preserve?
- How to find all possible combinations of a set of options?
- Prove that any set of 2015 numbers has a subset who's sum is divisible by 2015
- Challenging identity regarding Bell polynomials
- Prove that 1 less than the number of equivalence classes divides $p-1$ where $p$ is prime
- How many ways are there for people to queue?
- Proving binomial coefficients identity: $\binom{r}{r} + \binom{r+1}{r} + \cdots + \binom{n}{r} = \binom{n+1}{r+1}$
- Limit of alternating sum with binomial coefficient

Let us assume that the variables $k_i$ could take also the value $0$ this does not change the value of $S(t)$ (but in my relations this makes the sums meningful), so for every $t\geq 1$:

$$\begin{align} S(t)&=&\sum_{m=1}^t 2^{m} \sum_ {k_1+k_2+\cdots+k_m\leq t}k_1k_2\cdots k_m\\

&=&\sum_{m=1}^t 2^m\sum_{k_1=0}^t \left(\sum_ {k_2+\cdots+k_m\leq t-k_1}k_2\cdots k_m \right)k_1\\

&=&\sum_{k_1=0}^t \left(2+\sum_{m=2}^t 2^{m}\sum_ {k_2+\cdots+k_m\leq t-k_1}k_2\cdots k_m \right)k_1\\

&=&\sum_{k=0}^{t}(2+2S(t-k))k \end{align}$$

This is true also for $t=0$. Now if we consider $f(x)=\sum_{t=0}^{+\infty}S(t)x^t$ we have:

$$\begin{align}\sum_{t=0}^{+\infty} S(t)x^t&=&\sum_{t=0}^{+\infty}\sum_{k=0}^{t}(2+2S(t-k))kx^t \\

&=&2\sum_{i=0}^{+\infty}\sum_{j=0}^{+\infty}(1+S(i))jx^{i+j}\\

&=&2\left(\sum_{i=0}^{+\infty}(1+S(i))x^i\right)\left(\sum_{j=0}^{+\infty}jx^{j}\right)

\end{align}$$

In the previous lines we used the Cauchy product formula for series and knowing the power series of $\frac{1}{1-x}$ and $\frac{x}{(1-x)^2} $ gives us:

$$f(x)=\frac{2x}{(1-x)^2}\left(f(x)+\frac{1}{1-x}\right)$$

and this yelds:

$$f(x)=\frac{2x}{(1-x)(1-4x+x^2)} $$

which gives the exact first values.

Now if we calculate the coefficient of this fraction we find:

$$S(t)=\frac{3+\sqrt{3}}{6}\left( (2+\sqrt{3})^t+(2-\sqrt{3})^t\right) -1$$ and because $|2-\sqrt(3)|< 1$ we can conclude the asymptotic formula:

$$S(t)\sim \frac{3+\sqrt{3}}{6}(2+\sqrt{3})^t -1$$

and we can prove that $S(t)\leq 4^t$ and maybe there will be an expression of $S(t)$ using the function the nearest integer and the previous asymptotic formula.

- Finding nonnegative solutions to an underdetermined linear system
- Show that any convex subset of $R^k$ is connected
- The smallest symmetric group $S_m$ into which a given dihedral group $D_{2n}$ embeds
- Visual proof of $\sum_{n=1}^\infty \frac{1}{n^4} = \frac{\pi^4}{90}$?
- Minimum value of $ \frac{((x-a)^2 + p )^{\frac 12}}{v_1} + \frac{( (x-b)^2 + q )^{\frac12}} {v_2}$
- Example of a ring such that $R^2\simeq R^3$, but $R\not\simeq R^2$ (as $R$-modules)
- The comultiplication on $\mathbb{C} S_3$ for a matrix basis?
- Number of zeros at the end of $k!$
- Closed form for $\sum_{n=0}^\infty\frac{\operatorname{Li}_{1/2}\left(-2^{-2^{-n}}\right)}{\sqrt{2^n}}$
- Show that $\pi =4-\sum_{n=1}^{\infty }\frac{(n)!(n-1)!}{(2n+1)!}2^{n+1}$
- Number of binary strings of length 8 that contain either three consecutive 0s or four consecutive 1s
- Find all positive integers $n$ such that $n+2008$ divides $n^2 + 2008$ and $n+2009$ divides $n^2 + 2009$
- Is totally disconnected space, Hausdorff?
- Find all integer solutions: $x^4+x^3+x^2+x=y^2$
- Does proving (second countable) $\Rightarrow$ (Lindelöf) require the axiom of choice?