<p>This paper focuses on the constrained matrix differential Harnack inequality for a class of hypoelliptic evolution equations <Equation ID="Equ1"> <EquationSource Format="TEX">\( Lu = \text {div}(A \nabla u) + \langle x, B \nabla u \rangle - \partial _t u = 0, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>L</mi> <mi>u</mi> <mo>=</mo> <mtext>div</mtext> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mrow> <mo stretchy="false">⟨</mo> <mi>x</mi> <mo>,</mo> <mi>B</mi> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">⟩</mo> </mrow> <mo>-</mo> <msub> <mi>∂</mi> <mi>t</mi> </msub> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(A\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(B\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>B</mi> </math></EquationSource> </InlineEquation> are <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N\times N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>×</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> matrices and satisfy Hörmander’s rank condition and specific block structures. By applying the maximum principle, we get the result: for any positive solution <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(u\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> </InlineEquation> with <i>u</i> and its derivatives up to second order bounded and auxiliary solution <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(g\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>g</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(|g| &lt; u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>g</mi> <mo stretchy="false">|</mo> <mo>&lt;</mo> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation>, the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(N\times N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>×</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> matrix <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\((\frac{\partial ^{2}}{\partial x_{i}\partial x_{j}} \ln u - \frac{\partial ^{2}}{\partial x_{i}\partial x_{j}} \ln \Gamma - \frac{1}{1 - h^2}\frac{\partial h}{\partial x_{i}}\frac{\partial h}{\partial x_{j}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <msup> <mi>∂</mi> <mn>2</mn> </msup> <mrow> <mi>∂</mi> <msub> <mi>x</mi> <mi>i</mi> </msub> <mi>∂</mi> <msub> <mi>x</mi> <mi>j</mi> </msub> </mrow> </mfrac> <mo>ln</mo> <mi>u</mi> <mo>-</mo> <mfrac> <msup> <mi>∂</mi> <mn>2</mn> </msup> <mrow> <mi>∂</mi> <msub> <mi>x</mi> <mi>i</mi> </msub> <mi>∂</mi> <msub> <mi>x</mi> <mi>j</mi> </msub> </mrow> </mfrac> <mo>ln</mo> <mi mathvariant="normal">Γ</mi> <mo>-</mo> <mfrac> <mn>1</mn> <mrow> <mn>1</mn> <mo>-</mo> <msup> <mi>h</mi> <mn>2</mn> </msup> </mrow> </mfrac> <mfrac> <mrow> <mi>∂</mi> <mi>h</mi> </mrow> <mrow> <mi>∂</mi> <msub> <mi>x</mi> <mi>i</mi> </msub> </mrow> </mfrac> <mfrac> <mrow> <mi>∂</mi> <mi>h</mi> </mrow> <mrow> <mi>∂</mi> <msub> <mi>x</mi> <mi>j</mi> </msub> </mrow> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is nonnegative definite, where <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> is the fundamental solution of the equation and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(h=\frac{g}{u}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>=</mo> <mfrac> <mi>g</mi> <mi>u</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. This constrained inequality generalizes the unconstrained case and refines classical results by incorporating the gradient term of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(h = g/u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>=</mo> <mi>g</mi> <mo stretchy="false">/</mo> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On the Constrained Matrix Differential Harnack Estimate for A Class Of Hypoelliptic Evolution Equations

  • Xiaomei Sun,
  • Anqiang Zhu

摘要

This paper focuses on the constrained matrix differential Harnack inequality for a class of hypoelliptic evolution equations \( Lu = \text {div}(A \nabla u) + \langle x, B \nabla u \rangle - \partial _t u = 0, \) L u = div ( A u ) + x , B u - t u = 0 , where \(A\) A and \(B\) B are \(N\times N\) N × N matrices and satisfy Hörmander’s rank condition and specific block structures. By applying the maximum principle, we get the result: for any positive solution \(u\) u with u and its derivatives up to second order bounded and auxiliary solution \(g\) g with \(|g| < u\) | g | < u , the \(N\times N\) N × N matrix \((\frac{\partial ^{2}}{\partial x_{i}\partial x_{j}} \ln u - \frac{\partial ^{2}}{\partial x_{i}\partial x_{j}} \ln \Gamma - \frac{1}{1 - h^2}\frac{\partial h}{\partial x_{i}}\frac{\partial h}{\partial x_{j}})\) ( 2 x i x j ln u - 2 x i x j ln Γ - 1 1 - h 2 h x i h x j ) is nonnegative definite, where \(\Gamma \) Γ is the fundamental solution of the equation and \(h=\frac{g}{u}\) h = g u . This constrained inequality generalizes the unconstrained case and refines classical results by incorporating the gradient term of \(h = g/u\) h = g / u .