{"title":"Existence and multiplicity of solutions for fractional Schrödinger-p-Kirchhoff equations in ℝ N","authors":"Huo Tao, Lin Li, Patrick Winkert","doi":"10.1515/forum-2023-0385","DOIUrl":null,"url":null,"abstract":"This paper concerns the existence and multiplicity of solutions for a nonlinear Schrödinger–Kirchhoff-type equation involving the fractional <jats:italic>p</jats:italic>-Laplace operator in <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>ℝ</m:mi> <m:mi>N</m:mi> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0416.png\" /> <jats:tex-math>{\\mathbb{R}^{N}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. Precisely, we study the Kirchhoff-type problem <jats:disp-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mrow> <m:mrow> <m:mrow> <m:mo maxsize=\"260%\" minsize=\"260%\">(</m:mo> <m:mrow> <m:mi>a</m:mi> <m:mo>+</m:mo> <m:mrow> <m:mi>b</m:mi> <m:mo></m:mo> <m:mrow> <m:msub> <m:mo largeop=\"true\" symmetric=\"true\">∬</m:mo> <m:msup> <m:mi>ℝ</m:mi> <m:mrow> <m:mn>2</m:mn> <m:mo></m:mo> <m:mi>N</m:mi> </m:mrow> </m:msup> </m:msub> <m:mrow> <m:mpadded width=\"+1.7pt\"> <m:mfrac> <m:msup> <m:mrow> <m:mo stretchy=\"false\">|</m:mo> <m:mrow> <m:mrow> <m:mi>u</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>x</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>-</m:mo> <m:mrow> <m:mi>u</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>y</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:mrow> <m:mo stretchy=\"false\">|</m:mo> </m:mrow> <m:mi>p</m:mi> </m:msup> <m:msup> <m:mrow> <m:mo stretchy=\"false\">|</m:mo> <m:mrow> <m:mi>x</m:mi> <m:mo>-</m:mo> <m:mi>y</m:mi> </m:mrow> <m:mo stretchy=\"false\">|</m:mo> </m:mrow> <m:mrow> <m:mi>N</m:mi> <m:mo>+</m:mo> <m:mrow> <m:mi>s</m:mi> <m:mo></m:mo> <m:mi>p</m:mi> </m:mrow> </m:mrow> </m:msup> </m:mfrac> </m:mpadded> <m:mo></m:mo> <m:mrow> <m:mo>d</m:mo> <m:mpadded width=\"+1.7pt\"> <m:mi>x</m:mi> </m:mpadded> </m:mrow> <m:mo></m:mo> <m:mrow> <m:mo>d</m:mo> <m:mi>y</m:mi> </m:mrow> </m:mrow> </m:mrow> </m:mrow> </m:mrow> <m:mo maxsize=\"260%\" minsize=\"260%\">)</m:mo> </m:mrow> <m:mo></m:mo> <m:msubsup> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mrow> <m:mo>-</m:mo> <m:mi mathvariant=\"normal\">Δ</m:mi> </m:mrow> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> <m:mi>p</m:mi> <m:mi>s</m:mi> </m:msubsup> <m:mo></m:mo> <m:mi>u</m:mi> </m:mrow> <m:mo>+</m:mo> <m:mrow> <m:mi>V</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>x</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> <m:mo></m:mo> <m:msup> <m:mrow> <m:mo stretchy=\"false\">|</m:mo> <m:mi>u</m:mi> <m:mo stretchy=\"false\">|</m:mo> </m:mrow> <m:mrow> <m:mi>p</m:mi> <m:mo>-</m:mo> <m:mn>2</m:mn> </m:mrow> </m:msup> <m:mo></m:mo> <m:mi>u</m:mi> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mrow> <m:mi>f</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>x</m:mi> <m:mo>,</m:mo> <m:mi>u</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo mathvariant=\"italic\" separator=\"true\"> </m:mo> <m:mrow> <m:mtext>in </m:mtext> <m:mo></m:mo> <m:msup> <m:mi>ℝ</m:mi> <m:mi>N</m:mi> </m:msup> </m:mrow> </m:mrow> </m:mrow> <m:mo>,</m:mo> </m:mrow> </m:math> <jats:graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0062.png\" /> <jats:tex-math>\\Biggl{(}a+b\\iint_{\\mathbb{R}^{2N}}\\frac{|u(x)-u(y)|^{p}}{|x-y|^{N+sp}}\\,% \\mathrm{d}x\\,\\mathrm{d}y\\Biggr{)}(-\\Delta)^{s}_{p}u+V(x)|u|^{p-2}u=f(x,u)\\quad% \\text{in }\\mathbb{R}^{N},</jats:tex-math> </jats:alternatives> </jats:disp-formula> where <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mi>a</m:mi> <m:mo>,</m:mo> <m:mi>b</m:mi> </m:mrow> <m:mo>></m:mo> <m:mn>0</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0496.png\" /> <jats:tex-math>{a,b>0}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msubsup> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mrow> <m:mo>-</m:mo> <m:mi mathvariant=\"normal\">Δ</m:mi> </m:mrow> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> <m:mi>p</m:mi> <m:mi>s</m:mi> </m:msubsup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0276.png\" /> <jats:tex-math>{(-\\Delta)^{s}_{p}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the fractional <jats:italic>p</jats:italic>-Laplacian with <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mn>0</m:mn> <m:mo><</m:mo> <m:mi>s</m:mi> <m:mo><</m:mo> <m:mn>1</m:mn> <m:mo><</m:mo> <m:mi>p</m:mi> <m:mo><</m:mo> <m:mfrac> <m:mi>N</m:mi> <m:mi>s</m:mi> </m:mfrac> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0288.png\" /> <jats:tex-math>{0<s<1<p<\\frac{N}{s}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>V</m:mi> <m:mo>:</m:mo> <m:mrow> <m:msup> <m:mi>ℝ</m:mi> <m:mi>N</m:mi> </m:msup> <m:mo>→</m:mo> <m:mi>ℝ</m:mi> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0347.png\" /> <jats:tex-math>{V\\colon\\mathbb{R}^{N}\\to\\mathbb{R}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>f</m:mi> <m:mo>:</m:mo> <m:mrow> <m:mrow> <m:msup> <m:mi>ℝ</m:mi> <m:mi>N</m:mi> </m:msup> <m:mo>×</m:mo> <m:mi>ℝ</m:mi> </m:mrow> <m:mo>→</m:mo> <m:mi>ℝ</m:mi> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0536.png\" /> <jats:tex-math>{f\\colon\\mathbb{R}^{N}\\times\\mathbb{R}\\to\\mathbb{R}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> are continuous functions while <jats:italic>V</jats:italic> can have negative values and <jats:italic>f</jats:italic> fulfills suitable growth assumptions. According to the interaction between the attenuation of the potential at infinity and the behavior of the nonlinear term at the origin, using a penalization argument along with <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>L</m:mi> <m:mi mathvariant=\"normal\">∞</m:mi> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0385_eq_0323.png\" /> <jats:tex-math>{L^{\\infty}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>-estimates and variational methods, we prove the existence of a positive solution. In addition, we also establish the existence of infinitely many solutions provided the nonlinear term is odd.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"273 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Forum Mathematicum","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1515/forum-2023-0385","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
This paper concerns the existence and multiplicity of solutions for a nonlinear Schrödinger–Kirchhoff-type equation involving the fractional p-Laplace operator in ℝN{\mathbb{R}^{N}}. Precisely, we study the Kirchhoff-type problem (a+b∬ℝ2N|u(x)-u(y)|p|x-y|N+spdxdy)(-Δ)psu+V(x)|u|p-2u=f(x,u)in ℝN,\Biggl{(}a+b\iint_{\mathbb{R}^{2N}}\frac{|u(x)-u(y)|^{p}}{|x-y|^{N+sp}}\,% \mathrm{d}x\,\mathrm{d}y\Biggr{)}(-\Delta)^{s}_{p}u+V(x)|u|^{p-2}u=f(x,u)\quad% \text{in }\mathbb{R}^{N}, where a,b>0{a,b>0}, (-Δ)ps{(-\Delta)^{s}_{p}} is the fractional p-Laplacian with 0<s<1<p<Ns{0<s<1<p<\frac{N}{s}}, V:ℝN→ℝ{V\colon\mathbb{R}^{N}\to\mathbb{R}} and f:ℝN×ℝ→ℝ{f\colon\mathbb{R}^{N}\times\mathbb{R}\to\mathbb{R}} are continuous functions while V can have negative values and f fulfills suitable growth assumptions. According to the interaction between the attenuation of the potential at infinity and the behavior of the nonlinear term at the origin, using a penalization argument along with L∞{L^{\infty}}-estimates and variational methods, we prove the existence of a positive solution. In addition, we also establish the existence of infinitely many solutions provided the nonlinear term is odd.
本文涉及ℝ N {mathbb{R}^{N} 中涉及分数 p-Laplace 算子的非线性薛定谔-基尔霍夫(Schrödinger-Kirchhoff)型方程的解的存在性和多重性。 .确切地说,我们研究的是基尔霍夫型问题 ( a + b ∵ ℝ 2 N | u ( x ) - u ( y ) | p | x - y | N + s p d x d y ) 。 ( - Δ ) p s u + V ( x ) | u | p - 2 u = f ( x , u ) in ℝ N , \Biggl{(}a+b\iint_{\mathbb{R}^{2N}}\frac{|u(x)-u(y)|^{p}}{|x-y|^{N+sp}}\、% \mathrm{d}x\,\mathrm{d}y\Biggr{)}(-\Delta)^{s}_{p}u+V(x)|u|^{p-2}u=f(x,u)\quad% \text{in }\mathbb{R}^{N}, where a , b >;0 {a,b>0} , ( - Δ ) p s {(-\Delta)^{s}_{p}} 是分数 p 拉普拉卡方,0 < s < 1 < p < N s {0<s<1<p<\frac{N}{s}} V : ℝ N → ℝ {V\colon\mathbb{R}^{N}\to\mathbb{R}} 和 f : ℝ N × ℝ → ℝ {f\colon\mathbb{R}^{N}\times\mathbb{R}} 是连续函数,而 V 可以有负值,f 满足适当的增长假设。根据电势在无穷远处的衰减与非线性项在原点的行为之间的相互作用,利用惩罚论证以及 L ∞ {L^{\infty}} -估计和变分法,我们证明了正解的存在。此外,只要非线性项为奇数,我们还证明了无穷多个解的存在。
期刊介绍:
Forum Mathematicum is a general mathematics journal, which is devoted to the publication of research articles in all fields of pure and applied mathematics, including mathematical physics. Forum Mathematicum belongs to the top 50 journals in pure and applied mathematics, as measured by citation impact.