\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2017 (2017), No. 196, pp. 1--18.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu}
\thanks{\copyright 2017 Texas State University.}
\vspace{8mm}}

\begin{document}
\title[\hfilneg EJDE-2017/196\hfil Blow up for Ginzburg-Landau systems]
{Blow-up of solutions for weakly coupled systems
of complex Ginzburg-Landau equations}

\author[K. Fujiwara, M. Ikeda, Y. Wakasugi \hfil EJDE-2017/196\hfilneg]
{Kazumasa Fujiwara, Masahiro Ikeda, Yuta Wakasugi}

\address{Kazumasa Fujiwara \newline
Department of Pure and Applied Physics,
Waseda University,
3-4-1, Okubo, Shinjuku-ku,
Tokyo, 169-8555, Japan}
\email{k-fujiwara@asagi.waseda.jp}

\address{Masahiro Ikeda \newline
Department of Mathematics,
Faculty of Science and Technology,
Keio University,
3-14-1 Hiyoshi, Kohoku-ku,
Yokohama, 223-8522, Japan.\newline
Center for Advanced Intelligence Project,
 RIKEN, Japan}
\email{masahiro.ikeda@keio.jp, masahiro.ikeda@riken.jp}

\address{Yuta Wakasugi \newline
Department of Engineering for Production and Environment,
Graduate School of Science and Engineering,
Ehime University,
3 Bunkyo-cho, Matsuyama, Ehime, 790-8577,
Japan}
\email{wakasugi.yuta.vi@ehime-u.ac.jp}


\dedicatory{Communicated by Mokhtar Kirane}

\thanks{Submitted July 22, 2017. Published August 8, 2017.}
\subjclass[2010]{35B44, 35Q55}
\keywords{Weakly coupled; complex Ginzburg-Landau equation; blow-up}

\begin{abstract}
 Blow-up phenomena of weakly coupled systems of several evolution equations,
 especially complex Ginzburg-Landau equations
 is shown by a straightforward ODE approach, not by the so-called test-function
 method used in \cite{bibx:35} 
 which gives the natural blow-up rate.
 The difficulty of the proof is that, unlike the single case,
 terms which come from the Laplacian cannot be absorbed
 into the weakly coupled nonlinearities.
 A similar ODE approach is applied to heat systems by Mochizuki \cite{bibx:30} 
 to obtain the lower estimate of lifespan.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\allowdisplaybreaks


\section{Introduction}

In this article, we study a blow-up phenomena
(blow-up rate and estimates of lifespan)
for the following Cauchy problem for the Ginzburg-Landau systems
with the weakly coupled nonlinearity
by developing an ODE approach used in \cite{bibx:30}:
 \begin{equation}
 \begin{gathered}
 \partial_t u + \alpha_1 \Delta u = \beta_1 |v|^p,
 \quad t \in [ 0, T), \quad x \in \mathbb X,\\
 \partial_t v + \alpha_2 \Delta v = \beta_2 |u|^q,
 \quad t \in [ 0, T), \quad x \in \mathbb X,\\
 u(0,x) = u_0(x),\quad
 v(0,x) = v_0(x),
 \quad x \in \mathbb X,
 \end{gathered}
 \label{eq:1.1}
 \end{equation}
where
$u=u(t,x)$ and $v=v(t,x)$ are unknown complex-valued functions of $(t,x)$,
$\alpha_1,\alpha_2,\beta_1,\beta_2 \in \mathbb C \backslash \{0\}$ and
$p, q \geq 1$ are constants,
$\mathbb X$ denotes the $n$-dimensional Euclidean space $\mathbb{R}^n$
or the Torus $\mathbb{T}^n$
with $n \in \mathbb N$,
and $\Delta:=\sum_{i=1}^n\frac{\partial^2}{\partial x_i^2}$
denotes the Laplacian on $\mathbb X$.
$T$ denotes the maximal existence time of the function $(u,v)$
and is called lifespan.


Our aim in the present paper is to understand
a blow-up mechanism of the weakly-coupled system \eqref{eq:1.1}
by an ODE argument which is more direct than the test-function method
used in \cite{bibx:35}.
 
When $\alpha_1=\alpha_2=-1$, $\beta_1=\beta_2=1$,
$u$ and $v$ are real-valued and $u_0$ and $v_0$ are non-trivial non-negative,
the problem \eqref{eq:1.1} becomes the Cauchy problem
for the following heat systems with the weakly coupled nonlinearities:
 \begin{equation}
 \begin{gathered}
 \partial_t u - \Delta u = v^p,
 \quad t \in [ 0, T), \quad x \in \mathbb X,\\
 \partial_t v - \Delta v = u^q,
 \quad t \in [ 0, T), \quad x \in \mathbb X,\\
 u(0,x) = u_0(x) \geq 0,\quad
 v(0,x) = v_0(x) \geq 0,
 \quad x \in \mathbb X.
 \end{gathered}
 \label{eq:1.2}
 \end{equation}
We extend the blow-up result for \eqref{eq:1.2} into the complex setting.



We, at first, recall several previous results about blow-up of single heat equations.
The following Cauchy problem for the single heat equation with a power-type nonlinearity
has been extensively studied:
 \begin{equation}
 \begin{gathered}
 \partial_t u - \Delta u = u^p,
 \quad t \in [ 0,T),\quad x \in \mathbb R^n,\\
 u(0,x) = u_0(x),
 \quad x \in \mathbb R^n,
 \end{gathered}
 \label{eq:1.3}
 \end{equation}
where $u$ is unknown non-negative function,
$u_0$ is non-negative functions which is not identically $0$,
and $p \geq 1$.
As a pioneering work,
Fujita \cite{bibx:9} showed that
if $p < p_F := 1 + 2/n$,
where $p_F$ is called the Fujita exponent,
then any non-trivial non-negative solutions blow up in a finite time
by using the contradiction argument.
See also \cite{bibx:10}.
He used the following ODE
coming from \eqref{eq:1.3} without the Laplacian to show the blow-up result:
 \begin{equation}
 \frac{d}{dt} f(t) = f(t)^p,
 \label{eq:1.4}
 \end{equation}
where $f$ is a positive $C^1$-function.
If $f(0) > 0$, then the solution of \eqref{eq:1.4} is given by
 \[
 f(t) = (f(0)^{-p+1}- (p-1) t)^{-\frac{1}{p-1}}
 \]
and therefore $f$ blows up at $t = \frac{f(0)^{-p+1}}{p-1}$
and the blow-up rate is $-\frac{1}{p-1}$.
Later, Hayakawa \cite{bibx:14}
and Kobayashi, Sirao, and Tanaka \cite{bibx:22} independently showed that
in the critical case where $p = p_F$, any non-trivial non-negative solutions
blow up in a finite time.
Moreover, Giga and Kohn \cite{bibx:13} proved that
if $p > 1$ when $n=1,2$ and $1 < p < \frac{n + 2}{n-2}$ when $n \geq 3$, then
the positive solution $u$ of \eqref{eq:1.3} blows up in type I rate, i.e.
 \begin{equation}
 \| u(t) \|_{L^{\infty}(\mathbb R^n)} \leq C(T-t)^{-\frac{1}{p-1}},
 \quad t \in [ 0, T)
 \label{eq:1.5}
 \end{equation}
for some constant $C$ independent of $t$ and $T$.
The estimate \eqref{eq:1.5} implies that
behavior of blow-up solutions of \eqref{eq:1.3}
and that of \eqref{eq:1.4} have similar blow-up rate and lifespan.
Later, Matano and Merle \cite{bibx:26} extended the result of \cite{bibx:13}
to $\frac{n+2}{n-2} < p < p_{JL}$,
where $p_{JL}$ is the Joseph-Lundgren exponent given by
$p_{JL} := \infty \ (3\le n \le 10)$,
$p_{JL} := 1+\frac{4}{n-4-\sqrt{n-1}} \ (n \ge 11)$.
We remark that Herrero and Vel\'azquez \cite{bibx:16} showed that
for $n \geq 11$ and $p_{JL} < p$,
there exists a blow-up solution of \eqref{eq:1.3}
which violates the estimate \eqref{eq:1.5}.
Thus the analogy from ODE \eqref{eq:1.4}
does not work to the heat equation \eqref{eq:1.3}
in the case where the power and spacial dimension are sufficiently high.

In the subcritical case where $p < p_F$,
Lee and Ni \cite{bibx:25} obtained
the sharp estimate of lifespan to \eqref{eq:1.3}
 \[
 c \epsilon^{-\frac{1}{\frac{1}{p-1}-\frac{n}{2}}}
 \leq T \leq
 C \epsilon^{-\frac{1}{\frac{1}{p-1}-\frac{n}{2}}},
 \]
where $\epsilon > 0$ is sufficiently small
and $u_0$ is replaced by $u_0 = \epsilon \widetilde u_0$.
We note that
they used the comparison principle for heat equations
and introduced blow-up sub-solutions and super-solutions.
We remark that the exponent
$(\frac{1}{p-1}-\frac{2}{n})^{-1}$
is sharp with respect to the size of the initial data.
For more information about \eqref{eq:1.3},
see \cite{bibx:8,bibx:15,bibx:27,bibx:29}
and the references therein.

On the other hand,
Zhang \cite{bibx:35} studied
non-existence of global weak solutions
of a semilinear parabolic equations for some initial data
and a nonlinearity of a variable coefficient
by using the so-called test function method,
which is originally developed by Baras and Pierre \cite{bib:1.5}
to study the existence and non-existence for
semilinear elliptic and parabolic equations.
His method is based on a contradiction argument
with a weak form.
If we apply his method to \eqref{eq:1.3},
the weak form is
 \begin{align*}
 &\int_{0}^{T} \int_{\mathbb R^n}
 u(t,x) (- \partial_t \phi(t,x) - \Delta \phi(t,x))
 \thinspace dx \thinspace dt\\
 &= \int_{\mathbb R^n} u_0(x) \phi(x)
 +\int_{0}^{T} \int_{\mathbb R^n}
 |u(t,x)|^p \phi(t,x)
 \thinspace dx \thinspace dt,
 \end{align*}
where $\phi$ is a smooth, non-negative, compact supported function
(see also \cite{bibx:28}).
By modifying his argument,
Kuiper \cite{bibx:24} gave
an estimate of lifespan for some parabolic equations
for some slowly decreasing initial datum.
His argument has been applied to semilinear Schr\"odinger
and damped wave equations.
However,
the test function method does not give blow-up rate
since, roughly speaking, unknown functions are canceled out in this argument.

Next we recall several previous results of blow-up
for single complex Ginzburg-Landau equations,
 \begin{equation}
 \begin{gathered}
 \partial_t u - \alpha \Delta u = F(u),
 \quad t \in [ 0, T), \quad x \in \mathbb X,\\
 u(0,x) = u_0(x),
 \quad x \in \mathbb X,
 \end{gathered}
 \label{eq:1.6}
 \end{equation}
