🔢 mathematics

Fujita-type blow-up for inhomogeneous semilinear heat equations with regularly varying forcing

This paper establishes a unified framework for Fujita-type blow-up in inhomogeneous semilinear heat equations by replacing classical integrability assumptions with quantitative regular variation properties of the forcing term's spatial mass, thereby identifying sharp critical exponents and extending blow-up criteria to anisotropic, fractional, and sign-changing scenarios.

Original authors: Vishvesh Kumar, Mohamed Majdoub

Published 2026-07-01

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Vishvesh Kumar, Mohamed Majdoub

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

The Big Picture: A Tug-of-War Between Heat and Fuel

Imagine a pot of soup (the heat equation) sitting on a stove.

The Soup ( $u$ ): This represents the temperature or concentration of something spreading out over time.
The Spreading ( $\Delta u$ ): Heat naturally wants to spread out and cool down, like a drop of ink diffusing in water.
The Fuel ( $|u|^p$ ): This is the soup's own ability to generate more heat. If the soup gets hot enough, it creates more heat, which creates even more heat. This is a runaway reaction.
The External Fire ( $w(x)$ ): This is a special burner underneath the pot that adds extra heat from the outside.

The Question: Will the soup eventually boil over and explode (blow up) in a finite time, or will it settle down and exist forever?

In the classic version of this problem, scientists knew that if the external fire ( $w$ ) was weak or finite, the soup would only explode if the "runaway reaction" ( $p$ ) was strong enough. This threshold is called the Fujita exponent.

The New Discovery: Measuring the "Mass" of the Fire

This paper asks: What if the external fire ( $w$ ) is weird?
Maybe the fire is infinite, maybe it's concentrated in specific rings, or maybe it changes strength depending on the direction you look. The old rules (which assumed the fire was "nice" and finite) didn't work for these weird fires.

The authors created a unified framework to handle these messy fires. Instead of asking "Is the total fire finite?", they ask: "How does the total amount of fire grow as we look at bigger and bigger pots?"

They call this the Spatial Mass ( $F(R)$ ). Imagine drawing a circle of radius $R$ around the pot and counting how much fire is inside.

The Old Way: "Is the total fire inside the whole universe finite?" (Yes/No).
The New Way: "As we make the circle bigger and bigger, how fast does the amount of fire inside grow?"

The Core Concept: Regular Variation (The "Growth Pattern")

The authors use a mathematical tool called Regular Variation. Think of this as a way to describe the shape of the fire's growth.

Imagine the fire grows like a tree.

Linear Growth: The tree adds one branch every year.
Exponential Growth: The tree doubles its branches every year.
Regular Variation: The tree grows at a steady, predictable power (like $R^2$ or $R^{0.5}$ ), perhaps with a little bit of wobble (like a slow-changing wind).

The paper proves that if the fire's growth pattern (its "mass") follows a specific power law, we can predict exactly when the soup will explode.

The Main Results (Simplified)

1. The New "Explosion Threshold"

The authors found a new formula for the critical point (the Fujita exponent) that depends on how fast the fire grows.

If the fire grows slowly (or is finite), the soup explodes if the reaction is strong (classic result).
If the fire grows fast (infinite mass), the soup explodes even if the reaction is weaker than before.
The Analogy: If you have a fire that gets bigger and bigger the further you look, you don't need a very strong internal reaction to make the pot boil over. The external fire does most of the work.

2. The "Oscillating Fire" Trap

The paper shows that you can't just look at the "average" size of the fire.

The Metaphor: Imagine a fire that is huge on Tuesdays but tiny on Wednesdays. If you only look at the "best" days (the maximum), you might think the fire is huge. But if you look at the "worst" days (the minimum), the fire might be almost nothing.
The Finding: The authors proved that if the fire is "spiky" (huge sometimes, tiny others), the old "average" rules fail. You must look at the minimum growth over time to be safe. If the fire ever dips too low, the soup might survive.

3. The "Directional" Fire (Anisotropy)

What if the fire is strong in one direction (like a long strip) but weak in another?

