Open Access

A single quenching point for a fractional heat equation based on the Riemann-Liouville fractional derivative with a nonlinear concentrate source

Boundary Value Problems20172017:97

https://doi.org/10.1186/s13661-017-0830-9

Received: 28 December 2016

Accepted: 19 June 2017

Published: 29 June 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.

Keywords

quenchingfractional heat equationRiemann-Liouville derivativeexistence and uniqueness

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 [24] 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:
$$ \begin{aligned}[c]&{v_{t}}={_{\mathrm{RL}}D_{t}^{1-\alpha}} {v_{xx}}+\delta(x-x_{0})f\bigl(1-v(x_{0},t)\bigr)\quad \text{for }(x,t)\in(0,l)\times(0,\infty), \\ &v(x,0)=0\quad\text{for }x\in[0,l], \\ &v(0,t)=v(l,t)=0\quad\text{for }t>0,\end{aligned} $$
(1)
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
$$ v(x_{0},t)=\frac{1}{2(\pi t)^{\frac{1}{2}}} \int_{-\infty}^{\infty }e^{\frac{-(x-\xi)^{2}}{4t}}v_{0}(\xi)\,d \xi+ \int_{0}^{\infty}\frac{e^{\frac{-(x-x_{0})^{2}}{4(t-s)}}}{2[\pi(t-s)]^{\frac{1}{2}}}f \bigl(1-v(x_{0},s) \bigr)\,ds $$
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
$$ I_{t}^{\alpha}f(t)= \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}f(s)\,ds $$
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
$$ {_{\mathrm{RL}}}D_{t}^{\alpha}f(t)=\frac{1}{\Gamma(n-\alpha)} \biggl( \frac {d}{dt} \biggr) ^{n} \int_{0}^{t}(t-s)^{n-\alpha-1}f(s)\,ds\quad \text{for }n= [ \alpha ] +1, $$
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
$$ {_{\mathrm{C}}}D_{t}^{\alpha}f(t)=\frac{1}{\Gamma(n-\alpha)} \int _{0}^{t}(t-s)^{n-\alpha-1}f^{(n)}(s)\,ds\quad \text{for }n= [ \alpha ] +1 $$
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. (1)

    \(I_{t}^{\alpha} ( {}_{\mathrm{RL}}D_{t}^{\alpha }f(t) ) =f(t)\),

     
  2. (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)\),
