{"title":"The 𝐿𝑝 restriction bounds for Neumann data on surface","authors":"Xianchao Wu","doi":"10.1515/forum-2024-0237","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:mo stretchy=\"false\">{</m:mo> <m:msub> <m:mi>u</m:mi> <m:mi>λ</m:mi> </m:msub> <m:mo stretchy=\"false\">}</m:mo> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0237_ineq_0001.png\"/> <jats:tex-math>\\{u_{\\lambda}\\}</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a sequence of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>L</m:mi> <m:mn>2</m:mn> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0237_ineq_0002.png\"/> <jats:tex-math>L^{2}</jats:tex-math> </jats:alternatives> </jats:inline-formula>-normalized Laplacian eigenfunctions on a compact two-dimensional smooth Riemanniann manifold <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>M</m:mi> <m:mo>,</m:mo> <m:mi>g</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0237_ineq_0003.png\"/> <jats:tex-math>(M,g)</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We seek to get an <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>p</m:mi> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0237_ineq_0004.png\"/> <jats:tex-math>L^{p}</jats:tex-math> </jats:alternatives> </jats:inline-formula> restriction bound of the Neumann data <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mrow> <m:mrow> <m:msup> <m:mi>λ</m:mi> <m:mrow> <m:mo>−</m:mo> <m:mn>1</m:mn> </m:mrow> </m:msup> <m:mo lspace=\"0em\"></m:mo> <m:mrow> <m:msub> <m:mo rspace=\"0em\">∂</m:mo> <m:mi>ν</m:mi> </m:msub> <m:msub> <m:mi>u</m:mi> <m:mi>λ</m:mi> </m:msub> </m:mrow> </m:mrow> <m:mo stretchy=\"false\">|</m:mo> </m:mrow> <m:mi>γ</m:mi> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0237_ineq_0005.png\"/> <jats:tex-math>\\lambda^{-1}\\partial_{\\nu}u_{\\lambda}|_{\\gamma}</jats:tex-math> </jats:alternatives> </jats:inline-formula> along a unit geodesic 𝛾. Using the 𝑇-<jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>T</m:mi> <m:mo>∗</m:mo> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2024-0237_ineq_0006.png\"/> <jats:tex-math>T^{*}</jats:tex-math> </jats:alternatives> </jats:inline-formula> argument, one can transfer the problem to an estimate of the norm of a Fourier integral operator and show that such bound is <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>O</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:msup> <m:mi>λ</m:mi> <m:mrow> <m:mrow> <m:mo>−</m:mo> <m:mfrac> <m:mn>1</m:mn> <m:mi>p</m:mi> </m:mfrac> </m:mrow> <m:mo>+</m:mo> <m:mfrac> <m:mn>3</m:mn> <m:mn>2</m:mn> </m:mfrac> </m:mrow> </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-2024-0237_ineq_0007.png\"/> <jats:tex-math>O(\\lambda^{-\\frac{1}{p}+\\frac{3}{2}})</jats:tex-math> </jats:alternatives> </jats:inline-formula>. The stationary phase theorem plays the crucial role in our proof. Moreover, this upper bound is shown to be optimal.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"24 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-07-10","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-2024-0237","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let {uλ}\{u_{\lambda}\} be a sequence of L2L^{2}-normalized Laplacian eigenfunctions on a compact two-dimensional smooth Riemanniann manifold (M,g)(M,g). We seek to get an LpL^{p} restriction bound of the Neumann data λ−1∂νuλ|γ\lambda^{-1}\partial_{\nu}u_{\lambda}|_{\gamma} along a unit geodesic 𝛾. Using the 𝑇-T∗T^{*} argument, one can transfer the problem to an estimate of the norm of a Fourier integral operator and show that such bound is O(λ−1p+32)O(\lambda^{-\frac{1}{p}+\frac{3}{2}}). The stationary phase theorem plays the crucial role in our proof. Moreover, this upper bound is shown to be optimal.
期刊介绍:
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.