🔢 mathematics

Newton's problem of minimal resistance in Lorentz-Minkowski space

This paper extends Newton's problem of minimal resistance to Lorentz-Minkowski space by deriving the associated quasilinear elliptic Euler-Lagrange equation, proving the validity of a maximum principle, and characterizing its separable and radial solutions, which exhibit conical singularities at the origin.

Original authors: Rafael López

Published 2026-05-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Rafael López

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are designing the perfect shape for a spaceship to fly through a thick, sticky fog. Your goal is simple: make the shape that bumps into the fewest fog particles possible, or at least, the shape that gets pushed back the least.

This is the classic "Newton's Problem of Minimal Resistance," a puzzle Isaac Newton solved centuries ago for our normal, everyday world (which mathematicians call Euclidean space). But this paper asks a "What if?" question: What if the universe wasn't normal? What if it followed the strange rules of Einstein's Special Relativity?

The author, Rafael López, takes Newton's puzzle and moves it into a weird, warped universe called Lorentz-Minkowski space. Here is what he found, explained simply.

1. The New Rules of the Game

In our normal world, space is like a flat sheet of paper. In this new "Relativity World," space is warped.

The Fog: Imagine the fog isn't just floating; it's rushing toward you at the speed of light (or close to it).
The Shape: Your spaceship can't just be any shape. Because of the warping of space, the surface of your ship has to be "spacelike." Think of this as a rule that says, "Your ship cannot tilt so steeply that it tries to travel faster than light." If it did, the math breaks.
The Bump: When a fog particle hits your ship, it bounces off. In this warped world, the way we measure the "push" (resistance) is different. Instead of a simple square law, the resistance follows a "hyperbolic cosine-squared" law. It's like the fog pushes back much harder the steeper your ship is tilted.

2. The Big Surprise: The "Perfect" Shape Doesn't Exist

In our normal world, if you want to minimize resistance, you can find a specific, smooth curve (like a rounded nose cone) that is the absolute best.

In this Relativity World, López found something shocking: There is no single "perfect" smooth shape.

If you try to build a shape to minimize resistance, you can always make it "better" by making it steeper and steeper.
As you make the shape steeper, the resistance gets smaller and smaller, but you can never quite reach zero.
It's like trying to find the lowest point in a valley that keeps dropping forever. You can keep going down, but you never hit the bottom. The paper proves that if you try to find the absolute minimum, the answer is "infinity" (or rather, the resistance can be made arbitrarily small, but no single smooth shape holds the title).

3. The "Conical Singularity" (The Sharp Point)

Since a smooth, perfect curve doesn't work, López looked for the next best thing: Radial solutions (shapes that look like a funnel or a cone spinning around a center).

He found a specific shape that works, but it has a weird quirk:

The Sharp Tip: At the very center (the nose of the ship), the surface isn't smooth. It comes to a sharp point, like a cone.
The "Light Cone" Touch: This sharp point is so steep that it almost touches the "light cone" (the boundary of the speed of light). It's as if the nose of the ship is screaming, "I am about to break the speed limit!" but just barely holding back.
The Result: This shape is the best you can do, but it comes with a "conical singularity"—a mathematical way of saying, "It has a sharp, pointy tip where the smoothness breaks down."

4. The "Single Shock" Safety Rule

In physics problems like this, there's a rule called the "Single Shock Condition."

