- Research
- Open access
- Published:
A necessary and sufficient condition for the existence of global solutions to reaction-diffusion equations on bounded domains
Boundary Value Problems volume 2024, Article number: 18 (2024)
Abstract
The purpose of this paper is to give a necessary and sufficient condition for the existence and non-existence of global solutions of the following semilinear parabolic equations
under the mixed boundary condition on a bounded domain Ω. In fact, this has remained an open problem for a few decades, even for the case \(f(u)=u^{p}\). As a matter of fact, we prove:
Here, \((S(t))_{t\geq 0}\) is the heat semigroup with the mixed boundary condition.
1 Introduction
In his seminal paper [1], Fujita first studied the reaction-diffusion equation
where \(p>1\), and obtained that
-
(i)
if \(1< p< p^{*}\), then there is no global solution for any nonnegative and nontrivial initial data,
-
(ii)
if \(p>p^{*}\), then there exists a global solution whenever the nonnegative and nontrivial initial data are sufficiently small,
where \(p^{*}=1+\frac{2}{N}\) is called the critical exponent. After his results, researchers obtained that there is no global solution for \(p=p^{*}\) (see [2] for the case \(N=1\) or 2 and [3] for the case \(N\geq 3\)).
It is easy to see that the critical exponent \(p^{*}\) leads to a necessary and sufficient condition for the existence of the global solutions as above. Therefore, lots of researchers studied the critical exponent for various reaction-diffusion equations to find necessary and sufficient conditions for the existence of the global solutions (see the survey articles [4, 5]).
In this paper, we discuss the existence and nonexistence of the global solutions to the reaction-diffusion equation for a general source term \(\psi (t)f(u)\), under mixed boundary condition:
where Ω is a bounded domain in \(\mathbb{R}^{N}\) with a smooth boundary ∂Ω, ψ is a nonnegative continuous function on \([0,\infty )\), and f is a locally Lipschitz continuous function satisfying that \(f(0)=0\) and \(f(s)>0\) for \(s>0\), and \(B[u](z,t)=0\) stands for the boundary condition
Here, μ and σ are nonnegative continuous functions on ∂Ω with \(\mu +\sigma >0\) on ∂Ω. Also, \(u_{0}\) is a nonnegative and nontrivial \(C_{0}(\Omega )\)-function satisfying the compatibility condition \(B[u_{0}]=0\).
In his pioneering paper [6], Meier studied the global existence and nonexistence of the solutions to the reaction-diffusion equations (1) under the Dirichlet boundary condition and obtained the following result:
Theorem 1.1
([6])
Assume that \(\psi \in C[0,\infty )\) and \(f(u)=u^{p}\) for \(p>1\).
-
(i)
If \(\limsup_{t\rightarrow \infty}\lVert S(t)u_{0}\rVert _{\infty}^{p-1} \int _{0}^{t}\psi (\tau )\,d\tau = \infty \) for every \(u_{0}\in C_{0}(\Omega )\), then there is no global solution for any nonnegative and nontrivial initial data.
-
(ii)
If \(\int _{0}^{\infty}\psi (\tau )\lVert S(\tau )u_{0}\rVert _{\infty}^{p-1}\,d\tau <\infty \) for some \(u_{0}\in C_{0}(\Omega )\), then there exists global solution for sufficiently small initial data.
Here, \((S(t))_{t\geq 0}\) is the heat semigroup with the Dirichlet boundary condition.
Meier gives a sufficient condition for the existence of the global solutions and a sufficient condition for the nonexistence of the global solutions, respectively. However, a necessary and sufficient condition for the existence of the global solutions to the equation (1) has been unknown, even for the case \(f(u)=u^{p}\) and has remained as an open problem for a few decades. To our best knowledge, researches on necessary and sufficient conditions for the global existence of solutions for the reaction-diffusion equations in the current literature consider several specific source terms such as \(t^{\sigma}u^{p}\), \(e^{\beta t}u^{p}\), etc. (see [6–9]).
Recent researches of the equation (1) have adopted Meier’s criterion and give several sufficient conditions for the blow-up solutions and global solutions (for example, see [10–12]). In conclusion, the open problem has faced methodological limitations and there has been no progress in research on necessary and sufficient conditions for the general source term \(\psi (t)f(u)\).
From the above point of view, the purpose of this paper is twofold:
-
(i)
to obtain the necessary and sufficient condition for the existence of the global solutions for more general source term \(\psi (t)f(u)\).
-
(ii)
to introduce a method, so-called a minorant method, to deal with \(f(u)\) in the source term.
Finally, we obtained the following results to see ‘completely’ whether or not we have global solutions:
Theorem 1.2
Let f be a convex and locally Liptchitz continuous function and ψ be a nonnegative continuous function. Suppose that f satisfies
where \(f_{m}(u):=\inf_{0<\alpha <1}\frac{f(\alpha u)}{f(\alpha )}\) for \(u\geq 0\). Then the following statements are equivalent.
-
(i)
there is no global solution u to the equation (1) for any nonnegative and nontrivial initial data \(u_{0}\).
-
(ii)
$$ \int _{0}^{\infty}\psi (t)e^{\lambda _{0}t}f \bigl( \epsilon e^{- \lambda _{0}t} \bigr)\,dt=\infty $$
for every \(\epsilon >0\).
-
(iii)
$$ \int _{0}^{\infty}\psi (t) \frac{f (\lVert S(t)u_{0}\rVert _{\infty} )}{\lVert S(t)u_{0}\rVert _{\infty}}\,dt= \infty $$
for every nonnegative nontrivial initial data \(u_{0}\in C_{0}(\Omega )\).
Here, \((S(t))_{t\geq 0}\) is the heat semigroup with the mixed boundary condition and \(\lambda _{0}\) is the first eigenvalue of the Laplace operator Δ under the mixed boundary condition.
Theorem 1.2 is the form of a necessary and sufficient condition for global solutions of the equation (1). Therefore, the open problem mentioned above is solved with more general source term \(\psi (t)f(u)\) and general boundary condition. Here, we note that the boundary condition \(B[u] = 0\) includes the various boundary value problems such as the Dirichlet boundary problem, Neumann boundary problem, and Robin boundary problems. It is clear that these boundary conditions can express various natural phenomena. We note here that one of the meanings of our result is a unified approach.
In general, the case \(p=p^{*}\) and \(p< p^{*}\) are dealt in a different way and cannot be solved at the same time, when \(f(u)=u^{p}\) (see [1–3, 13]). However, we prove the cases all at once.
As far as authors know, there is no paper which discuss the necessary and sufficient condition (or Fujita’s blow-up solutions) on the source term \(\psi (t)f(u)\) instead of \(\psi (t)u^{p}\). To deal with the general source term \(\psi (t)f(u)\), we use the minorant method, which were introduced in [14] by authors.
We organized this paper as follows: In Sect. 2, we discuss Meier’s criterion. We introduce the minorant method and discuss main results in Sect. 3.
2 Discussion on Meier’s conditions
The purpose of this section is to discuss the necessary and sufficient condition for the existence of the global solutions, which was previously unknown and remained as an open problem. Let us deal with sufficient conditions for the blow-up solutions and global solutions to check that these conditions can be a necessary and sufficient condition.
From this point of view, let us discuss Meier’s conditions. If the domain Ω is bounded, then it is well-known that \(\lVert S(t)u_{0}\rVert _{\infty} \sim e^{-\lambda _{0} t}\) for \(t\geq 0\), for every nonnegative and nontrivial initial data \(u_{0}\in C_{0}(\Omega )\). Here, \(\lambda _{0}\) is the first eigenvalue of the Laplace operator Δ under the mixed boundary condition discussed in [15, 16]:
Lemma 2.1
There exists \(\lambda _{0}\geq 0\) and \(\phi _{0}\in W^{1,2}(\Omega )\) with \(\phi _{0}>0\) in Ω and \(\partial \Omega\setminus \Gamma\) such that
Moreover, \(\lambda _{0}\) is given by
where \(\mathcal{A}:=\{w\in W^{1,2}(\Omega ) : w=0 \textit{ on } \Gamma \}\) with \(\Gamma :=\{z\in \partial \Omega : \sigma (z)=0\}\).
Remark 2.2
It is known that the first eigenvalue \(\lambda _{0}=0\) if and only if the boundary condition is the Neumann boundary condition. i.e., \(\mu \equiv 0\).
Hence, under the Dirichlet boundary condition, Theorem 1.1 can be understood as follows:
-
If
$$ (C1) :\quad \limsup_{t\rightarrow \infty} e^{-(p-1)\lambda _{0}t} \int _{0}^{t} \psi (\tau )\,d\tau =\infty , $$then there is no global solution to the equation (1) for any nonnegative and nontrivial initial data.
-
If
$$ (C2) :\quad \int _{0}^{\infty}\psi (t) e^{-(p-1)\lambda _{0}t}\,dt< \infty $$then there exists a global solution to the equation (1) for sufficiently small initial data.
Let us consider the function ψ defined by \(\psi (t):=(t+1)^{-\delta}e^{(p-1)\lambda _{0} t}\) for \(0\leq \delta \leq 1\). Then it follows that
and
This implies that if the function \(\psi (t):=(t+1)^{-\delta}e^{(p-1)\lambda _{0} t}\) for \(0\leq \delta \leq 1\), then we do not know whether the solution exists globally or not.
Now, we are going to check whether the solution exists globally or not, by considering the simple example. Let’s consider the functions ψ and f defined by \(\psi (t):=(t+1)^{-\frac{1}{2}}e^{\lambda _{0}t}\) and \(f(u):=u^{2}\) in the equation (1). Then the equation (1) follows that
Now, we consider the eigenfunction \(\phi _{0}\) to be \(\int_{\Omega}\phi _{0}(x)\,dx=1\), corresponding to the first Dirichlet eigenvalue \(\lambda _{0}\). Suppose that the solution u to the equation (3) exists globally. Multiplying the first equation of (3) by \(\phi _{0}\) and integrating over Ω, we use Green’s theorem and Jensen’s inequality to obtain
for all \(t> 0\). Putting \(y(t):=\int _{\Omega}u(x,t)\phi _{0}(x)\,dx\), for \(t\geq 0\), then \(y(t)\) exists for all time t and satisfies the following inequality
Multiplying \(e^{\lambda _{0}t}\) by the inequality (4), we have
for all \(t>0\), which implies that
for all \(t>0\). Solving the differential inequality, we obtain that
for all \(t>0\), which leads a contradiction. Hence, the solution u to the equation (3) blows up at finite time.
The above example implies that the condition \((C1)\) is no longer necessary condition for the nonexistence of global solution. In fact, the main part of this paper is focused on the condition \((C2)\) to see whether \((C2)\) is necessary and sufficient condition for the existence of the global solution.
On the other hand, if the function f in the equation (1) has no multiplicative property, we cannot apply Meier’s results. For example, let us consider the function \(f(u)=\frac{u^{2}+u}{2}\). Then it is easy to see that \(u\leq f(u)\leq u^{2}\) for \(u\geq 1\) and \(u^{2}\leq f(u)\leq u\) for \(0\leq u\leq 1\). Therefore, we cannot determine the parameter p in Theorem 1.1, in the case of \(f(u)=\frac{u^{2}+u}{2}\). From this point of view, we have to consider a new method, so called the minorant method, to deal with a function f which is not multiplicative. In conclusion, we provide a formula \(\frac{f (\lVert S(t)u_{0}\rVert _{\infty} )}{\lVert S(t)u_{0}\rVert _{\infty}}\) instead of \(\lVert S(t)u_{0}\rVert _{\infty}^{p-1}\) to give a criterion of the existence of the global solution when the source term is \(\psi (t)f(u)\).
3 Main results
In this section, we firstly introduce the minorant function and the majorant function. Next, we prove the main theorem by using the minorant function and majorant function.
First, we discuss multiplicative minorants and majorants of the function f, which will play an important role in this work.
Definition 3.1
For a function f, the minorant function \(f_{m}:[0,\infty )\rightarrow [0,\infty )\) and the majorant function \(f_{M}:[0,\infty )\rightarrow [0,\infty )\) are defined by
Then the following properties:
-
\(f(\alpha )f_{m}(u)\leq f(\alpha u)\leq f(\alpha )f_{M}(u)\), \(0<\alpha <1\), \(u>0\).
-
If g and h be functions satisfying that
$$ f(\alpha )g(u)\leq f(\alpha u)\leq f(\alpha )h(u),\quad 0< \alpha < 1, u>0, $$then it follows that \(g(u)\leq f_{m}(u)\) and \(f_{M}(u)\leq h(u)\), \(u>0\).
It follows that \(f_{m}\) and \(f_{M}\) are natural to call the multiplicative minorant and majorant of a function f respectively. In fact, the values of \(f_{m}\) and \(f_{M}\) depend strongly on the value of f near zero, since
for each \(u\geq 1\). Also, if f is convex, then \(\frac{f(u)}{u}\) is nondecreasing. Then it is easy to see that the function f, the minorant \(f_{m}\), and the majorant \(f_{M}\) satisfy the following properties:
-
(i)
\(f_{m} (u )\leq \frac{f(u)}{f(1)}\leq f_{M} (u )\) for \(u\geq 0\).
-
(ii)
\(f_{m} (\frac{1}{\alpha} )\leq \frac{f(1)}{f(\alpha )} \leq f_{M} (\frac{1}{\alpha} )\) for \(0<\alpha \leq 1\).
-
(iii)
\(f_{m}(1)=f_{M}(1)=1\).
-
(iv)
\(\frac{f_{m}(u)}{u}\) and \(\frac{f_{M}(u)}{u}\) are nondecreasing in \((0,1)\).
-
(v)
\(f_{m}(u)\leq u\) and \(f_{M}(u)\leq u\) for \(0< u\leq 1\), since \(\frac{f(\alpha u)}{f(\alpha )}=\frac{f(\alpha u)}{\alpha u} \frac{\alpha}{f(\alpha )}u\leq u\).
-
(vi)
\(\int _{\eta}^{\infty}\frac{ds}{f_{M}(s)}\leq f(1) \int _{\eta}^{ \infty}\frac{ds}{f(s)}\leq \int _{\eta}^{\infty}\frac{ds}{f_{m}(s)}\) for \(\eta \geq 1\).
-
(vii)
\(\int _{0}^{1}\frac{ds}{f_{m}(s)}=\int _{0}^{1}\frac{ds}{f(s)}=\int _{0}^{1} \frac{ds}{f_{M}(s)}=\infty \).
We obtain from the property (vi) that \(\int _{\eta}^{\infty}\frac{ds}{f(s)}<\infty \) implies \(\int _{\eta}^{\infty}\frac{ds}{f_{M}(s)}<\infty \). However, the converse is not true, in general. The examples and the properties the minorant function \(f_{m}\) and the majorant function \(f_{M}\) were discussed in [14].
Now, we introduce the definition of the blow-up solutions and global solutions.
Definition 3.2
We say that a solution u blows up at finite time \(t^{*}\), if there exists \(0< t^{*}<\infty \) such that \(\lVert u(\cdot ,t)\rVert _{\infty}\rightarrow \infty \) as \(t\rightarrow t^{*}\). On the other hand, a solution u exists globally whenever \(\lVert u(\cdot ,t)\rVert _{\infty}\) is bounded for each time \(t\geq 0\).
Now, we prove Theorem 1.2.
Proof
(ii) ⇔ (iii): It is well-known that \(\lVert S(t)u_{0}\rVert _{\infty} \sim e^{-\lambda _{0} t}\) for \(t\geq 0\), for every nonnegative and nontrivial initial data \(u_{0}\in C_{0}(\Omega )\). Therefore, we easily see that for a nonnegative and nontrivial initial data \(u_{0}\in C_{0}(\Omega )\), there exist positive constants \(c_{1}\) and \(c_{2}\) such that
for each \(\epsilon >0\), since \(\frac{f(u)}{u}\) is nondecreasing. Hence, by considering \(w_{0}:=\epsilon u_{0}\), then we have
which completes the proof.
(ii) ⇒ (i): Suppose that
for every \(\epsilon >0\). First of all, we choose eigenfunction \(\phi _{0}\) to satisfy \(\int_{\Omega}\phi _{0}(x)\,dx=1\), corresponding to the first eigenvalue \(\lambda _{0}\) with the mixed boundary condition. Suppose that the solution u exists globally, on the contrary. Multiplying the equation (1) by \(\phi _{0}\) and integrating over Ω, we use Green’s theorem and Jensen’s inequality to obtain
for all \(t> 0\). Putting \(y(t):=\int _{\Omega}u(x,t)\phi _{0}(x)\,dx\), for \(t\geq 0\), then \(y(t)\) exists for all time t and satisfies the following inequality
Then the inequality can be written as
for \(t>0\) so that \(e^{\lambda _{0}t}y(t)\) is nondecreasing on \([0,\infty )\). On the other hand, by the properties of \(f_{m}\), we can find \(v_{1}\in [0,1]\) such that \(f_{m}=0\) on \([0,v_{1})\) and \(f_{m}>0\) on \((v_{1},\infty )\). Then there exists \(\epsilon >0\) such that \(y_{0}>\epsilon v_{1}\). i.e. \(v_{1}<\frac{y(0)}{\epsilon}\leq \frac{e^{\lambda _{0}t}y(t)}{\epsilon}\) for \(t\geq 0\). Combining all these arguments, it follows from (5) and the definition of \(f_{m}\) that
for all \(t>0\). Now, define a function \(F_{m}:(v_{1},\infty )\rightarrow (0,v_{\infty})\) by
where \(v_{\infty}:=\lim_{v\rightarrow v_{1}}\int _{v}^{\infty} \frac{dw}{f_{m}(w)}\). Then it is easy to see that \(F_{m}\) is well-defined continuous function, which is a strictly decreasing bijection with its inverse \(F_{m}^{-1}\) and \(\lim_{v\rightarrow \infty}F_{m}(v)=0\). Integrating the inequality (5) over \([0,t]\), we obtain
for all \(t\geq 0\). Hence, we obtain
for all \(t\geq 0\), which implies that \(y(t)\) cannot be global. That is, the solution u doesn’t exist globally.
(i) ⇒ (ii): Suppose that
for some \(\epsilon >0\). We note that there exists a maximal interval \([0,m^{*})\) on which \(f_{M}\) is finite. Therefore, consider a function \(F_{M}:(0,m^{*})\rightarrow (0,\infty )\) defined by
Since f is convex, it is true that the value of \(\int _{v}^{m^{*}}\frac{dw}{f_{M}(w)}\) is finite for each \(v\in (0,m^{*})\), \(\lim_{v\rightarrow 0}\int _{v}^{m^{*}}\frac{dw}{f_{M}(w)}=\infty \), and \(\lim_{v\rightarrow m^{*}}\int _{v}^{m^{*}}\frac{dw}{f_{M}(w)}=0\). Hence, \(F_{M}\) is a well-defined continuous function, which is a strictly decreasing bijection with its inverse \(F_{M}^{-1}\). Now, take a number \(z_{0}\) such that
and define a nondecreasing function \(z:[0,\infty )\rightarrow [z_{0},\infty )\) by
Then \(z(t)\) is a bounded solution of the following ODE problem:
Now, we choose the eigenfunction \(\phi _{0}\) to satisfy \(\sup_{x\in \Omega}\phi _{0}(x)=\epsilon \) and consider a function \(v(x,t):=e^{-\lambda _{0}t}\phi _{0}(x)\) on \(\overline{\Omega}\times [0,\infty )\). Define \(\overline{u}(x,t):=z(t)v(x,t)\) for \((x,t)\in \overline{\Omega}\times [0,\infty )\). Then u̅ exists globally. Since f is convex, \(\frac{f(u)}{u}\) is nondecreasing. Then it follows that
for all \((x,t)\in \Omega \times (0,\infty )\). Also, \(\overline{u}=0\) on \(\partial \Omega \times [0,\infty )\). Therefore, if we choose a nonnegative and nontrivial initial data \(u_{0}\) sufficiently small that \(u_{0}(x)\leq z_{0}\phi _{0}(x)\) for \(x\in \Omega \), then u̅ is the supersolution to the equation (1). This implies that there is a nonnegative and nontrivial initial data \(u_{0}\) such that u exists globally. □
Remark 3.3
The proof of Theorem 1.2 works for all cases \(\lambda _{0}\geq 0\), including the case \(\lambda _{0}=0\). In fact, if \(\lambda _{0}=0\), then (ii) in Theorem 1.2 is equivalent to
Corollary 3.4
Let the function ψ be a nonnegative continuous function and the function f be a nonnegative continuous and quasi-multiplitive function, i.e., there exist \(\gamma _{2}\geq \gamma _{1}>0\) such that
for \(0<\alpha <1\) and \(u>0\). Then the following statements are equivalent:
-
(i)
\(\int _{0}^{\infty}\psi (t)e^{\lambda _{0}t}f (e^{-\lambda _{0}t} )\,dt=\infty \).
-
(ii)
\(\int _{0}^{\infty}\psi (t) \frac{f (\lVert S(t)w_{0}\rVert _{\infty} )}{\lVert S(t)w_{0}\rVert _{\infty}}\,dt= \infty \) for every nonnegative and nontrivial \(w_{0}\in C_{0}(\Omega )\).
-
(iii)
\(\int _{0}^{\infty}\psi (t) \frac{dt}{F (e^{-\lambda _{0}t} )}=\infty \), where \(F(v):=\int _{v}^{\infty}\frac{dw}{f(w)}\).
-
(iv)
There is no global solution to the equation (1) for any initial data.
Proof
The relation (6) implies that \(f_{m}(u)=\gamma _{1} f(u)\) and \(f_{M}(u)=\gamma _{2}f(u)\) for \(u\geq 0\). Therefore, Theorem 1.2 says that (i), (ii), and (iv) are equivalent. Therefore, we now discuss (iii).
(i) ⇔ (iii): Let \(F(v)=\int _{v}^{\infty}\frac{dw}{f(w)}\). Then the assumption (6) follows that
for \(z>0\). This implies that
i.e. \(F(z)\sim \frac{z}{f(z)}\), \(z>0\). Therefore, the proof is complete. □
Remark 3.5
In 2014, Loayza and Paixão [10] studied the conditions for existence and nonexistence of the global solutions to the equation (1) under the general domain and obtained the following statements:
-
(i)
for every \(w_{0}\in C_{0}(\Omega )\), there exist \(\tau >0\) such that
$$ \int _{\lVert S(\tau )w_{0}\rVert _{\infty}}^{\infty}\frac{dw}{f(w)} \leq \int _{0}^{\tau}\psi (\sigma )\,d\sigma , $$(7)then there is no global solution u for every initial data,
-
(ii)
the solution u exists globally for small initial data whenever
$$ \int _{0}^{\infty}\psi (t) \frac{f(\lVert S(t)w_{0}\rVert _{\infty})}{\lVert S(t)w_{0}\rVert _{\infty}}\,dt < 1, $$(8)for some \(w_{0}\in C_{0}(\Omega )\).
In fact, Corollary 3.4 imply that the conditions (7) and (8) have a strong relation, even though (7) and (8) have different formulas.
Also, by using Corollary 3.4, the example in Sect. 2 can be characterized completely as follows:
Example 3.6
Let the domain Ω be bounded in \(\mathbb{R}^{N}\), \(\psi (t):=(t+1)^{-\sigma}e^{kt}\), and \(f(u):=u^{p}\) where \(\sigma \in \mathbb{R}\), \(k\in \mathbb{R}\), and \(p>1\). Then the following statements are true.
-
(i)
If \(k>(p-1)\lambda _{0}\), then there is no global solution u to the equation (1) for any nonnegative and nontrivial initial data \(u_{0}\in C_{0}(\Omega )\).
-
(ii)
If \(k<(p-1)\lambda _{0}\), then there exists a global solution to the equation (1) for sufficiently small initial data \(u_{0}\in C_{0}(\Omega )\).
-
(iii)
If \(k=(p-1)\lambda _{0}\) and \(\sigma \leq 1\), then there is no global solution u to the equation (1) for any nonnegative and nontrivial initial data \(u_{0}\in C_{0}(\Omega )\).
-
(iv)
If \(k=(p-1)\lambda _{0}\) and \(\sigma >1\), then there exists a global solution to the equation (1) for sufficiently small initial data \(u_{0}\in C_{0}(\Omega )\).
Data availability
Not applicable.
References
Fujita, H.: On the blowing up of solutions of the Cauchy problems for \(u_{t}=\delta u+u^{1+\alpha}\). J. Fac. Sci., Univ. Tokyo, Sect. 1 13, 109–124 (1966)
Hayakawa, K.: On nonexistence of global solutions of some semilinear parabolic differential equations. Proc. Jpn. Acad. 49, 503–505 (1973)
Kobayashi, K., Siaro, T., Tanaka, H.: On the blow-up problem for semilinear heat equations. J. Math. Soc. Jpn. 29, 407–424 (1977)
Deng, K., Levine, H.A.: The role of critical exponents in blow-up theorems: the sequel. J. Math. Anal. Appl. 243, 85–126 (2000)
Levine, H.A.: The role of critical exponents in blowup theorems. SIAM Rev. 32(2), 262–288 (1990)
Meier, P.: On the critical exponent for reaction-diffusion equations. Arch. Ration. Mech. Anal. 109, 63–71 (1990)
Bai, X., Zheng, S., Wang, W.: Critical exponent for parabolic system with time-weighted sources in bounded domain. J. Funct. Anal. 6, 941–952 (2013)
Qi, Y.: The critical exponents of parabolic equations and blow-up in \(\mathbb{R}^{N}\). Proc. R. Soc. Edinb., Sect. A 128(1), 123–136 (1998)
Qi, Y.-W., Wang, M.-X.: Critical exponents of quasilinear parabolic equations. J. Math. Anal. Appl. 1, 264–280 (2002)
Loayza, M., da Paixão, C.S.: Existence and non-existence of global solutions for a semilinear heat equation on a general domain. Electron. J. Differ. Equ. 168, 9 (2014)
Castillo, R., Loayza, M.: On the critical exponent for some semilinear reaction–diffusion systems on general domains. J. Math. Anal. Appl. 428, 1117–1134 (2015)
Castillo, R., Loayza, M.: Global existence and blow up for a coupled parabolic system with time-weighted sources on a general domain. Z. Angew. Math. Phys. 70, 16 (2019)
Hu, B.: Blow-up Theories for Semilinear Parabolic Equations. Lecture Notes in Mathematics, vol. 2018. Springer, Heidelberg (2011)
Chung, S.-Y., Hwang, J.: A necessary and sufficient condition for the existence of global solutions to discrete semilinear parabolic equations on networks. Chaos Solitons Fractals 158, 112055 (2022)
Cano-Casanova, S.: Properties of the principal eigenvalues of a general class of non-classical mixed boundary value problems. J. Differ. Equ. 178(1), 123–211 (2002)
Lê, A.: An eigenvalue problems for the p-Laplacian. Nonlinear Anal. 64(5), 1057–1099 (2006)
Acknowledgements
Not available.
Funding
This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korean government (MSIT) (No. 2021R1A2C1005348).
Author information
Authors and Affiliations
Contributions
The authors contributed equally to this paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chung, SY., Hwang, J. A necessary and sufficient condition for the existence of global solutions to reaction-diffusion equations on bounded domains. Bound Value Probl 2024, 18 (2024). https://doi.org/10.1186/s13661-024-01822-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01822-w