<p>For every&#xa0;<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40818_2024_189_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha &lt; \nicefrac 13\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&lt;</mo> <mfrac bevelled="true"> <mn>1</mn> <mn>3</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, we construct an explicit divergence-free vector field&#xa0;<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40818_2024_189_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf {b}}(t,x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">b</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> which is periodic in space and time and belongs to&#xa0;<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40818_2024_189_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^0_t C^{\alpha }_x \cap C^{\alpha }_t C^0_x\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>C</mi> <mi>t</mi> <mn>0</mn> </msubsup> <msubsup> <mi>C</mi> <mi>x</mi> <mi>α</mi> </msubsup> <mo>∩</mo> <msubsup> <mi>C</mi> <mi>t</mi> <mi>α</mi> </msubsup> <msubsup> <mi>C</mi> <mi>x</mi> <mn>0</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation> such that the corresponding scalar advection-diffusion equation <Equation ID="Equ468"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="40818_2024_189_Article_Equ468.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="193" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \partial _t \theta ^\kappa + {\textbf {b}}\cdot \nabla \theta ^\kappa - \kappa \Delta \theta ^\kappa = 0\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>∂</mi> <mi>t</mi> </msub> <msup> <mi>θ</mi> <mi>κ</mi> </msup> <mo>+</mo> <mi mathvariant="bold">b</mi> <mo>·</mo> <mi mathvariant="normal">∇</mi> <msup> <mi>θ</mi> <mi>κ</mi> </msup> <mo>-</mo> <mi>κ</mi> <mi mathvariant="normal">Δ</mi> <msup> <mi>θ</mi> <mi>κ</mi> </msup> <mo>=</mo> <mn>0</mn> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>exhibits anomalous dissipation of scalar variance for arbitrary&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40818_2024_189_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> initial data: <Equation ID="Equ469"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="40818_2024_189_Article_Equ469.gif" Format="GIF" Height="44" Rendition="HTML" Resolution="72" Type="Linedraw" Width="273" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}\limsup _{\kappa \rightarrow 0} \int _0^{1} \int _{\mathbb {T}^d} \kappa \bigl | \nabla \theta ^\kappa (t,x) \bigr |^2 \,dx\,dt &gt;0.\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo movablelimits="true">lim sup</mo> <mrow> <mi>κ</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </munder> <msubsup> <mo>∫</mo> <mn>0</mn> <mn>1</mn> </msubsup> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>d</mi> </msup> </msub> <mi>κ</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mi mathvariant="normal">∇</mi> <msup> <mi>θ</mi> <mi>κ</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>The vector field is deterministic and has a fractal structure, with periodic shear flows alternating in time between different directions serving as the base fractal. These shear flows are repeatedly inserted at infinitely many scales in suitable Lagrangian coordinates. Using an argument based on ideas from quantitative homogenization, the corresponding advection-diffusion equation with small&#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40818_2024_189_Article_IEq5.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation> is progressively renormalized, one scale at a time, starting from the (very small) length scale determined by the molecular diffusivity up to the macroscopic (unit) scale. At each renormalization step, the effective diffusivity is enhanced by the influence of advection on that scale. By iterating this procedure across many scales, the effective diffusivity on the macroscopic scale is shown to be of order one.</p>

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

Anomalous Diffusion by Fractal Homogenization

  • Scott Armstrong,
  • Vlad Vicol

摘要

For every  \(\alpha < \nicefrac 13\) α < 1 3 , we construct an explicit divergence-free vector field  \({\textbf {b}}(t,x)\) b ( t , x ) which is periodic in space and time and belongs to  \(C^0_t C^{\alpha }_x \cap C^{\alpha }_t C^0_x\) C t 0 C x α C t α C x 0 such that the corresponding scalar advection-diffusion equation \(\begin{aligned} \partial _t \theta ^\kappa + {\textbf {b}}\cdot \nabla \theta ^\kappa - \kappa \Delta \theta ^\kappa = 0\end{aligned}\) t θ κ + b · θ κ - κ Δ θ κ = 0 exhibits anomalous dissipation of scalar variance for arbitrary  \(H^1\) H 1 initial data: \(\begin{aligned}\limsup _{\kappa \rightarrow 0} \int _0^{1} \int _{\mathbb {T}^d} \kappa \bigl | \nabla \theta ^\kappa (t,x) \bigr |^2 \,dx\,dt >0.\end{aligned}\) lim sup κ 0 0 1 T d κ | θ κ ( t , x ) | 2 d x d t > 0 . The vector field is deterministic and has a fractal structure, with periodic shear flows alternating in time between different directions serving as the base fractal. These shear flows are repeatedly inserted at infinitely many scales in suitable Lagrangian coordinates. Using an argument based on ideas from quantitative homogenization, the corresponding advection-diffusion equation with small  \(\kappa \) κ is progressively renormalized, one scale at a time, starting from the (very small) length scale determined by the molecular diffusivity up to the macroscopic (unit) scale. At each renormalization step, the effective diffusivity is enhanced by the influence of advection on that scale. By iterating this procedure across many scales, the effective diffusivity on the macroscopic scale is shown to be of order one.