The tag has no usage guidance.

learn more… | top users | synonyms (1)

3
votes
1answer
49 views

An inequality in cyclic polygon and tangential polygon

I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following: Let $A_1A_2.....A_n$ be a cyclic polygon and $B_1B_2....B_n$ be the its tangential polygon. Let P be ...
3
votes
1answer
148 views

A generalization of Erdős–Mordell inequality

I proposed my conjecture generalization of Erdős–Mordell inequality as following: Let $A_1A_2....A_n$ be a polygon in a plane, $P$ be the point in $A_1A_2....A_n$. Let $d_i$ be the distances from $P$ ...
1
vote
0answers
34 views

Concentration of functional of Gaussian random variable

Suppose I have two Gaussian distributions $p(x) = \frac{1}{(2\pi)^{d/2}|\Sigma_p|^{1/2}}\exp(-\frac{1}{2}x^\top \Sigma_p^{-1} x)$ and $q(x) = \frac{1}{(2\pi)^{d/2}|\Sigma_q|^{1/2}}\exp(-\frac{1}{2}x^\...
4
votes
1answer
64 views

uniform one-sided van der Corput inequality

Is the following true (and if yes, where the best proof is written?)? For any $c>0$ for large enough positive integers $N$ we have $\sum_{k=0}^{N-1} \cos(k^2t)\geqslant -cN$ for all real $t$? Hm,...
2
votes
1answer
53 views

How to compute bounding coefficients for McDiarmid's inequality?

I am trying to understand the proof in Sec. A2 of Gretton et al.. To make the question self-contained, I summarize below the key ingredients. At the end of the post, I state my question. Given a ...
0
votes
0answers
21 views

Interpolation inequality for fractional Sobolev spaces

In Theorem 5.2 of the book Robert A. Adams and John J. F. Fournier, MR 2424078 Sobolev spaces, ISBN: 0-12-044143-8. is stated that, for any integers $0 \leq j \leq m$ and $u \in W^{m,p}(\Omega)$ (...
1
vote
1answer
111 views

Global Poincaré type estimate

For simplicity let us assume we are considering $\mathbb{R}^3$. Let us define the weighted Sobolev norm $\| u \|^2_{L^2_{\alpha}}= \int_{\mathbb{R}^3} |u|^2 \langle x\rangle^{\alpha}$ where $\langle x ...
3
votes
1answer
86 views

maybe this conjecture also hold to this complex inequality

I have solve this following Question: Complex numbers ${x_i},{y_i}$ satisfy $\left| {{x_i}} \right| = \left| {{y_i}} \right| = 1$ for $i=1,2,\ldots ,n$. Let $x=\frac{1}{n}\sum\limits_{i=1}^n{{...
0
votes
0answers
52 views

deriving concave upper bounds of a domain constrained nonconvex function over a simplex

Consider a nonconvex function $h(X)=f(X^\dagger AX)$, where $X\in C^{r \times n}$, $A$ is a positive semidefinite matrix, and $f$ satisfies the following two properties: \begin{align} &f(W): H_{+}^...
1
vote
1answer
99 views

An inequality for real numbers [closed]

I need to prove the following inequality. For every $a,b,x,y \in [0,1]$, it holds that: $abx + (1-a)(1-b)y \leq \left( a^2b^2x^4 + (1-a)^2(1-b)^2y^4 \right)^{1/4}$ I don't know if this is correct ...
6
votes
4answers
410 views

Find the best constant to this bounded inequality

Let $n$ be postive integer number, and $x_{i}\ge 0$, such $$x_{i}x_{j}\le 4^{-|i-j|},1\le i,j\le n$$ then I have prove $$x_{1}+x_{2}+\cdots+x_{n}<\dfrac{5}{3}$$ Edit Add Proof:since $x^2_{i}\le 1,...
2
votes
1answer
83 views

Differential equation with inequality constraints

Does there exist a $\gamma > 0$ and functions $g$ and $f$ s.t. we have the following for all $x \in [0, 1]$: $$ g(x) \in [0, 1] \\ f(x) \in [0, x] \\ x \frac{d}{dx}g(x) - \frac{d}{dx}(g(x)f(x)) = 0 ...
23
votes
1answer
512 views

Inequality for hook numbers in Young diagrams

Consider a Young diagram $\lambda = (\lambda_1,\ldots,\lambda_\ell)$. For a square $(i,j) \in \lambda$, define hook numbers $h_{ij} = \lambda_i + \lambda_j' -i - j +1$ and complementary hook numbers $...
2
votes
1answer
104 views

estimation of a vector-function

Let $x(t)\in C^1(\mathbb{R}_+,\mathbb{R}^m)$ be a vector-function such that 1) $\|x(t)\|+\|\dot x(t)\|\to 0$ as $t\to\infty$ and 2) for some real $c_1>0$ and all $t>0$ one has $\|x(t)\|\le c_1\...
4
votes
2answers
237 views

Negative probabilities - what are two ordinary pgfs that correspond to the gf of a half-coin?

In Half of a Coin: Negative Probabilities, author considers pgf of a fair coin represented by random variable, $X = 1_H$: $$G_X(z) = E[z^X] = \sum_{x=0,1} z^xP(X=x) = (z^0)(1/2) + (z^1)(1/2) = \frac{...
6
votes
1answer
118 views

L1 analog of Bernstein's inequality

Let $p(x)$ be a degree $n$ polynomial over $[-1, 1]$, and let $q(x) = p'(x) \sqrt{1-x^2}$. Is it true that $$ \|q\|_1 \leq O(n) \|p\|_1 $$ where we define $\|f\|_p := \left(\int_{-1}^1 |f(x)|^pdx\...
2
votes
0answers
70 views

If $N = q^k n^2$ is an odd perfect number, if $n < q^{k+1}$, does it follow that $k > 1$?

Let $N = q^k n^2$ be an odd perfect number with Euler prime $q$. According to Dickson (as pointed out recently by Beasley), Descartes conjectured $k=1$ in a letter to Mersenne in 1638, with Frenicle'...
2
votes
1answer
73 views

Symmetry of concentration bounds on mean

Question summary: If I have a two-sided bound, can I immediately get a one-sided bound with tighter constants? Question details: Let $\mathbf X = X_1,...,X_n$ be $n$ i.i.d. real-valued random ...
2
votes
0answers
107 views

On the conjectured nonexistence of even almost perfect numbers (other than powers of two) and odd perfect numbers [closed]

(Note: This question has been cross-posted to MSE.) Let $\sigma(a) = \sigma_{1}(a)$ be the sum of the divisors of the positive integer $a$. A number $M$ is called almost perfect if $\sigma(M) = 2M -...
7
votes
2answers
234 views

Why $M_1 \subset M_2 \not \Rightarrow N_{M_1} (\lambda) \leq N_{M_2} (\lambda)$ for eigenvalue problem? (EDIT)

We know that for a direct problem with Dirichlet Boundary Condition (with Laplacian operator) that if two domains $M_1$ and $M_2$ are such that $M_1 \subset M_2$, then $\lambda(M_2) \leq \lambda(M_1)$,...
3
votes
1answer
117 views

Analytic Combinatorics: upper bound for sum of absolute values of two complex functions: $|z f'(z)| + |2 f(z) - zf'(z)| \leq 2f(|z|)$

Let $f \colon \mathbb C \to \mathbb C$ be a complex-valued analytic function with non-negative coefficients of Taylor series at 0 (suppose that radius of convergence is $+\infty$ for simplicity): $$ ...
4
votes
2answers
176 views

A Stochastic Taylor Expansion/Asymptotics

Question: Let $B(t)$ be the standard Brownian motion, $\mu(t,x)$ and $\sigma(t,x)$ are continuous functions, and $$dr(t) = \mu(t,r(t))dt+\sigma(t,r(t))dB(t).$$ $(\mu,\sigma)$ obeys the linear growth ...
12
votes
0answers
306 views

Inequalities for marginals of distribution on hyperplane

Let $H = \{ (a,b,c) \in \mathbb{Z}_{\geq 0}^3 : a+b+c=n \}$. If we have a probability distribution on $H$, we can take its marginals onto the $a$, $b$ and $c$ variables and obtain three probability ...
-1
votes
1answer
144 views

Prove this conjecture inequality 2 [closed]

Let $n$ be postive integer,I conjecture $$(1+2n)^n\ge 1^n+2^n+4^n+6^n+\cdots+(2n)^n \tag{1}$$ This problem when I solve this equation $$(1+2n)^n=1^n+2^n+4^n+6^n+\cdots+(2n)^n\tag{2}$$ if this $(1)$...
1
vote
0answers
37 views

Differential inequalities for a strictly diagonal dominant system of linear ODEs

Let $A$ be a real $d\times d$ matrix. The diagonal elements are strictly negative ($a_{ii}<0$) and the off-diagonal elements are non-negative ($a_{ij}\geq 0$ for $i\neq j$). $A$ is strictly column ...
0
votes
1answer
69 views

Matrix norm inequality for C*-Algebras [closed]

Let A a $C^*$-Algebra. I have already shown that the maps $Tr, \sigma: M_n(A)\rightarrow A$ given by $Tr((a_{ij})):=\sum_{i}a_{ii}$ and $\sigma\left(\left(a_{ij}\right)\right)=\sum_{i\text{, }j}a_{ij}$...
14
votes
3answers
656 views

An inequality concerning Lagrange's identity

we know Lagrange's identity $$(a^2_{1}+a^2_{2}+a^2_{3})(b^2_{1}+b^2_{2}+b^2_{3})=(a_{1}b_{1}+a_{2}b_{2}+a_{3}b_{3})^2+\sum_{i=1}^{2}\sum_{j=i+1}^{3}(a_{i}b_{j}-a_{j}b_{i})^2$$ then we have Cauchy-...
4
votes
1answer
89 views

Does the Nash inequality hold on manifolds with Lipschitz boundary?

Let $N$ be a smooth manifold without boundary of dimension $n$. $M$ is a manifold with Lipschitz boundary if $M \subset N$, $M$ and $N$ are of the same dimension, and in the charts of $N$, the ...
7
votes
1answer
204 views

Is this simple-looking moment inequality true?

Let $p \ge 1$ be an integer. Does there exist a constant $C_p$ such that for every random variable $X \ge 0$, $$ \mathbb{E} \left[ \left(X - \mathbb{E} \left[ X \right] \right)^{2p} \right] \le C_p \...
4
votes
1answer
218 views

Prove this conjecture inequality

This following problem is from my Conjecture many years ago, Question : Let $a,b>0,n\in N^{+},n\ge 3$,such $$a^n+b^n+(2n+2)(ab)^n\le 2n$$ Conjecture: then $a+b\le 2$ or $a+b>2.a>0.b>0,...
0
votes
2answers
221 views

Absolute value inequality with complex numbers

Following a problem I found on mathstack, with no solution, and no comment, so I think this inequality is not easy, so I post it here (because I think there are more some good math job, maybe someone ...
2
votes
1answer
261 views

upper bound on derivatives of a function defined on an arc

This is a simple question I asked in math.SE last month but unfortunately no one gives any comment. So I decided to try some luck here. You can skip examples below and read from "General setting" at ...
1
vote
0answers
65 views

Lower bound the ratio of the combinatorial quantities

Suppose $p < q$, $s = p^{d}$ for some fixed $d \in (0,1)$, let $p$ goes to infinity, define the following quantity, \begin{aligned} \quad f(j) = \sum_{i = 0}^{\min(j,s)}{s \choose i}{p-s \choose i}{...
2
votes
1answer
81 views

Bounding entries of the inverse of certain zero-one matrices

It is known that the entries of the inverse of an (invertible) $n \times n$ zero-one matrix $A$ can grow exponentially in $n$. See this MO question: Bounding the absolute sum of entries of the ...
2
votes
1answer
88 views

A continuity/bootstrap argument

I am trying to understand how one can prove the following assertion using a continuity argument: Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to [0,\...
2
votes
3answers
241 views

Nonzero solutions of an infinite product

Let $-\frac{1}{2}\le a \le\frac{1}{2}$ and $b\in[0,\infty)$. Definitions: $$f_k(a;b):=\frac{(2k+\frac{1}{2}+a)^2+b}{(2k+\frac{1}{2}-a)^2+b}(\frac{k}{k+1})^{2a},$$ $$f(a;b):=\prod\limits_{k=1}^\infty ...
1
vote
1answer
63 views

Inequality implies locally uniform convergence of a series

We have the inequality $$\alpha_n(t) \le 4\pi(3\pi)^{1/3} \exp\left\{\int_0^t(1+3F_P(\sigma)) \, d\sigma \right\} \cdot \int_0^t P(\sigma)^2(3CD_1^2)^{1/3}\alpha_{n-1}(\sigma) \, d\sigma$$ for $n=2,3,\...
5
votes
1answer
216 views

Estimate of incomplete binomial integral

Let $0\le k \le n$. Prove that $$ n\binom{n}{k}\int_{0}^{\frac{k}{n+1}}t^k(1-t)^{n-k}\,dt \le 1/2. $$ As far as I know 1) it is proved for $\frac{k}{n+1}\le 1/2$ and 2) not proved for $1/2 <\frac{...
4
votes
1answer
261 views

Time-efficient way of calculating the least number of 1s in a representation of $n$ using only the operations $+,!$

This was inspired by the following paper: J. Arias de Reyna, J. van de Lune, "How many $1$s are needed?" revisited, arXiv link. It might help explain my question better, because my question is ...
8
votes
1answer
270 views

An inequality on the simplex involving $x^x$

Is anything known about the behavior of the function $$f(x)=\prod_{i=1}^n x_i^{x_i}$$ on the standard simplex, i.e. the set $\{x\in\mathbb{R}^n:\sum_{i=1}^n x_i=1, x_i\geq0\}$? I ask because I have ...
19
votes
1answer
1k views

A curious eigenvalue inequality

Suppose $A, B$ are positive definite Hermitian matrices, $U$ is a unitary matrix such that $AUB$ is Hermitian. The spectral radius of a square matrix $X$ is denoted by $\rho(X)$. In my study, I ...
2
votes
1answer
93 views

Inverse Hadamard determinant inequality

As far as I remembered there is an inverse Hadamard inequality for the determinant of the form $$ |D|>\prod_j \sqrt{(a_{jj}^2-\sum_{i\neq j}a_{ij}^2)} $$ providing all values in $(\cdot)>0$. ...
3
votes
1answer
113 views

Sharpened Pinsker inequality for special case

Let $B(p)$ denote the Bernoulli distribution over $\{0,1\}$ and $B(p)^n$ the corresponding product distribution over $\{0,1\}^n$. For $n>1$ and $0<x<1$, define $$P_n(x):=B(\frac12+\frac x2)^n$...
-1
votes
1answer
130 views

Find the values of $n$ that satisfy this inequality involving a product over prime numbers [closed]

Inequality What values of $n$ satisfy the following inequality? $$2(n-2) < Ap_n\prod_{i=3}^n \left(\frac{p_i-2}{p_i}\right)$$ $p$ are prime numbers and the notation $p_i$ indicates the $i$th ...
1
vote
1answer
81 views

On Wazewski's theorem on system of differential inequalities

According to Springer's Encyclopedia of Math entry on differential inequalities, T. Wazewski proved in 1950 the following theorem: Consider the system of differential inequalities given by $$ \...
4
votes
1answer
245 views

The values of $n$ which satisfy an inequality about prime numbers

For which values of $n$ does the following inequality hold for? $$2(n-2) < Ap_n\prod_{i=3}^n \left(\frac{p_i-1}{p_i}\right)$$ $p$ are prime numbers and the notation $p_i$ indicates the $i$-...
1
vote
1answer
107 views

Nonlinear elliptic problem involving the p-laplacian, Hölder inequality

I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan. I have a problem understanding one step ...
3
votes
1answer
153 views

How to use Gronwall's inequality? [closed]

I am just trying to understand the role of Grownwall's Lemma to show global wellposedness results, in the paper I have been reading. And So I hope this is OK for MO. Let $u\in C(\mathbb R, L^{2})$...
2
votes
1answer
101 views

Sufficient conditions for weak majorization

Suppose $x_1\ge x_2\ge \cdots \ge x_n\ge 0$ and $y_1\ge y_2\ge\cdots\ge y_n\ge0$ be reals such that for any positive integer $p$, $$ \sum_{i=1}^n x_i^p \geq \sum_{i=1}^n y_i^p. $$ Question: Is ...
1
vote
0answers
60 views

Finding the infimum of the range of a certain non-negative function associated to a $ C^{*} $-algebra

Let $ A $ be a non-trivial $ C^{*} $-algebra and $ n \in \mathbb{N} $. Setting $ \mathcal{D} \stackrel{\text{df}}{=} A^{n} \setminus \{ (0_{A},\ldots,0_{A}) \} $, we can define a function $ f: \...