Skip to main content

Explicit solutions for a non-classical heat conduction problem for a semi-infinite strip with a non-uniform heat source

Abstract

A non-classical initial and boundary value problem for a non-homogeneous one-dimensional heat equation for a semi-infinite material with a zero temperature boundary condition is studied. It is not a standard heat conduction problem because a non-uniform heat source dependent on the heat flux at the boundary is considered. The purpose of this article is to find explicit solutions and analyze how to control their asymptotic temporal behavior through the source term.

Explicit solutions independent of the space or temporal variables, solutions with separated variables and solutions by an integral representation depending on the heat flux at the boundary are given. The controlling effects of the source term are analyzed by comparing the asymptotic temporal behavior of solutions corresponding to the same problem with and without source term. Finally, a relationship between the problem considered here with another non-classical problem for the heat equation is established, and explicit solutions for this second problem are also obtained.

In this article, we give explicit solutions and analyze how to control them through the source term for several non-classical heat equation problems. In addition, our results enable us to compute the asymptotic temporal behavior of the heat flux at the boundary for each explicit solution obtained. As a consequence of our study, several solved non-classical problems for the heat equation that can be used for testing new numerical methods are given.

1 Introduction

We consider a one-dimensional isotropic and homogeneous medium with one inaccessible boundary (semi-infinite material) under the effects of a temperature controller device which depends on the heat flux at the accessible boundary (fixed boundary), when the initial distribution of temperature is known and the temperature at the accessible boundary is constant in time. More precisely, we study the following non-classical initial and boundary value problem for a non-homogeneous one-dimensional heat equation (Problem P):

$$\begin{aligned} &u_{t}(x,t)-u_{xx}(x,t)=-\Phi(x)F \bigl(u_{x}(0,t),t\bigr), \quad x>0, t>0, \end{aligned}$$
(1)
$$\begin{aligned} &u(x,0)=h(x),\quad x>0, \end{aligned}$$
(2)
$$\begin{aligned} &u(0,t)=0,\quad t>0, \end{aligned}$$
(3)

where \(u=u(x,t)\) is the unknown temperature function, defined for \(x\geq 0\) and \(t\geq0\), \(\Phi=\Phi(x)\), \(h=h(x)\) and \(F=F(V,t)\) are given functions defined, respectively, for \(x>0\) and \(V\in\mathbb{R}\), \(t>0\), and the function h satisfies the following compatibility condition:

$$ \lim_{x\to0^{+}}h(x)=0. $$
(4)

This problem is motivated by the regulation of the temperature \(u=u(x,t)\) through the effects of the non-uniform heat source \(-\Phi (x)F(u_{x}(0,t),t)\), which provides a heater or cooler effect depending on the properties of the function F with respect to the heat flux \(u_{x}(0,t)\) at the boundary \(x=0\) [1, 2]. For example, if

$$ \Phi(x)>0 \quad\mbox{for }x>0 \quad\mbox{and}\quad u_{x}(0,t)F \bigl(u_{x}(0,t),t\bigr)>0\quad \forall t>0, $$

then the source term is a cooler when \(u_{x}(0,t)>0\) and a heater when \(u_{x}(0,t)<0\). Some references in this subject are [314].

Our purpose is to find explicit solutions to Problem P and study how to control their asymptotic temporal behavior through the source term \(-\Phi(x)F(u_{x}(0,t),t)\). Exact solutions to initial and boundary value problems for the heat equation allow us to better understand qualitative features of the thermal and diffusive process under them. In particular, this knowledge might give us some insights to develop numerical methods dealing with more complex phenomena related with more complicated equations. Even for cases where a physical interpretation is not obvious, exact solutions are important because of their use for testing accuracy, stability and convergence of numerical methods for solving partial differential equations without any known analytical solution. In addition, how to control the asymptotic behavior of solutions to Problem P through the source term in equation (1) gives us some insights about when it is possible to have stationary solutions. It also gives us a better understanding about how solutions to Problem P are related with the solutions to the same problem but in absence of source term, that is, with solutions to the problem where no cooler or heater term is considered.

Problem P for the slab \(0< x<1\) was studied in [15]. Recently, free boundary problems (Stefan problems) for the non-classical heat equation have been studied in [1621], where some explicit solutions are also given, and a first study of non-classical heat conduction problem for an n-dimensional material was given in [22]. There exists a large recent scientific production where exact solutions for heat transfer problems arising from a wide field of applications are given; see, for example, [2336]. Numerical schemes for Problem P were studied in [37] when a non-homogeneous boundary condition is considered and numerical solutions are given for two particular choices of data function corresponding to problems with known explicit solutions.

The organization of the paper is the following. In Section 2, we give explicit solutions to Problem P. We split this section into three parts. In the first one, we give explicit solutions which are independent of the space variable x or the temporal variable t. In the second part, we find solutions with separated variables when the functions \(h=h(x)\) and \(\Phi=\Phi(x)\) are proportional to the solution \(X=X(x)\) of a linear initial value problem of second order and the function \(F=F(V,t)\) is defined from the solution \(T=T(t)\) of a non-linear (in general) initial value problem of first order. As a consequence, we give explicit solutions with separated variables corresponding to different definitions of the function F. Finally, in the third part, we find solutions by an integral representation which depends on the heat flux at the boundary \(x=0\) [13] when F is defined by \(F(V,t)=\nu V\), with \(\nu>0\). Moreover, we find explicit expressions for the heat flux at the boundary \(x=0\) and for its corresponding solution to Problem P, when \(h=h(x)\) is a potential function and \(\Phi=\Phi(x)\) is given by \(\Phi(x)=\lambda x\), \(\Phi (x)=-\mu\sinh{(\lambda x)}\) or \(\Phi(x)=-\mu\sin{(\lambda x)}\), with \(\lambda>0\) and \(\mu>0\). For this case, where computations are not trivial, we also give the asymptotic temporal behavior of the heat flux at \(x=0\). In Section 3, we deal with the problem of ‘controlling’ solutions of Problem P through the source term \(-\Phi (x)F(u_{x}(0,t),t)\). We compare the asymptotic temporal behavior of each explicit solution u obtained for Problem P with the asymptotic behavior of the solution \(u_{0}\) of the same problem but in absence of source term, and we obtain conditions for the parameters involved in the definition of \(-\Phi(x)F(V,t)\) under which the asymptotic behavior of u can be controlled with respect to the asymptotic behavior of \(u_{0}\). Finally, in Section 4, we consider another temperature regulation problem in which the thermostat does not depend on the heat flux at the accessible boundary but on the temperature on it, and a heat flux condition at the accessible boundary is given instead of a temperature boundary condition. More precisely, we consider the following problem (Problem P̃):

$$\begin{aligned} &v_{t}(x,t)-v_{xx}(x,t)=-\widetilde{\Phi}(x) \widetilde {F}\bigl(v(0,t),t\bigr),\quad x>0, t>0, \end{aligned}$$
(5)
$$\begin{aligned} &v(x,0)=\tilde{h}(x),\quad x>0, \end{aligned}$$
(6)
$$\begin{aligned} &v_{x}(0,t)=\tilde{g}(t), \quad t>0. \end{aligned}$$
(7)

We recall the relationship between Problems P and P̃ given in [13], and we find explicit solutions to Problem P̃ through what we know about Problem P.

2 Explicit solutions for Problem P

2.1 Explicit solutions independent of space or temporal variables

Theorem 2.1

  1. (1)

    Problem P does not admit any non-trivial solution independent of the space variable x.

  2. (2)

    If:

    1. (a)

      F is the zero function and h is defined by

      $$ h(x)=\eta x,\quad x\geq0, $$
      (8)

      with \(\eta>0\),

    or

    1. (b)

      F is a constant function defined by

      $$ F(V,t)=\nu,\quad V\in\mathbb{R}, t>0, $$
      (9)

      with \(\nu\in\mathbb{R}-\{0\}\), and h is a twice differentiable function such that \(h(0)\) exists and

      $$ h''(x)=\nu\Phi(x),\quad x>0, $$
      (10)

    then the function u defined by

    $$ u(x,t)=h(x),\quad x\geq0, t\geq0, $$
    (11)

    is a solution to Problem P independent of the temporal variable t.

Proof

  1. (1)

    If Problem P has a solution u independent of the space variable x, then

    $$ u(x,t)=u(0,t)=0,\quad x>0, t>0\quad \mbox{and} \quad u(0,0)= \lim _{x\to0^{+}}h(x)=0. $$
    (12)

    Therefore u is the zero function.

  2. (2)

    It is easy to check that the function u given in (11) is a solution to Problem P given in this item.

 □

2.2 Explicit solutions with separated variables

Theorem 2.2

Let \(\lambda, \eta, \delta\in\mathbb{R}-\{0\}\). If Φ, h and F are defined by

$$ \Phi(x)=\lambda X(x),\qquad h(x)=\eta X(x),\quad x>0\quad \textit{and}\quad F=F\bigl(\delta T(t),t\bigr),\quad t>0, $$
(13)

where X is given by

$$ X(x)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{\delta}{\sqrt{\sigma}}\sinh{(\sqrt{\sigma}x)} & \textit{if }\sigma >0,\\ \frac{\delta}{\sqrt{|\sigma|}}\sin{(\sqrt{|\sigma|}x)}& \textit{if }\sigma< 0,\\ \delta x& \textit{if }\sigma=0, \end{array}\displaystyle \right .\quad x \geq0 $$
(14)

and T is the solution of the initial value problem

$$\begin{aligned} &\dot{T}(t)-\sigma T(t)=-\lambda F\bigl(\delta T(t),t\bigr),\quad t>0, \end{aligned}$$
(15)
$$\begin{aligned} &T(0)=\eta, \end{aligned}$$
(16)

then the function u given by

$$ u(x,t)=X(x)T(t), \quad x\geq0, t\geq0 $$
(17)

is a solution with separated variables to Problem P.

Proof

An easy computation shows that the function u given in (17) is a solution to Problem P. □

Remark 1

We note that the definition of the function \(X=X(x)\) given in (14) is not arbitrary. In fact, it is the solution to the following linear initial value problem of second order, which arises naturally when we assume the existence of a solution with separated variables of the form (17) to Problem P:

$$\begin{aligned} &X''(x)-\sigma X(x)=0,\quad x>0, \end{aligned}$$
(18)
$$\begin{aligned} &X(0)=0, \end{aligned}$$
(19)
$$\begin{aligned} &X'(0)=\delta. \end{aligned}$$
(20)

