- Research
- Open Access
- Published:
A single quenching point for a fractional heat equation based on the Riemann-Liouville fractional derivative with a nonlinear concentrate source
Boundary Value Problems volume 2017, Article number: 97 (2017)
Abstract
This paper aims to study the quenching problem in a fractional heat equation with the Riemann-Liouville fractional derivative. The existence and uniqueness of a solution for the problem are obtained by transforming the problem to an equivalent integral equation. The condition for the quenching occurrence in a finite time is given. Furthermore, the quenching point set is shown.
1 Introduction
The study of quenching problems for the initial-boundary value problem of parabolic type began in 1975 with a research paper of Kawarada [1], and since then, this topic has attracted much attention. Recently, many papers have studied quenching problems in PDEs (see [2–4] and [5] etc.).
The purpose of this article is to investigate the quenching phenomenon of the following fractional heat equation based on the Riemann-Liouville fractional derivative with nonlinear concentrated source:
where \({_{\mathrm{RL}}D_{t}^{1-\alpha}}\) denotes the Riemann-Liouville fractional derivative of order \(1-\alpha\) with \(\alpha\in(0,1)\), \(\delta(x)\) is the Dirac delta function, \(x_{0}\) is a fixed point in \((0,l)\), l is a positive constant, and f is a given function such that \(f(1)>0\) and \(f(1-v)\), \(f_{v}(1-v)\), \(f_{vv}(1-v)\) are positive for \(0< v<1\) and \(\lim_{v\rightarrow1^{-}}f(1-v)=\infty\).
When \(\alpha=1\), equation (1) becomes the heat equation with the homogeneous initial and boundary conditions. It is well known that the highly localized nature of the heat source can be represented by the Dirac delta function. In the case of \(\alpha= 1\), the model for the temperature of a diffusive medium with a nonlinear concentrated quenching source that moves at a constant speed was studied by Olmstead and Roberts [3] by analyzing the corresponding Volterra integral equation at the point \(x_{0}=ct\), where \(c > 0\) is the constant speed of translation
and the nonhomogeneous initial condition is determined by \(v_{0}\). Under appropriate conditions, they proved that quenching always occurs for a sufficiently slow speed. Moreover, when quenching does occur, bounds for quenching time are shown. The research paper of Olmstead and Roberts [3] is inspiration and motivation for working and writing this article. We next introduce the quenching definition.
Definition 1.1
A solution v of problem (1) is said to quench at the point \(x_{0}\) if there exists a positive time \(t_{q}\) such that the function \(v(x_{0},t) \rightarrow1^{-}\) and \(v_{t}(x_{0},t) \rightarrow\infty\) as \(t\rightarrow{t_{q}}\). If \(t_{q}\) is finite, then v is said to quench in a finite time. On the other hand, if \(t_{q}=\infty\), then v is said to quench in an infinite time. Furthermore, the set of all quenching points is called the quenching set.
For the reader’s convenience, we introduce some facts about fractional calculus. For details, one can see [6].
Definition 1.2
The integral
is called the Riemann-Liouville fractional integral of order \(\alpha> 0\), where Γ is the gamma function.
Definition 1.3
The Riemann-Liouville fractional derivative of order α for a function f is defined by
where \([ \alpha ]\) denotes the integer part of the real number α.
Definition 1.4
For a function \(f:[0,\infty)\rightarrow \mathbb{R} \), the Caputo derivative of fractional order α is defined as
provided that such integral exists.
Lemma 1.1
Let f be a continuous function on \([0,a]\) with \(a>0\) and \(f(0)=0\), and let \(\alpha\in(0,1)\), then
-
(1)
\(I_{t}^{\alpha} ( {}_{\mathrm{RL}}D_{t}^{\alpha }f(t) ) =f(t)\),
-
(2)
\({}_{\mathrm{C}}D_{t}^{\alpha}f(t)=I_{t}^{1-\alpha}\frac{d}{dt}f(t)\).
In Section 2, we transform problem (1) into the equivalent Volterra integral equation. A unique nonnegative local solution of problem (1) is shown in Section 3. In Section 4, we prove that a solution of problem (1) quenches in a finite time. In the last section, we find the quenching set of problem (1).
2 An integral equation
To investigate a possible quenching solution of problem (1), it is advantageous to convert the initial-boundary problem (1) into an associated integral equation by the technique in [7]. To do so, we first find the Green’s function \(G_{\alpha}\) equivalent to problem (1) determined by the following system: for any fixed \((\xi,\tau)\in(0,l) \times(0,\infty)\),
As shown in [8], the Green’s function \(G_{\alpha}\) can be expressed in terms of \(G_{1}\), which is the Green’s function for the classical diffusion in the case of \(\alpha=1\)
with
and
By (3) and (4), we obtain the following alternative forms for
By a technique similar to the one used in [7], the integral equation related to (1) is given for any \((x,t)\in[0,l]\times[0,\infty)\) by
To analyze equation (5), it is essential to know the properties of \(G_{\alpha}\). Various properties of \(G_{\alpha}\) can be derived from (2). By [9], it is seen that \(G_{\alpha}\) is positive, \(G_{\alpha}\) is continuously differentiable for \(t>0\), \(G_{\alpha}\) is decreasing with respect to t, \(\int_{0}^{t}G_{\alpha}(x,t-\tau;x_{0},0)\,d\tau\) is positive and \(\frac{d}{dt}\int_{0}^{t}G_{\alpha}(x,t-\tau ;x_{0},0)\,d\tau\) is positive.
3 Existence and uniqueness
In this section, we use the Banach fixed point theorem to show that the integral equation (5) has a unique continuous solution on the time interval \([0,t_{1}]\) for some \(t_{1}>0\).
Theorem 3.1
There exists \(t_{1}>0\) such that the integral equation (5) has a unique nonnegative continuous solution v on the interval \([0,t_{1}]\) for any \(x \in[0,l]\).
Proof
Let R be any fixed positive constant with \(R<1\). We choose a positive constant h satisfying the following inequality: for any \(x\in[0,l]\),
We construct the set \(S_{R}\) by
Thus, \(S_{R}\) is the nonempty closed convex subset of \(C([0,l]\times [ 0,h])\). Then \(S_{R}\) is a Banach space and its norm \(\Vert v\Vert _{S_{R}}=\sup_{(x,t)\in[0,l]\times[0,h]}|v(x,t)|\). We next define an operator \(F:S_{R}\rightarrow C([0,l]\times[0,h])\) by
for any \(v\in S_{R}\). In order to apply the Banach fixed point theorem, we have to show that the operator F satisfies the following two conditions:
-
(1)
\(F:S_{R}\rightarrow S_{R}\) and
-
(2)
F is a contraction mapping.
Condition (1): Let \(v\in S_{R}\). By \(\frac{d}{dt}\int_{0}^{t}G_{\alpha}(x,t-\tau;x_{0},0)\,d\tau>0 \) and (6), we have
This means that \(\Vert v\Vert _{S_{R}}< R\).
Condition (2): Let us consider that for any \(v,w\in S_{R}\),
By (6), this implies that F is a contraction mapping.
Therefore, the Banach fixed point theorem implies that F has a unique fixed point on \(S_{R}\). We can conclude that the integral equation (5) has a unique continuous solution v for any \((x,t)\in[0,l]\times[0,h]\). It follows by the positivity of \(G_{\alpha}\) and f that the solution v is positive. Hence, the proof of this theorem is completed. □
4 Finite time quenching
The following theorem shows that the solution v of the integral equation (5) quenches at the point \(x_{0}\).
Theorem 4.1
Let \([0,t_{q})\) be the maximum time interval such that the integral equation (5) has a continuously differentiable solution \(v(x,t)\) for any \((x,t)\in[0,l]\times[0,t_{q})\). If \(v(x_{0},t)\) converges to 1− as t converges to \(t_{q}\), then \(v_{t}(x_{0},t)\) goes to ∞ as \(t\rightarrow{t_{q}}\).
Proof
Let us consider the derivative of (5): for any \((x,t) \in (0,l)\times(0,t_{q})\),
From the positivity of \(G_{\alpha}\) and the properties of f, we have that
Equation (7):
Since \(\lim_{v\rightarrow1^{-}}f(1-v)=\infty\), this shows that \(v_{t}(x_{0},t)\rightarrow{\infty}\) as \(t\rightarrow{t_{q}}\). Therefore, we can conclude that v quenches at the point \(x_{0}\) when \(t\rightarrow t_{q}\). □
We next give the condition that guarantees the occurrence of quenching in a finite time.
Theorem 4.2
There exists a finite time \(t^{*}\) such that the integral equation (5) has no continuous nonnegative solutions v with \(v(x,t)<1\) for every \(x \in[0,l]\) and for \(t>t^{*}\).
Proof
Suppose that the integral equation (5) has a continuous solution v with \(v(x,t)<1\) for any \((x,t)\in[0,l] \times[0,t_{2}]\), where \(t_{2}\) is determined later. Without loss of generality, let us consider integral (5) at the point \(x=x_{0}\)
for \(t \in[0,t_{2}]\). We then choose \(t_{2}\) where \(t_{2}\) satisfies
Since \(G_{\alpha}\) is decreasing with respect to t, we obtain that
with \(J(t) = \int_{0}^{t}G_{\alpha}(x_{0},t_{2}-\tau ;x_{0},0)f(1-v(x_{0},\tau))\,d\tau\). We then have that
for any \(t \in[0,t_{2}]\). Then, since \(J(t_{2})=v(x_{0},t)<1\), we have
which contradicts the definition of \(t_{2}\). Therefore, this theorem is proved completely. □
5 Single quenching point
The next theorem shows that the point \(x_{0}\) is the single quenching point.
Theorem 5.1
Assume that the solution \(v(x,t)\) of problem (1) attains, for \(t \in(0,t_{q})\), its maximum at \((x_{0},t)\). If \(v(x_{0},t)\) converges to 1− as t approaches to \(t_{q}\), then v quenches at \(x_{0}\). Moreover, \(x_{0}\) is the single quenching point.
Proof
It follows from Theorem 4.1 that v quenches at the point \(x_{0}\). We next show that v quenches only at the point \(x_{0}\). Since \(v(x_{0},t)\) exists for \(t \in(0,t_{q})\), we set \(\omega(t)=v(x_{0},t)\) for \(t \in(0,t_{q})\). Then problem (1) is equivalent to the following two initial-boundary value problems:
and
By taking the Riemann-Liouville fractional integral of order \(1-\alpha\) on both sides of equations (9) and (10) and using Lemma 1.1, we obtain
and
By the weak maximum principle for the Caputo fractional derivative [10], v attains its maximum at the point \(x_{0}\) for each of problems (11) and (12). Since v is an increasing function of t for \(t \in(0,t_{q})\), this implies that \({_{\mathrm{C}}}D_{t}^{\alpha}v(x,t)>0\). Then, for any \(x \in (0,x_{0})\), \(\frac{\partial^{2} v}{\partial x^{2}}={_{\mathrm{C}}}D_{t}^{\alpha }v(x,t)>0\). Similarly, for any \(x \in(x_{0},l)\), \(\frac{\partial^{2} v}{\partial x^{2}}={_{\mathrm{C}}}D_{t}^{\alpha}v(x,t) > 0\). Hence, v is concave up for \(x \in(0,x_{0}) \cup(x_{0},l)\). Since v attains its maximum at \((x_{0},t)\) for \(t \in(0,t_{q})\) and v is concave up for \(x \in (0,x_{0}) \cup(x_{0},l)\), this means that there is only a point \(x_{0}\) such that \(v(x_{0},t)\) converges to 1− and \(v_{t}(x_{0},t)\) goes to ∞ as t approaches to \(t_{q}\). Hence, \(x_{0}\) is the single quenching point. □
References
Kawarada, H: On the solutions of initial boundary value problems for \(u_{t}=u_{xx}+\frac{1}{(1-u)}\). Publ. Res. Inst. Math. Sci. 10, 729-736 (1975)
Kirk, CM, Roberts, CA: A quenching problem for the heat equation. J. Integral Equ. Appl. 14, 53-72 (2002)
Olmstead, WE, Roberts, CA: Critical speed for quenching. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 8, 77-88 (2001)
Roberts, CA, Olmstead, WE: Local and non-local boundary quenching. Math. Methods Appl. Sci. 22, 1465-1484 (1999)
Yang, ZW, Brunner, H: Quenching analysis for nonlinear Volterra integral equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 27, 507-529 (2014)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Kirk, CM, Olmstead, WE: Thermal blow-up in a subdiffusive medium due to a nonlinear boundary flux. Fract. Calc. Appl. Anal. 17, 191-205 (2014)
Wyss, MM, Wyss, EW: Evolution, its fractional extension and generalization. Fract. Calc. Appl. Anal. 3, 273-284 (2001)
Olmstead, WE, Roberts, CA: Thermal blow-up in a subdiffusive medium. SIAM J. Appl. Math. 69, 514-523 (2008)
Yury, L: Maximum principle for the generalized time-diffusion equation. J. Math. Anal. Appl. 351, 218-223 (2009)
Acknowledgements
This research was funded by The Thailand Research Fund (MRG5980119).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
PS formulated the research problem and wrote the paper. PS and WS participated in the derivation of the mathematical results. Both authors read and approved the final manuscript.
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
Sawangtong, W., Sawangtong, P. A single quenching point for a fractional heat equation based on the Riemann-Liouville fractional derivative with a nonlinear concentrate source. Bound Value Probl 2017, 97 (2017). https://doi.org/10.1186/s13661-017-0830-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0830-9
Keywords
- quenching
- fractional heat equation
- Riemann-Liouville derivative
- existence and uniqueness