where $u$ is complex-valued unknown function,
$\alpha \in \mathbb C \backslash \{0\}$,
and $F$ is the nonlinearity.
Ogawa and Tsutsumi \cite{bibx:31} studied
blow-up for the case where $i \alpha < 0$, $F(u)= i |u|^4u$, $\mathbb X = \mathbb T$.
Later, Ozawa and Yamazaki \cite{bibx:33} studied \eqref{eq:1.6}
in the case where $\operatorname{Re} \thinspace \alpha \geq 0$,
$F(u) = (\kappa + i \beta) |u|^p + \gamma u$ with $\beta >0$,
$\kappa, \gamma \in \mathbb R$,
and
 \[
 \operatorname{Im} \int_{\mathbb T} u_0(x) dx > 0.
 \]
They introduced
 \[
 M(t) =
 \frac{e^{-\gamma t}}{2\pi} \operatorname{Im}
 \int_{\mathbb T} u(t,x) dx,
 \quad 0 \leq t < T
 \]
and showed that $M$ is positive
and satisfies the ordinary differential inequality (ODI)
 \begin{equation}
 \frac{d}{dt} M(t) \geq \frac{e^{(p-1)\gamma t}}{2 \pi} M(t)^p,
 \quad 0 \leq t < T,
 \label{eq:1.7}
 \end{equation}
which implies that $M$ blows up at a finite positive time
by a comparison principle.
We remark that in their argument,
the embedding $L^p(\mathbb T^n) \hookrightarrow L^1(\mathbb T^n)$
and identity
 \[
 \int_{\mathbb T^n} \Delta u(t,x) dx = 0
 \]
for $n \geq 1$ play a crucial role to obtain the ODI \eqref{eq:1.7}.
Oh \cite{bibx:32} studied blow-up of \eqref{eq:1.6}
in the case where $\alpha \in \mathbb C \backslash \{0\}$,
$F(u) = \lambda |u|^p$,
and $\mathbb X = \mathbb T^n$ with $n \geq 1$
by the test function method.
He showed that if
 \begin{equation}
 \operatorname{Re}  \lambda
  \operatorname{Im} \int_{\mathbb T^n} u_0(x) dx < 0,
 \quad \text{or} \quad
 \operatorname{Im} \lambda  \operatorname{Re} \int_{\mathbb T^n} u_0(x) dx > 0,
 \label{eq:1.8}
 \end{equation}
then there is no global weak solutions.
The second and third authors \cite{bibx:20} applied the test function method
to study blow-up of \eqref{eq:1.6} in the case where $\alpha = i$,
 $F(u) = \lambda |u|^p$,
and $\mathbb X = \mathbb R^n$ with $n \geq 1$.
They showed if $1 < p \leq 1 + \frac{2}{n}$
and $u_0 \in L^1(\mathbb R^n) \cap L^2(\mathbb R^n)$ satisfies
 \[
 \operatorname{Re} \lambda  \operatorname{Im} \int_{\mathbb R^n} u_0(x) dx < 0,
 \quad \text{or} \quad
 \operatorname{Im} \lambda  \operatorname{Re} \int_{\mathbb R^n} u_0(x) dx > 0,
 \]
then the solution blows up in a finite time.
Moreover, by modifying the test function method of Kuiper,
the second author and Inui \cite{bibx:18,bibx:19} obtained
an upper bound of lifespan of solutions for the same problem
with $1 < p < 1 + \frac{4}{n}$
for some initial datum which decay slowly or have singularity at the origin,
where $1+\frac{4}{n}$ is the scaling critical exponent of $L^2(\mathbb R^n)$.
Recently, the first author and Ozawa \cite{bibx:11,bibx:12}
extended the results of Oh and the second author and Inui \cite{bibx:18, bibx:19}.
They showed blow-up phenomena
(blow-up rate and upper bounds of lifespan of solutions)
by an ODE argument connected with the test function method.
Indeed,
in the torus case where $\mathbb X = \mathbb T^n$ and $p >1$,
for $L^1(\mathbb T^n)$-initial data,
let
 \[
 \widetilde M(t) = \operatorname{Re} \Big( \overline \lambda \int_{\mathbb T^n} u(t,x) dx
 \Big),
 \quad t \in [ 0, T).
 \]
Then, as with the approach of Ozawa and Yamazaki \cite{bibx:33}, they showed that,
if
 \begin{equation}
 \widetilde M(0)
 = \operatorname{Re} \Big( \overline \lambda \int_{\mathbb T^n} u_0(x) dx
 \Big)
 > 0,
 \label{eq:1.9}
 \end{equation}
then $\widetilde M$ satisfies
 \begin{align*}
 \frac{d}{dt} \widetilde M(t)
 &= |\lambda|^{2} \int_{\mathbb T^n} |u(t,x)|^p dx\\
 &\geq |\mathbb T^n|^{-(p-1)} |\lambda|^{2-p}
 \widetilde M(t)^p,
 \quad t \in [ 0, T)
 \end{align*}
and this ODI implies that $\widetilde M$ blows up at a finite time.
We remark that the condition \eqref{eq:1.9} includes the condition \eqref{eq:1.8}.
Moreover,
in the Euclidean case where $\mathbb X = \mathbb R^n$ and $1 < p < p_F$,
for $L^1(\mathbb T^n)$-initial data,
if $u_0 \in L^1(\mathbb R^n) \cap L^2(\mathbb R^n)$,
then solutions for \eqref{eq:1.6} satisfy the ODI,
 \begin{equation}
 \frac{d}{dt} \Big( \int_{\mathbb R^n} u(t,x) \phi(x) dx
 - \frac{1}{2} U_0 \Big)
 \geq C
 U_0^{\frac{n(p-1)}{\frac{2}{p-1}-n}}
 \Big(
 \int_{\mathbb R^n} u(t,x) \phi(x) dx
 - \frac{1}{2} U_0 \Big)^p
 \label{eq:1.10}
 \end{equation}
for $0 < t < T$, where $C$ is some positive constant and
 \[
 U_0 = \int_{\mathbb R^n} u_0(x) \phi(x) dx
 \]
with a smooth test function $\phi$.
Therefore,
$\int_{\mathbb R^n} u(t,x) \phi(x) dx - \frac{1}{2} U_0$
is a super-solution of ODE \eqref{eq:1.4}
with a constant.
Thus the comparison principle implies that
the inequality,
 \begin{align*}
 \int_{\mathbb R^n} u(t,x) \phi(x) dx
 &\geq C_1 \Big( U_0^{-p+1}
 - C_2 U_0^{\frac{n(p-1)}{\frac{2}{p-1}-n}} t
 \Big)^{-\frac{1}{p-1}}\\
 &= C_1
 U_0^{-\frac{n}{\frac{2}{p-1}-n}}
 \Big( U_0^{-\frac{1}{\frac{1}{p-1}-\frac{n}{2}}}
 - C_2 t
 \Big)^{-\frac{1}{p-1}}
 \end{align*}
holds with some positive constants $C_1$ and $C_2$
for any $0 < t <T$.
In their argument,
the condition $p < p_F$ plays a crucial role
to obtain ODI \eqref{eq:1.10} by a scaling transformation of $\phi$.
For related subjects, we refer the reader to \cite{bibx:21.5}.

Let us recall several previous results
for blow-up of weakly coupled heat systems \eqref{eq:1.2}.
Escobedo and Herrero \cite{bibx:3} showed that
if $p, q > 0$ and $pq > 1$,
then all positive solutions blow up
if
 \begin{equation}
 \max \Big( \frac{p+1}{pq-1},\ \frac{q+1}{pq-1} \Big) \geq \frac{n}{2}
 \label{eq:1.11}
 \end{equation}
and global solutions with small data
exist if
 \[
 \max \Big( \frac{p+1}{pq-1},\ \frac{q+1}{pq-1} \Big) < \frac{n}{2}.
 \]
We remark that if $p=q$, then \eqref{eq:1.11} coincides with $p \leq p_F$.
In this sense, their results correspond to the case
of single heat equation \eqref{eq:1.3}.
We remark that it is shown in \cite{bibx:2} that
even in the case where $\mathrm{min}(p,q) < 1$,
\eqref{eq:1.2} has local solutions.
Moreover,
Andreucci, Herrero, and Vel\'azquez \cite{bib:1} showed that
when $\mathbb X  = \mathbb{R}^n$,
the solution $(u,v)$ to \eqref{eq:1.2} satisfies
 \begin{equation}
 u(t,x) \leq C (T-t)^{-\frac{p+1}{pq-1}},\quad
 v(t,x) \leq C (T-t)^{-\frac{q+1}{pq-1}}
 \label{eq:1.12}
 \end{equation}
for $ 0 < t < T$
with a positive constant $C$
(see \cite{bibx:4} for bounded domain cases).
After that, for general unbounded domain
$\mathbb X = \Omega$,
Fila and Souplet \cite{bibx:7}
obtained the estimates \eqref{eq:1.12},
provided that
solution $(u,v)$ satisfies the stronger condition below than \eqref{eq:1.2},
 \begin{equation}
 \max \Big( \frac{p+1}{pq-1},\ \frac{q+1}{pq-1} \Big) \geq \frac{n+1}{2}.
 \label{eq:1.13}
 \end{equation}
We expect that when $\mathbb X = \Omega$ is an exterior domain,
the condition \eqref{eq:1.13} above can be relaxed to the condition \eqref{eq:1.11}.
For corresponding results of general component cases,
we refer the readers to \cite{bibx:6} and the references therein.
Next,
Mochizuki \cite{bibx:30} obtained the sharp estimate of lifespan
of the same problem \eqref{eq:1.2} with $p,q >1$
for non-negative initial data.
In order to obtain the upper bound of lifespan,
he used the following ODE systems:
 \begin{equation}
 \begin{gathered}
 \frac{d}{dt} f(t) + C_1 f(t) = C_2 g(t)^p,
 \quad t \in [ 0, T),\\
 \frac{d}{dt} g(t) + C_1 g(t) = C_2 f(t)^q,
 \quad t \in [ 0, T),\\
 f(0)=f_0, \quad g(0)=g_0
 \end{gathered}
 \label{eq:1.14}
 \end{equation}
with positive constants $C_1,C_2$ and positive numbers $f_0, g_0$.
He showed that the product $f(t)g(t)$ enjoys the following ODI:
 \begin{equation}
 \frac{d}{dt} (f(t)g(t)) + C_1 f(t)g(t)
 \geq C_3 (f(t)g(t))^{\frac{(p+1)(q+1)}{p+q+2}},
 t \in [ 0, T)
 \label{eq:1.15}
 \end{equation}
