First eigenvalue of the $p$-Laplace operator along the Ricci flow

This paper investigates the continuity, monotonicity, and differentiability of the first eigenvalue of the $p$-Laplace operator along the Ricci flow on closed manifolds, establishing its strict increase and almost-everywhere differentiability under specific curvature conditions and proving these properties without curvature assumptions for orientable closed surfaces.

The Gist

Imagine you have a stretchy, magical rubber sheet (a "manifold") that represents the shape of space. This sheet isn't static; it's alive and constantly changing its shape over time. This process of changing shape is called the Ricci Flow. Think of it like a deflating balloon or a piece of dough being kneaded: the sheet tries to smooth out its bumps and wrinkles, evolving toward a perfect, uniform shape.

Now, imagine you pluck a string stretched across this rubber sheet. The string vibrates, and it has a specific "pitch" or frequency. In mathematics, this pitch is called an eigenvalue. The lowest possible pitch the string can make is the first eigenvalue.

This paper is about what happens to that "pitch" as the rubber sheet (the universe) changes shape. Specifically, the authors are looking at a more complex version of the string vibration called the p-Laplace operator. While the standard string vibration is linear (like a simple guitar string), the p-Laplace version is "non-linear," meaning the string behaves differently depending on how hard you pluck it or how thick it is. It's like comparing a thin guitar string to a thick, stiff rope; the physics get much messier.

Here is the breakdown of their discoveries, using simple analogies:

1. The Main Question: Does the Pitch Go Up or Down?

As the rubber sheet evolves (the Ricci Flow), does the lowest pitch of our "string" go up, go down, or stay the same?

• The Old Way: Previous mathematicians tried to solve this by taking the "derivative" (the instantaneous rate of change) of the pitch. But for this specific "thick rope" (p-Laplace) problem, we don't even know if the pitch changes smoothly enough to take a derivative. It might be jagged or jerky.
• The New Trick: Instead of trying to measure the speed at a single instant (which is hard), the authors looked at the total distance traveled over a period of time. They proved that no matter how jagged the path is, the pitch is strictly increasing. It never goes down; it only goes up.

2. The "Smoothness" Surprise

Even though we couldn't prove the pitch changes smoothly at every single moment, the authors proved a very powerful mathematical fact: It is smooth "almost everywhere."

• The Analogy: Imagine driving a car on a bumpy road. You might hit a few potholes where the ride is jerky. However, if you drive for an hour, 99.9% of the time you are driving smoothly. The "jerky" moments are so rare they don't count in the grand scheme.
• The Result: The authors showed that the pitch of this p-Laplace string is differentiable (smooth) almost all the time. This is a huge deal because it allows mathematicians to use powerful tools to study these shapes, even when the math gets very complicated.

3. The Special Case: The 2D Surface (The Flat Sheet)

The paper gets even more interesting when the rubber sheet is a 2D surface (like a sphere, a donut, or a pretzel).

