<p>In this article, we investigate the existence and nonexistence of weak solutions to higher-order doubly critical elliptic problems with weights, driven by a polyharmonic double phase operator. More precisely, we deal with the following problem <Equation ID="Equ121"> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \mathcal {L}^m_{p,q}(u) = f(x,u) ~&amp; \text {in } \Omega ,\\ u=\nabla u=\cdots \nabla ^{m-1} u=0 &amp; \text {on }{\partial \Omega }, \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> <msubsup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>m</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="3.33333pt" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>=</mo> <mo>⋯</mo> <msup> <mi mathvariant="normal">∇</mi> <mrow> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>u</mi> <mo>=</mo> <mn>0</mn> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>on</mtext> <mspace width="0.333333em" /> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> is a smooth bounded domain with Lipschitz boundary <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(m \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(1&lt; p&lt; q &lt; \frac{N}{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mfrac> <mi>N</mi> <mi>m</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((N-1)q\le Np\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi>q</mi> <mo>≤</mo> <mi>N</mi> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation>, the nonlinear term <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a Carathéodory function, which has doubly critical growth, and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {L}^m_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>m</mi> </msubsup> </math></EquationSource> </InlineEquation> represents a polyharmonic double phase operator. By establishing new compactness results within a suitable Musielak–Orlicz–Sobolev framework and applying variational methods, we prove the existence of nontrivial weak solutions. In addition, we derive nonexistence results under appropriate assumptions by establishing a Pohozaev-type identity for higher-order derivatives. Our approach extends classical techniques to capture the intricate features of the double-phase operator for higher-order derivatives, and addresses the difficulties arising from critical nonlinearities, in particular extending the results of [F. Colasuonno, K. Perera, J. Differ. Equ., 422 (2025), 426–488] in a polyharmonic double phase setup overcoming the non-closedness of truncations in higher-order Sobolev spaces.</p>

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

On doubly critical polyharmonic double phase problems: Existence and non-existence of solutions

  • Ashutosh Dixit,
  • Tuhina Mukherjee

摘要

In this article, we investigate the existence and nonexistence of weak solutions to higher-order doubly critical elliptic problems with weights, driven by a polyharmonic double phase operator. More precisely, we deal with the following problem \(\begin{aligned} {\left\{ \begin{array}{ll} \mathcal {L}^m_{p,q}(u) = f(x,u) ~& \text {in } \Omega ,\\ u=\nabla u=\cdots \nabla ^{m-1} u=0 & \text {on }{\partial \Omega }, \end{array}\right. } \end{aligned}\) L p , q m ( u ) = f ( x , u ) in Ω , u = u = m - 1 u = 0 on Ω , where \(\Omega \subset \mathbb {R}^N\) Ω R N with \(N \ge 2\) N 2 is a smooth bounded domain with Lipschitz boundary \(\partial \Omega \) Ω , \(m \in \mathbb {N}\) m N , \(1< p< q < \frac{N}{m}\) 1 < p < q < N m with \((N-1)q\le Np\) ( N - 1 ) q N p , the nonlinear term \(f:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) f : Ω × R R is a Carathéodory function, which has doubly critical growth, and \(\mathcal {L}^m_{p,q}\) L p , q m represents a polyharmonic double phase operator. By establishing new compactness results within a suitable Musielak–Orlicz–Sobolev framework and applying variational methods, we prove the existence of nontrivial weak solutions. In addition, we derive nonexistence results under appropriate assumptions by establishing a Pohozaev-type identity for higher-order derivatives. Our approach extends classical techniques to capture the intricate features of the double-phase operator for higher-order derivatives, and addresses the difficulties arising from critical nonlinearities, in particular extending the results of [F. Colasuonno, K. Perera, J. Differ. Equ., 422 (2025), 426–488] in a polyharmonic double phase setup overcoming the non-closedness of truncations in higher-order Sobolev spaces.