<p>We study the homogeneous Dirichlet problem for the double-phase evolution equation <Equation ID="Equ119"> <EquationSource Format="TEX">\( u_t-\operatorname {div} \left( a(z)|\nabla u|^{p(z)-2} \nabla u + b(z)|\nabla u|^{q(z)-2} \nabla u\right) \nabla u=f(z) \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>u</mi> <mi>t</mi> </msub> <mo>-</mo> <mo>div</mo> <mfenced close=")" open="("> <msup> <mrow> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>+</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi mathvariant="normal">∇</mi> <mi>u</mi> </mfenced> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </Equation><InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(z=(x,t)\in Q_T=\Omega \times (0,T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi>Q</mi> <mi>T</mi> </msub> <mo>=</mo> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The non-differentiable coefficients <i>a</i>(<i>z</i>), <i>b</i>(<i>z</i>) and the variable exponents <i>p</i>(<i>z</i>), <i>q</i>(<i>z</i>) are given functions. The coefficients <i>a</i>, <i>b</i> are nonnegative and bounded, with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(|\nabla a|, |\nabla b|, a_t, b_t \in L^d(Q_T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>a</mi> <mo stretchy="false">|</mo> <mo>,</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>b</mi> <mo stretchy="false">|</mo> <mo>,</mo> </mrow> <msub> <mi>a</mi> <mi>t</mi> </msub> <mo>,</mo> <msub> <mi>b</mi> <mi>t</mi> </msub> <mo>∈</mo> <msup> <mi>L</mi> <mi>d</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>Q</mi> <mi>T</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(d&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and such that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(a(z)+b(z)\ge \alpha &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>b</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mi>α</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. It is shown that if <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(u_0\in W_0^{1,r}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>∈</mo> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi>r</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with a sufficiently large <i>r</i> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f\in L^{N+2}(Q_T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mrow> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>Q</mi> <mi>T</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(u(\cdot ,t)\in W^{1,r}_0(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi>r</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for a.e. <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(t\in (0,T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(|\nabla u|^{\min \{p(z),q(z)\}+s+r} \in L^1(Q_T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo movablelimits="true">min</mo> <mo stretchy="false">{</mo> <mi>p</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>q</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo stretchy="false">}</mo> <mo>+</mo> <mi>s</mi> <mo>+</mo> <mi>r</mi> </mrow> </msup> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>Q</mi> <mi>T</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for any <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(s \in (0, \frac{4}{N+2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mfrac> <mn>4</mn> <mrow> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(a(z)|\nabla u|^{\frac{p(z)+r-2}{2}} + b(z)|\nabla u|^{\frac{q(z)+r-2}{2}} \in L^2(0,T;W^{1,2}(\Omega )).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mfrac> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>r</mi> <mo>-</mo> <mn>2</mn> </mrow> <mn>2</mn> </mfrac> </msup> <mo>+</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mfrac> <mrow> <mi>q</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>r</mi> <mo>-</mo> <mn>2</mn> </mrow> <mn>2</mn> </mfrac> </msup> <mo>∈</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo>;</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The case <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(f\in L^\sigma (Q_T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>σ</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>Q</mi> <mi>T</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\sigma \in (2,N+2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi>N</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is also studied.</p>

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

Irregular Double-Phase Evolution Problem: Existence and Global Regularity

  • Rakesh Arora,
  • Sergey Shmarev

摘要

We study the homogeneous Dirichlet problem for the double-phase evolution equation \( u_t-\operatorname {div} \left( a(z)|\nabla u|^{p(z)-2} \nabla u + b(z)|\nabla u|^{q(z)-2} \nabla u\right) \nabla u=f(z) \) u t - div a ( z ) | u | p ( z ) - 2 u + b ( z ) | u | q ( z ) - 2 u u = f ( z ) \(z=(x,t)\in Q_T=\Omega \times (0,T)\) z = ( x , t ) Q T = Ω × ( 0 , T ) . The non-differentiable coefficients a(z), b(z) and the variable exponents p(z), q(z) are given functions. The coefficients a, b are nonnegative and bounded, with \(|\nabla a|, |\nabla b|, a_t, b_t \in L^d(Q_T)\) | a | , | b | , a t , b t L d ( Q T ) , \(d>2\) d > 2 , and such that \(a(z)+b(z)\ge \alpha >0\) a ( z ) + b ( z ) α > 0 . It is shown that if \(u_0\in W_0^{1,r}(\Omega )\) u 0 W 0 1 , r ( Ω ) with a sufficiently large r and \(f\in L^{N+2}(Q_T)\) f L N + 2 ( Q T ) , then \(u(\cdot ,t)\in W^{1,r}_0(\Omega )\) u ( · , t ) W 0 1 , r ( Ω ) for a.e. \(t\in (0,T)\) t ( 0 , T ) , \(|\nabla u|^{\min \{p(z),q(z)\}+s+r} \in L^1(Q_T)\) | u | min { p ( z ) , q ( z ) } + s + r L 1 ( Q T ) for any \(s \in (0, \frac{4}{N+2})\) s ( 0 , 4 N + 2 ) , and \(a(z)|\nabla u|^{\frac{p(z)+r-2}{2}} + b(z)|\nabla u|^{\frac{q(z)+r-2}{2}} \in L^2(0,T;W^{1,2}(\Omega )).\) a ( z ) | u | p ( z ) + r - 2 2 + b ( z ) | u | q ( z ) + r - 2 2 L 2 ( 0 , T ; W 1 , 2 ( Ω ) ) . The case \(f\in L^\sigma (Q_T)\) f L σ ( Q T ) with \(\sigma \in (2,N+2)\) σ ( 2 , N + 2 ) is also studied.