Fujita-type results for the semilinear heat equations driven by mixed local-nonlocal operators

This paper establishes the Fujita-type critical exponents for semilinear heat equations driven by mixed local-nonlocal operators, demonstrating that the critical threshold is governed solely by the nonlocal component and thereby refining existing results for both forced and unforced cases.

The Gist

Imagine you are watching a pot of soup on a stove. This soup represents a physical quantity (like heat, population, or chemical concentration) spreading out over space and time. The paper you are asking about is a mathematical investigation into how this soup behaves when you add a special, spicy ingredient.

Here is the breakdown of the paper using simple analogies:

1. The Setup: The "Mixed" Stove

Usually, heat spreads in a predictable way (like ripples in a pond). Mathematicians call this the "Local" Laplacian. But in this paper, the authors are studying a hybrid stove.

• The Local Part: Heat spreads to immediate neighbors (like a standard stove).
• The Non-Local Part: Heat can "jump" instantly to far-away places (like a teleporting stove). This is the "Fractional Laplacian."

The authors are mixing these two stoves together. They want to know: Does the soup simmer peacefully forever, or does it eventually boil over and explode?

2. The Critical Ingredient: The "Fujita Exponent"

The "spicy ingredient" in the soup is a mathematical term called $|u|^p$. Think of $p$ as the spiciness level.

• If the soup is mild (low $p$), it might simmer forever.
• If the soup is super spicy (high $p$), the heat generated by the spice itself might become so intense that the pot explodes (mathematicians call this "blow-up").

The big question is: What is the exact tipping point? Is there a specific "spiciness level" where the behavior changes from "safe" to "explosive"? This tipping point is called the Fujita Critical Exponent.

3. The Big Discovery: The "Teleporting" Rule

The most surprising finding in this paper is about which part of the stove controls the explosion.

• The Intuition: You might think that since the stove is a mix of "normal" and "teleporting" heat, the explosion rule would be a complicated average of both.
• The Reality: The authors found that the teleporting part (the non-local part) is the boss.
  • Even if you have a tiny bit of teleporting heat mixed in, the rule for when the soup explodes is determined entirely by the teleporting speed, not the normal spreading speed.
  • It's like having a car with a normal engine and a rocket booster. If you press the gas, the rocket booster dictates how fast you go, regardless of how good the normal engine is.

4. The Two Scenarios: Empty Pot vs. Forced Pot

The authors looked at two different situations:

Scenario A: The Empty Pot (No Forcing Term)

• Situation: You just put the soup on the stove with some initial ingredients ($u_0$).
• The Rule: If the initial soup is "positive" (all ingredients are good) and the spiciness ($p$) is below a certain limit, the soup will eventually explode, no matter how small the pot is. If the spiciness is high enough, it might simmer forever if you start with a very tiny amount of soup.
• The Improvement: Previous studies only looked at "positive" soup (all good ingredients). This paper proves that even if the soup has "bad" ingredients mixed in (negative values), the explosion rule remains the same. The teleporting nature of the stove is so powerful that it overrides the sign of the ingredients.

Scenario B: The Forced Pot (With Forcing Term)

• Situation: Someone is constantly pouring more spicy sauce into the pot from above ($f(x)$).
• The Rule: If you keep pouring in positive sauce, the soup will explode if the spiciness ($p$) is too low. The critical limit here is different from Scenario A.
• The Nuance: The authors found that if the "pouring" is too slow or too weak, the soup might survive. But if the pouring is strong enough, the explosion is inevitable unless the spiciness is very high.

5. Why Does This Matter?

You might ask, "Who cares about exploding soup?"

• Real World: This math applies to animal foraging (how animals search for food over long distances), finance (how stock prices jump), and biology (how diseases spread).
• The Takeaway: In systems where things can "jump" long distances (like a virus jumping cities or a rumor spreading on social media), the rules for stability are dictated by those long jumps, not the local interactions. If you want to prevent a system from "blowing up" (like a financial crash or an epidemic), you have to manage the "long-distance" connections, not just the local ones.

Summary

This paper is a detective story about a hybrid stove. The authors discovered that when you mix normal heat with "teleporting" heat, the teleporting ability completely controls the safety limit. They proved exactly how spicy the "soup" can get before it explodes, and they showed that this rule holds true even if the soup has a mix of good and bad ingredients.

In one sentence: The paper proves that in a world where things can jump long distances, the rules for disaster are written by the jumps, not the steps.

Technical Summary

Here is a detailed technical summary of the paper "Fujita-type results for the semilinear heat equations driven by mixed local-nonlocal operators" by Vishvesh Kumar and Berikbol T. Torebek.

1. Problem Statement

The paper investigates the critical behavior of the semilinear heat equation driven by a mixed local-nonlocal operator $L_{a,b}$:
$$\begin{cases} u_t + L_{a,b}u = |u|^p + f(x) & \text{in } \mathbb{R}^d \times (0, +\infty), \\ u(x, 0) = u_0(x) & \text{in } \mathbb{R}^d, \end{cases}$$
where:

• $p > 1$ is the nonlinearity exponent.
• $u_0(x)$ is the initial data (not necessarily non-negative).
• $f(x)$ is a forcing term (which may be zero or non-zero).
• The operator is defined as $L_{a,b} = -a\Delta + b(-\Delta)^s$, with $a, b \in \mathbb{R}^+$ and $s \in (0, 1)$. Here, $-\Delta$ is the classical Laplacian (local) and $(-\Delta)^s$ is the fractional Laplacian (nonlocal).