Under the hypothesis of the previous theorem, the problem of finding explicit solutions with separated variables to Problem P reduces to solving the initial value problem (15)-(16).

With the spirit of exhibiting explicit solutions to Problem P, our next result summarizes explicit solutions to the initial value problem (15)-(16) corresponding to three different definitions of the function F.

Proposition 2.1

If in Theorem  2.2 we consider:

(1) Function F defined by

$$ F(V,t)=\nu V,\quad V\in\mathbb{R}, t>0, $$
(21)

with \(\nu\in\mathbb{R}-\{0\}\), then the function T is given by

$$ T(t)=\eta\exp{\bigl((\sigma-\lambda\nu\delta) t\bigr)}, \quad t \geq0. $$
(22)

(2) Function F defined by

$$ F(V,t)=f_{1}(t)+f_{2}(t)V,\quad V\in\mathbb{R}, t>0, $$
(23)

with \(f_{1}, f_{2}\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{+})\), then the function T is given by

$$ T(t)=g_{1}(t)\exp{\bigl(g_{2}(t)\bigr)},\quad t\geq0, $$
(24)

where functions \(g_{1}\) and \(g_{2}\) are defined by

$$\begin{aligned}& g_{1}(t)=\eta-\lambda \int_{0}^{t}f_{1}( \tau)\exp{ \biggl(\lambda \delta \int_{0}^{\tau}f_{2}(\xi)\,d\xi-\sigma\tau \biggr)}\,d\tau,\quad t\geq0, \end{aligned}$$
(25)
$$\begin{aligned}& g_{2}(t)=\sigma t-\lambda\delta \int_{0}^{t}f_{2}( \tau)\,d\tau,\quad t\geq0. \end{aligned}$$
(26)

(3) Function F defined by

$$ F(V,t)=V^{n}f(t),\quad V\in\mathbb{R}, t>0, $$
(27)

with \(n<1\), \(0\leq f\), \(f\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{+})\) and λ, δ and η positive numbers, then the function T is given by

$$ T(t)=g(t)\exp{(\sigma t)},\quad t\geq0, $$
(28)

where the function g is defined by

$$ g(t)= \biggl(\eta^{1-n}+\lambda\delta^{n}(n-1) \int _{0}^{t}f(\tau )\exp{\bigl(\sigma(n-1) \tau\bigr)}\,d\tau \biggr)^{\frac{1}{1-n}}, \quad t\geq0. $$
(29)

Proof

It follows by the application of the integrating factor method to the initial value problem (15)-(16). □

2.3 Explicit solutions obtained from an integral representation

Our next theorem is a restatement of Theorem 1 in [13] for a particular choice of the function F in Problem P.

Theorem 2.3

Let:

  1. (1)

    h be a continuously differentiable function in \(\mathbb{R}^{+}\) such that \(h(0)\) exists and there exist positive numbers ϵ, \(c_{0}\) and \(c_{1}\) such that

    $$ \bigl|h(x)\bigr|\leq c_{0}\exp{\bigl(c_{1}x^{2-\epsilon} \bigr)},\quad \forall x>0, $$
    (30)
  2. (2)

    Φ be a locally Hölder continuous function

and

  1. (3)

    F be the function defined by

    $$ F=F(V,t)=\nu V, \quad V\in\mathbb{R}, t>0, $$
    (31)

    with \(\nu>0\).

If there exists a negative monotone decreasing function \(f=f(t)\), defined for \(t>0\), such that

$$ \int_{t_{1}}^{t_{2}}R(t_{2}- \tau)\,d\tau\geq f(t_{2}-t_{1}),\quad \forall 0< t_{1}< t_{2}, $$
(32)

where R is defined in function of Φ by (40) (see below), and

$$ \lim_{t\to0^{+}}f(t)=0, $$
(33)

then the function u defined by

$$\begin{aligned} &u(x,t)= \int_{0}^{+\infty}G(x,t, \xi,0)h(\xi)\,d\xi-\nu \int_{0}^{t} \biggl( \int _{0}^{+\infty}G(x,t,\xi,\tau )\Phi(\xi)\,d\xi \biggr)V( \tau)\,d\tau, \\ &\quad x\geq0, t\geq0 \end{aligned}$$
(34)

is a solution to Problem P, where G is the Green function:

$$ G(x,t,\xi,\tau)=K(x,t,\xi,\tau)-K(-x,t,\xi,\tau), \quad 0< x, 0< \xi, 0< \tau< t, $$
(35)

K being the fundamental solution of the one-dimensional heat equation

$$ K(x,t,\xi,\tau)=\frac{1}{2\sqrt{\pi(t-\tau)}}\exp{\bigl(-(x- \xi)^{2}/4(t-\tau )\bigr)}, \quad 0< x, 0< \xi, 0< \tau< t, $$
(36)

and the function V, defined by

$$ V(t)=u_{x}(0,t), \quad t>0, $$
(37)

satisfies the Volterra integral equation

$$ V(t)=V_{0}(t)-\nu \int_{0}^{t}R(t- \tau)V(\tau)\,d\tau, \quad t>0, $$
(38)

where

$$ V_{0}(t)=\frac{1}{\sqrt{\pi t}} \int_{0}^{+\infty} \exp{\bigl(-\xi ^{2}/4t\bigr)}h'(\xi)\,d\xi,\quad t>0, $$
(39)

and

$$ R(t)=\frac{1}{2\sqrt{\pi}t^{3/2}} \int_{0}^{+\infty} \xi\exp {\bigl(-\xi^{2}/4t\bigr)}\Phi(\xi)\,d\xi,\quad t>0. $$
(40)

Remark 2

The interest of the previous theorem is that it enables us to find an explicit solution \(u=u(x,t)\) to Problem P by finding the corresponding heat flux \(u_{x}(0,t)\) at the boundary \(x=0\) as a solution of the integral equation (38).

The remainder of this section will be devoted to the study of Problem P when:

  1. (1)

    F is given as in (31),

  2. (2)

    h is defined by

    $$ h(x)=\eta x^{m},\quad x>0, $$
    (41)

    with \(\eta\in\mathbb{R}-\{0\}\) and \(m\geq1\),

and

  1. (3)

    Φ is given by one of the following expressions:

    $$ \varphi_{1}(x)=\lambda x, \qquad\varphi_{2}(x)=- \mu\sinh{(\lambda x)} \quad\mbox{or} \quad\varphi_{3}(x)=-\mu\sin{( \lambda x)},\quad x>0, $$
    (42)

    with \(\lambda>0\) and \(\mu>0\).

It is easy to check that for this choice of functions F, h and Φ, Problem P is under the hypothesis of the previous theorem (see Appendix 1). Therefore, it has the solution \(u=u(x,t)\) given in (34).

Proposition 2.2

If F, h and \(\Phi=\varphi_{1}\) are defined as in (31), (41) and (42), then the heat flux at the boundary \(x=0\) corresponding to the solution u (see (34)) to Problem P is given by

$$ u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \eta\exp{(-\nu\lambda t)}& \textit{if }m=1,\\ \frac{c(m-1)}{2}\exp{(-\nu\lambda t)} \int_{0}^{t}\tau ^{(m-3)/2}\exp{(\nu\lambda\tau)}\,d\tau& \textit{if }m>1, \end{array}\displaystyle \right .\quad t>0, $$
(43)

where

$$ c=\frac{2^{m-1}m\eta}{\sqrt{\pi}}\Gamma \biggl(\frac{m}{2} \biggr), $$
(44)

and Γ is the gamma function, defined by

$$ \Gamma(z)= \int_{0}^{+\infty}\xi^{z-1}\exp{(- \xi)}\,d\xi,\quad z\in\mathbb{R}. $$
(45)

Proof

We know from Theorem 2.3 that \(u_{x}(0,t)=V(t)\) satisfies the Volterra integral equation (38), where the function \(V_{0}\) is given by

$$ V_{0}(t)=ct^{(m-1)/2},\quad t>0. $$
(46)

Then \(V(t)\) is given by (see [38])

$$ V(t)=\frac{c(m-1)}{2} \int_{0}^{t} \tau^{(m-3)/2}r(\tau)\,d\tau, \quad t>0, $$
(47)

where r satisfies the integral equation

$$ r(t)=1-\nu\lambda \int_{0}^{t}r( \tau)\,d\tau,\quad t>0, $$
(48)

whose solution is given by

$$ r(t)=\exp(-\nu\lambda t),\quad t>0. $$
(49)

By replacing (49) in (47), we obtain (43). □

Corollary 2.1

If in Proposition  2.2 we consider m an odd number given by \(m=2p+1\) with \(p\in\mathbb{N}\), then we have

$$ u_{x}(0,t)=p_{1,m}(t)-c_{1,m}\exp{(- \nu\lambda t)},\quad t>0, $$
(50)

where \(c_{1,m}\) is given by

$$ c_{1,m}=(-1)^{p-1}\frac{cp!}{(\nu\lambda)^{p}}, $$
(51)

c being the constant given in (44), and \(p_{1,m}(x)\) is the polynomial defined by

$$ p_{1,m}(t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} c_{1,3}& \textit{if }m=3,\\ -c_{1,5}(\nu\lambda t-1)& \textit{if }m=5,\\ c_{1,m} ( \sum_{k=1}^{p-1}\frac{(-\nu\lambda )^{k}}{k!}t^{k}+(-1)^{p-1} )& \textit{if }m\geq7, \end{array}\displaystyle \right .\quad t>0. $$
(52)

Proof

It follows by solving the integral in the expression of \(u_{x}(0,t)\) given in (43). We do not reproduce these calculations here, but only remark the utility of the identity

$$\begin{aligned} &\int_{0}^{t}\tau^{n} \exp{(a\tau)}\,d\tau= \frac{n!}{a}\exp{(at)} \Biggl( \sum _{k=0}^{n-1}\frac {(-1)^{k}t^{n-k}}{(n-k)!a^{k}}+\frac{(-1)^{n}}{a^{n}}+ \frac{(-1)^{n+1}}{a^{n}}\exp {(-at)} \Biggr), \\ &\quad t>0, n\in\mathbb{N}, n\geq2, a\in\mathbb{R} \end{aligned}$$
(53)

when \(m\geq7\). □

The last corollary enables us to obtain the asymptotic behavior of the heat flux \(u_{x}(0,t)\) at the face \(x=0\) when t tends to +∞ for an odd number m. The next result is related to this topic. We do not reproduce here the computations involved in its proof, which follows by taking the limit when t tends to +∞ in the expression of \(u_{x}(0,t)\) given in Corollary 2.1.

