All Questions
5 questions
1
vote
1
answer
117
views
Product/quotient of factorials beget dyadic powers
I am writing up some notes and the following occurred to me and I would like to see if there are a variety of ways to prove it. Just for reference, the identity pops out of equality between constant ...
2
votes
1
answer
377
views
Prove positivity of rational functions
We say a rational function $F(z)$ is positive if the coefficients of its Maclaurin expansion, in the variable $z$, are non-negative.
In this context, let
$$F_r(z):=\frac{1 - 2z + z^r - (1 - z)^r}{(1 - ...
9
votes
2
answers
1k
views
A tricky integral to evaluate
I came across this integral in some work. So, I would like to ask:
QUESTION. Can you evaluate this integral with proofs?
$$\int_0^1\frac{\log x\cdot\log(x+2)}{x+1}\,dx.$$
16
votes
6
answers
2k
views
Alternative proofs sought after for a certain identity
Here is an identity for which I outlined two different arguments. I'm collecting further alternative proofs, so
QUESTION. can you provide another verification for the problem below?
Problem. Prove ...
11
votes
3
answers
2k
views
Does anyone recognize this inequality?
In some paper the authors make use of the following inequality without further explanation: Let $x\in\mathbb{R}^n$ with $x_1\le\cdots\le x_n$ and $\alpha\in[0,1]^n$ with $\sum_{i=1}^n \alpha_i=N\in\{1,...