<p>We give conditions on a real-valued function <i>F</i> on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb Z^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">Z</mi> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, for <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(d&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, which ensure that the solution <i>G</i> to the convolution equation <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((F*G)(x) = \delta _{0,x}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>F</mi> <mrow /> <mo>∗</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>δ</mi> <mrow> <mn>0</mn> <mo>,</mo> <mi>x</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> has Gaussian decay <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(|x|^{-(d-2)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mo stretchy="false">(</mo> <mi>d</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> for large |<i>x</i>|. Precursors of our results were obtained in the 2000s, using intricate Fourier analysis. In 2022, a very simple deconvolution theorem was proved, but its applicability was limited. We extend the 2022 theorem to remove its limitations while maintaining its simplicity—our main tools are Hölder’s inequality, weak derivatives, and basic Fourier theory in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> space. Our motivation comes from critical phenomena in equilibrium statistical mechanics, where the convolution equation is provided by the lace expansion and <i>G</i> is a critical two-point function. Our results significantly simplify existing proofs of critical <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(|x|^{-(d-2)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mo stretchy="false">(</mo> <mi>d</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> decay in high dimensions for self-avoiding walk, Ising and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varphi ^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>φ</mi> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation> models, percolation, and lattice trees and lattice animals. We also improve previous error estimates.</p>

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

Gaussian deconvolution and the lace expansion

  • Yucheng Liu,
  • Gordon Slade

摘要

We give conditions on a real-valued function F on \(\mathbb Z^d\) Z d , for \(d>2\) d > 2 , which ensure that the solution G to the convolution equation \((F*G)(x) = \delta _{0,x}\) ( F G ) ( x ) = δ 0 , x has Gaussian decay \(|x|^{-(d-2)}\) | x | - ( d - 2 ) for large |x|. Precursors of our results were obtained in the 2000s, using intricate Fourier analysis. In 2022, a very simple deconvolution theorem was proved, but its applicability was limited. We extend the 2022 theorem to remove its limitations while maintaining its simplicity—our main tools are Hölder’s inequality, weak derivatives, and basic Fourier theory in \(L^p\) L p space. Our motivation comes from critical phenomena in equilibrium statistical mechanics, where the convolution equation is provided by the lace expansion and G is a critical two-point function. Our results significantly simplify existing proofs of critical \(|x|^{-(d-2)}\) | x | - ( d - 2 ) decay in high dimensions for self-avoiding walk, Ising and \(\varphi ^4\) φ 4 models, percolation, and lattice trees and lattice animals. We also improve previous error estimates.