Corollary 2.2

If F, h and \(\Phi=\varphi_{1}\) are defined as in (31), (41) and (42), where m is an odd number, and u is the solution to Problem P, given in (34), then:

  1. (1)

    if \(m=1\), we have

    $$ \lim_{t\to+\infty}u_{x}(0,t)=0, $$
    (54)
  2. (2)

    if \(m=3\), we have

    $$ \lim_{t\to+\infty}u_{x}(0,t)=\frac{6\eta}{\nu\lambda}, $$
    (55)
  3. (3)

    if \(m\geq5\), we have

    $$ \lim_{t\to+\infty}u_{x}(0,t)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty& \textit{if }\eta< 0,\\ +\infty& \textit{if }\eta>0. \end{array}\displaystyle \right . $$
    (56)

The main idea in the proof of Proposition 2.2 was to find a solution for the integral equation (38) by finding a solution of another integral equation, which was easier to solve. In a more general way, we know that if V satisfies the Volterra integral equation (38), with \(V_{0}\) an infinitely differentiable function, then \(V(t)\) can be written as (see [38])

$$ V(t)=V_{0}(0)r(t)+ \int_{0}^{t}V_{0}'(t- \tau)r(\tau)\,d\tau, \quad t>0, $$
(57)

where r satisfies the integral equation

$$ r(t)=1-\nu \int_{0}^{t}R(t-\tau)r( \tau)\,d\tau,\quad t>0, $$
(58)

and R is given in (40). But this last integral equation is not always easy to solve. Nevertheless, in several cases we can find an explicit solution for equation (58) by a formal application of the Laplace transform to their both sides. This is the way which led us to the expressions of \(u_{x}(0,t)\) when \(\Phi=\varphi_{2}\) or \(\Phi =\varphi_{3}\), given in Propositions 2.3 and 2.4.

Proposition 2.3

Let F, h and \(\Phi=\varphi_{2}\) be defined as in (31), (41) and (42), and \(\sigma=\lambda+\nu\mu\). Then the heat flux at the boundary \(x=0\) corresponding to the solution u (see (34)) of Problem P is given by:

  1. (1)

    If \(\sigma\neq0\), then

    $$ u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{\eta}{\sigma} (\lambda+\nu\mu\exp{(\lambda\sigma t)} ) &\textit{if }m=1,\\ \frac{c\lambda}{\sigma}t^{(m-1)/2}+\frac{c(m-1)\nu\mu}{2\sigma}\exp {(\lambda\sigma t)} \\ \quad{}\times\int_{0}^{t}\tau^{(m-3)/2}\exp{(-\lambda \sigma\tau)}\,d\tau& \textit{if }m>1, \end{array}\displaystyle \right .\quad t>0. $$
    (59)
  2. (2)

    If \(\sigma=0\), then

    $$ u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \eta(1-\lambda^{2}t)& \textit{if }m=1,\\ c t^{(m-1)/2}-\frac{2c\lambda^{2}}{m+1}t^{(m+1)/2}& \textit{if }m>1, \end{array}\displaystyle \right .\quad t>0. $$
    (60)

Proof

An easy computation shows that the expressions given in (59) and (60) satisfy the integral equation (38). Therefore, they correspond to the heat flux \(u_{x}(0,t)\) at the boundary \(x=0\) for the solution u of Problem P given in (34). □

Corollary 2.3

If in Proposition  2.3 we consider \(\sigma\neq0\) and m an odd number given by \(m=2p+1\) with \(p\in\mathbb{N}\), then we have

$$ u_{x}(0,t)=p_{2,m}(t)+c_{2,m}\exp{( \lambda\sigma t)},\quad t>0, $$
(61)

where \(c_{2,m}\) is given by

$$ c_{2,m}=\frac{c\nu\mu p!}{\sigma(\lambda\sigma)^{p}}, $$
(62)

c being the constant given in (44), and \(p_{2,m}(x)\) is the polynomial defined by

$$ p_{2,m}(t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} c_{2,3} (\frac{\lambda^{2}\sigma}{\nu\mu}t-1 ) &\textit{if }m=3,\\ c_{2,5} (\frac{\lambda^{3}\sigma^{2}}{2\nu\mu}t^{2}-\lambda\sigma t-1 )& \textit{if }m=5,\\ \frac{c\lambda}{\sigma}t^{p}-c_{2,m} ( \sum_{k=1}^{p-1}\frac{(\lambda\sigma)^{k}}{k!}t^{k}+1 )& \textit{if }m\geq7, \end{array}\displaystyle \right .\quad t>0. $$
(63)

Proof

It follows by solving the integral in the expression of u given in (59) and the use of identity (53). □

Corollary 2.4

Let F, h and \(\Phi=\varphi_{2}\) be defined as in (31), (41) and (42), with m an odd number, and \(\sigma=\lambda+\nu\mu\). If u is the solution of Problem P, given in (34), then:

  1. (1)

    If \(\sigma\neq0\), then:

    1. (a)

      if \(m=1\), we have

      $$ \lim_{t\to+\infty}u_{x}(0,t)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty&\textit{if }\sigma>0,\eta< 0,\\ +\infty&\textit{if }\sigma>0,\eta>0,\\ \frac{\eta\lambda}{\sigma}&\textit{if }\sigma< 0, \end{array}\displaystyle \right . $$
      (64)
    2. (b)

      if \(m\geq3\), we have

      $$ \lim_{t\to+\infty}u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty& \textit{if }\sigma\eta< 0,\\ +\infty& \textit{if }\sigma\eta>0. \end{array}\displaystyle \right . $$
      (65)
  2. (2)

    If \(\sigma=0\), then

    $$ \lim_{t\to+\infty}u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty& \textit{if }\eta>0,\\ +\infty& \textit{if }\eta< 0. \end{array}\displaystyle \right . $$
    (66)

Proposition 2.4

Let F, h and \(\Phi=\varphi_{3}\) be defined as in (31), (41) and (42), and \(\delta=\lambda-\nu\mu\). Then the heat flux at the boundary \(x=0\) corresponding to the solution u (see (34)) of Problem P is given by:

  1. (1)

    If \(\delta\neq0\), then

    $$ u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{\eta}{\delta} (\lambda-\nu\mu\exp{(-\lambda\delta t)} )& \textit{if }m=1,\\ \frac{c\lambda}{\delta}t^{(m-1)/2}-\frac{c(m-1)\nu\mu}{2\delta}\exp {(-\lambda\delta t)}\\ \quad{}\times \int_{0}^{t}\tau^{(m-3)/2}\exp{(\lambda \delta\tau)}\,d\tau& \textit{if }m>1, \end{array}\displaystyle \right .\quad t>0. $$
    (67)
  2. (2)

    If \(\delta=0\), then

    $$ u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \eta(1+\lambda^{2}t)& \textit{if }m=1,\\ c t^{(m-1)/2}+\frac{2c\lambda^{2}}{m+1}t^{(m+1)/2}& \textit{if }m>1, \end{array}\displaystyle \right .\quad t>0. $$
    (68)

Proof

The proof of (67) and (68) follows by replacing \(\lambda^{2}\) by \(-\lambda^{2}\) and σ by δ in the proof of Proposition 2.3. □

Corollary 2.5

If in Proposition  2.3 we consider \(\delta\neq0\) and m an odd number given by \(m=2p+1\) with \(p\in\mathbb{N}\), then we have

$$ u_{x}(0,t)=p_{3,m}(c)+c_{3,m}\exp{(- \lambda\delta t)},\quad t>0, $$
(69)

where \(c_{3,m}\) is given by

$$ c_{3,m}=(-1)^{p-1}\frac{c\nu\mu p!}{\delta(\lambda\delta)^{p}}, $$
(70)

c being the constant given in (44), and \(p_{3,m}(x)\) is the polynomial defined by

$$ p_{3,m}(t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} c_{3,3} (\frac{\lambda^{2}\delta}{\nu\mu}t-1 )& \textit{if }m=3,\\ -c_{3,5} (\frac{\lambda^{3}\delta^{2}}{2\nu\mu}t^{2}-\lambda\sigma t+1 )& \textit{if }m=5,\\ \frac{c\lambda}{\delta}t^{p}-c_{3,m} ( \sum_{k=1}^{p-1} \frac{(-\lambda\delta)^{k}}{k!}t^{k}+1 )& \textit{if }m\geq7, \end{array}\displaystyle \right .\quad t>0. $$
(71)

Proof

It follows by solving the corresponding integral in expression (67) and the use of identity (53). □

Corollary 2.6

Let F, h and \(\Phi=\varphi_{3}\) be defined as in (31), (41) and (42), with m an odd number, and \(\delta=\lambda-\nu\mu\). If u is the solution of Problem P, given in (34), then:

  1. (1)

    If \(\delta\neq0\), then:

    1. (a)

      if \(m=1\), we have

      $$ \lim_{t\to+\infty}u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty&\textit{if }\delta< 0,\eta< 0,\\ +\infty&\textit{if }\delta< 0,\eta>0,\\ \frac{\eta\lambda}{\delta} &\textit{if }\delta>0, \end{array}\displaystyle \right . $$
      (72)
    2. (b)

      if \(m=3\) or \(m=5\), we have

      $$ \lim_{t\to+\infty}u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty&\textit{if }\eta< 0,\\ +\infty&\textit{if }\eta>0 \end{array}\displaystyle \right . $$
      (73)

    and

    1. (c)

      if \(m\geq7\), we have

      $$ \lim_{t\to+\infty}u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty&\textit{if }\delta\eta< 0,\\ +\infty&\textit{if }\delta\eta>0. \end{array}\displaystyle \right . $$
      (74)
  2. (2)

    If \(\delta=0\), then

    $$ \lim_{t\to+\infty}u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} -\infty& \textit{if }\eta< 0,\\ +\infty& \textit{if }\eta>0. \end{array}\displaystyle \right . $$
    (75)

The next result is related to the behavior of the heat flux \(u_{x}(0,t)\) at the face \(x=0\) when t tends to 0+, and shows that it is independent of the choice of Φ as any of the functions given in (42).

Corollary 2.7

If F, h and Φ are given as in (31), (41) and any of the expressions in (42), respectively, then

