<p>We give an example of a weakly mixing <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1056_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{BV}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>BV</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> divergence-free vector field <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1056_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="163" /> </InlineMediaObject> <EquationSource Format="TEX">\(b\in L^\infty ([0,1],{{\,\textrm{BV}\,}}(\mathbb {T}^2))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo>,</mo> <mrow> <mspace width="0.166667em" /> <mtext>BV</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> which is not strongly mixing, in the setting introduced in Bianchini and Zizza (Comm Math Phys 402:1953-2009, 2023), Elgindi and Zlatoš (Adv Math 356, 2019). This is an example of a deterministic vector field with a weakly mixing but not strongly mixing behaviour, while previously were known only examples of strongly mixing vector fields. The construction here is based on a work of Chacon (Proceedings of the American Mathematical Society 22:59-562, 1969) who developed a general framework to generate weakly mixing properties. In particular, he constructed a weakly mixing automorphism (a measure-preserving invertible map) which is not strongly mixing on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1056_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="139" /> </InlineMediaObject> <EquationSource Format="TEX">\(([0,1],\mathcal {B}([0,1]),|\cdot |)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> <mo>,</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> <mo stretchy="false">)</mo> <mo>,</mo> <mo stretchy="false">|</mo> <mo>·</mo> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1056_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {B}([0,1])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are the Borel subsets of [0,&#xa0;1] and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="28_2025_1056_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\cdot |\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mo>·</mo> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation> is the one-dimensional Lebesgue measure. The idea of the proof is to decompose the motion into simple movements of subquares that can be obtained by composition of divergence-free vector fields. Here the example is given in the two-dimensional torus, after a short revision of the one-dimensional setting, but the construction can be extended to any dimension.</p>

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

An example of a weakly mixing \({{\,\textrm{BV}\,}}\) vector field which is not strongly mixing

  • Martina Zizza

摘要

We give an example of a weakly mixing \({{\,\textrm{BV}\,}}\) BV divergence-free vector field \(b\in L^\infty ([0,1],{{\,\textrm{BV}\,}}(\mathbb {T}^2))\) b L ( [ 0 , 1 ] , BV ( T 2 ) ) which is not strongly mixing, in the setting introduced in Bianchini and Zizza (Comm Math Phys 402:1953-2009, 2023), Elgindi and Zlatoš (Adv Math 356, 2019). This is an example of a deterministic vector field with a weakly mixing but not strongly mixing behaviour, while previously were known only examples of strongly mixing vector fields. The construction here is based on a work of Chacon (Proceedings of the American Mathematical Society 22:59-562, 1969) who developed a general framework to generate weakly mixing properties. In particular, he constructed a weakly mixing automorphism (a measure-preserving invertible map) which is not strongly mixing on \(([0,1],\mathcal {B}([0,1]),|\cdot |)\) ( [ 0 , 1 ] , B ( [ 0 , 1 ] ) , | · | ) , where \(\mathcal {B}([0,1])\) B ( [ 0 , 1 ] ) are the Borel subsets of [0, 1] and \(|\cdot |\) | · | is the one-dimensional Lebesgue measure. The idea of the proof is to decompose the motion into simple movements of subquares that can be obtained by composition of divergence-free vector fields. Here the example is given in the two-dimensional torus, after a short revision of the one-dimensional setting, but the construction can be extended to any dimension.