<p>In this paper, we study the solvability of the first boundary value problem for a class of second order linear non-uniformly parabolic equations with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> data: <Equation ID="Equ1"> <EquationNumber>0.1</EquationNumber> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \frac{\partial u}{\partial t}-\frac{\partial }{\partial z_{i}}\left( a_{ij}\left( t,z \right) \frac{\partial u}{\partial z_{j}}\right) = f\left( t,z \right) , \, (t, z) \in Q_T, \\ u\left( 0,z \right) =g\left( z \right) , z\in D, \\ u \Big \vert _{S_{T}}=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> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mi>t</mi> </mrow> </mfrac> <mo>-</mo> <mfrac> <mi>∂</mi> <mrow> <mi>∂</mi> <msub> <mi>z</mi> <mi>i</mi> </msub> </mrow> </mfrac> <mfenced close=")" open="("> <msub> <mi>a</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mfenced close=")" open="("> <mi>t</mi> <mo>,</mo> <mi>z</mi> </mfenced> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <msub> <mi>z</mi> <mi>j</mi> </msub> </mrow> </mfrac> </mfenced> <mo>=</mo> <mi>f</mi> <mfenced close=")" open="("> <mi>t</mi> <mo>,</mo> <mi>z</mi> </mfenced> <mo>,</mo> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi>Q</mi> <mi>T</mi> </msub> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mfenced close=")" open="("> <mn>0</mn> <mo>,</mo> <mi>z</mi> </mfenced> <mo>=</mo> <mi>g</mi> <mfenced close=")" open="("> <mi>z</mi> </mfenced> <mo>,</mo> <mi>z</mi> <mo>∈</mo> <mi>D</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">|</mo> </mrow> <msub> <mi>S</mi> <mi>T</mi> </msub> </msub> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f \in L^1(Q_T)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <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>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(g \in L^1(D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(Q_T = (0, T) \times D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Q</mi> <mi>T</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(S_T = (0, T) \times \partial D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>T</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mi>∂</mi> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(D \subset \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> being a bounded Lipschitz domain. Problem (<InternalRef RefID="Equ1">0.1</InternalRef>) is studied under the assumption: <Equation ID="Equ2"> <EquationNumber>0.2</EquationNumber> <EquationSource Format="TEX">\(\begin{aligned} c_{1}(\omega (x)|\xi |^{2}+|\eta |^{2}) \le A(t,z)\zeta \cdot \zeta \le c_{2}(\omega (x)|\xi |^{2}+|\eta |^{2}) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>c</mi> <mn>1</mn> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi>ξ</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>η</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">)</mo> <mo>≤</mo> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mi>ζ</mi> <mo>·</mo> <mi>ζ</mi> <mo>≤</mo> </mrow> <msub> <mi>c</mi> <mn>2</mn> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi>ξ</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>η</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for almost every <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((t, z) \in Q_T\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi>Q</mi> <mi>T</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and for all <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\zeta = (\xi , \eta ) \in \mathbb {R}^{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ζ</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo>,</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\xi \in \mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\eta \in \mathbb {R}^{N-n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>n</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(N \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(1 \le n &lt; N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>n</mi> <mo>&lt;</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>. By applying recent results on non-uniform gradient Poincaré–Sobolev type inequalities and establishing new <i>a priori</i> estimates, we investigate the very weak solvability of problem (<InternalRef RefID="Equ1">0.1</InternalRef>) under condition (<InternalRef RefID="Equ2">0.2</InternalRef>).</p>

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

On solvability of non-uniformly parabolic equations with \(L^1\) data

  • Farman Mamedov,
  • Khayala Akhundova

摘要

In this paper, we study the solvability of the first boundary value problem for a class of second order linear non-uniformly parabolic equations with \(L^1\) L 1 data: 0.1 \(\begin{aligned} {\left\{ \begin{array}{ll} \frac{\partial u}{\partial t}-\frac{\partial }{\partial z_{i}}\left( a_{ij}\left( t,z \right) \frac{\partial u}{\partial z_{j}}\right) = f\left( t,z \right) , \, (t, z) \in Q_T, \\ u\left( 0,z \right) =g\left( z \right) , z\in D, \\ u \Big \vert _{S_{T}}=0, \end{array}\right. } \end{aligned}\) u t - z i a ij t , z u z j = f t , z , ( t , z ) Q T , u 0 , z = g z , z D , u | S T = 0 , where \(f \in L^1(Q_T)\) f L 1 ( Q T ) , \(g \in L^1(D)\) g L 1 ( D ) , \(Q_T = (0, T) \times D\) Q T = ( 0 , T ) × D , and \(S_T = (0, T) \times \partial D\) S T = ( 0 , T ) × D , with \(D \subset \mathbb {R}^N\) D R N being a bounded Lipschitz domain. Problem (0.1) is studied under the assumption: 0.2 \(\begin{aligned} c_{1}(\omega (x)|\xi |^{2}+|\eta |^{2}) \le A(t,z)\zeta \cdot \zeta \le c_{2}(\omega (x)|\xi |^{2}+|\eta |^{2}) \end{aligned}\) c 1 ( ω ( x ) | ξ | 2 + | η | 2 ) A ( t , z ) ζ · ζ c 2 ( ω ( x ) | ξ | 2 + | η | 2 ) for almost every \((t, z) \in Q_T\) ( t , z ) Q T and for all \(\zeta = (\xi , \eta ) \in \mathbb {R}^{N}\) ζ = ( ξ , η ) R N such that \(\xi \in \mathbb {R}^n\) ξ R n and \(\eta \in \mathbb {R}^{N-n}\) η R N - n , where \(N \ge 2\) N 2 and \(1 \le n < N\) 1 n < N . By applying recent results on non-uniform gradient Poincaré–Sobolev type inequalities and establishing new a priori estimates, we investigate the very weak solvability of problem (0.1) under condition (0.2).