For questions about proving and manipulating functional inequalities.

learn more… | top users | synonyms

10
votes
1answer
412 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 ...
7
votes
3answers
142 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 ...
1
vote
2answers
190 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
3answers
66 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 ...
5
votes
0answers
110 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 ...
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$.
1
vote
2answers
196 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 ...
9
votes
1answer
375 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.
2
votes
0answers
325 views

Increasing rearrangement and Hardy-Littlewood inequality

Don't know how many of you guys are familiar with the theory of rearrangements, but I have a question for you about it. As you can see in Leoni (or in Lieb & Loss), the decreasing and the ...
0
votes
2answers
528 views

How to prove equality from poincare inequality?

Let $$D = \{y \in C^1(0,1) : y(0) = y(1) = 0\}$$ Suppose there exists a $C_0$ such that $$\int_{0}^{1} y^2 \ dx \leq C_0 \int_{0}^{1} (y')^2 \ dx$$ for all $y \in D$, and for all $C < C_0$ ...
10
votes
0answers
250 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 ...
3
votes
1answer
202 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 ...
2
votes
1answer
67 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
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
88 views

Are there (known) bounds to the following arithmetic / number-theoretic expression?

I apologize in advance if this is something that is already well-known in the literature, but I would like to ask nonetheless (for the benefit of those who likewise do not know): Are there (known) ...
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
0answers
271 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 ...
-2
votes
1answer
70 views

Inequalities help! [closed]

Let $a,b,c > 0$ and $a + b + c = 1$. Prove: $$\sqrt{\frac{ab}{c + ab}} + \sqrt{\frac{bc}{a + bc}} + \sqrt{\frac{ac}{b + ac}}\leq \frac32$$