🔢 mathematics

On the interplay between $(p,q)$ -growth and $x$ -dependence of the energy integrand: a limit case

This paper establishes the local Lipschitz regularity of minimizers for non-autonomous integral functionals with $(p,q)$ -growth and Sobolev-class $x$ -dependence by presenting a unified approach that covers the critical limit case where the ratio $q/p$ reaches the threshold $1 + 1/n - 1/r$ .

Original authors: M. Eleuteri, P. Marcellini, E. Mascolo, A. Passarelli di Napoli

Published 2026-02-13

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: M. Eleuteri, P. Marcellini, E. Mascolo, A. Passarelli di Napoli

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 a master architect trying to build a skyscraper. The blueprint for this building is a mathematical formula called an Energy Functional. Your goal is to find the most stable, efficient shape for the building (the "minimizer") that uses the least amount of material while standing strong against the wind.

In the world of mathematics, this "building" is a function, and its "shape" is determined by how it changes from point to point (its gradient, or slope).

This paper tackles a very tricky construction site where two specific rules are in play, and they are fighting against each other:

1. The Two Rivals: The "Growth" and the "Location"

The Growth Rule (The $(p, q)$ -Growth):
Imagine the material you are using behaves differently depending on how steep the wall is.

If the wall is slightly tilted, the material is flexible (like rubber).
If the wall gets very steep, the material suddenly becomes incredibly stiff (like steel).
The paper studies a scenario where the material can switch between these two behaviors. The ratio between the "rubber" limit ( $p$ ) and the "steel" limit ( $q$ ) is crucial. If the material gets too stiff too quickly (if $q$ is too big compared to $p$ ), the building might collapse into a jagged, ugly mess.

The Location Rule (The $x$ -Dependence):
Now, imagine the ground you are building on isn't uniform. Some parts of the city are solid rock, while others are shifting sand.

In math terms, the properties of your building material change depending on where you are ( $x$ ).
The paper assumes these changes are somewhat smooth (like a gentle slope of terrain) but not perfect. They belong to a specific class of "rough but manageable" terrain.

The Big Problem: The "Tipping Point"

For years, mathematicians knew that if the "stiffness" ( $q$ ) wasn't too much bigger than the "flexibility" ( $p$ ), the building would be smooth and safe. They had a safety rule that looked like this:
$\frac{q}{p} < 1 + \text{a tiny bit of safety margin}$

However, there was a limit case. What happens if you push the building right up to the very edge of that safety margin?
$\frac{q}{p} = 1 + \text{the limit}$

In the past, if you tried to build exactly at this limit, the math broke down. The building might develop "cracks" (mathematical singularities) where the slope becomes infinite, making the structure unusable. It was like trying to balance a pencil on its tip; everyone knew it was theoretically possible, but no one could prove it wouldn't fall over.

The Paper's Breakthrough: The "Unified Safety Net"

The authors of this paper (Eleuteri, Marcellini, Mascolo, and Passarelli di Napoli) have built a new, stronger safety net.

The Metaphor of the "Slow-Motion Camera":
Think of the "Location Rule" (the changing ground) as a camera recording the building process.

In previous studies, the camera was a bit blurry. It could only see the building clearly if the "stiffness" was well below the limit.
This paper introduces a super-high-definition camera (using a specific type of mathematical smoothness called $W^{1, \log^\alpha L}$ ). This camera is so sharp that it can see the tiny details of the ground even when the building is teetering right on the edge of the limit.

The Discovery:
They proved that if the ground is smooth enough (specifically, if the "roughness" of the ground is controlled by a specific logarithmic scale), then even if you push the "stiffness" ratio ( $q/p$ ) to the absolute maximum limit, the building will still be smooth.

They didn't just prove it for the limit case; they created a unified approach. It's like they found a single master key that opens the door for:

The "safe" zone (where the building is far from the limit).
The "limit" zone (where the building is balanced on the edge).
The "standard" zone (where the material is the same everywhere).

Why Does This Matter?

In the real world, many physical phenomena (like how fluids flow through porous rock, or how electricity moves through non-uniform materials) behave like these "mixed" materials.

Before this paper: Engineers and physicists had to assume their materials were "safe" and far from the danger zone. If they got close to the limit, they had to guess or use approximations that might be wrong.
After this paper: They now have a mathematical guarantee. As long as the environment (the $x$ -dependence) is sufficiently regular, the solution (the physical state of the system) will be perfectly smooth and predictable, even in the most extreme, borderline scenarios.

The "Secret Sauce": The Iteration Ladder

How did they do it? They used a technique called Moser Iteration.
Imagine you are trying to climb a very tall ladder to reach the top of a tower (the maximum smoothness).

Previous methods could only climb rungs that were spaced far apart. If the tower was too tall (the limit case), they would run out of rungs and fall.
This paper invented a ladder with infinitely many, infinitely close rungs. By taking tiny, careful steps up this ladder, they were able to climb all the way to the top, proving that the "slope" of the building never becomes infinite.

Summary in One Sentence

This paper proves that even when a physical system is pushed to its absolute breaking point regarding how fast it can change, it will remain perfectly smooth and stable, provided the environment it sits in is sufficiently well-behaved.

1. Problem Statement

The paper investigates the local Lipschitz regularity ( $W^{1,\infty}_{loc}$ ) of local minimizers for non-autonomous variational integrals of the form:
$\mathcal{F}(u) = \int_{\Omega} F(x, Du) \, dx$
where $\Omega \subset \mathbb{R}^n$ ( $n \geq 2$ ) is a bounded open set. The energy density $F(x, \xi)$ exhibits $(p, q)$ -growth conditions, meaning the growth with respect to the gradient variable $\xi$ is bounded between powers $p$ and $q$ ( $1 < p \leq q$ ).

