{"title":"与海森堡群上薛定谔算子相关的分数热半群的正则性","authors":"Chuanhong Sun, Pengtao Li, Zengjian Lou","doi":"10.1515/forum-2023-0285","DOIUrl":null,"url":null,"abstract":"Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>L</m:mi> <m:mo>=</m:mo> <m:mrow> <m:mrow> <m:mo>-</m:mo> <m:msub> <m:mi mathvariant=\"normal\">Δ</m:mi> <m:msup> <m:mi>ℍ</m:mi> <m:mi>n</m:mi> </m:msup> </m:msub> </m:mrow> <m:mo>+</m:mo> <m:mi>V</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-0285_eq_0800.png\" /> <jats:tex-math>{L=-{\\Delta}_{\\mathbb{H}^{n}}+V}</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a Schrödinger operator on Heisenberg groups <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-0285_eq_0890.png\" /> <jats:tex-math>{\\mathbb{H}^{n}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, where <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mi mathvariant=\"normal\">Δ</m:mi> <m:msup> <m:mi>ℍ</m:mi> <m:mi>n</m:mi> </m:msup> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0285_eq_1058.png\" /> <jats:tex-math>{{\\Delta}_{\\mathbb{H}^{n}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the sub-Laplacian, the nonnegative potential <jats:italic>V</jats:italic> belongs to the reverse Hölder class <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mi>B</m:mi> <m:mrow> <m:mi mathvariant=\"script\">𝒬</m:mi> <m:mo>/</m:mo> <m:mn>2</m:mn> </m:mrow> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0285_eq_0748.png\" /> <jats:tex-math>{B_{\\mathcal{Q}/2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. Here <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mi mathvariant=\"script\">𝒬</m:mi> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0285_eq_0895.png\" /> <jats:tex-math>{\\mathcal{Q}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the homogeneous dimension of <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-0285_eq_0890.png\" /> <jats:tex-math>{\\mathbb{H}^{n}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. In this article, we introduce the fractional heat semigroups <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mrow> <m:mo stretchy=\"false\">{</m:mo> <m:msup> <m:mi>e</m:mi> <m:mrow> <m:mo>-</m:mo> <m:mrow> <m:mi>t</m:mi> <m:mo></m:mo> <m:msup> <m:mi>L</m:mi> <m:mi>α</m:mi> </m:msup> </m:mrow> </m:mrow> </m:msup> <m:mo stretchy=\"false\">}</m:mo> </m:mrow> <m:mrow> <m:mi>t</m:mi> <m:mo>></m:mo> <m:mn>0</m:mn> </m:mrow> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0285_eq_0954.png\" /> <jats:tex-math>{\\{e^{-tL^{\\alpha}}\\}_{t>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:mrow> <m:mi>α</m:mi> <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-0285_eq_0852.png\" /> <jats:tex-math>{\\alpha>0}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, associated with <jats:italic>L</jats:italic>. By the fundamental solution of the heat equation, we estimate the gradient and the time-fractional derivatives of the fractional heat kernel <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msubsup> <m:mi>K</m:mi> <m:mrow> <m:mi>α</m:mi> <m:mo>,</m:mo> <m:mi>t</m:mi> </m:mrow> <m:mi>L</m:mi> </m:msubsup> <m:mo></m:mo> <m:mrow> <m:mo rspace=\"4.2pt\" stretchy=\"false\">(</m:mo> <m:mo rspace=\"4.2pt\">⋅</m:mo> <m:mo>,</m:mo> <m:mo rspace=\"4.2pt\">⋅</m:mo> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0285_eq_0795.png\" /> <jats:tex-math>{K_{\\alpha,t}^{L}(\\,\\cdot\\,,\\cdot\\,)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, respectively. As an application, we characterize the space <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msubsup> <m:mi>BMO</m:mi> <m:mi>L</m:mi> <m:mi>γ</m:mi> </m:msubsup> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:msup> <m:mi>ℍ</m:mi> <m:mi>n</m:mi> </m:msup> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0285_eq_0897.png\" /> <jats:tex-math>{\\mathrm{BMO}_{L}^{\\gamma}(\\mathbb{H}^{n})}</jats:tex-math> </jats:alternatives> </jats:inline-formula> via <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mrow> <m:mo stretchy=\"false\">{</m:mo> <m:msup> <m:mi>e</m:mi> <m:mrow> <m:mo>-</m:mo> <m:mrow> <m:mi>t</m:mi> <m:mo></m:mo> <m:msup> <m:mi>L</m:mi> <m:mi>α</m:mi> </m:msup> </m:mrow> </m:mrow> </m:msup> <m:mo stretchy=\"false\">}</m:mo> </m:mrow> <m:mrow> <m:mi>t</m:mi> <m:mo>></m:mo> <m:mn>0</m:mn> </m:mrow> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0285_eq_0954.png\" /> <jats:tex-math>{\\{e^{-tL^{\\alpha}}\\}_{t>0}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"21 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Regularity of fractional heat semigroups associated with Schrödinger operators on Heisenberg groups\",\"authors\":\"Chuanhong Sun, Pengtao Li, Zengjian Lou\",\"doi\":\"10.1515/forum-2023-0285\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mi>L</m:mi> <m:mo>=</m:mo> <m:mrow> <m:mrow> <m:mo>-</m:mo> <m:msub> <m:mi mathvariant=\\\"normal\\\">Δ</m:mi> <m:msup> <m:mi>ℍ</m:mi> <m:mi>n</m:mi> </m:msup> </m:msub> </m:mrow> <m:mo>+</m:mo> <m:mi>V</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-0285_eq_0800.png\\\" /> <jats:tex-math>{L=-{\\\\Delta}_{\\\\mathbb{H}^{n}}+V}</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a Schrödinger operator on Heisenberg groups <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-0285_eq_0890.png\\\" /> <jats:tex-math>{\\\\mathbb{H}^{n}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, where <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:msub> <m:mi mathvariant=\\\"normal\\\">Δ</m:mi> <m:msup> <m:mi>ℍ</m:mi> <m:mi>n</m:mi> </m:msup> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_forum-2023-0285_eq_1058.png\\\" /> <jats:tex-math>{{\\\\Delta}_{\\\\mathbb{H}^{n}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the sub-Laplacian, the nonnegative potential <jats:italic>V</jats:italic> belongs to the reverse Hölder class <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:msub> <m:mi>B</m:mi> <m:mrow> <m:mi mathvariant=\\\"script\\\">𝒬</m:mi> <m:mo>/</m:mo> <m:mn>2</m:mn> </m:mrow> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_forum-2023-0285_eq_0748.png\\\" /> <jats:tex-math>{B_{\\\\mathcal{Q}/2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. Here <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mi mathvariant=\\\"script\\\">𝒬</m:mi> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_forum-2023-0285_eq_0895.png\\\" /> <jats:tex-math>{\\\\mathcal{Q}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the homogeneous dimension of <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-0285_eq_0890.png\\\" /> <jats:tex-math>{\\\\mathbb{H}^{n}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. In this article, we introduce the fractional heat semigroups <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:msub> <m:mrow> <m:mo stretchy=\\\"false\\\">{</m:mo> <m:msup> <m:mi>e</m:mi> <m:mrow> <m:mo>-</m:mo> <m:mrow> <m:mi>t</m:mi> <m:mo></m:mo> <m:msup> <m:mi>L</m:mi> <m:mi>α</m:mi> </m:msup> </m:mrow> </m:mrow> </m:msup> <m:mo stretchy=\\\"false\\\">}</m:mo> </m:mrow> <m:mrow> <m:mi>t</m:mi> <m:mo>></m:mo> <m:mn>0</m:mn> </m:mrow> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_forum-2023-0285_eq_0954.png\\\" /> <jats:tex-math>{\\\\{e^{-tL^{\\\\alpha}}\\\\}_{t>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:mrow> <m:mi>α</m:mi> <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-0285_eq_0852.png\\\" /> <jats:tex-math>{\\\\alpha>0}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, associated with <jats:italic>L</jats:italic>. By the fundamental solution of the heat equation, we estimate the gradient and the time-fractional derivatives of the fractional heat kernel <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:msubsup> <m:mi>K</m:mi> <m:mrow> <m:mi>α</m:mi> <m:mo>,</m:mo> <m:mi>t</m:mi> </m:mrow> <m:mi>L</m:mi> </m:msubsup> <m:mo></m:mo> <m:mrow> <m:mo rspace=\\\"4.2pt\\\" stretchy=\\\"false\\\">(</m:mo> <m:mo rspace=\\\"4.2pt\\\">⋅</m:mo> <m:mo>,</m:mo> <m:mo rspace=\\\"4.2pt\\\">⋅</m:mo> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_forum-2023-0285_eq_0795.png\\\" /> <jats:tex-math>{K_{\\\\alpha,t}^{L}(\\\\,\\\\cdot\\\\,,\\\\cdot\\\\,)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, respectively. As an application, we characterize the space <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:msubsup> <m:mi>BMO</m:mi> <m:mi>L</m:mi> <m:mi>γ</m:mi> </m:msubsup> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:msup> <m:mi>ℍ</m:mi> <m:mi>n</m:mi> </m:msup> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_forum-2023-0285_eq_0897.png\\\" /> <jats:tex-math>{\\\\mathrm{BMO}_{L}^{\\\\gamma}(\\\\mathbb{H}^{n})}</jats:tex-math> </jats:alternatives> </jats:inline-formula> via <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:msub> <m:mrow> <m:mo stretchy=\\\"false\\\">{</m:mo> <m:msup> <m:mi>e</m:mi> <m:mrow> <m:mo>-</m:mo> <m:mrow> <m:mi>t</m:mi> <m:mo></m:mo> <m:msup> <m:mi>L</m:mi> <m:mi>α</m:mi> </m:msup> </m:mrow> </m:mrow> </m:msup> <m:mo stretchy=\\\"false\\\">}</m:mo> </m:mrow> <m:mrow> <m:mi>t</m:mi> <m:mo>></m:mo> <m:mn>0</m:mn> </m:mrow> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_forum-2023-0285_eq_0954.png\\\" /> <jats:tex-math>{\\\\{e^{-tL^{\\\\alpha}}\\\\}_{t>0}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>.\",\"PeriodicalId\":12433,\"journal\":{\"name\":\"Forum Mathematicum\",\"volume\":\"21 1\",\"pages\":\"\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2024-01-01\",\"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-0285\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Forum Mathematicum","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1515/forum-2023-0285","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
设 L = - Δ ℍ n + V {L=-{\Delta}_{\mathbb{H}^{n}}+V} 是海森堡群 ℍ n {{\mathbb{H}^{n}} 上的薛定谔算子,其中 Δ ℍ n {{\Delta}_{\mathbb{H}^{n}} 是子拉普拉斯。 其中 Δ ℍ n {{Delta}_{mathbb{H}^{n}} 是子拉普拉卡,非负势 V 属于反向荷尔德类 B 𝒬 / 2 {B_{\mathcal{Q}/2}} 。} .这里𝒬 {\mathcal{Q}} 是ℍ n {\mathbb{H}^{n} 的同次元维度。} .在本文中,我们引入分数热半群 { e - t L α } t > 0 {\{e^{-tL^{\alpha}}\}_{t>0}} 。 , α > 0 {\alpha>0} , 与 L 相关联。 通过热方程的基本解,我们分别估计了分数热核 K α , t L ( ⋅ , ⋅ ) {K_\{alpha,t}^{L}(\,\cdot\,,\cdot\,)} 的梯度和时间分数导数。作为应用,我们通过{ e - t L α } t > 0 {\{e^{-tL^{\alpha}}}_{t>0}} 来描述空间 BMO L γ ( ℍ n ) {\mathrm{BMO}_{L}^{gamma}(\mathbb{H}^{n})} 。 .
Regularity of fractional heat semigroups associated with Schrödinger operators on Heisenberg groups
Let L=-Δℍn+V{L=-{\Delta}_{\mathbb{H}^{n}}+V} be a Schrödinger operator on Heisenberg groups ℍn{\mathbb{H}^{n}}, where Δℍn{{\Delta}_{\mathbb{H}^{n}}} is the sub-Laplacian, the nonnegative potential V belongs to the reverse Hölder class B𝒬/2{B_{\mathcal{Q}/2}}. Here 𝒬{\mathcal{Q}} is the homogeneous dimension of ℍn{\mathbb{H}^{n}}. In this article, we introduce the fractional heat semigroups {e-tLα}t>0{\{e^{-tL^{\alpha}}\}_{t>0}}, α>0{\alpha>0}, associated with L. By the fundamental solution of the heat equation, we estimate the gradient and the time-fractional derivatives of the fractional heat kernel Kα,tL(⋅,⋅){K_{\alpha,t}^{L}(\,\cdot\,,\cdot\,)}, respectively. As an application, we characterize the space BMOLγ(ℍn){\mathrm{BMO}_{L}^{\gamma}(\mathbb{H}^{n})} via {e-tLα}t>0{\{e^{-tL^{\alpha}}\}_{t>0}}.
期刊介绍:
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.