For questions inequalities which involves integrals, like Cauchy-Bunyakovsky-Schwarz or Hölder's inequality. To be used with (inequality) tag.

learn more… | top users | synonyms

7
votes
0answers
145 views

How to prove Integral inequality with Hardy's inequality

Let $f\in C_{0}^{\infty}((-1,1))$. Prove that for any $t\in (-1,1)$ we have $$(f(t))^4\le ...
5
votes
0answers
117 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
0answers
208 views

How did he use Gronwall Lemma??

I´ve got these lines from an article: ( where $b:\mathbb{R}_+\to \mathbb{R}_+$ is non-decreasing and $(X_t)$ is an $\mathbb{R}_+$-valued process - it doesn't matter very much, I guess, anyway-.) ...
4
votes
0answers
113 views

A mixture with ingredients of two equivalences with Riemann Hypothesis

Let $f(x)=x\cdot(\log x)^x$ for $x\geq 2$, then integrating $\log f(x)=\int_2^x f'(t)/f(t)dt$, it is easy to prove the first statement of following, and directly if we put $x=e^H_n$ and add $H_n$ the ...
4
votes
0answers
182 views

hard integral inequality with $e^{x^2}$

a) prove the convergency of $$ \int_0^{\infty} \dfrac {\cosh x \cdot \sin x} {x\cdot e^{x^2}}$$ b) prove the inequality $$ \int_0^{\frac {7\pi} {12}} \dfrac {\cosh x \cdot \sin x} {x\cdot ...
3
votes
0answers
42 views

Inequality involving homogenous function of degree -1

Let $p\in[1,\infty]$. For $f\in L^p(0,\infty)$ we define $Tf:x\mapsto \int_0^\infty K(x,y)f(y)\,dy$ where $K$ is homogenous of degree $-1$, i.e. $K(\lambda x,\lambda y) = \lambda^{-1} K(x,y)$ for ...
3
votes
0answers
116 views

A conjectural inequality of the form $\int_a^b g(B'_1(t)) dt \le \int_a^b g(B'_2(t)) dt $ with convex increasing $g$

Assume $ g:[0,\infty)\to [0,\infty) $ be strictly convex and increasing monotonic function and $B_1:[0,\infty)\to [0,\infty) $ be convex and increasing monotonic function and $B_2:[0,\infty)\to ...
3
votes
0answers
111 views

An inequality with a characteristic function

It's my first question here, hi. In fact, it derives from my probability theory homework, which appears to be unusually difficult (or I just don't see something): Suppose $X$ is a real valued random ...
2
votes
0answers
16 views

Poincare type inequality on unit square: can you improve on my constants?

I am trying to bound $\int_{[0,1]^2} u^2$ in terms of its gradient and boundary integrals, $\int_{[0,1]^2} |\nabla u|^2$, $\int_{\partial[0,1]^2} u^2$, with the best possible constants. So far I ...
2
votes
0answers
28 views

How does this inequality imply this one?

I am having a little trouble understanding this part of a proof. There is an integral $\text{J}_{n} = \int_0^{\frac{\pi}{2}} x^2\cos^{2n}x dx$ Now, $\text{J}_0 = \frac{\pi ^3}{24} $ The part of ...
2
votes
0answers
400 views

Integral inequality - lower bound on $L^1$ norm.

I was wondering if one can make an estimate of form: Assume $f\in C^\infty(\overline{\Omega})$ where $\Omega$ is a bounded domain in $\mathbb{}R^d$. Is there a constant $C>0$ independent of $f$ ...
2
votes
0answers
44 views

Question about the assumption of a version of Grönwall's inequality.

According to Wikipedia, A version of Grönwall's inequality for the integral of continuous functions is the following: Let $I$ denote an interval of the real line of the form $[a,\infty)$ or $[a,b]$ ...
2
votes
0answers
61 views

integral inequality involving $\sup|f'|$

Let $f:[0,1]\rightarrow \mathbb R$ be continuous function differentiable on $(0,1)$ with property that there exists $a \in (0,1]$ such that $$\int_{0}^a f(x)dx=0$$ Prove that $$\left|\int_{0}^1 ...
2
votes
0answers
48 views

Proving inequality that bounds the sum of norms with the norms of sums (plus additional terms)

I am struggling with showing the following for finite $\delta>0$ and any $g\in\mathcal{G}_1\times...\times\mathcal{G}_k$: ...
2
votes
0answers
100 views

Inequality involving double integral

There's a function $g(x,y):\mathbb{R^+\times \mathbb{R}^+\rightarrow \mathbb{R}^+}$ with $g_1(x,y)>0$, $g_2(x,y)>0$, and $g_{12}(x,y)>0$. I conjecture that $$\int ...
2
votes
0answers
44 views

one inequality involving two stochastic processes

