<p>We consider the three-dimensional radial Stefan problem which describes the evolution of a radial symmetric ice ball with free boundary <Equation ID="Equ213"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2980_Article_Equ213.gif" Format="GIF" Height="116" Rendition="HTML" Resolution="72" Type="Linedraw" Width="279" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned}&amp;\partial _{t}u-\partial _{rr}u-\frac{2}{r}\partial _{r}u=0 \quad in\ r\ge \lambda (t),\\&amp;\partial _{r}u(t,\lambda (t))=-\dot{\lambda }(t),\\&amp;u(t,\lambda (t))=0,\\&amp;u(0,\cdot )=u_{0},\quad \lambda (0)=\lambda _{0}. \end{aligned}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <msub> <mi>∂</mi> <mi>t</mi> </msub> <mi>u</mi> <mo>-</mo> <msub> <mi>∂</mi> <mrow> <mi mathvariant="italic">rr</mi> </mrow> </msub> <mi>u</mi> <mo>-</mo> <mfrac> <mn>2</mn> <mi>r</mi> </mfrac> <msub> <mi>∂</mi> <mi>r</mi> </msub> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mspace width="1em" /> <mi>i</mi> <mi>n</mi> <mspace width="4pt" /> <mi>r</mi> <mo>≥</mo> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>∂</mi> <mi>r</mi> </msub> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>-</mo> <mover accent="true"> <mi>λ</mi> <mo>˙</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mi>u</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>λ</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>,</mo> <mspace width="1em" /> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>λ</mi> <mn>0</mn> </msub> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We prove the existence in the radial class of finite time melting with rates <Equation ID="Equ214"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2980_Article_Equ214.gif" Format="GIF" Height="74" Rendition="HTML" Resolution="72" Type="Linedraw" Width="363" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \lambda (t)=\left\{ \begin{aligned}&amp;4\sqrt{\pi }\frac{\sqrt{T-t}}{|\log (T-t)|}(1+o_{t\rightarrow T}(1)),\\&amp;c(u_{0},k)(1+o_{t\rightarrow T}(1))(T-t)^{\frac{k+1}{2}},\quad k\in \mathbb {N}^{*}, \end{aligned}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mn>4</mn> <msqrt> <mi>π</mi> </msqrt> <mfrac> <msqrt> <mrow> <mi>T</mi> <mo>-</mo> <mi>t</mi> </mrow> </msqrt> <mrow> <mo stretchy="false">|</mo> <mo>log</mo> <mo stretchy="false">(</mo> <mi>T</mi> <mo>-</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> </mrow> </mfrac> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <msub> <mi>o</mi> <mrow> <mi>t</mi> <mo stretchy="false">→</mo> <mi>T</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mi>c</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <msub> <mi>o</mi> <mrow> <mi>t</mi> <mo stretchy="false">→</mo> <mi>T</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo>-</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mfrac> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msup> <mo>,</mo> <mspace width="1em" /> <mi>k</mi> <mo>∈</mo> <mmultiscripts> <mrow> <mi mathvariant="double-struck">N</mi> </mrow> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>which respectively correspond to the fundamental stable melting rate and a sequence of codimension <i>k</i> unstable rates. Our analysis mainly depends on the methods developed in Hadžić and Raphaël (J Eur Math Soc 21(11):3259–3341, 2019) which deals with the similar problems in two dimensions and also the construction of both stable and unstable finite time blow-up solutions for the harmonic heat flow in Raphaël and Schweyer (Anal PDE 7(8):1713–1805, 2014), Raphaël and Schweyer (Commun Pure Appl Math 66(3):414–480, 2013).</p>

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

On melting for the 3D radial Stefan problem

  • Chencheng Zhang

摘要

We consider the three-dimensional radial Stefan problem which describes the evolution of a radial symmetric ice ball with free boundary \(\begin{aligned} \left\{ \begin{aligned}&\partial _{t}u-\partial _{rr}u-\frac{2}{r}\partial _{r}u=0 \quad in\ r\ge \lambda (t),\\&\partial _{r}u(t,\lambda (t))=-\dot{\lambda }(t),\\&u(t,\lambda (t))=0,\\&u(0,\cdot )=u_{0},\quad \lambda (0)=\lambda _{0}. \end{aligned}\right. \end{aligned}\) t u - rr u - 2 r r u = 0 i n r λ ( t ) , r u ( t , λ ( t ) ) = - λ ˙ ( t ) , u ( t , λ ( t ) ) = 0 , u ( 0 , · ) = u 0 , λ ( 0 ) = λ 0 . We prove the existence in the radial class of finite time melting with rates \(\begin{aligned} \lambda (t)=\left\{ \begin{aligned}&4\sqrt{\pi }\frac{\sqrt{T-t}}{|\log (T-t)|}(1+o_{t\rightarrow T}(1)),\\&c(u_{0},k)(1+o_{t\rightarrow T}(1))(T-t)^{\frac{k+1}{2}},\quad k\in \mathbb {N}^{*}, \end{aligned}\right. \end{aligned}\) λ ( t ) = 4 π T - t | log ( T - t ) | ( 1 + o t T ( 1 ) ) , c ( u 0 , k ) ( 1 + o t T ( 1 ) ) ( T - t ) k + 1 2 , k N , which respectively correspond to the fundamental stable melting rate and a sequence of codimension k unstable rates. Our analysis mainly depends on the methods developed in Hadžić and Raphaël (J Eur Math Soc 21(11):3259–3341, 2019) which deals with the similar problems in two dimensions and also the construction of both stable and unstable finite time blow-up solutions for the harmonic heat flow in Raphaël and Schweyer (Anal PDE 7(8):1713–1805, 2014), Raphaël and Schweyer (Commun Pure Appl Math 66(3):414–480, 2013).