pith. sign in

arxiv: 2606.03684 · v1 · pith:QMY235M5new · submitted 2026-06-02 · 🧮 math.AP

To 1/2-logconcavity and beyond: Geometric properties of Dirichlet eigenfunctions

Lei Qin , Jin Sun , Kui Wang This is my paper

Pith reviewed 2026-06-28 09:19 UTC · model grok-4.3

classification 🧮 math.AP
keywords Dirichlet eigenfunctionslogconcavityLaplacianOrnstein-Uhlenbeck operatorconvex domainsalpha-logconcavityeigenvalue problems
0
0 comments X

The pith

On convex domains the first Dirichlet eigenfunction satisfies scaled α-logconcavity for every α up to 1/2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for the first Dirichlet eigenfunction u of the Laplacian or Ornstein-Uhlenbeck operator on a bounded convex domain in R^n, normalized so that its maximum value is 1, a scaled version of u yields an α-logconcave function for any α in (0,1/2]. Specifically, the function -(-log(κ u(x)))^α is concave throughout the domain when the scaling factor κ is chosen below an explicit threshold that depends on the first eigenvalue and the diameter of the domain. This extends the known 1/2-logconcavity result for the Laplacian to smaller exponents and to the Gaussian weighted setting. The authors also prove a local version of the property near the maximum point and give counterexamples where the unscaled version fails for Schrödinger operators and certain weighted Laplacians.

Core claim

If u denotes the first eigenfunction normalized by ||u||_∞=1, then for every α in (0,1/2], the function -(-log(κ u(x)))^α is concave in Ω provided the scaling parameter κ lies below an explicit threshold κ_α(Ω) in (0,1), which depends on the first Dirichlet eigenvalue and on the diameter of Ω (and on the distance between Ω and the origin for the Ornstein-Uhlenbeck operator).

What carries the argument

The scaled α-logconcavity property, expressed through concavity of the function -(-log(κ u))^α for sufficiently small κ.

Load-bearing premise

The domain must be convex and bounded for the global scaled concavity statement to hold.

What would settle it

An explicit computation of the first eigenfunction on a convex domain such as the unit ball, followed by a check that -(-log(κ u))^α fails to be concave for some α ≤ 1/2 at a value of κ below the paper's proposed threshold.

read the original abstract

