All Questions
Tagged with real-analysis inequalities
339 questions
2
votes
0
answers
101
views
An inequality related to Problem 10210 AMM 1992 No. 3
Problem. Let $A$ be a $N \times N$ real matrix whose $(i,j)$ entry is $a_{ij} \ge 0, \forall i, j$. Let $1$ denote $N\times 1$ all-ones vector. Prove that
$$N^2 1^\top A^\top A A^\top 1 \ge (1^\top A ...
- 1,053
1
vote
0
answers
100
views
Prove or disprove that $|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$
$|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$.
I had this conjecture for a long time. I tried various methods and techniques but they all failed. It might also be wrong ...
- 178
5
votes
2
answers
355
views
Can one show that $(-1)^{n-1} {(1/\zeta)}^{(n)}(x) >0$ for all real $x>1$?
Is it true that $(-1)^{n-1} {(1/\zeta)}^{(n)}(x) >0$ for all real $x>1$ ?
Or in other words can you show that the higher order derivatives of the reciprocal of the Riemann zeta function ...
- 178
0
votes
1
answer
71
views
Upper bound on higher order derivatives of $\frac{1}{v(t)}$
Suppose that $ v(t) >l>0$ and
$$
\vert v^{(k)}(t) \vert \leq c \frac{k!}{r^k}.
$$
Can we give an upper bound for
$$
(\frac{1}{v(t)})^{(k)}
$$
?
Attempt:
We first compute the first fourth order ...
- 269
5
votes
0
answers
204
views
A proof for an $L^p$-$L^p$ inequality
This is a transfer of the question
https://math.stackexchange.com/questions/4996853/an-lp-lp-inequality
Let $a\in (0,1)$ and $1<p<\infty$ and use $L^{p}$ to denote the space $L^{p}([0,\infty))$ ...
- 852
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 178
6
votes
1
answer
568
views
Can one show that $|\zeta'(x) / \zeta^2(x)| \leq 1/(x-.5)$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{\zeta'(x)}{\zeta^2(x)}\right|\leq \frac{1}{x-\frac{1}{2}}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the inequality and got this inequality ...
- 178
1
vote
1
answer
124
views
$d(x,y) = \min\{|x_1−y_1|+|x_2−y_2|, 1−|x_1−y_1|+|x_2−(1−y_2)|\}$ defines a metric on $[0,1)\times[0,1]$? [closed]
For $x,y \in [0,1)\times[0,1]$, let $d(x,y)$ be the minimum of $|x_1−y_1|+|x_2−y_2|$ and $1−|x_1−y_1|+|x_2−(1−y_2)|$. Prove or disprove that $d$ is a metric.
I was unable to find a counterexample to ...
- 21
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
1
answer
50
views
Increasing function of $\theta$ for the Ali-Mikhail-Haq Survival Copula
I have been trying to solve the following function is non-increasing (non-decreasing) with respect $\theta$ where $\theta \in (0,1)$ (resp. $\theta \in (-1,0)$)
\begin{equation}
f(\theta)= \frac{h(t,\...
- 23
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
7
votes
1
answer
179
views
More on the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G=(g_{ij}\colon i,j=1,\dots,6)$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$. Let
$$u:=\sum_{1\le i<j\le 6}g_{ij}^2,\quad v:=\sum_{1\le i<j<k\le 6}g_{ij}g_{ik}g_{jk}.$$...
- 128k
4
votes
1
answer
96
views
On the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$.
Can the mean of the squares of the off-diagonal entries of $G$ be $<1/5$?
Remark 1: A numerical experiment suggests that $...
- 128k
11
votes
2
answers
425
views
Maximization of a cubic form over the $14$-dimensional sphere
For any integers $i$ and $j$ such as $1\le i<j\le6$, let $x_{ij}$ be a nonnegative real number.
Is it true that, given the condition
$$\sum_{1\le i<j\le6}x_{ij}^2=1,$$
the sum
$$\sum_{1\le i<...
- 128k
6
votes
2
answers
492
views
Does this polynomial have a real zero less than or equal to $1/2$?
Is the smallest root $x$ of
$$
10x^{3}-30x^{2}+\left(30-2\sum_{1\le i<j\le6}\cos^{2}\alpha_{ij}\right)x\\
+2\sum_{1\le i<j\le6}\cos^{2}\alpha_{ij}-\sum_{1\le i<j<k\le6}\cos\alpha_{ij}\cos\...
user538574
9
votes
3
answers
2k
views
Smallest root of a degree 3 polynomial
Is it true that the smallest root $t$ of the polynomial
$$
20 t^3 - 30 t^2 + (12 - 4 \cos^2 \alpha - 4 \cos^2 \beta - 4 \cos^2 \gamma) t + \cos^2 \alpha + \cos^2 \beta + \cos^2 \gamma - 2 \cos \alpha \...
- 171
13
votes
2
answers
1k
views
Probability vector $p$ majorizes its normalized entropy vector $\small \frac{-p\log p}{H(p)}$
I guess the following inequality
$$ \sum_{i=1}^n g \left (\frac{-p_i \log p_i}{H(\boldsymbol{p})} \right ) \le \sum_{i=1}^n g (p_i)$$
holds for any continuous convex function $g$ and any probability ...
- 303
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
3
votes
0
answers
118
views
A matrix-valued analogue of a classical inequality
Let $p \geq 4$ be an even integer. In the study of variational problems in $W^{1, p}$, it is handy to know that for $a, b \in \mathbb R^d$,
$$|a - b|^p \leq 2^{p - 1} (|a|^{p - 2} + |b|^{p - 2}) |a - ...
- 708
21
votes
2
answers
2k
views
Boundedness of sum of sin(sin(n))
Playing with desmos I have accidentally noticed that the sequence of partial sums
$$\left\{ \sum_{n=1}^{N}\sin(\sin(n)) : N\geq 1 \right\}$$
is bounded.
However, I did not succeed in proving this ...
5
votes
0
answers
167
views
Bounding elementary symmetric polynomials away from zero
Let $2 \leq m \leq n$ be integers and let $\mathbf{x} \in \mathbb{R}^n$ (importantly, I am not assuming that the entries of $\mathbf{x}$ are non-negative). The elementary symmetric polynomials are ...
- 6,351
6
votes
2
answers
225
views
On a trigonometric inequality by Huygens
The following inequality, ascribed to Huygens, appeared in this post:
\begin{equation*}
1-\frac43\,\frac{\sin^3\theta/2}{\theta-\sin\theta}
>(1-\cos\theta/2)\Big(\frac35-\frac3{1400}\frac{\...
- 128k
1
vote
2
answers
231
views
A real root of a cubic equation for a stationary point
Let us consider the quartic polynomial in $x$
\begin{equation}
F(x) = (2 a p +2)x^4+ (6a(1-a)p^2+(6-12a)p-6)x^3
+ p(2(a-2)(a-1)a p^2 + 3(5a^2-9a+2)p +12a-18)x^2
- p^2 ((a-2)(4a^2 ...
- 371
1
vote
1
answer
93
views
Bound measure of difference of advected sets by norm of difference of vector fields
Consider two smooth vector fields $v$ and $u$ in $\mathbb{R}^n$, and a smooth set $\Omega$. Consider the flow of $\Omega$ via $v$ and $u$ for a time $T$, namely let
$$ \Omega_v =\{x(T, x_0) | x \text{ ...
- 697
1
vote
1
answer
120
views
Does Gaussian heat kernel ensure $\int_{\mathbb R^d} (1+|x|) \sqrt{\ell_{t_0} (x)} \, \mathrm d x < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $\ell : \bR^d \to \bR_+$ be a probability density function such that
$$
\int_{\bR^d} (1+|x|) \sqrt{\ell (x)} \diff x < ...
- 835
2
votes
1
answer
106
views
Lower bounds for the expectation of log ratio between the posterior and prior Beta densities
The quantity I'm interested in is expressed as follows:
$$
I = \mathbb{E}_{k\sim \text{Binom}(n,p)} \left[\ln \frac{\text{Beta}(p;a+k,b+n-k)}{\text{Beta}(p;a,b)}\right]
$$
The term inside the ...
- 63
2
votes
2
answers
191
views
Gronwall's inequality in discretized time
$
\newcommand{\RR}{\mathbb{R}}
\newcommand{\TT}{\mathbb{T}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\PP}{\mathbb{P}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\FF}{\mathbb{F}}
\newcommand{\PPP}{\...
- 835
11
votes
1
answer
676
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 196
2
votes
1
answer
321
views
A strange functional inequality
Let $f,g \in C([-2,2],\mathbb R_+^*)$ even and concave real functions.
Is it true that
$$
\int_0^1 f\big(\cos(x^{-1})+\sin(x^{-1})\big) \cdot g\big(\cos(x^{-1})-\sin(x^{-1})\big) \mathrm{d}x\\ \leq f(...
- 4,074
4
votes
1
answer
492
views
Does $f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$ imply $f=0$?
Let $\beta \in (0, 1)$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that
$$
f(t) \le \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s,
\quad \...
- 835
2
votes
1
answer
154
views
Grönwall-type inequality for $f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$
Let $\alpha \in (0, \infty)$ and $\beta \in (0, 1]$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that
$$
f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(...
- 835
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 537
0
votes
0
answers
71
views
Reference request for equivalent Lipschitz smoothness conditions
For an open set $Z\subseteq\mathbb{R}^n$, let $f: Z\mapsto \mathbb{R}$ be a continuously differentiable function on $Z$, and let $L>0$ be fixed. Also, suppose that (a) $f$ is nonconvex and (b) $f$ ...
2
votes
0
answers
159
views
Upper bound of a product of sines
Consider the function
$$ f_n(t)= \prod_{1 \leq k \leq n-1,\\ \gcd(k,n)=1} \sin\Big(t-\frac{k \pi}{n}\Big),\quad t \in [0,\pi].$$
I wonder whether it is possible to compute some nontrivial upper ...
- 826
0
votes
3
answers
278
views
A generalisation of Tchebychev inequality
Let $f,g \in C(\mathbb R)$ with $\exists M \in \mathbb R^*, \forall (x,y) \in \mathbb R^2, M\times (f(x)-f(y))(g(x)-g(y)) \geq 0$.
Is it true that exists $ u$ any real function, and $a,b$ monotone ...
- 4,074
2
votes
2
answers
235
views
$L^p$ domination of mixed partial derivatives of the 3rd order by the unmixed ones?
Is it true that for each real $p>1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^3$ one has
$$\|D_1D_2D_3u\|_p\le C_p(\|D_1^3u\|_p+\|...
- 128k
3
votes
0
answers
86
views
Finite dimensional distribution of a stochastic process Lipschitz on every relatively compact set
Let $X_t$ be a Markovian Itô diffusion process, defined by an SDE
\begin{equation}
dX_t = \mu(X_t)\,dt + \sigma(X_t)\,dW_t\,.
\end{equation}
Let $f(x,t|x_0,0)$ denote its transition density function. ...
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
- 128k
0
votes
1
answer
135
views
On polynomial equation of fourth order depending on two parameters and bound on a maximal root
I would like to apologize in advance for a too technical question. Let us consider the following fourth order polynomial equation in $x$:
\begin{eqnarray}
F(x) \equiv (2 a p +2)x^4+ (6a(1-a)p^...
- 371
5
votes
1
answer
167
views
Upper bound for the $n$-th derivative of a rational function $\frac{f}{f+g}$
Let $f$ and $g$ be real polynomials with nonnegative coefficients. Let
$$
h = \frac{f}{f+g}.
$$
I want to prove that the $n$-th derivative of $h$ satisfies:
There exists $C > 0$ such that
$$
|h^{(...
- 187
1
vote
1
answer
66
views
Upper bound $I_R := \int_{B_R^c} |x| (P_t \ell_\nu) (x) \, \mathrm d x$ in terms of $R, \nu, t$?
Let $(p_t)_{t >0}$ be the Gaussian heat kernel on $\mathbb R^d$ and $(P_t)_{t >0}$ its induced semi-group, i.e.,
$$
\begin{align}
p_t (x) &:= (4\pi t)^{-\frac{d}{2}} e^{-\frac{|x|^2}{4t}},
\...
- 835
3
votes
1
answer
493
views
A strange condition of convexity?
During my research, I come across this question.
Let $f \in C^2(\mathbb R, \mathbb R_+^*)$ with $\forall x \in\mathbb R, f'(x) \geq |f''(x)+f(x)|$.
Is it true that $\forall x \in \mathbb R, f''(x) \...
- 4,074
1
vote
1
answer
106
views
Upper bound $I (t) := \sup_{x \in \mathbb R^d} \int_{\mathbb R^d} \frac{|x-y|^\alpha}{t^{d/2}} \exp ( - \frac{|\psi(x) - y|^2}{t} ) \, \mathrm d y$
Let $\alpha \in (0, 1)$ and $\psi : \mathbb R^d \to \mathbb R^d$ be a $C^\infty$-diffeomorphism such that $\|\nabla \psi\|_\infty + \|\nabla \psi^{-1}\|_\infty < + \infty$. Let
$$
I (t) := \sup_{x \...
- 835
1
vote
1
answer
136
views
Inequality with convolution
I have some troubles with the following problem:
A definition
Let $\sigma_1$ and $\sigma_2$ two positive numbers. We denote for all $x\in\mathbb{R}$, >$G_\sigma\left[ \phi \right](x)$ the gaussian ...
- 393
4
votes
2
answers
485
views
How to get this inequality in Santambrogio's book about optimal transport?
Let $\hat{\varrho}, \tilde{\varrho}$ be probability density functions on $\mathbb R^d$ where $\tilde{\varrho} \in L^{\infty} (\mathbb R^d)$. For $\varepsilon \in [0, 1]$, we define $\varrho_{\...
- 835
1
vote
0
answers
70
views
A possible upper bound for a function that satisfies a singular integral inequality
I am currently working on an analysis problem in fractional calculus and after some work I have encountered the following inequality:
$$
|v(s)|~\leq \epsilon+\beta \int_{0}^{1}|s-x|^{\alpha-1}\left(
|...
12
votes
4
answers
1k
views
Understanding the condition $\frac{1}{p} + \frac{1}{q} = 1$ in the estimate $xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$
I just read a proof of Holder's inequality in measure theory, which boils down to the following inequality:
$$xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$$
where $x,y\ge 0$ and $\frac{1}{p} + \frac{1}{q} = ...
- 7,527
1
vote
1
answer
143
views
$L^1$ error between indicator function and smoothed out version
For a large parameter $r>0$, consider the indicator function $1_{[-r,r]}$ and its convolution with the (normalized) Gaussian $\frac{1}{\sqrt{\pi}}e^{-x^2}$, that is,
$$f_r(x) = \frac{1}{\sqrt{\pi}}\...
- 101
6
votes
1
answer
379
views
An inequality for a concave function $f(x)=x^{p/2}$
Assume that $p\in(1,2]$, $a,b\ge 1$, $b\le -\frac{1}{2} \left(\cos\frac{\pi }{p}+\sec\frac{\pi }{p}\right)$, and $t\in[0,\pi]$. How to prove this inequality $$\left(\frac{a+\cos t}{b+\cos\frac{\pi }{...
- 333
1
vote
0
answers
269
views
Monotone likelihood ratio of a kernel based on $\log(\cosh(x))$
Let $f(x) = \log(\cosh(x))$, and define the kernel density:
$$p_r(\phi;\theta) = \Big(f\big(r\cos(\phi-\theta)\big) - f\big(r\cos(\phi+\theta)\big) \Big)\hspace{0.5pt} \frac{\sin(2\phi)}{\sin(2\theta)}...
- 391