Table of Contents
Fetching ...

Non-uniqueness of mild solutions to supercritical heat equations

Irfan Glogić, Martina Hofmanová, Theresa Lange, Eliseo Luongo

TL;DR

This work demonstrates non-uniqueness of mild $L^q$-solutions for the focusing nonlinear heat equation in the supercritical range $1+\frac{2}{d}<p<p_{JL}$ and for all $1\le q<q_c$, where $q_c=\frac{d(p-1)}{2}$. The authors adapt the Jia–Šverák framework by constructing radial forward self-similar expanders with unstable similarity modes, proving the existence of unstable eigenvalues for $p<p_{JL}$, and using unstable manifolds to produce ancient solutions. They then implement a localization and truncation procedure to convert the singular self-similar data into two distinct mild $L^q$-solutions arising from the same initial datum, thereby establishing non-uniqueness in the unforced, radial setting. The results identify $q_c$ as the sharp threshold for unconditional uniqueness in this regime and illustrate how unstable self-similar structures govern solution multiplicity in nonlinear parabolic equations.

Abstract

We consider the focusing power nonlinearity heat equation \begin{equation}\label{Eq:Heat_abstract}\tag{NLH} \partial_t u -Δu = |u|^{p-1}u, \quad p>1, \end{equation} in dimensions $d \geq 3$. It is well-known that if $p$ is large enough then \eqref{Eq:Heat_abstract} is unconditionally locally well-posed in $L^q(\mathbb{R}^d)$ for $q \geq d(p-1)/2$. We prove that this result is optimal in the sense that uniqueness of local solutions fails when $q < d(p-1)/2$ as long as $p < p_{JL}$, where $p_{JL}$ stands for the Joseph-Lundgren exponent. Our proof is based on the method that Jia-Šverák proposed in \cite{JiaSve15} to show non-uniqueness of Leray solutions to incompressible 3d Navier-Stokes equations. In particular, we rigorously verify for \eqref{Eq:Heat_abstract} the (analogue of the) spectral assumption made in \cite{JiaSve15}. To our knowledge, this is the first rigorous implementation of the Jia-Šverák method to a nonlinear parabolic equation without forcing.

Non-uniqueness of mild solutions to supercritical heat equations

TL;DR

This work demonstrates non-uniqueness of mild -solutions for the focusing nonlinear heat equation in the supercritical range and for all , where . The authors adapt the Jia–Šverák framework by constructing radial forward self-similar expanders with unstable similarity modes, proving the existence of unstable eigenvalues for , and using unstable manifolds to produce ancient solutions. They then implement a localization and truncation procedure to convert the singular self-similar data into two distinct mild -solutions arising from the same initial datum, thereby establishing non-uniqueness in the unforced, radial setting. The results identify as the sharp threshold for unconditional uniqueness in this regime and illustrate how unstable self-similar structures govern solution multiplicity in nonlinear parabolic equations.

Abstract

We consider the focusing power nonlinearity heat equation \begin{equation}\label{Eq:Heat_abstract}\tag{NLH} \partial_t u -Δu = |u|^{p-1}u, \quad p>1, \end{equation} in dimensions . It is well-known that if is large enough then \eqref{Eq:Heat_abstract} is unconditionally locally well-posed in for . We prove that this result is optimal in the sense that uniqueness of local solutions fails when as long as , where stands for the Joseph-Lundgren exponent. Our proof is based on the method that Jia-Šverák proposed in \cite{JiaSve15} to show non-uniqueness of Leray solutions to incompressible 3d Navier-Stokes equations. In particular, we rigorously verify for \eqref{Eq:Heat_abstract} the (analogue of the) spectral assumption made in \cite{JiaSve15}. To our knowledge, this is the first rigorous implementation of the Jia-Šverák method to a nonlinear parabolic equation without forcing.

Paper Structure

This paper contains 10 sections, 13 theorems, 251 equations.

Key Result

Theorem 1.2

Assume $d \geq 3$ and let $p$ satisfy Eq:Range. Then for any $1 \leq q < q_c$ there exists a non-trivial initial datum $u_0 \in L^q({\mathbb R}^d)$ and a time $T>0$ for which there are two different mild $L^q$-solutions to Eq:Heat on $[0,T)$.

Theorems & Definitions (31)

  • Definition 1.1
  • Theorem 1.2
  • Remark 1.3
  • Remark 1.4
  • Remark 1.5
  • Remark 1.6
  • Proposition 2.1: HarWei82
  • Proposition 2.2
  • proof
  • Remark 2.3
  • ...and 21 more