<p>Carlen–Jauslin–Lieb–Loss Carlen et al. (Int Math Res Not 24:18604–18612, 2021) recently observed a remarkable property of a convolution inequality, namely the convolution inequality <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1901_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\ge f*f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>≥</mo> <mi>f</mi> <mrow /> <mo>∗</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation> for real-valued <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1901_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(f \in L^1(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> implies that <i>f</i> is non-negative and has a non-trivial <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1901_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation>-bound. In this note, we improve their result by proving that these two consequences are still valid under the weaker assumption in terms of the <i>N</i> times iterated convolution <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1901_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="136" /> </InlineMediaObject> <EquationSource Format="TEX">\(f \ge f*f*\cdots *f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>≥</mo> <mi>f</mi> <mrow /> <mo>∗</mo> <mi>f</mi> <mrow /> <mo>∗</mo> <mo>⋯</mo> <mrow /> <mo>∗</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation>. Moreover, we extend these results to the convolution on some class of Lie groups especially including the Heisenberg group <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1901_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb H}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. We then apply our result on the iterated convolution on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1901_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> to the study of some integro–differential equations which generalise the equation investigated in Carlen–Jauslin–Lieb Carlen et al. (Pure Appl Anal 2:659–984, 2020)</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Note on Carlen–Jauslin–Lieb–Loss’s Convolution Inequality \(f \ge f* f\)

  • Shohei Nakamura,
  • Yoshihiro Sawano

摘要

Carlen–Jauslin–Lieb–Loss Carlen et al. (Int Math Res Not 24:18604–18612, 2021) recently observed a remarkable property of a convolution inequality, namely the convolution inequality \(f\ge f*f\) f f f for real-valued \(f \in L^1(\mathbb {R}^n)\) f L 1 ( R n ) implies that f is non-negative and has a non-trivial \(L^1\) L 1 -bound. In this note, we improve their result by proving that these two consequences are still valid under the weaker assumption in terms of the N times iterated convolution \(f \ge f*f*\cdots *f\) f f f f . Moreover, we extend these results to the convolution on some class of Lie groups especially including the Heisenberg group \({\mathbb H}^n\) H n . We then apply our result on the iterated convolution on \(\mathbb {R}^n\) R n to the study of some integro–differential equations which generalise the equation investigated in Carlen–Jauslin–Lieb Carlen et al. (Pure Appl Anal 2:659–984, 2020)