<p>In this paper, we establish some new results on the well-posedness and longtime dynamics for the second-order evolution equation with degenerate energy damping: <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(u_{tt}+Au+\varphi (\Vert A^{\frac{1}{2}}u\Vert ^2+\Vert u_t\Vert ^2)u_t+f(u)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mrow> <mi mathvariant="italic">tt</mi> </mrow> </msub> <mo>+</mo> <mi>A</mi> <mi>u</mi> <mo>+</mo> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>A</mi> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </msup> <msup> <mrow> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mn>2</mn> </msup> <mrow> <mo>+</mo> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>u</mi> <mi>t</mi> </msub> <mrow> <msup> <mo stretchy="false">‖</mo> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>+</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, which is a infinite dimensional version of the Krasovskii model, where <i>A</i> is a positive self-adjoint operator defined densely in a Hilbert space <i>H</i>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is a nonnegative real function, and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Vert \cdot \Vert \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">‖</mo> <mo>·</mo> <mo stretchy="false">‖</mo> </mrow> </math></EquationSource> </InlineEquation> represents the norm of <i>H</i>. The main contributions are that: (i) We prove the existence and the energy decay of the global solutions of the model as well as the dissipativity of the associated dynamical system under the relaxed condition: <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varphi \in C (\mathbb {R}^+)\cap C^1(0,+\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>∈</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <msup> <mi>C</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mo>+</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varphi (0)=0, \varphi (s)&gt;0, \forall s&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mo>∀</mo> <mi>s</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, which removes the longstanding restrictions on this issue in literature: <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varphi (s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is either uniformly Lipschitz continuous or <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varphi (s)\sim s^q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>∼</mo> <msup> <mi>s</mi> <mi>q</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(q\ge 1/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. (ii) Especially when <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\varphi (s)=\gamma s^q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>γ</mi> <msup> <mi>s</mi> <mi>q</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\gamma &gt;0, q\in (0,2]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, we establish the existence of the compact global attractor of the associated dynamical system, which extends the range of the exponent <i>q</i> from either <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(q\in [1,1+\delta ), 0&lt;\delta \ll 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo>+</mo> <mi>δ</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mn>0</mn> <mo>&lt;</mo> <mi>δ</mi> <mo>≪</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> (for related beam model) or <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(q\in [1/2,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> (for related wave model) in literature before to <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(q\in (0,2]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. The methods proposed here allow our overcoming the degeneration of the nonlocal energy damping, extending the range of the exponent <i>q</i> and improving greatly the results in literature before.</p>

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

Dynamics of the Second-Order Evolution Equation with Degenerate Energy Damping

  • Cong Zhou,
  • Zhijian Yang

摘要

In this paper, we establish some new results on the well-posedness and longtime dynamics for the second-order evolution equation with degenerate energy damping: \(u_{tt}+Au+\varphi (\Vert A^{\frac{1}{2}}u\Vert ^2+\Vert u_t\Vert ^2)u_t+f(u)=0\) u tt + A u + φ ( A 1 2 u 2 + u t 2 ) u t + f ( u ) = 0 , which is a infinite dimensional version of the Krasovskii model, where A is a positive self-adjoint operator defined densely in a Hilbert space H, \(\varphi \) φ is a nonnegative real function, and \(\Vert \cdot \Vert \) · represents the norm of H. The main contributions are that: (i) We prove the existence and the energy decay of the global solutions of the model as well as the dissipativity of the associated dynamical system under the relaxed condition: \(\varphi \in C (\mathbb {R}^+)\cap C^1(0,+\infty )\) φ C ( R + ) C 1 ( 0 , + ) , with \(\varphi (0)=0, \varphi (s)>0, \forall s>0\) φ ( 0 ) = 0 , φ ( s ) > 0 , s > 0 , which removes the longstanding restrictions on this issue in literature: \(\varphi (s)\) φ ( s ) is either uniformly Lipschitz continuous or \(\varphi (s)\sim s^q\) φ ( s ) s q with \(q\ge 1/2\) q 1 / 2 . (ii) Especially when \(\varphi (s)=\gamma s^q\) φ ( s ) = γ s q , with \(\gamma >0, q\in (0,2]\) γ > 0 , q ( 0 , 2 ] , we establish the existence of the compact global attractor of the associated dynamical system, which extends the range of the exponent q from either \(q\in [1,1+\delta ), 0<\delta \ll 1\) q [ 1 , 1 + δ ) , 0 < δ 1 (for related beam model) or \(q\in [1/2,1]\) q [ 1 / 2 , 1 ] (for related wave model) in literature before to \(q\in (0,2]\) q ( 0 , 2 ] . The methods proposed here allow our overcoming the degeneration of the nonlocal energy damping, extending the range of the exponent q and improving greatly the results in literature before.