We prove that, on a bounded open convex domain $\Omega\subset\mathbb{R}^n$, the first Dirichlet eigenfunction of the Laplacian or the Ornstein--Uhlenbeck operator is $\alpha$-logconcave for every $\alpha\in(0,1/2]$. This extends the recent $1/2$-logconcavity theorem of Crasta--Fragal\`{a} for the Laplacian to the weighted Gaussian setting and, simultaneously, to a broader range of exponents. More precisely, if $u$ denotes the first eigenfunction normalized by $\|u\|_\infty=1$, then for every $\alpha\in(0,1/2]$, the function $-\bigl(-\log(\kappa u(x))\bigr)^{\alpha}$ is concave in $\Omega$ provided the scaling parameter $\kappa$ lies below an explicit threshold $\kappa_\alpha(\Omega)\in(0,1)$, which depends on the first Dirichlet eigenvalue and on the diameter of~$\Omega$. For the Ornstein--Uhlenbeck operator, $\kappa_\alpha(\Omega)$ also depends on the distance between $\Omega$ and the origin. Moreover, we establish a local counterpart: for every $\kappa\in(0,1)$, the function $\bigl(-\log(\kappa u)\bigr)^{\alpha}$ is convex on a convex neighborhood $\Omega_\kappa$ of the unique maximum point of~$u$. We also provide counterexamples showing that unscaled $1/2$-logconcavity may fail for the first Dirichlet eigenfunction of a Schr\"odinger operator with a smooth convex potential, and for the first Dirichlet eigenfunction of a weighted Laplacian associated with an affine log-concave weight.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that on a bounded open convex domain Ω ⊂ R^n the first Dirichlet eigenfunction u of the Laplacian (or Ornstein-Uhlenbeck operator), normalized by ||u||_∞ = 1, satisfies that −(−log(κ u(x)))^α is concave throughout Ω for every α ∈ (0,1/2] whenever the scaling factor κ lies below an explicit threshold κ_α(Ω) ∈ (0,1) depending only on the first eigenvalue λ_1(Ω) and diam(Ω) (and dist(Ω,0) for the OU case). It also establishes a local convexity statement for (−log(κ u))^α near the maximum point and supplies counterexamples showing that the unscaled 1/2-logconcavity property fails for Schrödinger operators with smooth convex potentials and for weighted Laplacians with affine log-concave weights.

Significance. If the proofs are correct, the result meaningfully extends the Crasta–Fragalà 1/2-logconcavity theorem by lowering the admissible exponent range, incorporating the Ornstein–Uhlenbeck operator, and supplying explicit, computable thresholds together with counterexamples that delineate the necessity of convexity and scaling. These features strengthen the geometric picture of first eigenfunctions and are likely to be cited in subsequent work on log-concavity and Brunn–Minkowski-type inequalities for eigenfunctions.

minor comments (2)
  1. [Theorem 1.1 (or equivalent)] The abstract states that κ_α(Ω) depends on λ_1(Ω) and diam(Ω); the main theorem statement should explicitly record the functional dependence (e.g., via an inequality involving these quantities) so that readers can verify the claimed explicitness without consulting the proof.
  2. [Local result paragraph] The local convexity result is stated for a convex neighborhood Ω_κ of the maximum point; a brief remark on how the size of Ω_κ is controlled by κ would help readers assess its practical range.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of our results, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper presents a direct analytic proof that the first Dirichlet eigenfunction u (normalized by ||u||_∞=1) satisfies α-logconcavity for α∈(0,1/2] on convex Ω, via an explicit scaling threshold κ_α(Ω) constructed from λ_1(Ω) and diam(Ω) (plus dist(Ω,0) for the OU case). This extends the external Crasta–Fragalà 1/2-logconcavity theorem without any reduction of the central statement to a fitted parameter, self-definition, or load-bearing self-citation. The local convexity result and counterexamples for Schrödinger/weighted cases are likewise stated as independent verifications. No step equates a claimed output to its input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard assumptions about the domain and the eigenfunction in the theory of elliptic PDEs. No new entities are introduced. The threshold κ_α(Ω) is defined in terms of the eigenvalue and diameter, so not a free parameter in the sense of fitting.

axioms (2)
  • domain assumption Ω is a bounded open convex subset of R^n
    This is the setting stated in the abstract for the main theorem.
  • domain assumption u is the first Dirichlet eigenfunction of the given operator normalized so that its maximum is 1
    Normalization and definition of the eigenfunction as per the abstract.

pith-pipeline@v0.9.1-grok · 5841 in / 1594 out tokens · 39505 ms · 2026-06-28T09:19:18.548004+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 14 canonical work pages

  1. [1]

    Crasta, Graziano and Fragal\`a, Ilaria , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.aim.2019.106855 , URL =

    work page doi:10.1016/j.aim.2019.106855 2020

  2. [2]

    Ni, Lei , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2013 , NUMBER =. doi:10.1016/j.matpur.2012.05.009 , URL =

    work page doi:10.1016/j.matpur.2012.05.009 2013

  3. [3]

    Crasta, Graziano and Fragal\`a, Ilaria , TITLE =. Camb. J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/CJM.2021.v9.n1.a3 , URL =

    work page doi:10.4310/cjm.2021.v9.n1.a3 2021

  4. [4]

    Power-logconcavity of the

    Crasta, Graziano and Fragal\`. Power-logconcavity of the. arXiv preprint arXiv:2602.24093 , year =

    arXiv

  5. [5]

    Alessandro Carbotti , journal =. A

  6. [6]

    Ishige, Kazuhiro and Salani, Paolo and Takatsu, Asuka , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1142/S0219199719500093 , URL =

    work page doi:10.1142/s0219199719500093 2020

  7. [7]

    Ishige, Kazuhiro and Salani, Paolo and Takatsu, Asuka , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s10231-021-01168-5 , URL =

    work page doi:10.1007/s10231-021-01168-5 2022

  8. [8]

    Ishige, Kazuhiro and Salani, Paolo and Takatsu, Asuka , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/tran/9173 , URL =

    work page doi:10.1090/tran/9173 2024

  9. [9]

    Funkcial

    Ishii, Hitoshi , TITLE =. Funkcial. Ekvac. , FJOURNAL =. 1995 , NUMBER =. doi:10.24546/0100499855 , URL =

    work page doi:10.24546/0100499855 1995

  10. [10]

    , TITLE =

    Brascamp, Herm Jan and Lieb, Elliott H. , TITLE =. J. Functional Analysis , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0022-1236(76)90004-5 , URL =

    work page doi:10.1016/0022-1236(76)90004-5 1976

  11. [11]

    Andrews, Ben and Clutterbuck, Julie , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S0894-0347-2011-00699-1 , URL =

    work page doi:10.1090/s0894-0347-2011-00699-1 2011

  12. [12]

    Colesanti, Andrea and Francini, Elisa and Livshyts, Galyna and Salani, Paolo , journal=. The

  13. [13]

    Colesanti, Andrea , TITLE =. Adv. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.aim.2004.06.002 , URL =

    work page doi:10.1016/j.aim.2004.06.002 2005

  14. [14]

    Acta Math

    Colesanti, Andrea , TITLE =. Acta Math. Sci. Ser. B (Engl. Ed.) , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s10473-025-0111-0 , URL =

    work page doi:10.1007/s10473-025-0111-0 2025

  15. [15]

    , TITLE =

    Sperb, Ren\'e P. , TITLE =. 1981 , PAGES =

    1981

  16. [16]

    Qin, Lei , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2026 , NUMBER =. doi:10.1090/proc/17590 , URL =

    work page doi:10.1090/proc/17590 2026

  17. [17]

    Seto, Shoo and Wang, Lili and Wei, Guofang , TITLE =. J. Differential Geom. , FJOURNAL =. 2019 , NUMBER =. doi:10.4310/jdg/1559786428 , URL =

    work page doi:10.4310/jdg/1559786428 2019

  18. [18]

    Sharp Fundamental Gap Estimate on Convex Domains in

    Sun, Jin and Wang, Kui , journal=. Sharp Fundamental Gap Estimate on Convex Domains in

  19. [19]

    , TITLE =

    Gilbarg, David and Trudinger, Neil S. , TITLE =. 2001 , PAGES =

    2001

  20. [20]

    1995 , PAGES =

    Kato, Tosio , TITLE =. 1995 , PAGES =

    1995

  21. [21]

    Olver, Frank W. J. , TITLE =. 1997 , PAGES =

    1997

  22. [22]

    Sakaguchi, Shigeru , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , FJOURNAL =. 1987 , NUMBER =

    1987

  23. [23]

    and Lasry, J.-M

    Alvarez, O. and Lasry, J.-M. and Lions, P.-L. , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 1997 , NUMBER =. doi:10.1016/S0021-7824(97)89952-7 , URL =

    work page doi:10.1016/s0021-7824(97)89952-7 1997