For questions about proving and manipulating functional inequalities.

learn more… | top users | synonyms

14
votes
11answers
1k views

If $f(x)\leq f(f(x))$ for all $x$, is $x\leq f(x)$?

If I have $f(x)\leq f(f(x))$ for all real $x$, can I deduce $x\leq f(x)$? Thank you.
10
votes
2answers
193 views

How prove this function inequality $xf(x)>\frac{1}{x}f\left(\frac{1}{x}\right)$

Let $f(x)$ be monotone decreasing on $(0,+\infty)$, such that $$0<f(x)<\lvert f'(x) \rvert,\qquad\forall x\in (0,+\infty).$$ Show that ...
10
votes
1answer
407 views

A unsolved puzzle from Number Theory/ Functional inequalities

The function $g:[0,1]\to[0,1]$ is continuously differentiable and increasing. Also, $g(0)=0$ and $g(1)=1$. Continuity and differentiability of higher orders can be assumed if necessary. The ...
10
votes
0answers
249 views

Gradient Estimate - Question about Inequality vs. Equality sign in one part

$\DeclareMathOperator{\diam}{diam}\newcommand{\norm}[1]{\lVert#1\rVert}\newcommand{\abs}[1]{\lvert#1\rvert}$For $u \in C^{1}(\overline{\Omega})$, for $\Omega\subset \subset \mathbb{R^{n}}$ a bounded ...
9
votes
1answer
374 views

Prove that $\int_0^1|f''(x)|dx\ge4.$

Let $f$ be a $C^2$ function on $[0,1]$. $f(0)=f(1)=f'(0)=0,f'(1)=1.$ Prove that $\int_0^1|f''(x)|dx\ge4.$ Also determine all possible $f$ when equality occurs.
8
votes
2answers
95 views

A functional equation with inequality

Find all (at least one) functions $f\colon \mathbb{R}\to \mathbb{R}$ (or show there is none), such that $$ f(x^3+x)≤x≤f(x^3)+f(x), \quad \text{for all $x\in \mathbb{R}$}. $$ This is a problem asked ...
7
votes
3answers
141 views

If $f$ is continuous and $\,f\big(\frac{1}2(x+y)\big) \le \frac{1}{2}\big(\,f(x)+f(y)\big)$, then $f$ is convex

Let $\,\,f :\mathbb R \to \mathbb R$ be a continuous function such that $$ f\Big(\dfrac{x+y}2\Big) \le \dfrac{1}{2}\big(\,f(x)+f(y)\big) ,\,\, \text{for all}\,\, x,y \in \mathbb R, $$ then how do we ...
6
votes
1answer
511 views

Does any one-to-one function exist that satisfies this inequality for all real numbers?

Does there exist a one-to-one function $f: \Bbb R \to \Bbb R $ such that $f(x^2) - (f(x))^2 \geq \frac 1 4\ \ \forall x \in \Bbb R$ ? I've tested this with many one-to-one functions but the ...
6
votes
1answer
69 views

Missing a necessary power in this proof - please help.

This question is somewhat related to Gradient Estimate - Question about Inequality vs. Equality sign in one part. That question was related to part (c) of a problem I am working on, and this question ...
6
votes
1answer
75 views

Inequality About $f(t)=\int_{0}^t \sqrt{\cos(x)} dx$

During my projet, I encountered the following function defined for all $\displaystyle t\in[0,\frac{\pi}{2}]$ by : $$f(t)=\int_{0}^t \sqrt{\cos(x)} dx$$ and I need to prove the inequality below : ...
5
votes
2answers
719 views

Weighted Poincare Inequality

I'm trying to prove a result I found in a paper, and I think I'm being a bit silly. The paper claims the following: By the Poincare inequality on the unit square $\Omega \subset \mathbb{R}^2$ we have ...
5
votes
2answers
45 views

Doubt with Absolute Value Inequality

Problem: Find all values of $x$ for which $\dfrac{|x-2|}{x-2}>0$ My incorrect attempt: Using the definition the Modulus, $|x-2|=x-2$ for all $x\ge2$ and $|x-2|=-x+2$ for all $x\le2.$ ...
5
votes
2answers
78 views

Minkowski type inequality in Banach algebras

Under which circumstances it is true that $\|(A+B)^n\|^{1/n}\le \|A^n\|^{1/n}+\|B^n\|^{1/n}$ for elements $A$ and $B$ in a Banach algebra and a natural number $n$?
5
votes
1answer
64 views

An estimate of $C^2$

Let $u$ be a function on a domain $\Omega\subset R^n$, and $D^2u=\left(\frac{\partial^2 u}{\partial x_i\partial x_j}\right)_{n\times n}$ be the Hessian of $u$. If $D^2u$ is positively definite and ...
5
votes
0answers
109 views

Functional inequality with a strong RHS

Consider a continuous function $f:[0,1]\to\mathbb{R}^{+}$. Show that $$\int_0^1 f(x)dx-\exp\left(\int_0^1 \log(f(x)) dx\right)\le \max_{0\le x,y\le 1}\left(\sqrt{f(x)}-\sqrt{f(y)}\right)^2$$ I ...
4
votes
3answers
112 views

How to show $ \Big\vert \frac{\sin(x)}{x} \Big\vert $ is bounded by $1$?

This may be a silly question, but I cannot figure it out. I want to prove that $ \Big\vert \frac{\sin(x)}{x} \Big\vert \leq 1 $ for $x\in[-1,0)\cup(0,1]$, but I don't even know where to start.
4
votes
1answer
76 views

If $\,\,f:[a,b]\to \mathbb{R}, \,b-a\ge 4$, is differentiable, then $\,f'(x_0)<1+(\,f(x_0))^2$, for some $x_0\in (a,b)$.

Suppose that $\,f:[a,b]\to \mathbb{R}$, where $\,b-a\ge 4,\,$ is differentiable in $(a,b)$ and continuous in $[a,b]$. Prove that there is $x_0\in (a,b)$, such that ...
4
votes
3answers
74 views

If $f(x_{1}+x_{2})+2\ge f(x_{1})+f(x_{2})$, then $f(2^{-x})>2^{-x}+2$?

Let $f(x)$ be monotonic increasing on $[0,1]$ and such that $f(0)=2,f(1)=3$, and for any $x_{1},x_{2},x_{1}+x_{2}\in[0,1]$: $$f(x_{1}+x_{2})+2\ge f(x_{1})+f(x_{2})$$ Question: between ...
4
votes
1answer
53 views

Is $x(x!)^{1/x}$ an increasing function of $x$, for $x > 0$?

Is $x(x!)^{1/x}$ an increasing function of $x$, for $x > 0$? Here $x!$ is the factorial of $x$. Sure, I do know differential calculus, but my problem is that I do not know how to compute for the ...
4
votes
1answer
48 views

Suppose that $g(x) = \frac{f(x+1)-f(1)}{f(x)-f(0)} \geq g(1)$, what do we know about $f$?

Suppose $f:\mathbb{R_+} \to \mathbb{R}$ is a continuous and strictly increasing function. Define $g(x) = \frac{f(x+1)-f(1)}{f(x)-f(0)}$. For which $f$ the function $g$ satisfies $g(x) \geq g(1)$ for ...
4
votes
1answer
89 views

If $\int_{[0,1]} x^k f(x) dx =1$ then $\int_{[0,1]} (f(x))^2 dx \ge n^2$

Let $k \in \{0,1,...,n-1 \}$ and $f:[0,1] \to \mathbb{R}$ be a continous function. If $\int_{[0,1]} x^k f(x) dx =1$ for all such $k$ then show that $\int_{[0,1]} (f(x))^2 dx \ge n^2$.
4
votes
1answer
174 views

Inequality $\Gamma(\alpha+x)\Gamma(\beta+y)\leq C(\alpha; \beta)\Gamma(x+y-1)$

I need to prove $$\Gamma(\alpha+x)\Gamma(\beta+y)\leq C(\alpha; \beta)\Gamma(x+y),$$ for $x>\alpha$ and $y>\beta$ with $0<\alpha,\beta \leq \frac{1}{2}$ constants, and $C(\alpha, \beta)$ is a ...
4
votes
1answer
43 views

E(X)*E(1/X) <= $(a+b)^2$/4ab

I've worked on the following problem and have a solution (included below), but I would like to know if there are any other solutions to this problem, particularly more elegant solutions that apply ...
4
votes
2answers
138 views

Proving $\frac{p_{n+1}^2-p_{n+1}^{-C}}{p_{n+1}^2-1}>\frac{f(n) p_n \log p_n }{p_{n+1} \log p_{n+1}},$ where $f(n)\to1$, for some constant $C>1$

Are there two constants $C_1$, $C_2>1$ such that for large enough $n$ $$\frac{p_{n+1}^2-p_{n+1}^{-C_1}}{p_{n+1}^2-1}>\frac{2 C_2 p_{n+1} \log p_{n+1}-1}{2 C_2 p_{n} \log p_{n}-1} \left(\frac{p_n ...
4
votes
1answer
41 views

Finding appropriate function

In order to obtain an estimate I'm wondering if there is a positive function $f:\mathbb{R}\to \mathbb{R}_+$ such that $f(x) < |x|$ for $|x|$ large enough (say $|x|\ge C_0>0$) so that the ...
4
votes
1answer
71 views

submodular-like functions on $\mathbb{R}$

The definition of submodularity led me to define a type of function on numbers (I suppose ordered rings, but consider the reals for now) as $f(x) + f(y) \ge f(x+y) + f(xy)$. Such functions exist: for ...
4
votes
0answers
216 views

A question about odd perfect numbers

Edit [in response to a comment from anon]: Hereinafter, $N$ is a positive integer, $\sigma(N)$ is the sum-of-divisors of $N$, $\omega(N)$ is the number of distinct prime factors of $N$, and ...
3
votes
2answers
496 views

Inequality involving Square Root

$\sqrt{3x-x^2}<4-x$ I know I can't simply square both sides of an inequality. I have narrowed down the possible values of x => x belongs to [0,3] because the expression inside the square root ...
3
votes
1answer
107 views

Does this inequality have any solutions in $\mathbb{N}$?

Does this (number-theoretic) inequality have any solutions $x \in \mathbb{N}$? $$\frac{\sigma_1(x)}{x} < \frac{2x}{x + 1}$$ Notice that we necessarily have $x > 1$.
3
votes
1answer
201 views

Use of cut-off functions and partitions of unity

This is a simple problem, but I would still be very thankful if you could give me an advice on it. I'm trying to show that in a compact M-dimensional manifold, $$\int e^w \sqrt{g}\, dx \leq C \exp ...
3
votes
0answers
55 views

Variational Problem on a manifold - bounding my functional from below

Let $(M, g_{ij})$ be a compact Riemannian manifold. Let $f \in C^{0,\alpha}(M)$ be a given function. I have the linear operator $L = \Delta h - 12u^2h$, where $u \in C^{2,\alpha}$. I need to show ...
3
votes
1answer
72 views

Functional inequality and one identity

I'm a high school student from Bonn, Germany and I have to solve the following problem: If $g:R \rightarrow R $ is a function with the property $g(ab)-ag(b)\leq bg(a)$, for all real numbers a and b, ...
3
votes
1answer
344 views

Exponential Inequality

I was working on a problem and reduced it to showing the following inequality: $$2x e^{x^2/6} \ge e^x - e^{-x} \text{ for $x \ge 0$}$$ I tried expanding everything in Taylor series to no avail. I ...
3
votes
0answers
56 views

Convex functions: bounding the difference

Suppose you are given a convex function $f: R^d \rightarrow R$. Let us say you are given $x,x' \in R^d$ and there are $x_1, x_2, \ldots, x_n \in R^d$ such that $$\sum_{i=1}^n (x_i - x') = x - x'.$$ ...
2
votes
4answers
116 views

Does $1 + \frac{1}{x} + \frac{1}{x^2}$ have a global minimum, where $x \in \mathbb{R}$?

Does the function $$f(x) = 1 + \frac{1}{x} + \frac{1}{x^2},$$ where $x \in {\mathbb{R} \setminus \{0\}}$, have a global minimum? I tried asking WolframAlpha, but it appears to give an inconsistent ...
2
votes
1answer
66 views

Show that $|f'(x)| \le \frac{2M_0}{h} +\frac{hM_2}{2}$ and $M_1 \le 2\sqrt{M_0M_2}$

Let $f$ be a twice derivable function and $M_i =\sup_{x \in \mathbb{R}} |f^{(i)}(x)|$ and $|M_0|, |M_2|<\infty $. Preferably using the Taylor series on the interval $[x,x+h]$ show the following ...
2
votes
3answers
279 views

Inequality for Expected Value of Product

Let $(\Omega, \mathbb{P}, \mathcal{F})$ be a probability space, and let $\mathbb{E}$ denote the expected value operator. Consider the random variables $f: \Omega \rightarrow \{0,1,2\}$ and $g: \Omega ...
2
votes
2answers
488 views

Inequality between $L^2$- and $L^1$-norms for functions

In the vector space $\mathbb{R}^n$, we have the inequality $$ ||x||_2 \leq ||x||_1 $$ where $x$ is a vector. I am wondering that we have similar inequality for function's norm. The $L^1$-norm of ...
2
votes
1answer
63 views

Bounded almost-homomorphisms on the integers

Let $f : \mathbb{Z} \to \mathbb{Z}$ be an "almost-homomorphism": The set $\{f(n+m)-f(n)-f(m) : n,m \in \mathbb{Z}\}$ is bounded. We may assume that $f$ is odd, i.e. $f(-n)=-f(n)$ for all $n$. Assume ...
2
votes
1answer
107 views

Minkowski's Inequality for $0<p<1$.

I need to prove: for non-negative functions $f,g\in L^p[0,1]$, $||f+g||_p\geq||f||_p+||g||_p$ for $0<p<1$. For $1\leq p<\infty$, the inequality is reversed and the proof is like: The cases ...
2
votes
2answers
285 views

An inequality about the gradient of a harmonic function

Let $G$ a open and connected set. Consider a function $z=2R^{-\alpha}v-v^2$ with $R$ that will be chosen suitably small, where $v$ is a harmonic function in $G$, and satisfies $$|x|^\alpha\leqslant ...
2
votes
2answers
79 views

Geometric intuition for the inequality $(f(y) - c) ( y - d ) \geq (f(d) - c) ( f^{-1}(c) - d )$

Good day to everyone. I am interested in the geometric intuition for the following statement: Let $f:\mathbb{R} \mapsto \mathbb{R}$ be a monotonically increasing, invertible function and $c,d \in ...
2
votes
1answer
30 views

Sketch $ z\in \mathbb{C}:0 < arg(z-(1+i)) < \frac\pi3 $

Sketch the following $$ z\in \mathbb{C}:0 < arg(z-(1+i)) < \frac\pi3 $$ I have considered this geometrically and ended up thinking that the complex numbers $z$ must satisfy $$0 < ...
2
votes
1answer
62 views

Improving the inequality $x\sigma_1(x) \leq \sigma_1(x^2)$ for $x \in \mathbb{N}$

Let $\mathbb{N}$ be the set of positive integers. For $x \in \mathbb{N}$, $\sigma_1(x)$ gives the sum of the divisors of $x$. (For example, $\sigma_1(3) = 1 + 3 = 4$.) We call the ratio $I(x) = ...
2
votes
2answers
54 views

Trigonometric inequality $|\sin{a_1}|+|\sin{a_2}|+…+|\sin{a_n}|+|\cos{(a_1+a_2+…+a_n)}| \ge1$ for all real $a_i$

Prove that for all real numbers $a_1,a_2,...,a_n$ the following inequality holds: $$ |\sin{a_1}|+|\sin{a_2}|+...+|\sin{a_n}|+|\cos{(a_1+a_2+...+a_n)}| \ge 1 $$
2
votes
1answer
83 views

Range of inner product of a sequence and its permutation

$a^n :=(a_i)_1^n$ is a finite sequence of real numbers of length $n$, where $\sum\limits_{i=1}^n a_i=0$ and $\sum\limits_{i=1}^n a_i^2=1$. Consider $s_n(a^n,\sigma):=\sum\limits_{i=1}^n ...
2
votes
1answer
67 views

Does this inequality have any solutions for composite $n \in \mathbb{N}$?

Does this inequality have any solutions for composite $n \in \mathbb{N}$? $$\sqrt{2} < \frac{\sigma_1(n^2)}{n^2} < \frac{4n^2}{(n + 1)^2}$$ Note that $\sigma_1$ is the sum-of-divisors ...
2
votes
1answer
73 views

Prove $p(x)>0$ for $x>b$

This is a question from a past paper which I have no solution to. Let $p(x)=x^n + a_{1}x^{n-1}+\cdots+a_{n-1}x+a_{n}, n\geq 1$ be a polynomial of dgree n and let $b=1+|a_{1}|+\cdots ...
2
votes
1answer
68 views

Proving inequality $(x^2+y^2)(y-1)+yx-y^2<0$

I have an inequality which came out of Lyapunov function for system of ODE's: $$(x^2+y^2)(y-1)+yx-y^2<0.$$ To prove stability of my solution, I have to prove that the inequalty is true in area ...
2
votes
2answers
73 views

Questioning a Proof of Khinchine Inequality

[Khinchine Inequality] Let $a_1,\ldots,a_n\in R$, $\varepsilon_1,\ldots,\varepsilon_n$ be i.i.d. Rademacher random variables: $P(\varepsilon_i=1)=P(\varepsilon_i=-1)=0.5$, and $0<p<\infty$. Then ...