<p>We consider the question of showing a log-Sobolev inequality for the Gibbs measure of the focusing Schrödinger equation built by Lebowitz-Rose-Speer (1988), formally given by <Equation ID="Equ48"> <EquationSource Format="TEX">\(\begin{aligned} d\rho \propto \exp \big (\frac{1}{p}\int _{\mathbb T} |u|^p d x - \frac{1}{2}\int _{\mathbb T} |\nabla u|^2 d x - \frac{1}{2}\int _{\mathbb T} |u|^2 d x\big ) \mathbbm {1}_{\Vert u \Vert _{L^2(\mathbb T)}^2 \le K}dud\overline{u}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>d</mi> <mi>ρ</mi> <mo>∝</mo> <mo>exp</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <msub> <mo>∫</mo> <mi mathvariant="double-struck">T</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mi>d</mi> <mi>x</mi> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <msub> <mo>∫</mo> <mi mathvariant="double-struck">T</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <msub> <mo>∫</mo> <mi mathvariant="double-struck">T</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <msub> <mn mathvariant="double-struck">1</mn> <mrow> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mn>2</mn> </msubsup> <mo>≤</mo> <mi>K</mi> </mrow> </msub> <mi>d</mi> <mi>u</mi> <mi>d</mi> <mover> <mi>u</mi> <mo>¯</mo> </mover> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>When <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(2 \le p \le 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>p</mi> <mo>≤</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, we show that these measures indeed satisfy a log-Sobolev inequality. When <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p&gt; 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, we establish a lower bound for the Hessian of the effective potential. This implies that the known convexity-based multiscale techniques for the log-Sobolev inequalities cannot be applied to the measure <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\rho \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> </InlineEquation>.</p>

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

A Remark on the Log-Sobolev Inequality for the Gibbs Measure of the Focusing Schrödinger Equation

  • Guopeng Li,
  • Jiawei Li,
  • Leonardo Tolomeo

摘要

We consider the question of showing a log-Sobolev inequality for the Gibbs measure of the focusing Schrödinger equation built by Lebowitz-Rose-Speer (1988), formally given by \(\begin{aligned} d\rho \propto \exp \big (\frac{1}{p}\int _{\mathbb T} |u|^p d x - \frac{1}{2}\int _{\mathbb T} |\nabla u|^2 d x - \frac{1}{2}\int _{\mathbb T} |u|^2 d x\big ) \mathbbm {1}_{\Vert u \Vert _{L^2(\mathbb T)}^2 \le K}dud\overline{u}. \end{aligned}\) d ρ exp ( 1 p T | u | p d x - 1 2 T | u | 2 d x - 1 2 T | u | 2 d x ) 1 u L 2 ( T ) 2 K d u d u ¯ . When \(2 \le p \le 4\) 2 p 4 , we show that these measures indeed satisfy a log-Sobolev inequality. When \(p> 4\) p > 4 , we establish a lower bound for the Hessian of the effective potential. This implies that the known convexity-based multiscale techniques for the log-Sobolev inequalities cannot be applied to the measure \(\rho \) ρ .