---
title: Semilinear Fractional Diffusion-Wave Models
url: https://www.emergentmind.com/topics/semilinear-fractional-diffusion-wave-equation
type: topic
---

# Semilinear Fractional Diffusion-Wave Models

Searching arXiv for recent and foundational papers on semilinear fractional diffusion–wave equations and closely related inverse/numerical theory.
A semilinear fractional diffusion-wave equation is an evolution equation in which the classical first or second time derivative is replaced by a Caputo derivative of order \(1<\alpha<2\), and the linear spatial part is combined with a nonlinear reaction term. In its prototypical bounded-domain form, it reads
\[
\partial_t^\alpha u(t,x)+\mathcal A u(t,x)=f_b(u(t,x)),
\]
or, in Laplacian form,
\[
\partial_t^\alpha u(t,x)=\Delta u(t,x)+f(u(t,x)),
\]
supplemented with Dirichlet boundary conditions and the two initial conditions \(u(0,x)=u_0(x)\), \(u_t(0,x)=u_1(x)\). The regime \(1<\alpha<2\) interpolates between diffusion at \(\alpha=1\) and the classical wave equation at \(\alpha=2\), and the resulting dynamics combine memory effects with weaker smoothing than in the parabolic case [1510.03478] [2509.05654].

## 1. Canonical formulations and scope

The standard semilinear fractional diffusion-wave problem on a bounded domain \(\Omega\subset\mathbb R^d\) is posed as
\[
\partial_t^\alpha u(t,x)+\mathcal A u(t,x)=f_b(u(t,x)),\qquad (t,x)\in (0,T)\times\Omega,
\]
with homogeneous Dirichlet boundary condition on \((0,T)\times\partial\Omega\), and
\[
u(0,x)=u_0(x),\qquad \partial_tu(0,x)=u_1(x),
\]
where \(1<\alpha<2\), \(\partial_t^\alpha\) is the Caputo derivative, and \(\mathcal A\) is either the Dirichlet realization of a second-order elliptic operator or the Dirichlet Laplacian [1510.03478] [2602.06461]. A widely used structural assumption is that the nonlinearity is \(\mathcal C^1\), vanishes at zero, and has polynomial-type derivative growth,
\[
|f_b'(u)|\le C|u|^{b-1},\qquad b>1,
\]
so that \(f_b(u)=|u|^{b-1}u\) is the model example [1510.03478].

A parallel \(L^q\)-based formulation replaces \(f_b\) by a locally Lipschitz power-type nonlinearity \(f\) satisfying
\[
|f(r)-f(s)|\le C\big(|r|^{\rho-1}+|s|^{\rho-1}\big)|r-s|,\qquad \rho>1,
\]
and studies mild solutions with initial data \(u_0,u_1\in L^q(\Omega)\) by means of fractional power scales associated with the Dirichlet Laplacian [2509.05654] [2602.06461].

A closely related but distinct class consists of semilinear fractional diffusion equations with a *spatial* fractional Laplacian and classical first-order time derivative,
\[
\partial_t u+(-\Delta)^s u+a(x,t,u)=0,\qquad 0<s<1.
\]
This is a fractional diffusion equation, not a diffusion-wave equation in the time-fractional sense; however, it is explicitly presented as a prototype for more general fractional diffusion-wave models with \(0<\alpha\le 2\) [2104.00132].

| Formulation | Structural feature | Source |
|---|---|---|
| \(\partial_t^\alpha u+\mathcal Au=f_b(u)\) | \(1<\alpha<2\), elliptic \(\mathcal A\), Dirichlet data | [1510.03478] |
| \(\partial_t^\alpha u=\Delta u+f(u)\) | \(L^q\)-based mild theory, power-type \(f\) | [2509.05654], [2602.06461] |
| \(\partial_t u+(-\Delta)^s u+a(x,t,u)=0\) | space-fractional diffusion, not time-fractional diffusion-wave | [2104.00132] |

This terminological boundary matters. In the current literature, “fractional diffusion-wave” refers primarily to the order of the *time* derivative, whereas “fractional diffusion” may instead refer to a nonlocal *spatial* operator.

## 2. Linear operator families, spectral structure, and mild solutions

