Characterization of Maximizers for Sums of the First Two Eigenvalues of Sturm-Liouville Operators

This paper establishes the existence and uniqueness of a non-negative, piecewise smooth, and symmetric potential in $L^1$ that maximizes the sum of the first two Dirichlet eigenvalues for Sturm-Liouville operators, demonstrating that its nonzero part is determined by the solution to the pendulum equation via measure differential equations and weak$^*$ convergence.

The Gist

Imagine you are an architect designing a bridge. The bridge is made of a special, flexible material, and you want to make it as strong as possible against a specific type of shaking (vibration). In the world of mathematics, this "bridge" is a string or a beam, and the "shaking" is described by something called eigenvalues.

The lower the eigenvalue, the easier it is for the bridge to vibrate (like a loose guitar string). The higher the eigenvalue, the stiffer and more stable the bridge is.

This paper is about a very specific challenge: How do you arrange the weight of the bridge so that the sum of its two lowest vibration frequencies is as high as possible?

Here is the breakdown of the story, told in simple terms:

1. The Problem: The "Budget" of Weight

Imagine you have a fixed amount of "weight" (or mass) to distribute along your bridge. In math terms, this is your $L^1$ norm.

• The Goal: You want to place this weight in a way that makes the bridge as stiff as possible. Specifically, you want to maximize the sum of the first two "notes" the bridge can play.
• The Catch: In the past, mathematicians knew how to solve this if you could spread the weight out smoothly (like spreading butter on toast). But this paper asks: What if the weight is concentrated in very sharp, thin spikes? This is the "non-compact" space mentioned in the title. It's like trying to balance a tower of cards where the cards can be infinitely thin.

2. The Discovery: The Perfect Shape

The authors (Meng, Tian, Xie, and Zhang) proved that there is indeed a single, unique best way to arrange this weight. It's not a random guess; there is one perfect "recipe."

They found that this perfect arrangement has three special traits:

1. It's Symmetric: The weight is arranged like a mirror image around the center of the bridge.
2. It's "Piecewise Smooth": The weight isn't a jagged mess. It's smooth in sections, but it can have sharp jumps.
3. It's Negative: In the math world, "negative potential" acts like a heavy anchor. To make the bridge stiff, you need to add "negative weight" (which sounds like a hole, but mathematically, it acts as a deep well that traps the vibration).

3. The Secret Ingredient: The Pendulum

This is the most magical part of the paper. The authors discovered that the shape of this perfect weight isn't just random; it is directly linked to a swinging pendulum.

• The Analogy: Imagine a pendulum swinging back and forth. Its motion is described by a famous equation: $\theta'' + \ell \sin \theta = 0$.
• The Connection: The authors proved that the "height" of the weight on your bridge at any point is determined exactly by the cosine of the angle of a swinging pendulum.
  • When the pendulum is at the bottom (swinging fast), the weight is at one level.
  • When the pendulum is at the top (swinging slow), the weight is at another.
  • The bridge's weight profile literally traces the path of a swinging pendulum.

4. How They Solved It: The "Limit" Trick

How did they figure this out? They used a clever mathematical trick called a "limit."

1. Step 1: They first looked at the problem where the weight could be spread out smoothly (like $p=2$ or $p=1.5$). They knew the answer for these cases involved complex equations (Nonlinear Schrödinger equations).
2. Step 2: They slowly "crunched" the smoothness down, making the weight sharper and sharper, until they reached the extreme case of $p=1$ (the sharpest possible spikes).
3. Step 3: As they did this, they watched how the "optimal shape" changed. They saw that as the smooth curves got sharper, they didn't turn into chaos. Instead, they settled into a beautiful, predictable pattern that matched the pendulum equation.

5. Why This Matters

This isn't just about bridges or strings.

• Physics: It helps us understand how to design materials that resist vibration (like in earthquake-proof buildings or sensitive microchips).
• Math: It solves a long-standing mystery about what happens when you push mathematical systems to their absolute limits. It shows that even in the most chaotic, "spiky" scenarios, nature (and math) finds a smooth, elegant order—specifically, the order of a swinging pendulum.

Summary

The paper says: "If you want to make a vibrating system as stiff as possible using a fixed amount of 'negative weight,' the best shape is a unique, symmetric curve that looks exactly like the motion of a swinging pendulum."

They proved this exists, showed it's the only one, and gave the exact formula to build it. It's a beautiful example of how a complex problem about vibrating strings turns out to be solved by the simple physics of a swinging clock pendulum.

Technical Summary

Here is a detailed technical summary of the paper "Characterization of Maximizers for Sums of the First Two Eigenvalues of Sturm-Liouville Operators."

1. Problem Statement

The paper addresses the optimization problem of maximizing the sum of the first two Dirichlet eigenvalues for a Sturm-Liouville operator with a potential $q$ constrained in the $L^1$ space.

• The Operator: Consider the Sturm-Liouville problem on the interval $I = [0, 1]$:
  $$y'' + (\lambda + q(t))y = 0, \quad y(0) = y(1) = 0.$$
