<p>We consider the 1d nonlinear Schrödinger equation (NLS) on the torus with initial data distributed according to the Gaussian measure with covariance operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\((1 - \Delta )^{-s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mi>s</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> is the Laplace operator. We prove that the Gaussian measures are quasi-invariant along the flow of (NLS) for the full range <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq3.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(s &gt; \frac{3}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. This improves a previous result obtained by Planchon et al. (Math Ann 378:389–423, 2020) where the quasi-invariance is proven for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(s=2k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>=</mo> <mn>2</mn> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation> for all integers <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In our approach, to prove the quasi-invariance, we directly establish an explicit formula for the Radon–Nikodym derivative <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_s(t,.)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mo>.</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the transported measures, which is obtained as the limit of truncated Radon–Nikodym derivatives <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{s,N}(t,.)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mrow> <mi>s</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mo>.</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for transported measures associated with a truncated system. We also prove that the Radon–Nikodym derivatives belong to <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, with respect to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^1(\mathbb {T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-cutoff Gaussian measures, relying on the introduction of weighted Gaussian measures produced by a normal form reduction, following Sun and Tzvetkov (Quasi-invariance of Gaussian measures for the 3d energy critical nonlinear Schrödinger equation, 2023. <a href="http://arxiv.org/abs/2308.12758">arXiv:2308.12758</a>). Additionally, we prove that the truncated densities <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{s,N}(t,.)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mrow> <mi>s</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mo>.</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> converges to <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_s(t,.)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mo>.</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> (with respect to the <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1049_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^1(\mathbb {T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-cutoff Gaussian measures).</p>

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

Transport of low regularity Gaussian measures for the 1d quintic nonlinear Schrödinger equation

  • Alexis Knezevitch

摘要

We consider the 1d nonlinear Schrödinger equation (NLS) on the torus with initial data distributed according to the Gaussian measure with covariance operator \((1 - \Delta )^{-s}\) ( 1 - Δ ) - s , where \(\Delta \) Δ is the Laplace operator. We prove that the Gaussian measures are quasi-invariant along the flow of (NLS) for the full range \(s > \frac{3}{2}\) s > 3 2 . This improves a previous result obtained by Planchon et al. (Math Ann 378:389–423, 2020) where the quasi-invariance is proven for \(s=2k\) s = 2 k for all integers \(k\ge 1\) k 1 . In our approach, to prove the quasi-invariance, we directly establish an explicit formula for the Radon–Nikodym derivative \(G_s(t,.)\) G s ( t , . ) of the transported measures, which is obtained as the limit of truncated Radon–Nikodym derivatives \(G_{s,N}(t,.)\) G s , N ( t , . ) for transported measures associated with a truncated system. We also prove that the Radon–Nikodym derivatives belong to \(L^p\) L p , \(p>1\) p > 1 , with respect to \(H^1(\mathbb {T})\) H 1 ( T ) -cutoff Gaussian measures, relying on the introduction of weighted Gaussian measures produced by a normal form reduction, following Sun and Tzvetkov (Quasi-invariance of Gaussian measures for the 3d energy critical nonlinear Schrödinger equation, 2023. arXiv:2308.12758). Additionally, we prove that the truncated densities \(G_{s,N}(t,.)\) G s , N ( t , . ) converges to \(G_s(t,.)\) G s ( t , . ) in \(L^p\) L p (with respect to the \(H^1(\mathbb {T})\) H 1 ( T ) -cutoff Gaussian measures).