$$ \lim_{t\to0^{+}}u_{x}(0,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \eta& \textit{if }m=1,\\ 0& \textit{if }m>1, \end{array}\displaystyle \right . $$
(76)

where u is the solution of Problem P given in (34).

Proof

It follows straightforwardly by computing the limit for the expression of \(u_{x}(0,t)\) given in Propositions 2.2, 2.3 or 2.4, according the definition of Φ. □

We end this section by giving explicit solutions to each Problem P. The proofs of the three following propositions follow from Theorem 2.3 and Corollary 2.1, 2.3 or 2.5, according to the definition of Φ (see Appendix 2).

Proposition 2.5

If F, h and \(\Phi=\varphi_{1}\) are defined as in (31), (41) and (42), where m is an odd number given by \(m=2p+1\), with \(p\in\mathbb{N}_{0}\), then the function u defined by

$$ u(x,t)=u_{0}(x,t)-\nu\Phi(x) \int_{0}^{t}V( \tau)\,d\tau, \quad x\geq0, t\geq0 $$
(77)

is a solution to Problem P, where \(u_{0}\) is defined by

$$ u_{0}(x,t)=\frac{\eta}{\sqrt{\pi}} \sum _{k=0}^{p}\binom {m}{2k}\Gamma \biggl( \frac{2k+1}{2} \biggr) (4t)^{k}x^{m-2k},\quad x\geq0, t \geq0, $$
(78)

and \(V(t)=u_{x}(0,t)\) is given by (50).

Remark 3

If \(m=1\), polynomial \(p_{1,m}(x)\) is defined by \(p_{1,m}(x)=0\), \(x>0\).

Proposition 2.6

If F, h and \(\Phi=\varphi_{2}\) are defined as in (31), (41) and (42), where \(\sigma\neq0\) and m is an odd number given by \(m=2p+1\), with \(p\in\mathbb{N}_{0}\), then the function u defined by

$$ u(x,t)=u_{0}(x,t)-\nu\Phi(x)\exp\bigl( \lambda^{2}t\bigr) \int_{0}^{t}V(\tau ) \exp{\bigl(-\lambda^{2}\tau\bigr)}\,d\tau,\quad x\geq0, t\geq0 $$
(79)

is a solution to Problem P, where \(u_{0}\) and \(V(t)=u_{x}(0,t)\) are given by (78) and (61).

Remark 4

If \(m=1\), polynomial \(p_{2,m}(x)\) is defined by \(p_{2,m}(x)=\frac{\nu \lambda}{\sigma}\), \(x>0\).

Proposition 2.7

If F, h and \(\Phi=\varphi_{3}\) are defined as in (31), (41) and (42), where \(\delta\neq0\) and m is an odd number given by \(m=2p+1\), with \(p\in\mathbb{N}_{0}\), then the function u defined by

$$ u(x,t)=u_{0}(x,t)-\nu\Phi(x)\exp\bigl(- \lambda^{2}t\bigr) \int_{0}^{t}V(\tau ) \exp{\bigl(\lambda^{2}\tau\bigr)}\,d\tau,\quad x\geq0, t\geq0 $$
(80)

is a solution to Problem P, where \(u_{0}\) and \(V(t)=u_{x}(0,t)\) are given by (78) and (69).

Remark 5

If \(m=1\), polynomial \(p_{3,m}(x)\) is defined by \(p_{3,m}(x)=\frac{\nu \lambda}{\delta}\), \(x>0\).

3 The controlling problem

This section is devoted to studying the effects introduced by the source term \(-\Phi F\) in the asymptotic temporal behavior of the solution u to each Problem P considered in this paper. In particular, this will enable us to control the long term temporal behavior of the temperature u by imposing suitable specifications on the thermostat device through an appropriate choice of the coefficients involved in the definition of \(-\Phi F\). We will carry out our study by comparing the asymptotic behavior of u with the asymptotic behavior of the solution \(u_{0}\) to Problem P in the absence of control (Problem P0):

$$\begin{aligned} &u_{t}(x,t)-u_{xx}(x,t)=0,\quad x>0, t>0, \end{aligned}$$
(81)
$$\begin{aligned} &u(x,0)=h(x),\quad x>0, \end{aligned}$$
(82)
$$\begin{aligned} &u(0,t)=0,\quad t>0. \end{aligned}$$
(83)

The study of controlling the solution to Problem P through its source term was done in [3] when Φ is identically equal to 1, \(F=F(V)\) is a differentiable function of one real variable which satisfies:

  1. (1)

    \(VF(V)\geq0\), \(\forall V\in\mathbb{R}\),

  2. (2)

    \(F(0)=0\),

  3. (3)

    F is convex in \((0,+\infty)\),

  4. (4)

    \(\lim_{V\to+\infty}F'(V)=\kappa>0\),

and h is a non-negative, continuous and bounded function. They proved that under these hypotheses, both u and \(u_{0}\) converge to 0 when t tends to +∞ and the control term F has a stabilizing effect because \(\lim_{t\to+\infty}\frac{u(x,t)}{u_{0}(x,t)}=0\), that is, u converges faster to 0 than \(u_{0}\). None of the cases studied in the previous sections fulfill the hypothesis for Φ, F and h established in [3].

With the aim of supplementing the results given in [3], we will carry out our analysis under conditions which lead us to functions F depending on only one real variable, that is, \(F=F(V)\).

Next Theorems 3.1, 3.2 and 3.3 are respectively related with the results obtained in Sections 2.1, 2.2 and 2.3.

Remark 6

For all Problems P studied in this paper, Problem P0 has the solution \(u_{0}\) defined by [1]

$$ u_{0}(x,t)= \int_{0}^{+\infty}G(x,t, \xi,0)h(\xi)\,d\xi,\quad x\geq0, t\geq0, $$
(84)

where G is the Green function defined in (35).

Theorem 3.1

Let Φ be identically equal to 1, F be a constant function defined by

$$ F(V)=\nu,\quad V\in\mathbb{R}, $$
(85)

with \(\nu\in\mathbb{R}-\{0\}\), and h be a quadratic function defined by

$$ h(x)=\frac{\nu}{2}x^{2}+ax,\quad x\geq0, $$
(86)

with \(a\in\mathbb{R}\).

For the solution \(u_{0}\) to Problem P 0 given in (84), we have

$$ \lim_{t\to+\infty}u_{0}(x,t)=\infty,\quad \forall x>0. $$
(87)

Furthermore, there exists a solution u to Problem P such that

$$ \lim_{t\to+\infty}u(x,t)=h(x), \quad\forall x>0. $$
(88)

Proof

By computing the integral in (84) for the function h given in (86), we have that the solution \(u_{0}\) to Problem P0 given in (84) is defined by

$$ u_{0}(x,t)= \biggl(\frac{\nu}{2}x^{2}+ \nu t \biggr)\operatorname{erf} \biggl(\frac {x}{2\sqrt{t}} \biggr)+ \frac{\nu}{\sqrt{\pi}}x\sqrt{t}\exp{ \biggl(\frac {-x^{2}}{4t} \biggr)}+ax,\quad x>0, t>0. $$
(89)

By taking the limit when t tends to +∞, we have (87).

Since functions Φ, F and h are under the hypothesis of Theorem 2.1, we know that the function u given by

$$ u(x,t)=h(x),\quad x\geq0, t\geq0, $$
(90)

is a solution to Problem P, which satisfies (88). □

Theorem 3.2

Let Φ, h and F be defined by

$$ \Phi(x)=\lambda X(x),\qquad h(x)=\eta X(x),\quad x>0 \quad \textit{and}\quad F=F\bigl(\delta T(t)\bigr),\quad t>0, $$
(91)

where X is the function given by (14)

$$ X(x)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{\delta}{\sqrt{\sigma}}\sinh{(\sqrt{\sigma}x)} &\textit{if }\sigma >0,\\ \frac{\delta}{\sqrt{|\sigma|}}\sin{(\sqrt{|\sigma|}x)}& \textit{if }\sigma< 0,\\ \delta x& \textit{if }\sigma=0, \end{array}\displaystyle \right .\quad x>0 $$

and T is the solution of the initial value problem (15)-(16)

$$\begin{aligned} &\dot{T}(t)-\sigma T(t)=-\lambda F\bigl(\delta T(t),t\bigr),\quad t>0 \\ &T(0)=\eta, \end{aligned}$$

with \(\lambda, \eta, \delta\in\mathbb{R}-\{0\}\).

For the solution \(u_{0}\) to Problem P 0 given in (84), we have

$$ \lim_{t\to+\infty}u_{0}(x,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} h(x)& \textit{if }\sigma=0,\\ \infty& \textit{if }\sigma> 0,\\ 0& \textit{if }\sigma< 0, \end{array}\displaystyle \right . \quad\forall x>0. $$
(92)

Furthermore:

(1) If F is defined by

$$ F(V)=\nu V,\quad V\in\mathbb{R}, $$
(93)

with \(\nu\in\mathbb{R}-\{0\}\), then there exists a solution u to Problem P which satisfies

$$\begin{aligned} &\lim_{t\to+\infty}u(x,t)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} h(x)& \textit{if }\gamma=\sigma,\\ \infty& \textit{if }\gamma< \sigma,\\ 0& \textit{if }\gamma>\sigma, \end{array}\displaystyle \right .\\ &\quad\forall x>0 \textit{ if } \gamma\geq\sigma \textit{ or } \forall x>0/ h(x)\neq0 \textit{ if } \gamma< \sigma, \end{aligned}$$
(94)

where \(\gamma=\lambda\nu\delta\).

Therefore,

$$\begin{aligned} &\lim_{t\to+\infty}\frac{u(x,t)}{u_{0}(x,t)}= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \infty& \textit{if }\gamma< 0,\\ 0& \textit{if }\gamma>0, \end{array}\displaystyle \right . \\ &\quad \forall x>0\textit{ if }\sigma\geq0 \textit{ or } \forall x>0/h(x)\neq0\textit{ if }\sigma< 0. \end{aligned}$$
(95)

(2) If F is defined by

$$ F(V)=\nu V^{n},\quad V\in\mathbb{R}, $$
(96)

with \(\nu>0\) and \(n<1\), and we consider \(\lambda>0\), \(\eta>0\) and \(\delta>0\), then there exists a solution u to Problem P which satisfies

$$\begin{aligned} &\lim_{t\to+\infty}u(x,t)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0& \textit{if }\sigma< 0 \vee 0< n< 1,\\ \theta_{1}h(x)& \textit{if }\sigma< 0 \wedge n=0,\\ \infty& \textit{if }\sigma\geq 0 \vee (\sigma< 0 \wedge n< 0), \end{array}\displaystyle \right . \\ &\quad \forall x>0\textit{ if }\sigma< 0 \wedge 0\leq n< 1 \textit{ or } \forall x>0/h(x)\neq0\textit{ if }\sigma\geq0 \vee(n< 0 \wedge \sigma< 0), \end{aligned}$$
(97)

where \(\theta_{1}=\frac{\lambda\mu}{\sigma\eta}\).

Therefore,

$$ \begin{aligned}[b] &\lim_{t\to+\infty}\frac{u(x,t)}{u_{0}(x,t)}= \left\{ \textstyle\begin{array}{@{}l@{\quad}l} \infty &\textit{if }\sigma\leq0,\\ 1-\frac{\lambda\mu\delta^{n}}{\sigma\eta^{1-n}}& \textit{if }\sigma>0, \end{array}\displaystyle \right.\\ &\quad \forall x>0\textit{ if }\sigma\geq0 \textit{ or } \forall x>0/h(x)\neq0\textit{ if }\sigma< 0. \end{aligned} $$
(98)

Proof

By computing the integral in (84) for the function h given in (91), we obtain that the solution \(u_{0}\) to Problem P0 given in (84) is defined by

$$ u_{0}(x,t)=h(x)\exp{\bigl(|\sigma|t\bigr)},\quad \forall x>0, t>0. $$
(99)

By taking the limit when t tends to +∞, we have (92).

(1) Since Φ, h and F are under the hypothesis of Corollary 2.1, we know that the function u given by

$$ u(x,t)=\eta X(x)\exp{\bigl((\sigma-\gamma)t\bigr)}, \quad\forall x>0, t>0 $$
(100)

is a solution to Problem P, which satisfies (94). Finally, the proof of (95) follows straightforwardly by computing the limit from the explicit expressions of \(u_{0}\) and u given in (99) and (100).

(2) It follows in the same manner as the proof of the previous item. □

We see from the previous theorem that it is possible to control a solution to Problem P through the parameters involved in the definition of the source term \(-\Phi F\). When \(F(V)=\nu V\), we can increase (\(\gamma<0<\sigma\)) or decrease (\(0<\gamma<\sigma\)) the velocity of convergence to ∞ for u with respect to the velocity of convergence for \(u_{0}\). We also can stabilize the problem by doing u tending to a constant value (\(0<\sigma\leq\gamma\)) when \(u_{0}\) is going to ∞. When \(F(V)=\nu V^{n}\), we can decrease (\(\sigma>0\) and \(1=\frac{\lambda\mu\delta^{n}}{\sigma\eta^{1-n}}\)) or maintain (\(\sigma >0\) and \(1\neq\frac{\lambda\mu\delta^{n}}{\sigma\eta^{1-n}}\)) the velocity of convergence to ∞ for u with respect to the velocity of convergence for \(u_{0}\). We also can decrease the velocity of convergence to 0 for u with respect to the velocity of convergence for \(u_{0}\) (\(\sigma<0\)).

Theorem 3.3

Let Φ be defined by one of the expressions given in (42)

$$ \varphi_{1}(x)=\lambda x, \qquad\varphi_{2}(x)=-\mu\sinh{( \lambda x)} \quad\textit{or}\quad \varphi_{3}(x)=-\mu\sin{(\lambda x)}, \quad x>0, $$

where \(\lambda>0\) and \(\mu>0\), F is defined by

$$ F=F(V)=\nu V, \quad V\in\mathbb{R}, $$
(101)

with \(\nu>0\) and h is defined as in (41)

$$ h(x)=\eta x^{m},\quad x>0, $$

where \(\eta\in\mathbb{R}-\{0\}\) and m is an odd number given by \(m=2p+1\), with \(p\in\mathbb{N}_{0}\).

For the solution \(u_{0}\) to Problem P 0 given in (84), we have

$$ \lim_{t\to+\infty}u_{0}(x,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} h(x)& \textit{if }m=1,\\ \infty& \textit{if }m>1, \end{array}\displaystyle \right .\quad \forall x>0. $$
(102)

Furthermore:

(1) If \(\Phi=\varphi_{1}\), then there exists a solution u to Problem P which satisfies

$$ \lim_{t\to+\infty}u(x,t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0& \textit{if }m=1,\\ \infty& \textit{if }m>1, \end{array}\displaystyle \right . \quad\forall x>0. $$
(103)

Therefore,

$$ \lim_{t\to+\infty}\frac{u(x,t)}{u_{0}(x,t)}=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0& \textit{if }m=1,\\ r(x)& \textit{if }m>1, \end{array}\displaystyle \right .\quad \forall x>0, $$
(104)

\(r(x)\) being a rational function in the variable x.

(2) If \(\Phi=\varphi_{2}\), then there exists a solution u to Problem P which satisfies

$$ \lim_{t\to+\infty}u(x,t)=\infty,\quad \forall x>0. $$
(105)

Therefore,

$$ \lim_{t\to+\infty}\frac{u(x,t)}{u_{0}(x,t)}=\infty,\quad \forall x>0. $$
(106)

(3) If \(\Phi=\varphi_{3}\), then there exists a solution u to Problem P which satisfies

$$ \lim_{t\to+\infty}u(x,t)=\infty,\quad \forall x>0. $$
(107)

Therefore,

$$ \lim_{t\to+\infty}\frac{u(x,t)}{u_{0}(x,t)}=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} r(x)& \textit{if }\delta>0,\\ \infty& \textit{if }\delta\leq0, \end{array}\displaystyle \right .\quad \forall x>0, $$
(108)

where \(r(x)\) is a rational function in the variable x.

Proof

It follows in the same manner as the proofs of Theorems 3.1 and 3.2. □

From the previous theorem, we see again that there exist several cases where we can control a solution to Problem P through the source term \(-\Phi F\).

4 Explicit solutions for Problem P̃

In this section we consider Problem P̃ given in (5)-(7) with the aim of finding exact solutions. This problem corresponds to another temperature regulation problem where the temperature controller device depends on the temperature at the fixed boundary of the material instead of the heat flux on it, and a heat flux initial condition is known in place of a temperature condition.

The following theorem states a relationship between Problems P and P̃ given in (5)-(7), and it was proved in [13].

Theorem 4.1

If u is a solution to Problem P, where h and Φ are differentiable functions in  \(\mathbb{R}^{+}\), then the function v defined by

$$ v(x,t)=u_{x}(x,t),\quad x\geq0, t\geq0 $$
(109)

is a solution to Problemwhen , Φ̃, and are defined by

$$ \begin{aligned} &\widetilde{F}(V,t)=F(V,t),\quad V>0, t>0,\qquad \tilde {g}(t)=\Phi(0)F\bigl(u_{x}(0,t),t\bigr),\quad t>0, \\ &\widetilde{\Phi}(x)=\Phi'(x),\quad x>0,\qquad \tilde {h}(x)=h'(x), \quad x>0. \end{aligned} $$
(110)

We see from Theorem 4.1 that we can find exact solutions to Problem P̃ from exact solutions to another temperature regulation problem which has the form of Problem P.

We end this section by giving explicit solutions for some particular cases of Problem P̃.

Proposition 4.1

Let be the zero function and:

(1)

  1. (a)

    be the zero function and be a constant function, or

  2. (b)

    be a constant function defined by

    $$ \widetilde{F}(V,t)=k,\quad V\in\mathbb{R}, t>0, $$
    (111)

    with \(k\in\mathbb{R}-\{0\}\), Φ̃ be a locally integrable function in \(\mathbb{R}^{+}\) and be a differentiable function such that

    $$ \tilde{h}(x)=k \int_{0}^{x}\widetilde{\Phi}(\xi)\,d\xi,\quad x>0. $$
    (112)

    Then the function v defined by

    $$ v(x,t)=\tilde{h}(x),\quad x\geq0, t\geq0 $$
    (113)

    is a solution to Problemindependent of the temporal variable t.

(2) be given by (21), (23) or (27), that is:

  • \(F(V,t)=\nu V\), \(V\in\mathbb{R}\), \(t>0\), with \(\nu\in\mathbb{R}-\{0\}\),

  • \(F(V,t)=f_{1}(t)+f_{2}(t)V\), \(V\in\mathbb{R}\), \(t>0\), with \(f_{1}, f_{2}\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{+})\), or

  • \(F(V,t)=V^{n}f(t)\), \(V\in\mathbb{R}\), \(t>0\), with \(n<1\), \(f\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{+})\), \(f>0\) and \(\lambda, \delta, \eta>0\),

