An improved upper bound for the Froude number of irrotational solitary water waves

This paper presents a new strategy to rigorously establish an improved upper bound of $Fr < 1.3451$ for the Froude number of irrotational solitary water waves, marking the first analytical improvement over Starr's classical 1947 result by deriving new inequalities for relative horizontal velocity and applying them to bound the bottom velocity beneath the wave crest.

The Gist

Imagine the ocean as a giant, invisible stage where waves perform. For over 170 years, scientists have been trying to figure out the "speed limit" for a very special kind of wave called a solitary wave.

Think of a solitary wave like a single, perfect surfer's wave that travels across the ocean without changing shape or breaking apart. It's the kind of wave you might see in a tsunami or a massive swell. The big question mathematicians have been asking is: "How fast can this wave go before physics says 'stop'?"

In the world of water waves, speed is measured by something called the Froude number. It's like a speedometer for waves.

The Old Rules of the Road

For a long time, the best answer scientists had was a bit like a rough estimate.

• The "Starr" Limit: In the 1960s, a mathematician named Starr proved that the wave speed couldn't exceed a certain number (about 1.41). It was a solid rule, but it felt a bit loose, like a speed limit sign that said "Do not exceed 100 mph" when the car actually couldn't go faster than 80.
• The Computer Guess: Computer simulations suggested the real limit was much lower, around 1.29. But computers can make mistakes, and mathematicians needed a proof that was 100% rock-solid, not just a guess.

The New Discovery

In this new paper, two researchers, Evgeniy Lokharu and Jörg Weber, decided to tighten that speed limit sign. They didn't just guess; they built a mathematical fortress to prove the wave cannot go as fast as the old limit allowed.

They proved that the speed limit is actually 1.3451.

It might sound like a tiny difference (dropping from 1.41 to 1.34), but in the world of pure math, this is a massive breakthrough. It's the first time in decades that anyone has managed to lower that theoretical ceiling with a rigorous proof.

How Did They Do It? (The "Magic Mirror" Analogy)

To understand their method, imagine the water wave as a 3D landscape. The researchers wanted to measure the "flow" of water inside this wave.

1. The Problem: It's hard to measure the speed of water at every single point inside a moving wave. It's like trying to count every grain of sand on a beach while the tide is coming in.

2. The Trick: They invented a new mathematical tool (a "harmonic function") that acts like a magic mirror. This mirror doesn't show you the water directly; instead, it shows you the shape of the flow.

3. The Slope Clue: They used a previous discovery about how steep the wave's surface can get. Imagine the wave is a hill. If the hill gets too steep, the water would tumble over. The researchers used the maximum steepness of this "hill" to constrain how fast the water could be moving underneath.

4. The "Split and Conquer" Strategy: They broke the wave's height into three zones:

   • The Bottom: Where the water is slow.
   • The Top (The Crest): Where the water is fast.
   • The Middle: The messy part in between.

   They realized that by carefully analyzing the top and bottom zones using their "magic mirror," they could prove that the middle zone couldn't be as wild as the old theories allowed. This forced the overall speed limit down.

The Real-World Takeaway: The "Underwater Speed Limit"

The paper doesn't just give us a number; it tells us something surprising about what happens under the wave.

Imagine you are a submarine sitting on the ocean floor, directly underneath the highest point (the crest) of a massive solitary wave.

• The Old Thought: You might think the water rushing over your sub is moving at nearly the same speed as the wave itself.
• The New Finding: The authors proved that the water at the bottom is actually moving much slower. Even in the most extreme, fastest possible wave, the water at the bottom is moving at less than 47% of the wave's total speed.

In simple terms: If a tsunami is racing toward the shore at 60 mph, the water churning right at the ocean floor beneath the peak of that wave is only moving at about 28 mph. The "action" is happening much higher up in the water column.

Why Does This Matter?

While this sounds like abstract math, it helps us understand the fundamental laws of nature.

• Safety: It helps engineers and scientists model tsunamis and storm surges more accurately.
• Physics: It confirms that the universe has stricter rules than we thought. Just because a computer can simulate a wave going 1.39 doesn't mean nature allows it.
• Future Waves: This new "tighter" limit helps mathematicians solve other puzzles about how waves behave, potentially leading to better predictions for coastal flooding.

The Bottom Line:
Lokharu and Weber took a long-standing, slightly fuzzy speed limit for ocean waves and sharpened it into a precise, unbreakable rule. They proved that solitary waves are slower than we thought, and that the water deep down is calmer than we imagined.

Technical Summary

1. Problem Statement

The paper addresses a fundamental problem in the mathematical theory of water waves: determining the precise parameter regimes in which nontrivial solitary waves exist. Specifically, it focuses on the two-dimensional, irrotational, pure gravity case.

• Key Parameter: The Froude number ($Fr$), a non-dimensional wave speed defined as $Fr = \bar{c} / \sqrt{\bar{g}\bar{d}}$, where $\bar{c}$ is the wave speed, $\bar{g}$ is gravity, and $\bar{d}$ is the undisturbed depth.
• The Gap:
  • It is well-established that solitary waves do not exist for $Fr \leq 1$.
  • The best existing analytical upper bound was derived by Starr (1964) and later refined by others, yielding $Fr < \sqrt{2} \approx 1.4142$.
  • Numerical evidence (e.g., [12]) suggests a much tighter bound, $Fr \leq 1.294$, but this relies on specific bifurcation branches and lacks rigorous proof for all possible solitary waves.
