All Questions
18 questions
3
votes
1
answer
309
views
Extremizing sequence consists of two elements
Let $\mathcal A_{s}$ be the set of sequences $X=(x_m)_{m \in I}$ where $I=\{1,2,...,n\}$ with $n \ge 2$ and possibly $n =\infty$ is an index set with $x_1=0$, $x_2=s>0$ and $x_m>x_{m-1}$ for $m,...
1
vote
2
answers
102
views
About the recursive inequality $w_p \geq (1-\frac {\pi}n)w_{p-2n} + 2\pi + o(1)$
Suppose we have a non-decreasing sequence of positive real numbers that tend to infinity: $0<w_1\leq w_2\leq w_3\leq...$ It is known that:
For every $n$ and $p\geq 2n$, we have $w_p \geq (1-\frac {...
- 525
2
votes
0
answers
94
views
A surprisingly simple and difficult problem on sums of upper bounds
Let $T$ be a large integer, and $C$ be a positive real constant.
Consider a sequence $\{p_t\}_{T\geq t\geq 1}$ of real numbers in $[0,1]$. The sequence $\{b_t\}_{T\geq t\geq 1}$ can be defined as ...
- 353
7
votes
2
answers
419
views
A counterexample showing $BV_p \neq AC_p$
I am trying to work through a supposedly simple counterexample given in papers by Love and Gehring regarding a $p$-power generalization of bounded variation and absolute continuity.
Let $p > 1$. ...
- 217
9
votes
2
answers
354
views
Asymptotics of a quadratic recursion
Consider the sequence defined by
\begin{align}
c_0 &{}= 1 \\
c_n &{}= 2\,n\,c_{n-1}-\frac{1}{2}\sum_{m=1}^{n-1}c_m\,c_{n-m}.
\end{align}
How can you prove that it has the following asymptotics ...
1
vote
1
answer
583
views
A discrete version of Poincaré's inequality
Given a (bounded) sequence $\{q_n\}_{n\geq 0}$ such that $\lvert q_n\rvert \leq 1$ for all $n \geq 0$ and $\sum_{n\geq 0} q_n = 0$. We can impose the condition that $\sum_{n\geq 0} \lvert q_n\rvert \...
- 730
1
vote
0
answers
70
views
An inequality for a recursively defined sequence of numbers
Consider an arbitrary sequence $(x_n)_{n \in \mathbb{N}} \subseteq \mathbb{R}$ and $r \in \mathbb{R}$ with $r > 2$.
Set $y_0 = 1$ and $z_0 = 0$ and for $n \in \mathbb{N}$ recursively define
$$y_n = ...
- 111
7
votes
2
answers
455
views
On a monotonicity property of Fourier coefficients of truncated power functions
Is it true that
$$a_{k,n}:=\int_0^{2\pi}x^k\cos(nx)\,dx$$
is nonincreasing in natural $n$ for each $k\in\{0,1,\dots\}$?
This question is related to this previous one.
Twice integrating by parts, one ...
- 128k
0
votes
1
answer
60
views
Bounding the ratio of the $\ell_1$-norms of two real-valued $n$-vectors as a linear combination of their $n$ element-wise ratios
Let $a_1, a_2, \ldots a_n$ and $b_1, b_2, \ldots b_n$ be two sequences of $n\gg 1$ real numbers such that, for all $1\le i\le n$, we have $0<a_i \le b_i\le 1$. Let the ratio $R$ defined as follows:
...
- 1,677
9
votes
2
answers
2k
views
An inequality involving square roots and sums
I've been trying to prove (maybe even disprove) the following inequality:
$$
\sum_{n=1}^{N} \frac{a_n}{\sqrt{\sum_{i=1}^{n}a_i}} \leq C \sqrt{\sum_{n=1}^{N}a_n}
$$
Where $ a_1,...,a_N\geq 0 $ are ...
- 109
2
votes
1
answer
200
views
Proof of a discrete isoperimetric inequality
The following inequality appears in the proof of certain isoperimetric-type inequalities for analytic functions in two dimensions:
$$\sum_{m=0}^{\infty}\frac{|c_m|^2}{m+1} \leq \pi \left(\sum_{m=0}^{...
- 434
6
votes
1
answer
340
views
Inequality for functions on [0,1], continued
Let $0<a<1,\; \psi_a(x)=\displaystyle \prod_{j=0}^\infty (1-a^jx).$ For each $ k\in \mathbb{N},$ set
$$f_k(a;x):=\frac{x^k}{(1-a)(1-a^2)\dots (1-a^k)}\,\psi_a(x).$$
Question. Is it true that, ...
- 783
1
vote
0
answers
150
views
Proving the existence of a sequence with recursive growth constraints
Fix $0 < c < 1/3$. Show that there exists a strictly increasing sequence $a_k > 0$, a sequence $b_k \geq 0$, and an infinite set $K \subseteq \mathbb{Z}_{>0}$ such that
\begin{align}\...
- 161
10
votes
2
answers
886
views
An attempt to generalize the previous inequality
In my previous MO question, the inequality was about a specific series and nicely answered by Cherng-tiao Perng. After testing with a few more numerical infinite sums, I came to realize that perhaps ...
- 43.2k
4
votes
1
answer
1k
views
seeking proofs: infinite series inequalities
Question. Numerically, the following is convincing. However, is there a proof?
$$\left(\sum_{k\geq1}\frac1{\sqrt{2^k+3^k}}\right)^4
<\pi^2\left(\sum_{k\geq1}\frac1{2^k+3^k}\right)\left(\sum_{k\...
- 43.2k
1
vote
0
answers
99
views
simultaneous smallness
QUESTION. Given reals $0 < \epsilon, \delta < 1$, is it always possible to find $m, n \in \mathbb{N}$ such that
$$\begin{cases} \qquad \,\,\,\, \,(1-\delta^m)^n < \epsilon \\
1-(1-(\frac{\...
- 43.2k
3
votes
0
answers
275
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_{...
- 959
4
votes
2
answers
5k
views
Ratio of Sequences Sum Inequality
I have two real sequences $a_1,a_2,\dots,a_n$ and $b_1, b_2, \dots, b_n$, with $a_i > 0$ and $1 \leq b_i < n$, and I'm looking for a lower bound of $\sum_i \frac{a_i}{b_i}$ in terms of $\sum_i ...
- 1,182