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
1answer
347 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
196 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
361 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
91 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 ...
6
votes
1answer
480 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 ...
5
votes
2answers
492 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
3answers
91 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 ...
5
votes
1answer
62 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 ...
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
84 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
2answers
51 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$?
4
votes
1answer
148 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
38 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
63 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
187 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
1answer
102 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
182 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
46 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
66 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
190 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
50 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
112 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
58 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
183 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
1answer
50 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
2answers
272 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
76 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
71 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
1answer
74 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
65 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
2answers
60 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 ...
2
votes
1answer
30 views

Inequality with Bessel Functions of the first kind

How can be proven the following inequality: $$\int_0^1dx|J_k(x)'J_k(x)|\lt\frac{1}{2}\int_0^1dx|J_k(x)'^2|$$ where obviously: $J_k(x)'=\frac{d}{dx}J(k,x)$? Thanks.
2
votes
1answer
109 views

Why are so many inequalities and estimate in PDEs?

I want to study PDEs, but when I read some PDEs books, I notice that there are so many inequalities here and always do estimates. I really want to know why there are so many inequalities here and ...
2
votes
1answer
152 views

fraction power vector-norm inequality

If X is a Banach Space and $x,y\in X$. Then by the definition of a Banach algebra we know $$\|x.y\|\leq\|x\|\|y\|$$ and thats how we can have relation for any positive power. i.e. $n\in N$, ...
2
votes
1answer
167 views

Inequality for Gamma functions

Let $k, n ,m \in N$ and such that $0\leq k \leq n \leq m$. When the following ineuality is true? $$ ...
2
votes
0answers
65 views

Help explain why the proof works - Gradient Estimate Using the Maximum Principle

I found the following proposition and proof in a textbook for one of my classes, and the end of the proof seems a little "unfinished" to me. In other words, as the author left it, I'm not entirely ...
2
votes
0answers
38 views

I want to solve the inequality $z′(t)+1≥0$ for all $t≥0$

Let $z(t)$ be a differentiable function for all $t≥0$. I want to solve the inequality: $$z′(t)+1≥0$$ for all $t≥0$. where $z′(t)$ is the derivative of $z(t)$.
2
votes
0answers
258 views

An application of Poincare inequality [solved] [duplicate]

I am woking on Evans PDE problem 5.10. #15: Fix $\alpha>0$ and let $U=B^0(0,1)\subset \mathbb{R}^n$. Show there exists a constant $C$ depending only on $n$ and $\alpha$ such that $$ \int_U u^2 dx ...
1
vote
4answers
355 views

Find the range of values of $x$ which satisfies the inequality.

Find the range of values of $x$ which satisfies the inequality $(2x+1)(3x-1)<14$. I have done more similar sums and I know how to solve it. I tried this one too but my answer doesn't matches the ...
1
vote
2answers
39 views

Show that $|\sin{a}-\sin{b}| \le |a-b| $ for all $a$ and $b$

I've recently been going over the mean value and intermediate value theorems, however I'm not sure where to start on this.
1
vote
3answers
62 views

What is the maximum value of $\frac{2x}{x + 1} + \frac{x}{x - 1}$, if $x \in \mathbb{R}$ and $x > 1$?

What is the maximum value of $$f(x) = \frac{2x}{x + 1} + \frac{x}{x - 1},$$ if $x \in \mathbb{R}$ and $x > 1$? A 2-D plot of of $f$ for $x \in (\infty, \infty)$ is here. Lastly, note that ...
1
vote
2answers
166 views

Does this inequality hold true, in general?

Let $$N = \prod_{i=1}^{\omega(N)}{{p_i}^{\alpha_i}}$$ be the prime factorization of the positive integer $N$. Does the following inequality hold true in general? ...
1
vote
1answer
72 views

Does this function have a (global) minimum?

A good day to everyone. Does the following function have a (global) minimum: $$1 + \frac{1}{x} + {\left(1 + \frac{1}{x}\right)}^\theta,~~x\in\mathbb R$$ where $$\theta = {\displaystyle\frac{3\log ...
1
vote
1answer
28 views

$ {\|f\|}_p = \sqrt[p]{\int_{a}^{b} |f(x)|^p {\rm d}x}$ is a norm

Consider the space $C([a,b])$ of all continuous functions $f\colon [a,b]\rightarrow \mathbb{R}.$ Show that the function $\|\cdot\|_p\colon C([a,b]) \rightarrow [0,\infty),p>1$, given by $$ ...
1
vote
1answer
28 views

$\| f' g\|_{L^2(\mathbb R)} + \|fg'\|_{L^2(\mathbb R)}\le C\left( \|f g\|_{L^2} +\|f'g'\|_{L^2} + \|f'' g \|_{L^2} + \| f g''\|_{L^2}\right)$ holds?

I want to know that the following inequality holds $$ \| f' g\|_{L^2(\mathbb R)} + \|fg'\|_{L^2(\mathbb R)}\le ^\exists C_{>0} \left( \|f g\|_{L^2} +\|f'g'\|_{L^2} + \|f'' g \|_{L^2} + \| f ...
1
vote
2answers
175 views

Does the following inequality hold if and only if $N$ is an odd deficient number?

Let $N \in \mathbb{N}$. (That is, let $N$ be a positive integer.) This is in reference to two of my earlier questions here at MSE: Does the following inequality hold true, in general? Does this ...
1
vote
1answer
33 views

Inequality regarding exponential function

For every positive $x$ and for every $n$ show that $(1+\sqrt{\frac{x}{n}}+\sqrt[3]{\frac{x}{n}})e^{n\arctan{\frac{x}{n}}}>e^x$. I plotted it, it seems that the inequality holds. Any ideas how to ...
1
vote
1answer
51 views

Taylor's Theorem and inequalities on some interval of the domain?

From the following form of Taylor's Theorem and assuming that $|f(x)|\le 1$ and $|f''(x)|\le 1$ hold on $[0,2]$, $$f(a+h) = f(a) + hf'(a) + (1/2)h^2f''(a+θh),$$ some application of Taylor's Theorem ...
1
vote
1answer
46 views

Sobolev Inequality with powers

The following is one of the Sobolev Inequalities as stated in Gilbarg & Trudinger's text on elliptic PDEs: $\displaystyle W_{0}^{1,p}(\Omega)\subset L^{\frac{np}{(n-p)}}(\Omega)$ for $p<n$. ...