with some positive constant $C_3$,
which implies that solutions of \eqref{eq:1.14} blow up at a finite time.
Since with small $\epsilon > 0$ and a solution $(u,v)$ for \eqref{eq:1.2},
 \[
 \Big( \int_{\mathbb R^n} u(t,x) e^{-\epsilon |x|^2} dx,\quad
 \int_{\mathbb R^n} v(t,x) e^{-\epsilon |x|^2} dx \Big)
 \]
is a super-solution of \eqref{eq:1.14},
the solution of \eqref{eq:1.2} blows up at a finite time
and the lifespan is estimated from above by that of solutions of \eqref{eq:1.14}.
Moreover,
he composed super-solutions of \eqref{eq:1.2}
which blow up in a finite time with the blow-up solutions of
 \begin{equation}
 \begin{gathered}
 \frac{d}{dt} f(t) = g(t)^p,
 \quad t \in [ 0, T),\\
 \frac{d}{dt} g(t) = f(t)^q,
 \quad t \in [ 0, T),\\
 f(0)=f_0,\quad g(0)=g_0.
 \end{gathered}
 \label{eq:1.16}
 \end{equation}
We note that $f$ and $g$ satisfy the  ODE
 \begin{equation}
 \frac{1}{q+1} \frac{d}{dt} f(t)^{q+1}
 = f(t)^p g(t)^q
 = \frac{1}{p+1} \frac{d}{dt} g(t)^{p+1},
 \quad t \in [ 0, T).
 \label{eq:1.17}
 \end{equation}
This identity divides ODE systems \eqref{eq:1.14} into two single ODEs.
The lifespan of solutions to the divided ODEs can be estimated.
In conclusion, if $p > q > 1$,
for for the  initial data
 \[
 (u_0(x),v_0(x))
 = (\epsilon \langle x \rangle^{-a},
 \epsilon^{\frac{2(q+1)-\min(b,n)(pq-1)}{2(p+1)
 - \min(a,n)(pq-1)}} \langle x \rangle^{-b}),
 \]
with small $\epsilon >0$ and some $a,b \neq n$ satisfying
$0< \min(a,n) < \frac{2(p+1)}{pq-1}$, 
$0< \min(b,n) < \frac{2(q+1)}{pq-1}$,
the lifespan is estimated by
 \[
 c \epsilon^{- \frac{1}{\frac{p+1}{pq-1}-\frac{n}{2}}}
 \leq T
 \leq C \epsilon^{- \frac{1}{\frac{p+1}{pq-1}-\frac{n}{2}}}
 \]
with some positive constants $c$ and $C$ independent of $\epsilon$.
See also \cite{bibx:5,bibx:23,bibx:34} and reference therein.

In this article,
we introduce an unified ODE approach to show the blow-up results
(blow-up rate and upper bound of lifespan)
for weakly coupled systems.
As an application,
we show the blow-up rate and upper bound of lifespan
for the complex Ginzburg-Landau systems
on both of torus and Euclidean spaces.

\begin{theorem} \label{Theorem:1.1}
Let $\mathbb X = \mathbb T^n$.
Let $\alpha_1, \alpha_2, \beta_1, \beta_2 \in \mathbb C \backslash \{0\}$.
Let $p,q > 0$ satisfying $pq > 1$ and $p \geq q$.
Let $(u_0, v_0)$ be not $(0,0)$ but $L^1(\mathbb T^n) \times L^1(\mathbb T^n)$ 
function.
Assume that there exists a solution
$(u,v) \in [ C^2((0,T)\times \mathbb T^n) ]^2$
to \eqref{eq:1.1} with the initial data $(u_0, v_0)$.
Then $(u,v)$ blows up in a finite time.
In particular, the estimates
 \begin{equation}
 T \leq T_0 :=
 \Big( \int_{\mathbb T^n} u_0(x) dx
 \Big)^{-\frac{pq-1}{{p+1}}}
 \label{eq:1.18}
 \end{equation}
and
 \begin{gather}
 \int_{\mathbb T^n} u(t,x) dx
\geq C (T_0-t)^{- \frac{p+1}{pq-1}},
 \label{eq:1.19}\\
 \int_{\mathbb T^n} v(t,x) dx
\geq  C (T_0-t)^{- \frac{q+1}{pq-1}},
 \label{eq:1.20}
 \end{gather}
hold for $t\in [ 0,T)$ with some positive constant $C$ independent of $t$ and $T$.
\end{theorem}

\begin{theorem} \label{Theorem:1.2}
Let $\mathbb X = \mathbb R^n$.
Let $\alpha_1, \alpha_2 < 0$ and $\beta_1, \beta_2 \in \mathbb C \backslash \{0\}$.
Let $p,q > 0$ satisfying $pq > 1$ and $p \geq q$.
Let $(u_0, v_0)$ be not $(0,0)$and be
$L_{\mathrm{loc}}^1(\mathbb R^n) \times L_{\mathrm{loc}}^1(\mathbb R^n)$ function
satisfying that $\overline \beta_1 u_0$ and $\overline \beta_2 v_0$ are non-negative valued.
Assume that there exists a classical solution
$(u,v) \in [C^2((0,T)\times \mathbb R^n)]^2$
to \eqref{eq:1.1} with the initial data $(u_0, v_0)$.
Then $(u,v)$ blows up in a finite time.
In particular,
there is a compactly supported non-negative function
$\phi \in C^2(\mathbb R^n)$ such that the estimates
 \begin{equation}
 T \leq T_1 := C
 \Big( \int_{\mathbb R^n} u_0(x) \phi(x) dx
 \Big)^{-\frac{1}{\frac{p+1}{pq-1} -\frac{n}{2}}}
 \label{eq:1.21}
 \end{equation}
and
 \begin{gather}
 \overline \beta_1 \int_{\mathbb R^n} u(t,x) \phi(x) dx
\geq C (T_1-t)^{- \frac{p+1}{pq-1}},
 \label{eq:1.22}\\
 \overline \beta_2 \int_{\mathbb R^n} v(t,x) \phi(x)dx
\geq  C (T_1-t)^{- \frac{q+1}{pq-1}},
   \label{eq:1.23}
 \end{gather}
hold for $t\in [ 0,T)$ with some positive constant $C$ independent of $t$ and $T$.
\end{theorem}

We collect estimates of ODE systems \eqref{eq:1.14} and \eqref{eq:1.16}
in Section \ref{section:2}.
Then we give a proof of Propositions \ref{Theorem:1.1}
and \ref{Theorem:1.2} in Sections \ref{section:4} and \ref{section:3}, respectively.



\section{Preparation: ODE Arguments}
\label{section:2}

In this section,
we collect sub-solutions for some weakly coupled ODE systems
connected to \eqref{eq:1.1}.
In particular,
we show that solutions of weakly coupled systems of two ODEs
are larger than solutions of single ODEs with a modified nonlinearity.


Here, the following solutions for single ODEs
give the basis to obtain the explicit sub-solutions
of ODE systems.

\begin{lemma}
Let $\rho > 1$, $\mu >0$, and $f_0 > 0$.
Set
 \begin{gather*}
 T_f:=\mu^{-1} (\rho-1)^{-1} f_0^{1-\rho}\\
 f(t) := \{ f_0^{1-\rho} - (\rho -1) \mu t \}^{-\frac{1}{\rho-1}},\quad
 \text{for } t\in [ 0,T_f).
 \end{gather*}
Then $f\in C^{\infty}((0,T_f))$ is the unique solution to the Cauchy 
problem for the ODE
 \begin{gather*}
 f'(t) = \mu f(t)^\rho,\\
 f(0) = f_0.
 \end{gather*}
\end{lemma}

It is well known that
we can compare super-solutions and sub-solutions
for single ODEs with appropriate initial datum.
Since \eqref{eq:1.15} holds,
the comparison principle for singe ODE implies blow-up of \eqref{eq:1.14}
Moreover,
Kamke \cite{bibx:21} showed that
the comparison principle holds
for weakly coupled ODE systems.
In particular, the following Lemma \ref{Lemma:2.2} holds
and we can obtain lower bounds of each solutions
instead of sum of product of solutions.
We also refer the reader the text book of Hsu \cite{bibx:17}
and remark that their statements are more general than Lemma \ref{Lemma:2.2}.

\begin{lemma}[{\cite[Theorem 2.6.3]{bibx:17}\cite[Satz 6]{bibx:21}}]
\label{Lemma:2.2}
Let $C \geq 0$, $T>0$,
and let $p,q>0$ satisfy $pq > 1$.
Let $\mathcal F, \mathcal G$ be non-decreasing functions on $\mathbb R$.
Let $f_1,f_2,g_1,g_2 \in C^1([0,T))$ satisfy ODIs,
 \begin{gather*}
 \frac{d}{dt} f_2(t) + C f_2(t) \geq \mathcal G(g_2(t)),\\
 \frac{d}{dt} g_2(t) + C g_2(t) \geq \mathcal F(f_2(t)),
 \end{gather*}
and
 \begin{gather*}
 \frac{d}{dt} f_1(t) + C f_1(t) \leq \mathcal G(g_1(t)),\\
 \frac{d}{dt} g_1(t) + C g_1(t) \leq \mathcal F(f_1(t))
 \end{gather*}
for $0 \leq t < T$
with the initial condition $f_2(0) > f_1(0)$ and $g_2(0) > g_1(0)$.
Then $f_2(t) > f_1(t)$ and $g_2(t) > g_1(t)$ for $0 \leq t < T$.
\end{lemma}

\begin{proof}
On the contrary, we assume that there exists $t_0\in (0,T)$ such that
 $f_2(t_0) = f_1(t_0)$.
Then, we can define
 \[
 T_f = \min \{ 0 < t \le t_0 ;\ f_1(t) = f_2(t) \}.
 \]
Thus, the function
$\Phi(t) := e^{Ct}(f_2(t) - f_1(t))\in C^1((0,T))$
satisfies
$\Phi(t) > 0$ for $t \in [ 0,T_f)$ and $\Phi (T_f) = 0$.
Hence, there exists $T_f' \in (0,T_f)$ such that
$\Phi'(T_f') < 0$.
On the other hand, by the ODIs, we see that
 \[
 \Phi'(t) =
 \frac{d}{dt} \left\{ e^{Ct} (f_2(t) - f_1(t) )\right\}
 \geq e^{Ct} \{ \mathcal G(g_2(t)) - \mathcal G(g_1(t)) \},\ \text{for}\ t\in [0,T),
 \]