• The Objective: Maximize the functional $\lambda_1(q) + \lambda_2(q)$.
• The Constraint: The potential $q$ belongs to the sphere $S_1[r] = \{q \in L^1 : \|q\|_1 = r\}$ for a fixed radius $r > 0$.
• The Challenge: Unlike the case where $p > 1$ (where $L^p$ spaces are locally compact), the space $L^1$ lacks local compactness. This makes the existence of a maximizer non-trivial and the characterization of its structure difficult. Previous work had established results for $p > 1$, but the case $p=1$ remained open.

2. Methodology

The authors employ a limiting analysis approach, bridging the gap between $L^p$ ($p > 1$) and $L^1$ using advanced tools from functional analysis and differential equations.

• Limiting Process ($p \downarrow 1$):
  The authors consider the known maximizers $q_p$ for $p > 1$ and analyze their behavior as $p$ approaches 1. They utilize the fact that the optimal bounds converge: $\lim_{p \downarrow 1} \check{M}_p(r) = \check{M}(r)$.
• Measure Differential Equations (MDEs):
  To handle the lack of compactness in $L^1$, the problem is extended to the framework of Measure Differential Equations. The potentials $q_p$ induce absolutely continuous measures $\mu_p$. As $p \downarrow 1$, these measures converge in the weak$^*$ topology to a limiting measure $\mu$.
• Critical Systems and Nonlinear ODEs:
  For $p > 1$, the maximizers satisfy a system of nonlinear ODEs (a Hamiltonian system) involving the eigenfunctions $y_p$ and $z_p$. The authors analyze the convergence of these systems to derive the properties of the limiting eigenfunctions $y$ and $z$ and the measure $\mu$.
• Decomposition of the Measure:
  The limiting measure $\mu$ is decomposed into an absolutely continuous part ($\mu_{ac}$, corresponding to a potential function $\check{q}$) and a singular part ($\mu_{cs}$, consisting of Dirac masses).
• Pendulum Equation Connection:
  By analyzing the structure of the solution on the set where the eigenfunctions are non-zero, the authors reduce the governing equations to a second-order nonlinear ODE, which is identified as the pendulum equation.

3. Key Contributions and Results

A. Existence and Uniqueness

The paper proves Theorem 1.1, establishing that for any $r > 0$, there exists a unique potential $\check{q}_r \in S_1[r]$ that maximizes the sum of the first two eigenvalues.

• Properties of the Maximizer: The unique potential $\check{q}_r$ is:
  • Non-positive ($\check{q}_r(t) \leq 0$).
  • Piecewise smooth.
  • Symmetric with respect to the midpoint $t = 1/2$.

B. Structural Characterization via the Pendulum Equation

The most significant theoretical contribution is the explicit characterization of the non-zero part of the maximizer.

• Let $\ell = \lambda_2(\check{q}_r) - \lambda_1(\check{q}_r) > 0$.
• The non-zero part of the potential is given by:
  $$\check{q}_r(t) = \check{c} + \ell \cos \theta(t)$$
  where $\check{c}$ is a constant and $\theta(t)$ is a solution to the pendulum equation:
  $$\theta'' + \ell \sin \theta = 0.$$
• The eigenfunctions $y(t)$ and $z(t)$ associated with the first and second eigenvalues are related to $\theta(t)$ via:
  $$y(t) = \cos(\theta(t)/2), \quad z(t) = \sin(\theta(t)/2)$$
  (up to sign and scaling).

C. Absence of Singular Measures

A crucial step in the proof is showing that the singular part of the limiting measure is zero ($\mu_{cs} = 0$).

• The authors prove that if the limiting measure contained Dirac masses (singularities), it would violate the maximum principle for the function $u(t) = y^2(t) + z^2(t)$, which must attain its maximum value of 1.
• Consequently, the maximizer is a genuine function in $L^1$ (specifically, piecewise smooth) rather than a distribution containing Dirac deltas.

D. Numerical Observations

The paper includes numerical simulations (Figures 1-4) illustrating the shape of the maximizer for different $r$.

• The authors conjecture a critical threshold $r^* \approx 15.5292$.
• For $r < r^*$, the maximizer has two disjoint non-zero intervals.
• For $r > r^*$, the maximizer has a single non-zero interval.
• At $r = r^*$, the transition occurs.

4. Significance

• Resolution of an Open Problem: This work resolves the long-standing question of the attainability and characterization of eigenvalue sums in the non-compact $L^1$ setting, a case where standard variational methods fail due to the lack of compactness.
• Interdisciplinary Connection: The paper establishes a profound link between spectral optimization, measure theory, and classical mechanics. The reduction of the optimal potential to the solution of the pendulum equation is a novel and elegant result.
• Methodological Advancement: The technique of using weak$^*$ convergence of measures combined with the analysis of critical systems for $L^p$ spaces provides a robust framework that could be applied to other spectral optimization problems in non-reflexive spaces.
• Applications: The results contribute to the understanding of the geometry of eigenvalues, Pólya conjectures, and nonlinear Schrödinger equations, as the underlying equations (Ambrosetti-type and cubic NLS) are central to these fields.

In summary, the paper successfully characterizes the unique maximizer for the sum of the first two eigenvalues in $L^1$, proving it is a symmetric, piecewise smooth function determined by the solution to a pendulum equation, thereby overcoming the analytical challenges posed by the non-compactness of the $L^1$ space.