On a $L^\infty$ functional derivative estimate relating to the Cauchy problem for scalar semi-linear parabolic partial differential equations with general continuous nonlinearity

TL;DR

This paper establishes a sharp $L^ abla$ functional derivative estimate for solutions to scalar semi-linear parabolic PDEs with continuous nonlinearity, demonstrating the estimate's optimality through constructed sequences.

Contribution

The paper introduces a new sharp $L^ abla$ estimate for the first spatial derivative of solutions to semi-linear parabolic PDEs with continuous nonlinearities, and proves its optimality.

Findings

The derivative estimate is proven to be non-trivially sharp.

Constructed sequences show the estimate's optimality.

The estimate applies to solutions with zero initial data.

Abstract

In this paper, we consider a $L^\infty$ functional derivative estimate for the first spatial derivative of bounded classical solutions $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ to the Cauchy problem for scalar semi-linear parabolic partial differential equations with a continuous nonlinearity $f:\mathbb{R}\to\mathbb{R}$ and initial data $u_0:\mathbb{R}\to\mathbb{R}$, of the form, \[ \sup_{x\in\mathbb{R}}|u_x (x , t)| \leq \mathcal{F}_t (f,u_0,u) \ \ \ \forall t\in [0,T] . \] Here $\mathcal{F}_t:\mathcal{A}_t\to\mathbb{R}$ is a functional as defined in \textsection 1. We establish that the functional derivative estimate is non-trivially sharp, by constructing a sequence $(f_n,0,u^{(n)})$, where for each $n\in\mathbb{N}$, $u^{(n)}:\mathbb{R}\times [0,T]\to\mathbb{R}$ is a solution to the Cauchy problem with zero initial data and nonlinearity $f_n:\mathbb{R}\to\mathbb{R}$, and for which $\sup_{x\in\mathbb{R}} |u_x^{(n)}(x,T)| \geq \alpha >0$, with \[ \lim_{n\to\infty} \left( \inf_{t\in [0,T]} \left( \sup_{x\in\mathbb{R}}|u_x^{(n)}(\cdot , t)| - \mathcal{F}_t (f_n , 0 , u^{(n)}) \right) \right) = 0 . \]