The linear backbone of the theory is the fractional evolution problem
\[
\partial_t^\alpha u + A u = f,\qquad 1<\alpha<2,
\]
with \(A\) the positive selfadjoint Dirichlet realization of an elliptic operator. Spectral decomposition with respect to the eigenpairs \((\lambda_k,\varphi_k)\) of \(A\) reduces the problem to scalar fractional ODEs
\[
\partial_t^\alpha u_k(t)+\lambda_k u_k(t)=f_k(t),
\]
whose solutions are expressed באמצעות Mittag–Leffler functions. In Hilbert-space form, the solution admits the representation
\[
u(t)=S_1(t)u_0+S_2(t)u_1+\int_0^t S_3(t-s)f(s)\,ds,
\]
where \(S_1,S_2,S_3\) are operator families built from \(E_{\alpha,1}\), \(E_{\alpha,2}\), and \(E_{\alpha,\alpha}\) [1510.03478].

In the \(L^q\)-theory, the same role is played by the resolvent families
\[
E_\alpha(t),\qquad S_\alpha(t),\qquad R_\alpha(t),
\]
defined through inverse Laplace transforms of \((\lambda^\alpha-A_q)^{-1}\). The corresponding mild solution formula is
\[
u(t)=E_\alpha(t)u_0+S_\alpha(t)u_1+\int_0^t R_\alpha(t-s)f(u(s))\,ds.
\]
These families satisfy smoothing estimates of the form
\[
\|E_\alpha(t)x\|_{X_q^{1+\theta}}\le M t^{-\alpha(1+\theta-\beta)}\|x\|_{X_q^\beta},
\]
with analogous bounds for \(S_\alpha(t)\) and \(R_\alpha(t)\), which are central to both existence and regularity arguments [2509.05654].

A complementary PDE realization arises in space-time fractional wave equations
\[
\partial_t^\gamma u+\mathcal L^s u=f,\qquad s\in(0,1),\ \gamma\in(1,2],
\]
where the spectral fractional power \(\mathcal L^s\) is represented as a Dirichlet-to-Neumann map for a nonuniformly elliptic extension problem on the semi-infinite cylinder \(\Omega\times(0,\infty)\). In that framework, the trace \(u=\operatorname{tr}U\) solves the original equation, while the extension \(U\) satisfies a weighted elliptic equation in the extended variable and a dynamic boundary condition at \(y=0\) [1711.06186].

For the one-dimensional whole-space linear equation
\[
\partial_t^\alpha u = \partial_x^2 u,\qquad 1\le \alpha\le 2,
\]
the fundamental solution is explicit in terms of Mittag–Leffler and Wright–Mainardi functions. Although the support is noncompact for \(1<\alpha<2\), the maximum of the Green function occurs at
\[
x_*(t,\nu)=\pm c_\nu t^\nu,\qquad \nu=\alpha/2,
\]
and the maximum value satisfies
\[
G^*(t;\nu)=m_\nu t^{-\nu},
\]
so the disturbance propagates infinitely fast while the maximum disperses with finite speed [1201.5313]. This linear picture underlies mild-solution heuristics, kernel estimates, and critical-exponent analysis in the semilinear theory.

## 3. Local well-posedness and regularity regimes