$$\begin{gathered} \frac{\partial G_{\alpha}}{\partial t}={_{\mathrm{RL}}D_{t}^{1-\alpha}}\frac{\partial^{2}G_{\alpha}}{\partial x^{2}}+\delta(x-\xi)\delta (t-\tau), \\ G_{\alpha}(0,t;\xi,\tau)=0 = G_{\alpha}(l,t;\xi ,\tau), \\ G_{\alpha}(x,t;\xi,\tau)=0 \quad\text{for } t< \tau. \end{gathered}$$
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\)
$$ G_{\alpha}(x,t;\xi,\tau)= \int_{0}^{\infty}f_{\alpha }(z)G_{1} \bigl(x,(t-\tau )^{\alpha}z;\xi,0 \bigr)\,dz $$
(2)
with
$$ f_{\alpha}(z)=\sum_{j=0}^{\infty} \frac{(-1)^{j}z^{j}}{j!\Gamma (1-\alpha -\alpha{j})}\geq{0} \quad\text{for } z\geq{0} $$
(3)
and
$$ G_{1}(x,t;\xi,\tau)=\frac{2}{l}\sum _{n=1}^{\infty}\sin\frac{n\pi {x}}{l}\sin \frac{n\pi\xi}{l}e^{-\frac{n^{2}\pi^{2}}{l^{2}}(t-\tau)} \quad\text{for } t>\tau. $$
(4)
By (3) and (4), we obtain the following alternative forms for
$$ G_{\alpha}(x,t;\xi,\tau)=\frac{2}{l}\sum _{n=1}^{\infty}\sin\frac{n\pi {x}}{l}\sin \frac{n\pi\xi}{l} \int_{0}^{\infty}f_{\alpha}(z)e^{-\frac{n^{2}\pi ^{2}}{l^{2}}(t-\tau)^{\alpha}{z}}\,dz \quad\text{for } t>\tau. $$
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
$$ v(x,t)={ \int_{0}^{t}G_{\alpha}(x,t- \tau;x_{0},0)f \bigl(1-v(x_{0},\tau) \bigr)\,d\tau}. $$
(5)

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]\),
$$ \int_{0}^{h}G_{\alpha}(x,h- \tau;x_{0},0)\,d\tau< \min \biggl\{ \frac {R}{f(1-R)},\frac{1}{f_{v}(1-R)} \biggr\} . $$
(6)
We construct the set \(S_{R}\) by
$$ S_{R}= \Bigl\{ v\in C \bigl([0,l]\times[0,h] \bigr) \text{ such that } \sup_{(x,t)\in [0,l]\times[0,h]}\big|v(x,t)\big|\leq R \Bigr\} . $$
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
$$ Fv(x,t)= \int_{0}^{t}G_{\alpha}(x,t- \tau;x_{0},0)f \bigl(1-v(x_{0},\tau ) \bigr)\,d\tau $$
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. (1)

    \(F:S_{R}\rightarrow S_{R}\) and

     
  2. (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
$$\begin{aligned} \big|Fv(x,t)\big| &\leq f(1-R) \int_{0}^{t}G_{\alpha}(x,t- \tau;x_{0},0)\,d\tau \\ &\leq f(1-R) \int_{0}^{h}G_{\alpha}(x,h- \tau;x_{0},0)\,d\tau \\ &\leq R. \end{aligned}$$
This means that \(\Vert v\Vert _{S_{R}}< R\).
Condition (2): Let us consider that for any \(v,w\in S_{R}\),
$$ \big|Fv(x,t)-Fw(x,t)\big|\leq f_{v}(1-R) \int_{0}^{h}G_{\alpha }(x,h- \tau;x_{0},0)\,d\tau\Vert v-w\Vert_{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 toas \(t\rightarrow{t_{q}}\).

Proof

Let us consider the derivative of (5): for any \((x,t) \in (0,l)\times(0,t_{q})\),
$$\begin{aligned}[b] v_{t}(x,t)={}&G_{\alpha}(x,t;x_{0} ,0)f(1) \\ &+ \int_{0}^{t}G_{\alpha }(x,t- \tau;x_{0},0)f_{v} \bigl(1-v(x_{0},\tau) \bigr)v_{\tau}(x,\tau)\,d\tau. \end{aligned}$$
(7)
From the positivity of \(G_{\alpha}\) and the properties of f, we have that
$$ v_{t}(x,t)>0\quad\text{for } (x,t) \in(0,l)\times(0,t_{q}). $$
(8)
Equation (7):
$$\begin{aligned} v_{t}(x_{0},t)& \geq G_{\alpha}(x_{0},t;x_{0} ,0) \biggl[f(1)+ \int_{0}^{t}f_{v} \bigl(1-v(x_{0}, \tau) \bigr)v_{\tau}(x_{0},\tau)\,d\tau \biggr] \\ & = G_{\alpha}(x_{0},t;x_{0} ,0)f \bigl(1-v(x_{0},t) \bigr). \end{aligned}$$
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}\)
$$ v(x_{0},t)= \int_{0}^{t}G_{\alpha}(x_{0},t- \tau ;x_{0},0)f \bigl(1-v(x_{0},\tau) \bigr)\,d\tau $$
for \(t \in[0,t_{2}]\). We then choose \(t_{2}\) where \(t_{2}\) satisfies
$$ \int_{0}^{t_{2}}G_{\alpha}(x_{0},t_{2}- \tau;x_{0},0)\,d\tau\geq \int _{0}^{1}\frac{1}{f(1-r)}\,dr. $$
Since \(G_{\alpha}\) is decreasing with respect to t, we obtain that
$$ v(x_{0},t)= \int_{0}^{t}G_{\alpha}(x_{0},t- \tau ;x_{0},0)f \bigl(1-v(x_{0},\tau) \bigr)\,d\tau\geq{J(t)} $$
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
$$\begin{aligned} \frac{dJ(t)}{dt}&=G_{\alpha}(x_{0},t_{2}-t;x_{0},0)f \bigl(1-v(x_{0},t) \bigr) \\ &\geq{G_{\alpha}(x_{0},t_{2}-t;x_{0},0)f \bigl(1-J(t) \bigr)} \end{aligned}$$
for any \(t \in[0,t_{2}]\). Then, since \(J(t_{2})=v(x_{0},t)<1\), we have
$$ \int_{0}^{1}\frac{1}{f(1-r)}\,dr> \int_{0}^{J({t}_{2})}\frac {1}{f(1-J(t))}\,dJ\geq{ \int_{0}^{t_{2}}G_{\alpha}(x_{0},t_{2}-t;x_{0},0)\,dt}, $$
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:
$$ \begin{aligned}[c] &\frac{\partial v}{\partial t}={_{\mathrm{RL}}D_{t}^{1-\alpha}} \frac{\partial^{2} v}{\partial x^{2}} \quad\text{for } (x,t) \in(0,x_{0}) \times(0,t_{q}), \\ &v(x,0)=0 \quad\text{for } 0\leq{x}\leq{x_{0}}, \\ & v(0,t)=0\quad\text{and}\quad v(x_{0},t) = \omega(t)\quad \text{for } 0< t< t_{q}, \end{aligned}$$
(9)
and
$$ \begin{aligned}[c] &\frac{\partial v}{\partial t}={_{\mathrm{RL}}D_{t}^{1-\alpha}} \frac{\partial^{2} v}{\partial x^{2}}\quad\text{for } (x,t) \in(x_{0},l) \times(0,t_{q}), \\ &v(x,0)=0\quad\text{for } {x_{0}}\leq{x}\leq{l}, \\ &v(x_{0},t)=\omega(t)\quad\text{and}\quad v(l,t) = 0\quad \text{for } 0< t< t_{q}. \end{aligned}$$
(10)
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
$$ \begin{aligned}[c]&{_{\mathrm{C}}}D_{t}^{\alpha}v(x,t)= \frac{\partial^{2} v}{\partial x^{2}}\quad\text{for } (x,t) \in(0,x_{0}) \times(0,t_{q}), \\ & v(x,0)=0\quad\text{for } 0\leq{x}\leq{x_{0}}, \\ & v(0,t) = 0\quad\text{and}\quad v(x_{0},t) = \omega(t)\quad \text{for } 0< t< t_{q}, \end{aligned}$$
(11)
and
$$ \begin{aligned}[c]&{_{\mathrm{C}}}D_{t}^{\alpha}v(x,t)= \frac{\partial^{2} v}{\partial x^{2}}\quad\text{for } (x,t)\in(x_{0},l) \times(0,t_{q}), \\ & v(x,0)=0\quad\text{for } {x_{0}}\leq{x}\leq{l}, \\ & v(x_{0},t) = \omega(t) \quad\text{and}\quad v(l,t) = 0\quad \text{for } 0< t< t_{q}. \end{aligned}$$
(12)
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. □

