<p>We consider <Equation ID="Equ31"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{l} u_{tt} = (\gamma (\Theta ) u_{xt})_x + a (\gamma (\Theta ) u_x)_x +(f(\Theta ))_x, \\ \Theta _t = D\Theta _{xx} + \Gamma (\Theta ) u_{xt}^2 + F(\Theta ) u_{xt}, \end{array}\right. \qquad \qquad (\star ) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msub> <mi>u</mi> <mrow> <mi mathvariant="italic">tt</mi> </mrow> </msub> <mo>=</mo> <msub> <mrow> <mo stretchy="false">(</mo> <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> <mo stretchy="false">)</mo> </mrow> <mi>x</mi> </msub> <mo>+</mo> <mi>a</mi> <msub> <mrow> <mo stretchy="false">(</mo> <mi>γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>u</mi> <mi>x</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>x</mi> </msub> <mo>+</mo> <msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mi>x</mi> </msub> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msub> <mi mathvariant="normal">Θ</mi> <mi>t</mi> </msub> <mo>=</mo> <mi>D</mi> <msub> <mi mathvariant="normal">Θ</mi> <mrow> <mi mathvariant="italic">xx</mi> </mrow> </msub> <mo>+</mo> <mi mathvariant="normal">Γ</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> <mspace width="2em" /> <mspace width="2em" /> <mrow> <mo stretchy="false">(</mo> <mo>⋆</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>under Neumann boundary conditions for <i>u</i> and Dirichlet boundary conditions for <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Θ</mi> </math></EquationSource> </InlineEquation> in a bounded interval <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>. This model is a generalization of the classical system for the description of strain and temperature evolution in a thermo-viscoelastic material following a Kelvin-Voigt material law, in which <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\gamma \equiv \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>≡</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(f\equiv F\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>≡</mo> <mi>F</mi> </mrow> </math></EquationSource> </InlineEquation>. Different variations of this model have already been analyzed in the past and the present study draws upon a known result concerning the existence of classical solutions, which are local in time, for suitably smooth initial data, arbitrary <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(a&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(D&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\gamma ,f\in C^2([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>,</mo> <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> as well as <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Gamma ,F\in C^1([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>,</mo> <mi>F</mi> <mo>∈</mo> <msup> <mi>C</mi> <mn>1</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> with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\gamma &gt;0,\Gamma \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi mathvariant="normal">Γ</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <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>. Our work focuses on proving that existence times for classical solutions can be arbitrarily large, assuming sublinear temperature dependencies of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> and <i>f</i>, and further <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(|F(s)|\le C_F(1+s)^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>≤</mo> <msub> <mi>C</mi> <mi>F</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mi>α</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(C_F&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mi>F</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\alpha \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In particular, for any given <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(T_\star \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mo>⋆</mo> </msub> </math></EquationSource> </InlineEquation>, initial mass <i>M</i> and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(0&lt; \underline{\gamma }&lt;\overline{\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <munder> <mi>γ</mi> <mo>̲</mo> </munder> <mo>&lt;</mo> <mover> <mi>γ</mi> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>, there exists a constant <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\delta _\star (M,T_\star ,a,D,\Omega ,\underline{\gamma },\overline{\gamma },C_F,\alpha )&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>δ</mi> <mo>⋆</mo> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo>,</mo> <msub> <mi>T</mi> <mo>⋆</mo> </msub> <mo>,</mo> <mi>a</mi> <mo>,</mo> <mi>D</mi> <mo>,</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <munder> <mi>γ</mi> <mo>̲</mo> </munder> <mo>,</mo> <mover> <mi>γ</mi> <mo>¯</mo> </mover> <mo>,</mo> <msub> <mi>C</mi> <mi>F</mi> </msub> <mo>,</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, such that if <Equation ID="Equ32"> <EquationSource Format="TEX">\(\underline{\gamma }\le \gamma \le \overline{\gamma }\quad \text{ and } \quad 0\le \Gamma \le \overline{\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munder> <mi>γ</mi> <mo>̲</mo> </munder> <mo>≤</mo> <mi>γ</mi> <mo>≤</mo> <mover> <mi>γ</mi> <mo>¯</mo> </mover> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>and</mtext> <mspace width="0.333333em" /> <mspace width="1em" /> <mn>0</mn> <mo>≤</mo> <mi mathvariant="normal">Γ</mi> <mo>≤</mo> <mover> <mi>γ</mi> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </Equation><Equation ID="Equ33"> <EquationSource Format="TEX">\( \text{ as } \text{ well } \text{ as } \quad \Vert \gamma '\Vert _{L^\infty ([0,\infty ))}\le \delta _\star \quad \text{ and } \quad \Vert f'\Vert _{L^\infty ([0,\infty ))}\le \delta _\star \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mspace width="0.333333em" /> <mtext>as</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>well</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>as</mtext> <mspace width="0.333333em" /> <mspace width="1em" /> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>γ</mi> <mo>′</mo> </msup> <msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </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> </msub> <mo>≤</mo> <msub> <mi>δ</mi> <mo>⋆</mo> </msub> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>and</mtext> <mspace width="0.333333em" /> <mspace width="1em" /> <msub> <mrow> <mo stretchy="false">‖</mo> <msup> <mi>f</mi> <mo>′</mo> </msup> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </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> </msub> <mo>≤</mo> <msub> <mi>δ</mi> <mo>⋆</mo> </msub> </mrow> </math></EquationSource> </Equation>hold, the maximal existence time of the classical solution to <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\((\star )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mo>⋆</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> surpasses <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(T_\star \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mo>⋆</mo> </msub> </math></EquationSource> </InlineEquation>. Therefore, converting <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\((\star )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mo>⋆</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> into a parabolic system using the substitution <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(v:=u_t+au\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>:</mo> <mo>=</mo> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>+</mo> <mi>a</mi> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation> is key to applying known methods from works on parabolic problems.</p>

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

Large time existence in a thermoviscoelastic evolution problem with mildly temperature-dependent parameters

  • Felix Meyer

摘要

We consider \(\begin{aligned} \left\{ \begin{array}{l} u_{tt} = (\gamma (\Theta ) u_{xt})_x + a (\gamma (\Theta ) u_x)_x +(f(\Theta ))_x, \\ \Theta _t = D\Theta _{xx} + \Gamma (\Theta ) u_{xt}^2 + F(\Theta ) u_{xt}, \end{array}\right. \qquad \qquad (\star ) \end{aligned}\) u tt = ( γ ( Θ ) u xt ) x + a ( γ ( Θ ) u x ) x + ( f ( Θ ) ) x , Θ t = D Θ xx + Γ ( Θ ) u xt 2 + F ( Θ ) u xt , ( ) under Neumann boundary conditions for u and Dirichlet boundary conditions for \(\Theta \) Θ in a bounded interval \(\Omega \subset \mathbb {R}\) Ω R . This model is a generalization of the classical system for the description of strain and temperature evolution in a thermo-viscoelastic material following a Kelvin-Voigt material law, in which \(\gamma \equiv \Gamma \) γ Γ and \(f\equiv F\) f F . Different variations of this model have already been analyzed in the past and the present study draws upon a known result concerning the existence of classical solutions, which are local in time, for suitably smooth initial data, arbitrary \(a>0\) a > 0 , \(D>0\) D > 0 and \(\gamma ,f\in C^2([0,\infty ))\) γ , f C 2 ( [ 0 , ) ) as well as \(\Gamma ,F\in C^1([0,\infty ))\) Γ , F C 1 ( [ 0 , ) ) with \(\gamma >0,\Gamma \ge 0\) γ > 0 , Γ 0 and \(F(0)=0\) F ( 0 ) = 0 . Our work focuses on proving that existence times for classical solutions can be arbitrarily large, assuming sublinear temperature dependencies of \(\gamma \) γ and f, and further \(|F(s)|\le C_F(1+s)^\alpha \) | F ( s ) | C F ( 1 + s ) α for some \(C_F>0\) C F > 0 and \(\alpha \in (0,1)\) α ( 0 , 1 ) . In particular, for any given \(T_\star \) T , initial mass M and \(0< \underline{\gamma }<\overline{\gamma }\) 0 < γ ̲ < γ ¯ , there exists a constant \(\delta _\star (M,T_\star ,a,D,\Omega ,\underline{\gamma },\overline{\gamma },C_F,\alpha )>0\) δ ( M , T , a , D , Ω , γ ̲ , γ ¯ , C F , α ) > 0 , such that if \(\underline{\gamma }\le \gamma \le \overline{\gamma }\quad \text{ and } \quad 0\le \Gamma \le \overline{\gamma }\) γ ̲ γ γ ¯ and 0 Γ γ ¯ \( \text{ as } \text{ well } \text{ as } \quad \Vert \gamma '\Vert _{L^\infty ([0,\infty ))}\le \delta _\star \quad \text{ and } \quad \Vert f'\Vert _{L^\infty ([0,\infty ))}\le \delta _\star \) as well as γ L ( [ 0 , ) ) δ and f L ( [ 0 , ) ) δ hold, the maximal existence time of the classical solution to \((\star )\) ( ) surpasses \(T_\star \) T . Therefore, converting \((\star )\) ( ) into a parabolic system using the substitution \(v:=u_t+au\) v : = u t + a u is key to applying known methods from works on parabolic problems.