One local existence theory is based on Strichartz-type estimates for the linear fractional wave equation. For \(d=2\) or \(3\), \(\alpha\in(1,2)\), and nonlinearities \(f_b\in\mathcal C^1(\mathbb R)\) with \(f_b(0)=0\) and \(|f_b'(u)|\le C|u|^{b-1}\), local weak solutions exist provided
\[
\frac{d\alpha}{d\alpha+4(1-\alpha)}<b<\frac{d\alpha+4}{d\alpha+4(1-\alpha)}.
\]
With suitable parameters \(p,q,r,s,\gamma\), the solution belongs to
\[
L^p(0,T;L^q(\Omega))\cap C([0,T];H^{2r}(\Omega))\cap W^{1,1}(0,T;L^2(\Omega)),
\]
and the lifespan can be chosen explicitly as
\[
T=\min\left(\tilde C\big(\|u_0\|_{H^{2\gamma}(\Omega)}+\|u_1\|_{H^{2s}(\Omega)}\big)^{-\frac{p(b-1)}{p-b}},\,T_0\right).
\]
This yields longer existence times for smaller initial data [1510.03478].

A second framework develops local mild solutions directly in Lebesgue spaces. Let \(X_q^1=L^q(\Omega)\), and suppose
\[
1-\frac{N}{2q'}<\beta<1,\qquad 1<\rho\le 1+\frac{2q}{N}(1-\beta),
\]
together with \(1<\alpha<2\phi_q/\pi\). Then for initial data in a ball of \(L^q(\Omega)\times L^q(\Omega)\) there exists a unique mild solution
\[
u\in C([0,\tau];L^q(\Omega)),
\]
which instantaneously gains spatial regularity:
\[
u\in C((0,\tau];X_q^{1+\theta}),\qquad 0\le \theta<\beta,
\]
and satisfies the weighted estimate
\[
t^{\alpha\theta}\|u(t)\|_{X_q^{1+\theta}}\to 0\qquad (t\to0^+)
\]
for \(\theta>0\). The same theory provides a continuation principle and the blow-up alternative
\[
\tau_{\max}=\infty\quad\text{or}\quad \limsup_{t\to\tau_{\max}^-}\|u(t)\|_{L^q}=+\infty.
\]
This is the natural \(L^q\)-analogue of parabolic semilinear theory, but with resolvent families replacing analytic semigroups [2509.05654].

A third regime is the critical Lebesgue-space theory. For
\[
q=\frac{N(\rho-1)}{2},
\]
the problem is critical in the sense of local well-posedness of mild solutions in \(L^q\). In this setting one introduces \(\varepsilon\)-regular mild solutions satisfying
\[
u\in C((0,\tau];X_q^{1+\varepsilon}),\qquad \sup_{0<t\le\tau} t^{\alpha\varepsilon}\|u(t)\|_{X_q^{1+\varepsilon}}<\infty,
\]
under the condition \(\alpha\rho\varepsilon<1\). Local well-posedness, Lipschitz dependence on initial data, uniqueness within the mild class, and a maximal continuation interval are all proved in this critical framework [2602.06461].

| Framework | Core assumptions | Local solution class |
|---|---|---|
| Strichartz-type Hilbert theory | \(d=2,3\), \(\frac{d\alpha}{d\alpha+4(1-\alpha)}<b<\frac{d\alpha+4}{d\alpha+4(1-\alpha)}\) | \(L^p_tL^q_x\cap C_tH^{2r}\cap W^{1,1}_tL^2_x\) |
| Lebesgue mild theory | \(1-\frac{N}{2q'}<\beta<1\), \(1<\rho\le 1+\frac{2q}{N}(1-\beta)\) | \(C_tL^q_x\) with smoothing into \(X_q^{1+\theta}\) |
| Critical Lebesgue theory | \(q=\frac{N(\rho-1)}{2}\), \(\alpha\rho\varepsilon<1\) | \(\varepsilon\)-regular mild solutions |

These theories are complementary rather than redundant. The first is tuned to Strichartz admissibility and Sobolev embeddings; the second and third are formulated directly in fractional power scales associated with the Laplacian and are especially effective for low-regularity \(L^q\) data.

## 4. Critical exponents, global existence, and blow-up structure

For the whole-space equation
\[
\partial_t^{1+\alpha}u(t,x)-\Delta u(t,x)=|u(t,x)|^p,\qquad \alpha\in(0,1),
\]
there are two distinct critical exponents for global small-data solutions. If both initial data \(u_0\) and \(u_1\) are generically nonzero, the critical exponent is
\[
p_c^{(1)}=1+\frac{2}{\,n-2(1+\alpha)^{-1}\,}.
\]
If the second datum vanishes, \(u_1\equiv0\), the critical exponent improves to
\[
p_c^{(2)}=1+\frac{2}{\,n-2+2(1+\alpha)^{-1}\,}.
\]
The second threshold reflects a genuinely fractional effect: the memory structure changes the decay properties of the linear response, so the critical power is not determined by naive scaling alone [1709.03285].

In the same whole-space setting, global solutions with small initial data in \(L^1\cap L^p\) exist for \(p\) above the relevant threshold, and the decay rate depends on whether \(u_1\) vanishes. With both data present, the solution decays like
\[
\|u(t)\|_{L^q}\lesssim (1+t)^{1-(1+\alpha)(1-1/q)},
\]
whereas in the case \(u_1=0\) the decay becomes
\[
\|u(t)\|_{L^q}\lesssim (1+t)^{\alpha-(1+\alpha)(1-1/q)}.
\]
The appearance of two different exponents is one of the distinctive features of semilinear fractional diffusive equations of order \(1+\alpha\in(1,2)\) [1709.03285].

In bounded domains, the global theory is more selective. The local theory of semilinear fractional wave equations in the Strichartz framework does not generally yield global existence, and the lack of a convenient notion of conserved or monotone energy adapted to the Caputo derivative is identified as the main obstacle [1510.03478]. By contrast, the critical \(L^q\)-theory proves global \(\varepsilon\)-regular mild solutions for sufficiently small data \(u_0\in L^q(\Omega)\), \(u_1\in X_q^{1-1/\alpha}\), with uniform bound
\[
t^{\alpha\varepsilon}\|u(t)\|_{X_q^{1+\varepsilon}}\le \mu,\qquad t>0.
\]
It also proves an asymptotic equivalence theorem: for two global small-data solutions \(u,v\),
\[
\lim_{t\to\infty} t^{\alpha\varepsilon}\|u(t)-v(t)\|_{X_q^{1+\varepsilon}}=0
\]
if and only if the same holds for the difference of the corresponding linear evolutions. In this regime, the nonlinearity does not change the leading-order asymptotics [2602.06461].

These results suggest a stratified global picture. Whole-space power nonlinearities admit a sharp small-data threshold theory with two critical exponents; bounded-domain critical \(L^q\) problems admit global small-data solutions and linear asymptotics; and more general bounded-domain semilinear problems remain largely local because the Caputo-wave setting lacks the standard conserved structures of classical semilinear wave equations.

## 5. Spatially nonlocal variants and inverse formulations

A substantial extension of the subject replaces the local spatial operator by a fractional power. In the linear space-time fractional wave equation
\[
\partial_t^\gamma u+\mathcal L^s u=f,\qquad s\in(0,1),\ \gamma\in(1,2],
\]
the operator \(\mathcal L^s\) is realized as a Dirichlet-to-Neumann map for a nonuniformly elliptic problem on \(\Omega\times(0,\infty)\). The trace \(u=\operatorname{tr}U\) of the extension solves the original equation, while \(U\) satisfies a weighted elliptic equation in the extended variable \(y\) and a dynamic boundary condition involving \(\partial_t^\gamma U\) on \(\Omega\times\{0\}\). This extension framework yields existence, uniqueness, energy estimates, and anisotropic space-time regularity, and it is explicitly identified as a foundation for semilinear problems of the form
\[
\partial_t^\gamma u+\mathcal L^s u=f(u)+g(x,t)
\]
[1711.06186].

A different spatially nonlocal direction concerns inverse problems. The semilinear equation
\[
\partial_t u+(-\Delta)^s u+a(x,t,u)=0
\]
with fractional-power nonlinearity
\[
a(x,t,z)=\sum_{k=1}^m a_k(x,t)|z|^{b_k}z
\]
is not a diffusion-wave equation because its time derivative is classical, but it supplies a prototype for nonlocal semilinear inverse theory. For small exterior Dirichlet data, one defines a nonlocal Dirichlet-to-Neumann map
\[
\Lambda_a g = (-\Delta)^s u|_{\Omega_e\times(0,T)},
\]
and partial exterior measurements on two open subsets \(W_1,W_2\subset\Omega_e\) determine all coefficients \(a_k(x,t)\). The proof uses only first-order linearization and a parabolic Runge approximation property, rather than higher-order linearization [2104.00132].

The broader spatially fractional picture also includes the wave extension problem
\[
\partial_t^2 u+\frac{1-2\sigma}{t}\partial_t u = -L u,
\]
for which the generalized normal derivative at \(t=0\) recovers \(L^\sigma\). This produces oscillatory subordination formulas, Bessel-function representations, and explicit kernels that the paper presents as a linear foundation for semilinear equations involving fractional spatial operators [1410.6051].

A common misconception is that all “fractional diffusion-wave” equations are fractional only in time. The current literature distinguishes at least three analytically different situations: time-fractional semilinear diffusion-wave equations, space-fractional semilinear diffusion equations, and genuinely space-time fractional wave equations. Their techniques overlap, but the operator-theoretic and inverse-problem structures are not identical.

## 6. Numerical analysis, order reduction, and regularity constraints

The most specific semilinear numerical framework for \(1<\alpha<2\) is based on the symmetric fractional-order reduction (SFOR) method. Starting from
\[
\mathcal D_t^\alpha u = \nu^2\Delta u + f(u,\mathbf x,t),
\]
with \(1<\alpha<2\), one sets \(\beta=\alpha/2\), subtracts the singular linear term
\[
\mathbf u(\mathbf x,t)=u(\mathbf x,t)-t\tilde\varphi(\mathbf x),
\]
and defines
\[
\mathbf v(\mathbf x,t)=\mathcal D_t^\beta \mathbf u(\mathbf x,t).
\]
Then
\[
\mathcal D_t^\alpha u = \mathcal D_t^\beta(\mathcal D_t^\beta \mathbf u),
\]
so the original equation is rewritten as a coupled system in which both time-fractional operators have order \(\alpha/2\). This symmetry permits the use of the same nonuniform L1 or Alikhanov discretization in both equations, together with a linearly implicit treatment of the nonlinearity [2101.09678].

On general nonuniform meshes, the resulting schemes satisfy discrete kernel monotonicity and lower-bound properties that support an \(H^2\)-energy method. Under mesh assumption MA and regularity assumptions on \(u\) and the auxiliary variable \(\mathbf v\), the nonuniform L1 scheme achieves temporal accuracy up to order
\[
2-\frac{\alpha}{2},
\]
while the nonuniform Alikhanov scheme achieves temporal accuracy up to order \(2\); both retain spatial accuracy \(O(h^2)\) in the discrete \(H^2\)-type norm used in the analysis [2101.09678]. The same paper designs an adaptive time-stepping strategy based on the difference between fast L1 and fast Alikhanov approximations.

At the same time, the regularity assumptions underlying time discretization must be treated with care. For linear space-time fractional wave equations, detailed PDE analysis shows that the usual assumptions often made in numerical analysis are problematic: even for smooth data, the solution behaves near \(t=0\) like
\[
u(x',t)\approx g(x')-\frac{t^\gamma}{\Gamma(1+\gamma)}\mathcal L^s g(x'),
\]
so that
\[
\partial_t^2u(t)\sim t^{\gamma-2},\qquad \partial_t^3u(t)\sim t^{\gamma-3},
\]
and one only obtains weighted estimates such as
\[
t^{\rho/2}\partial_t^3u\in L^2(0,T;\mathbb H^{-s}(\Omega)),\qquad \rho>5-2\gamma.
\]
Thus high-order time smoothness at \(t=0\) is structurally incompatible with the genuine fractional diffusion-wave dynamics [1711.06186].

This point is not merely technical. It explains why graded meshes, nonuniform time stepping, and singularity-aware order reduction are recurrent in the numerical literature on fractional diffusion-wave equations, and why the best-performing semilinear schemes are built around the precise initial-layer structure rather than around classical \(C^m\)-in-time assumptions.

## 7. Multi-term memory kernels and adjacent generalizations

The single-term Caputo operator is only one instance of a broader family of anomalous time evolutions. Linear generalized diffusion-wave equations replace the second time derivative by an integro-differential operator with memory kernel,
\[
\int_0^t \eta(t-t')\,\frac{\partial^2}{\partial t'^2}W(x,t')\,dt' = \frac{\partial^2}{\partial x^2}W(x,t),
\]
which includes standard time-fractional and distributed-order diffusion-wave equations as special cases. In Laplace–Fourier variables, the fundamental solution has the universal form
\[
\tilde{\hat W}(\kappa,s)=\frac{s\,\hat\eta(s)}{s^2\hat\eta(s)+\kappa^2},
\]
and the paper derives Green functions, non-negativity conditions, and mean squared displacement laws for power-law, distributed-order, tempered, and Prabhakar kernels [1905.00089]. Although this theory is linear, it is explicitly presented as the catalogue of kernels and operators one uses when nonlinearities are added.

A semilinear analogue in the subdiffusive regime studies
\[
D_t u-\mathcal L_1u-K*\mathcal L_2u+f(u)=0
\]
with multi-term Caputo operators of orders \(0<\nu_1<\cdots<\nu_M<\nu<1\). Under structural conditions on the coefficients and on \(f\), one obtains global \(W^{1,2}\)-bounds, bounds on the memory term \(K*u\), and, for time-independent coefficients, absorbing sets in \(W^{1,2}_0(\Omega)\) or \(W^{1,2}(\Omega)\). In the constant-coefficient case without memory, decay is governed by multinomial Mittag–Leffler functions and asymptotically by the smallest fractional order [2403.01302].

These nearby generalizations clarify the landscape around semilinear fractional diffusion-wave equations. The single-order Caputo diffusion-wave model remains the canonical setting for \(1<\alpha<2\), but multi-term operators, distributed-order kernels, and spatially fractional realizations show that the subject is better understood as part of a larger theory of semilinear evolution equations with memory, resolvent families, and nonlocal spatial generators.

Source: https://www.emergentmind.com/topics/semilinear-fractional-diffusion-wave-equation