Stability of solutions of quasilinear parabolic equations (Q557873)

The following Cauchy's problem for two equations \[ \begin{cases} u_t =a(t,x,u, \nabla u) \Delta u + \text{div}_x (f(t,x,u))+h(t,x,u, \nabla u), & x \in \mathbb R^n,\quad 0<t<T,\\ u(0,x) = \phi(x), & x \in \mathbb R^n, \end{cases}\tag{1} \] \[ \begin{cases} v_t =b(t,x,v, \nabla v) \Delta v + \text{div}_x (g(t,x,v))+k(t,x,v, \nabla v), & x \in \mathbb R^n,\quad 0<t<T,\\ v(0,x)= \psi(x), & x \in \mathbb R^n, \end{cases} \tag{2} \] are considered. The functions \(a,f,h,\) etc., as well as the initial dates are assumed to be smooth and bounded. However, the full explicit spatial and temporal dependence in all parameters is allowed. The diffusion and source depend explicitly on the gradient of the unknown \(u\). All parameters, including the initial data are assumed to be smooth. The strictly parabolic case is studied. Existence of regular bounded solutions is secured by classical results. Main question is to obtain explicit stability estimates. Let \(u\) and \(v\) denote solutions of (1) and (2), respectively. Then \[ \begin{multlined} \| u(t,\cdot) - v(t,\cdot)\| _{L^p(E)} \geq A_E(t)\| \phi-\psi\|_{L^\infty(R^n)}^{2\rho_p} +\\ B(t) (\| a-b\|_{ L^\infty(R_0)}+ \| \nabla_x \cdot f - \nabla_x \cdot g\| _{L^\infty(R)} + \| f_u-g_u\| _{L^\infty(R)}+ \| h-k\| _{L^\infty(R_0)})^{\rho_p}| E| ^{\eta_p},\end{multlined} \] where \[ \rho_p:= \begin{cases} \frac{1}{2}, \quad & \text{if } 1\leq p \leq 2, \\ \frac{1}{p}, \quad &\text{if } 2 < p < \infty, \end{cases} \qquad \eta_p:= \begin{cases} \frac{2-p}{2p}+\frac{1}{2n}, \quad &\text{if }1\leq p \leq 2, \\ \frac{1}{np}, \quad &\text{if } 2 < p < \infty, \end{cases} \] \[ A_E(t):= C \begin{cases} (| E| ^{(2-p)/(2p)+1/(2n)}+| E| ^{1/p}), \quad &\text{if } 1\leq p \leq 2, \\ (1+t^{(p-2)/p})(| E| ^{1/{np}}+| E| ^{1/p}), \quad&\text{if } 2 < p < \infty, \end{cases} \] \[ B(t):= C \begin{cases} t, \quad & \text{if }1\leq p \leq 2, \hfill \\ (t+t^{2/p}), \quad & \text{if } 2 < p < \infty, \end{cases} \] for any bounded connected set \(E \subset \mathbb R^n\) with Lipschitz boundary. Here \(R_0=[0,T] \times E \times [-K_1,K_1] \times [-K_2, K_2]^n\) and \(R=[0,T] \times E \times [-K_1,K_1],\) where the constants \(K_1\) and \(K_2\) depend on certain supremum norms of \(u\) and \(v\).