arxiv: 2605.08700 · v1 · submitted 2026-05-09 · 🧮 math.AP

Recognition: no theorem link

The Ekeland--Nirenberg Variational Problem:A Sharp Positivity Threshold and Extensions

Qi Guo, Xueping Huang, Yi Huang

Pith reviewed 2026-05-12 01:05 UTC · model grok-4.3

classification 🧮 math.AP

keywords Ekeland-Nirenberg variational problempositivity thresholdcosine kernelsign changediagonal quadratic formsupercritical parametersvariational minimizationconstrained minimization

0 comments

The pith

The Ekeland-Nirenberg minimizer and its cosine kernel stay positive exactly when d is at most a times c.

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

The paper establishes a sharp classification for positivity in the two-dimensional Ekeland-Nirenberg variational problem with a diagonal quadratic form. For positive coefficients a, c, d, the unique minimizer u_{a,c,d} subject to u(0,0)=1 remains positive on the positive quadrant if and only if d ≤ a c, and the same equivalence holds for its associated cosine kernel K_{a,c,d}. When d exceeds a c, both objects exhibit sign changes. The result extends to local stability under small non-diagonal perturbations and to a product-type threshold in higher dimensions. A reader would care because the threshold gives an exact boundary between positive and oscillatory regimes for this family of constrained minimization problems.

Core claim

The authors prove that K_{a,c,d} > 0 on R_+^2 if and only if u_{a,c,d} > 0 on R_+^2 if and only if d ≤ a c. Thus every choice with d > a c produces sign change in both the minimizer and the kernel. The classification is obtained under the assumption that a unique minimizer exists together with the existence and basic properties of the cosine kernel derived from the quadratic functional J_{a,c,d}.

What carries the argument

The cosine kernel K_{a,c,d} associated to the unique minimizer u_{a,c,d} of J_{a,c,d}, which carries the positivity information through the threshold condition d ≤ a c.

Load-bearing premise

The uniqueness of the minimizer u_{a,c,d} together with the existence and basic properties of its cosine kernel K_{a,c,d}.

What would settle it

Numerical or analytical computation for a concrete triple such as a=1, c=1, d=2 showing that the minimizer stays positive everywhere, or for a=1, c=1, d=0.5 showing a sign change, would contradict the claimed equivalence.

Figures

Figures reproduced from arXiv: 2605.08700 by Qi Guo, Xueping Huang, Yi Huang.

**Figure 1.** Figure 1: The threshold surface d = ac in the positive (a, c, d)- octant. Points below or on the surface are positive. Points above the surface are supercritical and produce sign change. The point (1, 1, 5) is a concrete counterexample. Remark. In the critical case d = ac, the kernel factorizes: Ka,c,ac(x, y) = 1 √ ac e − √ cx− √ ay, ua,c,ac(x, y) = e − √ cx− √ ay . In particular, Ka,c,ac(0, 0) = 1/ √ ac. Thus the s… view at source ↗

**Figure 2.** Figure 2: The contour in the slit upper half-plane D = {Im z > 0} \ [i, i√ m]. The real-line integral is deformed to the boundary of the slit. The large arc and the small endpoint detours vanish; the remaining contribution is the clockwise jump across [i, i√ m]. Proof. Since the integrand is even in ξ, Km(x, y) = 1 π Z ∞ −∞ F(ξ) dξ, F(z) = e ixz e −yλm(z) (z 2 + 1)λm(z) , where λm is the principal square root on the… view at source ↗

read the original abstract

We study the Ekeland--Nirenberg variational problem in the two-dimensional diagonal family \[ J_{a,c,d}(u)=\int_{\Rp^2}\bigl(u_{xy}^2+a u_x^2+c u_y^2+d u^2\bigr)\dd x\dd y, \qquad a,c,d>0, \] under the constraint $u(0,0)=1$. If $u_{a,c,d}$ is the unique minimizer and $K_{a,c,d}$ is its cosine kernel, we prove the sharp classification \[ K_{a,c,d}>0 \hbox{ on } \Rp^2\quad\Longleftrightarrow\quad u_{a,c,d}>0 \hbox{ on } \Rp^2\quad\Longleftrightarrow\quad d\le ac . \] Thus every supercritical triple $d>ac$ produces sign change. We also prove local sign-change stability under small two-dimensional non-diagonal perturbations and a sharp product-type $n$-dimensional diagonal threshold. The domain and evolution results are stated in precise auxiliary settings: a free-boundary capacity formulation for domains and a selected decaying branch of the second-order evolution equation.

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.