The Metaphor: Imagine a fire that is a long, thin line stretching North-South, but very narrow East-West.
The Finding: The old rules (which assumed the fire was a perfect circle) were too conservative. By using a new "operator" tool that stretches the measuring tape to fit the shape of the fire, the authors found that the soup is more likely to explode than the old rules predicted. The shape of the fire matters!

4. The "Sign-Changing" Fire

What if the fire sometimes adds heat and sometimes removes it (like a heater and an AC unit mixed together)?

The Metaphor: Imagine a heater that blasts hot air, but occasionally blasts cold air.
The Finding: As long as the "hot" parts are stronger than the "cold" parts in the long run (measured by a special mathematical transform called the Gaussian-Laplace transform), the soup will still explode. The "net" heat is what counts.

Why This Matters (In Simple Terms)

Before this paper, scientists had different rules for different types of fires:

"If the fire is finite, use Rule A."
"If the fire is infinite, use Rule B."
"If the fire is a line, use Rule C."

This paper provides a single, universal ruler. It says: "Don't worry about the shape or the finiteness. Just measure how the total amount of fire grows as you zoom out. If you know that growth pattern, you can predict exactly when the explosion happens."

They also proved that their new ruler is the sharpest possible tool; if you try to use a weaker measurement (like just looking at the maximum fire size), you might miss the explosion entirely.

Summary of the "Takeaway"

The paper replaces the simple question "Is the fire finite?" with a more sophisticated question: "How does the fire grow as we look further away?" By answering this using the mathematics of "Regular Variation," they created a single, powerful rule that predicts explosions for almost any kind of external heat source, whether it's finite, infinite, spiky, or directional.

Technical Summary: Fujita-Type Blow-Up for Inhomogeneous Semilinear Heat Equations with Regularly Varying Forcing

Problem Statement
The paper investigates the nonexistence of global nonnegative weak solutions to the inhomogeneous semilinear heat equation:
$\partial_t u - \Delta u = |u|^p + w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$
with initial data $u(0, \cdot) = u_0$ . The focus is on the "blow-up" phenomenon, defined here as the nonexistence of global-in-time weak solutions. While the classical Fujita theory ( $w \equiv 0$ ) establishes a critical exponent $p_F = 1 + 2/N$ , and the forced case with integrable forcing ( $w \in L^1$ ) was addressed by Bandle, Levine, and Zhang, these frameworks fail when the forcing term $w$ is non-integrable, anisotropic, or grows at infinity. The authors aim to replace the classical integrability assumption with a quantitative condition on the spatial mass of the forcing term.

Methodology
The core technical engine is the Mitidieri–Pohozaev test-function method, combined with regular variation theory (Karamata theory).

Test-Function Construction: The authors employ a specific family of test functions $\psi_T(t, x) = f(t/T)^{p'} g(|x|^2/T)^{2p'}$ (and anisotropic variants) to derive integral inequalities. By applying Young's inequality and absorbing terms, they establish an upper bound on the integral of the forcing term against the test function, scaling as $T^{1 + N/2 - p'}$ .
Regular Variation Framework: Instead of assuming $w \in L^1$ , the authors analyze the spatial mass function $F(R) = \int_{|x| \le R} w(x) \, dx$ . They replace qualitative lower bounds with the assumption that $F$ belongs to the class of regularly varying functions ( $RV_\gamma$ ), meaning $F(R) = R^\gamma L(R)$ where $L$ is slowly varying.
Contradiction Mechanism: The proof proceeds by contradiction. If a global solution exists, the lower bound derived from the mass condition (scaling as $T^{\gamma/2} L(\sqrt{T})$ ) must be compatible with the upper bound. The authors show that for subcritical $p$ , the exponents of $T$ lead to a contradiction as $T \to \infty$ . At the critical exponent, the slowly varying factor $L(R)$ determines the outcome; if $L(R) \to \infty$ , a contradiction arises, whereas if $L(R)$ is bounded or decaying, the method is "silent."

Key Contributions and Results

1. Master Blow-Up Theorem (Theorem 3.4)
The paper establishes a unified blow-up criterion based on the index $\gamma$ of the regularly varying mass $F(R)$ .