and and Φ̃ be defined by

$$ \tilde{h}(x)=\eta\widetilde{X}(x) \quad\textit{and} \quad \widetilde{\Phi}(x)= \lambda\widetilde{X}(x),\quad t>0, $$
(114)

where is given by

$$ \widetilde{X}(x)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \delta\cosh{(\sqrt{\sigma})x}& \textit{if }\sigma>0,\\ \delta\cos{(\sqrt{|\sigma|})x}& \textit{if }\sigma< 0,\\ \delta& \textit{if }\sigma=0, \end{array}\displaystyle \right .\quad x>0, $$
(115)

\(\lambda, \eta, \delta\in\mathbb{R}-\{0\}\).

Then the function v defined by

$$ v(x,t)=\widetilde{X}(x)\widetilde{T}(t),\quad x\geq0, t\geq0 $$
(116)

is a solution with separated variables to Problem P̃, where is the solution of the initial value problem (15)-(16).

(3) be defined as in (31)

$$ F=F(V,t)=\nu V,\quad V\in\mathbb{R}, t>0, $$

with \(\nu>0\), be defined as

$$ \tilde{h}(x)=\tilde{\eta}x^{l},\quad x>0, $$
(117)

with \(\tilde{\eta}\in\mathbb{R}-\{0\}\) and \(l\geq0\), and Φ̃ be given by one of the following expressions:

$$ \widetilde{\varphi}_{1}(x)=\tilde{\lambda}x,\qquad \varphi _{2}(x)=-\tilde{\mu}\cosh{(\tilde{\lambda}x)} \quad\textit{or} \quad \varphi_{3}(x)=-\tilde{\mu}\cos{(\tilde{\lambda }x)},\quad x>0, $$
(118)

with \(\tilde{\lambda}>0\) and \(\tilde{\mu}>0\). Then the function v defined by

$$ v(x,t)=u_{x}(x,t),\quad x\geq0, t\geq0 $$
(119)

is a solution to Problem P̃, where u is given by (77) if \(\widetilde{\Phi}=\tilde{\varphi}_{1}\), by (79) if \(\widetilde{\Phi}=\tilde{\varphi}_{2}\) or by (80) if \(\widetilde{\Phi}=\tilde{\varphi}_{3}\).