Desk Editor's Note private letter to a colleague

The paper gives a sharp d ≤ ac threshold for positivity of both minimizer and kernel in the diagonal Ekeland-Nirenberg problem, but the equivalence is stated under an assumption of uniqueness.

read the letter

The main takeaway is that this paper pins down a sharp threshold: both the minimizer and its cosine kernel stay positive exactly when d ≤ a c in the two-dimensional diagonal Ekeland-Nirenberg problem. Above that, sign changes are forced. They also prove local stability of the sign change under small non-diagonal perturbations and extend the product threshold to the n-dimensional diagonal case. The auxiliary formulations using capacity for domains and a selected branch of the second-order evolution equation are set up carefully. The strength here is the explicit classification that links kernel positivity directly to minimizer positivity via the product condition. This organizes the sign-change behavior in a clean way for this specific family. One soft spot is the reliance on uniqueness of the minimizer. The abstract phrases the result as holding if u is the unique minimizer, and while the functional is convex, proving uniqueness under the constraint isn't automatic with the mixed derivative present. The stress test correctly flags that the strongest claim drops this qualifier. If the paper doesn't establish uniqueness independently for all parameters, the supercritical sign-change statement needs to be qualified accordingly. The work avoids circularity and uses direct analysis. No major gaps in the abstract's description of the results. This is for researchers in variational methods and elliptic equations, particularly those studying positivity and constrained minimization. Readers working on similar problems with kernels or sign changes will get concrete value from the threshold and the perturbation result. It should go to peer review. The classification is sharp and new enough to warrant referee input, even if uniqueness requires extra attention.

Referee Report

2 major / 1 minor

Summary. The manuscript studies the Ekeland-Nirenberg variational problem for the diagonal quadratic functional J_{a,c,d}(u) = ∫_{R_+^2} (u_{xy}^2 + a u_x^2 + c u_y^2 + d u^2) dx dy with constraint u(0,0)=1. Under the standing hypothesis that u_{a,c,d} is the unique minimizer possessing a cosine kernel K_{a,c,d}, it proves the sharp equivalences K_{a,c,d} > 0 on R_+^2 ⇔ u_{a,c,d} > 0 on R_+^2 ⇔ d ≤ a c, so that every supercritical triple (d > a c) yields sign change. Extensions include local sign-change stability for small non-diagonal perturbations and a sharp product-type threshold in n dimensions, formulated via a free-boundary capacity problem and a selected decaying branch of a second-order evolution equation.

Significance. If the uniqueness hypothesis and kernel properties can be verified, the result supplies a clean, sharp positivity threshold for this family of variational problems and its extensions. The auxiliary capacity and evolution formulations provide a precise setting for the domain and dynamical aspects, which strengthens the overall framework and may facilitate further analysis of related elliptic problems.

major comments (2)

[Abstract, §1] Abstract and opening paragraph of §1: the main classification is stated only under the explicit hypothesis 'If u_{a,c,d} is the unique minimizer and K_{a,c,d} is its cosine kernel'; yet the subsequent sentence 'Thus every supercritical triple d>ac produces sign change' is written unconditionally. The manuscript must either remove the qualifier by proving uniqueness (e.g., via a strict-convexity or coercivity argument controlling the mixed-derivative term) or restrict the claim to the set of parameters where uniqueness holds.
[Abstract] The cosine kernel K_{a,c,d} is introduced without an independent existence proof in the given abstract; if the kernel is defined only after assuming the minimizer exists and is unique, the equivalence K>0 ⇔ u>0 becomes tautological for some parameter ranges and requires a separate construction or representation formula to be load-bearing.