The core challenge addressed is the interplay between:

The gap in growth exponents ( $q/p$ ).
The regularity of the coefficients with respect to the spatial variable $x$ .

Specifically, the authors focus on the limit case where the ratio $q/p$ approaches the critical threshold determined by the dimension $n$ and the Sobolev regularity $r$ of the $x$ -dependence. Previous results (e.g., in [12]) established regularity under the strict inequality:
$\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$
This paper aims to prove regularity when the equality holds:
$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$
Additionally, it covers the case where $r \to n$ (recovering standard growth results) and unifies these scenarios.

2. Assumptions and Framework

The authors assume the energy density $F(x, \xi)$ is a Carathéodory function, $C^2$ in $\xi$ , and satisfies:

Ellipticity and Growth:
$\lambda (\mu^2 + |\xi|^2)^{\frac{p-2}{2}} |\zeta|^2 \leq \sum F_{\xi_i \xi_j} \zeta_i \zeta_j \leq \Lambda (\mu^2 + |\xi|^2)^{\frac{q-2}{2}} |\zeta|^2$
$x$ -Dependence (Regularity): The derivative $F_{\xi x}$ is controlled by a function $h(x)$ :
$|F_{\xi x}(x, \xi)| \leq h(x) (\mu^2 + |\xi|^2)^{\frac{q-1}{2}}$
Crucially, $h(x)$ belongs to the Orlicz-Zygmund space $L^r \log^\alpha L$ , defined by the integrability condition:
$\int_{B_R} h^r \log^\alpha(e+h) \, dx < +\infty$
where $r \geq n$ and $\alpha \geq 0$ .

3. Methodology

The proof follows a three-step strategy, typical for regularity theory in non-standard growth problems:

A Priori Estimates (The Core Innovation):
The authors derive a second-order Caccioppoli inequality for smooth minimizers. This involves testing the Euler-Lagrange equation with a specific test function involving second derivatives.
- They utilize a Moser-type iteration scheme.
- The novelty lies in handling the critical limit case. When $q/p$ equals the critical bound, standard iteration fails. The authors introduce a refined analysis using Young's inequality and properties of the Fenchel conjugate (polar function) of the logarithmic growth term.
- They distinguish three cases based on the parameters:
  - Case i: $p=q$ (Standard growth) with $r=n, \alpha > 4n$ .
  - Case ii: $p<q$ with strict inequality $q/p < 1 + 1/n - 1/r$ ( $r>n, \alpha=0$ ).
  - Case iii: The limit case $q/p = 1 + 1/n - 1/r$ ( $r>n, \alpha > 0$ ).
Approximation:
Since the original functional may not have smooth minimizers, the authors construct a sequence of regularized functionals $F_k$ (via mollification and truncation) that satisfy the same structural assumptions but possess unique smooth minimizers $u_k$ .
Passage to the Limit:
The a priori estimates derived in Step 1 are applied to the smooth approximations $u_k$ . Using the uniform bounds and the lower semicontinuity of the norm, they show that the sequence converges to the original minimizer $u$ , preserving the Lipschitz regularity.

4. Key Contributions and Results

The paper provides a unified approach that covers both the strict inequality case and the critical limit case. The main theorems establish that $u \in W^{1,\infty}_{loc}(\Omega)$ under the following conditions:

Theorem 1.2 (The Limit Case)

If the equality holds:
$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$
with $r > n$ and $\alpha > 0$ , then the minimizer is locally Lipschitz. The estimate for the gradient is:
$\|Du\|_{L^\infty(B_\rho)} \leq G\left( \frac{C}{(R-\rho)^n} \int_{B_R} (1 + |Du|^p) \, dx \right)$
where the function $G(t)$ exhibits an exponential growth due to the critical nature of the limit:
$G(t) = \exp\left( \frac{r}{2p} \cdot \frac{t^{\frac{2p(r-n)}{\alpha n}}}{1} \right) t^{\frac{r}{n}} + t^{\frac{1}{p}}$
Significance: This result confirms that even at the critical threshold, regularity is preserved provided the $x$ -dependence has sufficient logarithmic integrability ( $\alpha > 0$ ).

Theorem 1.3 (The Case $r \to n$ )

If $r=n$ and $p=q$ (standard growth), but the coefficients have high logarithmic regularity ( $\alpha > 4n$ ), the minimizer is Lipschitz. This recovers and refines previous results for standard growth with low-regularity coefficients.

Theorem 1.4 (The Strict Inequality Case)

If $q/p < 1 + 1/n - 1/r$ with $\alpha = 0$ , the result recovers the known estimates from [12], where $G(t)$ has polynomial growth rather than exponential.

5. Significance and Impact

Resolution of the Limit Case: The paper closes a gap in the regularity theory for $(p, q)$ -growth problems. It demonstrates that the strict inequality in the gap condition is not necessary; the limit case is achievable with slightly stronger assumptions on the $x$ -dependence (specifically, the logarithmic factor $\alpha$ ).
Unified Framework: By treating the strict inequality, the limit case, and the standard growth case ( $p=q$ ) within a single analytical framework, the authors provide a comprehensive understanding of how the regularity of coefficients compensates for the non-uniform growth of the energy.
Technical Advancement: The derivation of the specific function $G(t)$ for the limit case, involving exponential terms, represents a significant technical achievement in handling the Moser iteration at the critical threshold.
Avoidance of Lavrentiev Phenomenon: The results ensure that the minimizers are regular enough to avoid the Lavrentiev phenomenon (where the infimum of the functional differs between smooth and Sobolev classes), a common obstacle in non-autonomous problems.

In summary, this work extends the frontier of regularity theory for variational integrals with non-standard growth, proving that the "limit case" is solvable and providing precise quantitative estimates for the gradient of the minimizers.