🔢 mathematics

Reversed inequality of the Herbst-type and the related Euler-Lagrange system

This paper establishes a new reversed Herbst-type inequality for nonnegative functions in specific $L^p$ spaces, proves the existence of its extremal functions, and analyzes the necessary conditions, integrability, and asymptotic behavior of the solutions to the associated Euler-Lagrange system.

Original authors: Tiantian Zhou, Yutian Lei

Published 2026-07-08

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Tiantian Zhou, Yutian Lei

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

The Big Picture: Flipping the Script on Math Rules

Imagine you have a set of rules in a game that tell you how much energy two players can have based on how they interact. In mathematics, there are famous rules called inequalities that act like speed limits or weight limits. They say, "No matter how you arrange these numbers, the result will never be larger than this specific amount."

For decades, mathematicians have studied a specific set of rules called the Hardy-Littlewood-Sobolev and Stein-Weiss inequalities. These are like the "standard physics" of how functions (mathematical shapes) interact across space.

In 2008, a mathematician named Beckner found a special version of these rules called the Herbst inequality. It was a very specific, high-stakes scenario.

The Twist:
Usually, these rules set a maximum limit (a ceiling). If you try to push the numbers higher, the rule says, "No, you can't go there."

This paper, written by Zhou and Lei, is about a Reversed Inequality. Instead of a ceiling, they are looking for a floor. They are asking: "Is there a minimum amount of energy that must exist? No matter how you arrange the pieces, the result can never be smaller than this."

The Main Discovery: Finding the "Floor"

The authors successfully proved that for a very specific, tricky set of conditions (involving dimensions of space and specific exponents), this "floor" actually exists.

The Analogy: Imagine you are pouring water into a bucket with a hole in the bottom. Standard rules say, "The water level will never rise above 5 gallons." The authors found a different bucket where, no matter how you pour, the water level will never drop below 2 gallons.
The Catch: This new rule is so unique that it doesn't fit inside the old "Stein-Weiss" rules. It's a new, distinct type of mathematical behavior that hadn't been fully explored before.

The Hunt for the "Perfect Shape" (Extremal Functions)

Once you know there is a floor, the next question is: "What does the arrangement look like when the water level is exactly at that floor?"

In math, these perfect arrangements are called extremal functions. They are the "Goldilocks" solutions—not too big, not too small, but just right to hit the limit.

The Discovery: The authors proved that these perfect shapes do exist.
The Method: They used a technique similar to finding the lowest point in a mountain range. They started with a bunch of random shapes, kept adjusting them to get lower and lower, and proved that they eventually settled on a specific, stable shape that couldn't get any lower.

The "Euler-Lagrange System": The Blueprint of the Perfect Shape

Now that they know the perfect shape exists, they wanted to know what it looks like. To do this, they wrote down a set of equations (the Euler-Lagrange system) that describe the relationship between two interacting shapes, let's call them U and V.

Think of U and V as two dancers.

U moves based on where V is.
V moves based on where U is.
They are pulling on each other through a "gravity" that gets stronger or weaker depending on how far apart they are.

The paper investigates what happens to these dancers:

When they are far apart (infinity): How do they behave as they run off into the distance? The authors found that they fade away at a very specific, predictable rate.
When they are close together (near zero): How do they behave when they hug? They found specific rules for how they act right at the center.
The "Impossible" Zone: They proved that if the "gravity" (the parameters of the equation) is too weak or the dancers are too "heavy" (exponents are wrong), the dancers simply cannot exist. They would either explode to infinity or vanish instantly.

Summary of Key Findings

The Reversed Rule: They proved a new mathematical rule that sets a minimum limit (a floor) for a specific type of interaction, which was previously unknown.
Existence: They proved that there is a "perfect shape" (extremal function) that hits this minimum limit exactly.
The Blueprint: They analyzed the equations that describe this perfect shape, figuring out exactly how it behaves when it is very far away or very close to the center.
The Limits: They identified exactly which conditions make these shapes impossible to exist (like trying to build a house on a foundation that is too weak).

Why This Matters (According to the Paper)

The paper doesn't talk about curing diseases or building bridges directly. Instead, it focuses on the fundamental geometry of space.

These inequalities are the "grammar" of how things interact in the universe of partial differential equations (which describe everything from heat flow to quantum particles). By finding a new "floor" and understanding the shape of the perfect solution, the authors are adding a new, essential piece to the puzzle of how mathematicians understand the structure of space and energy. It's like discovering a new law of physics that explains why certain things must happen, rather than just what can happen.

Technical Summary: Reversed Inequality of the Herbst-type and the Related Euler-Lagrange System

Problem Statement
This paper addresses the critical case of the reversed Stein-Weiss inequality, specifically focusing on a "reversed Herbst-type" inequality. While the classical Hardy-Littlewood-Sobolev (HLS) and Stein-Weiss inequalities provide upper bounds for integral operators with positive exponents, and their reversed counterparts (established by Dou-Zhu and Chen et al.) provide lower bounds for operators with negative exponents, the specific critical form of the Herbst inequality involving weighted kernels with specific exponent constraints had not been fully explored in the reversed setting.