Proof

It follows from the previous theorem and the explicit solutions to Problem P obtained in Section 2. □

5 Conclusions

In this paper we consider a non-classical initial and boundary value problem for a non-homogeneous one-dimensional heat equation which represents a temperature regulation problem for a semi-infinite homogeneous isotropic medium where the temperature controller device depends on the heat flux at the fixed boundary, an initial temperature distribution is known and the temperature at the fixed boundary is constant in time. We find explicit solutions for several cases of this problem, which, in particular, enables us to give explicit formulae for the heat flux at the boundary and to compute its asymptotic temporal behavior.

We also analyze how the source term affects the asymptotic temporal behavior of each explicit solution u obtained in this paper by comparing the limits of u and the solution \(u_{0}\) to the same problem but in absence of source term. As a result, we obtain conditions on the parameters involved in the definition of the source term that enables us to control the solutions u with respect to \(u_{0}\). In particular, we give conditions on data functions under which stationary solutions exist.

By giving a relationship between the problem considered here with another related non-classical heat equation problem, we obtain explicit solutions for several particular cases of another temperature regulation problem where the thermostat depends on the temperature at the fixed boundary of the material instead on the heat flux on it, and a heat flux initial condition is known in place of a temperature condition.

As a consequence of our study, several solved non-classical problems for the heat equation that can be used for testing new numerical methods are given. In addition, exact solutions given in this article also provide reference values for comparisons in laboratory experiments.

References

  1. Cannon, JR: The One-Dimensional Heat Equation. Addison-Wesley, Menlo Park (1984)

    Book  MATH  Google Scholar 

  2. Carslaw, HS, Jaeger, JC: Conduction of Heat in Solids. Clarendon Press, Oxford (1959)

    Google Scholar 

  3. Berrone, LR, Tarzia, DA, Villa, LT: Asymptotic behaviour of a non-classical heat conduction problem for a semi-infinite material. Math. Methods Appl. Sci. 23, 1161-1177 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  4. Cannon, JR, Yin, HM: A class of non-linear non-classical parabolic equations. J. Differ. Equ. 79, 266-288 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  5. Friedman, A: Partial Differential Equations of Parabolic Type. Prentice Hall, Englewood Cliffs (1964)

    MATH  Google Scholar 

  6. Glashoff, K, Sprekels, J: An application of Glicksberg’s theorem to a set-value integral equations arising in the theory of thermostats. SIAM J. Math. Anal. 12, 477-486 (1981)

    Article  MATH  MathSciNet  Google Scholar 

  7. Glashoff, K, Sprekels, J: The regulation of temperature by thermostats and set-value integral equations. J. Integral Equ. 4, 95-112 (1982)

    MATH  MathSciNet  Google Scholar 

  8. Kenmochi, N: Heat conduction with a class of automatic heat source controls. Pitman Res. Notes Math. Ser. 186, 471-474 (1990)

    MathSciNet  Google Scholar 

  9. Kenmochi, N, Primicerio, M: One-dimensional heat conduction with a class of automatic source controls. IMA J. Appl. Math. 40, 205-216 (1998)

    Article  MathSciNet  Google Scholar 

  10. Liu, D, Mu, C: Cauchy problem for a doubly degenerate parabolic equation with inhomogeneous source and measure data. Differ. Integral Equ. 27, 1001-1012 (2014)

    MathSciNet  Google Scholar 

  11. Quinteiro, I, Loayza, M: A heat equation with nonlinear nonlocal term in time and singular initial data. Differ. Integral Equ. 27, 447-460 (2014)

    MathSciNet  Google Scholar 

  12. Souplet, P: Blow-up in nonlocal reaction-diffusion equations. SIAM J. Math. Anal. 29, 1301-1334 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  13. Tarzia, DA, Villa, LT: Some nonlinear heat conduction problems for a semi-infinite strip with a non-uniform heat source. Rev. Unión Mat. Argent. 41, 99-114 (1998)

    MATH  MathSciNet  Google Scholar 

  14. Villa, LT: Problemas de control para una ecuación unidensional no homogénea del calor. Rev. Unión Mat. Argent. 32, 163-169 (1986)

    MATH  Google Scholar 

  15. Salva, NN, Tarzia, DA, Villa, VT: An initial-boundary value problem for the one-dimensional non-classical heat equation in a slab. Bound. Value Probl. 2011, 4 (2011)

    Article  MathSciNet  Google Scholar 

  16. Briozzo, AC, Natale, MF: Two Stefan problems for a non-classical heat equation with nonlinear thermal coefficients. Differ. Integral Equ. 27, 1187-1202 (2014)

    MathSciNet  Google Scholar 

  17. Briozzo, AC, Tarzia, DA: Existence and uniqueness of a one-phase Stefan problem for a non-classical heat equation with temperature boundary condition at the fixed face. Electron. J. Differ. Equ. 2006, 21 (2006)

    MathSciNet  Google Scholar 

  18. Briozzo, AC, Tarzia, DA: A one-phase Stefan problem for a non-classical heat equation with a heat flux condition on the fixed face. Appl. Math. Comput. 182, 809-819 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  19. Briozzo, AC, Tarzia, DA: Exact solutions for non-classical Stefan problems. Int. J. Differ. Equ. 2010, 868059 (2010)

    MathSciNet  Google Scholar 

  20. Du, L, Lou, B: Spreading and vanishing in nonlinear diffusion problems with free boundaries (2013). arXiv:1301.5373

  21. Koleva, M, Valkov, R: Numerical solution of one-phase Stefan problem for a non-classical heat equation. In: Applications of Mathematics in Engineering and Economics: 36th International Conference. AIP Conference Proceedings, vol. 1293, pp. 39-46 (2010)

    Google Scholar 

  22. Boukrouche, M, Tarzia, DA: Global solution to a non-classical heat problem in the semi-space \(\mathbb{R}^{+}\times \mathbb{R}_{n-1}\). Q. Appl. Math. 72, 347-361 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  23. Ahmed, N, Dutta, M: Heat transfer in an unsteady MHD flow through an infinite annulus with radiation. Bound. Value Probl. 2015, 11 (2015)

    Article  MathSciNet  Google Scholar 

  24. Anikonov, YE, Neshchadim, MV: Analytical methods of the theory of inverse problems for parabolic equations. J. Math. Sci. 195, 754-770 (2013)

    MathSciNet  Google Scholar 

  25. Antonakakis, T, Maglioni, C, Vlachoudis, V: Closed form solutions of the heat equation with a Gaussian source. Int. J. Heat Mass Transf. 62, 314-322 (2013)

    Article  Google Scholar 

  26. Crank, J: The Mathematics of Diffusion. Clarendon Press, Oxford (1956)

    MATH  Google Scholar 

  27. Danish, M, Kumar, S, Kumar, S: Exact analytical solution of a lumped model of the transient convective-radiative cooling of a hot spherical body in an environment. Chem. Eng. Commun. 199, 1668-1682 (2012)

    Article  Google Scholar 

  28. Ganguly, S, Kumar, M: Analytical solutions for transient temperature distribution in a geothermal reservoir due to cold water injection. Hydrogeol. J. 22, 351-369 (2014)

    Article  Google Scholar 

  29. Hamraqui, M, Chbiki, M, Laraqi, N, Roseiro, L: Analytical study of the temperature distribution in solids subjected to non-uniform moving heat sources. Therm. Sci. 17, 687-694 (2013)

    Article  Google Scholar 

  30. Hayek, M: An exact solution for a nonlinear diffusion equation in a radially symmetric inhomogeneous medium. Comput. Math. Appl. 68, 1751-1757 (2014)

    Article  MathSciNet  Google Scholar 

  31. Ivanova, N: Exact solutions of diffusion-convection equations. Dyn. Partial Differ. Equ. 2, 139-171 (2008)

    Article  MathSciNet  Google Scholar 

  32. Jafari, H, Soltani, R, Baleanu, D, Khalique, M: Exact solutions of two nonlinear partial differential equations by using the first integral method. Bound. Value Probl. 2013, 117 (2013)

    Article  MathSciNet  Google Scholar 

  33. Mamontov, E: Exact analytical solution of the Cauchy problem for a linear reaction-diffusion equation with time-dependent coefficients and space-time dependent source term. Appl. Math. Lett. 26, 315-317 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  34. Nandkeolyar, R, Das, M, Sibanda, P: Exact solution of unsteady MHD free convection in a heat absorbing fluid flow past a flat with ramped wall temperature. Bound. Value Probl. 2013, 247 (2013)

    Article  MathSciNet  Google Scholar 

  35. Roman-Miller, L, Broadbridge, P: Exact integration of reduced Fisher’s equation, reduced Blasius equation, and the Lorenz model. J. Math. Anal. Appl. 251, 65-83 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  36. Zoppou, C, Knight, JH: Analytical solutions for advection and advection-diffusion equations with spatially variable coefficients. J. Hydraul. Eng. 123, 144-148 (1997)

    Article  Google Scholar 

  37. Koleva, M: Numerical solution of heat-conduction problems on a semi-infinite strip with nonlinear localized flow sources. Annu. Univ. Sofia 99, 155-168 (2008)

    MathSciNet  Google Scholar 

  38. Miller, RK: Nonlinear Volterra Integral Equations. Benjamin, Menlo Park (1971)

    MATH  Google Scholar 

  39. Ng, EW, Geller, M: A table of integrals of the error functions. J. Res. Natl. Bur. Stand. B, Math. Sci. 73B, 1-20 (1969)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This paper has been partially sponsored by the Project PIP No. 0534 from CONICET-UA (Rosario, Argentina) and AFOSR-SOARD Grant FA 9550-14-1-0122. The authors would like to thank an anonymous referee and the editor for the helpful comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Domingo A Tarzia.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors declare that the work was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Appendices

Appendix 1: Problem P is under the hypothesis of Theorem 2.3

Let Problem P with F and h given as in (31) and (41), respectively, and Φ defined by any of the expressions \(\varphi_{1}\), \(\varphi_{2}\) or \(\varphi_{3}\) given in (42).

  1. (1)

    It is clear that h is a continuously differentiable function such that \(h(0)\) exists. We also have

    $$ \bigl|h(x)\bigr|=|\eta|x^{m}\leq|\eta|(x+1)^{m}\leq|\eta|\exp{(mx)}, \quad \forall x>0. $$
    (120)

    Then inequality (30) holds with \(\epsilon=1\), \(c_{1}=m\) and \(c_{0}=|\eta|\).

  2. (2)

    It is easy to check that each of the functions φ given in (42) is uniformly Hölder continuous, with Hölder exponent \(\alpha=1\), on any compact set \(K\subset \mathbb{R}\).

  3. (3)

    Hypothesis 3 holds because of the definition of Problem P.

