Questions on proving and manipulating inequalities.

learn more… | top users | synonyms (1)

2
votes
0answers
174 views

Weak/Variational Gronwall type inequality

I came across the following weak differential inequality while looking through F.Otto's paper on $L^{1}$ contraction and uniqueness of quasilinear elliptic-parabolic equation: \begin{align*} - ...
2
votes
0answers
150 views

Gagliardo Nirenberg Sobolev inequality

Assume that $f$ satisfies the equality in the Gagliardo Nirenberg Sobolev inequality for the best constant. What can be said about $f$?
2
votes
0answers
76 views

Metric on the set of CDFs with finite p-th moment

Let $\mathcal{F}_p$, $p \ge 1$, be the set of all cumulative distribution functions of real valued random variables whose $p$-th moment is finite. I'm looking for a metric on $\mathcal{F}_p$ and ...
2
votes
0answers
52 views

Search for a candidate function with specific properties?

Given the following expression: $$ \mathcal{F(p,c,r,s)} = \frac{c^2 p^2 \left(s f'(s)-2 f(s)\right)^2}{4 f(s) \left(c^2 f(s) \left(c^2 p^2 f(s)+s^2 \left(r^2-p^2\right)\right)+\left(-r^2-1\right) ...
2
votes
0answers
51 views

Least upper bound for a positive real sequence satisfying $|x_u−x_v|\cdot|u−v|>1$

The starting point of this question is the: IMO 1991, problem 6: Prove that for any $\alpha>1$, there exist a bounded real sequence $\{x_n\}_{n\in\mathbb{N}}$ such that, if $u,v$ are distinct ...
2
votes
0answers
71 views

Convex function Inequality (3 - point version)

I was reading this article on inequalities (which some of you may find useful) here. On page 7, I came across this question by Titu Andreescu, which I shall reproduce here: Question: Let f be a ...
2
votes
0answers
82 views

How to obtain the infimum of this inequalities?

Let $A$ be the family of functions $f(z)=z+a_2z^2+\cdots$ that are analytic in unit disk $D:\{z:|z|<1\}$ and $S$ is the subfamily of functions that are univalent in $D$. $R(a)$ is the subfamily of ...
2
votes
0answers
81 views

Norm inequalities in a reflexive space

I am reading an article about reflexive spaces, with a specific example. The article mentions inequalities that I haven't been able to get around to. Here's the setup. The space $X = (\prod_n ...
2
votes
0answers
50 views

Inequality with $\|\cdot\|_p$ norm

Let $x_1, \ldots, x_{2m}$ be $\{0,1\}$ Bernoulli random variables, i.e. variables which takes values $0$ and $1$ with equal probability. Let $S_m$ be group of all permutations $\pi$ on $\{1, \ldots, ...
2
votes
0answers
93 views

Geometrical Inequality

Let $ABCD$ be a quadrilateral on the unit circle, and the diagonals $AC$ and $BD$ intersects at $E$. If the shortest height of the triangle $ACD$ equals the radius of the incircle of the triangle ...
2
votes
0answers
63 views

Trying to generalize an inequality from Jitsuro Nagura: Does this work?

I am investigating the generality of Lemma 1 in Nagura's proof that there is always a prime between $x$ and $\frac{6x}{5}$. In Lemma 1, Nagura establishes when $n > 1$, $x \ge 1$: ...
2
votes
0answers
29 views

An application of Minkowski iequality.

I am Reading this work on page 21. In the said page, the author reach the inequality: $$\int|\zeta\nabla u^{\beta/p}|^p\leq\Big(\frac{\beta}{\beta-p-1}\Big)^p\int|u^{\beta/p}\nabla\zeta|^p$$ By using ...
2
votes
0answers
72 views

Probability Theory: How to prove inequality $\mathbb{E}|X - m|^3 \leq \mathbb{E}|X|^3 (1 + \frac{m}{\sigma})^3$

Let's define $X$ - random variable with $F(x)$ distribution function. Also, denote $m = \mathbb{E}X$ and $\sigma^2 = \mathbb{D}X$. Suppose, that $m>0$. How to prove this inequality in these ...
2
votes
0answers
259 views

Bounds for the exponential integral

In Abramowitz and Stegun: Handbook of Mathematical Functions (on page 229, property 5.1.20) it is found that $$ \frac{1}{2} \log \left(1 + \frac{2}{x} \right) < \exp(x) E_1(x) < \log \left(1 + ...
2
votes
0answers
83 views

Azuma's inequality with high probabilistic bounds

Let $(X_n)_{n \geq 0}$ be a super-martingale, that is $\mathbb{E}[X_{n+1} \mid X_1, \dots, X_n] \leq X_n$. Let's further assume that $\Pr[|X_n - X_{n-1}| < c_n] \geq 1-\delta$. Does there exist any ...
2
votes
0answers
114 views

Quadratic variation process of $G$–Brownian motion

I would like to prove the inequality $$\hat{\mathbb{E}}\left[\left(\int^T_0 \eta_t d \langle B \rangle_t \right)^2\right] \leq C \hat{\mathbb{E}}\left[ \int^T_0 \eta^2_t dt \right],$$ where $\langle B ...
2
votes
0answers
123 views

Proving that $|x|^p,p \geq 1$ is convex

I want to show that $|x|^p,p \geq 1$ is convex, for this i have to prove the inequality $|(1-\lambda )x+\lambda y)|^p \leq (1-\lambda)|x|^p+\lambda |y|^p $ for $\lambda \in (0,1)$ Can anyone prove ...
2
votes
0answers
36 views

For which minimal $k$ true is that ${4}^{k}\cdot n\leq \displaystyle\sum^{n}_{i=1}{a}_{i}^{k}\leq {5}^{k}\cdot n$, ${a}_{i}\in {1,2,3,4,5,6}$?

I've got the following inequality, which bounds Minkowski distance. ${4}^{k}\cdot n\leq \displaystyle\sum^{n}_{i=1}{a}_{i}^{k}\leq {5}^{k}\cdot n$ and values of ${a}_{i}\in {1,2,3,4,5,6}$ We know all ...
2
votes
0answers
60 views

Lower bound on diophantine system of inequalities with all but one non-linear constraint

I have a system of $n+1$ diophantine inequalities, in the following form: $$f_{1}(x_1, x_2, \dots, x_n) \geq 0$$ $$f_{2}(x_1, x_2, \dots, x_n) \geq 0$$ $$\vdots$$ $$f_{m}(x_1, x_2, \dots, x_n) ...
2
votes
0answers
259 views

Find a tight upper bound of the following expectation.

I am stuck in finding a tight upper bound (as tight as possible) of the following expectation $$E\left [ (1-a\cdot b^{X})^{m} \right ]$$ where $X\sim B(n-1,p)$ is a binomial random variable.In ...
2
votes
0answers
132 views

How to solve systems of polynomial inequalities?

I am currently working on a project that deals with systems of inequalities and so far I have found algorithms for the basic case of a system of inequalities as well as the non-strict linear ...
2
votes
0answers
114 views

Inequality with binomial coefficient

Let $n$ be a natural number, $m\in [-n, n]$. Let $p=0,\ldots, \frac{n+m}{2}$. Show, that for all $p$, $$ {n \choose \left[{\frac{n+m}{2}}\right]}\geq \frac{2^{n+1/2}}{\sqrt{n-p/2}}. $$ Thank you for ...
2
votes
0answers
51 views

Symmetric matrices $M$ such that $x,y\geq 0$ implies $(x^t M y)^2\geq (x^t M x)(y^t M y)$

Is there a name for $n$-by-$n$ symmetric matrices $M$ such that for all $n$-dimensional non-negative-valued vectors $x,y$ we have $$(x^t M y)^2 \geq (x^t M x)(y^t M y)?$$ In particular I am ...
2
votes
0answers
45 views

Randomized Solution to a System of Inequalities

Given a set of $\mathbf v_i \in \{0,1\}^k$ for $i=1,\dots,n$ and a vector $\mathbf x \in [0,1]^k$, we want to decide if the following inequality holds or not: $$ \mathbf x \le \sum_{i=1}^n \alpha_i ...
2
votes
0answers
111 views

Inequality with even powers of trigonometric functions

For $m>0$, $0 < n\leqslant m+1$ ($m,n\in \mathbb{Z} $) , and $0 < a < 1$ , prove that $$2^{n}\cdot \left( a^{n}\cos ^{2m}\dfrac {\pi a} {2}+\left( 1-a\right) ^{n}\sin ^{2m}\dfrac {\pi ...
2
votes
0answers
39 views

The sign of a sum of integrals over a probability measure

Let $\mu$ be a probability measure, $f$ a function taking values in $[0,1]$. I am trying to determine the sign of the expression $$3\left( \int f^2 d\mu \right)\left( \int f d\mu \right) - 2 ...
2
votes
0answers
127 views

Inequality involving norms.

Suppose $p,q,r \in[1, \infty)$ and ${1\over r} = {1\over p} + {1\over q}$ . How can I use Minkowski's Inequality for prove below? $$||fg||_r \le ||f||_p||g||_q$$
2
votes
0answers
97 views

Inner product and inequalities

Suppose $p:[0,1]\to \mathbb C$ is a curve where $p(t)=u(t)+iv(t)$ and $u,v$ are smooth functions of $t$. Why then is $$\left(\int_0^1 \langle \dot{p},\dot{p}\rangle^{1\over 2} dt\right)^2\le \int_0^1 ...
2
votes
0answers
111 views

Generalizing an approach to proving AMGM

This problem is Exercise 5.5.30 of "The Art and Craft of Problem Solving" by Paul Zeitz. The problem asks to use the identity $$ a^3+b^3+c^3-3abc = (a+b+c)(a^2+b^2+c^2-ab-ac-bc) $$ to prove the AMGM ...
2
votes
0answers
146 views

Can anyone point me to an elegantly simple proof of Muirhead's Inequality?

I am currently finishing a project for a module I have in Mathematical Investigations. I have been looking at inequalities and ways to produce true inequalities in homogeneous symmetric form. I have ...
2
votes
0answers
134 views

another inequality involving complex numbers.

Let $\{z_i\}$, $i=1,2,\ldots,n$ be a set of complex numbers. Then I know that there is a set $J$ such that $$\left|\sum_{j\in J} z_j\right|\ge \frac{1}{\pi} \sum_{k=1}^n |z_k|. $$ However, how do I ...
2
votes
0answers
166 views

Help with an integral inequality involving an incomplete beta function

I would like to determine if the following inequality is true: ...
2
votes
0answers
172 views

A trigonometric inequality involving sine

Let $0<a<\pi/2,0<b<\pi/2$, $0<\lambda<1, \mu=1-\lambda$. Does anyone see a good proof of the inequality: $$\sin(\lambda a)\sin(\lambda b)+\sin(\lambda a)\sin(\mu ...
2
votes
0answers
259 views

Two vague steps in the proof of Harnack inequality

I am reading the book Elliptic and Parabolic Equations and the proof is excerpted from page 133-136. In Theorem 5.1.3: it claims that ...
2
votes
0answers
85 views

Single solutions to an inequality

Suppose we had an inequality $ax < by < cx$ where $a,b,c,x,y \in \mathbb Z$. If we fix $a,b,c$ and let $x,y$ vary how can we find the values of $x$ for which only a single $y$ satisfies the ...
2
votes
0answers
212 views

Bounding function from below

I would like to obtain a bound from below for the function $$f(p) = \frac{pe - (1-p)^{d+1}v}{p^{v-1}}$$ subject to $0 < p \leq 1$ and $e,v,d > 0.$ The usual method is to check the boundary ...
2
votes
0answers
268 views

Sharp (Reverse) Harmonic-Arithmetic Mean Bounds

Let $\mathbf{x} =$ {$x_{i}$} be a set of $n$ positive reals. In every good book on inequalities, one finds the classical result \begin{eqnarray} AM(\mathbf{x}) \geq GM(\mathbf{x}) \geq ...
1
vote
0answers
49 views

How prove this complex inequality with same as (2014 china CMO) Cauchy-Schwarz inequality

let $r$ is give numbers,let $z_{1},z_{2},\cdots,z_{n}$ such $|z_{i}-1|\le r,i=1,2,\cdots,n,r\in(0,1)$ show that ...
1
vote
0answers
15 views

Inequality to bound $\sum_i a_i b_i - \sum_i c_i d_i$ (harmonic eigenfunction/graph) type sum with constraints

We have a homogeneous graph $G = (V,E)$ with a function $f:V\rightarrow \mathbb{R}$. We define the following modulus: $\displaystyle \omega(s) = \sup\{f(x)-f(y) \ | \ |x-y|=s \}$ and wish to lower ...
1
vote
0answers
28 views

Find a Liapunov function to show asymptotically stable

Consider the system: \begin{cases} \dfrac{dx}{dt} = y \\[12pt] \dfrac{dy}{dt} = -(1+x^{2})\,y-\sin(x) \end{cases} $(0,0)$ is a critical point of this system and I need to show that it is ...
1
vote
0answers
31 views

Inequality of finite sequences of real numbers .

Is the following inequality true for real numbers $\lambda_{i}$ and $\mu_{i}$ $$\dfrac{\sum_{i=1}^{n}\lambda_{i}\mu_{i}^{2}}{\sum_{i=1}^{n}\lambda_{i}}\times \dfrac{1}{1+\sum_{i=1}^{n}\mu_{i}^{2}} ...
1
vote
0answers
45 views

Inequality in inverse Laplacian

I have the following problem, which is motivated by geometric diffusion on a directed graph. Conjecture. Let $A \in [0,1]^{n\times n}$ be strictly substochastic - i.e. $\forall i ~ \sum_j A_{i,j} ...
1
vote
0answers
35 views

A simple elementary inequality (without ABC Thm)

I want to solve this following inequality. $$\sum_{sym } x^5 - 7 \sum _{sym} x^4y + 7 \sum_{sym} x^3 y^2 + 10 \sum_{sym} x^3 yz - 11\sum_{sym} x^2y^2z \ge 0 $$ whenever $ x,y,z \ge 0 $ I do not want ...
1
vote
0answers
26 views

$L^2$ inequality for derivatives of polynomials on triangles

I'm reading a paper which states the following inequality, but the (presumably) elementary proof is cited to be in a document, which is too old to get access to. Let $p: \mathbb{R}^2 \to \mathbb{R}$ ...
1
vote
0answers
37 views

Find a family of linear inequalities for which the unit ball is a solution set

Find a family of linear inequalities for which the unit ball $A = \{x \in \mathbb R^n \ | \ \|x\|_2 \le 1\}$ is a solution set Would it just be $x_1^2 + ... + x_n^2 \le 1$?
1
vote
0answers
39 views

On the average length of the Steiner net for $n$ randomly chosen points in the unit square

$n$ points are randomly chosen in the unit square with respect to the uniform measure. What is the average length $L$ of the associated Steiner net (tree of minimum length through each of the $n$ ...
1
vote
0answers
20 views

Normal pdf/cdf inequality

Let $\Phi$ be the cdf and $\phi$ the pdf of the standard normal distribution. I want to show that: $$ \Phi(z)[1-\Phi(z)]\geq \phi(z)^2, \quad z\in\mathbb R. $$ How can I do this? I tried by looking at ...
1
vote
0answers
21 views

An integral inequality

Suppose $K\in C[0,1]^2$, $G\in C[0,1]$ are arbitrary and given. The question is that does there exists $H\in B[0,1]$ continuous a.e. with possibly finitely many discontinuities such that $$ ...
1
vote
0answers
44 views

An Inequality $\dfrac{1-x^{2n+1}}{1-x}\geq (2n+1)\ x^{n}$

Show : $${\displaystyle \forall\ n \in \mathbb{N}^* \quad \forall\ x \in [0,1]\cup (1,+\infty)\quad \dfrac{1-x^{2n+1}}{1-x}\geq (2n+1)\ x^{n} }$$ My attempt: Method 1: Case $x=0$, $$1\geq0$$ ...
1
vote
0answers
49 views

How prove this $\left[\frac{n}{\sqrt{3}}\right] +1\ge \frac{n^2}{\sqrt{3n^2-\frac{50}{9}}}$

For any integer $n\ge 2$ ,Prove that: $\left[\frac{n}{\sqrt{3}}\right] +1\ge \frac{n^2}{\sqrt{3n^2-k}}$ . when $k=\dfrac{50}{9}$ This $k$ is folowing idea found it. let $n=2$,then we have ...