Subcritical Range: If $F(R)$ satisfies a quantitative lower bound (either $\liminf R^{-\gamma}F(R) > 0$ or $F \in RV_\gamma$ ), no global solution exists for $1 < p < p_F(\gamma)$ , where:
$p_F(\gamma) = \begin{cases} \frac{N-\gamma}{N-\gamma-2} & \text{if } \gamma < N-2, \\ \infty & \text{if } \gamma \ge N-2. \end{cases}$
Critical Case: If $F \in RV_\gamma$ with a slowly varying factor $L(R) \to \infty$ , blow-up occurs even at the critical exponent $p = p_F(\gamma)$ .
Generality: This framework recovers the classical $L^1$ result ( $\gamma=0$ ) and extends it to forcings with infinite mass (e.g., $w(x) \sim |x|^{-(N-\gamma)}$ ).

2. Sharpness of Hypotheses (Proposition 4.1)
The authors demonstrate that the $\liminf$ condition in the mass growth assumption cannot be replaced by $\limsup$ . They construct a forcing term with mass concentrated on annuli separated by super-exponential scales such that $\limsup R^{-\gamma}F(R) > 0$ but $\liminf R^{-\gamma}F(R) = 0$ . For such forcings, the regular variation condition fails, and the blow-up result does not hold in the full subcritical range, highlighting the necessity of the regular variation structure.

3. Operator-Regular Variation and Anisotropy (Theorem 7.1)
To handle forcings with different scaling rates in different directions, the paper introduces operator-regular variation using a symmetric positive definite exponent matrix $E$ .

The critical exponent is generalized to $p_F^E = \frac{q}{q - 2\lambda_{\min}}$ , where $q = |E| - \gamma_E$ and $\lambda_{\min}$ is the smallest eigenvalue of $E$ .
The authors provide an example (Example 7.5) where the anisotropic criterion is strictly stronger than any isotropic statement, proving that the geometry of the forcing can significantly alter the blow-up threshold.

4. Sign-Changing Forcings and Tauberian Criteria (Theorem 6.7)
The framework is extended to forcings $w$ that change sign.

Net Mass Criterion: Blow-up depends on the net mass $F(R) = \int_{|x|\le R} w$ .
Gaussian-Laplace Transform: A Tauberian theorem allows the verification of the regular variation of $F(R)$ via the asymptotic behavior of the Gaussian-Laplace transform $\Lambda_w(s) = \int e^{-s|x|^2}w(x)dx$ as $s \to 0^+$ . If the negative part of $w$ is of strictly smaller order, the blow-up criteria apply to the net mass.

5. Extensions to Nonlocal and Fractional Settings (Section 8)
The methodology is adapted to:

Riesz-potential forcings: Where the source is a convolution $I_\sigma g$ .
Fractional Laplacian: $\partial_t u + (-\Delta)^s u = |u|^p + w$ .
Cumulative-Forcing Functional ( $\Phi$ ): A unified formalism (Theorem 8.7) is introduced where the blow-up dichotomy is determined by comparing the regular variation index $\alpha$ of the cumulative forcing functional $\Phi(T)$ against a test-function exponent $\beta(p)$ .

Significance and Claims
The paper claims to provide a unified framework that transcends the classical integrability assumptions of the Bandle–Levine–Zhang theory. By leveraging regular variation, the authors:

Identify a continuous family of critical exponents $p_F(\gamma)$ dependent on the growth rate of the forcing mass.
Establish sharpness results, showing that qualitative growth conditions (like $\limsup$ ) are insufficient without the structural control of regular variation.
Extend the theory to anisotropic and nonlocal settings, offering a description of blow-up thresholds that accounts for directional scaling and fractional diffusion.
Clarify the role of the slowly varying factor, showing that amplification ( $L(R) \to \infty$ ) is sufficient to force blow-up at the critical exponent, a result not accessible via the classical $\liminf$ hypothesis alone.

The authors note that while the test-function method provides sufficient conditions for nonexistence, the optimality of the derived exponents (specifically regarding the existence of global solutions for small data in the supercritical range) remains an open question in the context of these generalized forcings.