Furthermore, we have:

  1. (i)

    If \(\Phi=\varphi_{1}\), then

    $$ R(t)=\lambda,\quad t>0. $$
    (121)

    Then inequality (32) holds with a function f defined by

    $$ f(t)=-\lambda t,\quad t>0. $$
    (122)
  2. (ii)

    If \(\Phi=\varphi_{2}\), then

    $$ R(t)=-\lambda\mu\exp{\bigl(\lambda^{2}t\bigr)},\quad t>0. $$
    (123)

    Then inequality (32) holds with a function f defined by

    $$ f(t)=-\frac{\mu}{\lambda} \bigl(\exp{\bigl(\lambda^{2}t\bigr)-1} \bigr),\quad t>0. $$
    (124)
  3. (iii)

    If \(\Phi=\varphi_{3}\), then

    $$ R(t)=-\lambda\mu\exp{\bigl(-\lambda^{2}t\bigr)},\quad t>0. $$
    (125)

    Then inequality (32) holds with a function f defined by

    $$ f(t)=-\frac{\mu}{\lambda} \bigl(1-\exp{\bigl(-\lambda^{2}t\bigr)} \bigr),\quad t>0. $$
    (126)

Appendix 2: Proof of Propositions 2.5, 2.6 and 2.7

Let Problem P with F and h given as in (31) and (41), respectively, and Φ given by any of the expressions in (42).

2.1 2.1 Computation of \(\int_{0}^{+\infty}G(x,t,\xi ,0)h(\xi)\,d\xi\)

By the definitions of the functions G and h given in (35) and (41), respectively, we have

$$\begin{aligned} &\int_{0}^{+\infty}G(x,t,\xi,0)h(\xi)\,d\xi \\ &\quad= \frac{\eta}{2\sqrt {\pi t}} \int_{0}^{+\infty} \bigl(\exp{ \bigl(-(x-\xi )^{2}/4t \bigr)}-\exp{ \bigl(-(x+\xi)^{2}/4t \bigr)} \bigr)\xi^{m}\,d\xi. \end{aligned}$$
(127)

We first compute \(\int_{0}^{+\infty}\exp{ (-(x-\xi )^{2}/4t )}\xi^{m}\,d\xi\).

By doing the substitution \(\zeta=(x-\xi)/2\sqrt{t}\), we have

$$ \begin{aligned}[b] &\int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4t \bigr)}\xi^{m}\,d\xi \\ &\quad=2\sqrt{t} \int _{-\infty}^{x/2\sqrt{t}}\exp{ \bigl(-\zeta ^{2} \bigr)} (x-2\sqrt{t}\zeta )^{m}\,d\zeta \\ &\quad=2\sqrt{t} \sum_{k=0}^{m}\binom{m}{k} (-2\sqrt{t} )^{k}x^{m-k} \int_{-\infty}^{x/2\sqrt{t}} \exp{ \bigl(-\zeta ^{2} \bigr)\zeta^{k}}\,d\zeta. \end{aligned} $$
(128)

Since

$$\begin{aligned} \int_{-\infty}^{x/2\sqrt{t}}\exp{ \bigl(-\zeta^{2} \bigr)\zeta ^{k}}\,d\zeta&= \int_{-\infty}^{0} \exp{ \bigl(-\zeta^{2} \bigr)\zeta^{k}}\,d\zeta + \int _{0}^{x/2\sqrt{t}}\exp{ \bigl(-\zeta^{2} \bigr) \zeta ^{k}}\,d\zeta \\ &=(-1)^{k} \int_{0}^{+\infty}\exp{ \bigl(- \sigma^{2} \bigr)\sigma ^{k}}\,d\sigma+ \int _{0}^{x/2\sqrt{t}}\exp{ \bigl(-\zeta^{2} \bigr) \zeta^{k}}\,d\zeta \\ &=\frac{(-1)^{k}}{2}\Gamma \biggl(\frac{k+1}{2} \biggr)+ \int _{0}^{x/2\sqrt{t}}\exp{ \bigl(-\zeta^{2} \bigr) \zeta^{k}}\,d\zeta, \end{aligned}$$
(129)

then we have

$$\begin{aligned} &\int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4t \bigr)}\xi^{m}\,d\xi \\ &\quad= \sqrt{t} \sum _{k=0}^{m}\binom{m}{k} (2\sqrt{t} )^{k}x^{m-k}\Gamma \biggl(\frac{k+1}{2} \biggr) \\ &\qquad{}+2\sqrt{t} \sum_{k=0}^{m} \binom{m}{k} (-2\sqrt{t} )^{k}x^{m-k} \int _{0}^{x/2\sqrt{t}}\exp{ \bigl(-\zeta^{2} \bigr) \zeta^{k}}\,d\zeta. \end{aligned}$$
(130)

By similar calculations, we have

$$\begin{aligned} &\int_{0}^{+\infty}\exp{ \bigl(-(x+ \xi)^{2}/4t \bigr)}\xi^{m}\,d\xi \\ &\quad= \sqrt{t} \sum _{k=0}^{m}(-1)^{m-k}\binom{m}{k} (2\sqrt {t} )^{k}x^{m-k}\Gamma \biggl(\frac{k+1}{2} \biggr) \\ &\qquad{}+2\sqrt{t} \sum_{k=0}^{m}(-1)^{m-k} \binom{m}{k} (-2\sqrt {t} )^{k}x^{m-k} \int _{0}^{x/2\sqrt{t}}\exp{ \bigl(-\zeta ^{2} \bigr) \zeta^{k}}\,d\zeta. \end{aligned}$$
(131)

Therefore, we have

$$\begin{aligned} &\int_{0}^{+\infty}G(x,t,\xi,0)h(\xi)\,d\xi \\ &\quad=\frac{\eta}{2\sqrt {\pi t}} \Biggl(\sqrt{t} \sum_{k=0}^{m} \bigl(1-(-1)^{m-k} \bigr)\binom{m}{k} (2\sqrt{t} )^{k}x^{m-k}\Gamma \biggl(\frac {k+1}{2} \biggr) \\ &\qquad{}+ 2\sqrt{t} \sum_{k=0}^{m} \bigl(1-(-1)^{m+1} \bigr)\binom {m}{k} (-2\sqrt{t} )^{k}x^{m-k} \int_{0}^{x/2\sqrt {t}}\exp{ \bigl(-\zeta^{2} \bigr)\zeta^{k}}\,d\zeta \Biggr) \\ &\quad=\frac{\eta}{2\sqrt{\pi}} \sum_{k=0}^{m} \bigl(1-(-1)^{k+1} \bigr)\binom{m}{k} (2\sqrt{t} )^{k}x^{m-k}\Gamma \biggl(\frac{k+1}{2} \biggr) \\ &\quad=\frac{\eta}{\sqrt{\pi}} \sum_{k=0}^{p} \binom{m}{2k} (4t )^{k}x^{m-2k}\Gamma \biggl( \frac{2k+1}{2} \biggr),\quad x>0. \end{aligned}$$
(132)

2.2 2.2 Computation of \(\int_{0}^{+\infty}G(x,t,\xi,\tau )\Phi(\xi)\,d\xi\)

(1) By the definitions of the functions G and \(\Phi=\varphi_{1}\) given in (35) and (42), respectively, we have

$$\begin{aligned} \int_{0}^{+\infty}G(x,t,\xi,\tau)\varphi_{1}( \xi)\,d\xi={}&\frac {\lambda}{2\sqrt{\pi(t-\tau)}} \int_{0}^{+\infty} \bigl( \exp { \bigl(-(x-\xi)^{2}/4(t-\tau) \bigr)} \\ &{}- \exp{ \bigl(-(x+\xi)^{2}/4(t-\tau) \bigr)} \bigr)\xi \,d\xi. \end{aligned}$$
(133)

By replacing t by \((t-\tau)\), η by λ and m by 1 in the precedent calculation, we have

$$ \int_{0}^{+\infty}G(x,t,\xi,\tau) \varphi_{1}(\xi)\,d\xi=\varphi _{1}(x),\quad x>0. $$
(134)

(2) By the definitions of the functions G and \(\Phi=\varphi_{2}\) given in (35) and (42), respectively, we have

$$\begin{aligned} \int_{0}^{+\infty}G(x,t,\xi,\tau)\varphi_{2}( \xi)\,d\xi={}&{-}\frac {\mu}{2\sqrt{\pi(t-\tau)}} \int_{0}^{+\infty} \bigl(\exp{ \bigl(-(x-\xi)^{2}/4(t-\tau) \bigr)} \\ &{}- \exp{ \bigl(-(x+\xi)^{2}/4(t-\tau) \bigr)} \bigr)\sinh{( \lambda\xi )}\,d\xi. \end{aligned}$$
(135)

We first compute \(\int_{0}^{+\infty}\exp{ (-(x-\xi )^{2}/4(t-\tau) )}\sinh{(\lambda\xi)}\,d\xi\).

By doing the change of variables \(\zeta=(x-\xi)/2\sqrt{t-\tau}\), we have

$$\begin{aligned} & \int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4(t-\tau) \bigr)}\exp {(\lambda\xi)}\,d\xi \\ &\quad=2\sqrt{t-\tau}\exp{(\lambda x)} \int_{-\infty}^{x/2\sqrt {t-\tau}} \exp{ \bigl(-\zeta^{2}-2\lambda\sqrt{t-\tau}\zeta \bigr)}\,d\zeta. \end{aligned}$$
(136)

By writing

$$ \zeta^{2}+2\lambda\sqrt{t-\tau}\zeta= (\zeta+\lambda\sqrt{t-\tau } )^{2}-\lambda^{2}(t-\tau) $$
(137)

and doing the change of variables \(\sigma=\zeta+\lambda\sqrt{t-\tau}\), we have