• No Rules Needed: Usually, to prove things about these shapes, you need strict rules about how curved the surface is (e.g., "it must be positively curved everywhere"). The authors found a way to prove their results for 2D surfaces without any curvature rules.
• The "Monotonic Quantities": They invented special "magic formulas" (combinations of the pitch and the shape's properties) that always go up or always go down as the shape evolves.
  • Think of these like a thermometer that always rises as the room gets hotter, or a fuel gauge that always drops as you drive.
  • Because these formulas are predictable, they can tell us exactly how the pitch behaves, even if we don't know the exact shape of the universe at every moment.

4. The Final Comparison: The "Before and After" Photo

The paper concludes with a "Comparison Theorem."

• The Scenario: Imagine you start with a lumpy, wrinkled pretzel shape (negative curvature). You let the Ricci Flow run its course until it settles into a perfect, smooth, constant-curvature shape (like a saddle).
• The Result: The authors proved that the final pitch of the string on the perfect shape is guaranteed to be higher than the pitch on the original lumpy shape, by a specific mathematical ratio.
• Why it matters: It's like saying, "If you smooth out a crumpled piece of paper, the sound it makes when you snap it will definitely be higher than when it was crumpled." This gives us a way to compare the "energy" of different shapes just by looking at their initial roughness.

Summary

In short, this paper is about tracking the "sound" of a shape as it evolves.

1. They proved that for a complex type of vibration (p-Laplace), the "sound" (eigenvalue) always gets higher as the shape smooths out.
2. They proved this happens smoothly almost all the time, even though the math is very tricky.
3. They created special "magic formulas" that act as reliable guides for 2D shapes, regardless of how weird the shape starts out.
4. They showed that a smooth, perfect shape will always have a "higher pitch" than the rough shape it came from.

This work helps mathematicians understand the deep connection between the geometry (the shape) and the analysis (the vibrations/physics) of our universe, using a new, robust method that doesn't get stuck on the usual mathematical roadblocks.

Technical Summary

1. Problem Statement

The paper investigates the evolution of the first eigenvalue ($\lambda_{1,p}$) of the $p$-Laplace operator ($\Delta_p$) on a closed Riemannian manifold $(M^n, g(t))$ as the metric evolves under the Ricci flow (both unnormalized and normalized).

Key challenges addressed include:

• Nonlinearity: Unlike the standard Laplace-Beltrami operator ($p=2$), the $p$-Laplace operator is nonlinear for $p \neq 2$. This makes the differentiability of the eigenvalue and its corresponding eigenfunction with respect to time $t$ unclear. Standard perturbation theory used for linear operators cannot be directly applied.
• Monotonicity: Determining whether $\lambda_{1,p}(t)$ is monotonic (increasing or decreasing) under the flow, particularly under various curvature assumptions.
• Differentiability: Establishing that $\lambda_{1,p}(t)$ is differentiable almost everywhere, despite the lack of prior knowledge regarding the differentiability of the eigenfunction.

2. Methodology

The authors employ a variational approach combined with the maximum principle and comparison techniques, avoiding the need to assume the differentiability of the eigenfunction.

• Variational Characterization: The first eigenvalue is defined via the Rayleigh quotient:
  $$\lambda_{1,p}(t) = \inf_{f \neq 0, \int |f|^{p-2}f d\mu = 0} \frac{\int_M |\nabla f|^p d\mu}{\int_M |f|^p d\mu}$$
• Auxiliary Smooth Functions: Instead of tracking the actual eigenfunction (which may not be smooth in $t$), the authors construct a specific family of smooth test functions $f(t)$ that satisfy the normalization constraints and coincide with the eigenfunction at a specific time $t_0$.
• Time Derivative Estimation: They calculate the time derivative of the functional $G(g(t), f(t)) = \int |\nabla f|^p d\mu$ along the flow. By using the evolution equations of the metric ($\partial_t g_{ij} = -2R_{ij}$) and the volume form, they derive an inequality for the rate of change of the eigenvalue.
• Maximum Principle: They utilize the evolution equation of the scalar curvature $R$ (e.g., $\partial_t R = \Delta R + 2|Ric|^2$ for unnormalized flow) combined with Hamilton's maximum principle to establish lower or upper bounds for curvature terms appearing in the derivative estimates.
• Lebesgue's Theorem: Once monotonicity is established, they invoke Lebesgue's theorem on monotone functions to conclude that the eigenvalue is differentiable almost everywhere.

3. Key Contributions and Results

A. Unnormalized Ricci Flow

• Theorem 1.1 (Monotonicity & Differentiability): Under the curvature assumptions:
  1. $Ric - \frac{R}{p}g \geq -\epsilon g$
  2. $R \geq p\epsilon$ (with strict inequality initially)
     The first $p$-eigenvalue $\lambda_{1,p}(t)$ is strictly increasing and differentiable almost everywhere.
  • Improvement: This generalizes previous work by the first author (Wu, 2009) by relaxing the assumption $p \geq 2$ to $p > 1$ and weakening the curvature conditions.
• Monotonic Quantities (Theorems 4.3 & 4.5): The authors construct specific monotonic quantities involving $\lambda_{1,p}(t)$ and scalar curvature bounds without requiring strict positivity of the Ricci tensor everywhere, provided certain inequalities hold (e.g., $Ric - \frac{R}{p}g > 0$).
  • Example (Increasing): $\lambda_{1,p}(t) \cdot (\rho_0^{-1} - 2at)^{1/2a}$ where $\rho_0 = \inf R(0)$.
  • Example (Decreasing): $\lambda_{1,p}(t) \cdot (\sigma_0^{-1} - \frac{2n}{p^2}t)^{p^2/2n}$ under different curvature bounds.

B. Normalized Ricci Flow on Closed Surfaces ($n=2$)

• Differentiability without Curvature Assumptions (Theorem 1.4 & 1.5): For closed 2-surfaces, the authors prove that $\lambda_{1,p}(t)$ is differentiable almost everywhere without any curvature assumptions.
• Construction of Monotonic Quantities: They derive explicit monotonic quantities based on the Euler characteristic $\chi(M^2)$:
  • Case $\chi < 0$: Quantities involving exponential terms of the average scalar curvature $r$.
  • Case $\chi = 0$: Polynomial growth/decay terms.
  • Case $\chi > 0$: Exponential terms.
    These results hold for both $p \geq 2$ and $1 < p < 2$.

C. $p$-Eigenvalue Comparison Theorem

• Theorem 1.7: For a closed surface with $\chi(M^2) < 0$, if the Ricci flow converges to a constant curvature metric $\bar{g}$, then:
  $$\frac{\lambda_{1,p}(\bar{g})}{\lambda_{1,p}(g)} \geq \left( \frac{\kappa_{\bar{g}}}{\kappa_g} \right)^{p/2}$$
  where $\kappa$ denotes the minimum Gauss curvature. This extends a result by J. Ling (for $p=2$) to general $p$.

D. General Evolving Metrics and Yamabe Flow

• Generalization (Section 7): The methodology is extended to general metric evolutions $\partial_t g_{ij} = -2h_{ij}$.
• Yamabe Flow: The results are applied to the (unnormalized and normalized) Yamabe flow.
  • Theorem 7.6: For unnormalized Yamabe flow with $p \geq n$ and non-negative scalar curvature, $\lambda_{1,p}(t)$ is strictly increasing.
  • Theorem 7.8: Monotonic quantities are constructed for the Yamabe flow, generalizing previous $p=2$ results.

4. Significance

1. Overcoming Nonlinearity: The paper provides a robust framework for analyzing eigenvalues of nonlinear operators ($p$-Laplacian) under geometric flows without relying on the differentiability of eigenfunctions, which is a major hurdle in nonlinear spectral geometry.
2. Relaxing Curvature Conditions: The results significantly relax the curvature assumptions required for monotonicity compared to previous literature (e.g., removing the need for non-negative curvature operators in certain cases).
3. Surface Universality: The proof that $\lambda_{1,p}$ is differentiable almost everywhere on closed surfaces without any curvature assumptions is a strong result, leveraging the specific behavior of 2D Ricci flow.
4. New Monotonic Quantities: The construction of various monotonic quantities (both increasing and decreasing) provides new tools for studying the long-time behavior of the Ricci and Yamabe flows and for deriving eigenvalue comparison theorems.
5. Unification: The paper unifies the study of eigenvalues for the $p$-Laplacian across different geometric flows (Ricci and Yamabe) and dimensions, offering a comprehensive view of spectral evolution.

In summary, this work advances the understanding of the spectral geometry of nonlinear operators under geometric flows, establishing differentiability and monotonicity properties that were previously unknown or required much stronger assumptions.