<p>We study elliptic and parabolic problems governed by the singular elliptic operators <Equation ID="Equ51"> <EquationSource Format="TEX">\(\begin{aligned}&amp;{\mathcal {L}}=y^{\alpha _1}\text{ Tr } \left( QD^2_x\right) +2y^{\frac{\alpha _1+\alpha _2}{2}}q\cdot \nabla _xD_y+\gamma y^{\alpha _2} D_{yy}\\&amp;\qquad +y^{\frac{\alpha _1+\alpha _2}{2}-1}\left( d,\nabla _x\right) +cy^{\alpha _2-1}D_y-by^{\alpha _2-2} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mi mathvariant="script">L</mi> <mo>=</mo> <msup> <mi>y</mi> <msub> <mi>α</mi> <mn>1</mn> </msub> </msup> <mspace width="0.333333em" /> <mtext>Tr</mtext> <mspace width="0.333333em" /> <mfenced close=")" open="("> <mi>Q</mi> <msubsup> <mi>D</mi> <mi>x</mi> <mn>2</mn> </msubsup> </mfenced> <mo>+</mo> <mn>2</mn> <msup> <mi>y</mi> <mfrac> <mrow> <msub> <mi>α</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>α</mi> <mn>2</mn> </msub> </mrow> <mn>2</mn> </mfrac> </msup> <mi>q</mi> <mo>·</mo> <msub> <mi mathvariant="normal">∇</mi> <mi>x</mi> </msub> <msub> <mi>D</mi> <mi>y</mi> </msub> <mo>+</mo> <mi>γ</mi> <msup> <mi>y</mi> <msub> <mi>α</mi> <mn>2</mn> </msub> </msup> <msub> <mi>D</mi> <mrow> <mi mathvariant="italic">yy</mi> </mrow> </msub> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mspace width="2em" /> <mo>+</mo> <msup> <mi>y</mi> <mrow> <mfrac> <mrow> <msub> <mi>α</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>α</mi> <mn>2</mn> </msub> </mrow> <mn>2</mn> </mfrac> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mfenced close=")" open="("> <mi>d</mi> <mo>,</mo> <msub> <mi mathvariant="normal">∇</mi> <mi>x</mi> </msub> </mfenced> <mo>+</mo> <mi>c</mi> <msup> <mi>y</mi> <mrow> <msub> <mi>α</mi> <mn>2</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>D</mi> <mi>y</mi> </msub> <mo>-</mo> <mi>b</mi> <msup> <mi>y</mi> <mrow> <msub> <mi>α</mi> <mn>2</mn> </msub> <mo>-</mo> <mn>2</mn> </mrow> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>in the half-space <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {R}^{N+1}_+=\{(x,y): x \in \mathbb {R}^N, y&gt;0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> <mrow> <mi>N</mi> <mo>+</mo> <mn>1</mn> </mrow> </msubsup> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mi>y</mi> <mo>&gt;</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, under Dirichlet or oblique derivative boundary conditions. In the special case <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\alpha _1=\alpha _2=\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>1</mn> </msub> <mo>=</mo> <msub> <mi>α</mi> <mn>2</mn> </msub> <mo>=</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation> the operator <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathcal {L}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> takes the form <Equation ID="Equ52"> <EquationSource Format="TEX">\(\begin{aligned} {\mathcal {L}}&amp;=y^{\alpha }\text{ Tr } \left( AD^2\right) +y^{\alpha -1}\left( v,\nabla \right) -by^{\alpha -2}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mi mathvariant="script">L</mi> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <msup> <mi>y</mi> <mi>α</mi> </msup> <mspace width="0.333333em" /> <mtext>Tr</mtext> <mspace width="0.333333em" /> <mfenced close=")" open="("> <mi>A</mi> <msup> <mi>D</mi> <mn>2</mn> </msup> </mfenced> <mo>+</mo> <msup> <mi>y</mi> <mrow> <mi>α</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mfenced close=")" open="("> <mi>v</mi> <mo>,</mo> <mi mathvariant="normal">∇</mi> </mfenced> <mo>-</mo> <mi>b</mi> <msup> <mi>y</mi> <mrow> <mi>α</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(v=(d,c)\in \mathbb {R}^{N+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>,</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(b\in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( A=\left( \begin{array}{c|c} Q &amp; { q}^t \\[1ex] \hline q&amp; \gamma \end{array}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>=</mo> <mfenced close=")" open="("> <mrow> <mtable columnlines="solid none" rowlines="solid none"> <mtr> <mtd> <mi>Q</mi> </mtd> <mtd> <msup> <mrow> <mi>q</mi> </mrow> <mi>t</mi> </msup> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mo stretchy="false">[</mo> <mn>1</mn> <mi>e</mi> <mi>x</mi> <mo stretchy="false">]</mo> <mi>q</mi> </mrow> </mtd> <mtd> <mi>γ</mi> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </math></EquationSource> </InlineEquation> is an elliptic matrix. We prove elliptic and parabolic <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-estimates and solvability for the associated problems. In the language of semigroup theory, we prove that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({\mathcal {L}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">L</mi> </math></EquationSource> </InlineEquation> generates an analytic semigroup, characterize its domain as a weighted Sobolev space and show that it has maximal regularity.</p>

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

Singular parabolic operators in the half-space with boundary degeneracy: Dirichlet and oblique derivative boundary conditions

  • L. Negro

摘要

We study elliptic and parabolic problems governed by the singular elliptic operators \(\begin{aligned}&{\mathcal {L}}=y^{\alpha _1}\text{ Tr } \left( QD^2_x\right) +2y^{\frac{\alpha _1+\alpha _2}{2}}q\cdot \nabla _xD_y+\gamma y^{\alpha _2} D_{yy}\\&\qquad +y^{\frac{\alpha _1+\alpha _2}{2}-1}\left( d,\nabla _x\right) +cy^{\alpha _2-1}D_y-by^{\alpha _2-2} \end{aligned}\) L = y α 1 Tr Q D x 2 + 2 y α 1 + α 2 2 q · x D y + γ y α 2 D yy + y α 1 + α 2 2 - 1 d , x + c y α 2 - 1 D y - b y α 2 - 2 in the half-space \(\mathbb {R}^{N+1}_+=\{(x,y): x \in \mathbb {R}^N, y>0\}\) R + N + 1 = { ( x , y ) : x R N , y > 0 } , under Dirichlet or oblique derivative boundary conditions. In the special case \(\alpha _1=\alpha _2=\alpha \) α 1 = α 2 = α the operator \({\mathcal {L}}\) L takes the form \(\begin{aligned} {\mathcal {L}}&=y^{\alpha }\text{ Tr } \left( AD^2\right) +y^{\alpha -1}\left( v,\nabla \right) -by^{\alpha -2}, \end{aligned}\) L = y α Tr A D 2 + y α - 1 v , - b y α - 2 , where \(v=(d,c)\in \mathbb {R}^{N+1}\) v = ( d , c ) R N + 1 , \(b\in \mathbb {R}\) b R and \( A=\left( \begin{array}{c|c} Q & { q}^t \\[1ex] \hline q& \gamma \end{array}\right) \) A = Q q t [ 1 e x ] q γ is an elliptic matrix. We prove elliptic and parabolic \(L^p\) L p -estimates and solvability for the associated problems. In the language of semigroup theory, we prove that \({\mathcal {L}}\) L generates an analytic semigroup, characterize its domain as a weighted Sobolev space and show that it has maximal regularity.