- Research
- Open Access
- Published:
The entropy solution of a reaction–diffusion equation on an unbounded domain
Journal of Inequalities and Applications volume 2019, Article number: 3 (2019)
Abstract
The degenerate parabolic equations from the reaction–diffusion problems are considered on an unbounded domain \(\varOmega\subset\mathbb {R}^{N}\). It is expected that only a partial boundary should be imposed the homogeneous boundary value, but how to give the analytic expression of this partial boundary seems very difficult. A new method, which is called the general characteristic function method, is introduced in this paper. By this new method, a reasonable analytic expression of the partial boundary value condition is found. Moreover, the stability of the entropy solutions is established based on this partial boundary value condition.
1 Introduction
In the theory of water infiltration through porous media, Darcy’s linear relation
satisfactorily describes the flow conduction provided that the velocities are small, where V represents the seepage velocity of water, θ is the volumetric moisture content, \(K(\theta)\) is the hydraulic conductivity and ϕ is the total potential, which can be expressed as the sum of a hydrostatic potential \(\psi(\theta)\) and a gravitational potential z
But when the flow has large velocities, Darcy’s linear relation is invalid. In this case, in order to obtain a more accurate description of the flow, several nonlinear versions have been proposed. One of these versions is
Moreover, if infiltration takes place in a horizontal column of the medium, then the continuity equation has the form
Thus, one obtains
with \(D(\theta)=K(\theta)\psi'(\theta)\).
If one considers the convection process additionally, then Eq. (1.1) can be generalized to the following equation:
where \(\varOmega\subset\mathbb{R}^{N}\) is a smooth domain, \(b(s,x,t)=\{ b^{i}(s,x,t)\}\) is a \(C^{1}\) function and
In fact, Eq. (1.2) comes from many reaction–diffusion problems and has been deeply investigated, one can refer to [1,2,3] and [4] for more details.
For the initial-boundary value problem of Eq. (1.2), since the equation has the parabolic–hyperbolic mixed type, the initial value condition
is usually needed. But how to give a suitable boundary value condition becomes an interesting and challenging problem. To see that, let us consider the completely degenerate case, \(A(u)\equiv0\), since boundary layer may appear, the solutions may not assume the given condition
at the boundary, otherwise the problem will be overdetermined. To solve the problem, in [5], the authors first gave an interpretation of the boundary condition (1.4) as an “entropy” inequality on ∂Ω, which is the so-called BLN condition. Later, in [6], the author extended the result to the case \(L^{\infty}\) data. He proposed that the boundary condition should be held in the integral form by introducing appropriate boundary entropy (i.e. entropy flux pairs). After the work of [6], many efforts have been focused on the strongly degenerate parabolic–hyperbolic equations
which includes Eq. (1.2) as the isotropic diffusion case. In particular, the homogeneous boundary condition was considered in [7,8,9], and the nonhomogeneous boundary condition was considered in [10,11,12,13,14]. In all this work, the boundary condition is not directly shown as (1.4) in sense of the trace, but it is elegantly implicitly contained in a family of entropy inequalities (for example [10]), or is treated in a special weak sense such as [11]. Also, one can refer to [15, 16] for the latest progress in this direction.
If we still insist on the boundary value condition is imposed in the sense of the trace, then only a partial boundary condition,
is required generally, where \(\varSigma_{1}\subseteq\partial\varOmega\) is a relative open subset. This idea follows the theory of the second order differential equations with nonnegative characteristic form [17]. By this theory, if one wants to consider the boundary value problem of the equation
one only needs to give partial boundary condition
where
and \(\{n_{s}\}\) is the unit inner normal vector of ∂Ω̃. Following this idea, in [18], the authors had given a suitable partial boundary value condition in the sense of the trace to Eq. (1.5), provided that
where
In [19], the author had considered Eq. (1.2) in the half space of \(\mathbb{R}^{N}\) and shown that \(\varSigma_{1}=\emptyset\) in (1.6) when \(b(u,x,t)=b(u)\) and \({b^{N}}'(0)\geq0\). If the domain Ω is bounded, our previous papers [20, 21] had shown that \(\varSigma_{1}\) also can be an empty set in some cases. Recently, the case that \(\varSigma _{1}\subseteq\partial\varOmega\) is a subset has been studied in [22], where \(\varSigma_{1}\subseteq\partial\varOmega\) is represented by the distance function \(d(x)=\operatorname{dist}(x,\partial\varOmega)\).
In order to find a reasonable analytic expression \(\varSigma_{1}\), we will summarize these results to give a general method, which is called the general characteristic function method in this paper. We first give a basic conception. Let \(g(x)\) be a continuous nonnegative function on \(\mathbb{R}^{N}\), satisfying
and \(g(x)=0\), \(x\in\mathbb{R}^{N}\setminus\varOmega\). Assume that there is a small enough \(\lambda_{0}>0\), such that \(g(x)\in C^{2}(\overline{\varOmega_{\lambda}})\) for any \(\lambda<\lambda_{0}\), where
If a function \(g(x)\) satisfies these requirements, we can call it as a general characteristic function of Ω. For example, \(\varOmega \subset\mathbb{R}^{N}\) is a bounded domain with an uniformly \(C^{2}\) smooth boundary, then the distance function \(d(x)\) is a general characteristic function of Ω. Certainly, in this case, \(d^{2}(x)\) is another general characteristic function of Ω. In other words, the general characteristic function of Ω is not unique.
By the general characteristic function method it means that the part of the boundary \(\varSigma_{1}\) appearing in (1.6) can be expressed by the general characteristic function if one chooses a suitable test function in the entropy solution inequality (see below, inequality (2.2)).
In addition, different from [10,11,12,13,14, 20, 21] and [15, 16], the domain \(\varOmega\subset\mathbb{R}^{N}\) is an unbounded domain with an appropriately smooth boundary in this paper. The main innovation is that, after imposing some restrictions on \(a(s)\) and \(b^{i}(s,x,t)\), the part of the boundary \(\varSigma_{1}\) appearing in (1.6) can be expressed as
Moreover, depending on the partial boundary value condition (1.6), the stability of the entropy solutions to Eq. (1.2) can be proved.
Naturally, since the general characteristic function g is not unique, if one chooses another general characteristic function \(g_{1}(x)\), the partial boundary value \(\varSigma_{g_{1}}\) may be different from the first one \(\varSigma_{g}\). By this token, we can say the partial boundary value condition (1.6) is the best if the partial boundary \(\varSigma_{1}\) in (1.6) satisfies
for any general characteristic function \(g(x)\) and we may conjecture that \(\varSigma_{1}\) can be expressed as
If there is a function \(g_{0}\) such that
then we can call \(g_{0}\) the best general characteristic function. However, whether such a \(g_{0}\) exists or not is difficult to clarify.
Moreover, the presented work is based on the Kruzkov doubling of variables trick to study the stability of the solutions. Let us give a brief explanation. First, we assume that \(x\in[0,1]\) and consider the hyperbolic equation
it is well known that even if \(u_{0}(x)\) is smooth, the solution \(u(x,t)\) may not be continuous. Let \(\varGamma_{u}\) be the set of all jump points of \(u\in \mathit{BV}(Q_{T})\), \((\gamma_{t}, \gamma_{x})\) be the normal of \(\varGamma _{u}\) at \(X=(x,t)\), \(u^{+}(X)\), \(u^{-}(X)\) be the approximate limits of u at \(X\in\varGamma_{u}\) with respect to \((v,Y-X)>0\) and \((v,Y-X)<0\), respectively, and \(\bar{u}=\frac {u^{+}+u^{-}}{2}\) be the symmetric mean value. Then \(u(x,t)\) not only satisfies
for any \(\varphi\in C_{0}^{\infty}(Q_{T})\), but it also satisfies the “entropy condition”
Kruzkov [23] noticed that one can combine (1.11) with (1.12) and obtain the following inequality:
is true for all \(0\leq\varphi\in\in C_{0}^{\infty}(Q_{T})\) and \(k\in \mathbb{R}\). By this innovative discovery, the uniqueness of the entropy solution to Eq. (1.10) was proved in [23] by a skillful method-which is called the Kruzkov doubling of variables trick since then, and the corresponding weak solutions are called the entropy solutions of Eq. (1.10).
Secondly, for the parabolic–hyperbolic mixed type equation
if there exists an interior point in the set \(\{s: a(s)=0\}\), then the solution \(u(x,t)\) of Eq. (1.14) also may be discontinuous and must have a similar “entropy condition”. A very tricky problem lies in that such a similar “entropy condition” cannot be depicted as in (1.12). Vol’pert and Hudjaev [24] directly generalized (1.13) to the following inequality:
and called \(u(x,t)\) an entropy solution to Eq. (1.15) provided that \(u\in \mathit{BV}(Q_{T})\cap L^{\infty}(Q_{T})\), \(\frac{\partial A(u)}{\partial u}\in L^{2}_{\mathrm{loc}}(Q_{T})\) and satisfies (1.15). Based on this definition, by the fact
it was shown that, if u and v are two entropy solutions of the initial-boundary value problem to Eq. (1.14),
for any \(0\leq\varphi\in C^{\infty}(\overline{Q_{T}})\), \(\operatorname{supp}\varphi\subset[0,1]\times(0,T)\). Here, \(w_{1}=\frac{\partial A(u_{1})}{\partial x}\), \(w_{1}=\frac{\partial A(u_{2})}{\partial x}\), \(\beta =\int_{0}^{1}B'(\lambda u_{1}+(1-\lambda)u_{2})\,d\lambda\). By (1.16) and a very painstaking calculation and skillful work, the uniqueness of the entropy solutions was proved by the Kruzkov doubling of variables trick, one can refer to [24] or [1, pp. 299–324] for the details.
Naturally, one may easily generalize the inequality (1.15) to the case when the spatial variable \(x\in\varOmega\subset\mathbb{R}^{N}\), i.e.
define the corresponding entropy solution inequality
and prove its existence. However, how to use the Kruzkov doubling of variables trick to prove the uniqueness of the entropy solution, if one still insists on using a similar technique as that in [24] or [1, pp. 299–324], becomes much more difficult. One can refer for the explanation to our previous work [25, Appendix 2] where we considered details.
For the Cauchy problem of Eq. (1.17) (or Eq. (1.2)), the essential improvements were made in [26,27,28,29,30,31] etc. around 2000. By introducing various kinds of the entropy solutions, in [26,27,28,29,30,31] etc., the authors had succeeded to prove the stability of the new kind of the entropy solutions. For the initial-boundary value problem, the essential improvements were made even later, one can refer to [10, 11] and [19] etc., this is due to the fact that, besides the new definition of the entropy solution as that in the Cauchy problem, how to give a suitable boundary value condition to ensure the well-posedness of Eq. (1.17) (or Eq. (1.2)) becomes a difficult problem; some details are given above in this paper. In this paper, we will consider the initial-boundary value problem of Eq. (1.2) in an unbounded domain, and we use some ideas of [31] and [19] to introduce a kind of the entropy solution of Eq. (1.2). By the weak convergent theorem (Lemma 3.1) and using the gradient estimation (Lemma 3.2), we can prove the existence of the entropy solution by the parabolical regularization method. Moreover, we will give a suitable partial boundary value condition (1.6) by the general characteristic function method, and we shall use the Kruzkov doubling of variables trick to prove the stability of the entropy solutions.
This paper is arranged as follows. In the first section, we have given the introduction. In the second section, we give the definition of the entropy solution and the main results. In the third section, the existence of the entropy solution is proved. In the fourth section, the stability of the entropy solutions is researched. In the fifth section, in order to show the part of the boundary \(\varSigma_{g}\) changing along with the choice of g, some examples are given, and one can see that how to choose a suitable general characteristic function to pick out the partial boundary value condition (1.5) is important. At last, an application of the partial boundary value conditio is given, and some conclusions are summarized.
2 The definition of the entropy solution inequality and the main results
It is well known that, since Eq. (1.2) is of hyperbolic–parabolic characteristic, only imposing the entropy conditions, the weak solution can be unique. We use some ideas from our previous work [19, 31] to define the entropy solutions in \(\mathit{BV}_{\mathrm{loc}}(Q_{T})\).
For small \(\eta >0\), we set
Then \(h_{\eta}(s)\in C(\mathbb{R})\), and
Definition 2.1
A function u is said to be the entropy solution of Eq. (1.2) with the initial value (1.3) and the partial boundary value (1.6), if:
-
1.
u satisfies
$$u\in \mathit{BV}_{\mathrm{loc}}(Q_{T})\cap L^{\infty}(Q_{T}), \qquad \frac{\partial }{\partial x_{i}} \int_{0}^{u}\sqrt{a(s)}\,ds\in L^{2}(Q_{T}). $$ -
2.
For any \(\varphi\in C_{0}^{2}(Q_{T})\), \(\varphi\geq0\), for any \(k\in \mathbb{R}\), for any small \(\eta >0\), u satisfies
$$\begin{aligned}& \iint_{Q_{T}} \biggl[I_{\eta}(u-k)\varphi_{t}-B_{\eta }^{i}(u,x,t,k) \varphi_{x_{i}}+A_{\eta}(u,k)\Delta\varphi \\& \quad {}-S_{\eta}^{\prime}(u-k) \biggl\vert \nabla \int_{0}^{u}\sqrt{a(s)}\,ds \biggr\vert ^{2}\varphi \biggr]\,dx\,dt \\& \quad {}- \iint_{Q_{T}} \int_{k}^{u}b^{i}_{x_{i}}(s,x,t)S'_{\eta}(s-k) \,ds\varphi \,dx\,dt\geq0. \end{aligned}$$(2.2) -
3.
For any positive constant R large enough,
$$ \lim_{t\rightarrow0} \int_{\varOmega_{R}} \bigl\vert u(x,t)-u_{0}(x) \bigr\vert \,dx=0, $$(2.3)where \(\varOmega_{R}=\{x\in\varOmega: |x|< R\}\).
-
4.
The partial boundary value condition (1.6) is satisfied in the sense of trace.
Here, the inequality (2.2) is called the entropy solution inequality, \(\mathit{BV}_{\mathrm{loc}}(Q_{T})\) is the locally BV function space [1], \(b(u,x,t)=\{b^{i}(u,x,t)\}\), and
Since the domain Ω is unbounded, we use some techniques, as we had used in considering the Cauchy problem [31], to prove the existence of the entropy solutions. Throughout this paper, the initial value \(u_{0}(x)\in L^{\infty}(\varOmega)\cap L^{1}(\varOmega)\).
Theorem 2.2
If \(A(s)\in C^{1}(\mathbb{R})\), \(b^{i}(s,x,t)\in C^{1}(\mathbb{R}\times\overline{\varOmega}\times[0,T])\), then the problem (1.2)–(1.3)–(1.6) has an entropy solution.
The main aim of this paper is to study the stability of the entropy solutions.
Theorem 2.3
Suppose that \(A(s)\) is \(C^{1}(\mathbb{R})\), \(b^{i}(s,x,t)\in C^{1}(\mathbb{R}\times\overline{\varOmega}\times[0,T])\), \(g(x)\) is a general characteristic function of Ω. Let \(u(x,t)\) and \(v(x,t)\) be solutions of Eq. (1.2) with different initial values \(u_{0}(x)\) and \(v_{0}(x)\), respectively, and with the same partial homogeneous boundary value condition
where g is a general characteristic function of Ω, and \(\varSigma_{p}\) has the form (1.7). If x is close to ∂Ω, \(\Delta g+|\nabla g|\) is bounded, and there is a constant \(\delta<0\) such that
then
Here
and δ is a small positive constant.
The condition (2.5) seems not good enough. Since one always expects that convection term is independent of \(a(s)\), Eq. (1.2) can be of the hyperbolic–parabolic mixed type. Fortunately, we can find another condition to take the place of (2.5), and we obtain the following theorem.
Theorem 2.4
Suppose that \(A(s)\) is \(C^{1}(\mathbb{R})\), \(b^{i}(s,x,t)\in C^{1}(\mathbb{R}\times\varOmega\times[0,T])\), \(g(x)\) is a general characteristic function of Ω. Let \(u(x,t)\) and \(v(x,t)\) be solutions of Eq. (1.2) with different initial values \(u_{0}(x)\) and \(v_{0}(x)\), respectively, and with the same partial boundary value condition (2.4). If x is close to ∂Ω, \(\Delta g+|\nabla g|\) is bounded, and
then the stability of the entropy solutions (2.6) is true.
Remark 2.5
If condition (2.5) or condition (2.7) is not true, whether the part of the boundary \(\varSigma_{g}\) appearing in (1.6) is true is unknown.
Remark 2.6
The general characteristic function method introduced above can be used to any kinds of hyperbolic–parabolic mixed type equations to find a reasonable analytic expression of the partial boundary value condition (1.6), no matter the domain Ω is bounded or not. Certainly, for different domains, one should choose different general characteristic functions.
If the domain Ω is bounded, and we choose \(g(x)=d(x)\), then Theorem 2.4 is just a version of Theorem 1.4 in [22]. However, since the domain considered in this paper is unbounded, the test function φ appearing in the entropy inequality (2.2) cannot be chosen as \(d(x)\) itself, in virtue of that \(d(x)\) is not integrable on Ω generally. Also, one can see that the test function chosen in [22] cannot be used in the entropy inequality (2.2) when the domain is unbounded.
3 Proof of Theorem 2.2
Lemma 3.1
([32])
Assume that \(\varOmega\subset \mathbb{R}^{N}\) is an open set and let \(f_{k},f\in L^{q}(\varOmega)\), as \(k\rightarrow\infty\), \(f_{k}\rightharpoonup f\) weakly in \(L^{q}(\varOmega)\), \(1\leq q<\infty\). Then
Consider the following parabolically regularized equation:
with
where, for large enough n, \(\varOmega_{n}=\{x\in\varOmega:|x|< n\}\), and \(u_{0n}(x)\in C^{\infty}_{0}(\varOmega_{n})\) such that \(u_{0n}(x)\) locally uniformly converges to \(u_{0}(x)\).
From [1, 33], we know there are classical solutions \(u_{n}\in C^{2}(\overline{Q_{nT}})\cap C^{3}(Q_{nT})\), and by the maximum principle,
Moreover, similar to [19, 31], we can prove the following lemma, the details of the proof are omitted here.
Lemma 3.2
Let \(u_{n}(x,t)\) be the solution of the problem (3.2)–(3.3)–(3.4). Then
where \(|\operatorname{grad}u|^{2}=\sum_{i=1}^{N}|\frac{\partial u}{\partial x_{i}}|^{2}+|\frac{\partial u}{\partial t}|^{2}\), c is independent of n, and
σ is a given positive constant.
Now, let
Then, by (3.6) and (3.7), we have
Thus there exists a subsequence \(\{u_{{n}}\}\) of \(\{\bar{u_{n}}\}\) and a function \(u\in \mathit{BV}_{\mathrm{loc}}(Q_{T})\cap L^{\infty }(Q_{T})\) such that \(u_{{n}}\rightarrow u\) a.e. on \(Q_{T}\).
Proof of Theorem 2.2
First of all, by (3.8), \(u\in \mathit{BV}_{\mathrm{loc}}(Q_{T})\) and we can define the trace on the boundary, the partial boundary value condition is understood in the sense of the trace. Secondly, by (3.9)
where \(\varOmega_{R}=\{x\in\varOmega:|x|< R\}\).
Moreover, let \(\varphi\geq0\), \(\varphi\in C_{0}^{2}(Q_{T})\), and multiply (3.2) by \(\varphi S_{\eta}(u_{n}-k)\), and integrate over \(Q_{T}\). Then we have
Integration by part yields
Since
and by Lemma 3.1,
then letting \(n \rightarrow\infty\) in (3.13), we can obtain (2.2).
At last, the initial value is true in the sense of (2.3) as can be shown in a similar way to that in [1, 31]. Then we have proved the existence of the entropy solution. □
4 Proof of Theorem 2.3 and Theorem 2.4
Proof of Theorem 2.3
Let \(u(x,t)\), \(v(x,t)\) be two entropy solutions of (1.2) with different initial values
and with the same partially boundary value condition
Here g is a general characteristic function of Ω, \(\varSigma_{g}\) has the form of (1.7).
For any \(\eta>0\), \(k,l\in \mathbb{R}\), for any \(0\leq\varphi\in C_{0}^{2}(Q_{T})\), by Definition 2.1
As usual, we let \(\psi(x,t,y,\tau)=\phi(x,t)j_{h}(x-y,t-\tau)\). Here \(\phi (x,t)\geq0\), \(\phi(x,t)\in C_{0}^{\infty}(Q_{T})\), \(\omega_{h}\) is the mollifier and
If we choose \(k=v(y,\tau)\), \(l=u(x,t)\), \(\varphi=\psi(x,t,y,\tau)\) in (4.3) (4.4), then, by the Kruzkov doubling of variables trick, we have
Let \(\eta\rightarrow0\), \(h\rightarrow 0\) in (4.6). Then we obtain
For \(0<\tau<s<T\), we denote
where \(\alpha_{\epsilon}(t)\) is the kernel of mollifier with \(\alpha_{\epsilon}(t)=0\) for \(t\notin(-\epsilon,\epsilon )\). Let us choose the test function
in (4.7), in which \(\xi(x)\in C_{0}^{\infty}(\varOmega)\).
Let
as before. By the limit process, we can choose ξ in (4.9) as
where \(\omega_{\lambda}(x)\in C_{0}^{2}(\varOmega)\) is defined as follows: for any given small enough \(0<\lambda\), \(0\leq\omega_{\lambda}\leq1\), \(\omega|_{\partial \varOmega}=0\) and
when \(0\leq g(x)\leq\lambda\),
Now,
and when \(g(x)\geq\lambda\), \(\Delta(\omega_{\lambda}(g(x)))=0\) clearly.
Since
we have
while
Then
and
Accordingly,
At the same time,
Once more
By (4.9), (4.19)–(4.21), and using the assumption
by the Cauchy mean value theorem, we have
Here, we have denoted
and
By the definition of the trace, we have
Let \(\lambda\rightarrow0\) in (4.20). By (4.21), we have
By the Gronwall inequality, we have the conclusion. □
Proof of Theorem 2.4
Similar to the proof of Theorem 2.3, the calculations (4.1)–(4.21) are still true. In addition, by the assumption of (2.7), we have
Since \(x\in\varOmega_{\lambda}\), \(g(x)\leq\lambda\),
By (4.25) and (4.26), similar the proof of Theorem 2.3, we have the conclusion. □
From the proof of Theorem 2.3 and Theorem 2.4, we easily obtain the following theorem.
Theorem 4.1
Suppose that \(A(s)\) is a \(C^{1}\) function, \(b^{i}(s,x,t)\) is a \(C^{1}\) function on \(\mathbb{R}\times\overline{\varOmega}\times [0,T]\), \(g(x)\) is a general characteristic function of Ω. Let \(u(x,t)\), \(v(x,t)\) be solutions of Eq. (1.2) with different initial values \(u_{0}(x)\), \(v_{0}(x)\), respectively. If there is a general characteristic function of Ω such that
then
Proof
First, we still have (4.1)–(4.18). Secondly, by (4.28),
and by (4.27)
Here, we have used the fact that
Thirdly,
By (4.30)–(4.32), we have (4.24). Then we have the conclusion. □
Theorem 4.1 implies that, in some cases, one can obtain the stability (4.30) without the boundary value condition. In other words, the conditions (4.27)–(4.28) can take the place of the boundary value condition.
5 Examples of the partial boundary value
In this section, we will give some examples to show that the part of the boundary \(\varSigma_{g}\) in (1.7) changes along with the choice of the general characteristic function g.
(i) As we have said above, the general characteristic function method also can be used in the case that domain Ω is bounded. Let us first give an example to show, for the bounded domain, how the part of the boundary \(\varSigma_{g}\) in (1.7) changes along with the choice of the general characteristic function g. Let \(r>0\) be a given constant, and
If we choose
then
On \(\partial\varOmega_{r}\), \(|x|=r\), we have
Then
If we choose
then
Then on \(\partial\varOmega_{r}\),
Thus, if \(r< 1\), then
which implies that there is no boundary value condition (1.5) required. In other words, when \(r<1\), \(g_{r}\) is the best characteristic function.
While \(r\geq1\)
is the whole boundary and the boundary value condition (1.6) becomes the usual Dirichlet boundary value condition.
(ii) Two examples of the unbounded ∂Ω are given in what follows. The first one is
If we choose
then
On \(\partial\varOmega_{2}\), \(x_{2}=x_{1}^{2}\), then
Then
If we choose \(g_{2}(x)=e^{x_{2}-x_{1}^{2}}-1\), then
Thus on \(\partial\varOmega_{2}\),
which implies that
If we choose \(g_{3}(x)=\ln(1+x_{2}-x_{1}^{2})\), then
and
On \(\partial\varOmega_{2}\), \(x_{2}=x_{1}^{2}\), then
which means that there is not boundary value condition (1.6) required, \(g_{3}\) is the best general characteristic function.
The second one is the half space \(\varOmega_{3}= \{x\in\mathbb{R}^{N}: x_{N}>0 \}\). If one chooses
then
and
If one chooses
and appropriately defined elsewhere, then
and
which means that there is no boundary value condition (1.6) required. \(g_{5}\) is the best general characteristic function of \(\varOmega_{3}\).
6 Conclusion
The partial homogeneous boundary value condition no doubt maintain the dominance of this paper. It is a possible abstract application with no physical (trivial) interpretation at this stage. This seems to be good math/science. However, if we regard Eq. (1.1) as a nonlinear heat conduction equation, then the condition (1.6)
implies that on this part we must control its heat conduction by technical means. No boundary value being imposed on \(\partial\varOmega \setminus\varSigma_{p}\) implies that there is a thermal insulation on \(\partial\varOmega\setminus\varSigma_{p}\), the heat conduction cannot pass \(\partial\varOmega\setminus\varSigma_{p}\).
For a parabolic–hyperbolic equation, how to impose a suitable partial boundary value condition to ensure the well-posedness of the entropy solutions is a very interesting problem. This problem can be traced back to 1960s, which is called the theory of the second order differential equations with nonnegative characteristic form. In brief, for a degenerate elliptic (or parabolic) equation, the partial boundary on which the boundary value should be imposed is determined by the diffusion coefficient \(a^{rs}\), the Fichera function \(b_{r}-a^{rs}_{x_{s}}\) and the inner normal vector \(n=\{n_{r}\}\). When the equation becomes nonlinear, for example, in the equation considered in this paper, there is no diffusion coefficient, it is almost impossible to find a function similar to the Fichera function to express the boundary value condition. In this paper, a new method—the general characteristic function method—is introduced. Instead of the Fichera function, the partial boundary on which the boundary value should be imposed, can be expressed by the general characteristic function. One can see that the partial boundary value condition (1.6) with the expression of \(\varSigma_{p}\) (1.7) changes along with the choice of the general characteristic function. The simplest one is the distance function from the boundary \(d(x)=\operatorname{dist}(x, \partial\varOmega)\), in this case, \(\nabla d =n\) is the inner normal vector of Ω. The novelty of this method lies in that there is not any requirement of the regularity of the weak solutions on the boundary, and it can be generalized to the other kinds of the degenerate parabolic equations. A fly in the ointment is that it is difficult to find the best characteristic function \(g_{0}\) to ensure the best partial boundary value condition. By the way, the domain considered in this paper is unbounded, some innovative techniques are used and can be generalized to the other kinds of the degenerate parabolic equations.
References
Wu, Z., Zhao, J., Yin, J., Li, H.: Nonlinear Diffusion Equations. Word Scientific, Singapore (2001)
Barenblatt, G.I., Entov, V.M., Ryzhik, V.M.: Theory of Fluid Flows Through Natural Rocks. Springer, Berlin (1990)
Ingham, D.B.: Loan Pop: Transport Phenomena in Porous Media. Elsevier, Amsterdam (1998)
Bear, J., Corapcioglu, M.Y.: Fundamentals of Transport Phenomena in Porous Media. Springer, Dordrecht (1984)
Bardos, C., LeRoux, A.Y., Nedelec, J.C.: First order quasilinear equations with boundary condition. Commun. Partial Differ. Equ. 4, 1017–1024 (1979)
Otto, F.: Initial-boundary value problem for a scalar conservation laws. C. R. Acad. Sci. Paris, Ser. I Math. 322, 729–734 (1996)
Carrillo, J.: Entropy solutions for nonlinear degenerate problems. Arch. Ration. Mech. Anal. 147, 269–361 (1999)
Bendahmane, M., Karlsen, K.H.: Uniqueness of entropy solutions for quasilinear anisotropic degenerate parabolic equation. Contemp. Math. 371, 1–27 (2005)
Andreianov, B.P., Bendahmane, M., Karlsen, K.H., Ouaro, S.: Well-posedness results for triply nonlinear degenerate parabolic equations. J. Differ. Equ. 247, 277–302 (2009)
Kobayasi, K., Ohwa, H.: Uniqueness and existence for anisotropic degenerate parabolic equations with boundary conditions on a bounded rectangle. J. Differ. Equ. 252, 137–167 (2012)
Li, Y., Wang, Q.: Homogeneous Dirichlet problems for quasilinear anisotropic degenerate parabolic–hyperbolic equations. J. Differ. Equ. 252, 4719–4741 (2012)
Lions, P.L., Perthame, B., Tadmor, E.: A kinetic formation of multidimensional conservation laws and related equations. J. Am. Math. Soc. 7, 169–191 (1994)
Mascia, C., Porretta, A., Terracina, A.: Nonhomogeneous Dirichlet problems for degenerate parabolic–hyperbolic equations. Arch. Ration. Mech. Anal. 163, 87–124 (2002)
Michel, A., Vovelle, J.: Entropy formulation for parabolic degenerate equations with general Dirichlet boundary conditions and application to the convergence of FV methods. SIAM J. Numer. Anal. 41, 2262–2293 (2003)
Abreu, E., Colombeau, M., Panov, E.Y.: Approximation of entropy solutions to degenerate nonlinear parabolic equations. Z. Angew. Math. Phys. 68, 133 (2017)
Hermano, F., Yachun, L.: A boundary value problem for a class of anisotropic degenerate parabolic–hyperbolic equations. Arch. Ration. Mech. Anal. 226, 975–1008 (2017)
Oleinik, O.A., Radkevic, E.V.: Second Order Differential Equations with Nonnegative Characteristic Form. Am. Math. Soc., Providence (1973)
Wu, Z., Zhao, J.: The first boundary value problem for quasilinear degenerate parabolic equations of second order in several variables. Chin. Ann. Math., Ser. B 4, 57–76 (1983)
Zhan, H.: The solutions of a hyperbolic parabolic mixed type equation on half space domain. J. Differ. Equ. 259, 1449–1481 (2015)
Zhan, H.: On a hyperbolic–parabolic mixed type equation. Discrete Contin. Dyn. Syst., Ser. S 10(3), 605–624 (2017)
Zhan, H., Feng, Z.: Stability of hyperbolic parabolic mixed type equations with partial boundary condition. J. Differ. Equ. 264, 7384–7411 (2018)
Zhan, H.: On the stability of the equations with a partial boundary value condition. Bound. Value Probl. 2018, 30 (2018)
Kruzkov, S.N.: First order quasilinear equations in several independent variables. Math. USSR Sb. 10, 217–243 (1970)
Vol’pert, A.I., Hudjave, S.I.: Cauchy’s problem for degenerate second order quasilinear parabolic equation. Transl. Math. USSR Sb. 7, 365–387 (1969)
Zhan, H.: The boundary degeneracy theory of a strongly degenerate parabolic equation. Bound. Value Probl. 2016, 15 (2016)
Cockburn, B., Gripenberg, G.: Continuous dependence on the nonlinearities of solutions of degenerate parabolic equations. J. Differ. Equ. 151, 231–251 (1999)
Chen, G.Q., DiBendetto, E.: Stability of entropy solutions to the Cauchy problem for a class of nonlinear hyperbolic–parabolic equations. SIAM J. Math. Anal. 33(4), 751–762 (2001)
Chen, G.Q., Perthame, B.: Well-posedness for non-isotropic degenerate parabolic–hyperbolic equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 20(4), 645–668 (2003)
Karlsen, K.H., Risebro, N.H.: On the uniqueness and stability of entropy solutions of nonlinear degenerate parabolic equations with rough coefficient. Discrete Contin. Dyn. Syst., Ser. A 9(5), 1081–1104 (2003)
Bendahmane, M., Karlsen, K.H.: Reharmonized entropy solutions for quasilinear anisotropic degenerate parabolic equations. SIAM J. Math. Anal. 36(2), 405–422 (2004)
Zhao, J., Zhan, H.: Uniqueness and stability of solution for Cauchy problem of degenerate quasilinear parabolic equations. Sci. China Ser. A 48, 583–593 (2005)
Evans, L.C.: Weak Convergence Methods for Nonlinear Partial Differential Equations. Conference Board of the Mathematical Sciences, Regional Conferences Series in Mathematics, vol. 74. Am. Math. Soc., Providence (1998)
Gu, L.: Second Order Parabolic Partial Differential Equations. The Publishing Company of Xiamen University, China (2004)
Acknowledgements
The authors would like to thank everyone for help.
Availability of data and materials
Not applicable.
Funding
The paper is supported by Natural Science Foundation of Fujian province, supported by the Open Research Fund Program form Fujian Engineering and Research Center of Rural Sewage Treatment and Water Safety, supported by Science Foundation of Xiamen University of Technology, China.
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhan, H., Li, Y. The entropy solution of a reaction–diffusion equation on an unbounded domain. J Inequal Appl 2019, 3 (2019). https://doi.org/10.1186/s13660-019-1956-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-1956-3
MSC
- 35L65
- 35K85
- 35R35
Keywords
- Reaction–diffusion problem
- Unbounded domain
- Partial boundary value condition
- The entropy solution