Young's convolution inequality states that, for $1/p+1/q=1/r+1$ ($1\leq p,\, q, r\leq \infty$), we have $$\lVert f \* g \rVert\_r \leq \lVert f\rVert\_p \lVert g\rVert\_q.$$
It is implicit here that the measure under which these norms are taken is the Lebesgue measure.


Let $\lVert\cdot\rVert\_{L^p\_w}$ denote the weighted norm defined by
$$ \lVert f \rVert\_{L^p\_w}^p = \int f^p(x)w(x)dx,$$
where $dx$ denotes Lebesgue measure and $\int w(x)dx=1$.



> 
> **Question.** Is it true that $$ \lVert f \* g \rVert\_{L^r\_w} \leq \lVert f\rVert\_{L^p\_w} \lVert g\rVert\_{L^q\_w}?$$
> 
> 
> 



Young's convolution inequality for weighted norms
I explained the correct generalization [in a blog post](https://qnlw.info/post/a-weighted-youngs-inequality-201910/). You version cannot hold for two reasons:


1. Your version doesn't have the right number of weights: on the left the weight only appears once and on the right it appears twice. To fix this you need to use a weighted convolution.
2. Your version doesn't respect the *lack* of translation invariance. As [Ilya Bogdanov's comment](https://mathoverflow.net/questions/391535/youngs-convolution-inequality-for-weighted-norms#comment998507_391535) indicates, if your weight function is heavily localized, you can easily choose $f$ and $g$ to have small weighted norms (by having support where $w$ is small) while their convolution has large weighted norm (by being supported where $w$ is large).


The correct statement is



> 
> **Notations**:
> Let $(\Omega, \mathcal{E}, \mu)$ and $(\Omega', \mathcal{E}', \mu')$ be $\sigma$-finite measure spaces. Denote by $L\_p$ and $L\_p'$ the $p$-integrable functions on $\Omega$ and $\Omega'$ respectively. And denote by $L\_pL\_q'$ and $L\_q'L\_p$ the Bochner spaces $L\_p(\Omega; L\_q'(\Omega'))$ and $L\_q'(\Omega'; L\_p(\Omega))$.
> 
> 
> 



> 
> **Theorem**:  
> 
> Let $1 \leq s\_1 \leq r\_1 \leq \infty$ and $1 \leq s\_2\leq r\_2\leq \infty$. If $k\_1, k\_2\in \Omega\times\Omega'\to\mathbb{R}$ are kernels satisfying
> $$ k\_1 \in L'\_{r\_1} L\_{s\_1}, \qquad k\_2 \in L\_{r\_2} L'\_{s\_2} $$
> Then the operator
> $$ T^\theta f(x) = \int\_{\Omega'} k\_1^\theta(x,y) k\_2^{1-\theta}(x,y) f(y) ~d\mu' $$
> defined for $\theta\in (0,1)$, is a bounded continuous mapping from $L'\_p$ to $L\_q$ provided
> $$ \frac{1}{q} = \frac{1-\theta}{r\_2} + \frac{\theta}{s\_1} $$
> and
> $$ 1 - \frac{1}{p} = \frac{1-\theta}{s\_2} + \frac{\theta}{r\_1} $$
> 
> 
> 


As you see, the integral operator is defined relative to the $\mu'$ measure, so in the end of the day both measure appears equally on the left and the right, that fixes problem 1. And to avoid the translation invariance problem, the integral kernel is measured in a Bochner space norm.


In your case, you want the two measure spaces to be equal, with $\Omega = \Omega' = \mathbb{R}^d$, and $\mu = \mu'$ being the Lebesgue measure with weight.


For the convolution case you are looking for $k\_1 = k\_2 = g(x-y)$. And so in order to copy the standard Young's inequality, what you need is



> 
> **Corollary**:  
> 
> Let $g: \mathbb{R}^d \to \mathbb{R}$ be such that
> $$ \int |g(x-y)|^p w(y) ~dy $$
> is uniformly bounded (in $x$) by some constant $M$. Then the weighted convolution
> $$ g\*\_w f(x) = \int g(x-y) f(y) w(y) ~dy $$
> satisfies
> $$ \| g\*\_w f\|\_{L^r\_w} \leq M \|f\|\_{L^q\_w} $$
> where $p, q, r$ satisfies the usual scaling relation.
> 
> 
> 


In other words, we ask for the function $(x,y) \mapsto g(x-y)$ to be in $L^\infty\_x L^p\_y \cap L^\infty\_y L^p\_x$. In the usual case the translation invariance of the Lebesgue measure tells us that $g\in L^p$ is sufficient to imply the above. But for general weighted measures you need to insist this separately.


Incidentally: this is also related to how one should define convolutions and prove Young's inequalities for functions on Lie groups that are not unimodular.


