7
votes
2answers
91 views

Inequality of integrals $\int_0^1(f(x))^2 dx \geq 4$ if $\int_0^1xf(x) dx=\int_0^1f(x) dx = 1$

If $$\int_0^1xf(x) dx=\int_0^1f(x) dx = 1$$ prove that $$\int_0^1(f(x))^2 dx \geq 4$$ EDIT My attempt is as follows - I can use only the $\int xf(x)$dx part to get a bound $\int f^2(x) dx \geq ...
1
vote
1answer
22 views

Show that $ \frac{2+\ln a }{2}\lt\frac{a-1}{\ln a} \lt \frac{1+a}{2}$ becomes $ \frac{2(a-1)}{a+1}\lt\ln a \lt -1 + \sqrt{2a-1}$

Show that $\displaystyle \frac{2+\ln a }{2}\lt\frac{a-1}{\ln a} \lt \frac{1+a}{2}$ becomes $\displaystyle \frac{2(a-1)}{a+1}\lt\ln a \lt -1 + \sqrt{2a-1}$ The closest I can get is $$ ...
5
votes
4answers
358 views

Arc Length of a Curve

Let $f:[a,b]\to \mathbb{R}$ be a continuous function, how can you prove (not in the geometric way): $$ \sqrt{\left(f(b)-f(a)\right)^2+\left(b-a\right)^2}\le\int_a^b \sqrt{1+f'(x)^2}dx $$
6
votes
3answers
167 views

Reverse Cauchy Schwarz for integrals

Let $f,g$ be two continuous positive functions over $[a,b]$ Let $m_1$ and $M_1$ be the minimum and maximum of $f$ Let $m_2$ and $M_2$ be the minimum and maximum of $g$ Prove that ...
1
vote
0answers
24 views

Convergence of this priori error in FEM?

Problem My attempt I think h is the size of the mesh. C is a constant which probably depends on the size of the mesh, I think. I think the error converges linearly and dependent on the size of ...
1
vote
1answer
35 views

Galerkin Orthogonality in this FEM?

Problem Galerkin orthogonality is but I am not sure if it is in the right form. How can you use this orthogonality here? I think I should expand the last inequality first somehow.
2
votes
2answers
51 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 ...
5
votes
1answer
93 views

Determining the best possible constant $k$, for an Integral Inequality

If $f : [0,\infty) \to [0,\infty)$ is an integrable function, then what is the best possible constant $k$, for which the following ineqality holds: $$\int_0^{\infty}f(x)dx \leq ...
3
votes
1answer
61 views

How to prove Godunova's inequality?

Let $\phi$ be a positive and convex function on $(0,\infty)$. Then $$\int_0^\infty \phi\left(\frac{1}{x}\int_0^x g(t)\,dt\right)\frac{dx}{x} \leq \int_0^\infty \phi(g(x))\frac{dx}{x}$$ The ...
0
votes
0answers
26 views

calculate the sup of the max of 3 functions

Let a function be the variable, how the calculate the following expression? $$\inf_{c(t) \in C[-1,0]} \max \{ \max_{-1 \leq t \leq 0} |c(t)| , \max_{0 \leq t \leq 1} | \int_{0}^{t} c(v-1) +1 dv +c ...
2
votes
1answer
41 views

How to prove this integral inequality?

Here is a problem: Let $B_r=\{ (x_1,x_2,\cdots,x_n)\in \mathbb{R}^n: x_1^2+x_2^2+\cdots+x_n^2<r^2\}.$ Let $f$ be a $C^1$ real function on $B_2$. Prove that $$\inf_{a\in R}\int_{B_2} ...
12
votes
2answers
165 views

$|f(x)|\leq \sqrt{\frac{\pi}{3}\int_0^\pi f'^2}$

Let $f\in C^1([0,\pi],\mathbb R)$ such that $\displaystyle\int_0^\pi f(t) dt=0$ Prove that $\forall x\in [0,\pi],\displaystyle|f(x)|\leq \sqrt{\frac{\pi}{3}\int_0^\pi f'^2(t)dt}$ Failed ...
1
vote
4answers
80 views

An Integral Inequality Problem

How to establish the Integral Inequalities : $$ \displaystyle \int_0^1 \ln \sqrt{\dfrac{1-\cos x}{1+\sin x}} \,dx < \dfrac{1}{2}\ln 2$$ My attepmt : We have $\displaystyle $$(ii) \displaystyle ...
1
vote
1answer
82 views

How prove this inequality $I=\int_{0}^{\sqrt{2\pi}}\sin{x^2}dx>0$

show that $$I=\int_{0}^{\sqrt{2\pi}}\sin{x^2}dx>0$$ follow is my methods: let $$x^2=t$$ then ...
5
votes
0answers
38 views

If $f$ is $2 \pi$ periodic and $\int_{0}^{2 \pi} f(t) dt=0$ then $\int_{0}^{2 \pi} (f(t))^2 dt \le \int_{0}^{2 \pi} (f'(t))^2 dt$ [duplicate]

Given $f$ a real differentiable function, $2 \pi$ periodic such that $\int_{0}^{2 \pi} f(t) dt=0$ show that: $\int_{0}^{2 \pi} (f(t))^2 dt \le \int_{0}^{2 \pi} (f'(t))^2 dt$. When does equality hold? ...
0
votes
0answers
16 views

Finding conditions for joint probability density larger than the product of marginals

I was wondering if you could help me out. I have a joint probability distribution with density $f(x,y)$ and marginals $g(x)$ and $h(y)$ defined over the real line. Now, I would like to find a class of ...
0
votes
2answers
26 views

Inequalities giving incorrect solution

Question: Find the solution set for:$$\frac{|x|-1}{|x|-2} \geq 0$$ $x\not=\pm2$ My attempt: Let $|x| = y$, then inequality becomes $(y-1)(y-2)>=0$ Implies that: #1. $y-1\geq0$ and ...
0
votes
0answers
40 views

Reference for theorem? Inequality of integrals of increasing function over two distributions

I have a monotone increasing function $H(x)$ and two distributions with CDFs $F_1$ and $F_2$, where $F_1(x) \leq F_2(x)$ everywhere. The domain is $[0,\infty)$. This seems like it must be true: $$ ...
3
votes
2answers
93 views

How to prove $\int_{-\pi}^\pi (f(x))^2dx\le \int_{-\pi}^\pi (f'(x))^2dx$ [duplicate]

Let $f$ be $C^1$ in $[-\pi, \pi]$ and satisfies $\int_{-\pi}^\pi f(x)dx=0$, periodic boundary condition. Then, prove that $\int_{-\pi}^\pi (f(x))^2dx\le \int_{-\pi}^\pi (f'(x))^2dx$. I try to prove ...
1
vote
3answers
95 views

Show $\displaystyle\int_0^af(x)g(x)dx\ge\int_0^af(a-x)g(x)dx$

Assume $f$ and $g$ are monotonically increasing on $[0,a]$, Show that $$\displaystyle\int_0^af(x)g(x)dx\ge\int_0^af(a-x)g(x)dx$$ If I differentiate both sides w.r. to $a$ then; ...
2
votes
0answers
42 views

Integral inequality related to derivation

While trying to understand a proof, i have stumbled upon the following statement: Let $f \in L^p(a,b)$ be a $p$-integrable function. Then the inequality $$\liminf_{s \rightarrow t} \frac{1}{t-s} ...
1
vote
0answers
39 views

What are some good general estimates?

For example, the triangle inequality for complex numbers and summations is a good one. Also, the ML-Estimate (Estimation Lemma), Cauchy Estimates $|zw|=|z||w|$. As you can probably notice, I really ...
4
votes
1answer
114 views

Integral inequality with a function twice differentiable

Let $f:[0,1]\longrightarrow\mathbb{R}$ be a function twice differentiable with continous second derivative and $f(1)=f(0)$. The inequality: $$\int_{0}^{1}(f''(x))^2dx\geq ...
3
votes
2answers
98 views

Proof of Wirtinger inequality

Quoting from Ana Cannas da Silva's book on Symplectic Geometry: "As an exercise in Fourier series, show the Wirtinger inequality: for $f\in C^1([a,b])$, with $f(a)=f(b)=0$ we have $$ ...
0
votes
1answer
156 views

Cauchy–Schwarz inequality on vector-valued L2 space

Let $f$ and $g$ be square-integrable, $\mathbb{R}^n$-valued functions, i.e., $$ \| f \|_2^2 = \int \|f(t)\|^2 dt < \infty $$ where $\|\cdot\|$ is the Euclidean norm on $\mathbb{R}^n$. I am looking ...
3
votes
4answers
149 views

Integral inequality for continuous function

Let $ f $ be a continuous, real-valued function on $[0, 1] $. Show that $$\int_0^1 \int_0^1 |f (x)+f (y)| dx dy \ge \int_0^1 |f (x)| dx $$ I tried to dissect the square in triangles and use ...
0
votes
1answer
55 views

proof for inequality

Hi I am trying to understand a step of a proof, why is it true that $$\left [ \int_{-\infty}^{\infty}|t{f(t)}{f'^*(t)}|\,dt\right]^2\ge\left [ ...
2
votes
1answer
93 views

Cauchy-Schwarz-like inequality of integrals

Let $f,g,$ be integrable on $[a,b]$. Prove that $$\int_a^b(fg)^2\le\int_a^bf^2\int_a^bg^2$$ I know that from Cauchy-Schwarz we have $$\left(\int_a^bfg\right)^2\le\int_a^bf^2\int_a^bg^2$$ so if we ...
2
votes
1answer
44 views

Need help filling in the details of proof of Jensen's Inequality

In a book on PDEs that I'm reading, I am trying to fill in the details of the proof of Jensen's Theorem, and am having a little trouble with the algebra. Here is the statement of Jensen's Theorem in ...
2
votes
1answer
39 views

Find $\inf_{f > 0} T_f := \left(\int_A f \, d\mu\right)\left(\int_A \frac{1}{f} \, d\mu\right)$

This exercise gives me trouble: Let $F$ denote the collection of measurable functions which are positive $\mu$-a.e. and let $A \in \mathbb X$ satisfy $0 < \mu(A) < \infty$. For $f \in F$ let ...
0
votes
1answer
47 views

Some questions on the proof of Hoelders inequality.

I have some questions about the proof of Hoelder's inequality. Statement: Let $(X, \mathbb X, \mu)$ be a measure space. Let $p,q > 1$ with $1/p+1/q = 1$ and suppose that $f \in L_p(X)$ and $g \in ...
2
votes
3answers
153 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 ...
11
votes
6answers
397 views

Asymptotic behaviour of a multiple integral on the unit hypercube

A few days ago I found an interesting limit on the "problems blackboard" of my University: $$\lim_{n\to +\infty}\int_{(0,1)^n}\frac{\sum_{j=1}^n x_j^2}{\sum_{j=1}^n x_j}d\mu = 1.$$ The correct claim, ...
4
votes
2answers
160 views

Integral inequality $\int_0^1\log \left(f(x)\right)dx\leq \log\left(\int_0^1f(x)dx\right)$

How to prove this inequality $$\int_0^1\log \left(f(x)\right)dx\leq \log\left(\int_0^1f(x)dx\right)$$ for $f>0$.
1
vote
1answer
75 views

Wirtinger's inequality in higher dimension

Wirtinger's inequality for one-dimensional functions states that if $f(x)$, $f'(x) = \frac{df(x)}{dx}$ $\in$ $\mathcal{L}^2(a,b)$ and either $f(a) = 0$ or $f(b) = 0$ then \begin{equation} \int_{a}^{b} ...
1
vote
1answer
99 views

Maximum value in the Gruss inequality

The Gruss inequality states: $$\left|\frac{1}{x_2-x_1}\int_{x_1}^{x_2}dxf(x)g(x)-\frac{1}{(x_2-x_1)^2}\int_{x_1}^{x_2}dxf(x)\int_{x_1}^{x_2}dxg(x)\right|\le\frac{1}{4}(A-a)(B-b)$$ where $a\le f(x)\le ...
1
vote
1answer
439 views

Prove Friedrichs' inequality

I'm trying to show that the theorem (Friedrichs' inequality) in my book: Assume that $\Omega$ be a bounded domain of Euclidean space $\Bbb R^n$. Suppose that $u: \Omega \to \Bbb R$ lies in the ...
4
votes
2answers
228 views

How prove this integral inequality $2\int_{-1}^{1}f(x)g(x)dx\ge\int_{-1}^{1}f(x)dx\int_{-1}^{1}g(x)dx$

Let $f:[-1,1]\longrightarrow \mathbb{R}$ be increasing on $[0,1]$ and even, i.e. $f(x)=f(-x)$ $\forall x\in [-1,1]$. Let $g:[-1,1]\longrightarrow \mathbb{R}$ be convex, i.e. $g(tx+(1-t)y)\le ...
0
votes
0answers
31 views

How to prove a duality of $L^p$ spaces? [duplicate]

Let $(\Omega,\Sigma,\mu)$ be a finite measure space and $f:\Omega\longrightarrow \mathbb{R}$ be a measuable function. Let $1\leq p< \infty$ and $1/p+1/q=1$. Prove that the following are equivalent: ...
0
votes
0answers
27 views

Prove that $\int_{{B(0,\epsilon)}\setminus \{z_1=0\}}\det\left(\text{Hessian}_u(z)\right)\mathrm{d}V=\infty$

I have a problem: For $u(z_1,z_2)=\left (-\log\left | z_1 \right | \right )^\alpha\cdot \left ( \left | z_2 \right |^2-1 \right )$, where $\alpha \in \left (0,1 \right )$. Prove that if $\alpha ...
0
votes
1answer
86 views

An inequality involving norms.

I have to know how we can show the following inequality: $\|u\|_{2}\leq\|u_{0}\|_{2}+\int_{0}^{t}\|u_{t}(t,x)\|_{2}dt$ where $\|u\|_{2}=\Big(\int_{\Omega}u^{2}dx\Big)^{1/2}$, $u_{0}=u(x,0)$, ...
2
votes
0answers
159 views

Weak/Variational Gronwall type inequality

I came across the following weak differential inequality while looking through F.Otto's paper on $L^{1}$ contraction and uniqueness of quasilinear elliptic-parabolic equation: \begin{align*} - ...
2
votes
2answers
94 views

Strange deduction about relation of median and mean

On his blog T. Tao's proves the following concentration inequality, due to Talagrand. Let $K>0$, and let $X_{1},..., X_{n}$ be iid complex random variables all bounded by $K$. Let ...
3
votes
2answers
78 views

Find min $P$: $P=\frac{1}{(a+b)(b+c)}+\frac{1}{(c+a)(a+b)}+(c+1)(3+a+b)$

Let $a,b,c\geq 0$ and $a+b+c=1$. Know that never have two numbers both zero. Find min $P$: $$P=\frac{1}{(a+b)(b+c)}+\frac{1}{(c+a)(a+b)}+(c+1)(3+a+b)$$
1
vote
0answers
145 views

When $\int_a^b\left(f(x)\right)^kdx=\left[\int_a^bf(x)dx\right]^k$

Under what conditions on $f(x)$ the following equation holds? $$\int_a^b\left(f(x)\right)^kdx=\left[\int_a^bf(x)dx\right]^k$$ with $k\in\mathbb{N}$ and $k\gt1$. I know the following inequality holds: ...
1
vote
1answer
103 views

Lower bound of Fourier transform

We know the Fourier transform of the Gauss-function: $\displaystyle\int_{\xi\in\mathbb{R}^d}e^{-\pi\, C\,|\xi|^2}e^{2\pi i \xi\cdot X}d\xi=C^{-d/2}e^{-\, \pi\, |X|^2/2}$ for any $C>0$. Then ...
1
vote
1answer
61 views

A certain interpolation inequality

Suppose that $1 \leq q,r\leq \infty$ and that $\frac{2}{p} = \frac{1}{r} + \frac{1}{q}$. Let $I$ be an interval. How can we show that $$\int_I|u_x|^pdx \leq ...
1
vote
1answer
78 views

Proof that $E[\exp(|A|)] \leq \exp(\delta) + \exp(\delta)P(|A|>\delta) + \int_\delta^\infty\exp(x)P(|A|>x)dx$

Let $A$ be a random variable and $P$ be a probability measure. For some real $\delta>0$, is there a simple proof that $E[\exp(|A|)] \leq \exp(\delta) + \exp(\delta)P(|A|>\delta) + ...
1
vote
1answer
70 views

An inequality-Is it possible?

I want to know that is it possible to show that $$ \int_{0}^{T}\Bigr(a(t )\Bigr)^{\frac{p+1}{2p}}dt\leq C\Bigr(\int_{0}^{T}a(t)dt\Bigr)^{\frac{p+1}{2p}} $$ for some $C>0$ where $a(t)>0$ and ...
1
vote
2answers
131 views

An integral inequality.

I want to know that is it possible to show that $$ \int_{0}^{T}\Bigr(a(t )\Bigr)^{\frac{p+1}{2p}}dt\leq C\Bigr(\int_{0}^{T}a(t)dt\Bigr)^{\frac{p+1}{2p}} $$ for some $C>0$ where $a(t)>0$ and ...