The Rule: A fog particle hits the ship once, bounces off, and never hits the ship again.
The Normal World: In our normal world, you have to be very careful with the shape of your ship. If it's too curved, a particle might bounce off the front, hit the back, and hit the front again, causing extra drag. You have to design the curve perfectly to avoid this.
The Relativity World: López discovered a magical property here. In this warped universe, ANY shape that obeys the "no faster-than-light" rule automatically satisfies the Single Shock Condition.
The Analogy: Imagine throwing a ball at a wall. In our world, if the wall is curved weirdly, the ball might bounce back and hit you. In this Relativity World, the laws of physics are so warped that the ball always bounces away and never comes back, no matter how you shape the wall (as long as it's not too steep). This makes the math much simpler!

5. Separating the Variables (The "Flat" Solution)

The author also asked: "What if the shape is made of simple, straight lines?" (Mathematicians call this "separation of variables").

The Finding: The only shapes that work this way are flat planes (like a flat sheet of paper).
The Takeaway: If you want a shape that is simple and made of straight lines, you can't make a curved nose cone. You just have to use a flat plate. Any attempt to curve it using simple math fails in this universe.

Summary

Rafael López took an old puzzle about air resistance and solved it for a universe governed by Einstein's relativity.

No Perfect Smooth Shape: You can't find a single smooth curve that is the absolute best; the math pushes you toward infinitely steep shapes.
The Best You Can Do: The best solution is a shape with a sharp, pointy tip (a cone) that touches the speed-of-light limit.
Automatic Safety: In this universe, you don't have to worry about particles bouncing around and hitting the ship twice; the geometry of space prevents it naturally.

It's a story about how changing the fundamental rules of space (from flat to warped) completely changes the answer to a classic problem, turning a smooth curve into a sharp cone and making the physics surprisingly simpler in some ways.

Technical Summary: Newton's Problem of Minimal Resistance in Lorentz-Minkowski Space

Problem Statement and Motivation
This paper extends Newton's classical problem of minimal resistance to the Lorentz-Minkowski space $\mathbb{L}^3$ . In the Euclidean setting ( $\mathbb{R}^3$ ), the problem seeks the shape of a solid body moving through a homogeneous fluid that minimizes resistance, assuming particles transfer normal momentum without friction. The extension to $\mathbb{L}^3$ is motivated by the fundamental differences in the metric structure; specifically, the Lorentzian metric $\langle \cdot, \cdot \rangle = dx^2 + dy^2 - dz^2$ allows for spacelike, timelike, and lightlike vectors, unlike the positive-definite Riemannian metric of Euclidean space.

The model assumes a fluid moving with constant velocity along the timelike $z$ -axis ( $\vec{e}_3 = (0,0,1)$ ). The body's boundary surface $S$ is required to be spacelike (induced metric is Riemannian), ensuring the existence of a well-defined timelike normal vector $N$ . The resistance is derived from the momentum transfer of particles colliding with $S$ , governed by a hyperbolic cosine-squared law rather than the Euclidean sine-squared law. The total resistance functional $E[u]$ for a surface defined as the graph $z = u(x,y)$ over a domain $\Omega \subset \mathbb{R}^2$ is given by:
$E[u] = \int_{\Omega} \frac{1}{1 - |Du|^2} \, dxdy$
subject to the spacelike condition $|Du| < 1$. The problem is formulated under the "Single Shock Property" (SSP), ensuring particles do not strike the surface more than once.

Methodology and Mathematical Framework
The author employs variational calculus to derive the Euler-Lagrange equation associated with the functional $E$ . The analysis relies on the properties of quasilinear elliptic equations and the maximum principle, which holds in this context due to the specific structure of the equation in $\mathbb{L}^3$ .

Key methodological steps include:

Derivation of the Euler-Lagrange Equation: The equation is shown to be quasilinear elliptic, contrasting with the mixed elliptic-hyperbolic nature of the Euclidean counterpart.
Separation of Variables: The paper investigates solutions of the form $u(x,y) = f(x) + g(y)$ .
Radial Symmetry: The problem is analyzed for radial solutions $u(r)$ , where the surface is a surface of revolution.
Single Shock Condition (SSC): A geometric condition is defined to ensure the SSP holds, and its validity is tested within the Lorentzian context.

Key Contributions and Results

Euler-Lagrange Equation and Ellipticity: The paper establishes that the Euler-Lagrange equation for the resistance functional in $\mathbb{L}^3$ is:
$(1 - |Du|^2)\Delta u + 4D^2u(Du, Du) = 0$
This equation is proven to be of quasilinear elliptic type. Consequently, a maximum principle holds, implying uniqueness for the Dirichlet problem and specific behaviors for local extrema.
Separation of Variables: A significant result is Theorem 3.3, which proves that the only extremals of the form $u(x,y) = f(x) + g(y)$ are linear functions. Thus, spacelike planes are the only stationary surfaces obtainable via separation of variables.
Maximization vs. Minimization: Unlike the Euclidean case where the goal is typically minimization, the paper notes that in $\mathbb{L}^3$ , the unconstrained problem of maximizing resistance has no solution within the class of $C^1$ piecewise functions, as sequences of surfaces (e.g., approaching the lightlike cone) can yield infinite resistance. However, when restricting the class of functions (e.g., bounding the height $u$ ), the problem of finding maximizers is analyzed.
Radial Solutions and Singularities: The paper provides a complete characterization of radial solutions.
- Existence and Uniqueness: For a disk $B_R$ with boundary conditions $u(R)=M$ and $u(0)=0$ , there exists a unique radial extremal.
- Conical Singularity: Unlike Euclidean radial solutions which cannot reach the rotation axis (except as constants), the Lorentzian radial solution extends to the origin but exhibits a conical singularity. Specifically, $\lim_{r \to 0} u'(r) = 1$ , meaning the surface is tangent to the lightlike cone $K^+_0$ at the origin.
- Strong Minima: The radial solution is proven to be a strong minimum within the class of radial functions satisfying the boundary conditions, verified via the Legendre and Weierstrass conditions.
- Numerical Comparison: The resistance of these radial solutions is computed numerically and compared to spacelike cones. The results show that while the radial solution minimizes resistance among radial functions, its value is slightly lower than that of the corresponding cone for the same boundary conditions.
The Single Shock Condition (SSC): A major theoretical finding is Theorem 6.2, which states that any spacelike function $u$ (satisfying $|Du| < 1$) automatically satisfies the Single Shock Condition in the Lorentzian context. This contrasts sharply with the Euclidean case, where the SSC imposes strict convexity/concavity constraints on the surface. In $\mathbb{L}^3$ , the geometric constraints of the spacelike condition are sufficient to prevent secondary collisions.

Significance and Claims
The paper claims to provide the first rigorous extension of Newton's resistance problem to Lorentz-Minkowski space. Its primary significance lies in highlighting the structural differences between the Euclidean and Lorentzian formulations:

Equation Type: The shift from a mixed-type equation to a strictly elliptic one in $\mathbb{L}^3$ allows for the application of maximum principles.
Singularity Behavior: The existence of radial solutions that reach the axis with a conical singularity (slope 1) is a unique feature of the Lorentzian setting, distinct from the Euclidean case where such solutions are generally restricted to constant functions.
Universality of SSC: The finding that the Single Shock Condition is automatically satisfied for all spacelike surfaces in $\mathbb{L}^3$ simplifies the physical constraints of the model compared to the Euclidean case, where the condition is a non-trivial restriction on the shape.

The author concludes that while global minimizers do not exist without constraints (due to the possibility of infinite resistance), well-posed problems with boundary conditions yield unique radial solutions with specific geometric properties, including a unique conical singularity at the origin.