\section{Introduction}

\par
We consider the initial value problems;
\begin{equation}
\label{IVP_combined}
\left\{
\begin{array}{ll}
	\displaystyle u_{tt}-u_{xx}=A|u_t|^p+B|u|^q
	&\mbox{in}\quad {\bf R}\times(0,\infty),\\
	u(x,0)={\varepsilon} f(x),\ u_t(x,0)={\varepsilon} g(x),
	& x\in{\bf R},
\end{array}
\right.
\end{equation}
where $p,q>1$, $A,B\ge0$, $f$ and $g$ are given smooth functions of compact support
and a parameter ${\varepsilon}>0$ is \lq\lq small enough".
We are interested in the lifespan $T({\varepsilon})$, the maximal existence time,
of classical solutions of (\ref{IVP_combined}).
Our results in this paper are the following estimates for $A>0$ and $B>0$;
\begin{equation}
\label{lifespan_non-zero}
T({\varepsilon})\sim
\min\{C{\varepsilon}^{-(p-1)},C{\varepsilon}^{-(q-1)/2}\}\qquad \mbox{if}\ \int_{{\bf R}}g(x)dx\not=0\\
\end{equation}
and
\begin{equation}
\label{lifespan_zero}
\begin{array}{c}
T({\varepsilon})\sim
\left\{
\begin{array}{ll}
C{\varepsilon}^{-p(q-1)/(q+1)} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p\le q,\\
\min\{C{\varepsilon}^{-(p-1)},C{\varepsilon}^{-q(q-1)/(q+1)}\} & \mbox{otherwise}\\
\end{array}
\right.
\\
 \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0.
 \end{array}
\end{equation}
Here we denote the fact that there are positive constants,
$C_1$ and $C_2$, independent of ${\varepsilon}$ satisfying $A({\varepsilon},C_1)\le T({\varepsilon})\le A({\varepsilon},C_2)$
by $T({\varepsilon})\sim A({\varepsilon},C)$.
We note that (\ref{lifespan_non-zero}) and (\ref{lifespan_zero})
are established in case of $p, q\in[2,\infty)$,
while we have to consider $C^1$ solutions of associated integral equations
to (\ref{IVP_combined}) in case of $p\in(1,2)$, or $q\in(1,2)$.

\par
Recall that we have
\[
T({\varepsilon})\sim C{\varepsilon}^{-(p-1)}\quad\mbox{for $A>0$ and $B=0$.}
\]
This result was verified by Zhou \cite{Zhou01} for the upper bound,
and by Li,Yu and Zhou \cite{LYZ91,LYZ92}
for the lower bound with integer $p\ge2$ including more general nonlinear term.
We call \cite{LYZ91,LYZ92} by \lq\lq general theory" for nonlinear wave equations in one dimension.
Recently, Kitamura, Morisawa and Takamura \cite{KMT} have verified the lower bound
for all $p\ge2$ including the case that nonlinear term has spatial weights
as well as the one of  $C^1$ solutions of associated integral equations for $1<p<2$.
On the other hand, Zhou \cite{Zhou92} obtained
\[
T({\varepsilon})\sim
\left\{
\begin{array}{ll}
C{\varepsilon}^{-(q-1)/2} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx\neq0,\\
C{\varepsilon}^{-q(q-1)/(q+1)} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0
\end{array}
\right.
\mbox{for $A=0$ and $B>0$}.
\]
Therefore (\ref{lifespan_non-zero}) and (\ref{lifespan_zero}) are quite natural
as taking the minimum of both results
except for the first case in (\ref{lifespan_zero}),
in which, we have
\[
C{\varepsilon}^{-p(q-1)/(q+1)}\le\min\{C{\varepsilon}^{-(p-1)},C{\varepsilon}^{-q(q-1)/(q+1)}\}
\quad\mbox{for}\ \displaystyle\frac{q+1}{2}\le p\le q.
\]
We call this special phenomenon by \lq\lq combined effect" of two nonlinearities.
The combined effect was first observed by
Han and Zhou \cite{HZ14} which targets to show the optimality of the result
of Katayama \cite{Katayama01} on the lower bound of the lifespan of classical solutions
of nonlinear wave equations with a nonlinear term $u_t^3+u^4$ in two space dimensions
including more general nonlinear terms.
It is known that $T({\varepsilon})\sim\exp\left(C{\varepsilon}^{-2}\right)$ for the nonlinear term
$u_t^3$ and $T({\varepsilon})=\infty$ for the nonlinear term $u^4$,
but Katayama \cite{Katayama01} obtained only a much worse estimate
than their minimum  as $T({\varepsilon})\ge c{\varepsilon}^{-18}$.
Surprisingly, more than ten years later, Han and Zhou \cite{HZ14} show that
this result is optimal as $T({\varepsilon})\le C{\varepsilon}^{-18}$.
They also consider (\ref{IVP_combined}) for all space dimensions $n$ bigger than 1
and obtain the upper bound of the lifespan.
Its counter part, the lower bound of the lifespan, is obtained by
Hidano, Wang and Yokoyama \cite{HWY16} for $n=2,3$.
See the introduction of \cite{HWY16} for the precise results and references.
We note that the first case in (\ref{lifespan_zero}) coincides with the lifespan estimate
for the combined effect in \cite{HZ14, HWY16} if one sets $n=1$ formally.
Later, Dai, Fang and Wang \cite{DFW19} have improved the lower bound of lifespan
for the critical case in Hidano, Wang and Yokoyama \cite{HWY16}.
They also show that $T({\varepsilon})<\infty$ for all $p,q>1$ in case of $n=1$, i.e. (\ref{IVP_combined}).

\par
Finally we strongly remark that our estimates in (\ref{lifespan_non-zero}) and (\ref{lifespan_zero})
are better than those of the general theory by Li, Yu and Zhou \cite{LYZ91, LYZ92};
\[
T({\varepsilon})\ge
\left\{
\begin{array}{ll}
C{\varepsilon}^{-(p-1)/2} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx\neq0,\\
C{\varepsilon}^{-p(p-1)/(p+1)} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0
\end{array}
\right.\]
in case of
\[
\frac{q+1}{2}<p<q
\]
with integer $p,q\ge2$.
Because our result on the lower bound of the lifespan can be established
also for the indefinite sign  terms as $u_{tt}-u_{xx}=u_t^p+u^q$.
The typical example is $(p,q)=(4,5)$ in such a case.
This fact shows a possibility to improve the general theory.
Of course, some special structure of the nonlinear terms
such as \lq\lq null condition" guarantees the global-in-time existence.
See Zha \cite{Zha20, Zha22} for example in this direction.
But we are interested in the optimality of the general theory.
The details are discussed at the end of Section 2 below.

\par
The main part of this work was completed
when the first author was in the master course of Mathematical Institute, Tohoku University
and the third author had the second affiliation with
Research Alliance Center of Mathematical Sciences, Tohoku University.
This paper is organized as follows.
In the next section, the preliminaries are introduced.
Moreover, (\ref{lifespan_non-zero}) and (\ref{lifespan_zero}) are divided into four theorems,
and we compare our results with those of the general theory.
Sections 3 and 4 are devoted to the proof of the existence part of (\ref{lifespan_non-zero}).
Sections 5, 6 and 7 are devoted to the proof of the existence part of (\ref{lifespan_zero}).
Their main strategy is the iteration method in the weighted $L^\infty$ space
due to Kitamura, Morisawa and Takamura \cite{KMT22, KMT}
which is originally introduced by John \cite{John79}.
Finally, we prove the blow-up part of (\ref{lifespan_non-zero}) and (\ref{lifespan_zero}),
which is different from the functional method by Han and Zhou \cite{HZ14}.

\section{Preliminaries and main results}

Throughout this paper, we assume that the initial data
$(f,g)\in C_0^2({\bf R})\times C^1_0({\bf R})$ satisfies
\begin{equation}
\label{supp_initial}
\mbox{\rm supp }f,\ \mbox{supp }g\subset\{x\in{\bf R}:|x|\le R\},\quad R\ge1.
\end{equation}
Let $u$ be a classical solution of (\ref{IVP_combined}) in the time interval $[0,T]$.
Then the support condition of the initial data, (\ref{supp_initial}), implies that
\begin{equation}
\label{support_sol}
\mbox{supp}\ u(x,t)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}.
\end{equation}
For example, see Appendix of John \cite{John_book} for this fact.

\par
It is well-known that $u$ satisfies the following integral equation.
\begin{equation}
\label{u}
u(x,t)={\varepsilon} u^0(x,t)+L(A|u_t|^p+B|u|^q)(x,t),
\end{equation}
where $u^0$ is a solution of the free wave equation with the same initial data,
\begin{equation}
\label{u^0}
u^0(x,t):=\frac{1}{2}\{f(x+t)+f(x-t)\}+\frac{1}{2}\int_{x-t}^{x+t}g(y)dy,
\end{equation}
and a linear integral operator $L$ for a function $v=v(x,t)$ in Duhamel's term is defined by
\begin{equation}
\label{nonlinear}
L(v)(x,t):=\frac{1}{2}\int_0^tds\int_{x-t+s}^{x+t-s}v(y,s)dy.
\end{equation}
Then, one can apply the time-derivative to (\ref{u}) to obtain
\begin{equation}
\label{u_t}
u_t(x,t)={\varepsilon} u_t^0(x,t)+L'(A|u_t|^p+B|u|^q)(x,t)
\end{equation}
and
\begin{equation}
\label{u^0_t}
u_t^0(x,t)=\frac{1}{2}\{f'(x+t)-f'(x-t)+g(x+t)+g(x-t)\},
\end{equation}
where $L'$ for a function $v=v(x,t)$ is defined by
\begin{equation}
\label{nonlinear_derivative}
L'(v)(x,t):=\frac{1}{2}\int_0^t\{v(x+t-s,s)+v(x-t+s,s)\}ds.
\end{equation}
On the other hand, applying the space-derivative to (\ref{u}),
we have
\begin{equation}
\label{u_x}
u_x(x,t)={\varepsilon} u_x^0(x,t)+\overline{L'}(A|u_t|^p+B|u|^q)(x,t)
\end{equation}
and
\begin{equation}
\label{u^0_x}
u_x^0(x,t)=\frac{1}{2}\{f'(x+t)+f'(x-t)+g(x+t)-g(x-t)\},
\end{equation}
where $\overline{L'}$ for a function $v=v(x,t)$ is defined by
\begin{equation}
\label{nonlinear_derivative_conjugate}
\overline{L'}(v)(x,t):=
\frac{1}{2}\int_0^t\{v(x+t-s,s)-v(x-t+s,s)\}ds.
\end{equation}
Therefore, $u_x$ is expressed by $u$ and $u_t$.
Moreover, one more space-derivative to (\ref{u_t}) yields that
\begin{equation}
\label{u_tx}
\begin{array}{ll}
u_{tx}(x,t)=&\displaystyle{\varepsilon} u_{tx}^0(x,t)\\
&\displaystyle+L'(Ap|u_t|^{p-2}u_tu_{tx}+Bq|u|^{q-2}uu_x)(x,t)
\end{array}
\end{equation}
and
\begin{equation}
\label{u^0_tx}
u_{tx}^0(x,t)=\frac{1}{2}\{f''(x+t)-f''(x-t)+g'(x+t)+g'(x-t)\}.
\end{equation}
Similarly, we have that
\[
\begin{array}{ll}
u_{tt}(x,t)=&
\displaystyle{\varepsilon} u_{tt}^0(x,t)+A|u_t(x,t)|^p+B|u(x,t)|^q\\
&\displaystyle +\overline{L'}(Ap|u_t|^{p-2}u_tu_{tx}+Bq|u|^{q-2}uu_x)(x,t)
\end{array}
\]
and
\[
u_{tt}^0(x,t)=\frac{1}{2}\{f''(x+t)+f''(x-t)+g'(x+t)-g'(x-t)\}.
\]
Therefore, $u_{tt}$ is expressed by $u,u_t,u_x,u_{tx}$ and so is $u_{xx}$, because of
\[
\begin{array}{ll}
u_{xx}(x,t)=
&\displaystyle{\varepsilon} u_{xx}^0(x,t)\\
&\displaystyle+\overline{L'}(Ap|u_t|^{p-2}u_tu_{tx}+Bq|u|^{q-2}uu_x)(x,t)
\end{array}
\]
and
\[
u_{xx}^0(x,t)=u^0_{tt}(x,t).
\]

\par
First, we note the following fact.

\begin{prop}
\label{prop:system}
Assume that $(f,g)\in C^2({\bf R})\times C^1({\bf R})$.
Let $(u,w)$ be a $C^1$ solution of a system of integral equations;
\begin{equation}
\label{system}
\left\{
\begin{array}{l}
u={\varepsilon} u^0+L(A|w|^p+B|u|^q),\\
w={\varepsilon} u_t^0+L'(A|w|^p+B|u|^q)
\end{array}
\right.
\mbox{in}\ {\bf R}\times[0,T]
\end{equation}
with some $T>0$.
Then, $w\equiv u_t$ in ${\bf R}\times[0,T]$ holds
and $u$ is a classical solution of (\ref{IVP_combined}) in ${\bf R}\times[0,T]$.
\end{prop}
\par\noindent
{\bf Proof.} It is trivial that $w\equiv u_t$ by differentiating the first equation with respect to $t$.
 The rest part is easy along with the computation above in this section.
\hfill$\Box$

\vskip10pt
Our results in (\ref{lifespan_non-zero}) and (\ref{lifespan_zero})
are divided into the following four theorems.

\begin{thm}
\label{thm:lower-bound_non-zero}
Let $A>0$ and $B>0$.
Assume (\ref{supp_initial}) and
\begin{equation}
\label{non-zero}
\int_{{\bf R}}g(x)dx\neq0.
\end{equation}
Then, there exists a positive constant ${\varepsilon}_1={\varepsilon}_1(f,g,p,q,A,B,R)>0$ such that
a classical solution $u\in C^2({\bf R}\times[0,T])$ of (\ref{IVP_combined}) for $p,q\ge2$,
or a solution $(u,u_t)\in\{C({\bf R}\times[0,T])\}^2$ with
\[
\mbox{supp}\ (u,u_t)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}
\]
of an associated system of integral equations,
(\ref{u}) and  (\ref{u_t}) to (\ref{IVP_combined}) for $1<p<2$ or $1<q<2$, exists
as far as $T$ satisfies
\begin{equation}
\label{lower-bound_non-zero}
T\le
\left\{
\begin{array}{ll}
c{\varepsilon}^{-(p-1)} & \mbox{for}\ p\le\displaystyle\frac{q+1}{2},\\
c{\varepsilon}^{-(q-1)/2} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p,
\end{array}
\right.
\end{equation}
where $0<{\varepsilon}\le{\varepsilon}_1$, $c$ is a positive constant independent of ${\varepsilon}$.
\end{thm}

\begin{thm}
\label{thm:lower-bound_zero}
Let $A>0$ and $B>0$.
Assume (\ref{supp_initial}) and
\begin{equation}
\label{zero}
\int_{{\bf R}}g(x)dx=0.
\end{equation}
Then, there exists a positive constant ${\varepsilon}_2={\varepsilon}_2(f,g,p,q,A,B,R)>0$ such that
a classical solution $u\in C^2({\bf R}\times[0,T])$ of (\ref{IVP_combined}) for $p,q\ge2$,
or a solution $(u,u_t)\in\{C({\bf R}\times[0,T])\}^2$ with
\[
\mbox{supp}\ (u,u_t)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}
\]
of an associated system of integral equations,
(\ref{u}) and  (\ref{u_t}) to (\ref{IVP_combined}) for $1<p<2$ or $1<q<2$, exists
as far as $T$ satisfies
\begin{equation}
\label{lower-bound_zero}
T\le
\left\{
\begin{array}{ll}
c{\varepsilon}^{-(p-1)} & \mbox{for}\ p\le\dfrac{q+1}{2},\\
c{\varepsilon}^{-p(q-1)/(q+1)} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p\le q,\\
c{\varepsilon}^{-q(q-1)/(q+1)} & \mbox{for}\ p\ge q,
\end{array}
\right.
\end{equation}
where $0<{\varepsilon}\le{\varepsilon}_2$, $c$ is a positive constant independent of ${\varepsilon}$.
\end{thm}

\begin{thm}
\label{thm:upper-bound_non-zero}
Let $A>0$ and $B>0$.
Assume (\ref{supp_initial}) and
\begin{equation}
\label{positive_non-zero}
\int_{{\bf R}}g(x)dx>0.
\end{equation}
Then, there exists a positive constant ${\varepsilon}_3={\varepsilon}_3(f,g,p,q,A,B,R)>0$ such that
a solution $(u,u_t)\in\{C({\bf R}\times[0,T])\}^2$ with
\[
\mbox{supp}\ (u,u_t)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}
\]
of an associated system of integral equations
(\ref{u}) and  (\ref{u_t}) to (\ref{IVP_combined}) cannot exist
as far as $T$ satisfies
\begin{equation}
\label{upper-bound_non-zero}
T\ge
\left\{
\begin{array}{ll}
C{\varepsilon}^{-(p-1)} & \mbox{for}\ p\le\displaystyle\frac{q+1}{2},\\
C{\varepsilon}^{-(q-1)/2} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p,
\end{array}
\right.
\end{equation}
where $0<{\varepsilon}\le{\varepsilon}_3$, $C$ is a positive constant independent of ${\varepsilon}$.
\end{thm}

\begin{thm}
\label{thm:upper-bound_zero}
Let $A>0$ and $B>0$.
Assume (\ref{supp_initial}) and
\begin{equation}
\label{positive_zero}
f(x)\ge0(\not\equiv0),\ f'(x)<0\ \mbox{for}\ x\in(0,R)\ \mbox{and}\ g(x)\equiv0.
\end{equation}
Then, there exists a positive constant ${\varepsilon}_4={\varepsilon}_4(f,p,q,A,B,R)>0$ such that
a solution $(u,u_t)\in\{C({\bf R}\times[0,T])\}^2$ with
\[
\mbox{supp}\ (u,u_t)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}
\]
of an associated system of integral equations
(\ref{u}) and  (\ref{u_t}) to (\ref{IVP_combined}) cannot exist
as far as $T$ satisfies
\begin{equation}
\label{upper-bound_zero}
T\ge
\left\{
\begin{array}{ll}
C{\varepsilon}^{-(p-1)} & \mbox{for}\ p\le\dfrac{q+1}{2},\\
C{\varepsilon}^{-p(q-1)/(q+1)} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p\le q,\\
C{\varepsilon}^{-q(q-1)/(q+1)} & \mbox{for}\ p\ge q,
\end{array}
\right.
\end{equation}
where $0<{\varepsilon}\le{\varepsilon}_4$, $C$ is a positive constant independent of ${\varepsilon}$.
\end{thm}

\begin{rem}
\label{rem:relation}
It is trivial that Theorem \ref{thm:lower-bound_non-zero} and
Theorem \ref{thm:upper-bound_non-zero} imply (\ref{lifespan_non-zero}).
On the other hand, we have that
\[
p-1=\frac{q(q-1)}{q+1}\quad\Longleftrightarrow\quad p=\frac{q^2+1}{q+1}
\]
and
\[
\frac{q+1}{2}<\frac{q^2+1}{q+1}<q.
\]
Moreover, we see that
\[
p-1\le\frac{p(q-1)}{q+1}\quad\Longleftrightarrow\quad p\le\frac{q+1}{2}.
\]
Therefore Theorem \ref{thm:lower-bound_zero} and
Theorem \ref{thm:upper-bound_zero} imply (\ref{lifespan_zero}).
\end{rem}

\par
The proofs of four theorems above appear in the following sections.
Form now on, we shall compare our results with those of the general theory
by Li, Yu and Zhou \cite{LYZ91, LYZ92},
in which the following problem of general form is considered;
\begin{equation}
\label{IVP_general}
\left\{
\begin{array}{ll}
	\displaystyle u_{tt}-u_{xx}=F(u,Du,\partial_xDu)
	&\mbox{in}\quad {\bf R}\times(0,\infty),\\
	u(x,0)={\varepsilon} f(x),\ u_t(x,0)={\varepsilon} g(x),
	& x\in{\bf R},
\end{array}
\right.
\end{equation}
where we denote $D:=(\partial_t,\partial_x)$ and $F\in C^\infty({\bf R}^5)$ satisfies
\[
F(\lambda)=O(|\lambda|^{1+\alpha})\quad\mbox{with $\alpha\in{\bf N}$ near $\lambda=0$}.
\]
(\ref{IVP_general}) requires $f,g\in C_0^\infty({\bf R})$.
Then, the lifespan of the classical solution of (\ref{IVP_general}) defined by $\widetilde{T}({\varepsilon})$ has
estimates from below as
\begin{equation}
\label{lifespan_general}
\widetilde{T}({\varepsilon})\ge
\left\{
\begin{array}{ll}
c{\varepsilon}^{-\alpha/2} & \mbox{in general},\\
c{\varepsilon}^{-\alpha(1+\alpha)/(2+\alpha)} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0,\\
c{\varepsilon}^{-\alpha} & \mbox{if $\partial_u^\beta F(0)=0$ for $1+\alpha\le\forall\beta\le2\alpha$}.
\end{array}
\right.
\end{equation}
This is the result of the general theory.
If one applies it to our problem (\ref{IVP_combined}) with
\begin{equation}
\label{F_special}
F(u,Du,\partial_xDu)=u_t^p+u^q\quad\mbox{with}\ 2\le p,q\in{\bf N},
\end{equation}
one has the following estimates in each cases.
\begin{itemize}
\item
When $p<q$,
\par
then, we have to set $\alpha=p-1$ which yields that
\[
\widetilde{T}({\varepsilon})\ge
\left\{
\begin{array}{ll}
c{\varepsilon}^{-(p-1)/2} & \mbox{in general},\\
c{\varepsilon}^{-p(p-1)/(p+1)} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0,\\
c{\varepsilon}^{-(p-1)} & \mbox{if $\partial_u^\beta F(0)=0$ for $p\le\forall\beta\le2(p-1)$}.
\end{array}
\right.
\]
For $p\le(q+1)/2$, i.e. $2p-1\le q$, we see that
\[
\partial_u^\beta F(u,Du,\partial_xDu)=O(u^{q-\beta})
\quad\mbox{and}\quad 1\le2p-1-\beta\le q-\beta
\]
because of $p+1\le2p-1$, which yields
\[
\partial_u^\beta F(0)=0\quad\mbox{for}\ p\le\forall\beta\le2(p-1).
\]
Therefore the third case holds and we obtain
\[
\widetilde{T}({\varepsilon})\ge c{\varepsilon}^{-(p-1)}
\]
whatever the value of $\displaystyle\int_{{\bf R}}g(x)dx$ is.
On the other hand, for $(q+1)/2<p$, i.e. $(p<)q<2p-1$, we see that
\[
\exists\beta\in\{p+1,\ldots,2p-2\}\mbox{ s.t. }\partial_u^\beta F(0)\neq0,
\]
so that the third case does not hold and we obtain
\[
\widetilde{T}({\varepsilon})\ge
\left\{
\begin{array}{ll}
c{\varepsilon}^{-(p-1)/2} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx\neq0,\\
c{\varepsilon}^{-p(p-1)/(p+1)} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0.\\
\end{array}
\right.
\]
\item
When $p\ge q$,
\par
then, similarly to the above, we have to set $\alpha=q-1$ which yields that
\[
\widetilde{T}({\varepsilon})\ge
\left\{
\begin{array}{ll}
c{\varepsilon}^{-(q-1)/2} & \mbox{in general},\\
c{\varepsilon}^{-q(q-1)/(q+1)} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0,\\
c{\varepsilon}^{-(q-1)} & \mbox{if $\partial_u^\beta F(0)=0$ for $q\le\forall\beta\le2(q-1)$}.
\end{array}
\right.
\]
We note that the third case does not hold by $\partial_u^q F(0)\neq0$.
\end{itemize}
In conclusion, for a special nonlinear term in (\ref{F_special}),
the result of the general theory is
\[
\widetilde{T}({\varepsilon})\ge
\left\{
\begin{array}{ll}
c{\varepsilon}^{-(p-1)} & \mbox{for}\ p\le\displaystyle\frac{q+1}{2},\\
c{\varepsilon}^{-(p-1)/2} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p\le q,\\
c{\varepsilon}^{-(q-1)/2} & \mbox{for}\ q\le p
\end{array}
\right.
\quad\mbox{if}\ \int_{{\bf R}}g(x)dx\not=0\\
\]
and
\[
\widetilde{T}({\varepsilon})\ge
\left\{
\begin{array}{ll}
c{\varepsilon}^{-(p-1)} & \mbox{for}\ p\le\displaystyle\frac{q+1}{2},\\
c{\varepsilon}^{-p(p-1)/(p+1)} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p\le q,\\
c{\varepsilon}^{-q(q-1)/(q+1)} & \mbox{for}\ q\le p\\
\end{array}
\right.
\quad \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0.
\]
Therefore a part of our results,
\[
T({\varepsilon})\sim
\left\{
\begin{array}{ll}
C{\varepsilon}^{-(q-1)/2} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)\neq0,\\
C{\varepsilon}^{-p(q-1)/(q+1)} & \mbox{if}\ \displaystyle\int_{{\bf R}}g(x)dx=0
\end{array}
\right.
\quad\mbox{for}\ \frac{q+1}{2}\le p\le q,
\]
is better than the lower bound of $\widetilde{T}({\varepsilon})$.
Because, if one follows the proof in the following sections, one can find that it is easy to see that
our results on the lower bounds also holds for a special term (\ref{F_special})
by estimating the difference of nonlinear terms from above
after employing the mean value theorem.
We note that we have an example of $(p,q)=(4,5)$ as
\[
\frac{q+1}{2}=3<p=4<q=5.
\]
This fact indicates that we still have a possibility to improve the general theory.

\section{Proof of Theorem \ref{thm:lower-bound_non-zero}}
\par
According to Proposition \ref{prop:system},
we shall construct a $C^1$ solution of (\ref{system}) for $p,q\ge2$ and
a continuous solution of (\ref{system}) for $1<p<2$ or $1<q<2$.

\par
First, we shall construct a $C^1$ solution for $p,q\ge2$.
Let $\{(u_j,w_j)\}_{j\in{\bf N}}$ be a sequence of $\{C^1({\bf R}\times[0,T])\}^2$ defined by
\begin{equation}
\label{u_j,w_j}
\left\{
\begin{array}{ll}
u_{j+1}={\varepsilon} u^0+L(A|w_j|^p+B|u_j|^q), & u_1={\varepsilon} u^0,\\
w_{j+1}={\varepsilon} u_t^0+L'(A|w_j|^p+B|u_j|^q), &  w_1={\varepsilon} u_t^0.
\end{array}
\right.
\end{equation}
Then, in view of (\ref{u_x}) and (\ref{u_tx}), $\left((u_j)_x,(w_j)_x\right)$ has to satisfy
\begin{equation}
\label{u_j_x,w_j_x}
\left\{
\begin{array}{l}
(u_{j+1})_x={\varepsilon} u^0_x+\overline{L'}\left(A|w_j|^p+B|u_j|^q\right),\\
(u_1)_x={\varepsilon} u^0_x,\\
(w_{j+1})_x={\varepsilon} u^0_{tx}+L'\left(Ap|w_j|^{p-2}w_j(w_j)_x+Bq|u_j|^{q-2}u_j(u_j)_x\right),\\
 (w_1)_x={\varepsilon} u^0_{tx},
\end{array}
\right.
\end{equation}
so that the function space in which $\{(u_j,w_j)\}$ converges is
\[
\begin{array}{ll}
X:=&\{(u,w)\in\{C^1({\bf R}\times[0,T])\}^2\ :\ \|(u,w)\|_X<\infty,\\
&\quad\mbox{supp}\ (u,w)\subset\{(x,t)\in{\bf R}\times[0,T]\ :\ |x|\le t+R\}\}
\end{array}
\]
which is equipped with a norm
\[
\|(u,w)\|_X:=\|u\|_1+\|u_x\|_1+\|w\|_2+\|w_x\|_2,
\]
where
\[
\begin{array}{l}
\displaystyle\|u\|_1:=\sup_{(x,t)\in{\bf R}\times[0,T]}|u(x,t)|,\\
\displaystyle\|w\|_2:=\sup_{(x,t)\in{\bf R}\times[0,T]}|(t-|x|+2R)w(x,t)|.
\end{array}
\]
First we note that supp $(u_j,w_j)\subset\{(x,t)\in{\bf R}\times[0,T]\ :\ |x|\le t+R\}$ implies supp
$(u_{j+1},w_{j+1})\subset\{(x,t)\in{\bf R}\times[0,T]\ :\ |x|\le t+R\}$.
It is easy to check this fact by assumption on the initial data (\ref{supp_initial})
and the definitions of $L,\overline{L},L',\overline{L'}$ in the previous section.

\par
The following lemma is a priori estimates.
\begin{prop}
\label{prop:apriori}
Let $(u,w)\in\{C({\bf R}\times[0,T])\}^2$ and supp\ $(u,w)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}$. Then there exists a positive constant $C$ independent of $T$ and ${\varepsilon}$ such that
\begin{equation}
\label{apriori}
\begin{array}{l}
\|L(|w|^p)\|_1\le C\|w\|_2^p(T+R),\ \|L(|u|^q)\|_1\le C\|u\|_1^q(T+R)^2,\\
\|L'(|w|^p)\|_2\le C\|w\|_2^p(T+R),\ \|L'(|u|^q)\|_2\le C\|u\|_1^q(T+R)^2,\\
\|L'(|w|^p)\|_1\le C\|w\|_2^p(T+R),\ \|L'(|u|^q)\|_1\le C\|u\|_1^q(T+R)^2.
\end{array}
\end{equation}
\end{prop}
The proof of Proposition \ref{prop:apriori} is established in the next section.
Set
\[
M:=\sum_{\alpha=0}^2\|f^{(\alpha)}\|_{L^\infty({\bf R})}
+\|g\|_{L^1({\bf R})}+\sum_{\beta=0}^1\|g^{(\beta)}\|_{L^\infty({\bf R})}.
\]
\vskip10pt
\par\noindent
{\bf The convergence of the sequence $\v{\{(u_j,w_j)\}}$.}
\par
First we note that $\|u_1\|_1,\|w_1\|_2\le M{\varepsilon}$ by (\ref{u^0}) and (\ref{u^0_t}).
Since (\ref{u_j,w_j}) and (\ref{apriori}) yield that
\[
\left\{
\begin{array}{ll}
\|u_{j+1}\|_1
&\le M{\varepsilon}+A\|L(|w_j|^p)\|_1+B\|L(|u_j|^q))\|_1\\
&\le M{\varepsilon}+AC\|w_j\|_2^p(T+R)+BC\|u_j\|^q_1(T+R)^2,\\
\|w_{j+1}\|_2
&\le M{\varepsilon}+A\|L'(|w_j|^p)\|_2+B\|L'(|u_j|^q)\|_2\\
&\le M{\varepsilon}+AC\|w_j\|_2^p(T+R)+CB\|u_j\|^q_1(T+R)^2,\
\end{array}
\right.
\]
the boundedness of $\{(u_j,w_j)\}$;
\begin{equation}
\label{bound_(u,w)}
\|u_j\|_1,\|w_j\|_2\le 3M{\varepsilon}\quad(j\in{\bf N})
\end{equation}
follows from
\begin{equation}
\label{condi1}
AC(3M{\varepsilon})^p(T+R),BC(3M{\varepsilon})^q(T+R)^2\le M{\varepsilon}.
\end{equation}
Assuming (\ref{condi1}), one can estimate $(u_{j+1}-u_j)$ and $(w_{j+1}-w_j)$ as follows.
\[
\begin{array}{ll}
\|u_{j+1}-u_j\|_1
&\le\|L(A|w_j|^p-A|w_{j-1}|^p+B|u_j|^q-B|u_{j-1}|^q)\|_1\\
&\le pA\|L\left((|w_j|^{p-1}+|w_{j-1}|^{p-1})|w_j-w_{j-1}|\right)\|_1\\
&\quad+qB\|L\left((|u_j|^{q-1}+|u_{j-1}|^{q-1})|u_j-u_{j-1}|\right)\|_1\\
&\le pAC(T+R)(\|w_j\|_2^{p-1}+\|w_{j-1}\|_2^{p-1})\|w_j-w_{j-1}\|_2\\
&\quad+qBC(T+R)^2(\|u_j\|_1^{q-1}+\|u_{j-1}\|_1^{q-1})\|u_j-u_{j-1}\|_1\\
&\le 2pAC(3M{\varepsilon})^{p-1}(T+R)\|w_j-w_{j-1}\|_2\\
&\quad+2qBC(3M{\varepsilon})^{q-1}(T+R)^2\|u_j-u_{j-1}\|_1
\end{array}
\]
and
\[
\begin{array}{ll}
\|w_{j+1}-w_j\|_2
&\le\|L'(A|w_j|^p-A|w_{j-1}|^p+B|u_j|^q-B|u_{j-1}|^q)\|_2\\
&\le pA\|L'\left((|w_j|^{p-1}+|w_{j-1}|^{p-1})|w_j-w_{j-1}|\right)\|_2\\
&\quad+qB\|L'\left((|u_j|^{q-1}+|u_{j-1}|^{q-1})|u_j-u_{j-1}|\right)\|_2\\
&\le pAC(T+R)(\|w_j\|_2^{p-1}+\|w_{j-1}\|_2^{p-1})\|w_j-w_{j-1}\|_2\\
&\quad+qBC(T+R)^2(\|u_j\|_1^{q-1}+\|u_{j-1}\|_1^{q-1})\|u_j-u_{j-1}\|_1\\
&\le 2pAC(3M{\varepsilon})^{p-1}(T+R)\|w_j-w_{j-1}\|_2\\
&\quad+2qBC(3M{\varepsilon})^{q-1}(T+R)^2\|u_j-u_{j-1}\|_1.
\end{array}
\]
Here we employ H\"older's inequality to obtain
\[
\begin{array}{ll}
\|L(|w_j|^{p-1}|w_j-w_{j-1}|)\|_1
&=\|L\left(\left||w_j|^{(p-1)/p}|w_j-w_{j-1}|^{1/p}\right|^p\right)\|_1\\
&\le C(T+R)\||w_j|^{(p-1)/p}|w_j-w_{j-1}|^{1/p}\|_2^p\\
&\le C(T+R)\|w_j\|_2^{(p-1)}\|w_j-w_{j-1}\|_2
\end{array}
\]
and so on.
Therefore the convergence of $\{U_j\}$ follows from
\begin{equation}
\label{convergence}
\begin{array}{l}
\|u_{j+1}-u_j\|_1+\|w_{j+1}-w_j\|_2\\
\displaystyle\le\frac{1}{2}\left(\|u_j-u_{j-1}\|_1+\|w_j-w_{j-1}\|_2\right)
\end{array}
\quad(j\ge2)
\end{equation}
provided (\ref{condi1}) and
\begin{equation}
\label{condi2}
2pAC(3M{\varepsilon})^{p-1}(T+R),2qBC(3M{\varepsilon})^{q-1}(T+R)^2\le\frac{1}{4}
\end{equation}
are fulfilled.

\vskip10pt
\par\noindent
{\bf The convergence of the sequence $\v{\{\left((u_j)_x,(w_j)_x\right)\}}$.}
\par
First we note that $\|(u_1)_x\|_1,\|(w_1)_x\|_2\le M{\varepsilon}$ by (\ref{u^0_x}) and (\ref{u^0_tx}).
Assume that (\ref{condi1}) and (\ref{condi2}) are fulfilled.
Since (\ref{u_j_x,w_j_x}) and (\ref{apriori}) yield that
\[
\begin{array}{ll}
\|(u_{j+1})_x\|_1
&\le M{\varepsilon}+A\|\overline{L'}\left(|w_j|^p|\right)\|_1+B\|\overline{L'}\left(|u_j|^q|\right)\|_1\\
&\le M{\varepsilon}+AC(T+R)\|w_j\|_2^p+BC(T+R)^2\|u_j\|_1^q\\
&\le M{\varepsilon}+AC(3M{\varepsilon})^p(T+R)+BC(3M{\varepsilon})^q(T+R)^2
\end{array}
\]
because of a trivial property  $|\overline{L'}(v)|\le L'(|v|)$ and
\[
\begin{array}{ll}
\|(w_{j+1})_x\|_2
&\le M{\varepsilon}+pA\|L'\left(|w_j|^{p-1}|(w_j)_x|\right)\|_2\\
&\quad+qB\|L'\left(|u_j|^{q-1}|(u_j)_x|\right)\|_2\\
&\le M{\varepsilon}+pAC(T+R)\|w_j\|_2^{p-1}\|(w_j)_x\|_2\\
&\quad+qBC(T+R)^2\|u_j\|_1^{q-1}\|(u_j)_x\|_1\\
&\le M{\varepsilon}+pAC(3M{\varepsilon})^{p-1}(T+R)\|(w_j)_x\|_2\\
&\quad+qBC(3M{\varepsilon})^{q-1}(T+R)^2\|(u_j)_x\|_1.
\end{array}
\]
The boundedness of $\{\left((u_j)_x,(w_j)_x\right)\}$;
\begin{equation}
\label{bound_U_x}
\|(u_j)_x\|_1,\|(w_j)_x\|_2\le 3M{\varepsilon}\quad(j\in{\bf N})
\end{equation}
follows from
\begin{equation}
\label{condi3}
pAC(3M{\varepsilon})^p(T+R),qBC(3M{\varepsilon})^q(T+R)^2\le M{\varepsilon}.
\end{equation}
Assuming (\ref{condi3}), one can estimate $\{(u_{j+1})_x-(u_j)_x\}$
and $\{(w_{j+1})_x-(w_j)_x\}$ as follows.
It is easy to see that
\[
\begin{array}{ll}
\|(u_{j+1})_x-(u_j)_x\|_1
&\le A\|\overline{L'}(|w_j|^p-|w_{j-1}|^p)\|_1\\
&\quad+B\|\overline{L'}(|u_j|^q-|u_{j-1}|^q)\|_1,
\end{array}
\]
which can be handled like $(w_{j+1}-w_j)$ as before, so that we have that
\[
\begin{array}{ll}
\|(u_{j+1})_x-(u_j)_x\|_1
&\le 2pAC(3M{\varepsilon})^{p-1}(T+R)\|w_j-w_{j-1}\|_2\\
&\quad+2qBC(3M{\varepsilon})^{q-1}(T+R)^2\|u_j-u_{j-1}\|_1
\end{array}
\]
because of $|\overline{L'}(v)|\le L'(|v|)$, which implies that
\begin{equation}
\label{convergence_u_x}
\|(u_{j+1})_x-(u_j)_x\|_1
=O\left(\frac{1}{2^j}\right)
\end{equation}
as $j\rightarrow\infty$ due to (\ref{convergence}).

\par
On the other hand, we have that
\[
\begin{array}{ll}
\|(w_{j+1})_x-(w_j)_x\|_2
&\le pA\|L'(|w_j|^{p-2}w_j(w_j)_x-|w_{j-1}|^{p-2}w_{j-1}(w_{j-1})_x)\|_2\\
&\quad+qB\|L'(|u_j|^{q-2}u_j(u_j)_x-|u_{j-1}|^{q-2}u_{j-1}(u_{j-1})_x)\|_2.
\end{array}
\]
The first term on the right hand side of this inequality is divided into tree pieces
according to
\[
\begin{array}{l}
|w_j|^{p-2}w_j(w_j)_x-|w_{j-1}|^{p-2}w_{j-1}(w_{j-1})_x\\
=(|w_j|^{p-2}-|w_{j-1}|^{p-2})w_j(w_j)_x\\
\quad+|w_{j-1}|^{p-2}(w_j-w_{j-1})(w_j)_x\\
\quad+|w_{j-1}|^{p-2}w_{j-1}((w_j)_x-(w_{j-1})_x).
\end{array}
\]
Since one can employ the estimate
\[
\begin{array}{l}
\left||w_j|^{p-2}-|w_{j-1}|^{p-2}\right|
\\
\le
\left\{
\begin{array}{ll}
(p-2)(|w_j|^{p-3}+|w_{j-1}|^{p-3})|w_j-w_{j-1}| & \mbox{for}\ p\ge3,\\
|w_j-w_{j-1}|^{p-2} & \mbox{for}\ 2<p<3,\\
0 & \mbox{for}\ p=2,
\end{array}
\right.
\end{array}
\]
and the same one in which $w$ is replaced with $u$, we obtain that
\[
\begin{array}{l}
\|(w_{j+1})_x-(w_j)_x\|_2\\
\le pAC(T+R)\|w_j\|_2\|(w_j)_x\|_2\times\\
\qquad\times
\left\{
\begin{array}{ll}
(p-2)(\|w_j\|_2^{p-3}+\|w_{j-1}\|_2^{p-3})\|w_j-w_{j-1}\|_2 & \mbox{for}\ p\ge3,\\
\|w_j-w_{j-1}\|_2^{p-2} & \mbox{for}\ 2<p<3\\
0 & \mbox{for}\ p=2
\end{array}
\right.
\\
\quad+pAC(T+R)\|w_{j-1}\|_2^{p-2}\|w_j-w_{j-1}\|_2\|(w_j)_x\|_2\\
\quad+pAC(T+R)\|w_{j-1}\|_2^{p-2}\|w_{j-1}\|_2\|(w_j)_x-(w_{j-1})_x\|_2\\
\quad +qBC(T+R)^2\|u_j\|_1\|(u_j)_x\|_1\times\\
\qquad\times
\left\{
\begin{array}{ll}
(q-2)(\|u_j\|_1^{q-3}+\|u_{j-1}\|_1^{q-3})\|u_j-u_{j-1}\|_1 & \mbox{for}\ q\ge3,\\
\|u_j-u_{j-1}\|_1^{q-2} & \mbox{for}\ 2<q<3\\
0 & \mbox{for}\ q=2
\end{array}
\right.
\\
\quad+qBC(T+R)^2\|u_{j-1}\|_1^{q-2}\|u_j-u_{j-1}\|_1\|(u_j)_x\|_1\\
\quad+qBC(T+R)^2\|u_{j-1}\|_1^{q-2}\|u_{j-1}\|_1\|(u_j)_x-(u_{j-1})_x\|_1.
\end{array}
\]
Hence it follows from (\ref{convergence}) and (\ref{convergence_u_x}) that
\[
\begin{array}{ll}
\|(w_{j+1})_x-(w_j)_x\|_2
&\le pAC(3M{\varepsilon})^{p-1}(T+R)\|(w_j)_x-(w_{j-1})_x\|_2\\
&\quad\displaystyle+
O\left(\frac{1}{2^{j\min\{(p-2)_+,(q-2)_+,1\}}}\right)
\end{array}
\]
as $j\rightarrow\infty$.
Therefore we obtain the convergence of $\{\left((u_j)_x,(w_j)_x\right)\}$ provided
\begin{equation}
\label{condi4}
pAC(3M{\varepsilon})^{p-1}(T+R)\le\frac{1}{2}.
\end{equation}

\vskip10pt
\par\noindent
{\bf Continuation of the proof.}
\par
The convergence of the sequence $\{(u_j,w_j)\}$ to $(u,w)$ in the closed subspace of $X$
satisfying
\[
 \|u\|_1,\|(u_x)\|_1,\|w\|_2,\|(w)_x\|_2\le 3M{\varepsilon}
 \]
is established by (\ref{condi1}), (\ref{condi2}), (\ref{condi3}), (\ref{condi4})
which follow from
\[
C_0{\varepsilon}^{p-1}(T+R)\le1\quad\mbox{and}\quad C_0{\varepsilon}^{q-1}(T+R)^2\le1,
\]
where
\[
\begin{array}{ll}
C_0:=\max &
\{3^pACM^{p-1},3^qBCM^{q-1},\\
&\quad2^33^{p-1}pACM^{p-1}, 2^33^{q-1}qBCM^{q-1},\\
&\quad 3^ppACM^{p-1},3^3qBCM^{q-1},2\cdot3^{p-1}ACM^{p-1}\}.
\end{array}
\]
Therefore the statement of Theorem \ref{thm:lower-bound_non-zero} for $p,q\ge2$
is established with
\[
\left\{
\begin{array}{l}
\displaystyle c=\frac{1}{2}\min\{C_0^{-1},C_0^{-1/2}\},\\
{\varepsilon}_1:=\min\{(2C_0R)^{-1/(p-1)},(2^2C_0R^2)^{-2/(q-1)}\}
\end{array}
\right.
\]
because
\[
R\le\frac{1}{2}\min\{C_0^{-1}{\varepsilon}^{-(p-1)},C_0^{-1/2}{\varepsilon}^{-(q-1)/2}\}
\]
folds for $0<{\varepsilon}\le{\varepsilon}_1$.
\par
In the case of $1<p<2$ or $1<q<2$, $X$ and $M$ in the proof for $p,q\ge2$ above are replaced
with $X_0$ and $M_0$ respectively, where
\[
\begin{array}{l}
\begin{array}{ll}
X_0:=&\{(u,w)\in\{C({\bf R}\times[0,T])\}^2\\
&:\ \|(u,w)\|_{X_0}<\infty,\ \mbox{supp}\ (u,w)\subset\{|x|\le t+R\}\},
\end{array}\\
\ \|(u,w)\|_{X_0}:=\|u\|_1+\|w\|_2
\end{array}
\]
and
\[
M_0:=\|f\|_{L^\infty({\bf R})}+\|f'\|_{L^\infty({\bf R})}+\|g\|_{L^1({\bf R})}+\|g\|_{L^\infty({\bf R})}.
\]
It is trivial that the convergence of $\{(u_j,w_j)\}$ to $(u,w)$ in the closed subspace $X_0$
satisfying $\|u\|_1,\|w\|_2\le 3M_0{\varepsilon}$ follows from (\ref{condi1}) and (\ref{condi2}),
so that the proof of Theorem \ref{thm:lower-bound_non-zero} is completed now.
\hfill$\Box$

\section{Proof of Proposition \ref{prop:apriori}}
\par
In this section, we prove a priori estimate (\ref{apriori}).
Recall the definition of $L$ in (\ref{nonlinear}) and $L'$ in (\ref{nonlinear_derivative}).
From now on, a positive constant $C$ independent of $T$ and ${\varepsilon}$
may change from line to line.

\par
It follows from the assumption on the supports and the definition of $L$ that
\[
|L(|w|^p)(x,t)|\le C\|w\|_2^pI_1(x,t)
\quad\mbox{for}\ |x|\le t+R,
\]
where we set
\[
I_1(x,t):=\int_0^tds\int_{x-t+s}^{x+t-s}(s-|y|+2R)^{-p}\chi_{\mbox{\footnotesize supp}\ w}(y,s)dy.
\]
First, we consider the case of $x\ge0$.
From now on, we employ changing variables by
\[
\alpha=s+y,\beta=s-y.
\]
For $t+x\ge R$ and $t-x\ge R$, making use of  the symmetry of the weight in $y$ and
extending the domain of the integral, we have that
\[
\begin{array}{ll}
I_1(x,t)
&\displaystyle\le C\int_{-R}^Rd\beta\int_{-R}^{t+x}d\alpha\\
&\displaystyle\quad+C\int_R^{t-x}d\beta\int_{-R}^R(\alpha+2R)^{-p}d\alpha\\
&\displaystyle\quad+C\int_R^{t-x}(\beta+2R)^{-p}d\beta\int_R^{t+x}d\alpha\\
&\le C(t+x+R)\le C(T+R).
\end{array}
\]
For $t+x\ge R$ and $|t-x|\le R$, we also have that
\[
I_1(x,t)\le C\int_{-R}^{t-x}d\beta\int_{-R}^{t+x}d\alpha\le C(T+R).
\]
For $t+x\le R$, it is trivial that
\[
I_1(x,t)\le C.
\]
Summing up, we obtain that
\[
|L(|w|^p)(x,t)|\le C\|w\|_2^p(T+R)
\quad\mbox{for}\ 0\le x\le t+R.
\]
The case of $x\le0$ is similar to the above, so that we shall omit the details.
Therefore we obtain the first inequality of the first line of (\ref{apriori}).

\par
The second inequality of the first line of (\ref{apriori}) follows from
\[
|L(|u|^q)(x,t)|\le C\|u\|_1^qI_2(x,t)
\quad\mbox{for}\ |x|\le t+R,
\]
where
\[
I_2(x,t):=\int_0^tds\int_{x-t+s}^{x+t-s}\chi_{\mbox{\footnotesize supp}\ u}(y,s)dy.
\]
Because it is trivial that
\[
I_2(x,t)\le C(T+R)^2\quad\mbox{for}\ |x|\le t+R.
\]

\par
Next, we shall show the second line in (\ref{apriori}).
It follows from the assumption on the supports and the definition of $L'$ that
\[
|L'(|w|^p)(x,t)|\le
C\|w\|_2^p\{I_+(x,t)+I_-(x,t)\}
\quad\mbox{for}\ |x|\le t+R,
\]
where the integrals $I_+$ and $I_-$ are defined by
\[
I_\pm(x,t):=\int_0^t(s-|t-s\pm x|+2R)^{-p}\chi_\pm(x,t;s)ds
\]
and the characteristic functions $\chi_+$ and $\chi_-$ are defined by
\[
\chi_\pm(x,t;s):=\chi_{\{s: |t-s\pm x|\le s+R\}},
\]
respectively.
First we note that it is sufficient to  estimate $I_\pm$ for $x\ge0$ due to its symmetry,
\[
I_+(-x,t)=I_-(x,t).
\]
Hence it follows from $0\le x\le t+R$ as well as
\[
|t-s+x|\le s+R\quad\mbox{and}\quad 0\le s\le t
\]
that
\[
\frac{t+x-R}{2}\le s\le t.
\]
Therefore we obtain
\[
I_+(x,t)\le\int_{(t+x-R)/2}^t(s-(t-s+x)+2R)^{-p}ds\le C
\quad\mbox{for}\ 0\le x\le t+R.
\]

\par
On the other hand, the estimate for $I_-$ is divided into two cases.
If $t-x\ge0$, then  $|t-s-x|\le s+R$ yields that
\[
\left\{
\begin{array}{ll}
t-s-x\le s+R & \mbox{for}\ 0\le s\le t-x,\\
-t+s+x\le s+R & \mbox{for}\ t-x\le s\le t,
\end{array}
\right.
\]
so that
\[
\begin{array}{ll}
I_-(x,t)
&\displaystyle\le\int_{(t-x-R)/2}^{t-x}(s-(t-s-x)+2R)^{-p}ds\\
&\displaystyle\quad+\int_{t-x}^t(s+(t-s-x)+2R)^{-p}ds\\
&\displaystyle\le C(1+(t-x+2R)^{-p}x)
\end{array}
\]
follows.
Therefore, neglecting $(t-x+2R)^{1-p}$, we obtain
\[
I_-(x,t)\le C(t-x+2R)^{-1}(T+R)\quad\mbox{for}\ t-x\ge0.
\]
If $(-R\le)t-x\le0$, $|t-s-x|\le s+R$ yields
\[
s-t+x\le s+R\quad\mbox{for}\quad 0\le s\le t,
\]
so that
\[
I_-(x,t)\le\int_0^t(s-(s-t+x)+2R)^{-p}ds.
\]
Therefore we obtain
\[
I_-(x,t)\le C(t-x+2R)^{-1}(T+R)\quad\mbox{for}\ -R\le t-x\le0.
\]
Summing up all the estimates for $I_+$ and $I_-$, we have
\[
|L'(|w|^p)(x,t)|\le
C\|w\|_2^p(t-|x|+2R)^{-1}(T+R)\quad\mbox{for}\ |x|\le t+R.
\]
This yields the first inequality of the second and third lines in (\ref{apriori}).

\par
The second inequality in the second and third lines in (\ref{apriori}) readily follows from
\[
|L'(|u|^q)(x,t)|\le
C\|u\|_1^q\{K_+(x,t)+K_-(x,t)\}
\quad\mbox{for}\ |x|\le t+R,
\]
where the integrals $K_+$ and $K_-$ are defined by
\[
K_\pm(x,t):=\int_0^t\chi_\pm(x,t;s)ds.
\]
Because it is easy to obtain that
\[
K_\pm(x,t)\le C(t-|x|+2R)^{-1}(T+R)^2
\quad\mbox{for}\ |x|\le t+R.
\]
The proof of Proposition \ref{prop:apriori} is now completed.
\hfill$\Box$.

\section{Proof of Theorem \ref{thm:lower-bound_zero}}
\par
First we note that the strong Huygens' principle
\begin{equation}
\label{Huygens}
u^0(x,t)\equiv0\quad\mbox{in}\ D
\end{equation}
holds in this case of (\ref{zero}), were
\[
D:=\{(x,t)\in{\bf R}\times[0,\infty)\ :\ t-|x|\ge R\}.
\]
This is almost trivial if one takes a look on the representation of $u^0$ in (\ref{u^0})
and the support condition on the data in (\ref{supp_initial}).
But one can see also Proposition 2.2
in Kitamura, Morisawa and Takamura \cite{KMT22} for its details.
So, our unknown functions are
$U:=u-{\varepsilon} u^0$ and $W:=w-{\varepsilon} u_t^0$ in (\ref{system}).
Let $\{(U_j,W_j)\}_{j\in{\bf N}}$ be a sequence of $\{C^1({\bf R}\times[0,T])\}^2$ defined by
\begin{equation}
\label{U_j,W_j}
\left\{
\begin{array}{ll}
U_{j+1}=L(A|W_j+{\varepsilon} u_t^0|^p+B|U_j+{\varepsilon} u^0|^q), & U_1=0,\\
W_{j+1}=L'(A|W_j+{\varepsilon} u_t^0|^p+B|U_j+{\varepsilon} u^0|^q), &  W_1=0.
\end{array}
\right.
\end{equation}
Then, $\left\{\left((U_j)_x,(W_j)_x\right)\right\}$ has to satisfy
\begin{equation}
\label{U_j_x,W_j_x}
\left\{
\begin{array}{ll}
(U_{j+1})_x&=\overline{L'}\left(A|W_j+{\varepsilon} u_t^0|^p+B|U_j+{\varepsilon} u^0|^q\right),\\
(U_1)_x &=0,\\
(W_{j+1})_x
& =L'\left(Ap|W_j+{\varepsilon} u_t^0|^{p-2}(W_j+{\varepsilon} u_t^0)((W_j)_x+{\varepsilon} u_{tx}^0)\right)\\
& \quad+L'\left(Bq|U_j+{\varepsilon} u^0|^{q-2}(U_j+{\varepsilon} u^0)((U_j)_x+{\varepsilon} u_x^0)\right)\\
(W_1)_x &=0,
\end{array}
\right.
\end{equation}
so that the function space in which $\{(u_j,w_j)\}$ converges is
\[
\begin{array}{ll}
Y:=&\{(U,W)\in\{C^1({\bf R}\times[0,T])\}^2\b :\ \|(U,W)\|_Y<\infty,\\
&\quad \mbox{supp}\ (U,W)\subset\{|x|\le t+R\}\}
\end{array}
\]
which is equipped with a norm
\[
\|(U,W)\|_Y:=\|U\|_3+\|U_x\|_3+\|W\|_4+\|W_x\|_4,
\]
where
\[
\begin{array}{l}
\displaystyle\|U\|_3:=\sup_{(x,t)\in{\bf R}\times[0,T]}(t+|x|+R)^{-1}|U(x,t)|,\\
\displaystyle\|W\|_4:=\sup_{(x,t)\in{\bf R}\times[0,T]}\{\chi_D(x,t)+(1-\chi_D(x,t))(t+|x|+R)^{-1}\}|W(x,t)|,
\end{array}
\]
and $\chi_D$ is a characteristic function of $D$.
 Similarly to the proof of Theorem \ref{thm:lower-bound_non-zero},
we note that supp $(U_j,W_j)\in\{(x,t)\in{\bf R}\times[0,T]\ :\ |x|\le t+R\}$ implies
supp $(U_{j+1},W_{j+1})\in\{(x,t)\in{\bf R}\times[0,T]\ :\ |x|\le t+R\} $.

\par
The following lemmas are a priori estimates in this case.
\begin{prop}
\label{prop:apriori_linear}
Let $(U,W)\in\{C({\bf R}\times[0,T])\}^2$ with
\[
\mbox{\rm supp}\ (U,W)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}
\]
and $U^0\in C({\bf R}\times[0,T])$ with
\[
\mbox{\em supp}\ U^0\subset\{(x,t)\in{\bf R}\times[0,T]:(t-|x|)_+\le|x|\le t+R\}.
\]
Then there exists a positive constant $E$ independent of $T$ and ${\varepsilon}$ such that
\begin{equation}
\label{apriori_linear}
\left\{
\begin{array}{ll}
\|L(|U^0|^{p-m}|W|^m)\|_3 & \le E\|U^0\|_\infty^{p-m}\|W\|_4^m(T+R)^m,\\
\|L(|U^0|^{q-m}|U|^m)\|_3 & \le E\|U^0\|_\infty^{q-m}\|U\|_3^m(T+R)^m,\\
\|L'(|U^0|^{p-m}|W|^m)\|_4 & \le E\|U^0\|_\infty^{p-m}\|W\|_4^m(T+R)^m,\\
\|L'(|U^0|^{q-m}|U|^m)\|_4 & \le E\|U^0\|_\infty^{q-m}\|U\|_3^m(T+R)^m,\\
\|L'(|U^0|^{p-m}|W|^m)\|_3 & \le E\|U^0\|_\infty^{p-m}\|W\|_4^m(T+R)^m,\\
\|L'(|U^0|^{q-m}|U|^m)\|_3 & \le E\|U^0\|_\infty^{q-m}\|U\|_3^m(T+R)^m,
\end{array}
\right.
\end{equation}
where $p-m,q-m>0\ (m=0,1,2)$ and the norm $\|\cdot\|_\infty$ is defined by
\[
\|U^0\|_\infty:=\sup_{(x,t)\in{\bf R}\times[0,T]}|U^0(x,t)|.
\]
\end{prop}

\begin{prop}
\label{prop:apriori_zero}
Let $(U,W)\in\{C({\bf R}\times[0,T])\}^2$ with
\[
\mbox{\rm supp}\ (U,W)\subset\{(x,t)\in{\bf R}\times[0,T]:|x|\le t+R\}.
\]
Then there exists a positive constant $C$ independent of $T$ and ${\varepsilon}$ such that
\begin{equation}
\label{apriori_zero}
\left\{
\begin{array}{ll}
\|L(|W|^p)\|_3 & \le C\|W\|_4^p(T+R)^p,\\
\|L(|U|^q)\|_3 & \le C\|U\|_3^q(T+R)^{q+1},\\
\|L'(|W|^p)\|_4 & \le C\|W\|_4^p(T+R)^p,\\
\|L'(|U|^q)\|_4 & \le C\|U\|_3^q(T+R)^{q+1},\\
\|L'(|W|^p)\|_3 & \le C\|W\|_4^p(T+R)^p,\\
\|L'(|U|^q)\|_3 & \le C\|U\|_3^q(T+R)^{q+1}.
\end{array}
\right.
\end{equation}
\end{prop}

The proofs of Proposition \ref{prop:apriori_linear} and \ref{prop:apriori_zero}
are established in the next section and after the next section respectively.
Set
\[
\begin{array}{ll}
N:=
&\displaystyle(2^ppA+2^qqB)E\left[\sum_{\gamma=0}^1\left\{\sum_{\alpha=0}^2
\left(\|f^{(\alpha)}\|_{L^\infty({\bf R})}^{p-\gamma}+\|f^{(\alpha)}\|_{L^\infty({\bf R})}^{q-\gamma}\right)\right.\right.\\
&\displaystyle\left.
+\|g\|_{L^1({\bf R})}^{p-\gamma}+\|g\|_{L^1({\bf R})}^{q-\gamma}+
\sum_{\beta=0}^1\left(\|g^{(\beta)}\|_{L^\infty({\bf R})}^{p-\gamma}
+\|g^{(\beta)}\|_{L^\infty({\bf R})}^{q-\gamma}\right)\right\}\\
&\displaystyle\left.+\sum_{\alpha=0}^2\|f^{(\alpha)}\|_{L^\infty({\bf R})}
+\|g\|_{L^1({\bf R})}+\sum_{\beta=0}^1\|g^{(\beta)}\|_{L^\infty({\bf R})}\right],
\end{array}
\]
where $E$ is the one in (\ref{apriori_linear}).
Since $u^0,u_t^0,u^0_x,u^0_{tx}$ satisfy
\[
\begin{array}{ll}
\|u^0\|_{\infty}
&\le\|f\|_{L^\infty(\mathbf{R})} + \|g\|_{L^1(\mathbf{R})},\\
\|u_t^0\|_{\infty},\ \|u^0_x\|_{\infty}
&\le \|f'\|_{L^\infty(\mathbf{R})}+\|g\|_{L^\infty(\mathbf{R})},\\
\|u^0_{tx}\|_{\infty}
&\le \|f''\|_{L^\infty(\mathbf{R})}+\|g'\|_{L^\infty(\mathbf{R})},
\end{array}
\]
we have that
\[
\begin{array}{ll}
\|u^0\|_{\infty}^p
&
\le 2^p\left(\|f\|_{L^\infty}^p+\|g\|_{L^1(\mathbf{R})}^p\right),\\
\|u^0_t\|_{\infty}^p,\ \|u^0_x\|_{\infty}^p
&\le 2^p\left(\|f'\|_{L^\infty(\mathbf{R})}^p+\|g\|_{L^\infty(\mathbf{R})}^p\right),\\
\|u^0_{tx}\|_{\infty}^p
&\le 2^p\left(\|f''\|_{L^\infty(\mathbf{R})}^p+\|g'\|_{L^\infty(\mathbf{R})}^p\right).
\end{array}
\]
Let us assume that
\[
0<{\varepsilon}\le1
\]
and define ${\varepsilon}_{2i}\ (i=1,2,3,4)$ respectively by
\begin{equation}
\label{epsilon}
\begin{array}{ll}
{\varepsilon}_{21}:= \min
&\left\{\left(2^{2p}3^pACN^{p-1}R^p\right)^{-1/(\min\{p,q\}(p-1))},\right.\\
&\quad\left.\left(2^{2q+1}3^qBCN^{q-1}R^{q+1}\right\}^{-(q+1)/(\min\{p,q\}(q-1))}\right\},\\
{\varepsilon}_{22}:=\min
&\left\{\left(2^33^{2(p-1)}pACN^{p-1}R^p\right)^{-1/(\min\{p,q\}(p-1))},\right.\\
&\quad\left(2^23^{p-1}NR\right)^{-1/(p-1)},\\
&\quad\left(2^33^{2(q-1)}qBCN^{q-1}R^{q+1}\right)^{-(q+1)/(\min\{p,q\}(q-1))},\\
&\quad\left.\left(2^23^{q-1}NR\right)^{-1/(q-1)}\right\}\\
{\varepsilon}_{23}:=\min
&\left\{{\varepsilon}_{21},(2^{2p-1}3^{p+1}pACN^{p-1}R^p)^{-1/\min\{p,q\}(p-1)},\right.\\
&\quad\left(2^{p-1}3^pN^{p-1}R^{p-1} \right)^{-(p-1)/(\min\{p,q\}(p-2)+1)},\\
&\quad\left(2\cdot3^2NR \right)^{-1/(p-1)},\\
&\quad\left(2^{2q}3^{q+1}qBN^{q-1}R^{q+1}\right)^{-(q+1)/(\min\{p,q\}(q-1))},\\
&\quad\left(2^{q-1}3^{q}N^{q-1}R^{q-1} \right)^{-(q-1)/(\min\{p,q\}(q-2)+1)},\\
&\quad\left.\left(2\cdot3^2NR\right)^{-1/(q-1)}\right\},\\
{\varepsilon}_{24}:= \min
&\left\{\left(2^{2p+1}3^{p-1}pACN^{p-1}R^p\right)^{^{-1/(\min\{p,q\}(p-1))}},\right.\\
&\quad\left.\left(2^3NR\right)^{-1/(p-1)}\right\}.
\end{array}
\end{equation}

\vskip10pt
\par\noindent
{\bf The convergence of the sequence $\v{\{(U_j,W_j)\}}$.}
\par
It follows from (\ref{U_j,W_j}), Proposition \ref{prop:apriori_linear} and \ref{prop:apriori_zero}
that
\[
\begin{array}{ll}
\|U_{j+1}\|_3
&\le A\|L(|W_j + {\varepsilon} u^0_t|^p)\|_3 + B\|L(|U_j + {\varepsilon} u^0|^q)\|_3\\
&\le 2^pA\left\{\|L(|W_j|^p)\|_3+ \|L({\varepsilon} |u^0_t|^p)\|_3\right\}\\
&\quad+2^q B\left\{\|L(|U_j|^q)\|_3+ \|L({\varepsilon}|u^0|^q)\|_3 \right\}\\
&\le 2^pA\left\{C\|W_j\|_4^p(T+R)^p +E{\varepsilon}^p\|u_t^0\|_\infty^p\right\}\\
&\quad+2^q B\left\{C\|U_j\|_3^q(T+R)^{q+1} + E{\varepsilon}^q\|u^0\|_\infty^q \right\}.\\
&\le 2^pAC\|W_j\|_4^p(T+R)^{p}+2^qBC\|U_j\|_3^q(T+R)^{q+1} +N{\varepsilon}^{\min\{p,q\}}
\end{array}
\]
and
\[
\begin{array}{ll}
\|W_{j+1}\|_4
&\le A\|L'(|W_j + {\varepsilon} u_t^0 |^p)\|_4 + B\|L'(|U_j + {\varepsilon} u_0|^q)\|_4\\
&\le 2^pA\left\{\|L'(|W_j|^p)\|_4  + \|L'({\varepsilon}| u^0_t|^p)\|_4 \right\}\\
&\quad+2^q B\left\{\|L'(|U_j|^q)\|_4 + \|L'({\varepsilon}|u^0|^q)\|_4 \right\}\\
&\le 2^pA\left\{C\|W_j\|_4^p(T+R)^p + E{\varepsilon}^p\|u_t^0\|_\infty^p \right\}\\
&\quad+2^qB\left\{C\|U_j\|_3^q(T+R)^{q+1} + E{\varepsilon}^q\|u^0\|_\infty^q \right\}\\
&\le2^pAC\|W_j\|_4^p(T+R)^p +2^qBC\|U_j\|_3^{q}(T+R)^{q+1}+N{\varepsilon}^{\min\{p,q\}}.
\end{array}
\]
Hence the boundedness of $\{(U_j,W_j)\}$;
\begin{equation}
\label{bound_(U,W)}
\|U_j\|_3,\|W_j\|_4\le 3N{\varepsilon}^{\min\{p,q\}}\quad(j\in{\bf N})
\end{equation}
follows from
\begin{equation}
\label{condi5}
\left\{
\begin{array}{ll}
2^pAC(3N{\varepsilon})^{p\min\{p,q\}}(T+R)^p
&\le N{\varepsilon}^{\min\{p,q\}},\\
2^qBC(3N{\varepsilon})^{q\min\{p,q\}}(T+R)^{q+1}
&\le N{\varepsilon}^{\min\{p,q\}}.
\end{array}
\right.
\end{equation}
Since (\ref{epsilon}) yield that
\[
R \le C_1\min\left\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-\min\{p,q\}(q-1)/(q+1)}\right\}
\]
for $0<{\varepsilon}\le{\varepsilon}_{21}$,
where
\[
C_1:=\frac{1}{2} \min\left\{\left(2^p3^{p}ACN^{p-1}\right)^{-1/p},
\left(2^qBCN^{q-1}\right)^{-1/(q+1)}\right\},
\]
we find that (\ref{condi5}) as well as (\ref{bound_(U,W)}) follows from
\begin{equation}
\label{lifespan_step1}
T\le C_1\min\left\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-\min\{p,q\}(q-1)/(q+1)}\right\}
\end{equation}
for $0<{\varepsilon}\le{\varepsilon}_{21}$.

\par
Let us write down this inequality in each cases.
It follows from
\[
\frac{p-1}{p}-\frac{q-1}{q+1}= \frac{2p-q-1}{p(q+1)}
\]
that
\[
T\le C_1{\varepsilon}^{-p(p-1)/p} = C_1{\varepsilon}^{-(p-1)}
\quad\mbox{for}\ p\le \frac{q+1}{2}(<q)
\]
because of $\min\{p,q\} = p$,
\[
T\le C_1{\varepsilon}^{-p(q-1)/(q+1)}
\quad\mbox{for}\ \frac{q+1}{2}\le p\le q
\]
because of $\min\{p,q\} = p$, and
\[
T\le C_1{\varepsilon}^{-q(q-1)/(q+1)}
\quad\mbox{for}\ p\ge q
\]
because of $\min\{p,q\} = q$.

\par
Next, assuming (\ref{lifespan_step1}), one can estimate $(U_{j+1}-U_j)$ and $(W_{j+1}-W_j)$ as follows. The inequalities
\[
\begin{array}{l}
\|U_{j+1}-U_j\|_3\\
=\|L(A|W_j + {\varepsilon} u^0_t|^p-A|W_{j-1} + {\varepsilon} u^0_t|^p\\
\quad+
B|U_j + {\varepsilon} u^0|^q - B|U_{j-1} + {\varepsilon} u^0|^q)\|_3\\
\le  pA\|L(|W_{j-1} + {\varepsilon} u^0_t + \theta (W_j-W_{j-1})|^{p-1}|W_j-W_{j-1}|)\|_3\\
\quad+qB\|L(|U_{j-1} + {\varepsilon} u^0 + \theta(U_j-U_{j-1})|^{q-1}|U_j-U_{j-1}|)\|_3\\
\le
3^{p-1}pA\|L(|W_{j-1}|^{p-1} + |W_j|^{p-1} + {\varepsilon}^{p-1}|u^0_t|^{p-1})|W_j-W_{j-1}|\|_3\\
\quad+3^{q-1}qB\|L(|U_{j-1}|^{q-1} + |U_j|^{q-1} + {\varepsilon}^{q-1}|u^0|^{q-1})|U_j-U_{j-1}|\|_3 \\
\le 3^{p-1}pAC(\|W_{j-1}\|^{p-1}_4 + \|W_j\|^{p-1}_4)\|W_j-W_{j-1}\|_4(T+R)^p\\
\quad+3^{p-1}pAE{\varepsilon}^{p-1}\|u_t^0\|_\infty^{p-1}\|W_j-W_{j-1}\|_4(T+R)\\
\quad+3^{q-1}qBC(\|U_{j-1}\|^{q-1}_3 + \|U_j\|^{q-1}_3)\|U_j-U_{j-1}\|_3(T+R)^{q+1}\\
\quad+3^{q-1}qBE{\varepsilon}^{q-1}\|u^0\|^{q-1}_\infty\|U_j-U_{j-1}\|_3(T+R)\\
\le3^{p-1}\left\{2pAC(3N{\varepsilon}^{\min\{p,q\}})^{p-1}(T+R)^p
+N{\varepsilon}^{p-1}(T+R)\right\}\\
\qquad\times\|W_j-W_{j-1}\|_4\\
\quad+3^{q-1}\left\{2qBC(3N{\varepsilon}^{\min\{p,q\}})^{q-1}(T+R)^{q+1}
+N{\varepsilon}^{q-1}(T+R)\right\}\\
\qquad\times\|U_j-U_{j-1}\|_3
\end{array}
\]
and
\[
\begin{array}{l}
\|W_{j+1}-W_j\|_4\\
=\|L'(A|W_j + {\varepsilon} u_t^0 |^p -A|W_{j-1} + {\varepsilon} u_t^0 |^p\\
\quad+ B|U_j+ {\varepsilon} u_0|^q-B|U_{j-1} + {\varepsilon} u_0|^q)\|_4\\
\le 3^{p-1}pA\|L'(|W_{j-1}|^{p-1} + |W_j|^{p-1} + {\varepsilon}^{p-1}|u^0_t|^{p-1})|W_j-W_{j-1}|\|_4\\
\quad+3^{q-1}qB\|L'(|U_{j-1}|^{q-1} + |U_j|^{q-1} + {\varepsilon}^{q-1}|u^0|^{q-1})|U_j-U_{j-1}|\|_4\\
\le 3^{p-1}pAC(\|W_{j-1}\|^{p-1}_4 + \|W_j\|_4^{p-1})\|W_j-W_{j-1}\|_4(T+R)^p\\
\quad+3^{p-1}pAE{\varepsilon}^{p-1}\|u_t^0\|_\infty^{q-1}\|W_j-W_{j-1}\|_4(T+R)\\
\quad+3^{q-1}qBC(\|U_{j-1}\|_3^{q-1} + \|U_j\|_3^{q-1})\|U_j-U_{j-1}\|_3(T+R)^{q+1}\\
\quad+3^{q-1}qBE{\varepsilon}^{q-1}\|u^0\|_\infty^{q-1}\|U_j-U_{j-1}\|_3(T+R)\\
\le3^{p-1}\left\{2pAC(3N{\varepsilon}^{\min\{p,q\}})^{p-1})(T+R)^p
+N{\varepsilon}^{p-1}(T+R)\right\}\\
\qquad\times
\|W_j-W_{j-1}\|_4\\
\quad+3^{q-1}\left\{2qBC(3N{\varepsilon}^{\{\min\{p,q\}})^{q-1}(T+R)^{q+1}
+N{\varepsilon}^{q-1}(T+R))\right\}\\
\qquad\times\|U_j-U_{j-1}\|_3
\end{array}
\]
hold with some $\theta\in(0,1)$.
Here we employ H\"older's inequality like the one in the proof of Theorem
\ref{thm:lower-bound_non-zero}.
Therefore the convergence of $\{U_j\}$ follows from
\begin{equation}
\label{convergence_zero}
\begin{array}{l}
\|U_{j+1}-U_j\|_3+\|W_{j+1}-W_j\|_4\\
\displaystyle\le\frac{1}{2}\left(\|U_j-U_{j-1}\|_3+\|W_j-W_{j-1}\|_4\right)
\end{array}
\quad(j\ge2)
\end{equation}
provided (\ref{condi5}) and
\begin{equation}
\label{condi6}
\left\{
\begin{array}{ll}
2pAC(3N{\varepsilon}^{\min\{p,q\}})^{p-1}(T+R)^p+N{\varepsilon}^{p-1}(T+R)
&\displaystyle\le\frac{1}{3^{p-1}4},\\
2qBC(3N{\varepsilon}^{\min\{p,q\}})^{q-1}(T+R)^{q+1}+N{\varepsilon}^{q-1}(T+R)
&\displaystyle\le\frac{1}{3^{q-1}4}
\end{array}
\right.
\end{equation}
are fulfilled.
Since (\ref{epsilon}) yields that
\[
\begin{array}{ll}
R \le
C_2\min
&\left\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-(p-1)}\right.,\\
&\quad\left.{\varepsilon}^{-\min\{p,q\}(q-1)/(q+1)},{\varepsilon}^{-(q-1)}\right\},
\end{array}
\]
for $0<{\varepsilon}\le{\varepsilon}_{22}$, where
\[
\begin{array}{ll}
C_2:=\displaystyle\frac{1}{2}\min
&\left\{
\left(2^33^{2(p-1)}pACN^{p-1}\right)^{-1/p},
(2^23^{p-1}pAN)^{-1},\right.\\
&\quad\left.\left(2^33^{2(q-1)}qBCN^{q-1}\right)^{-1/(q+1)},
(2^23^{q-1}qBN)^{-1}\right\},
\end{array}
\]
we find that (\ref{condi6}) as well as (\ref{convergence_zero}) follows from
\begin{equation}
\label{lifespan_step2}
T\le C_2
\min\left\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-(p-1)},
{\varepsilon}^{-\min\{p,q\}(q-1)/(q+1)},{\varepsilon}^{-(q-1)}\right\}
\end{equation}
for $0<{\varepsilon}\le{\varepsilon}_{22}$.

\par
It is trivial that
\[
\begin{array}{ll}
 {\varepsilon}^{-\min\{p,q\}(p-1)/p}={\varepsilon}^{-(p-1)}\le{\varepsilon}^{-(q-1)} & \mbox{for}\ p\le q,\\
{\varepsilon}^{-\min\{p,q\}(q-1)/(q+1)\}}={\varepsilon}^{-q(q-1)/(q+1)}\le{\varepsilon}^{-(q-1)} & \mbox{for}\ p\ge q.
\end{array}
\]
Therefore the computations after (\ref{lifespan_step1}) implies that
(\ref{lifespan_step2}) is equivalent to
\[
T\le
\left\{
\begin{array}{ll}
C_2{\varepsilon}^{-(p-1)} & \mbox{for}\ p\le\displaystyle\frac{q+1}{2}(<q),\\
C_2{\varepsilon}^{-p(q-1)/(q+1)} & \mbox{for}\ \displaystyle\frac{q+1}{2}\le p\le q,\\
C_2{\varepsilon}^{-q(q-1)/(q+1)} & \mbox{for}\ p\ge q.
\end{array}
\right.
\]

\vskip10pt
\par\noindent
{\bf The convergence of the sequence $\v{\{((U_j)_x,(W_j)_x)\}}$.}
\par
Assume (\ref{lifespan_step1}) and (\ref{lifespan_step2}).
Then we have (\ref{bound_(U,W)}) and (\ref{convergence_zero}).
Since it follows from (\ref{U_j_x,W_j_x}) that
\[
\begin{array}{ll}
|(U_{j+1})_x|
&\le 2^pA\{\overline{L'}(|W_j|^p) + {\varepsilon}^p\overline{L'}(|u^0_t|^p) \}\\
&\quad +2^qB\{ \overline{L'}(|U_j|^q + {\varepsilon}^q\overline{L'}(|u^0|^q)\},\\
|(W_{j+1})_x|
&\le 2^{p-1}pA\{L'(|W_j|^{p-1}|(W_j)_x|)+ {\varepsilon} L'(|W_j|^{p-1}|u_{tx}^0|)\\
&\quad+{\varepsilon}^{p-1}L'(|u^0_t|^{p-1}|(W_j)_x|)+{\varepsilon}^pL'(|u^0_t|^{p-1}|u_{tx}|)\}\\
&\quad+2^{q-1}qB\{L'(|U_j|^{q-1}|(U_j)_x|) + {\varepsilon} L'(|U_j|^{q-1}|u^0|)\\
&\quad+{\varepsilon}^{q-1}L'(|u^0|^{q-1}|(U_j)_x| + {\varepsilon}^q L'(|u^0|^{q-1}|u^0_x|))\},
\end{array}
\]
Proposition \ref{prop:apriori_linear} and \ref{prop:apriori_zero} yield that
\[
\begin{array}{ll}
\|(U_{j+1})_x\|_3
&\le2^pA\left\{\|\overline{L'}(|W_j|^p)\|_3+{\varepsilon}^p\|\overline{L'}(|u^0_t|^p)\|_3\right\}\\
&\quad+2^qB\left\{\|\overline{L'}(|U_j|^q)\|_3+{\varepsilon}^q\|\overline{L'}(|u^0|^q)\|_3\right\}\\
&\le2^pA\left\{C\|W_j\|^p_4(T+R)^p+{\varepsilon}^pE\|u_t^0\|_\infty^p\right\}\\
&\quad+2^qB\left\{C\|U_j\|^q_3(T+R)^{q+1}+{\varepsilon}^qE\|u^0\|_\infty^q\right\}\\
&\le N{\varepsilon}^{\min\{p,q\}}+2^pAC\|W_j\|_4^p(T+R)^p\\
&\quad+2^qBC\|U_j\|_3^q(T+R)^{q+1}\\
\end{array}
\]and
\[
\begin{array}{ll}
\|(W_{j+1})_x\|_4
&\le 2^{p-1}pA\left\{\|{L'}(|W_j|^{p-1}|(W_j)_x|)\|_4+{\varepsilon} \|L'(|W_j|^{p-1}|u^0_{tx}|)\|_3\right.\\
&\quad\left.+{\varepsilon}^{p-1}\|L'(|u^0_t|^{p-1}|(W_j)_x|)\|_4+{\varepsilon}^p\|L'(|u^0_t|^{p-1}|u_{tx}^0|)\|_4\right\}\\
&\quad+2^{q-1}qB\left\{\|L'(|U_j|^{q-1}|(U_j)_x|)\|_4+{\varepsilon} \|L'(|U_j|^{q-1}|u^0|)\|_4\right.\\
&\quad\left.+{\varepsilon}^{q-1}\|L'(|u^0|^{q-1}|(U_j)_x|)\|_4+{\varepsilon}^q\|L'(|u^0|^{q-1}|u^0_x|)\|_4\right\}\\
&\le 2^{p-1}pA\left\{C\|W_j\|_4^{p-1}\|(W_j)_x\|_4(T+R)^p\right.\\
&\qquad+{\varepsilon} E\|u^0_{tx}\|_\infty\|W_j\|_4^{p-1}(T+R)^{p-1}\\
&\quad\left.+{\varepsilon}^{p-1}E\|u^0_t\|_\infty^{p-1}\|(W_j)_x\|_4(T+R)
+{\varepsilon}^pE\|u^0_t\|_\infty^{p-1}\|u^0_{tx}\|_\infty\right\}\\
&\quad+2^{q-1}qB\left\{C\|U_j\|_3^{q-1}\|(U_j)_x\|_3(T+R)^{q+1}\right.\\
&\qquad\left.+{\varepsilon} E\|u^0\|_\infty\|U_j\|_3^{q-1}(T+R)^{q-1}\right.\\
&\quad\left.+{\varepsilon}^{q-1}E\|u^0\|_\infty^{q-1}\|(U_j)_x\|_3(T+R)
+{\varepsilon}^qE\|u^0\|_\infty^{q-1}\|u^0_x\|_\infty\right\}\\
&\le N{\varepsilon}^{\min\{p,q\}}+2^{p-1}pAC(3N{\varepsilon}^{\min\{p,q\}})^{p-1}(T+R)^p\|(W_j)_x\|_4\\
&\quad+N{\varepsilon} (3N{\varepsilon}^{\min\{p,q\}})^{p-1}(T+R)^{p-1}+N{\varepsilon}^{p-1}(T+R)\|(W_j)_x\|_4\\
&\quad+2^{q-1}qBC(3N{\varepsilon}^{\min\{p,q\}})^{q-1}(T+R)^{q+1}\|(U_j)_x\|_3\\
&\quad+N{\varepsilon}(3N{\varepsilon}^{\min\{p,q\}})^{q-1}(T+R)^{q-1}+N{\varepsilon}^{q-1}(T+R)\|(U_j)_x\|_3.
\end{array}
\]
Hence the boundedness of $\left\{\left((U_j)_x,(W_j)_x\right)\right\}$;
\begin{equation}
\label{bound_(U_x,W_x)}
\|(U_j)_x\|_3,\|(W_j)_x\|_4
\le
3N{\varepsilon}^{\min\{p,q\}}
\quad
(j\in\mathbf{N}).
\end{equation}
follows from
\begin{equation}
\label{condi7}
\left\{
\begin{array}{ll}
2^pAC(3N{\varepsilon}^{\min\{p,q\}})^p(T+R)^p & \le N{\varepsilon}^{\min\{p,q\}},\\
2^qBC(3N{\varepsilon}^{\min\{p,q\}})^q(T+R)^{q+1} & \le N{\varepsilon}^{\min\{p,q\}}
\end{array}
\right.
\end{equation}
and
\begin{equation}
\label{condi8}
\left\{
\begin{array}{ll}
3\cdot2^{p-1}pAC(3N{\varepsilon}^{\min\{p,q\}})^{p}(T+R)^p & \le N{\varepsilon}^{\min\{p,q\}},\\
3N{\varepsilon}(3N{\varepsilon}^{\min\{p,q\}})^{p-1}(T+R)^{p-1} & \le N{\varepsilon}^{\min\{p,q\}},\\
3N{\varepsilon}^{p-1}(3N{\varepsilon}^{\min\{p,q\}})(T+R) & \le N{\varepsilon}^{\min\{p,q\}},\\
3\cdot2^{q-1}qB C(3N{\varepsilon}^{\min\{p,q\}})^{q}(T+R)^{q+1} & \le N{\varepsilon}^{\min\{p,q\}},\\
3N{\varepsilon}(3N{\varepsilon}^{\min\{p,q\}})^{q-1}(T+R)^{q-1} & \le N{\varepsilon}^{\min\{p,q\}},\\
3N{\varepsilon}^{q-1}(3N{\varepsilon}^{\min\{p,q\}})(T+R) & \le N{\varepsilon}^{\min\{p,q\}},\\
\end{array}
\right.
\end{equation}
Since (\ref{epsilon}) yield that
\[
\begin{array}{ll}
R\le C_3\min
&\left\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-(\min\{p,q\}(p-2)+1)/(p-1)},{\varepsilon}^{-(p-1)},\right.\\
&\quad\left.{\varepsilon}^{-\min\{p,q\}(q-1)/(q+1)},{\varepsilon}^{-(\min\{p,q\}(q-2) + 1)/(q-1)},{\varepsilon}^{-(q-1)}\right\}
\end{array}
\]
for $0<{\varepsilon}\le{\varepsilon}_{23}$, where
\[
\begin{array}{ll}
C_3:=\displaystyle\frac{1}{2}\min
&\left\{(2^p3^pACN^{p-1})^{-1/p},
(2^q3^qBCN^{q-1})^{-1/(q+1)},\right.\\
&\quad(2^{p-1}3^{p+1}pACN^{p-1})^{-1/p},
(3^pN^{p-1})^{-1/(p-1)},(3^2N)^{-1},\\
&\quad
(2^{q-1}3^{q+1}qBCN^{q-1})^{-1/(q+1)},
\left.(3^qN^{q-1})^{-1/(q-1)},(3^2N)^{-1}\right\},
\end{array}
\]
we find that (\ref{condi7}) and (\ref{condi8}) as well as (\ref{bound_(U_x,W_x)}) follow from
\begin{equation}
\label{lifespan_step3}
\begin{array}{ll}
T\le C_3\min
&\left\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-(\min\{p,q\}(p-2)+1)/(p-1)},\right.\\
&\quad{\varepsilon}^{-(p-1)},{\varepsilon}^{-\min\{p,q\}(q-1)/(q+1)},\\
&\left.\quad{\varepsilon}^{-(\min\{p,q\}(q-2) + 1)/(q-1)},{\varepsilon}^{-(q-1)}\right\}
\end{array}
\end{equation}
for $0<{\varepsilon}\le{\varepsilon}_{23}$.

\par
Let us write down this inequality in each cases.
For $2\le p\le(q+1)/2(<q)$, we have that
\[
\begin{array}{l}
\displaystyle\frac{\min\{p,q\}(p-1)}{p} - (p-1)=0,\\
\displaystyle\frac{\min\{p,q\}(p-2) + 1}{p-1}-(p-1)=\frac{p(p-2) + 1}{p-1} - (p-1)=0,\\
\displaystyle\frac{\min\{p,q\}(q-1)}{q+1}-(p-1)=\frac{p(q-1)}{q+1} - (p-1)\\
\displaystyle\quad=\frac{-2p + q + 1}{q + 1}\ge\frac{-(q+1) + (q+1)}{q+1}=0,\\
\displaystyle\frac{\min\{p,q\}(q-2) + 1}{q-1} - (p-1)=\frac{p(q-2) + 1}{q-1} - (p-1)=\frac{q-p}{q-1} > 0,\\
(q-1) - (p-1) > 0
\end{array}
\]
which implies that (\ref{lifespan_step3}) is equivalent to
\[
T \le C_3 {\varepsilon}^{-(p-1)}\quad\mbox{for}\
2\le p\le \frac{q + 1}{2}.
\]
For $\max\{2,(q + 1)/2\}\le p \le q$, we have that
\[
\begin{array}{l}
\displaystyle\frac{\min\{p,q\}(p-1)}{p} - \frac{p(q-1)}{q+1}=\frac{p(p-1)}{p} - \frac{p(q-1)}{q+1}\\
\displaystyle\quad= \frac{2p-q-1}{p(q+1)}\ge\frac{q+1-(q+1)}{p(q+1)}=0,\\
\displaystyle\frac{\min\{p,q\}(p-2) + 1}{p-1}-\frac{p(q-1)}{q+1}=\frac{p(p-2) + 1}{p-1} - \frac{p(q-1)}{q+1}\\
\displaystyle\quad=\frac{2p - q-1}{q + 1}\ge\frac{q + 1 - (q+1)}{q + 1}=0,\\
\displaystyle\frac{\min\{p,q\}(q-1)}{q+1} -\frac{p(q-1)}{q+1}=0,\\
\displaystyle\frac{\min\{p,q\}(q-2)+1}{q-1} - \frac{p(q-1)}{q+1}=\frac{p(q-2) + 1}{q-1} - \frac{p(q-1)}{q+1}\\
\displaystyle\quad=\frac{pq-3p+q+1}{(q-1)(q+1)}\ge\frac{2q-3q+q+1}{(q-1)(q+1)}>0,\\
\displaystyle(q-1)-\frac{p(q-1)}{q+1}\ge(q-1) - \frac{q(q-1)}{q+1}>0
\end{array}
\]
which implies that (\ref{lifespan_step3}) is equivalent to
\[
T\le C_3{\varepsilon}^{-p(q-1)/(q+1)}
\quad\mbox{for}\ \max\left\{2,\frac{q+1}{2}\right\}\le p \le q.
\]
For $p\ge q\ge2$, we have that
\[
\begin{array}{l}
\displaystyle\frac{\min\{p,q\}(p-1)}{p} - \frac{q(q-1)}{q+1}=\frac{q(p-1)}{p} - \frac{q(q-1)}{q+1}\\
\displaystyle\quad=\frac{2p-q-1}{p(q+1)}\ge\frac{q-1}{p(q+1)}>0,\\
\displaystyle\frac{\min\{p,q\}(p-2) + 1}{p-1}-\frac{q(q-1)}{q+1}=\frac{q(p-2) + 1}{p-1} - \frac{q(q-1)}{q+1}\\
\displaystyle\quad=\frac{2pq-q^2-2q+1}{(p-1)(q+1)}=\frac{q(p-q)+q(p-2)+1}{(p-1)(q+1)} >0,\\
\displaystyle\frac{\min\{p,q\}(q-1)}{q+1}-\frac{q(q-1)}{q+1}=0,\\
\displaystyle\frac{\min\{p,q\}(q-2) + 1}{q-1}-\frac{q(q-1)}{q+1}=\frac{q(q-2) + 1}{q-1} - \frac{q(q-1)}{q+1}\\
\displaystyle\quad=\frac{(q+1)(q-1)-q(q-1)}{q+1}> 0,\\
\displaystyle(q-1) -  \frac{q(q-1)}{q+1} > 0
\end{array}
\]
which implies that (\ref{lifespan_step3}) is equivalent to
\[
T\le C{\varepsilon}^{-q(q-1)/(q+1)}
\quad\mbox{for}\ p\ge q\ge2.
\]

\par
Next, assuming (\ref{lifespan_step1}), (\ref{lifespan_step2}) and (\ref{lifespan_step3}),
we shall estimate $\{(U_{j+1})_x-(U_j)_x\}$ and $\{(W_{j+1})_x-(W_j)_x\}$.
It is easy to see that
\[
\begin{array}{l}
|(U_{j+1})_x - (U_j)_x|\\
\le\overline{L'}(|A|W_j + {\varepsilon} u^0_t|^p - |W_{j-1} + {\varepsilon} u^0_t|^p|)\\
\quad+\overline{L'}(|B|U_j + {\varepsilon} u^0|^{q} - |U_{j-1} + {\varepsilon} u^0|^q|)\\
\le pA\overline{L'}(|W_{j-1} + {\varepsilon} u^0_t + \theta(W_{j+1} - W_j)|^{p-1}|W_j-W_{j-1}|)\\
\quad+qB\overline{L'}(|U_{j-1} + {\varepsilon} u^0_t + \theta(U_{j+1}-U_j)|^{q-1}|U_j-U_{j-1}|)\\
\le 3^{p-1}pA\overline{L'}\{(|W_{j-1}|^{p-1} + |W_j|^{p-1} + {\varepsilon}^{p-1}|u^0_t|^{p-1})|W_j-W_{j-1}|\}\\
\quad+3^{q-1}qB\overline{L'}\{(|U_{j-1}|^{q-1} + |U_j|^{q-1} + {\varepsilon}^{q-1}|u^0|^{q-1})|U_j - U_{j-1}|\}
\end{array}
\]
hold for some $\theta\in(0,1)$.
Moreover we have that
\[
\begin{array}{l}
|(W_{j+1})_x - (W_j)_x|\\
\le L'(|pA|W_j + {\varepsilon} u^0_t|^{p-2}(W_j + {\varepsilon} u^0_t)((W_j)_x + {\varepsilon} u^0_{tx})\\
\quad-pA|W_{j-1} + {\varepsilon} u^0_t|^{p-2}(W_{j-1} + {\varepsilon} u^0_t)((W_{j-1})_x + {\varepsilon} u^0_{tx})|)\\
\quad+L'(qB|U_j + {\varepsilon} u^0|^{q-2}(U_j + {\varepsilon} u^0)((U_j)_x + {\varepsilon} u^0_x)\\
\quad-qB|U_{j-1} + {\varepsilon} u^0|^{q-2}(U_{j-1} + {\varepsilon} u^0)((U_{j-1})_x + {\varepsilon} u^0_x)|).
\end{array}
\]
In order to estimate the quantities in the right hand side of this inequality, we employ
\[
\begin{array}{l}
|W_j + {\varepsilon} u^0_t|^{p-2}(W_j + {\varepsilon} u^0_t)(W_j + {\varepsilon} u^0_t)_x\\
-|W_{j-1} + {\varepsilon} u^0_t|^{p-2}(W_{j-1} + {\varepsilon} u^0_t)(W_{j-1} + {\varepsilon} u^0_t)_x\\
=(|W_j + {\varepsilon} u^0_t|^{p-2} - |W_{j-1} + {\varepsilon} u^0_t|^{p-2})(W_j + {\varepsilon} u^0_t)(W_j + {\varepsilon} u^0_t)_x\\
\quad+|W_{j-1} + {\varepsilon} u^0_t|^{p-2}((W_j + {\varepsilon} u^0_t)-(W_{j-1} + {\varepsilon} u^0_t))(W_j + {\varepsilon} u^0_t)_x\\
\quad+|W_{j-1} + {\varepsilon} u^0_t|^{p-2}(W_{j-1} + {\varepsilon} u^0_t)((W_j + {\varepsilon} u^0_t)_x - (W_{j-1} + {\varepsilon} u^0_t)_x)
\end{array}
\]
and
\[
\begin{array}{l}
||W_j + {\varepsilon} u^0_t|^{p-2} - |W_{j-1} + {\varepsilon} u^0_t|^{p-2}|\\
\le\left\{
\begin{array}{ll}
\left.
\begin{array}{l}
(p-2)(|W_j + {\varepsilon} u^0_t\\
\quad+ \theta (W_{j-1} + {\varepsilon} u^0_t)|^{p-3})
|W_j - W_{j-1}|
\end{array}
\right\}
& \mbox{for}\ p\ge 3,\\
|W_j - W_{j-1}|^{p-2} & \mbox{for}\ 2 < p < 3,\\
0 & \mbox{for}\ p = 2\end{array}\right.
\\
\le\left\{
\begin{array}{ll}
\left.
\begin{array}{l}
3^{p-3}(p-2)(|W_j|^{p-3} + |W_{j-1}|^{p-3}\\
\quad+ {\varepsilon}^{p-3} |u^0_t|^{p-3})|W_j - W_{j-1}|
\end{array}
\right\}
& \mbox{for}\ p\ge 3,\\
|W_j - W_{j-1}|^{p-2} & \mbox{for}\ 2 < p < 3,\\
0 & \mbox{for}\ p = 2
\end{array}
\right.
\end{array}
\]
with some $\theta\in(0,1)$.
Similarly we also employ
\[
\begin{array}{l}
|U_j + {\varepsilon} u^0|^{q-2}(U_j + {\varepsilon} u^0)((U_j)_x + {\varepsilon} u^0_x)\\
-|U_{j-1} + {\varepsilon} u^0|^{q-2}(U_{j-1} + {\varepsilon} u^0)((U_{j-1})_x + {\varepsilon} u^0_x)\\
=(|U_j + {\varepsilon} u^0|^{q-2} - |U_j + {\varepsilon} u^0|^{q-2})(U_j + {\varepsilon} u^0)((U_j)_x + {\varepsilon} u^0_x)\\
\quad+|U_{j-1} + {\varepsilon} u^0|^{q-2}((U_j + {\varepsilon} u^0)-(U_{j-1} + {\varepsilon} u^0))((U_j)_x + {\varepsilon} u^0_x)\\
\quad+|U_{j-1} + {\varepsilon} u^0|^{q-2}(U_{j-1} + {\varepsilon} u^0)((U_j)_x + {\varepsilon} u^0_x) -((U_{j-1})_x + {\varepsilon} u^0_x))
\end{array}
\]
and
\[
\begin{array}{l}
||U_j + {\varepsilon} u^0|^{q-2} - |U_{j-1} + {\varepsilon} u^0|^{q-2}|\\
\le\left\{
\begin{array}{ll}
\left.
\begin{array}{l}
3^{q-3}(q-2)(|U_j|^{q-3} + |U_{j-1}|^{q-3}\\
\quad+{\varepsilon}^{q-3}|u^0|^{q-3})|U_j - U_{j-1}|
\end{array}
\right\}
& \mbox{for}\  q\ge 3,\\
|U_j - U_{j-1}|^{q-2} & \mbox{for}\ 2 < q < 3,\\
0 & \mbox{for}\ q = 2.
\end{array}
\right.
\end{array}
\]
Hence it follows from Propositions \ref{prop:apriori_linear} and  \ref{prop:apriori_zero} that
\[
\begin{array}{l}
\|(U_{j+1})_x - (U_j)_x\|_3\\
\le 3^{p-1}pA\left\{C(\|W_{j-1}\|_4^{p-1} + \|W_j\|_4^{p-1})\|W_j - W_{j-1}\|_4(T+R)^p \right.\\
\quad+ \left.{\varepsilon}^{p-1}E\|u^0_t\|_\infty^{p-1}\|W_j - W_{j-1}\|_4(T+R)\right\}\\
\quad+3^{q-1}qB\left\{C(\|U_{j-1}\|_3^{q-1} + \|U_j\|_3^{q-1} )\|U_j - U_{j-1}\|_3(T+R)^{q+1}\right.\\
\quad+\left.{\varepsilon}^{q-1}E\|u^0\|_\infty^{q-1}\|U_j - U_{j-1}\|_3(T+R)\right\}
\end{array}
\]
and
\[
\begin{array}{l}
\|(W_j)_x - (W_{j-1})_x\|_4\\
\le\left\{
\begin{array}{ll}
\left.
\begin{array}{l}
3^{p-3}p(p-2)A\left\{C(\|W_{j-1}\|_4^{p-3} + \|W_{j-1}\|_4^{p-3})\right.\\
\times\|W_j -W_{j-1}\|_4\|W_j+{\varepsilon} u^0_t\|_4\\
\times\|(W_j)_x + {\varepsilon} (u^0_t)_x\|_4(T+R)^p\\
+{\varepsilon}^{p-3}E\|u_0^t\|_\infty^{p-3}\|W_j-W_{j-1}\|_4\\
\left.\times\|W_j+{\varepsilon} u^0_t\|_4\|(W_j)_x + {\varepsilon} u^0_{tx}\|_4(T+R)^3\right\}
\end{array}
\right\}
& \mbox{for}\ p\ge 3,\\
\left.
\begin{array}{l}
pAC\|W_j-W_{j-1}\|_4^{p-2}\\
\times\|W_j+{\varepsilon} u^0_t\|_4\|W_j + {\varepsilon} u^0_{tx}\|_4(T+R)^p
\end{array}
\right\}
& \mbox{for}\ 2<p<3,\\
0 & \mbox{for}\ p = 2
\end{array}\right.
\\
\quad+pAC\|W_{j-1} + {\varepsilon} u^0_t\|_4^{p-2}\|W_j - W_{j-1}\|_4\|(W_j)_x+ {\varepsilon} u^0_{tx}\|_4(T+R)^p\\
\quad+pA\|\overline{L'}\{|W_{j-1} + {\varepsilon} u^0_t|^{p-2}(W_{j-1} + {\varepsilon} u^0_t)((W_j) - (W_{j-1})_x)\}\|_4\\
\quad+\left\{
\begin{array}{ll}
\left.
\begin{array}{l}
3^{q-3}q(q-2)B\left\{C(\|U_{j-1}\|_3^{q-3} + \|U_j\|_3^{q-3})\right.\\
\times \|U_j - U_{j-1}\|_3\|U_j  + {\varepsilon} u^0\|_3\\
\times\|(U_j)_x+{\varepsilon} u^0_x\|_3(T+R)^{q+1}\\
+{\varepsilon}^{q-3}E\|u^0\|_\infty^{q-3}\|U_j-U_{j-1}\|_3\\
\left.\times\|U_j+{\varepsilon} u^0\|_3\|(U_j)_x + {\varepsilon} u^0_x\|_3(T+R)^3\right\}
\end{array}
\right\}
& \mbox{for}\ q\ge 3,\\
\left.
\begin{array}{l}
qBC\|U_j - U_{j-1}\|_3^{q-2}\\
\times\|U_j+ {\varepsilon} u^0\|_3\|(U_j)_x + {\varepsilon} u^0_x\|_3(T+R)^{q+1}
\end{array}
\right\}
& \mbox{for}\ 2 < q< 3,\\
0 & \mbox{for}\ q = 2
\end{array}
\right.
\\
\quad+qBC\|U_{j-1} + {\varepsilon} u^0\|_3^{q-2}\|U_j - U_{j-1}\|_3\|(U_j)_x + {\varepsilon} u^0_x\|_3(T+R)^{q+1}\\
\quad+qBC\|U_{j-1}  + {\varepsilon} u^0\|_3^{q-2}\|U_{j-1}+{\varepsilon} u^0\|_3\|(U_j)_x-(U_{j-1})_x\|_3(T+R)^{q+1}.
\end{array}
\]

\par
Since (\ref{lifespan_step1}) and (\ref{lifespan_step2}) yield (\ref{convergence_zero}),
we have that
\[
\|U_{j+1}-U_j\|_3 + \|W_{j+1} - W_{j}\|_3\le O\left(\frac{1}{2^j}\right)
\quad\mbox{as}\ j\rightarrow\infty.
\]
This fact implies that
\begin{equation}
\label{convergence_U_x}
\|(U_{j+1})_x-(U_j)_x\|_3 = O\left(\frac{1}{2^j}\right)
\quad\mbox{as}\ j\rightarrow\infty.
\end{equation}
Moreover it follows from (\ref{lifespan_step1}) as well as (\ref{bound_(U,W)}) that
\[
\begin{array}{ll}
pA\|\overline{L'}\{|W_{j-1} + {\varepsilon} u^0_t|^{p-2}(W_{j-1} + {\varepsilon} u^0_t)((W_j) - (W_{j-1})_x)\}\|_4\\
\le 2^{p-1}pA\|L'\{(|W_{j-1}|^{p-1} + {\varepsilon}^{p-1}|u^0_t|^{p-1})|(W_j)_x - (W_{j-1})_x|\}\|_4\\
\le 2^{p-1}pAC\|W_j\|_4^{p-1}\|(W_j)_x-(W_{j-1})_x\|_4(T+R)^p\\
\quad+2^{p-1}pAE{\varepsilon}^{p-1}\|u_t^0\|_\infty^{p-1}\|(W_j)_x-(W_{j-1})_x\|_4(T+R)\\
\le 2^{p-1}pAC(3N{\varepsilon}^{\min\{p,q\}})^{p-1}(T+R)^p\|(W_j)_x-(W_{j-1})_x\|_4\\
\quad+N{\varepsilon}^{p-1}(T+R)\|(W_j)_x-(W_{j-1})_x\|_4.
\end{array}
\]
Hence we have that
\[
\begin{array}{l}
\|(W_{j+1})_x-(W_j)_x\|_4\\
\le 2^{p-1}3^{p-1}pACN^{p-1}{\varepsilon}^{\min\{p,q\}(p-1)}(T+R)^p\|(W_j)_x-(W_{j-1})_x\|_4\\
\quad
+N{\varepsilon}^{p-1}(T+R)\|(W_j)_x-(W_{j-1})_x\|_4
+\displaystyle O\left(\frac{1}{2^{j\min\{(p-2)_+,(q-2)_+,1\}}}\right).
\end{array}
\]
as $j\rightarrow\infty$.
Therefore we obtain that
\begin{equation}
\label{convergence_W_x}
\|(W_{j+1})_x-(W_j)_x\|_4\le O\left(\frac{1}{2^{j}}\right)
\quad\mbox{as}\ j\rightarrow\infty
\end{equation}
provided
\begin{equation}
\label{condi9}
\left\{
\begin{array}{ll}
2^{p-1}3^{p-1}pACN^{p-1}{\varepsilon}^{\min\{p,q\}(p-1)}(T+R)^p & \le\displaystyle\frac{1}{4},\\
N{\varepsilon}^{p-1}(T+R) & \le\displaystyle\frac{1}{4}
\end{array}
\right.
\end{equation}
holds.
Since (\ref{epsilon}) yield that
\[
R\le C_4\min\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-(p-1)}\}
\]
for $0<{\varepsilon}\le {\varepsilon}_{24}$, where
\[
C_4:=\frac{1}{2} \min\left\{(2^{p+1}3^{p-1}pACN^{p-1})^{-1/p},(2^2N)^{-1}\right\},
\]
we find that (\ref{condi9}) as well as (\ref{convergence_U_x}) and (\ref{convergence_W_x})
follows from
\begin{equation}
\label{lifespan_step4}
T\le C_4\min\{{\varepsilon}^{-\min\{p,q\}(p-1)/p},{\varepsilon}^{-(p-1)}\}
\end{equation}
for $0<{\varepsilon}\le {\varepsilon}_{24}$.
We note that (\ref{lifespan_step4}) is equivalent to
\[
T\le\left\{
\begin{array}{ll}
C_4{\varepsilon}^{-(p-1)} & \mbox{for}\ 2\le p\le q,\\
C_4{\varepsilon}^{-q(p-1)/p} & \mbox{for}\ 2\le q\le p.
\end{array}
\right.
\]
Due to the computations after (\ref{lifespan_step3}),
we have that
\[
{\varepsilon}^{-p(q-1)/(q+1)}\le{\varepsilon}^{-(p-1)}\quad \mbox{for}\ \max\left\{2,\frac{q+1}{2}\right\}\le p\le q
\]
and
\[
{\varepsilon}^{-q(q-1)/(q+1)}\le{\varepsilon}^{-q(p-1)/p}\quad\mbox{for}\ 2\le q\le p.
\]

\vskip10pt
\par\noindent
{\bf Continuation of the proof.}
\par
The convergence of the sequence $\{(U_j,W_j)\}$ to $(U,W)$ in the closed subspace of $Y$
satisfying
\[
 \|U\|_3,\|(U_x)\|_3,\|W\|_4,\|(W)_x\|_4\le 3N{\varepsilon}^{\min\{p,q\}}
 \]
is established by  (\ref{epsilon}), (\ref{lifespan_step1}), (\ref{lifespan_step2}),
(\ref{lifespan_step3}) and (\ref{lifespan_step4}).
Therefore the statement of Theorem \ref{thm:lower-bound_zero} for $p,q\ge2$
is established with
\[
\left\{
\begin{array}{l}
\displaystyle c=\min\left\{C_1,C_2,C_3,C_4\right\},\\
{\varepsilon}_2=\min\{1,{\varepsilon}_{21},{\varepsilon}_{22},{\varepsilon}_{23},{\varepsilon}_{24}\}.
\end{array}
\right.
\]
\par
In the case of $1<p<2$ or $1<q<2$, $Y$ and $N$ in the proof for $p,q\ge2$ above are replaced
with $Y_0$ and $N_0$ respectively, where
\[
\begin{array}{ll}
Y_0:=&\{(U,W)\in\{C({\bf R}\times[0,T])\}^2\\
&:\ \|(U,W)\|_{Y_0}<\infty,\ \mbox{supp}\ (U,W)\subset\{|x|\le t+R\}\}
\end{array}
\]
which is equipped with a norm
\[
\|(U,W)\|_{Y_0}:=\|U\|_3+\|W\|_4
\]
and
\[
\begin{array}{ll}
N_0:=
&\displaystyle(2^ppA+2^qqB)E\sum_{\gamma=0}^1\left\{\sum_{\alpha=0}^1
\left(\|f^{(\alpha)}\|_{L^\infty({\bf R})}^{p-\gamma}+\|f^{(\alpha)}\|_{L^\infty({\bf R})}^{q-\gamma}\right)\right.\\
&\displaystyle\left.
+\|g\|_{L^1({\bf R})}^{p-\gamma}+\|g\|_{L^1({\bf R})}^{q-\gamma}
+\|g\|_{L^\infty({\bf R})}^{p-\gamma}+\|g\|_{L^\infty({\bf R})}^{q-\gamma}\right\}.
\end{array}
\]
It is trivial that the convergence of $\{(U_j,W_j)\}$ to $(U,W)$ in the closed subspace $Y_0$
satisfying $\|U\|_3,\|W\|_4\le 3N_0{\varepsilon}^{\min\{p,q\}}$ follows
from (\ref{epsilon}), (\ref{lifespan_step1}) and (\ref{lifespan_step2}),
so that the proof of Theorem \ref{thm:lower-bound_zero} is completed now.
\hfill$\Box$

\section{Proof of Proposition \ref{prop:apriori_linear}}
\par
In this section, we prove a priori estimate (\ref{apriori_linear})
in the  similar manner to the one for (\ref{apriori}).
A positive constant $C$ independent of $T$ and ${\varepsilon}$
may change from line to line.

\par
It follows from the assumption on the supports that
\[
\begin{array}{l}
|L(|U^0|^{p-m}|W|^m)(x,t)|\\
\le C\|U^0\|_\infty^{p-m}\|W\|_4^m(T+R)^mJ_0(x,t)
\end{array}
\quad\mbox{for}\ |x|\le t+R,
\]
where we set
\[
J_0(x,t):=\int_0^tds\int_{x-t+s}^{x+t-s}\chi_{\mbox{\footnotesize supp}\ U^0}(y,s)dy.
\]
First, we consider the case of $x\ge0$.
From now on, we employ changing variables by
\[
\alpha=s+y,\beta=s-y.
\]
For $t+x\ge R$ and $t-x\ge R$, extending the domain of the integral, we have that
\[
\begin{array}{ll}
J_0(x,t)
&\displaystyle\le C\int_{-R}^Rd\beta\int_{-R}^{t+x}d\alpha
+C\int_{-R}^{t-x}d\beta\int_{-R}^Rd\alpha\\
&\le C(t+x+R).
\end{array}
\]
For $t+x\ge R$ and $|t-x|\le R$, we also have that
\[
J_0(x,t)\le C\int_{-R}^Rd\beta\int_{-R}^{t+x}d\alpha\le C(t+x+R).
\]
For $t+x\le R$, it is trivial that $J_0(x,t)\le C$.
Summing up, we obtain that
\[
\begin{array}{l}
|L(|U^0|^{p-m}|W|^m)(x,t)|\\
\le C\|U^0\|_\infty^{p-m}\|W\|_3^m(T+R)^m(t+x+R)
\end{array}\quad
\mbox{for}\ 0\le x\le t+R.
\]
The case of $x\le0$ is similar to the above, so that we shall omit the details.
Therefore we obtain the first inequality in (\ref{apriori_linear}).
The second inequality in (\ref{apriori_linear}) follows from the computation above
because we have that
\[
\begin{array}{l}
|L(|U^0|^{q-m}|U|^m)(x,t)|\\
\le C\|U^0\|_\infty^{q-m}\|U\|_3^m(T+R)^mJ_0(x,t)
\end{array}
\quad\mbox{for}\ |x|\le t+R.
\]

\par
Next, we shall show the third inequality in (\ref{apriori_linear}).
It follows from the assumption on the support and the definition of $L'$ that
\[
\begin{array}{l}
|L'(|U^0|^{p-m}|W|^m)(x,t)|\\
\le C\|U^0\|_\infty^{p-m}\|W\|_4^m(T+R)^m\{J_{1+}(x,t)+J_{1-}(x,t)\}
\end{array}
\quad\mbox{for}\ |x|\le t+R,
\]
where the integrals $J_{1+}$ and $J_{1-}$ are defined by
\[
J_{1\pm}(x,t):=\int_0^t\chi_{1\pm}(x,t;s)ds
\]
and the characteristic functions $\chi_+$ and $\chi_-$ are defined by
\[
\chi_{1\pm}(x,t;s):=\chi_{\{s: |s-|t-s\pm x||\le R\}},
\]
respectively.
First we note that it is sufficient to  estimate $J_{1\pm}$ for $x\ge0$ due to its symmetry,
\[
J_{1+}(-x,t)=J_{1-}(x,t).
\]
For $(x,t)\in D\cap\{x\ge0\}$, we have that
\[
J_{1\pm}(x,t)=\int_{(t\pm x-R)/2}^{(t\pm x+R)/2}ds\le C.
\]
On the other hand, for $t+x\ge R,x\ge0$ and $|t-x|\le R$, we have that
\[
J_{1+}(x,t)=\int_{(t+x-R)/2}^tds\le C
\]
and
\[
J_{1-}(x,t)=\int_{(t-x-R)/2}^tds\le C(t+x+R).
\]
It is trivial that, for $t+x\le R, x\ge0$, we have $J_{1\pm}(x,t)\le C$.
Summing up all the estimates above, we obtain that
\[
\begin{array}{l}
|L'(|U^0|^{p-m}|W|^m)(x,t)|\\
\le C\|U^0\|_\infty^{p-m}\|W\|_4^m(T+R)^m\\
\quad\times\{\chi_D(x,t)+(1-\chi_D(x,t))(t+|x|+R)\}
\end{array}
\quad\mbox{for}\ |x|\le t+R.
\]
Therefore the third inequality in (\ref{apriori_linear}) is established.

\par
Due to the assumptions on the supports as well as the definitions of the norms,
it is clear that the proofs of the three remaining inequalities in (\ref{apriori_linear})
easily follow from the computations above.
The proof of Proposition \ref{prop:apriori_linear} is now completed.
\hfill$\Box$.

\section{Proof of Proposition \ref{prop:apriori_zero}}
\par
In this section, we prove a priori estimate (\ref{apriori_zero}).
Again, a positive constant $C$ independent of $T$ and ${\varepsilon}$
may change from line to line.

\par
It follows from the assumption on the supports and the definition of $L$ that
\[
|L(|W|^p)(x,t)|\le C\|W\|_4^pJ_1(x,t)
\quad\mbox{for}\ |x|\le t+R,
\]
where we set
\[
\begin{array}{ll}
J_1(x,t):=&\displaystyle\int_0^tds\int_{x-t+s}^{x+t-s}
\{\chi_D(s,y)\\
&\displaystyle+(1-\chi_D(s,y))(s+|y|+R)^p\}\chi_{\mbox{\footnotesize supp}\ W}(s,y)dy.
\end{array}
\]
First, we consider the case of $x\ge0$.
From now on, we employ changing variables by
\[
\alpha=s+y,\beta=s-y.
\]
For $(x,t)\in D$, extending the domain of the integral, we have that
\[
\begin{array}{ll}
J_1(x,t)
&\displaystyle\le C\int_{-R}^Rd\beta\int_{-R}^{x+t}(\alpha+R)^pd\alpha\\
&\displaystyle\quad+C\int_R^{t-x}(\beta+R)^pd\beta\int_{-R}^Rd\alpha\\
&\displaystyle\quad+C\int_R^{t-x}d\beta\int_R^{t+x}d\alpha\\
&\le C(T+R)^p(t+x+R).
\end{array}
\]
For $t+x\ge R$ and $|t-x|\le R$, we also have that
\[
J_1(x,t)\le C+C\int_{-R}^{t-x}d\beta\int_R^{t+x}(\alpha+R)^pd\alpha\le C(T+R)^p(t+x+R).
\]
For $t+x\le R$, it is trivial that
\[
J_1(x,t)\le C.
\]
Summing up, we obtain that
\[
|L(|W|^p)(x,t)|\le C\|W\|_4^p(T+R)^p(t+x+R)
\quad\mbox{for}\ 0\le x\le t+R.
\]
The case of $x\le0$ is similar to the above, so that we shall omit the details.
Therefore we obtain the first inequality of the first line of (\ref{apriori_zero}).

\par
The second inequality in (\ref{apriori_zero}) follows from
\[
|L(|U|^q)(x,t)|\le C\|U\|_3^qJ_2(x,t)
\quad\mbox{for}\ |x|\le t+R,
\]
where
\[
J_2(x,t):=\int_0^tds\int_{x-t+s}^{x+t-s}(s+|y|+R)^q
\chi_{\mbox{\footnotesize supp}\ U}(y,s)dy.
\]
Because it is trivial that
\[
J_2(x,t)\le C(T+R)^{q+1}(t+|x|+R)\quad\mbox{for}\ |x|\le t+R.
\]

\par
Next, we shall show the third inequality in (\ref{apriori_zero}).
It follows from the assumption on the supports and the definition of $L'$ that
\[
|L'(|W|^p)(x,t)|\le
C\|W\|_4^p\{J_+(x,t)+J_-(x,t)\}
\quad\mbox{for}\ |x|\le t+R,
\]
where the integrals $J_+$ and $J_-$ are defined by
\[
\begin{array}{ll}
J_\pm(x,t):=&
\displaystyle\int_0^t
\{\chi_{2\pm}(x,t;s)\\
&+(1-\chi_{2\pm}(x,t;s))(s+|t-s\pm x|+R)^p\}\chi_\pm(x,t;s)ds
\end{array}
\]
and the characteristic functions $\chi_+,\chi_-,\chi_{2+}$ and $\chi_{2-}$ are defined by
\[
\begin{array}{l}
\chi_\pm(x,t;s):=\chi_{\{s: |t-s\pm x|\le s+R\}},\\
\chi_{2\pm}(x,t;s):=\chi_{\{s: s-|t-s\pm x|\ge R\}}
\end{array}
\]
respectively.
First we note that it is sufficient to  estimate $J_\pm$ for $x\ge0$ due to its symmetry,
\[
J_+(-x,t)=J_-(x,t).
\]
For $(x,t)\in D\cap\{x\ge0\}$, we have
\[
\begin{array}{ll}
J_+(x,t)
&\displaystyle\le C\int_{(t+x-R)/2}^{(t+x+R)/2}(t+x+R)^pds
+C\int_{(t+x+R)/2}^tds\\
&\le C(t+x+R)^p+C(t+x+R)\\
&\le C(T+R)^p
\end{array}
\]
and
\[
\begin{array}{ll}
J_-(x,t)
&\displaystyle\le C\int_{(t-x-R)/2}^{(t-x+R)/2}(s+|t-s-x|+R)^pds
+C\int_{(t-x+R)/2}^tds\\
&\le C(t+x+R)^p+C(t+x+R)\\
&\le C(T+R)^p.
\end{array}
\]
For $t+x\ge R$ and $|t-x|\le R$, we have
\[
J_+(x,t)
\le C\int_{(t+x-R)/2}^t(t+x+R)^pds
\le C(t+x+R)(T+R)^p
\]
and
\[
\begin{array}{ll}
J_-(x,t)
&\displaystyle\le C\int_0^t(s+|t-s-x|+R)^pds\\
&\displaystyle\le C\int_0^{t-x}(t-x+R)^pds
+C\int_{t-x}^t(2s-t+x+R)^pds\\
&\le C(t-x+R)^{p+1}+C(t+x+R)^{p+1}\\
&\le C(t+x+R)(T+R)^p.
\end{array}
\]
It is trivial that $J_{\pm}(x,t)\le C$ for $t+x\le R$.
Therefore we obtain the third inequality in (\ref{apriori_zero}).

\par
The fourth, fifth and sixth  inequalities in (\ref{apriori_zero})
readily follow from the computations above.
The proof of Proposition \ref{prop:apriori_zero} is now completed.
\hfill$\Box$

\section{Proofs of Theorem \ref{thm:upper-bound_non-zero}
and Theorem \ref{thm:upper-bound_zero}}
\par
This section is devoted to the blow-up part of (\ref{lifespan_non-zero}) and (\ref{lifespan_zero}).
The proof can be established by contradiction argument to the assumption that
$(u,w)$ is a continuous solution in the time interval $[0,T]$
of an associated system of integral equations, (\ref{system}).

\vskip10pt
\par\noindent
{\bf Proof of Theorem \ref{thm:upper-bound_non-zero}.}
\par
Recall that our assumption on the initial data is (\ref{positive_non-zero}).
If one neglects $A|u_t|^p$ in (\ref{IVP_combined}), one immediately obtains
the contradiction if $T$ satisfies
\[
T\ge C{\varepsilon}^{-(q-1)/2}
\]
with suitably small ${\varepsilon}$, where $C$ is a positive constant independent of ${\varepsilon}$,
by Theorem 1.1 in Zhou \cite{Zhou92} or Theorem 5.1 in Takamura \cite{Takamura15}
for the classical solution of (\ref{IVP_combined}).
This estimate is also available for the continuous solution of (\ref{system})
if one employs the proof of Theorem 2.3 with $a=-1$
in Kitamura, Morisawa and Takamura \cite{KMT22},
which is applied to
\[
u\ge{\varepsilon} u^0+BL(|u|^q).
\]

\par
On the other hand, if one neglects $B|u|^q$ in (\ref{IVP_combined}),
one immediately obtains the contradiction if $T$ satisfies
\[
T\ge C{\varepsilon}^{-(p-1)}
\]
with suitably small ${\varepsilon}$, where $C$ is a positive constant independent of ${\varepsilon}$,
by Theorem 1.1 in Zhou \cite{Zhou01} for the classical solution of (\ref{IVP_combined}).
This estimate is also available for the continuous solution of (\ref{system})
if one employs the proof of Theorem 2.2 with $a=-1$
in Kitamura, Morisawa and Takamura \cite{KMT},
which is applied to
\[
w\ge{\varepsilon} u_t^0+AL'(|w|^p).
\]

\par
Therefore we obtain the contradiction if $T$ satisfies
\[
T\ge\min\{C{\varepsilon}^{-(p-1)},C{\varepsilon}^{-(q-1)/2}\}
\]
with suitably small ${\varepsilon}$, where $C$ is a positive constant independent of ${\varepsilon}$,
which asserts the statement of Theorem \ref{thm:upper-bound_non-zero}.
\hfill$\Box$

\vskip10pt
\par\noindent
{\bf Proof of Theorem \ref{thm:upper-bound_zero}.}
\par
Recall that our assumption on the initial data is (\ref{positive_zero}).
If one neglects $A|u_t|^p$ in (\ref{IVP_combined}), one immediately obtains the contradiction
if $T$ satisfies
\begin{equation}
\label{lifespan1}
T\ge C{\varepsilon}^{-q(q-1)/(q+1)}
\end{equation}
with suitably small ${\varepsilon}$, where $C$ is a positive constant independent of ${\varepsilon}$,
by Theorem 1.2 in Zhou \cite{Zhou92} or Theorem 5.1 in Takamura \cite{Takamura15}
for the classical solution of (\ref{IVP_combined}).
This estimate is also available for the continuous solution of (\ref{system})
if one employs the proof of Theorem 2.4 with $a=-1$
in Kitamura, Morisawa and Takamura \cite{KMT22},
which is applied to
\[
u\ge{\varepsilon} u^0+BL(|u|^q).
\]

\par
On the other hand, one can obtain the contradiction if $T$ satisfies
\begin{equation}
\label{lifespan2}
T\ge C{\varepsilon}^{-(p-1)}
\end{equation}
with suitably small ${\varepsilon}$, where $C$ is a positive constant independent of ${\varepsilon}$,
for the continuous solution of (\ref{system}).
To see this, one has to employ
\[
w\ge{\varepsilon} u_t^0+AL'(|w|^p)
\]
for which the definition of $L'$ implies
\[
w(x,t)\ge {\varepsilon} u_t^0(x,t)+A\int_0^t|w(x-t+s,s)|^pds.
\]
Setting $x-t=R/2$, we have $x+t=2t+R/2$ so that
\[
w\left(t+\frac{R}{2},t\right)>C_5{\varepsilon}+A\int_{R/4}^t\left|w\left(s+\frac{R}{2},s\right)\right|^pds
\quad\mbox{for}\ t\ge\frac{R}{4}
\]
due to (\ref{u^0_t}), where we set
\[
C_5:=-\frac{1}{4}f'\left(\frac{R}{2}\right)>0.
\]
Hence the comparison argument with a function $z$ satisfying
\[
z(t)=C_5{\varepsilon}+A\int_{R/4}^t|z(s)|^pds
\quad\mbox{for}\ t\ge\frac{R}{4}
\]
yields that
\[
w\left(t+\frac{R}{2},t\right)>z(t)\quad\mbox{for}\ t\ge\frac{R}{4},
\]
so that the desired contradiction can be obtained by the same arguments
to the proof of Theorem 2.2 in Kitamura, Morisawa and Takamura \cite{KMT}.
In fact, if we assume that there exists a point
\[
t_0:=\inf\left\{t>\frac{R}{4}\ :\ w\left(t+\frac{R}{2},t\right)=z(t)\right\},
\]
then we obtain a contradiction,
\[
\begin{array}{ll}
0
&\displaystyle=w\left(t_0+\frac{R}{2},t_0\right)-z(t_0)\\
&\displaystyle=A\int_{R/4}^{t_0}
\left\{\left|w\left(s+\frac{R}{2},s\right)\right|^p-|z(s)|^p\right\}ds>0,
\end{array}
\]
by $w(R/4+R/2,R/4)>z(R/4)$ and the continuity of $w,z$.
Taking into account of the fact that $z$ satisfies
\[
\left\{
\begin{array}{l}
z'=A|z|^p\quad\mbox{in}\ [R/4,\infty),\\
z(R/4)=C_5{\varepsilon},
\end{array}
\right.
\]
we have a contradiction if $T$ satisfies
\[
T\ge C{\varepsilon}^{-(p-1)}\ge\{\mbox{The blow-up time of $z$}\}
\quad\mbox{for}\ 0<{\varepsilon}\le{\varepsilon}_4,
\]
where $C$ is a positive constant independent of ${\varepsilon}$ and
${\varepsilon}_4$ is a constant depending on $A,C_5,R,p$.
In fact, the representation of $z$ is
\[
z(t)=\left\{(C_5{\varepsilon})^{-(p-1)}-(p-1)A\left(t-\frac{R}{4}\right)\right\}^{-1/(p-1)}
\]
so that $z(t)\rightarrow\infty$ as
\[
t\rightarrow\frac{C_5^{-(p-1)}}{(p-1)A}{\varepsilon}^{-(p-1)}+\frac{R}{4}.
\]
If one sets
\[
{\varepsilon}_4=\left(\frac{4C_5^{-(p-1)}}{(p-1)AR}\right)^{1/(p-1)},
\]
then one has a contradiction, $w(T+R/2,T)=\infty$, provided
\[
T\ge\frac{2C_5^{-(p-1)}}{(p-1)A}{\varepsilon}^{-(p-1)}\ge\frac{C_5^{-(p-1)}}{(p-1)A}{\varepsilon}^{-(p-1)}+\frac{R}{4}
\]
for $0<{\varepsilon}\le{\varepsilon}_4$.
Therefore it follows from (\ref{lifespan1}) and (\ref{lifespan2}) that we obtain the contradiction
if $T$ satisfies
\[
T\ge\min\{C{\varepsilon}^{-(p-1)},C{\varepsilon}^{-q(q-1)/(q+1)}\}
\]
with suitably small ${\varepsilon}$, where $C$ is a positive constant independent of ${\varepsilon}$.
This estimate asserts Theorem \ref{thm:upper-bound_zero}
for $p\le(q+1)/2$, or $p\ge q$.
See (\ref{lifespan_zero}) and Remark \ref{rem:relation}.

\par
Hence we have to improve this estimate in the case of $(q+1)/2\le p\le q$.
To do this, we start with
\[
u={\varepsilon} u^0+L(A|w|^p+B|u|^q).
\]
Set
\[
D_+:=\{(x,t)\ :\ t-x\ge R,\ x\ge0\}.
\]
Then, changing variables by $\alpha=s+y, \beta=s-y$, we have that
\[
L(|w|^p)(x,t)\ge\frac{1}{4}\int_{-R}^0d\beta\int_R^{t+x}|w(s,y)|^pd\alpha
\quad\mbox{for}\ (x,t)\in D_+.
\]
Hence it follows from
\[
w(y,s)\ge {\varepsilon} u_t^0(y,s)=-\frac{{\varepsilon}}{2}f'(y-s)
\quad\mbox{for}\ s+y\ge R,\ 0<y-s<R
\]
that
\begin{equation}
\label{iteration}
\left\{
\begin{array}{l}
\displaystyle u(x,t)\ge\frac{B}{4}\int_R^{t-x}d\beta\int_R^{t+x}|u(s,y)|^qd\alpha,\\
u(x,t)\ge AC_6{\varepsilon}^p(t+x-R)
\end{array}
\right.
\quad\mbox{for}\ (x,t)\in D_+,
\end{equation}
where we set
\[
C_6:=\frac{1}{2^{p+2}}\int_{-R}^0|f'(-\beta)|^pd\beta>0.
\]

\par
From now on, we employ the iteration procedure as a routine.
Assume an estimate
\begin{equation}
\label{estimate}
u(x,t)\ge M_n(t+x-R)^{a_n}(t-x-R)^{b_n}
\quad\mbox{for}\ (x,t)\in D_+
\end{equation}
holds, where $a_n,b_n\ge0$ and $M_n>0$.
The sequences $\{a_n\},\{b_n\}$ and $\{M_n\}$ are defined later.
Then it follows from the first line in (\ref{iteration}) that
\[
\begin{array}{ll}
u(x,t)
&\displaystyle\ge\frac{BM_n^q}{4}\int_R^{t-x}(\beta-R)^{qb_n}d\beta\int_R^{t+x}(\alpha-R)^{qa_n}d\alpha\\
&\displaystyle\ge\frac{BM_n^q}{4(qa_n+1)(qb_n+1)}(t+x-R)^{qa_n+1}(t-x-R)^{qb_n+1}
\end{array}
\]
for $(x,t)\in D_+$.
Hence (\ref{estimate}) holds for all $n\in{\bf N}$ provided
\[
\left\{
\begin{array}{ll}
a_{n+1}=qa_n+1,\ a_1=1,\\
b_{n+1}=qb_n+1,\ b_1=0
\end{array}
\right.
\]
and
\[
M_{n+1}\le\frac{BM_n^q}{4(qa_n+1)(qb_n+1)},\ M_1=AC_6{\varepsilon}^p.
\]
It is easy to see that
\[
a_n=\frac{q^n-1}{q-1},\ b_n=\frac{q^{n-1}-1}{q-1}\quad(n\in{\bf N})
\]
which implies
\[
(qa_n+1)(qb_n+1)\le(qa_n+1)^2=a_{n+1}^2
\le\frac{q^{2(n+1)}}{(q-1)^2}
\]
Therefore $M_n$ should be defined by
\[
M_{n+1}=BC_7q^{-2(n+1)}M_n^q,\ M_1=AC_6{\varepsilon}^p,
\]
where we set
\[
C_7:=\frac{(q-1)^2}{4}>0,
\]
so that (\ref{estimate}) implies that
\begin{equation}
\label{lower-bound}
u(x,t)\ge C_8\{(t+x-R)(t-x-R)\}^{-1/(q-1)}\exp\left\{Z(x,t)q^{n-1}\right\}
\end{equation}
for $(x,t)\in D_+$, where
\[
\begin{array}{ll}
Z(x,t)
&\displaystyle:=\frac{1}{q-1}\log\{(t+x-R)^q(t-x-R)\}\\
&\displaystyle\quad+\frac{1}{q-1}\log(BC_7)-2S_q\log q+\log(AC_6{\varepsilon}^p),\\
C_8
&\displaystyle:=\exp\left(-\frac{1}{q-1}\log (BC_7)\right)>0.
\end{array}
\]
Because $M_n$ satisfies
\[
\log M_{n+1}=\log(BC_7)-2(n+1)\log q+q\log M_n
\]
which implies
\[
\begin{array}{ll}
\log M_{n+1}
&=(1+q+\cdots+q^{n-1})\log(BC_7)\\
&\quad-2\{n+1+qn+\cdots+q^{n-1}(n+1-n+1)\}\log q\\
&\quad+q^n\log M_1\\
&\displaystyle=\frac{q^n-1}{q-1}\log(BC_7)-2q^{n-1}\log q\sum_{j=0}^n\frac{j+2}{q^j}+q^n\log M_1\\
&\displaystyle\ge-\frac{1}{q-1}\log(BC_7)+q^n\left\{\frac{1}{q-1}\log(BC_7)-2S_q\log q+\log M_1\right\},
\end{array}
\]
where we set
\[
S_q:=\sum_{j=0}^\infty\frac{j+2}{q^{j+1}}<\infty.
\]

\par
In view of (\ref{lower-bound}), if there exists a point $(x_0,t_0)\in D_+$ such that
$Z(x_0,t_0)>0$, we have a contradiction $u(x_0,t_0)=\infty$ to the fact that
$(u,w)$ is a continuous solution on the time interval $[0,T]$ with $T\ge t_0$
of (\ref{system}) by letting $n\rightarrow\infty$.
Let us set $t_0=2x_0$ and $t_0\ge4R$.
Then, since we have
\[
(t_0+x_0-R)^q(t_0-x_0-R)\ge\frac{1}{4}\left(\frac{5}{4}\right)^qt_0^{q+1},
\]
$Z(x_0,t_0)>0$ follows from
\[
t_0^{q+1}>4\left(\frac{4}{5}\right)^q\frac{q^{2(q-1)S_q}}{A^{(q-1)}BC_6^{(q-1)}C_7}{\varepsilon}^{-p(q-1)}.
\]
Therefore this inequality completes the proof of Theorem \ref{thm:upper-bound_zero}
for $(q+1)/2\le p\le q$ with ${\varepsilon}_4>0$ satisfying
\[
\left\{4\left(\frac{4}{5}\right)^q
\frac{q^{2(q-1)S_q}}{A^{(q-1)}BC_6^{(q-1)}C_7}
\right\}^{1/(q+1)}
{\varepsilon}_4^{-p(q-1)/(q+1)}=4R.
\]
\hfill$\Box$

\section*{Acknowledgement}
\par
The second author is partially supported
by the Grant-in-Aid for Young Scientists (No.18K13447),
Japan Society for the Promotion of Science.
The third author is partially supported
by the Grant-in-Aid for Scientific Research
(A) (No.22H00097) and (B) (No.18H01132),
Japan Society for the Promotion of Science.

\bibliographystyle{plain}