Declarations

Acknowledgements

This research was funded by The Thailand Research Fund (MRG5980119).

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.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science, Mahidol University
(2)
Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok
(3)
Centre of Excellence in Mathematics, PERDO, Commission on Higher Education, Ministry of Education

References

  1. 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) MathSciNetView ArticleMATHGoogle Scholar
  2. Kirk, CM, Roberts, CA: A quenching problem for the heat equation. J. Integral Equ. Appl. 14, 53-72 (2002) MathSciNetView ArticleMATHGoogle Scholar
  3. Olmstead, WE, Roberts, CA: Critical speed for quenching. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 8, 77-88 (2001) MathSciNetMATHGoogle Scholar
  4. Roberts, CA, Olmstead, WE: Local and non-local boundary quenching. Math. Methods Appl. Sci. 22, 1465-1484 (1999) MathSciNetView ArticleMATHGoogle Scholar
  5. Yang, ZW, Brunner, H: Quenching analysis for nonlinear Volterra integral equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 27, 507-529 (2014) MathSciNetGoogle Scholar
  6. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999) MATHGoogle Scholar
  7. 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) MathSciNetView ArticleMATHGoogle Scholar
  8. Wyss, MM, Wyss, EW: Evolution, its fractional extension and generalization. Fract. Calc. Appl. Anal. 3, 273-284 (2001) MathSciNetMATHGoogle Scholar
  9. Olmstead, WE, Roberts, CA: Thermal blow-up in a subdiffusive medium. SIAM J. Appl. Math. 69, 514-523 (2008) MathSciNetView ArticleMATHGoogle Scholar
  10. Yury, L: Maximum principle for the generalized time-diffusion equation. J. Math. Anal. Appl. 351, 218-223 (2009) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017