<p>The model <Equation ID="Equ110"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{l}u_{tt} = \big (\gamma (\Theta ) u_{xt}\big )_x + au_{xx} - \big (f(\Theta )\big )_x, \\[1mm] \Theta _t = \Theta _{xx} + \gamma (\Theta ) u_{xt}^2 - f(\Theta ) u_{xt}, \end{array} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msub> <mi>u</mi> <mrow> <mi mathvariant="italic">tt</mi> </mrow> </msub> <mo>=</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi>γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>u</mi> <mrow> <mi mathvariant="italic">xt</mi> </mrow> </msub> <msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mi>x</mi> </msub> <mo>+</mo> <mi>a</mi> <msub> <mi>u</mi> <mrow> <mi mathvariant="italic">xx</mi> </mrow> </msub> <mo>-</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mi>x</mi> </msub> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mrow> <mo stretchy="false">[</mo> <mn>1</mn> <mi>m</mi> <mi>m</mi> <mo stretchy="false">]</mo> </mrow> <msub> <mi mathvariant="normal">Θ</mi> <mi>t</mi> </msub> <mo>=</mo> <msub> <mi mathvariant="normal">Θ</mi> <mrow> <mi mathvariant="italic">xx</mi> </mrow> </msub> <mo>+</mo> <mi>γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">)</mo> </mrow> <msubsup> <mi>u</mi> <mrow> <mi mathvariant="italic">xt</mi> </mrow> <mn>2</mn> </msubsup> <mo>-</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>u</mi> <mrow> <mi mathvariant="italic">xt</mi> </mrow> </msub> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for thermoviscoelastic evolution in one-dimensional Kelvin–Voigt materials is considered. By means of an approach based on maximal Sobolev regularity theory of scalar parabolic equations, it is shown that if <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\gamma _0&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>γ</mi> <mn>0</mn> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is fixed, then there exists <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\delta =\delta (\gamma _0)&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>=</mo> <mi>δ</mi> <mo stretchy="false">(</mo> <msub> <mi>γ</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> with the property that for suitably regular initial data of arbitrary size an associated initial boundary value problem posed in an open bounded interval admits a global classical solution whenever <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\gamma \in C^2([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <msup> <mi>C</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(f\in C^2([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>C</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are such that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f(0)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(|f(\xi )| \le K_f \cdot (\xi +1)^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>≤</mo> <msub> <mi>K</mi> <mi>f</mi> </msub> <mo>·</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>α</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\xi \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and some <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(K_f&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>K</mi> <mi>f</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\alpha &lt;\frac{3}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&lt;</mo> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, and that <Equation ID="Equ111"> <EquationSource Format="TEX">\(\begin{aligned} \gamma _0 \le \gamma (\xi ) \le \gamma _0 + \delta \qquad \hbox {for all } \xi \ge 0. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>γ</mi> <mn>0</mn> </msub> <mo>≤</mo> <mi>γ</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>γ</mi> <mn>0</mn> </msub> <mo>+</mo> <mi>δ</mi> <mspace width="2em" /> <mtext>for all</mtext> <mspace width="0.333333em" /> <mi>ξ</mi> <mo>≥</mo> <mn>0</mn> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>This is supplemented by a statement on global existence of certain strong solutions, particularly continuous in both components, under weaker conditions on the initial data.</p>

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

Large-data regular solutions in a one-dimensional thermoviscoelastic evolution problem involving temperature-dependent viscosities

  • Michael Winkler

摘要

The model \(\begin{aligned} \left\{ \begin{array}{l}u_{tt} = \big (\gamma (\Theta ) u_{xt}\big )_x + au_{xx} - \big (f(\Theta )\big )_x, \\[1mm] \Theta _t = \Theta _{xx} + \gamma (\Theta ) u_{xt}^2 - f(\Theta ) u_{xt}, \end{array} \right. \end{aligned}\) u tt = ( γ ( Θ ) u xt ) x + a u xx - ( f ( Θ ) ) x , [ 1 m m ] Θ t = Θ xx + γ ( Θ ) u xt 2 - f ( Θ ) u xt , for thermoviscoelastic evolution in one-dimensional Kelvin–Voigt materials is considered. By means of an approach based on maximal Sobolev regularity theory of scalar parabolic equations, it is shown that if \(\gamma _0>0\) γ 0 > 0 is fixed, then there exists \(\delta =\delta (\gamma _0)>0\) δ = δ ( γ 0 ) > 0 with the property that for suitably regular initial data of arbitrary size an associated initial boundary value problem posed in an open bounded interval admits a global classical solution whenever \(\gamma \in C^2([0,\infty ))\) γ C 2 ( [ 0 , ) ) and \(f\in C^2([0,\infty ))\) f C 2 ( [ 0 , ) ) are such that \(f(0)=0\) f ( 0 ) = 0 and \(|f(\xi )| \le K_f \cdot (\xi +1)^\alpha \) | f ( ξ ) | K f · ( ξ + 1 ) α for all \(\xi \ge 0\) ξ 0 and some \(K_f>0\) K f > 0 and \(\alpha <\frac{3}{2}\) α < 3 2 , and that \(\begin{aligned} \gamma _0 \le \gamma (\xi ) \le \gamma _0 + \delta \qquad \hbox {for all } \xi \ge 0. \end{aligned}\) γ 0 γ ( ξ ) γ 0 + δ for all ξ 0 . This is supplemented by a statement on global existence of certain strong solutions, particularly continuous in both components, under weaker conditions on the initial data.