Quenching for a Diffusion System with Coupled Boundary Fluxes
Haijie Pei*, Wenbo Zhao
College of Mathematic and Information, China West Norm University, Nanchong, P. R. China
Email address:
To cite this article:
Haijie Pei, Wenbo Zhao. Quenching for a Diffusion System with Coupled Boundary Fluxes. Applied and Computational Mathematics. Vol. 5, No. 1, 2016, pp. 18-22. doi: 10.11648/j.acm.20160501.13
Abstract: In this paper, we investigate a diffusion system of two parabolic equations with more general singular coupled boundary fluxes. Within proper conditions, we prove that the finite quenching phenomenon happens to the system. And we also obtain that the quenching is non-simultaneous and the corresponding quenching rate of solutions. This extends the original work by previous authors for a heat system with coupled boundary fluxes subject to non-homogeneous Neumann boundary conditions.
Keywords: Quenching, Quenching Rate, Quenching Point, Singular Term, Parabolic System
1. Introduction
In the present work, we mainly deal with the following diffusion system with singular coupled boundary fluxes
(1)
For functions and
, we always assume that initial data satisfies
and
with
To facilitate the following research, we also suppose that functions
and
verify the assumptions:
and
are locally Lipschitz on
;
and
for
;
and
.
In the model (1), and
can be thought as the temperatures of two mixed media during the heat propagation. This is a one-dimensional heat conduction rod of length 1 with positive initial temperatures
,
. At the left end {x=0}, heat is taken away with a rate
and
for
and
, respectively. The right end {x=1} is thermal isolation with
. Since the assumption proposed for the system implies that the two components are coupled completely and enhanced each other in the model. It is known that the singular negative flux at the boundary {x=0} may result in the so called finite time quenching of solutions, which makes it so interesting to investigate the quenching phenomenon of the solutions, see [2-5, 7-8, 11-13] and some survey papers [1, 6, 10]. Right here, we say that the solution
of the problem (1) quenches, if
exists in the classical sense and is positive for all
and satisfies
.
If this happens, T will be called as quenching time. Since a singularity develops in the absorption term at quenching time T, thus the classical solution doesn't exist anymore.
Due to the great work by many previous researchers, the blow-up problems of parabolic equation have been studied gradually matured, thus plenty of authors have begun to pay attention to the quenching phenomena and become a heated study field.
Ferreira, Pablo and Quirs. etc in [2] studied a system of heat equations coupled at the boundary
(2)
They obtained that if , and then quenching is always simultaneous. While if
or
, non-simultaneous quenching indeed occurs. If
, then there exists initial data such that simultaneous quenching produces. Besides, if quenching is non-simultaneous and, for instance
is the quenching variable, then
and
, where and throughout this paper, the notation
means that there exist two positive constants
such that
with some
holds for
close to the quenching time
.
Zheng and Song in [3] studied phenomena of non-simultaneous quenching to a coupled heat system
(3)
They gave an accurate non-simultaneous quenching classification and the corresponding quenching rates of (1.3) were determined as below:
for simultaneous quenching, and for non-simultaneous quenching.
Fila and Levine in [4] studied the following finite time quenching for the scalar equations
(4)
They obtained the quenching rate is as
.
Ji, Qu and Wang in [5] considered finite time quenching problem for parabolic system
(5)
where
and
are smooth positive initial data. They obtained that if v does not quench in (5), then
. If
, then any quenching in (5) must be simultaneous, while if
, then there exist initial data such that v quenches but u doesn’t. If
, and
then the component u(v) quenches alone under any positive initial data. Besides, if
and
, then both simul -taneous and non-simultaneous quenching may occur in (5), which depends on the initial data. And the set of initial data such that one component quenches alone is open. Furthermore, assume that u quenches at time T with v keeping positive in (5), then
. On the other hand, simultaneous quenching rates are also discussed under different conditions.
Some authors also studied the following coupled heat equations with nonlinear terms. For example, A de Pablo, F. Quirós and J. D. Rossi [6] studied the non-simultaneous quenching in a semilinear parabolic system
(6)
Zhi and Mu in [7] studied the non-simultaneous quenching in a semilinear parabolic system
(7)
And Ji, Zhou and Zheng in [8] studied the coupled system
(8)
All of them have identified simultaneous and non- simultaneous quenching by a precise classification of parameters, and establish simultaneous quenching rates or non-simultaneous quenching rates.
Motivated by those papers and references therein, the main purpose of this paper is to study a more general system (1) to obtain a lot of more general conclusions for the non-simultaneous quenching phenomenon with coupled fluxes at the boundary, which appeared in many papers with some special case, see [2-6,11,13].
2. MainResults and Proof
In this section, we mainly deal with the non-simultaneous quenching, quenching rates and quenching set.
At first, we will prove a priori estimate to begin our study, which ensures that quenching always happens for the diffusion system (1.1). To simplify the presentation of the proofs, we define the functions as follows
(9)
Lemma 2.1 Quenching happens for system (1.1) for every initial data.
Proof: By the maximum principle we have
.
Therefore, by integrating in the interval [0,1], we can obtain
Sinceis locally Lipschitz on (0, 1] and
for
, hence we have
This implies the following mass estimates,
Similarly, by integrating in the interval [0, 1], we can obtain
Since is locally Lipschitz on (0, 1] and
for
, hence we have
Thus we can also get the following mass estimates,
Consequently, there exists a finite time , such that quenching happens as
. Otherwise it will produce a contradictions if
are positive for all times.
Lemma 2.2 There exists a positive constant δ > 0, such that
(10)
Proof: Consider functions it’s easy to check that
are solutions to the heat equation. If we choose
small enough, for every
, we have
Notice that
and
are decreasing in time, so we can get
As to the flux at
, we have
with small sufficiently. Thus by the maximum principle, we can obtain that
for every
and
The result in (2.5) is just the particular case for
.
Moreover, we have the following estimates via directly integrating for inequalities (2.5).
Corollary 2.1
Within these estimates we can obtain the following corollary.
Corollary 2.2 The quenching time is continuous with respect to the initial data.
Since the proof is similar to the Theorem 2.1 in [1], we omit here.
Lemma 2.3 There exists a constant such that,
(11)
Proof: Let where
is a nonnegative, non-increasing, convex
function such that
and
for
It’s easy to find that
and
are nonnegative at
. Besides, differentiating
we can get
Similarly, we can get
In other words, and
are super-solutions for the heat equation. In addition, they vanish at the border
and
. Hence
for every
, which implies
for some particular case, that is to say,
And the analogous estimate holds for ,
To this end, the proof of this lemma is complete.
Lemma 2.4 The quenching point is only the origin.
Proof: Since , we have
for every such that
. Therefore, we obtain
. The similar estimate also holds for
. Thus we can obtain that the quenching point is only the origin.
Theorem 2.1 Letbe time-derivatives of
, and then
will blow up at quenching point
simultaneously.
Proof: Define functions where
is some positive constant. Thus
and
verify the follows,
So we have. Furthermore, we can obtain
Since and
is bounded, select a proper
, we have
.
Similarly, we also have . By the maximum principle, we can get
, which means
Let, we can get the conclusion
To this end, the proof is complete.
Theorem 2.2 If quenching is non-simultaneous and let u be the quenching variable, then
and
.
Proof: In Lemma 2.1, we have given the lower bound of the non-simultaneous rate, while the upper bound can be obtained easily by integrating the first estimate in (11). Using that:
. As
, by lower estimate given in Corollary 2.1, then upper estimate follows directly from the fact that u is concave; therefore
.
To this end, the proof of Theorem 2.1 is complete.
3. Conclusion
Throughout this paper, we have studied the solutions of a parabolic system of heat equations coupled at the boundary through a singular flux. This system displays a singularity in finite time, which is called quenching in the literature. We obtained the quenching point is the origin, non-simultaneous quenching rates. To some degree, our work extends the original work by previous authors for a heat system with coupled boundary fluxes for a more general boundary flux.
We have to admit that there are still many possible improvements and extensions of our results. One possibility is that we consider the diffusion process in a higher dimension. If we study the radial solutions in a ball, some similar results may hold as well. Besides, we can extend the local diffusion to nonlocal diffusion, which may be more effective to describe the real situation. Another aspect for us to improve is to find a method to identify the non-simultaneous quenching and simultaneous quenching, which once was determined by some parameters.
Acknowledgement
This work is partial supported by Nation Nature Science Foundation of China (11301419), Scientific Research Founds of Sichuan Provincial Education Department (133ZA0010, 14ZB0143) and College Students Technology Innovation Projects of China West Normal University (427120).
References