For questions about proving and manipulating functional inequalities.

learn more… | top users | synonyms

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 ...
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$.
1
vote
2answers
165 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
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
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 ...
9
votes
1answer
360 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.
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 ...
0
votes
2answers
449 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
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 ...
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 ...
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
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
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 ...