I am having trouble proving one inequality involving two stochastic processes. The problem seems simple but I just cannot handle it. Any help would be appreciated. $S_t$ and $C_t$ are two positive ...
2
votes
0answers
193 views

Hölder's inequality and log convexity of $L^{p}$ norm

Hölder's inequality of $L^{p}(X,\mu)$ $\left\Vert fg \right\Vert_{r} \leq \left\Vert f \right\Vert_{p} \left\Vert g \right\Vert_{q}$ where $0<p,q,r\leq \infty$ and ...
2
votes
0answers
86 views

Gagliardo-Nirenberg-Sobolev inequality

There is one step of the textbook's proof that I wish could be clarified. Pages 277-278 of PDE Evans, 2nd edition, says: Integrate this inequality with respect to $x_1$: \begin{align} ...
2
votes
0answers
65 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} ...
2
votes
0answers
245 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*} - ...
1
vote
0answers
45 views

A Stochastic Integral Inequality

Let $B(t)$ be the standard Brownian motion, $\mu(t,x)$ and $\sigma(t,x)$ are continuous functions, and $$dr(t) = \mu(t,r(t))dt+\sigma(t,r(t))dB(t).$$ Is there a pair $(\mu,\sigma)$ such that ...
1
vote
0answers
39 views

Incomplete $\Gamma$ inequality

How to prove the following statement? For any $x > 0$, $\gamma(x+1,x) < \Gamma(x+1,x+1) < \gamma(x+1,x+1) < \Gamma(x+1,x)$ or, equivalently, $$\int_0^x t^x e^{-t} dt < ...
1
vote
0answers
42 views

Study the variation of $\frac{\Gamma(m-n^\prime+1,n^\prime q)}{\Gamma(m-n+1,n q)}$ with $q$

We define function $g(q)$ as the following: $$\frac{\Gamma(m-n^\prime+1,n^\prime q)}{\Gamma(m-n+1,n q)},$$ where $n^\prime \ge n+1$, $n^\prime \le m$. We note that $q$, $m$, $n$ $n^\prime$ are all ...
1
vote
0answers
28 views

Singular Gronwall type inequality

I am looking for a proof or refrence for the following Gronwall-type inequality: Let $ \varphi (t,s) $ is a continous function for $0 \leq s < t \leq T$. If the following inequality holds: $$ ...
1
vote
0answers
25 views

Inequalities with the Integral Test

a) Use the proof of the integral test to show that $\ln(n!)\ge n\ln(n)-n+1$ for $n>1$ b) Use part (a) to show that $\ln(n!)\ge n\ln(n)$ for $n\ge 10$ I was able to solve part a) but not ...
1
vote
0answers
13 views

An inequality between functions in Munkenhoupt class

