On the simplicity of the sloshing eigenvalues

This paper proves that for sloshing problems defined by the Laplace equation with mixed boundary conditions on a smooth bounded domain, all eigenvalues become simple under small perturbations of the domain.

The Gist

Here is an explanation of the paper "On the Simplicity of the Sloshing Eigenvalues," translated into everyday language with creative analogies.

The Big Picture: The "Sloshing" Problem

Imagine you have a swimming pool (or a bathtub, or a wine glass) filled with water. If you give the water a gentle nudge, it starts to slosh back and forth. It doesn't just slosh at any random speed; it has specific, natural "rhythms" or frequencies at which it likes to wobble.

In physics and math, these rhythms are called eigenvalues.

• The Water: Represents the fluid inside a container.
• The Container: Is the shape of the domain ($\Omega$).
• The Walls: Some parts of the wall are solid and rigid (Neumann condition), while the top surface is open to the air (Steklov condition).

The big question mathematicians have been asking is: Are these rhythms unique?

In the world of math, "unique" is called simple.

• Simple Eigenvalue: The water sloshes at one specific frequency. There is only one way to do it.
• Multiple Eigenvalue: The water can slosh at the same frequency in two or more completely different ways at the exact same time. It's like having two different songs playing at the exact same pitch and volume simultaneously.

The Problem: "Accidental" Harmony

For a long time, mathematicians suspected that for most shapes, every sloshing rhythm is unique (simple). However, they worried that if you picked a very specific, weird shape (like a perfect square or a perfect circle), you might accidentally get two different ways to slosh at the same frequency. This is called a "multiple eigenvalue."

Think of it like a piano. If you press a key, you hear one note. But imagine a broken piano where pressing one key somehow makes two different strings vibrate at the exact same pitch. That's a "multiple eigenvalue." It's rare, but it can happen if the piano is built with perfect symmetry.

The Discovery: "Tweak the Shape, Break the Tie"

The authors of this paper (Ghimenti, Michieletti, and Pistoia) proved a very powerful idea: You can almost always fix this "broken piano" just by slightly changing the shape of the container.

They showed that if you have a container where two sloshing rhythms are accidentally the same (a tie), you can wiggle the walls of the container just a tiny, tiny bit. This tiny wobble is enough to break the tie. Suddenly, one rhythm becomes slightly faster, and the other becomes slightly slower. They are no longer the same.

The Analogy:
Imagine a seesaw with two identical weights perfectly balanced in the middle. It's a tie.

• The "Tie": The two weights are equal (Multiple Eigenvalue).
• The "Tweak": The authors proved that if you move either the left side of the seesaw or the right side just a millimeter, the balance breaks. One side goes down, the other goes up. The tie is gone.

The Two Main Rules They Proved

The paper looks at two types of containers:

1. The "Insulated" Tank: The walls are perfectly insulated (heat can't escape, or water can't flow through).
2. The "Frozen" Tank: The walls are kept at a constant zero temperature (or the water is pinned down).

The Result:
For both types of tanks, the authors proved that almost every shape has unique sloshing rhythms.

• If you pick a random shape, it's likely the rhythms are already unique.
• If you pick a weird shape where they aren't unique, you don't need to rebuild the whole tank. You just need to apply a "tiny perturbation" (a microscopic nudge) to the walls.
• Crucially: You can choose to nudge only the walls, or only the surface, and it still works. You don't have to mess with the whole thing.

How Did They Do It? (The "Math Magic")

The authors used a technique called Transversality. Here is a metaphor for how it works:

Imagine you are trying to walk through a forest where the trees are arranged in a perfect grid. If you walk in a straight line, you might hit a tree exactly in the center (a "multiple eigenvalue"). This is a "special" path.

The authors proved that if you wiggle your path just a tiny bit (change the shape of the domain), you will almost certainly miss the center of the tree. You will hit the tree slightly to the left or right. In math terms, hitting the "center" is a coincidence that disappears the moment you move slightly.

