<p>An initial-boundary value problem for <Equation ID="Equ110"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_Equ110.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="382" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll}u_{tt} = \big (\gamma (\Theta ) u_{xt}\big )_x + au_{xx} - \big (f(\Theta )\big )_x, \qquad &amp; x\in \Omega , \ t&gt;0, \\[1mm] \Theta _t = \Theta _{xx} + \gamma (\Theta ) u_{xt}^2 - f(\Theta ) u_{xt}, \qquad &amp; x\in \Omega , \ t&gt;0, \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> <mspace width="2em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mspace width="4pt" /> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <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> <mspace width="2em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mspace width="4pt" /> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>is considered in an open bounded real interval <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>. Under the assumption that <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \in C^0([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <msup> <mi>C</mi> <mn>0</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="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\in C^0([0,\infty ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>C</mi> <mn>0</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="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <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="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(k_\gamma \le \gamma \le K_\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>k</mi> <mi>γ</mi> </msub> <mo>≤</mo> <mi>γ</mi> <mo>≤</mo> <msub> <mi>K</mi> <mi>γ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> as well as <Equation ID="Equ111"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_Equ111.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="275" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} |f(\xi )| \le K_f \cdot (\xi +1)^\alpha \qquad \hbox {for all } \xi \ge 0 \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <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> <mspace width="2em" /> <mtext>for all</mtext> <mspace width="0.333333em" /> <mi>ξ</mi> <mo>≥</mo> <mn>0</mn> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with some <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="168" /> </InlineMediaObject> <EquationSource Format="TEX">\(k_\gamma&gt;0, K_\gamma&gt;0, K_f&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>k</mi> <mi>γ</mi> </msub> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <msub> <mi>K</mi> <mi>γ</mi> </msub> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <msub> <mi>K</mi> <mi>f</mi> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <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>, for all suitably regular initial data of arbitrary size a statement on global existence of a global weak solution is derived. By particularly covering the thermodynamically consistent choice <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\equiv id\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>≡</mo> <mi>i</mi> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation> of predominant physical relevance, this appears to go beyond previous related literature which seems to either rely on independence of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq9.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2582_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Θ</mi> </math></EquationSource> </InlineEquation>, or to operate on finite time intervals.</p>

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

Large-data solutions in one-dimensional thermoviscoelasticity involving temperature-dependent viscosities

  • Michael Winkler

摘要

An initial-boundary value problem for \(\begin{aligned} \left\{ \begin{array}{ll}u_{tt} = \big (\gamma (\Theta ) u_{xt}\big )_x + au_{xx} - \big (f(\Theta )\big )_x, \qquad & x\in \Omega , \ t>0, \\[1mm] \Theta _t = \Theta _{xx} + \gamma (\Theta ) u_{xt}^2 - f(\Theta ) u_{xt}, \qquad & x\in \Omega , \ t>0, \end{array} \right. \end{aligned}\) u tt = ( γ ( Θ ) u xt ) x + a u xx - ( f ( Θ ) ) x , x Ω , t > 0 , [ 1 m m ] Θ t = Θ xx + γ ( Θ ) u xt 2 - f ( Θ ) u xt , x Ω , t > 0 , is considered in an open bounded real interval \(\Omega \) Ω . Under the assumption that \(\gamma \in C^0([0,\infty ))\) γ C 0 ( [ 0 , ) ) and \(f\in C^0([0,\infty ))\) f C 0 ( [ 0 , ) ) are such that \(f(0)=0\) f ( 0 ) = 0 , and \(k_\gamma \le \gamma \le K_\gamma \) k γ γ K γ as well as \(\begin{aligned} |f(\xi )| \le K_f \cdot (\xi +1)^\alpha \qquad \hbox {for all } \xi \ge 0 \end{aligned}\) | f ( ξ ) | K f · ( ξ + 1 ) α for all ξ 0 with some \(k_\gamma>0, K_\gamma>0, K_f>0\) k γ > 0 , K γ > 0 , K f > 0 and \(\alpha <\frac{3}{2}\) α < 3 2 , for all suitably regular initial data of arbitrary size a statement on global existence of a global weak solution is derived. By particularly covering the thermodynamically consistent choice \(f\equiv id\) f i d of predominant physical relevance, this appears to go beyond previous related literature which seems to either rely on independence of \(\gamma \) γ on \(\Theta \) Θ , or to operate on finite time intervals.