The authors investigate the inequality:
$\left| \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} |x - y|^{\alpha/q' - n} |y|^{\alpha/q'} g(x)h(y) \, dx dy \right| \geq C_{n,\alpha,p,q'} \|g\|_{L^{q'}(\mathbb{R}^n)} \|h\|_{L^p(\mathbb{R}^n)}$
where $n \geq 1$ , $p, q' \in (0, 1)$ , $\alpha > n$ , and the parameters satisfy the Sobolev-type condition $1/p + 1/q' - 2\alpha/(q'n) = 1$ . The authors note that this inequality cannot be covered by the previously established reversed Stein-Weiss inequality because the latter requires specific sign constraints on the weights that are not met here.

Methodology
The paper employs a combination of harmonic analysis techniques, variational methods, and the study of integral systems:

Proof of the Inequality (Theorem 1.1):
- The authors utilize the reversed Young's inequality on locally compact groups (specifically $\mathbb{R}^n$ with a specific Haar measure).
- They employ symmetrization techniques (rearrangement inequalities) to reduce the problem to radially symmetric and decreasing functions.
- For the case $n=1$ , the proof relies on a direct application of the reversed Young's inequality after a change of variables.
- For $n \geq 2$ , the authors use Lemma 2.3 (an integral identity over the sphere) to handle the angular integration, reducing the problem to a one-dimensional convolution inequality which is then solved using the reversed Young's inequality.
Existence of Extremal Functions (Theorem 1.2):
- To prove the existence of a function $h$ that achieves the best constant, the authors adopt the scheme used by Lieb for the classical HLS inequality.
- They construct a minimizing sequence $\{h_j\}$ and use rearrangement to assume radial symmetry and monotonicity.
- Scaling arguments are used to prevent the sequence from vanishing or concentrating at infinity.
- The Helly selection theorem and Fatou's lemma are applied to extract a convergent subsequence and prove that the limit function is indeed a minimizer.
Analysis of the Euler-Lagrange System:
- The extremal functions satisfy a coupled system of integral equations:
  $u(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} v^{-p_2}(y) |y|^\beta \, dy, \quad v(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} u^{-p_1}(y) |x|^\beta \, dy$
  where $\beta = \alpha/q'$ .
- Non-existence Results: The authors use local integrability arguments and contradiction (showing solutions would be infinite) to prove that no positive solutions exist in $L^\infty_{\text{loc}}(\mathbb{R}^n \setminus \{0\})$ when $\beta < n$ .
- Asymptotic Behavior and Integrability: For $\beta > n$ , the authors derive precise asymptotic rates ( $u(x) \sim |x|^{\beta-n}$ , $v(x) \sim |x|^{2\beta-n}$ as $|x| \to \infty$ ) using iterative estimation techniques. They also establish integrability conditions for the reciprocals of the solutions.
- Necessary Conditions: Using a Pohozaev-type identity (derived via integration by parts and differentiation with respect to scaling), they prove that the Sobolev-type condition is a necessary condition for the existence of positive differentiable entire solutions.
Study of the Classical Herbst System (Theorems 1.5–1.7):
- The paper also analyzes the system associated with the standard (non-reversed) Herbst inequality, which involves positive powers in the integrand.
- They establish non-existence results for positive super-solutions when the product of exponents $q_1 q_2 \neq 1$ or when specific inequalities hold.
- They prove the existence of radially symmetric super-solutions and lower solutions when $q_1 q_2 = 1$ and exponents satisfy specific bounds.

Key Contributions and Results

Theorem 1.1 (Reversed Herbst Inequality): Establishes the validity of the reversed Herbst inequality for $p, q' \in (0, 1)$ and $\alpha > n$ , a case not covered by the reversed Stein-Weiss inequality.
Theorem 1.2 (Existence of Extremals): Proves the existence of non-negative extremal functions that achieve the best constant in the reversed Herbst inequality.
Theorem 1.3 (Non-existence for $\beta < n$ ): Shows that the associated Euler-Lagrange system has no positive local bounded solutions if the weight exponent $\beta$ is less than the dimension $n$ .
Theorem 1.4 (Asymptotics and Integrability for $\beta > n$ ): Characterizes the behavior of positive entire solutions when $\beta > n$ , providing sharp asymptotic rates at zero and infinity, and determining the integrability of $u^{-1}$ and $v^{-1}$ . It also confirms the necessity of the Sobolev-type condition for differentiable solutions.
Theorems 1.5–1.7 (Herbst System Analysis): Provides a comprehensive classification of the existence and non-existence of positive super-solutions for the system related to the standard Herbst inequality, identifying $q_1 q_2 = 1$ as a critical threshold.

Significance
The paper claims that these results extend the theory of sharp inequalities and integral systems to a new critical regime involving reversed inequalities with specific weight structures. The authors highlight that while the classical Herbst inequality (1.9) may not admit extremal functions, the reversed version (1.20) does, offering a new perspective on the variational structure of these problems. The analysis of the Euler-Lagrange system provides necessary conditions for the existence of solutions and detailed qualitative properties (symmetry, integrability, asymptotics) that are crucial for understanding the geometric shapes of these extremal functions. The work contributes to the broader understanding of critical exponents in geometric elliptic equations and integral equations, with potential relevance to problems involving Coulomb energy bounds.