minor comments (1)

[§1] Notation for the half-plane R_+^2 and the parameters a,c,d>0 is clear, but the precise function space in which the infimum is taken (e.g., whether it is H^1 or a weighted space controlling the mixed derivative) should be stated explicitly at the first appearance of J_{a,c,d}.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions on our manuscript. We address the major comments point by point below, indicating the revisions we plan to implement.

read point-by-point responses

Referee: [Abstract, §1] Abstract and opening paragraph of §1: the main classification is stated only under the explicit hypothesis 'If u_{a,c,d} is the unique minimizer and K_{a,c,d} is its cosine kernel'; yet the subsequent sentence 'Thus every supercritical triple d>ac produces sign change' is written unconditionally. The manuscript must either remove the qualifier by proving uniqueness (e.g., via a strict-convexity or coercivity argument controlling the mixed-derivative term) or restrict the claim to the set of parameters where uniqueness holds.

Authors: We appreciate the referee's observation regarding the conditional nature of our main result. The theorem is indeed proved under the standing hypothesis of uniqueness of the minimizer u_{a,c,d} and the existence of its associated cosine kernel K_{a,c,d}. The phrase 'Thus every supercritical triple d>ac produces sign change' was intended to follow from the equivalence within the scope of the hypothesis. To resolve the ambiguity, we will revise the abstract and the opening of §1 to explicitly state that the sign-change result for d > ac holds under the uniqueness assumption. We will also include a brief discussion noting that while the energy functional is convex, establishing uniqueness for all positive a, c, d remains an open question in general and is not addressed in this work. This approach follows the referee's suggestion to restrict the claim rather than prove uniqueness at this stage. revision: yes
Referee: [Abstract] The cosine kernel K_{a,c,d} is introduced without an independent existence proof in the given abstract; if the kernel is defined only after assuming the minimizer exists and is unique, the equivalence K>0 ⇔ u>0 becomes tautological for some parameter ranges and requires a separate construction or representation formula to be load-bearing.

Authors: The cosine kernel is not merely defined tautologically; in the manuscript (particularly in the sections detailing the diagonal case), we construct K_{a,c,d} explicitly using the Fourier transform representation of the quadratic form or as the solution to the corresponding Euler-Lagrange equation with the boundary condition at (0,0). This construction is independent in the sense that it allows direct analysis of the sign of K via oscillatory integrals or comparison principles. The equivalence between K > 0 and u > 0 is then established through specific integral identities linking the minimizer and the kernel, which are non-trivial and lead to the sharp threshold d ≤ ac. To address the abstract's brevity, we will add a clause such as 'where K is constructed via the Fourier representation of the functional' to clarify its independent role. We believe this makes the equivalence load-bearing as intended. revision: partial

Circularity Check

0 steps flagged

No circularity; result explicitly conditional on independent assumptions

full rationale

The paper states its central classification explicitly under the hypotheses that u_{a,c,d} is the unique minimizer and K_{a,c,d} is its cosine kernel. The equivalences are then derived from the variational functional and auxiliary capacity/evolution settings without any reduction of outputs to inputs by definition, fitting, or self-citation. No load-bearing self-citations, ansatzes smuggled via prior work, or renaming of known results appear in the given text. The derivation chain remains self-contained against external benchmarks once the stated assumptions are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard existence and uniqueness theorems for quadratic variational problems in Sobolev spaces on the quadrant together with the definition of the cosine kernel; no free parameters or new entities are introduced.

axioms (2)

standard math Existence and uniqueness of a minimizer u_{a,c,d} for the quadratic functional J under the point constraint u(0,0)=1 in the appropriate Sobolev space.
Invoked to define u_{a,c,d} and K_{a,c,d}.
standard math The functional is coercive and weakly lower semicontinuous on the constraint set.
Required for the direct method in the calculus of variations.

pith-pipeline@v0.9.0 · 5518 in / 1329 out tokens · 39666 ms · 2026-05-12T01:05:33.242813+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

D. R. Adams and L. I. Hedberg,Function Spaces and Potential Theory, Springer, Berlin, 1996

