<p>This paper investigates the second Neumann eigenfunction <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> <EquationSource Format="TEX">${u}$</EquationSource> </InlineEquation> of a planar triangle <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mi>T</mi> </math></EquationSource> <EquationSource Format="TEX">${T}$</EquationSource> </InlineEquation>. In a recent paper by Judge and Mondal (Ann. Math. (2) 195(1):337–362, <CitationRef CitationID="CR32">2022</CitationRef>), it was shown that <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> <EquationSource Format="TEX">${u}$</EquationSource> </InlineEquation> has no critical points in the interior of <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mi>T</mi> </math></EquationSource> <EquationSource Format="TEX">${T}$</EquationSource> </InlineEquation>. In this paper, we show that <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> <EquationSource Format="TEX">${u}$</EquationSource> </InlineEquation> has at most one non-vertex critical point and that <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> <EquationSource Format="TEX">${u}$</EquationSource> </InlineEquation> is monotone in a certain direction in <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <mi>T</mi> </math></EquationSource> <EquationSource Format="TEX">${T}$</EquationSource> </InlineEquation>. More precisely, when <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <mi>T</mi> </math></EquationSource> <EquationSource Format="TEX">${T}$</EquationSource> </InlineEquation> is not equilateral, we show that <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> <EquationSource Format="TEX">${u}$</EquationSource> </InlineEquation> vanishes at some vertex if and only if <InlineEquation ID="IEq10"> <EquationSource Format="MATHML"><math> <mi>T</mi> </math></EquationSource> <EquationSource Format="TEX">${T}$</EquationSource> </InlineEquation> is superequilateral, and that <InlineEquation ID="IEq11"> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> <EquationSource Format="TEX">${u}$</EquationSource> </InlineEquation> has a non-vertex critical point if and only if <InlineEquation ID="IEq12"> <EquationSource Format="MATHML"><math> <mi>T</mi> </math></EquationSource> <EquationSource Format="TEX">${T}$</EquationSource> </InlineEquation> is acute and not superequilateral. These results confirm both the original theorem and Conjecture&#xa0;13.6 of Judge and Mondal (Ann. Math. (2) 191(1):167–211, <CitationRef CitationID="CR30">2020</CitationRef>). We also resolve the objective of Polymath 7 (research thread 1), namely, that the extrema of <InlineEquation ID="IEq13"> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> <EquationSource Format="TEX">${u}$</EquationSource> </InlineEquation> are attained only at the endpoints of the longest side. In addition, we settle a conjecture of Siudeja (Proc. Am. Math. Soc. 144(6):2479–2493, <CitationRef CitationID="CR56">2016</CitationRef>) on the ordering of mixed Dirichlet–Neumann Laplacian eigenvalues for triangles. Our proofs combine the continuity method, eigenvalue inequalities, the maximum principle, and the moving plane method.</p>

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

Uniqueness of critical points of the second Neumann eigenfunctions on triangles

  • Hongbin Chen,
  • Changfeng Gui,
  • Ruofei Yao

摘要

This paper investigates the second Neumann eigenfunction u ${u}$ of a planar triangle T ${T}$ . In a recent paper by Judge and Mondal (Ann. Math. (2) 195(1):337–362, 2022), it was shown that u ${u}$ has no critical points in the interior of T ${T}$ . In this paper, we show that u ${u}$ has at most one non-vertex critical point and that u ${u}$ is monotone in a certain direction in T ${T}$ . More precisely, when T ${T}$ is not equilateral, we show that u ${u}$ vanishes at some vertex if and only if T ${T}$ is superequilateral, and that u ${u}$ has a non-vertex critical point if and only if T ${T}$ is acute and not superequilateral. These results confirm both the original theorem and Conjecture 13.6 of Judge and Mondal (Ann. Math. (2) 191(1):167–211, 2020). We also resolve the objective of Polymath 7 (research thread 1), namely, that the extrema of u ${u}$ are attained only at the endpoints of the longest side. In addition, we settle a conjecture of Siudeja (Proc. Am. Math. Soc. 144(6):2479–2493, 2016) on the ordering of mixed Dirichlet–Neumann Laplacian eigenvalues for triangles. Our proofs combine the continuity method, eigenvalue inequalities, the maximum principle, and the moving plane method.