which leads to
$e^{CT_f'} \{ \mathcal G(g_2(T_f')) - \mathcal G(g_1(T_f')) \} < 0$.
This estimate and the monotonicity of
$\mathcal{G}$
imply
$g_2(T_f') < g_1(T_f')$.
Noting that $g_2(0) > g_1(0)$
and $g_2$ and $g_1$ are continuous on $[0,T)$, there exists $t_1\in (0,T_f')$ 
such that $g_1(t_1)=g_2(t_1)$. Therefore we can also define
 \[
 T_g = \min \{ 0 < t \le t_1 ;\ g_1(t) = g_2(t) \}.
 \]
By the definitions of $T_f$, $T_f'$ and $T_g$, we obtain $T_f > T_f' > T_g$.
However, $T_g > T_f$ holds by the same argument, which leads to a contradiction. 
Therefore for any $t\in (0,T)$, $f_2(t) \ne f_1(t)$. By $f_2(0)>f_1(0)$ and 
the continuity of the functions $f_1$ and $f_2$, we have $f_2(t)>f_1(t)$ 
for $t\in [0,T)$. In the similar manner, we can prove $g_2(t)>g_1(t)$ 
for $t\in [0,T)$, which completes the proof of the lemma.
\end{proof}

In the following proposition,
we show explicit solutions for weakly coupled systems of ordinary differential 
equations, which will be used to prove blow-up of solutions for the weakly 
coupled systems of parabolic equations on the $n$-dimensional Euclidean space 
$\mathbb{R}^n$
(see Proposition \ref{Proposition:4.1}).

\begin{proposition}[{\cite[Lemma 4.1]{bibx:30},\cite{bibx:33.5}}]
\label{Proposition:2.3}
Let $f_0, g_0 > 0$ and $C_p, C_q, T >0$,
and let $p,q >0$ satisfy $pq > 1$.
Let $(f,g) \in ( C^1([ 0, T))^2$ be non-negative and a solution of
\begin{gather*}
 \frac{d}{dt} f(t) = (p+1) C_p g(t)^p,
 \quad t \in [ 0,T),\\
 \frac{d}{dt} g(t) = (q+1) C_q f(t)^q,
 \quad t \in [ 0,T),\\
 f(0) = f_0,\quad g(0) = g_0.
 \end{gather*}
Then the equality
 \begin{equation}
 \label{eq:2.1}
 C_q f(t)^{q+1} - C_q f_0^{q+1}
 = C_p g(t)^{p+1} - C_p g_0^{p+1}
 \end{equation}
holds for any $0 \leq t < T$.
Moreover, if $C_q f_0^{q+1} \geq C_p g_0^{p+1}$,
then the following estimates hold:
 \begin{gather}
\begin{aligned}
 g(t)
 &\geq \Big\{
 C_p^{\frac{pq-1}{(p+1)(q+1)}} C_q^{-\frac{pq-1}{(p+1)(q+1)}}
 f_0^{-\frac{pq-1}{p+1}}
 - 2^{\frac{-pq}{q+1}} (pq-1) C_p^{\frac{q}{q+1}} C_q^{\frac{1}{q+1}} t
 \Big\}^{- \frac{q+1}{pq-1}}
 \label{eq:2.2} \\
 &\quad - \big( C_p^{-1} C_q f_0^{q+1} - g_0^{p+1} \big)^{\frac{1}{p+1}}
 \quad \text{for }  0 < t < T,
\end{aligned} \\
 T \leq \frac{2^{\frac{pq}{q+1}}}{pq-1}
 C_p^{-\frac{1}{p+1}} C_q^{-\frac{p}{p+1}}
 f_0^{-\frac{pq-1}{p+1}}.
 \label{eq:2.3}
 \end{gather}
We note that the right-hand side of \eqref{eq:2.3}
is the blow-up time of the right-hand side of \eqref{eq:2.2}.
\end{proposition}

\begin{proof}
Set $F := C_q f^{q+1}\in C^1([0,T))$ and $G := C_p g^{p+1}\in C^1([0,T))$.
Then
 \[
 F'(t) = (q+1) C_q f(t)^q f'(t)
 = (q+1)(p+1) C_q C_p f(t)^q g(t)^p = G'(t)
 \]
for $t \in [0,T)$,
which implies that the identity $\{F(t)-G(t)\}'=0$ for $t\in [0,T)$. 
Thus by integrating
it with respect to time over $[0,t)$, we have (\eqref{eq:2.1}.
 Therefore the identities
 \begin{gather*}
 f(t)
= \left\{ C_q^{-1} C_p g(t)^{p+1} - C_q^{-1} C_p g_0^{p+1} + f_0^{q+1}
 \right\}^{\frac{1}{q+1}},\\
 g(t)
= \left\{ C_p^{-1} C_q f(t)^{q+1} - C_p^{-1} C_q f_0^{q+1} + g_0^{p+1}
 \right\}^{\frac{1}{p+1}},\\
 f'(t)
 = (p+1) C_p \left\{ C_p^{-1} C_q f(t)^{q+1} - C_p^{-1} C_q f_0^{q+1} + g_0^{p+1}
 \right\}^{\frac{p}{p+1}},\\
 g'(t)
 = (q+1) C_q \left\{ C_q^{-1} C_p g(t)^{p+1} - C_q^{-1} C_p g_0^{p+1} + f_0^{q+1}
 \right\}^{\frac{q}{q+1}}.
 \end{gather*}
hold for any $t\in [0,T)$. Since $F(0) \geq G(0)$ by the assumption, the estimate
\[
   a^{p+1}+b^{p+1}\ge 2^{-p}(a+b)^{p+1}\ \ \text{for}\ a,b\ge 0,
\]
implies
 \begin{align*}
 g'(t)
 &= (q+1) C_q \left\{ C_q^{-1} C_p g(t)^{p+1} - C_q^{-1} C_p g_0^{p+1} + f_0^{q+1}
 \right\}^{\frac{q}{q+1}}\\
 &= (q+1) C_p^{\frac{q}{q+1}} C_q^{\frac{1}{q+1}}
 \left\{ g(t)^{p+1} + C_p^{-1} C_q f_0^{q+1} - g_0^{p+1}
 \right\}^{\frac{q}{q+1}}\\
 &\geq 2^{\frac{-pq}{q+1}} (q+1) C_p^{\frac{q}{q+1}} C_q^{\frac{1}{q+1}}
 \left\{ g(t) + \big( C_p^{-1} C_q f_0^{q+1} - g_0^{p+1} \big)^{\frac{1}{p+1}}
 \right\}^{\frac{p+1}{q+1} q},
 \end{align*}
for $t\in [0,T)$. Then by solving the ODI and
the triangle inequality, we obtain
 \begin{equation}\begin{aligned}
 &g(t) + \big( C_p^{-1} C_q f_0^{q+1} - g_0^{p+1} \big)^{\frac{1}{p+1}}\notag\\
 &\geq \Big[
 \{ g_0 + \big( C_p^{-1} C_q f_0^{q+1} - g_0^{p+1} \big)^{\frac{1}{p+1}}
 \}^{- \frac{pq-1}{q+1}}
 - 2^{\frac{-pq}{q+1}} (pq-1) C_p^{\frac{q}{q+1}} C_q^{\frac{1}{q+1}} t
 \Big]^{- \frac{q+1}{pq-1}}\notag\\
 &\geq \Big\{
 C_p^{\frac{pq-1}{(p+1)(q+1)}} C_q^{-\frac{pq-1}{(p+1)(q+1)}}
 f_0^{-\frac{pq-1}{p+1}}
 - 2^{\frac{-pq}{q+1}} (pq-1) C_p^{\frac{q}{q+1}} C_q^{\frac{1}{q+1}} t
 \Big\}^{- \frac{q+1}{pq-1}},
\end{aligned}  \label{eq:2.4}
 \end{equation}
for $t\in [0,T)$, where we have used the identity
 \[
 \frac{p+1}{q+1} q - 1 = \frac{pq-1}{q+1}.
 \]
 From the right hand side of \eqref{eq:2.4}, we see that the maximal existence
 time $T$ of the function $(f,g)$ is estimated by
 \begin{align*}
 T
 &\leq \frac{2^{\frac{pq}{q+1}}}{pq-1} C_p^{-\frac{q}{q+1}} C_q^{-\frac{1}{q+1}}
 C_p^{\frac{pq-1}{(p+1)(q+1)}} C_q^{-\frac{pq-1}{(p+1)(q+1)}}
 f_0^{\frac{1-pq}{p+1}}\\
 &= \frac{2^{\frac{pq}{q+1}}}{pq-1}
 C_p^{-\frac{1}{p+1}} C_q^{-\frac{p}{p+1}}
 f_0^{\frac{1-pq}{p+1}},
 \end{align*}
where we have used the identities
 \begin{align*}
 \frac{pq-1}{(p+1)(q+1)} - \frac{q}{q+1}
 &= - \frac{q+1}{(p+1)(q+1)} = - \frac{1}{p+1},\\
 - \frac{pq-1}{(p+1)(q+1)} - \frac{1}{q+1}
 &= - \frac{pq-1+p+1}{(p+1)(q+1)} = - \frac{p}{p+1}.
 \end{align*}
This completes the proof.
\end{proof}

Proposition \ref{Proposition:2.3} gives the main idea
of the proof of Theorem \ref{Theorem:1.1} and Theorem \ref{Theorem:1.2}.
However, unlike the single heat equation with the power-type nonlinearity,
localized average of solutions to \eqref{eq:1.1} with $\mathbb{X}=\mathbb{R}^n$
does not enjoy the ODI of Proposition \ref{Proposition:2.3}
because we are considering the weak coupled nonlinearity.
More precisely, in the case of single heat equation \eqref{eq:1.3},
the localized average of solution to \eqref{eq:1.3}
is a super-solution for the ODI \eqref{eq:1.4},
since the localized average of $- \Delta u$ can be absorbed into the 
nonlinearity $u^p$.
On the other hand,
in the case of heat system \eqref{eq:1.1} with $\mathbb{X}=\mathbb{R}^n$,
since the nonlinearity is weakly coupled,
the localized averages of each component of the solution with the Laplacian
can not be absorbed.
Thus we use the following modified ODE system
in order to treat the heat systems with $\mathbb{X}=\mathbb{R}^n$
and the weakly coupled nonlinearity (see Section \ref{section:4}).

\begin{corollary}\label{Corollary:2.4}
Let $f_0, g_0, \omega > 0$, $p,q >0$ with $pq>1$ and $C_p, C_q >0$.
Let $(f,g) \in \left(C^1([0,T))\right)^2$ be non-negative and a solution for
 \[
 \begin{gathered}
 \frac{d}{dt} f(t) + \frac{\omega}{q+1} f(t) = (p+1) C_p g(t)^p,
 \quad t \in [ 0,T),\\
 \frac{d}{dt} g(t) + \frac{\omega}{p+1} g(t) = (q+1) C_q f(t)^q,
 \quad t \in [ 0,T),\\
 f_0 = f_0,\quad g_0 = g_0.
 \end{gathered}
 \]
Then 
 \[
 C_q f(t)^{q+1} e^{\omega t} - C_q f_0^{q+1}
 = C_p g(t)^{p+1} e^{\omega t} - C_p g_0^{p+1}.
 \]
holds for any $ 0 \leq t < T$.
Moreover, if
 \begin{equation}
\begin{aligned}
\max\Big(&
 2^{\frac{p+1}{q+1} \frac{pq}{pq-1}}
 (q+1)^{- \frac{p+1}{pq-1}}
 (p+1)^{- \frac{p+1}{pq-1}} \omega^{ \frac{p+1}{pq-1}}
 C_p^{-\frac{1}{pq-1}} C_q^{-\frac{p}{pq-1}}, \\
 &C_q^{-\frac{1}{q+1}} C_p^{\frac{1}{q+1}} g_0^{\frac{p+1}{q+1}}
 \Big)
 < f_0,
\end{aligned} \label{eq:2.5}
 \end{equation}
then, for $0 \leq t < T$,
 \begin{align*}
 e^{\frac{\omega}{p+1} t} g(t)
 & \geq
 \Big\{
 \Big( \frac{C_p}{C_q} \Big)^{\frac{pq-1}{(p+1)(q+1)}}
 f_0^{-\frac{pq-1}{p+1}} \\
&\quad -
 2^{-\frac{pq}{q+1}} (q+1)(p+1) \omega^{-1}
 C_q^{\frac{1}{q+1}} C_p^{\frac{q}{q+1}}
 \left(1 - e^{-\frac{\omega (pq-1)}{(p+1)(q+1)} t}\right)
 \Big\}^{-\frac{q+1}{pq-1}}\\
 &- ( C_q C_p^{-1} f_0^{q+1} - g_0^{p+1} )^{\frac{1}{p+1}}
\end{align*}
and
\begin{align*}
 T
 \leq  - \frac{(q+1)(p+1)}{\omega (pq-1)} \log \Big( 1 -
 \frac{2^{\frac{pq}{q+1}}}{(q+1)(p+1)} \omega
 C_q^{-\frac{p}{p+1}} C_p^{-\frac{1}{p+1}}
 f_0^{-\frac{pq-1}{p+1}}
 \Big).
 \end{align*}
\end{corollary}

\begin{proof}
Set $F = C_q f^{q+1}\in C^1([0,T))$ and $G = C_p g^{p+1}\in C^1([0,T))$.
Then by the equation, we have
 \begin{align*}
 F'(t) + \omega F(t)
 &= (q+1) C_q f(t)^q \Big( f'(t) + \frac{\omega}{q+1} f \Big)\\
 &= (q+1)(p+1) C_q C_p f(t)^q g(t)^p\\
 &= G'(t) + \omega G(t),
 \end{align*}
for any $t\in [0,T)$, which implies that
 \begin{align*}
 F(t) - G(t) = (F(0) - G(0)) e^{-\omega t},
 \end{align*}
for any $t\in [0,T)$. Moreover we obtain
 \begin{gather*}
 f(t)
 = \left\{ C_q^{-1} C_p g(t)^{p+1}
 + \big(f_0^{q+1} - C_q^{-1} C_p g_0^{p+1} \big) e^{- \omega t}
 \right\}^{\frac{1}{q+1}},\\
 g(t)
 = \left\{ C_p^{-1} C_q f(t)^{q+1}
 + \big( g_0^{p+1} - C_p^{-1} C_q f_0^{q+1}\big) e^{-\omega t}
 \right\}^{\frac{1}{p+1}},\\
 f'(t) + \frac{\omega}{q+1} f(t)
 = (p+1) C_p \left\{ C_p^{-1} C_q f(t)^{q+1}
 + ( g_0^{p+1} - C_p^{-1} C_q f_0^{q+1} ) e^{-\omega t}
 \right\}^{\frac{p}{p+1}},\\
 g'(t) + \frac{\omega}{p+1} g(t)
 = (q+1) C_q \left\{ C_q^{-1} C_p g(t)^{p+1}
 + (f_0^{q+1} - C_q^{-1} C_p g_0^{p+1} ) e^{- \omega t}
 \right\}^{\frac{q}{q+1}},
 \end{gather*}
for $t\in [0,T)$. Since we have $F(0) \geq G(0)$ by the assumption of $f_0$, 
by the estimate $a^{p+1}+b^{p+1}\ge 2^{-p}(a+b)^{p+1}$ for $a,b\ge 0$, we have
 \begin{align*}
 &g'(t) + \frac{\omega}{p+1} g(t)\\
 &= (q+1) C_q \left\{ C_q^{-1} C_p g(t)^{p+1}
 + \big(f_0^{q+1} - C_q^{-1} C_p g_0^{p+1} \big) e^{- \omega t}
 \right\}^{\frac{q}{q+1}}\\
 &= (q+1) C_q^{\frac{1}{q+1}} C_p^{\frac{q}{q+1}} e^{- \frac{\omega q}{q+1} t}
 \big( e^{\omega t} g(t)^{p+1}
 + C_q C_p^{-1} f_0^{q+1} - g_0^{p+1}
 \big)^{\frac{q}{q+1}}\\
 &\geq 2^{-\frac{pq}{q+1}} (q+1) C_q^{\frac{1}{q+1}} C_p^{\frac{q}{q+1}}
 e^{- \frac{\omega q}{q+1} t}
 \left\{ e^{\frac{\omega}{p+1} t} g(t)
 + ( C_q C_p^{-1} f_0^{q+1} - g_0^{p+1} )^{\frac{1}{p+1}}
 \right\}^{\frac{p+1}{q+1}q},
 \end{align*}
for any $t\in [0,T)$. Let
 \[
 \widetilde g(t) = e^{\frac{\omega}{p+1} t} g(t)
 + ( C_q C_p^{-1} f_0^{q+1} - g_0^{p+1} )^{\frac{1}{p+1}}.
 \]
Then
 \begin{align*}
 \widetilde g(t)'
 &\geq 2^{-\frac{pq}{q+1}} (q+1) C_q^{\frac{1}{q+1}} C_p^{\frac{q}{q+1}}
 e^{ ( \frac{1}{p+1} - \frac{q}{q+1} ) \omega t}
 \widetilde g(t)^{\frac{p+1}{q+1}q}\\
 &= 2^{-\frac{pq}{q+1}} (q+1) C_q^{\frac{1}{q+1}} C_p^{\frac{q}{q+1}}
 e^{ - \frac{pq-1}{(p+1)(q+1)} \omega t}
 \widetilde g(t)^{\frac{p+1}{q+1}q}
 \end{align*}
and therefore
 \[
 \widetilde g(t)
 \geq
 \Big(
 \widetilde g_0^{-\frac{pq-1}{q+1}}
 - 2^{-\frac{pq}{q+1}} (p+1)(q+1) \omega^{-1}
 C_q^{\frac{1}{q+1}} C_p^{\frac{q}{q+1}}
 (1 - e^{-\frac{pq-1}{(p+1)(q+1)} \omega t})
 \Big)^{-\frac{q+1}{pq-1}},
 \]
where $\tilde{g}_0 = \tilde{g}(0)$.
We remark that the right hand side of this estimate
blows-up at a certain time because
we assume $f_0$ is sufficiently large.
Since
 \[
 \widetilde g_0
 \geq C_q^{\frac{1}{p+1}} C_p^{-\frac{1}{p+1}} f_0^{\frac{q+1}{p+1}},
 \]
the lifespan is estimated by
 \begin{align*}
 T
 &\leq
 - \frac{(p+1)(q+1)}{\omega (pq-1)} \log \Big(
 1 -
 \frac{2^{\frac{pq}{q+1}}}{(q+1)(p+1)} \omega
 C_q^{-\frac{1}{q+1}} C_p^{-\frac{q}{q+1}}
 \widetilde g_0^{-\frac{pq-1}{q+1}}
 \Big)\\
 &\leq
 - \frac{(q+1)(p+1)}{\omega (pq-1)} \log \Big(
 1 -
 \frac{2^{\frac{pq}{q+1}}}{(q+1)(p+1)} \omega
 C_q^{-\frac{p}{p+1}} C_p^{-\frac{1}{p+1}}
 f_0^{-\frac{pq-1}{p+1}}
 \Big).
 \end{align*}
\end{proof}

\section{Blow-up of a Weakly Coupled Systems of
Complex Ginzburg-Landau Equations on the Torus}
\label{section:3}

%[[[ In this section,
In this section,
we show Theorem \ref{Theorem:1.1}.
Namely, we consider the Cauchy problem
for weakly coupled systems of complex Ginzburg-Landau equations on the torus:
 \begin{equation}
 \begin{gathered}
 \partial_t u + \alpha_1 \Delta u = \beta_1 |v|^p,
 \quad t \in [ 0, T), \quad x \in \mathbb T^n,\\
 \partial_t v + \alpha_2 \Delta v = \beta_2 |u|^q,
 \quad t \in [ 0, T), \quad x \in \mathbb T^n,\\
 u(0,x) = u_0(x),\quad
 v(0,x) = v_0(x),
 \quad x \in \mathbb T^n,
 \end{gathered}
 \label{eq:3.1}
 \end{equation}
where $p,q > 0$ with $pq \geq 1$
and $\alpha_1, \alpha_2, \beta_1, \beta_2 \in \mathbb C \backslash \{0\}$.
Here, $u_0, v_0$ are non-zero complex-valued $L^1(\mathbb T^n)$-functions
and $u, v$ are complex-valued unknown functions of $(t,x)$.
We remark that
if $\alpha_1, \alpha_2 \in - i \mathbb R$,
\eqref{eq:3.1} is the weakly coupled systems of Schr\"odinger equations
and
if $\alpha_1, \alpha_2 < 0$,
\eqref{eq:3.1} is the weakly coupled systems of heat equations.
Then Proposition \ref{Proposition:2.3} gives
an a priori upper bound of lifespan and lower bounds of blow-up solution.
The precise statement of Theorem \ref{Theorem:1.1} is the following:

\begin{proposition}
\label{Proposition:3.1}
Let $u_0, v_0 \in L^1(\mathbb T^n)$ satisfy
 \begin{align*}
 &\frac{|\beta_2|^{2+p}}{q+1}
 (2 \pi)^{-n(p-1)}
 \Big\{ \operatorname{Re}
 \Big( \overline \beta_1 \int_{\mathbb T^n} u_0(x) dx \Big) \Big\}^{q+1}\\
 &\geq \frac{|\beta_1|^{2+q}}{p+1}
 (2 \pi)^{-n(q-1)}
 \Big\{ \operatorname{Re}
 \Big( \overline \beta_2 \int_{\mathbb T^n} v_0(x) dx \Big) \Big\}^{p+1}
 >0.
 \end{align*}
If there is a solution $(u,v) \in C^1((0,T),H^2(\mathbb T^n))$
for \eqref{eq:3.1} with the initial datum $(u_0,v_0)$.
Then $(u,v)$ blows up in a finite time.
Moreover, let $T$ be the lifespan.
Then with some positive constants $C_1, C_2, C_3$,
the estimates
 \begin{gather*}
T \leq T_3
 := C_1 \Big\{ \operatorname{Re} \Big( \overline{\beta_1} \int_{\mathbb T^n} u_0(x)d x \Big)
 \Big\}^{\frac{pq-1}{p+1}},\\
\operatorname{Re} \Big( \overline{\beta_1} \int_{\mathbb T^n} u(t,x)d x \Big)
 \geq C_2 ( T_3 - t)^{-\frac{p+1}{pq-1}},
 \quad t \in [ 0, T)\\
\operatorname{Re} \Big( \overline{\beta_2} \int_{\mathbb T^n} v(t,x)d x \Big)
 \geq C_3 ( T_3 - t)^{-\frac{q+1}{pq-1}},
 \quad t \in [ 0, T).
 \end{gather*}
\end{proposition}

\begin{proof}
Let
 \[
 U(t)
 = \operatorname{Re} \Big( \overline \beta_1 \int_{\mathbb T^n} u(t,x) dx \Big),
 \quad
 V(t)
 = \operatorname{Re} \Big( \overline \beta_2 \int_{\mathbb T^n} v(t,x) dx \Big).
 \]
Multiplying $\overline \beta_1$
by the both sides of the first equation of \eqref{eq:3.1},
integrating over $\mathbb T^n$,
taking real part,
and by the H\"older inequality,
 \[
 \frac{d}{dt} U(t)
 = |\beta_1|^{2} |\beta_2|^{-p} \int_{\mathbb T^n} |\overline \beta_2 v(t,x)|^p dx
 \geq |\beta_1|^{2} |\beta_2|^{-p} (2 \pi)^{-n(p-1)} V(t)^p.
 \]
Here we have used the condition that $p \geq 1$ and the fact that
 \[
 \int_{\mathbb T^n} \Delta f(x) dx = 0
 \]
for $f \in H^2(\mathbb T^n)$.
Similarly,
 \[
 \frac{d}{dt} V(T)
 \geq |\beta_2|^{2} |\beta_1|^{-q} (2 \pi)^{-n(q-1)} U(t)^q.
 \]
Then by Proposition \ref{Proposition:2.3}
with
 \[
 C_p = \frac{|\beta_1|^{2} |\beta_2|^{-p} (2 \pi)^{-n(p-1)}}{p+1},\quad
 C_q = \frac{|\beta_2|^{2} |\beta_1|^{-q} (2 \pi)^{-n(q-1)}}{q+1},
 \]
we obtain Proposition \ref{Proposition:3.1}.
\end{proof}


\section{Blow-up of weakly coupled systems of
complex Ginzburg-Landau equations on the Euclidean space}
\label{section:4}

In this section, we show Theorem \ref{Theorem:1.2}.
To state  Theorem \ref{Theorem:1.2},
we introduce some notation.
Let $B(r) \subset \mathbb R^n$ be the open ball centered at the origin with radius $r$.
Let $\phi \in C^2(B(1))$ be a non-negative function satisfying
 \begin{gather*}
 - \Delta \phi \leq \lambda \phi, \quad \text{in } B(1),\\
 \phi =0, \quad \text{on } \partial B(1),\\
 \nabla \phi =0, \quad \text{on } \partial B(1)
 \end{gather*}
for some $\lambda > 0$.
We remark that such $\phi$ exists.
For example, let $\psi$ be an eigenfunction of $-\Delta$
on $B(1)$ with the Dirichlet condition
with a positive eigenvalue $\lambda$.
Then $\psi^2$ also satisfies the Neumann condition and
 \[
 -\Delta (\psi^2)
 = 2 \psi (-\Delta \psi) - 2 |\nabla \psi|^2
 \leq 2 \lambda \psi^2.
 \]
Let $p,q > 0$, $pq > 1$ and $U_0, V_0 > 0$.
Put
 \begin{gather*}
 R_0
 = R_0(p,q,\phi,\lambda,\beta_1,\beta_2,U_0,V_0)
 = \max(R_1,R_2),\\
\begin{aligned}
 R_1
 &=R_1(p,q,\phi,\lambda,\beta_1,\beta_2,U_0)\\
 &= 2^{\frac{pq}{q+1} \frac{1}{2-n \frac{pq-1}{p+1}}}
 \Big(\frac{p+1}{q+1}\Big)^{\frac{1}{pq-1} \frac{1}{2 \frac{p+1}{pq-1} -n}}
 ( \max(|\alpha_1|,|\alpha_2|)\lambda)^{\frac{1}{2 -n\frac{pq-1}{p+1}}}\\
 &\quad\times |\beta_1|^{\frac{pq-2}{2 (p+1)-n(pq-1)}}
 |\beta_2|^{-\frac{p}{2 (p+1)-n(pq-1)}}
 U_0^{-\frac{1}{2 \frac{p+1}{pq-1}-n}},
\end{aligned}\\
\begin{aligned}
 R_2
 &=
 R_2(p,q,\phi,\beta_1,\beta_2,U_0,V_0)\\
 &=
 \Big(\frac{q+1}{p+1}\Big)^{\frac{1}{n(p-q)}}
 |\beta_1|^{\frac{q+2}{n(p-q)}}
 |\beta_2|^{-\frac{2+p}{n(p-q)}}
 \| \phi \|_{L^1(B(1))}^{-\frac{1}{n}}
 V_0^{\frac{p+1}{n(p-q)}}
 U_0^{-\frac{q+1}{n(p-q)}}.
 \end{aligned}
\end{gather*}
Moreover, we define positive constants $C_1,C_2,C_3$ as follows:
 \begin{gather} \label{eq:4.1}
\begin{aligned}
 C_1
 &=C_1(p,q,\phi,\beta_1,\beta_2)
 \\
 &= \Big( \frac{q+1}{p+1} \Big)^{\frac{pq-1}{(p+1)(q+1)}}
 \Big(
 \frac{|\beta_1|^{2+q}}%
 {|\beta_2|^{2+p}}
 \Big)^{\frac{pq-1}{(p+1)(q+1)}}
 \|\phi\|_{L^1(B(1))}^{-\frac{(pq-1)(p-q)}{(p+1)(q+1)}},
 \end{aligned}
\\
\begin{aligned}
 C_2
 &= C_2(p,q,\phi,\beta_1,\beta_2)
 \label{eq:4.2}\\
 &=
 2^{-\frac{pq}{q+1}} \Big( \frac{q+1}{p+1} \Big)^{\frac{q}{q+1}}
 |\beta_1|^{\frac{q}{q+1}}
 |\beta_2|^{\frac{2-pq}{q+1}}
 \| \phi \|_{L^1(B(1))}^{-\frac{pq-1}{q+1}},
\end{aligned} \\
\begin{aligned}
 C_3
 &=C_3(p,q,\beta_1,\beta_2)
 \\
 &= 2^{\frac{pq}{q+1} \frac{1}{1-\frac{n}{2} \frac{pq-1}{p+1}}}
 \frac{q+1}{pq-1}
 \Big( \frac{p+1}{q+1}
 \Big)^{\frac{1}{p+1} \frac{1}{1- \frac{n}{2} \frac{pq-1}{p+1}}}
 \\
 &\quad\times 
 \max(|\alpha_1|,|\alpha_2|)^{\frac{n}{2} \frac{1}{\frac{p+1}{pq-1}-\frac{n}{2}}}
 |\beta_1|^{-\frac{2(2-pq)}{2 (p+1)-n(pq-1)}}
 |\beta_2|^{-\frac{2p}{2 (p+1)-n(pq-1)}}.
\end{aligned} \nonumber
 \end{gather}


Now we are in a position to state our main statement.

\begin{proposition}
\label{Proposition:4.1}
Let $\alpha_1, \alpha_2 <0$, $\beta_1, \beta_2 \in \mathbb C \backslash \{0\}$.
Let $p,q \geq 1$ satisfy $p \geq q$ and $\frac{p+1}{pq-1} > \frac{n}{2}$.
Let $\phi$ be the function defined above.
Let $U_0, V_0$ be positive numbers.
Let $u_0$ and $v_0$ be $L_{\mathrm{loc}}^1$-functions
satisfying
 \[
 U_0
 \leq \operatorname{Re} \Big( \overline \beta \int_{B(R)} u_0(x) 
\phi\Big(\frac{x}{R}\Big) dx \Big),\quad
 V_0
 \leq \operatorname{Re} \Big( \overline \beta \int_{B(R)} v_0(x) 
\phi\Big(\frac{x}{R}\Big) dx \Big)
 \]
for $R > R_0$ with $R_0$ as above and
 \[
 \overline \beta_1 u_0(x),\quad
 \overline \beta_2 v_0(x) > 0,
 \quad \text{a.e. }  x \in \mathbb R^n
 \]
If there exists a solution $(u,v) \in (C^2((0,T) \times \mathbb R^n))^2$
for \eqref{eq:1.1}, then
 \begin{align*}
 &\int_{B(R)} v(t,x) \phi\Big(\frac{x}{R}\Big) dx
 + \Big( \frac{p+1}{q+1} \|\phi\|_{L^1(B(1))}^{p-q} R^{n(p-q)} U_0^{q+1}
 - V_0^{p+1} \Big)^{\frac{1}{p+1}}\\
 &\geq \Big\{
 C_1  R^{-\frac{n(pq-1)(p-q)}{(p+1)(q+1)}}
 U_0^{-\frac{pq-1}{p+1}}
 - C_2 \lambda^{-1} R^{2-n\frac{pq-1}{q+1}} (1 - e^{- \frac{pq-1}{q+1} \lambda R^{-2}t} )
 \Big\}^{- \frac{q+1}{pq-1}},
 \end{align*}
for $R > R_0$ and $0 \leq t < T$.
Moreover, the lifespan $T$ is estimated by
 \begin{align*}
 T
 &\leq C_3
 \min \Big\{ - \widetilde R^2 \log ( 1 - \widetilde R^{-2+n\frac{pq-1}{p+1}})
 ,\; \widetilde R \geq \frac{R_0}{R_1} \Big\}\\
 &\quad\times  \lambda^{\frac{n}{2} \frac{1}{\frac{p+1}{pq-1}-\frac{n}{2}}}
 \| \phi \|^{\frac{1}{\frac{p+1}{pq-1} - \frac{n}{2}}}
 U_0^{-\frac{1}{\frac{p+1}{pq-1} -\frac{n}{2}}},
 \end{align*}
\end{proposition}

\begin{proof}
Since $(u,v)$ is a solution, by letting
 \begin{gather*}
 U(t)
 = \operatorname{Re} \Big( \overline \beta_1
 \int_{\mathbb R^n} u(t,x) \phi (\frac{x}{R}) dx \Big),\\
 V(t)
 = \operatorname{Re} \Big( \overline \beta_2
 \int_{\mathbb R^n} v(t,x) \phi (\frac{x}{R}) dx \Big),
 \end{gather*}
the following ODI holds as long as $U(t), V(t) \geq 0$:
\begin{gather*}
\begin{aligned}
U'(t) + \max( |\alpha_1|,|\alpha_2|)
 \frac{p+1}{q+1}\lambda R^{-2} U(t)\\
& \geq U'(t) + |\alpha_1| \lambda R^{-2} U(t) \\
&\geq R^{-n(p-1)} \| \phi \|_{L^1(\mathbb R^n)}^{-p+1}
 |\beta_1|^{2}|\beta_2|^{-p} V(t)^p,
\end{aligned}\\
\begin{aligned}
 V'(t) + \max( |\alpha_1|,|\alpha_2|) \frac{p+1}{p+1}\lambda R^{-2} V(t)
&\geq V'(t) + |\alpha_2| \lambda R^{-2} V(t) \\
&\geq R^{-n(q-1)} \| \phi \|_{L^1(\mathbb R^n)}^{-q+1} |\beta_2|^{2}|\beta_1|^{-q}
 U(t)^q,
\end{aligned}
 \end{gather*}
where $\alpha_1$ and $\alpha_2 \leq 0$.
Let $\widetilde \lambda = \max(|\alpha_1|,|\alpha_2|) \lambda$.
By applying Corollary \ref{Corollary:2.4} with
$\omega = (p+1) \widetilde \lambda R^{-2}$ and
 \[
 C_p = \frac{\| \phi \|_{L^1(B(1))}^{-p+1}}{p+1}
 |\beta_1|^{2} |\beta_2|^{-p} R^{-n(p-1)},\quad
 C_q = \frac{\| \phi \|_{L^1(B(1))}^{-q+1}}{q+1}
 |\beta_2|^{2} |\beta_1|^{-q} R^{-n(q-1)},
 \]
$U$ and $V$ blow up if \eqref{eq:2.5} is satisfied.
\eqref{eq:2.5} is rewritten as
 \[
 U_0
 >
 \max\Big(
 \mu_1 R^{-2 \frac{p+1}{pq-1}+n}
 ,\
 \mu_2 R^{-n\frac{p-q}{q+1}}
 V_0^{\frac{p+1}{q+1}}
 \Big),
 \]
where
\begin{gather*}
 \begin{aligned}
 \mu_1 &= \mu_1(\beta_1,\beta_2,p,q,\widetilde \lambda,\phi)\\
 &=  2^{\frac{p+1}{q+1} \frac{pq}{pq-1}}
 \Big(\frac{p+1}{q+1}\Big)^{\frac{1}{pq-1}}
 \widetilde \lambda^{ \frac{p+1}{pq-1}}
 |\beta_1|^{1-\frac{1}{pq-1}}
 |\beta_2|^{-\frac{p}{pq-1}}
 \| \phi \|_{L^1(B(1))},
\end{aligned}\\
\begin{aligned}
 \mu_2
 &=\mu_2(\beta_1,\beta_2,p,q,\phi)\\
 &= \Big(\frac{q+1}{p+1}\Big)^{\frac{1}{q+1}}
 |\beta_1|^{1+\frac{1}{q+1}}
 |\beta_2|^{-\frac{2+p}{q+1}}
 \| \phi \|_{L^1(B(1))}^{-\frac{p-q}{q+1}}.
 \end{aligned}
\end{gather*}
Here
 \[
 U_0 > \mu_1 R^{-2 \frac{p+1}{pq-1}+n}
 \]
for $R > R_1$,
since $-2 \frac{p+1}{pq-1}+n < 0$
and
 \begin{align*}
 &\mu_1(p,q,\widetilde \lambda,\phi)^{\frac{1}{2 \frac{p+1}{pq-1}-n}}
 U_0^{-\frac{1}{2 \frac{p+1}{pq-1}-n}}\\
 &= 2^{\frac{pq}{q+1} \frac{1}{2-n \frac{pq-1}{p+1}}}
 \Big(\frac{p+1}{q+1}\Big)^{\frac{1}{pq-1} \frac{1}{2 \frac{p+1}{pq-1} -n}}
 \widetilde \lambda^{\frac{1}{2 -n\frac{pq-1}{p+1}}}\\
 &\cdot |\beta_1|^{\frac{pq-2}{2 (p+1)-n(pq-1)}}
 |\beta_2|^{-\frac{p}{2 (p+1)-n(pq-1)}}
 U_0^{-\frac{1}{2 \frac{p+1}{pq-1}-n}} = R_1.
 \end{align*}
Similarly,
 \[
 U_0 > \mu_2 R^{-n\frac{p-q}{q+1}}
 V_0^{\frac{p+1}{q+1}}
 \]
for $R > R_2$,
since
 \begin{align*}
 &\mu_2(p,q,\phi)^{\frac{q+1}{n(p-q)}}
 V_0^{\frac{p+1}{n(p-q)}}
 U_0^{-\frac{q+1}{n(p-q)}}\\
 &=  \Big(\frac{q+1}{p+1}\Big)^{\frac{1}{n(p-q)}}
 |\beta_1|^{\frac{q+2}{n(p-q)}}
 |\beta_2|^{-\frac{2+p}{n(p-q)}}
 \| \phi \|_{L^1(B(1))}^{-\frac{1}{n}}
 V_0^{\frac{p+1}{n(p-q)}}
 U_0^{-\frac{q+1}{n(p-q)}} = R_2.
 \end{align*}
\eqref{eq:4.1} and \eqref{eq:4.2} are calculated as
 \begin{align*}
 &C_q^{-\frac{pq-1}{(p+1)(q+1)}} C_p^{\frac{pq-1}{(p+1)(q+1)}}
 U_0^{-\frac{pq-1}{p+1}},\\
 &= \Big( \frac{q+1}{p+1} \Big)^{\frac{pq-1}{(p+1)(q+1)}}
 \|\phi\|_{L^1(B(1))}^{-\frac{(pq-1)(p-q)}{(p+1)(q+1)}}
 \Big(
 \frac{|\beta_1|^{2+q}}%
 {|\beta_2|^{2+p}}
 \Big)^{\frac{pq-1}{(p+1)(q+1)}}
 R^{-\frac{n(pq-1)(p-q)}{(p+1)(q+1)}}
 U_0^{-\frac{pq-1}{p+1}}\\
 &=
 C_1
 R^{-\frac{n(pq-1)(p-q)}{(p+1)(q+1)}}
 U_0^{-\frac{pq-1}{p+1}},
\end{align*}
\begin{align*}
 &2^{-\frac{pq}{q+1}} (q+1)(p+1) \omega^{-1}
 C_q^{\frac{1}{q+1}} C_p^{\frac{q}{q+1}}\\
 &=
 2^{-\frac{pq}{q+1}} \Big( \frac{q+1}{p+1} \Big)^{\frac{q}{q+1}}
 |\beta_1|^{\frac{q}{q+1}}
 |\beta_2|^{\frac{2-pq}{q+1}}
 \| \phi \|_{L^1(B(1))}^{-\frac{pq-1}{q+1}}
 \widetilde \lambda^{-1}
 R^{2-n\frac{pq-1}{q+1}},\\
 &=
 C_2 \widetilde \lambda^{-1}
 R^{2-n\frac{pq-1}{q+1}}.
 \end{align*}
Moreover,
 \begin{align*}
 T
 &\leq
 - \min \Big\{ \frac{(q+1)(p+1)}{\omega (pq-1)} \log \Big(
 1 -
 \frac{2^{\frac{pq}{q+1}}}{(q+1)(p+1)} \omega
 C_q^{-\frac{p}{p+1}} C_p^{-\frac{1}{p+1}}
 U_0^{-\frac{pq-1}{p+1}} \Big), \\
&\quad R > R_0  \Big\}\\
 &=
 - \min \Big\{ \frac{(q+1)}{\widetilde \lambda (pq-1)} R^2
 \log \Big( 1 -
 \Big( \frac{R}{R_1} \Big)^{-2 + n \frac{pq-1}{p+1}} \Big)
 ,\; R > R_0
 \Big\}
 \end{align*}
Let $\widetilde R = R/ R_1$.
Then
 \begin{align*}
 T
 &\leq
 2^{\frac{pq}{q+1} \frac{1}{1-\frac{n}{2} \frac{pq-1}{p+1}}}
 \frac{q+1}{pq-1}
 \Big( \frac{p+1}{q+1} \Big)^{\frac{1}{p+1} \frac{1}{1- \frac{n}{2} \frac{pq-1}{p+1}}}
 \widetilde \lambda^{\frac{1}{1-\frac{n}{2}\frac{pq-1}{p+1}}-1}
 \| \phi \|^{\frac{1}{\frac{p+1}{pq-1} - \frac{n}{2}}}
 U_0^{-\frac{1}{\frac{p+1}{pq-1} -\frac{n}{2}}}\\
 &\quad\times
 |\beta_1|^{-\frac{2(2-pq)}{2 (p+1)-n(pq-1)}}
 |\beta_2|^{-\frac{2p}{2 (p+1)-n(pq-1)}} \\
&\quad\times  \min \Big\{ - \widetilde R^2
 \log ( 1 - \widetilde R^{-2+n\frac{pq-1}{p+1}})
 ,\;  \widetilde R \geq \frac{R_0}{R_1} \Big\}\\
 &\leq
 C_3  \lambda^{\frac{n}{2} \frac{1}{\frac{p+1}{pq-1}-\frac{n}{2}}}
 \| \phi \|^{\frac{1}{\frac{p+1}{pq-1} - \frac{n}{2}}}
 U_0^{-\frac{1}{\frac{p+1}{pq-1} -\frac{n}{2}}}\\
 &\quad\times \min \Big\{ - \widetilde R^2 
\log ( 1 - \widetilde R^{-2+n\frac{pq-1}{p+1}}), \; 
 \widetilde R \geq \frac{R_0}{R_1} \Big\}.
 \end{align*}
Here, we have used the fact that
$f(x) = -x \log(1-x^{-\theta})$
for $0 < \theta < 1$ attains the minimum on
$[ R_0/R_1,\infty) \subset [ 1,\infty)$.
Indeed,
 \[
 f'(x) = - \log(1-x^{-\theta}) - \theta \frac{x^{-\theta}}{1-x^{-\theta}}.
 = \alpha - \log(1-x^{-\theta}) - \theta \frac{1}{1-x^{-\theta}}.
 \]
by putting $y=-\log(1-x^{-\theta}) \in (0,\infty)$,
$f'(x) = g(y) = \theta + y -\theta e^y$
and therefore $f$ attains the minimum.
\end{proof}

\subsection*{Acknowledgments}
K. Fujiwara was partly supported by the Japan Society for the Promotion of Science,
Grant-in-Aid for JSPS Fellows no 16J30008.M. Ikeda was partly supported by the Japan Society forthe Promotion of Science, Grant-in-Aid for Young Scientists.Research (B), No. 15K17571.Y. Wakasugi was partly supported by the Japan Society for the Promotion 
of Science, Grant-in-Aid for Young Scientists Research (B), No. 16K17625.
The authors are grateful to Professor Y\=uki Naito for giving us useful 
references.
The authors also are grateful to the anonymous referee for the helpful comments.

\begin{thebibliography}{10}

\bibitem{bib:1}
D.~Andreucci, M.~A. Herrero, J.~J.~L. Vel\'azquez;
\emph{Liouville theorems and
  blow up behaviour in semilinear reaction diffusion systems}, { Ann. Inst. H.
  Poincar\'e Anal. Non Lin\'eaire}, \textbf{14} (1997),  1--53.

\bibitem{bib:1.5}
P.~Baras, M.~Pierre;
\emph{Crit\`ere d'existence de solutions positives pour des
 \'equations semi-lin\'eaires non monotones},
{Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire},
\textbf{2} (1985), 185--212.

\bibitem{bibx:2}
M.~Escobedo, M.~A. Herrero;
\emph{A uniqueness result for a semilinear reaction-diffusion system},
{Proc. Amer. Soc.}, \textbf{112} (1991), 175--185,

\bibitem{bibx:3}
M.~Escobedo, M.~A. Herrero;
\emph{Boundedness and blow up for a semilinear
  reaction-diffusion system}, { J. Differential Equations}, \textbf{89}(1991),
  176--202.

\bibitem{bibx:4}
K.~Deng;
\emph{Blow-up rates for parabolic systems},
Z. Angew. Math. Phys.,
\textbf{47} (1996), 132--143.

\bibitem{bibx:5}
F.~Dickstein, M.~Loayza;
\emph{Life span of solutions of a weakly coupled parabolic system},
{Z. angew. Math. Phys.}, \textbf{59} (2008), 1--23.

\bibitem{bibx:6}
M.~Fila, P.~Quittner;
\emph{The blow-up rate for a semilinear parabolic
  system}, { J. Math. Anal. Appl.}, \textbf{238} (1999),  468--476.

\bibitem{bibx:7}
M.~Fila, P.~Souplet;
\emph{The blow-up rate for semilinear parabolic problems on general domain},
NoDEA Nonlinear Differential Equations Appl.,
\textbf{8} (2001), 473--480.

\bibitem{bibx:8}
S.~Filippas, M.~A. Herrero, J.~J.~L. Vel\'azquez;
\emph{Fast blow-up mechanisms
  for sign-changing solutions of a semilinear parabolic equation with critical
  nonlinearity}, { R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci.}, \textbf{
  456} (2000),  2957--2982.

\bibitem{bibx:9}
H.~Fujita;
\emph{On the blowing up of solutions of the {C}auchy problem for
  $u_{t}=\Delta u+u^{1+\alpha }$}, { J. Fac. Sci. Univ. Tokyo Sect. I}, \textbf{
  13}(1966),  109--124 (1966).


\bibitem{bibx:10}
H.~Fujita;
\emph{On some nonexistence and nonuniqueness theorems for nonlinear
  parabolic equations}.
\newblock In  Nonlinear {F}unctional {A}nalysis ({P}roc. {S}ympos. {P}ure
  {M}ath., {V}ol. {XVIII}, {P}art 1, {C}hicago, {I}ll., 1968),  105--113.
  Amer. Math. Soc., Providence, R.I., (1970).

\bibitem{bibx:11}
K.~Fujiwara, T.~Ozawa;
\emph{Finite time blowup of solutions to the nonlinear
  {S}chr\"odinger equation without gauge invariance}, { J. Math. Phys.}, \textbf{
  57}(2016),  082103, 8.

\bibitem{bibx:12}
K.~Fujiwara, T.~Ozawa;
\emph{Weighted $l^p$-boundedness of convolution type
  integral operators associated with bilinear estimates in the {S}obolev
  spaces}, { J. Math. Soc. Japan}, (To appear).

\bibitem{bibx:13}
Y.~Giga,  R.~V. Kohn;
\emph{Characterizing blowup using similarity variables}, {
  Indiana Univ. Math. J.}, \textbf{36} (1987),  1--40.

\bibitem{bibx:14}
K.~Hayakawa;
\emph{On nonexistence of global solutions of some semilinear parabolic
  differential equations}, { Proc. Japan Acad.}, \textbf{49} (1973),  503--505.


\bibitem{bibx:15}
M.~A. Herrero, J.~J.~L. Vel\'azquez;
\emph{Explosion de solutions d'\'equations
  paraboliques semilin\'eaires supercritiques}, { C. R. Acad. Sci. Paris
  S\'er. I Math.}, \textbf{319} (1994),  141--145.

\bibitem{bibx:16}
M.~A. Herrero, J.~J.~L. Vel\'azquez;
\emph{A blow-up result for semilinear heat
  equations in the supercritical case}, preprint.


\bibitem{bibx:17}
S.-B. Hsu;
\emph{Ordinary differential equations with applications}, World
  Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2013.

\bibitem{bibx:18}
M.~Ikeda, T.~Inui;
\emph{Small data blow-up of {$L^2$} or {$H^1$}-solution for
  the semilinear {S}chr\"odinger equation without gauge invariance}, { J.
  Evol. Equ.}, \textbf{15} (2015),  571--581.

\bibitem{bibx:19}
M.~Ikeda and T.~Inui, ``Some non-existence results for the semilinear
  {S}chr\"odinger equation without gauge invariance'', { J. Math. Anal. Appl.},
  \textbf{425} (2015),  758--773.

\bibitem{bibx:20}
M.~Ikeda, Y.~Wakasugi;
\emph{Small-data blow-up of {$L^2$}-solution for the
  nonlinear {S}chr\"odinger equation without gauge invariance}, { Differential
  Integral Equations}, \textbf{26} (2013),  1275--1285.

\bibitem{bibx:21}
E.~Kamke;
\emph{Zur {T}heorie der {S}ysteme gew\"ohnlicher
  {D}ifferentialgleichungen. {II}}, { Acta Math.}, \textbf{58}  (1932),  57--85.

\bibitem{bibx:21.5}
M. Kirane, A. Nabti;
\emph{Life span of solutions to a nonlocal in time nonlinear fractional 
{S}chr\"odinger equation},
{Z. Angew. Math. Phys.}, \textbf{66} (2015), 1473--1482.

\bibitem{bibx:22}
K.~Kobayashi, T.~Sirao, H.~Tanaka;
\emph{On the growing up problem for semilinear heat equations}, 
{ J. Math. Soc. Japan}, \textbf{29} (1977),  407--424.

\bibitem{bibx:23}
Y.~Kobayashi;
\emph{The life span of blow-up solutions for a weakly coupled system
  of reaction-diffusion equations}, { Tokyo J. Math.}, \textbf{24} (2001),
  487--498.

\bibitem{bibx:24}
H.~Kuiper;
\emph{Life span of nonnegative solutions to certain quasilinear parabolic
 Cauchy problem},
{Electron J. Differential Equations}, \textbf{2003} (2003), 1--11.

\bibitem{bibx:25}
T.-Y. Lee, W.-M. Ni;
\emph{Global existence, large time behavior and life span
  of solutions of a semilinear parabolic {C}auchy problem}, { Trans. Amer.
  Math. Soc.}, \textbf{333} (1992),  365--378.

\bibitem{bibx:26}
H.~Matano, F.~Merle;
\emph{On nonexistence of type {II} blowup for a
  supercritical nonlinear heat equation}, { Comm. Pure Appl. Math.}, \textbf{
  57} (2004),  1494--1541.

\bibitem{bibx:27}
H.~Matano, F.~Merle;
\emph{Classification of type {I} and type {II} behaviors
  for a supercritical nonlinear heat equation}, { J. Funct. Anal.}, \textbf{
  256} (2009),  992--1064.

\bibitem{bibx:28}
E.~Mitidieri, S.~I. Pohozaev;
\emph{Nonexistence of weak solutions for some
  degenerate elliptic and parabolic problems on $\mathbb{R}^n$}, { J. Evol.
  Equ.}, \textbf{1}(2001),  189--220.

\bibitem{bibx:29}
N.~Mizoguchi;
\emph{Type-{II} blowup for a semilinear heat equation}, { Adv.
  Differential Equations}, \textbf{9} (2004),  1279--1316.

\bibitem{bibx:30}
K.~Mochizuki;
\emph{Blow-up, life span and large time behavior of solutions of a
  weakly coupled system of reaction-diffusion equations}, { Adv. Math. Appl.
  Sci.}, \textbf{48, World Scientific} (1998),  175--198.

\bibitem{bibx:31}
T.~Ogawa, Y.~Tsutsumi;
\emph{Blow-up of solutions for the nonlinear {S}chr\"odinger equation
  with quartic potential and periodic boundary condition}.
\newblock In  Functional-analytic methods for partial differential
  equations ({T}okyo, 1989), volume 1450 of  Lecture Notes in Math.,
  236--251. Springer, Berlin, (1990).

\bibitem{bibx:32}
T.~Oh;
\emph{A blowup result for the periodic nls without gauge invariance}, { C.
  R. Math. Acad. Sci. Paris}, \textbf{350},  389--392.

\bibitem{bibx:33}
T.~Ozawa, Y.~Yamazaki;
\emph{Life-span of smooth solutions to the complex
  {G}inzburg-{L}andau type equation on a torus}, { Nonlinearity}, \textbf{
  16} (2003),  2029--2034.

\bibitem{bibx:33.5}
A. Samarskii, V. Galaktionov, S. Kurdyumov, A. Mikhailov;
\emph{Blow-up in quasilinear parabolic equations},
Walter de Gruyter \& Co., Berlin, 1995.

\bibitem{bibx:34}
Y.~Wakasugi, K.~Nishihara;
\emph{Critical exponent for the cauchy problem to the
  weakly coupled damped wave system}, { RIMS k\^oky\^uroku}, \textbf{1962} (2015),
   59--67.

\bibitem{bibx:35}
Q.~S. Zhang;
\emph{Blow-up results for nonlinear parabolic equations on
  manifolds}, { Duke Math. J.}, \textbf{97} (1999),  515--539.

\end{thebibliography}

\end{document}
