Questions tagged [young-inequality]

This tag is for questions relating to Young's inequality, a special case of the weighted AM-GM inequality. It is very useful in real analysis, including as a tool to prove Hölder's inequality. It is also a special case of a more general inequality known as Young's inequality for increasing functions.

Filter by
Sorted by
Tagged with
0 votes
1 answer
12 views

Poisson distribution inequality for sum of rates

Given $s,t \in \mathbb{R}^+$ and $i,j \in \mathbb{N}$, Let $X,Y,Z$ be random variables with Poisson distribution with rate $s,t$ and $s+t$, respectively. Is it true that $$ P(Z = i+j) \geq P(X=i) \...
John Kevin's user avatar
1 vote
0 answers
13 views

Integral estimate with Young's inequality

Consider two functions $g,h$ with $g\in L^m(\Omega)$ and $h\in L^{l+\epsilon}(\Omega)$, where $\Omega\subset\mathbb{R}^l$ ($l\geq 2$) is some bounded domain, $\epsilon>0$ is small (for simplicity ...
HelloEveryone's user avatar
0 votes
1 answer
26 views

Young's inequality for scalar multiplied with absolute value of function

Young's inequality states the following: For scalar time functions $x(t)\in\mathbb{R}$ and $y(t)\in\mathbb{R}$, the following holds: $$ x\cdot y \leq \frac{1}{2\cdot \epsilon}\cdot x^2 + \frac{\...
Teo Protoulis's user avatar
2 votes
1 answer
50 views

Simple inequality involving product [closed]

I stumbled across the inequality below, which should be correct...I can't come up with a proof (so frustrating :S). Maybe someone can help? Thanks a lot! For $a\geq 0$, $b\in \mathbb{R}$ $$ab\leq a\...
flik's user avatar
  • 111
0 votes
1 answer
158 views

Young's inequality in probability theory

The following is the standard version, in two equivalent statements: If $a \geq 0$ and $b \geq 0$ are nonnegative real numbers and if $p > 1$ and $q > 1$ are real numbers such that $\frac{1}{p} ...
ric.san's user avatar
  • 121
0 votes
1 answer
54 views

How to show an inequality of integral

I’m reading a paper in which there is an inequality as $$ 2k\phi (L,t)\int_{0}^{L}{{{e}^{-\frac{\mu x}{2}}}\phi (x,t)dx}\le \left( \frac{r{{e}^{-\mu L}}}{2} \right){{\phi }^{2}}(L,t)+\left( \frac{2L{{...
philipe's user avatar
0 votes
0 answers
26 views

Young's Inequality in Locally Convex Spaces

I'm trying to understand a proof of a Lemma that's in relation to Young's inequality, the lemma is the following : Suppose $\frac{1}{p} + \frac{1}{q} = 1$ Let $a,b>0$ and let $1<p<\infty$ ...
Sam Connell's user avatar
1 vote
0 answers
27 views

Are there any refinements of $\langle \vec x,\vec y\rangle \leq \lVert \vec x\rVert_1\lVert \vec y\rVert_\infty$?

The standard Young's inequality states, for $a,b>0$ and $\nu\in[0,1]$, that $$ \nu a + (1-\nu)b\geq a^{\nu}b^{1-\nu}. $$ This has been refined in various ways, for example see the refined Young's ...
Mark Schultz-Wu's user avatar
0 votes
0 answers
137 views

Proof of converse of Young's convolution inequality

It is an exercise in Wheeden Zygmund Measure and integration($9.2$(b)). That is I need to show if the conclusion of Young's inequality hold ($||f*g||_r\leq ||f||_p ||g||_q$), show that $$\frac{1}{p}+\...
aouii's user avatar
  • 11
0 votes
0 answers
37 views

How can we apply Young's inequality here?

Let $a \geq 2 $. How can we get, using Young's inequality, that $$ a^2 b^{2a-4} \leq \frac{1}{2} b^{2a-2}+ C a^{2a}$$ for some large enough C. It seems like we are trying to apply it with $p=2$ and $q=...
user35687's user avatar
  • 805
1 vote
0 answers
167 views

Derivation of Hölder Inequality through Young's Inequaliy

I am having trouble following a proof where Young's Inequality is being used to derive Hölder's Inequality. More precisely, there is a particular and final step that utilizes integration in order to ...
ThriceTheDaddySimon's user avatar
1 vote
1 answer
93 views

Prove that $(1+x)^k/k + (1-x)^m/m\geq 1/k +1/m$ without calculus

Note: this has been edited to make the question more general. I want to show that $(1+x)^k/k + (1-x)^m/m$ is minimized at $x=0$ when $k,m\geq 1$ and $-1\leq x \leq1$. Of course, I could take the first ...
Jon Noel's user avatar
  • 234
0 votes
0 answers
21 views

Founding bounds on a certain expression

Suppose we have a bounded domain $\Omega$ with a boundary $\Gamma$. The space $L^2(\Omega)$ is equipped with the usual norm and inner product $|| \cdot||$ and $(\cdot , \cdot)$. I was working on a ...
Tarek Acila's user avatar
3 votes
0 answers
101 views

Deriving inequalities from other inequalities

My questions come from the proof of Theorem 5.14 in section 5.7 of this book. My first question can be stated as follows: Suppose for positive numbers $V,y,\Delta,x,\delta >0$ we have $V \leq y^{-...
Fei Cao's user avatar
  • 2,830
0 votes
1 answer
121 views

variant of young's inequality

Let $\alpha_{i}\geq 0$ y $p_{i}\geq 0$ for $i=1,2,...,n$ such that: $$\frac{1}{p_1}+\frac{1}{p_2}+...+\frac{1}{p_n}=1$$ proof that: $$\alpha_1\alpha_2...\alpha_n\leq \frac{\alpha_1^{p_1}}{p_1}+\frac{\...
wessi's user avatar
  • 195
1 vote
1 answer
118 views

Showing boundedness of a set (preparation for the proof of the Young inequality)

Define the two sets: $\Omega = \{(a,b) \in \mathbb{R}^2 \; | \; a>0, b>0\}, \; \; \; \; \overline{\Omega} = \{(a,b) \in \mathbb{R}^2 \; | \; a\ge0, b\ge0\}$ as well as the functions $g: \...
X3nius's user avatar
  • 55
1 vote
2 answers
307 views

Application of Hölder's inequality: $(a+b)^t \le 2^t(a^t+b^t)$ for $t\ge 1.$

While searching for a proof of the algebra property of Sobolev spaces ($H^s(\mathbb R^n)$ is an algebra when $s > n/2$), I found these notes. On page two the author states that if $t \ge 1$ then ...
Axion004's user avatar
  • 10.1k
1 vote
2 answers
270 views

Proving Young's inequality for n numbers whitout using AM-GM inequality

Let $\alpha_1, ..., \alpha_n \geq 0$, and $p_1,...,p_n \geq 0$ such that $\sum_{i=1}^{n} p_i^{-1} =1$. Show that $\alpha_1...\alpha_n \leq p_{1}^{-1}\alpha_1^{p_1}+...+p_{n}^{-1}\alpha_n^{p_n}$. It ...
John Mars's user avatar
  • 952
0 votes
1 answer
35 views

Inequality for sum to the exponent of $q>1$

In this question: How to use $\lesssim$ when using exponents I already asked about an inequality for a sum to the exponent of $2$. Now I wonder if $\forall q>1$, there exists a constant $C>0$ ...
Leoncino's user avatar
  • 476
1 vote
1 answer
53 views

Young-like inequality

I'm having trouble with the following statement: For positive variables $\{x_1,\dots,x_n\}\subset \mathbb{R_+}$ and $k\geq 1$ an integer, there exists $C=C(k)$ a numerical constant such that \begin{...
Leoncino's user avatar
  • 476
0 votes
1 answer
130 views

How can we show $\left\|g\ast f\right\|_{L^p}\le\left\|g\right\|_{L^1}\left\|f\right\|_{L^p}$?

Let $p\ge1$, $f\in L^p(\mathbb R^d)$ and $g\in L^1(\mathbb R^d)$. I've read that the inequality $$\left\|g\ast f\right\|_{L^p}\le\left\|g\right\|_{L^1}\left\|f\right\|_{L^p}\tag1$$ would follow from ...
0xbadf00d's user avatar
  • 13.4k
0 votes
0 answers
137 views

Sharpness of Young's Inequality for Convolutions

Young's inequality for convolutions states that for $g\in L^r(\mathbb{R}^d) $ and $f\in L^q(\mathbb{R}^d)$, we have $$\|g*f\|_p\leq \|g\|_r\|f\|_q$$ where $1+\frac{1}{p} = \frac{1}{r}+\frac{1}{q}.$ ...
iYOA's user avatar
  • 1,388
0 votes
0 answers
43 views

Computing using holder's and young's inequality

I need help in obtaining the following estimate which am stuck in calculating it in details: $$ \big| ((v^2+2v\langle u\rangle-v, (-\Delta)^{-1}v))\big| $$ $$ \leqslant \dfrac{3c_0}{8}\int_{\Omega}(v^...
Student's user avatar
  • 317
2 votes
1 answer
98 views

Young’s inequality implies $a^ {n/(n+1)}\leq 2a+(1/n^2)$ for any $a>0$ and $n\geq 1$

I’ve seen this statement in a Yano’s article and I can not prove it. I take the Young’s inequality $a^{1/p}b^{1/q} \leq a/p + b/q$ where $1/p +1/q =1$. I’ve prove it in the case $a\geq 1$. In the ...
Laura SPD's user avatar
0 votes
1 answer
50 views

How to prove the following Inequality with exponents

Let $X,Y>0$, $p>2$ and $q>p-1$. Then does the following inequality hold: $$ (|X|^{p-2}+|Y|^{p-2})(X^{1-q}+Y^{1-q})\leq C X^{p-1-q}+ D Y^{p-1-q}, $$ for some positive constants $C$ and $D$ may ...
Mathlover's user avatar
  • 713
4 votes
1 answer
132 views

Young inequality: Generalization on $\mathbb{T}$ space.

I'm interested in resolving this question that I find but on the $\mathbb{T}$ space. (Show that for any $f\in L^1$ and $g \in L^p(\mathbb R)$, $\lVert f ∗ g\rVert_p \leqslant \lVert f\rVert_1\lVert g\...
Mathematic_lover's user avatar
2 votes
1 answer
98 views

Hausdorff-Young inequality on T space

I know that this inequality work well on space $L^p(\mathbb{R})$. But is it possible to generalize this inequality to the $\mathbb{T}$ space? I think that on this space I can write this inequality ...
LightMath's user avatar
0 votes
1 answer
101 views

Prove that $a b \leq \frac{a^{3}}{3}+\frac{b^{3 / 2}}{3 / 2}$ [duplicate]

for any $a,b\in R^+$, how to prove that $$a b \leq \frac{a^{3}}{3}+\frac{b^{3 / 2}}{3 / 2}$$ my try: if I can prove that $\frac{a^2+b^2}{2}\leq \frac{a^{3}}{3}+\frac{b^{3 / 2}}{3 / 2}$then this ...
Isaac Tu's user avatar
2 votes
1 answer
203 views

Young's Inequality for Complementary Functions

I was trying to understand this theorem please see in the image. However I have no idea about the equality which I framed with red. Second, will not Young inequality turn into equality when both $y\...
usereb's user avatar
  • 817
0 votes
0 answers
168 views

Is it possible a refinement for Fenchel–Young inequality?

The idea of this post arises when I've known in past weeks a refinement of Young’s inequality, I say Lemma 2.1 from [1]. On the other hand the Wikipedia Young's inequality for products shows ...
user759001's user avatar
1 vote
1 answer
52 views

Reference to this Young Inequality for matrices

In this post: here I saw the usage of this Young Inequality: $$X^TY+Y^TX\leq \frac{1}{2}(X+SY)^TS^{-1}(X+SY)$$ With S any symmetric positive definite matrix. As far as I understood this could help ...
it8's user avatar
  • 149
2 votes
1 answer
448 views

Hardy-Littlewood-Sobolev inequality using generalised Young inequality in Lorenz spaces

I want to prove that $$\left| \left| \frac{1}{|x|^a} \ast f \right| \right|_q \lesssim ||f||_p$$ with $1 < p < q < \infty$ and $a= n \left(1 + \frac{1}{q}- \frac{1}{p} \right)$ using a ...
tommy1996q's user avatar
  • 3,354
2 votes
0 answers
917 views

Is the Fourier transform bounded from $L^\infty$ to $L^\infty$?

I have seen how to extend the Fourier transform as an operator from $L^p(\mathbb{R})$ to $L^p(\mathbb{R})$ with $1 \leq p < \infty$ using Schwartz's class functions and tempered distributions. So I ...
tommy1996q's user avatar
  • 3,354
0 votes
1 answer
39 views

Inequality with variable expoent

Let $a,b \geq 0$, and $n \in\mathbb{N}$, then if $1<p,q <\infty$ with $\frac{1}{p}+\frac{1}{q}=1$ is valid $(a+b)^n \leq p^{n}a^{n}+q^{n}b^{n}$. We would like to know in place of exponent $n$ ...
Cézar Bezerra's user avatar
4 votes
0 answers
294 views

What is the content of Young's inequality?

On the one hand, Young's inequality, in the form of $$ ab \leq \frac{a^p}{p}+\frac{b^q}{q} $$ where $p$ and $q$ are Hölder conjugates, can be seen to be easily rearranged to be a restatement of ...
ziggurism's user avatar
  • 16.8k
2 votes
0 answers
231 views

Young inequality for distributions

Young Inequality: Let $f \in L^p(\mathbb{R}^n)$, $g \in L^q(\mathbb{R}^n)$. Then, $h := f *g \in L^r(\mathbb{R}^n)$. Furthermore, \begin{equation} \| h \|_{L^r(\mathbb{R}^n)} \leq \| f \|_{L^p(\...
Sia's user avatar
  • 489
0 votes
1 answer
107 views

Using Young's inequality to prove $\frac{|x|^{a_1}|y|^{a_2}}{|x|^{b_1}+|y|^{b_2}} \geq 1$ where $\frac{a_1}{b_1}+\frac{a_2}{b_2}=1$

Use Young's Inequality prove that if $a_1$, $a_2$, $b_1$,$b_2$ are all positive and $\frac{a_1}{b_1} + \frac{a_2}{b_2} = 1$ then $$\frac{|x|^{a_1}|y|^{a_2}}{|x|^{b_1}+|y|^{b_2}} {\leq} 1$$ for ...
zuotiandenixi's user avatar
1 vote
1 answer
177 views

Help with an application of Young's inequality

I am reading through a set of notes about concentration of Gaussian measure, and on page 56, they make the following claim that I am failing to see the proof of: Now we estimate the second summand ...
stats_model's user avatar
  • 1,071
2 votes
1 answer
137 views

Is Young's inequality useful here?

I want to prove that for a given $0<\alpha<N$ and for all $0<\varepsilon< N-\alpha$ there exists $C>0$ s.t. $$ \Vert\vert x\vert^{-\alpha}\ast\vert u \vert^2\Vert_{L^\infty(\mathbb{R}^N)...
Senna's user avatar
  • 1,233
3 votes
2 answers
930 views

Young's convolution inequality: Equivalent representations

According to Wikipedia Young's inequality for convolutions states that For functions $f \in L^p$ and $g \in L^q$ one has $|| f*g ||_r \leq ||f||_p ||g||_q$ $\hspace{6.75cm}$ (Eq. 1) with $1/p + 1/q = ...
Minze's user avatar
  • 35
7 votes
3 answers
1k views

Does Young's inequality hold only for conjugate exponents?

Suppose that $ab \leq \frac{1}{p}a^p+\frac{1}{q}b^q$ holds for every real numbers $a,b\ge 0$. (where $p,q>0$ are some fixed numbers). Is it true that $ \frac{1}{p}+\frac{1}{q}=1$? I guess so, and ...
Asaf Shachar's user avatar
  • 25.1k
2 votes
1 answer
122 views

Having trouble showing this inequality

Given the initial boundary value problem \begin{align*} &u_t = Du_{xx} + f(u), \quad 0<x<1, t>0 \\ &u(0,t) = u(1,t) = 0, \quad t>0 \\ &u(x,0) = u_{0}(x), \quad 0<x<1 \...
jimbo92's user avatar
  • 51
3 votes
1 answer
253 views

Prove convergence in operator norm and compact operator

Let bounded domain $X \subset \mathbb{R^2}$ , $$T:L^2(X) \to L^2(X) \ \ Tf(x)=\int _{X} \frac{f(t)}{|x-t|}dt $$ $X_r (x)=X \cap \{t \in \mathbb{R}; |t-x| \geq r\}$ ,and $$T_r :L^2(X) \to L^2(X) \ \ ...
B.T.M's user avatar
  • 435
2 votes
1 answer
152 views

Why the relation between the exponents in Young's inequality is inevitable?

Suppose someone told you that there exist a pair of positive real numbers $p,q$ such that for every positive real numbers $a,b$, the following inequality holds $$ ab \leqslant \frac{a^p}{p} + \frac{b^...
Asaf Shachar's user avatar
  • 25.1k
2 votes
0 answers
558 views

Connecting Young's Inequality for Increasing Functions w/Young's Inequality for Conjugate Holder Exponents

From the Wikipedia page on Young's Inequality: This above statement of Young's Inequality is the most frequent one that I've encountered in textbooks. Yet consider: This second version ...
user1770201's user avatar
  • 5,215
5 votes
1 answer
1k views

Minkowski's and Holder's inequality confusion

Something doesn't completely makes sense to me in Minkowski's inequality and I'm trying to understand it. All throughout let $a_i, b_i \geq 0$, and $p > 1$, $\frac{1}{p} + \frac{1}{q} = 1$. ...
Oria Gruber's user avatar
  • 12.7k
1 vote
1 answer
636 views

Is this proof valid - Holder's inequality

Given that $a_i, b_i > 0$ and that $ p, q > 1$ and $\frac{1}{p} + \frac{1}{q} = 1$ I want to show Holder's inequality, that $\sum_{i}a_ib_i \leq (\sum_{i} a_i ^p)^{\frac{1}{p}} (\sum_{i} b_i ^q)^...
Oria Gruber's user avatar
  • 12.7k
2 votes
0 answers
149 views

Inequalities for the norms of the fractional Fourier transform

Introduction and definitions When considering the norms of a function $f(x)$ and its Fourier transform, $\tilde{f}$, \begin{equation} \tilde{f}(y)=\frac{1}{\sqrt{2\pi}}\int_\mathbb{R}e^{-iyx}f(x) \,, ...
AG1123's user avatar
  • 354
1 vote
1 answer
89 views

Proof of $\big|\int_E (f\cdot g)(x) \text{d}x\big| \leq [\int_E |f(x)|^p\text{d}x]^{(1/p)} \cdot [\int_E |g(x)| ^q\text{d}x]^{(1/q)}$

The answer to this question is given in here, but I cannot fill the gaps between the accepted answer, so here is what I have done with the guide of @Raito. My work: By Young's inequality, we do know ...
Our's user avatar
  • 7,285
1 vote
0 answers
225 views

Young inequality for negative exponents

Let $p\in(1,2)$, and $f, g:[0, \tau]\rightarrow\mathbb{R}$ are a real valued functions. I like to upper bound $\int_{t}^{u} e^{ ps}|f(s)|^{p-2}|g(s)|^{2}ds$ for $t, u \in[0,\tau]$ in the following way:...
mathdatastatsml's user avatar