The primary objective is to determine the Fujita critical exponents that separate the regimes of global existence versus finite-time blow-up (or instantaneous blow-up) for solutions, considering both sign-changing initial data and the presence of a forcing term.

2. Methodology

The authors employ a combination of functional analysis, semigroup theory, and test function methods:

• Solution Concepts: The paper rigorously defines weak solutions (via integral identities) and mild solutions (via integral equations involving the heat semigroup $e^{-tL_{a,b}}$).
• Local Existence and Uniqueness: Using the Banach Fixed Point Theorem in appropriate Banach spaces (specifically $C([0, T]; C_0(\mathbb{R}^d))$ and $L^r$ spaces), the authors prove the existence and uniqueness of local-in-time mild solutions. They also establish the equivalence between mild and weak solutions.
• Non-existence (Blow-up) Proofs:
  • Test Function Method: To prove non-existence of global solutions, the authors use the "test function method" (often associated with Mitidieri and Pohozaev). They construct specific test functions $\phi(t, x) = \eta(t)\varphi(x)$ with compact support in space and time, scaling with parameters $R$ (spatial radius) and $T$ (time horizon).
  • Inequalities: They utilize $\varepsilon$-Young inequalities to handle the nonlinear term $|u|^p$ and derive integral estimates.
  • Heat Kernel Estimates: Crucial to the analysis are the decay estimates of the heat semigroup generated by $L_{a,b}$. The authors rely on the fact that the decay rate is dominated by the nonlocal component $(-\Delta)^s$, behaving like $t^{-d/2s}$.
• Existence (Global) Proofs:
  • For supercritical exponents ($p > p_{crit}$), the authors use a fixed-point argument in a weighted space $\Theta$ involving norms like $\sup_{t>0} t^\rho \|u(t)\|_{L^q}$.
  • They employ bootstrapping arguments to improve the regularity of the solution from $L^q$ to $C_0(\mathbb{R}^d)$, ensuring global existence for small initial data and forcing terms.

3. Key Contributions and Results

A. The Fujita Critical Exponent (No Forcing Term, $f \equiv 0$)

The paper establishes that the critical exponent is determined solely by the nonlocal component of the operator, regardless of the presence of the local Laplacian ($a > 0$).

• Critical Exponent: $p_F = 1 + \frac{2s}{d}$.
• Non-existence: If $1 < p \le p_F$and the initial data satisfies$\int_{\mathbb{R}^d} u_0(x) dx > 0$(or$\int u_0 = 0$but$u_0 \not\equiv 0$), no global weak solution exists.
• Global Existence: If $p > p_F$, global solutions exist for sufficiently small initial data $u_0$ in $L^{p_c^s}(\mathbb{R}^d)$, where $p_c^s = \frac{d(p-1)}{2s}$.
• Significance: This result improves upon recent works by Biagi et al. (2025) and Del Pezzo et al. (2025) by removing the assumption that $u_0 \ge 0$. The authors prove these results for sign-changing solutions, extending the classical Fujita theory to mixed operators.

B. The Critical Exponent with Forcing Term ($f \not\equiv 0$)

When a forcing term is present, the critical behavior shifts to a different exponent, analogous to the classical case but adapted for the fractional order.

• Critical Exponent: $p_{Crit} = \frac{d}{d-2s}$ (defined for $d > 2s$).
• Non-existence:
  • If $1 < p < p_{Crit}$and$\int_{\mathbb{R}^d} f(x) dx > 0$, no global weak solution exists.
  • If $p = p_{Crit}$ and $\int f > 0$ with a specific growth condition on $f$ at infinity ($\limsup R^{-\sigma} \int_{|x|<R} f > 0$), no global solution exists.
• Global Existence: If $p > p_{Crit}$, global solutions exist for small $u_0$ and $f$ in appropriate Lebesgue spaces.
• Instantaneous Blow-up: Theorem 1.6 shows that if $f$ grows sufficiently fast at infinity (specifically $\limsup R^{-\sigma} \int_{|x|<R} f > 0$ with $\sigma > d$), instantaneous blow-up occurs (no local-in-time solution exists).
• Significance: These results refine the work of Wang et al. (2020) and complement Majdoub (2023), particularly by addressing sign-changing solutions and providing precise conditions for the forcing term.

C. Technical Novelty

• Mixed Operator Analysis: The paper demonstrates that for the mixed operator $L_{a,b}$, the long-time behavior and critical exponents are governed by the fractional part $(-\Delta)^s$, not the local part $-\Delta$.
• Sign-Changing Solutions: A major contribution is the extension of Fujita-type results to initial data that changes sign, a case often left open or restricted to positive solutions in previous literature.

4. Significance and Impact

• Unification of Local and Nonlocal Theory: The paper bridges the gap between classical heat equations ($s=1$) and purely fractional equations ($a=0$), showing that the mixed operator inherits the critical scaling of the fractional component.
• Resolution of Open Problems: By removing the positivity constraint on $u_0$, the authors resolve technical limitations in recent literature, providing a more robust theory for physical models where initial data may not be strictly positive (e.g., in certain biological or probabilistic contexts).
• Methodological Advancement: The successful application of the test function method to mixed operators with sign-changing data demonstrates the flexibility of these techniques in modern PDE analysis.
• Applications: The results are relevant to fields modeling phenomena with both short-range (diffusion) and long-range (Lévy flight) interactions, such as animal foraging strategies and anomalous diffusion in complex media.

In summary, this paper provides a comprehensive analysis of the semilinear heat equation with mixed operators, establishing sharp critical exponents for global existence and blow-up, and significantly extending the scope of Fujita-type theory to include sign-changing solutions and forcing terms.