They used a sophisticated tool (Micheletti's approach) to calculate exactly how the "vibrations" change when the walls move. They showed that the math forces the vibrations to separate. If they didn't separate, it would lead to a logical contradiction (like saying a number is both zero and not zero).

Why Does This Matter?

1. Predictability: In engineering (building ships, dams, or fuel tanks), knowing that the sloshing frequencies are unique is crucial. If frequencies overlap, it can cause dangerous vibrations. This paper assures engineers that if they build a tank with a slightly imperfect shape (which is true for almost everything in the real world), they won't get those dangerous "double-frequency" surprises.
2. Generic Truth: It proves that "simplicity" is the rule, not the exception. The complex, messy shapes we see in nature are actually the "normal" state where everything is unique. Perfect symmetry is the rare anomaly that causes the confusion.

Summary in One Sentence

If a container's water sloshes in two different ways at the exact same speed, you can always fix it by slightly wiggling the shape of the container, proving that unique rhythms are the natural state of the universe.

Technical Summary

Here is a detailed technical summary of the paper "On the Simplicity of the Sloshing Eigenvalues" by Marco Ghimenti, Anna Maria Michéletti, and Angela Pistoia.

1. Problem Statement

The paper investigates the sloshing problem, a classic topic in fluid mechanics describing the small oscillations of the free surface of an ideal fluid under gravity. Mathematically, this is modeled as a mixed boundary value problem for the Laplace equation $-\Delta u = 0$ in a bounded domain $\Omega \subset \mathbb{R}^n$ ($n > 2$).

The boundary $\partial \Omega$ is decomposed into two disjoint parts:

• $S$: The free surface (where the Steklov condition applies).
• $W$: The rigid walls.

The authors analyze two specific mixed Steklov problems:

1. Steklov-Neumann Problem (Classic Sloshing):
   $$\begin{cases} -\Delta u = 0 & \text{in } \Omega \\ \partial_\nu u = \lambda u & \text{on } S \\ \partial_\nu u = 0 & \text{on } W \end{cases}$$
   Here, $\lambda$ relates to the sloshing frequency $\omega$ via $\lambda = \omega^2/g$.

2. Steklov-Dirichlet Problem:
   $$\begin{cases} -\Delta u = 0 & \text{in } \Omega \\ \partial_\nu u = \lambda u & \text{on } S \\ u = 0 & \text{on } W \end{cases}$$

The Core Question: While it is known that the first eigenvalue is simple, it has been conjectured (and proven for specific 2D cases) that all eigenvalues are simple (i.e., have multiplicity 1). The paper addresses whether this simplicity holds generically for arbitrary smooth domains under small perturbations.

2. Methodology

The authors employ a variational approach combined with domain perturbation theory and transversality arguments.

A. Variational Formulation

The problem is reformulated as an eigenvalue problem for a compact, self-adjoint operator.

• For the Steklov-Dirichlet case, the space is $H(\Omega) = \{u \in H^1(\Omega) : u|_W = 0\}$.
• For the Steklov-Neumann case, the space is $H^1(\Omega)$.
• The eigenvalue problem is transformed into finding eigenvalues $\mu = 1/\lambda$ (or related shifts) for an operator $E_\Omega$ (or $T_\psi$ in perturbed domains) defined via the Riesz representation theorem on the respective Hilbert spaces.

B. Domain Perturbation

The authors introduce a Banach space of perturbations $D = \{ \psi \in C^2(\mathbb{R}^n, \mathbb{R}^n) \}$.

• A perturbed domain is defined as $\Omega_\psi = (I + \psi)(\Omega)$.
• Functions on $\Omega_\psi$ are pulled back to the fixed domain $\Omega$ using the diffeomorphism $\gamma_\psi = (I+\psi)^{-1}$.
• This allows the definition of a family of operators $T_\psi$ acting on the fixed space $H(\Omega)$.

C. The "No-Splitting" Condition (Abstract Tool)

The proof relies on Theorem 6 (an abstract result by Micheletti). It states that if an eigenvalue $\bar{\lambda}$ of multiplicity $m > 1$ maintains its multiplicity under all small perturbations, then the derivative of the operator must satisfy a specific "no-splitting" condition:
$$\langle T'(0)[\psi]x_i, x_j \rangle = \rho(\psi) \delta_{ij}$$
where $\{x_1, \dots, x_m\}$ is an orthonormal basis of the eigenspace.

To prove simplicity, the authors show that this condition cannot hold for any non-trivial perturbation. They compute the Fréchet derivative of the operator with respect to the domain deformation $\psi$ and demonstrate that the resulting integral conditions lead to a contradiction (implying the eigenfunctions must vanish identically).

3. Key Contributions and Results

Main Theorems

• Theorem 1 (Steklov-Dirichlet): For any $\epsilon > 0$, there exists a perturbation $\psi$ with $\|\psi\| < \epsilon$ that leaves either $S$ or $W$ fixed, such that all eigenvalues of the perturbed problem are simple.
• Theorem 2 (Steklov-Neumann): Similarly, for any $\epsilon > 0$, there exists a perturbation $\psi$ leaving $W$ fixed such that all eigenvalues are simple.
  • Special Case: If $\Omega \subset \mathbb{R}^2$, it is also possible to find a perturbation leaving $S$ fixed that yields simple eigenvalues.
  • Higher Dimensions: In $\mathbb{R}^n$ ($n \geq 3$), if $S$ is fixed, eigenvalues can be reduced to multiplicity at most $n-1$.

Technical Breakthroughs

1. Derivative Computation: The authors explicitly compute the derivatives of the bilinear forms and boundary integrals with respect to the domain deformation $\psi$. This involves careful handling of the Jacobian of the boundary change of variables ($B_\psi$) and integration by parts on the boundary components $S$ and $W$.
2. Contradiction via Unique Continuation:
   • Case 1 (Perturbation on $W$): By choosing $\psi$ supported on $W$, they derive conditions implying $\partial_\nu e_i \partial_\nu e_j = 0$ for $i \neq j$. Combined with the boundary condition $e_i=0$ on $W$, this forces the eigenfunctions to vanish via the Unique Continuation Principle.
   • Case 2 (Perturbation on $S$): By choosing $\psi$ supported on $S$, they derive conditions on the tangential derivatives and the values of the eigenfunctions on $S$. This leads to $e_i = 0$ and $\partial_\nu e_i = 0$ on $S$, again forcing triviality.
3. Iterative Splitting: The proof does not split all eigenvalues at once. It uses an iterative procedure (Proposition 13 and Corollary 14) to split a multiple eigenvalue into distinct ones, repeating this countably many times with decreasing perturbation sizes to ensure convergence to a domain where all eigenvalues are simple.

Remark on Genericity

The results imply that the set of domains for which the sloshing eigenvalues are simple is generic (dense and open in the topology of $C^2$ perturbations). This resolves the conjecture for the general case, showing that while specific symmetric domains might have multiple eigenvalues, almost all domains do not.

4. Significance

• Resolution of a Conjecture: The paper confirms that the conjecture of eigenvalue simplicity for sloshing problems holds generically, extending previous results that were limited to specific 2D geometries or large eigenvalues.
• Methodological Advancement: The paper provides a robust framework for analyzing the simplicity of eigenvalues in mixed boundary value problems. The explicit computation of shape derivatives for mixed Steklov problems is a significant technical contribution.
• Physical Implications: In fluid mechanics, simple eigenvalues imply that the natural frequencies of the fluid are distinct, preventing resonance phenomena where multiple modes oscillate at the same frequency. This has implications for the stability analysis of liquid storage tanks and ship design.
• Extension to Other Problems: The techniques (Micheletti's approach adapted to mixed boundaries) are applicable to other elliptic problems with mixed boundary conditions, such as heat distribution models with insulated and fixed-temperature boundaries.

5. Conclusion

Ghimenti, Michéletti, and Pistoia successfully demonstrate that for both Steklov-Neumann and Steklov-Dirichlet sloshing problems, all eigenvalues are generically simple. By constructing specific small perturbations that leave one boundary component fixed, they prove that any domain with multiple eigenvalues can be slightly deformed to eliminate the multiplicity. This establishes the generic simplicity of sloshing frequencies in smooth bounded domains.