<p>We consider an Euler–Bernoulli plate equation with Kelvin–Voigt damping in a bounded domain. The damping is localized in an appropriate open strict subset <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> of the domain <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>. While it is known that the solutions of this model with a full damping <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\omega = \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>=</mo> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation> generate an analytic semigroup, this property is no longer valid for locally distributed damping. In view of this, we study regularity of the equation as expressed by a membership in an appropriate Gevrey’s class. It turns out that the final result depends on both “geometric” and analytical properties of the support function defining the dissipation. First, assuming that the damping coefficient <i>d</i> is <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> and satisfies some structural conditions, we prove that the underlying semigroup is of Gevrey class <i>s</i>:<UnorderedList Mark="Bullet"> <ItemContent> <p>for every <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(s&gt;7/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mn>7</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, when the damping region is a collar around the whole boundary,</p> </ItemContent> <ItemContent> <p>for every <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(s&gt;4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, when the damping region is more general,</p> </ItemContent> <ItemContent> <p>for every <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(s&gt;7/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mn>7</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, when the damping region is more general, and the function <i>d</i> is <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(C^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> and satisfies one more structural condition than in the two cases above.</p> </ItemContent> </UnorderedList> In all cases, the semigroup is infinitely differentiable on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and also exponentially stable. Next, we drop the smoothness assumption on the damping coefficient and show that the corresponding semigroup decays at a rational rate <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(O(t^{-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>t</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Our proofs are based on the frequency domain method combined with an adequate smoothing procedure, interpolation inequalities, and multipliers technique. The main features of our proof of the Gevrey regularity are: (i) the introduction of suitable auxiliary functions, (ii) an appropriate estimate of the localized kinetic energy and exploitation of structural constraints on the damping coefficient to prove localized regularity, and, (iii) the use of Hahn–Banach theorem to derive a sharp estimate of a negative norm of the velocity nonsmooth component, (iv) the use of commutators to simplify our presentation. Our rational stability and Gevrey regularity results are the first for the plate equation with localized Kelvin–Voigt damping in higher space dimensions.</p>

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

Stability and Gevrey regularity of the semigroup associated with an Euler–Bernoulli plate equation subject to localized Kelvin–Voigt damping

  • Irena Lasiecka,
  • Louis Tebou

摘要

We consider an Euler–Bernoulli plate equation with Kelvin–Voigt damping in a bounded domain. The damping is localized in an appropriate open strict subset \(\omega \) ω of the domain \(\Omega \) Ω . While it is known that the solutions of this model with a full damping \(\omega = \Omega \) ω = Ω generate an analytic semigroup, this property is no longer valid for locally distributed damping. In view of this, we study regularity of the equation as expressed by a membership in an appropriate Gevrey’s class. It turns out that the final result depends on both “geometric” and analytical properties of the support function defining the dissipation. First, assuming that the damping coefficient d is \(C^2\) C 2 and satisfies some structural conditions, we prove that the underlying semigroup is of Gevrey class s:

for every \(s>7/2\) s > 7 / 2 , when the damping region is a collar around the whole boundary,

for every \(s>4\) s > 4 , when the damping region is more general,

for every \(s>7/2\) s > 7 / 2 , when the damping region is more general, and the function d is \(C^3\) C 3 and satisfies one more structural condition than in the two cases above.

In all cases, the semigroup is infinitely differentiable on \((0,\infty )\) ( 0 , ) and also exponentially stable. Next, we drop the smoothness assumption on the damping coefficient and show that the corresponding semigroup decays at a rational rate \(O(t^{-1})\) O ( t - 1 ) . Our proofs are based on the frequency domain method combined with an adequate smoothing procedure, interpolation inequalities, and multipliers technique. The main features of our proof of the Gevrey regularity are: (i) the introduction of suitable auxiliary functions, (ii) an appropriate estimate of the localized kinetic energy and exploitation of structural constraints on the damping coefficient to prove localized regularity, and, (iii) the use of Hahn–Banach theorem to derive a sharp estimate of a negative norm of the velocity nonsmooth component, (iv) the use of commutators to simplify our presentation. Our rational stability and Gevrey regularity results are the first for the plate equation with localized Kelvin–Voigt damping in higher space dimensions.