$$\begin{aligned} &2\sqrt{t-\tau}\exp{(\lambda x)} \int_{-\infty}^{x/2\sqrt {t-\tau}} \exp{\bigl(-\zeta^{2}-2\lambda\sqrt{t-\tau}\zeta\bigr)}\,d\zeta \\ &\quad=2\sqrt{t-\tau}\exp{ \bigl(\lambda x+\lambda^{2}(t-\tau) \bigr)} \int_{-\infty}^{x/2\sqrt{t-\tau}}\exp{ \bigl(- (\zeta +\lambda\sqrt{t- \tau} )^{2} \bigr)}\,d\zeta \\ &\quad=2\sqrt{t-\tau}\exp{ \bigl(\lambda x+\lambda^{2}(t-\tau) \bigr)} \int_{-\infty}^{x/2\sqrt{t-\tau}+\lambda\sqrt{t-\tau }}\exp{\bigl(-\sigma^{2} \bigr)}\,d\sigma \\ &\quad=\sqrt{\pi(t-\tau)}\exp{ \bigl(\lambda x+\lambda^{2}(t-\tau) \bigr)} \biggl(1+\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}+\lambda\sqrt{t-\tau} \biggr) \biggr), \end{aligned}$$
(138)

where erf is the error function, defined by

$$ \operatorname{erf}(z)= \int_{0}^{z}\exp{\bigl(- \xi^{2}\bigr)}\,d\xi,\quad z\in \mathbb{R}. $$
(139)

Hence, we have

$$\begin{aligned} &\int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4(t-\tau) \bigr)}\exp {(\lambda\xi)}\,d\xi \\ &\quad=\sqrt{\pi(t-\tau)}\exp{ \bigl(\lambda x+\lambda^{2}(t-\tau) \bigr)} \biggl(1+\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}+\lambda\sqrt{t-\tau} \biggr) \biggr). \end{aligned}$$
(140)

By replacing λ by −λ in the previous calculations, we have

$$\begin{aligned} &\int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4(t-\tau) \bigr)}\exp {(-\lambda\xi)}\,d\xi \\ &\quad=\sqrt{\pi(t-\tau)}\exp{ \bigl(-\lambda x+\lambda^{2}(t-\tau) \bigr)} \biggl(1+\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}-\lambda\sqrt{t-\tau} \biggr) \biggr). \end{aligned}$$
(141)

Therefore, we have

$$\begin{aligned} & \int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4(t-\tau) \bigr)}\sinh{(\lambda\xi)}\,d\xi \\ &\quad=\frac{\sqrt{\pi(t-\tau)}}{2}\exp{ \bigl(\lambda^{2}(t-\tau) \bigr)} \biggl(\exp{(\lambda x)} \biggl(1+\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau }}+ \lambda\sqrt{t-\tau} \biggr) \biggr) \\ &\qquad{} -\exp{(-\lambda x)} \biggl(1+\operatorname{erf} \biggl( \frac{x}{2\sqrt{t-\tau }}-\lambda\sqrt{t-\tau} \biggr) \biggr) \biggr). \end{aligned}$$
(142)

By similar calculations, we have

$$\begin{aligned} & \int_{0}^{+\infty}\exp{ \bigl(-(x+ \xi)^{2}/4(t-\tau) \bigr)}\sinh{(\lambda\xi)}\,d\xi \\ &\quad=\frac{\sqrt{\pi(t-\tau)}}{2}\exp{ \bigl(\lambda^{2}(t-\tau) \bigr)} \biggl(\exp{(-\lambda x)} \biggl(1-\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau }}- \lambda\sqrt{t-\tau} \biggr) \biggr) \\ &\qquad{}- \exp{(\lambda x)} \biggl(1-\operatorname{erf} \biggl( \frac{x}{2\sqrt{t-\tau }}+\lambda\sqrt{t-\tau} \biggr) \biggr) \biggr). \end{aligned}$$
(143)

Then we have

$$ \int_{0}^{+\infty}G(x,t,\xi,\tau) \varphi_{2}(\xi)\,d\xi=\exp { \bigl(\lambda^{2}(t-\tau) \bigr)} \varphi_{2}(x),\quad x>0. $$
(144)

(3) By the definitions of the functions G and \(\Phi=\varphi_{3}\) given in (35) and (42), respectively, we have

$$\begin{aligned} \int_{0}^{+\infty}G(x,t,\xi,\tau)\varphi_{3}( \xi)\,d\xi={}&{-}\frac {\mu}{2\sqrt{\pi(t-\tau)}} \int_{0}^{+\infty} \bigl(\exp{ \bigl(-(x-\xi)^{2}/4(t-\tau) \bigr)} \\ &{}- \exp{ \bigl(-(x+\xi)^{2}/4(t-\tau) \bigr)} \bigr)\sin{( \lambda\xi)}\,d\xi. \end{aligned}$$
(145)

We first compute \(\int_{0}^{+\infty}\exp{ (-(x-\xi )^{2}/4(t-\tau) )}\sin{(\lambda\xi)}\,d\xi\).

By doing the change of variables \(\zeta=(x-\xi)/2\sqrt{t-\tau }\), we have

$$\begin{aligned} & \int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4(t-\tau) \bigr)}\sin {(\lambda\xi)}\,d\xi \\ &\quad=2\sqrt{t-\tau} \int_{-\infty}^{x/2\sqrt{t-\tau}}\exp{\bigl(- \zeta ^{2}\bigr)} \\ &\qquad{}\times\bigl(\sin{(\lambda x)}\cos{ (2\lambda\sqrt{t-\tau} \zeta )}-\cos{(\lambda x)}\sin{ (2\lambda\sqrt{t-\tau}\zeta )} \bigr)\,d\zeta. \end{aligned}$$
(146)

By using the identities (see [39], p.4)

$$ \int\exp{\bigl(-\zeta^{2}\bigr)}\cos{(\alpha\zeta)}\,d\zeta= \frac{\sqrt{\pi}}{4}\exp{ \bigl(-\alpha^{2}/4 \bigr)} \biggl( \operatorname{erf} \biggl(\zeta+\frac{\alpha}{2}i \biggr) +\operatorname{erf} \biggl(\zeta-\frac{\alpha}{2}i \biggr) \biggr) $$
(147)

and

$$ \int\exp{\bigl(-\zeta^{2}\bigr)}\sin{(\alpha\zeta)}\,d\zeta= \frac{\sqrt{\pi}i}{4}\exp{ \bigl(-\alpha^{2}/4 \bigr)} \biggl( \operatorname{erf} \biggl(\zeta+\frac{\alpha}{2}i \biggr)-\operatorname{erf} \biggl(\zeta-\frac{\alpha }{2}i \biggr) \biggr), $$
(148)

where \(\alpha\in\mathbb{R}\) and i denotes the imaginary unit, we have

$$\begin{aligned} &\int_{-\infty}^{x/2\sqrt{t-\tau}}\exp{\bigl(-\zeta^{2} \bigr)}\cos{ (2\lambda\sqrt{t-\tau}\zeta )}\,d\zeta \\ &\quad=\frac{\sqrt{\pi}}{4}\exp{ \bigl(-\lambda^{2}(t-\tau) \bigr)} \biggl( \operatorname {erf} \biggl(\frac{x}{2\sqrt{t-\tau}}+i\lambda\sqrt{t-\tau} \biggr) \\ &\qquad{}+\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}-i\lambda\sqrt{t-\tau} \biggr)+2 \biggr) \end{aligned}$$
(149)

and

$$\begin{aligned} &\int_{-\infty}^{x/2\sqrt{t-\tau}}\exp{\bigl(-\zeta^{2} \bigr)}\sin{ (2\lambda\sqrt{t-\tau}\zeta )}\,d\zeta \\ &\quad=\frac{\sqrt{\pi}i}{4}\exp{ \bigl(-\lambda^{2}(t-\tau) \bigr)} \biggl( \operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}+i\lambda\sqrt{t-\tau} \biggr) \\ &\qquad{}- \operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}-i\lambda\sqrt{t-\tau} \biggr) \biggr). \end{aligned}$$
(150)

Then we have

$$\begin{aligned} & \int_{0}^{+\infty}\exp{ \bigl(-(x- \xi)^{2}/4(t-\tau) \bigr)}\sin{(\lambda\xi)}\,d\xi \\ &\quad=\frac{\sqrt{\pi(t-\tau)}}{2}\exp{\bigl(-\lambda^{2}(t-\tau)\bigr)} \biggl(\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}+i\lambda\sqrt{t-\tau } \biggr) \sin{(\lambda x)} \\ &\qquad{}+ \operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}-i\lambda\sqrt{t- \tau } \biggr)\sin{(\lambda x)}-\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau }}+i \lambda\sqrt{t-\tau} \biggr)i\cos{(\lambda x)} \\ &\qquad{}+ \operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}-i\lambda\sqrt{t- \tau } \biggr)i\cos{(\lambda x)}+2\sin{(\lambda x)} \biggr). \end{aligned}$$
(151)

By similar calculations, we have

$$\begin{aligned} & \int_{0}^{+\infty}\exp{ \bigl(-(x+ \xi)^{2}/4(t-\tau) \bigr)}\sin{(\lambda\xi)}\,d\xi \\ &\quad=\frac{\sqrt{\pi(t-\tau)}}{2}\exp{\bigl(-\lambda^{2}(t-\tau)\bigr)} \biggl(\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}-i\lambda\sqrt{t-\tau } \biggr)i\cos{(\lambda x)} \\ &\qquad{}- \operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}+i\lambda\sqrt{t- \tau } \biggr)i\cos{(\lambda x)}+\operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau }}+i \lambda\sqrt{t-\tau} \biggr)\sin{(\lambda x)} \\ &\qquad{}+ \operatorname{erf} \biggl(\frac{x}{2\sqrt{t-\tau}}-i\lambda\sqrt{t- \tau } \biggr)\sin{(\lambda x)}-2\sin{(\lambda x)} \biggr). \end{aligned}$$
(152)

Then we have

$$ \int_{0}^{+\infty}G(x,t,\xi,\tau) \varphi_{3}(\xi)\,d\xi=\exp { \bigl(-\lambda^{2}(t-\tau) \bigr)} \varphi_{3}(x),\quad x>0. $$
(153)

The proofs of Propositions 2.5, 2.6 and 2.7 follow from the expression for u given in (34), the expression for \(\int_{0}^{+\infty}G(x,t,\xi,0)h(\xi)\,d\xi \) obtained in (132) and the expression for \(\int_{0}^{+\infty}G(x,t,\xi,\tau)\Phi(\xi)\,d\xi\) obtained in (134), (144) and (153), respectively.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ceretani, A.N., Tarzia, D.A. & Villa, L.T. Explicit solutions for a non-classical heat conduction problem for a semi-infinite strip with a non-uniform heat source. Bound Value Probl 2015, 156 (2015). https://doi.org/10.1186/s13661-015-0416-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-015-0416-3

MSC

Keywords