• Objective: The authors aim to provide the first rigorous analytical improvement over Starr's bound ($Fr < \sqrt{2}$) to narrow the gap between analytical theory and numerical observations.

2. Methodology

The authors employ a novel strategy that departs from the integral identities used in previous works (like [16]). Instead, they utilize maximum principle arguments applied to carefully constructed harmonic functions.

Key Mathematical Tools:

1. Non-dimensionalization: The problem is reformulated using stream function $\psi$ and non-dimensional variables where mass flux and gravity are normalized to unity. The governing equations become the Laplace equation $\Delta \psi = 0$ with specific boundary conditions involving the Bernoulli constant $r$.
2. Harmonic Function Construction (Lemma 2):
   • The authors define a specific harmonic function $f$ in the left half of the fluid domain ($x < 0$):
     $$f := (\psi_y^2 - \psi_x^2)\psi_{xy} - 2\psi_x\psi_y\psi_{xx} + \frac{3}{5}\psi_x$$
     (Expressed in velocity terms: $f = -(u^2 - v^2)u_x + 2uu_yv + \frac{3}{5}v$).
   • They prove that $f < 0$ everywhere in this domain.
   • Crucial Dependency: This proof relies delicately on the known bound for the slope of the free surface profile ($|\eta'| < 0.60443$), established in a previous work [1]. The coefficient $3/5$ in the definition of $f$ is chosen specifically to ensure the normal derivative of $f$ at the surface leads to a contradiction if a positive maximum were to exist (via the Hopf Lemma).
3. Derivation of Velocity Inequalities:
   • Using the sign of $f$, they derive a differential inequality for the horizontal velocity $u$ at the crest line ($x=0$).
   • This leads to Corollary 3, which provides a sharp lower bound for the magnitude of the horizontal velocity $-u$ near the crest, specifically relating it to the Bernoulli constant $r$ and the wave height $\hat{\eta}$.
4. Refining the Flow Force Estimate:
   • The classical proof of $Fr < \sqrt{2}$ relies on the Cauchy-Schwarz inequality applied to the flow force constant $S$.
   • The authors split the integral of the squared deviation of velocity from its mean into three regions: near the bottom, near the crest, and the intermediate zone.
   • They discard the intermediate zone (a "loss" in precision) but use their new sharp estimates (from Corollary 3) to bound the "near crest" and "near bottom" regions much more tightly than the standard Cauchy-Schwarz inequality allows.

3. Key Contributions

• New Harmonic Function: The construction of the function $f$ and the proof of its negativity in the fluid domain is a significant theoretical advancement. It provides a new way to constrain the velocity field without relying on global integral identities.
• Improved Velocity Bounds: The paper establishes rigorous, pointwise inequalities for the relative horizontal velocity at the crest, which are strictly tighter than those derived from standard energy arguments.
• Rigorous Improvement of Starr's Bound: By combining the new velocity estimates with the flow force constant analysis, the authors derive a new lower bound for the depth parameter $d$, which translates to a new upper bound for $Fr$.

4. Main Results

• Theorem 1: The Froude number of any irrotational solitary wave is bounded from above by:
  $$Fr < 1.3451$$
  This is the first rigorous improvement over the long-standing bound of $\sqrt{2} \approx 1.4142$.
  • Note: The value $1.3451$ is the root of a complex analytic function derived from the authors' estimates, calculated to 5 significant digits.
• Bottom Velocity Estimate (Section 5):
  • As a byproduct, the authors derive a novel inequality for the velocity at the bottom of the wave ($y=0$) directly below the crest.
  • They prove that the fluid velocity at the bottom does not exceed 46.376% of the wave propagation speed.
  • Mathematically: $\bar{u}(0,0) + \bar{c} < 0.46376 \bar{c}$.

5. Significance

• Bridging Theory and Numerics: The result ($Fr < 1.3451$) moves the rigorous analytical bound significantly closer to the numerical evidence ($Fr \leq 1.294$), validating the physical intuition that solitary waves cannot travel as fast as the classical $\sqrt{2}$ limit suggests.
• Implications for Bifurcation Theory: The paper notes that an improved bound is crucial for understanding the bifurcation diagrams of periodic Stokes waves. Specifically, the hypothetical bound $Fr < 1.399$ was used in [8] to prove the existence of subharmonic bifurcations. The new bound $1.3451$ strengthens the conditions under which these complex wave behaviors can be rigorously analyzed.
• Generality: Unlike numerical studies that often assume waves originate from a specific bifurcation branch from still water, this result applies to any solitary wave solution of the full Euler equations, regardless of its bifurcation history.
• Methodological Innovation: The technique of using a specific harmonic function to bound velocity profiles offers a new tool for the analysis of free-boundary problems in fluid dynamics, potentially applicable to other wave phenomena.

In summary, Lokharu and Weber successfully break a decades-old barrier in water wave theory by introducing a sophisticated maximum principle argument, resulting in a tighter, rigorous upper limit on the speed of solitary waves.