I'm currently studying the Munkenhoupt class (also called $A_p$ class), and I'm stumbled upon the proof of the following property: Given $1 < p <\infty$, and $w\in A_p(R^n)$ (note that we have ...
1
vote
0answers
20 views

Is $\int_1^2 \int_{(3/2-1/x_1)^{-1}}^2 \cdots \int_{[(n+1)/2-\sum_{k=1}^{n-1} 1/x_k]^{-1}}^2 \prod_{k=1}^n f(x_{k-1},x_k) dx_1 \dots dx_n \geq cq^n$?

Let $f\colon (1,2)\times (1,2) \to \mathbb{R}$ be a Lebesgue measurable, bounded and non-negative function such that $$ \int_1^2 f(x,y) dy = 1, \qquad x \in (1,2). $$ Moreover, assume that for any ...
1
vote
0answers
38 views

Question about the interpret of Picone inequality for non-regular functions.

Assume $\Omega \subset \mathbb{R}^N$, $ N>4 $ is open. There is a well-known picone identity that says Let $u,v \in C^2(\Omega)$ satisfy $v>0$ and $-\Delta v \geq 0$ in $\Omega$. The ...
1
vote
0answers
46 views

Hölder type inequality or similar or general inequality for integral of product

It is well known that for two given functions $f,g:\mathbb{R}^d \rightarrow \mathbb{R}^d$ such that $fg \in L^1(\mathbb{R}^d)$ and $f\in L^p(\mathbb{R}^d)$ and $g\in L^q(\mathbb{R}^d)$ with ...
1
vote
0answers
40 views

“Transference” argument

In the proof of the Iwaniec-Martin theorem (giving a bound in $L^p$ for the Riesz transform, $\|R_j\|_p=\cot(\frac{\pi}{2p^*})$ the proof of this equality is given by proving the inequalities $\leq$ ...
1
vote
0answers
32 views

Step function scalar product inequality

I would like to prove the following inequality: $$\langle f,\frac{|N.+1|}{N} \rangle^2 \leq \langle f,. \rangle^2$$ where $f$ is a step function of the form $f(s)=\sum\limits_{i=1}^N f_i ...
1
vote
0answers
30 views

An integral inequality

Suppose $K\in C[0,1]^2$, $G\in C[0,1]$ are arbitrary and given. The question is that does there exists $H\in B[0,1]$ continuous a.e. with possibly finitely many discontinuities such that $$ ...
1
vote
0answers
39 views

Inequality involving incomplete gamma function

When trying to answer this question: Find minimum $n$ such that $1+z+\frac{z^2}{2!}+\cdots+\frac{z^n}{n!}=0$ has no answer inside the circle of radius $100$ centered at the origin I ended up in what ...
1
vote
0answers
82 views

Related to Gronwall's Inequality.

The exercise is: Let $K \geq 0$, $f,g \geq 0$ continuous functions from $[a,b]$ to $\Bbb R$ and $x_0 \in ]a,b[$. Suppose that $f(x) \leq K + \left|\int_{x_0}^x f(t)g(t) \ \mathrm{d}t\right|,$ ...
1
vote
0answers
49 views

L^2 space convolution inequality

How do you use Young's Inequality, and all these convolution formulae to prove the following inequality $$||f*g||^2_{L^2(\mathbb{T})}\leq ||f*f||_{L^2(\mathbb{T})}||g*g||_{L^2(\mathbb{T})}$$ where ...
1
vote
0answers
47 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
0answers
53 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 ...
1
vote
0answers
79 views

Extending by zero a Sobolev function

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set and $u\in W_0^{1,2}(\Omega)$. Define $B_R=B(x_0,R)$ for $x_0\in\partial\Omega$ and consider $\tilde{u}=u\chi_{\Omega\cap B_{2R}}$. Do we need some ...
1
vote
0answers
54 views

Does Jensen's inequality become stricter with respect to the right boundary point?

Let $f(x)>0$ for all $t\in %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion $ be a density. I will truncate the density to the finite interval $[a,b]$ and will eventually be taking ...
1
vote
0answers
56 views

inequality question with integrals

There is a question that, I think, has a definite answer, but I can't figure it out. Given are three real valued functions, $f$,$g$, $w$, of a real variable $x$. The functions are non-negative, i.e., ...
1
vote
0answers
340 views

Show that Bellman-Gronwall's inequality

I'm trying to prove the theorem general of the Bellman-Gronwall's inequality: Assume that $u(t)$ be real valued non - negative continuous function, and such that $$u(t)\le u(\tau ...
1
vote
0answers
156 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
0answers
43 views

Estimation of a scalar product

I encountered the following, which shouldn't be that hard, but I can't get my head around it. The problem is the following estimate (part of a bigger equation, but here's just the difficult part): ...
1
vote
0answers
142 views

Inequalities of integrals of periodic functions

I have a function that has a shape similar to $\sin(x)^2$ (could be periodic extensions of $(x/(\pi/2))^2$ defined between $-\pi/2$ to $\pi/2$ for example). Let's call it $g(x)$. I want to show that ...
0
votes
0answers
22 views

Name or reference about a inequality with integrals?

I have wrote down some class notes and I think I copied something wrong. It is an integral inequality; $$\iiint_{B^n}|\nabla\psi|^2\frac{1}{|x|^{n-2}}dV\leq C\iint_{\partial B^n}|\psi|^2dA$$ where ...
0
votes
0answers
10 views

Relation between Karamata's and Hardy-Littlewood's inequalities

In the field of (elementary) classical inequalities one of the most famous tools is the majorization inequality due to Karamata [1] (also known as Hardy-Littlewood-Polya). In its integral version, it ...
0
votes
0answers
21 views

Inequality verification of the ratio of two integrals involving Bessel functions

Given the following integral: $\sigma(k,\theta)=2k^2cos^2\theta\int_0^\infty J_0(2k\tau |sin\theta|) exp(-2s^2k^2\tau^{2H}cos^2\theta)) \tau d\tau$ With the following constraints ...
0
votes
0answers
27 views

Wirtinger's inequality

I was proving this equation in class but I ran into a problem $$\int_0^\pi u^2dx \leq \int_0^\pi (u')^2dx$$ I have $$0 \leq \int_0^\pi (u' - u \cot(x))^2 dx = \int u'-2uu'\cot(x) + u^2\cot^2(x)dx$$ ...
0
votes
0answers
21 views

Upper bound for integral on some environment of zero

I'm trying to proof an estimate that should not be too hard to proof. Let $f$ be some integrable non-negative function and $c>0$ some arbitrary constant. I claim that there exists some ...
0
votes
0answers
11 views

An Integral Inequality over the space of Probability Distribution with a Parameter

Suppose $P$ is the set of functions where $p\in P: R^{+2}\to R^+$ and $p(t,s)$ is differentiable in $t$. $\forall t, p(t,\cdot)$ is a probability distribution on the positive axis $s\in [0,\infty)$, ...