work page 1996
[2]

Bouchard, I

B. Bouchard, I. Ekeland, and N. Touzi, On the Malliavin approach to Monte Carlo approxi- mation of conditional expectations,Finance Stoch.8(2004), no. 1, 45–71

work page 2004
[3]

Bouchard and N

B. Bouchard and N. Touzi, Discrete-time approximation and Monte-Carlo simulation of back- ward stochastic differential equations,Stochastic Process. Appl.111(2004), no. 2, 175–206

work page 2004
[4]

Bouchard and X

B. Bouchard and X. Warin, Monte-Carlo valuation of American options: facts and new algorithms to improve existing methods, inNumerical Methods in Finance, Springer Proc. Math. 12, Springer, Heidelberg, 2012, pp. 215–255

work page 2012
[5]

Brezis,Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, New York, 2011

H. Brezis,Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, New York, 2011

work page 2011
[6]

Crisan, K

D. Crisan, K. Manolarakis, and N. Touzi, On the Monte Carlo simulation of BSDEs: an improvement on the Malliavin weights,Stochastic Process. Appl.120(2010), no. 7, 1133– 1158

work page 2010
[7]

Erd´ elyi, W

A. Erd´ elyi, W. Magnus, F. Oberhettinger, and F. G. Tricomi,Higher Transcendental Func- tions. Vol. II, McGraw–Hill, New York, 1953. 30QI GUO, XUEPING HUANG AND YI HUANG

work page 1953
[8]

Erd´ elyi, W

A. Erd´ elyi, W. Magnus, F. Oberhettinger, and F. G. Tricomi,Tables of Integral Transforms. Vol. I, McGraw–Hill, New York, 1954

work page 1954
[9]

Ekeland and L

I. Ekeland and L. Nirenberg, Regularity in an unusual variational problem,J. Math. Fluid Mech.7(2005), suppl. 3, S332–S348

work page 2005
[10]

L. C. Evans,Partial Differential Equations, 2nd ed., American Mathematical Society, Prov- idence, 2010

work page 2010
[11]

Glasserman,Monte Carlo Methods in Financial Engineering, Springer, New York, 2004

P. Glasserman,Monte Carlo Methods in Financial Engineering, Springer, New York, 2004

work page 2004
[12]

Gobet, J.-P

E. Gobet, J.-P. Lemor, and X. Warin, A regression-based Monte Carlo method to solve backward stochastic differential equations,Ann. Appl. Probab.15(2005), no. 3, 2172–2202

work page 2005
[13]

Gobet and P

E. Gobet and P. Turkedjiev, Approximation of backward stochastic differential equations using Malliavin weights and least-squares regression,Bernoulli22(2016), no. 1, 530–562

work page 2016
[14]

Long, Collection of problems proposed at International Conference on Variational Meth- ods,Front

Y. Long, Collection of problems proposed at International Conference on Variational Meth- ods,Front. Math. China3(2008), no. 2, 259–273

work page 2008
[15]

F. A. Longstaff and E. S. Schwartz, Valuing American options by simulation: a simple least- squares approach,Rev. Financ. Stud.14(2001), no. 1, 113–147

work page 2001
[16]

Maz’ya,Sobolev Spaces with Applications to Elliptic Partial Differential Equations, 2nd ed., Springer, Heidelberg, 2011

V. Maz’ya,Sobolev Spaces with Applications to Elliptic Partial Differential Equations, 2nd ed., Springer, Heidelberg, 2011

work page 2011
[17]

F. W. J. Olver,Asymptotics and Special Functions, Academic Press, New York, 1974

work page 1974
[18]

G. N. Watson,A Treatise on the Theory of Bessel Functions, 2nd ed., Cambridge University Press, Cambridge, 1944. THE EKELAND–NIRENBERG VARIATIONAL PROBLEM31 Qi Guo School of Mathematics, Renmin University of China, Beijing, 100872, P.R. China e-mail: qguo@ruc.edu.cn Xueping Huang school of Mathematics and Statistics, Nanjing University of Information Scie...

work page 1944