Next Article in Journal
A Hybrid Multi-Step Probability Selection Particle Swarm Optimization with Dynamic Chaotic Inertial Weight and Acceleration Coefficients for Numerical Function Optimization
Next Article in Special Issue
Analytical Solutions to the Singular Problem for a System of Nonlinear Parabolic Equations of the Reaction-Diffusion Type
Previous Article in Journal
Theoretical Insights into the Structure of the Aminotris(Methylenephosphonic Acid) (ATMP) Anion: A Possible Partner for Conducting Ionic Media
Previous Article in Special Issue
Solvability and Bifurcation of Solutions of Nonlinear Equations with Fredholm Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Analytical and Numerical Study of a Two-Dimensional Nonlinear Heat Equation with a Source Term

1
Matrosov Institute for System Dynamics and Control Theory, Siberian Branch of the Russian Academy of Sciences, 134 Lermontov St., Irkutsk 664033, Russia
2
Institute of Engineering Science, Ural Branch of the Russian Academy of Sciences, 34 Komsomolskaya St., Ekaterinburg 620049, Russia
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(6), 921; https://doi.org/10.3390/sym12060921
Submission received: 7 May 2020 / Revised: 20 May 2020 / Accepted: 28 May 2020 / Published: 2 June 2020

Abstract

:
The paper deals with two-dimensional boundary-value problems for the degenerate nonlinear parabolic equation with a source term, which describes the process of heat conduction in the case of the power-law temperature dependence of the heat conductivity coefficient. We consider a heat wave propagation problem with a specified zero front in the case of two spatial variables. The solution existence and uniqueness theorem is proved in the class of analytic functions. The solution is constructed as a power series with coefficients to be calculated by a proposed constructive recurrent procedure. An algorithm based on the boundary element method using the dual reciprocity method is developed to solve the problem numerically. The efficiency of the application of the dual reciprocity method for various systems of radial basis functions is analyzed. An approach to constructing invariant solutions of the problem in the case of central symmetry is proposed. The constructed solutions are used to verify the developed numerical algorithm. The test calculations have shown the high efficiency of the algorithm.

1. Introduction

We consider a quasilinear parabolic equation in the case of power-law nonlinearity, which models the heat conduction process:
T t = α div ( T σ   T ) + H ( T ) .
Here, t is time, T is the required function (temperature), α , σ are positive constants, H ( T ) is a specified source function, and H ( 0 ) = 0 , div , are spatial divergence and spatial gradient.
Equation (1) is the complete form of the porous medium equation [1]. Besides heat conduction, Equation (1) describes polytropic gas filtration in a porous medium [2,3,4] and diffusion.
By the standard substitution, u = T σ ,   t = α t , Equation (1) is reduced to the equation
u t = u Δ u + 1 σ ( u ) 2 + η ( u ) ,
where η ( u ) = σ α u 1 1 σ H ( u 1 σ ) . It is assumed that the source function is such that η ( 0 ) = 0 . This is always true when σ > 1 .
Proceeding from the physical meaning of the problem, we consider only the values u 0 and T 0 . When u > 0 and T > 0 , it is clear that Equations (1) and (2), are equivalent. If, simultaneously, T = 0 and T σ = 0 , which is always true when σ > 0 , there is one-to-one correspondence between the values of the functions u and T ; however, the properties of the derivatives need to be further investigated.
It is Equation (2) that will be studied in what follows. Note that its characteristic feature is parabolic-type degeneration when u = 0 , since the factor in front of the Laplacian in the right-hand side becomes zero. For the solutions of Equation (2), this results in the appearance of the degeneration of some properties in the neighborhood of a line (point, surface), which are generally typical of hyperbolic equations. One of these properties is that Equation (2) has heat-wave (filtration-wave) type solutions, which can be constructed as special series [4,5]. Note that the study of degenerate partial differential and integro-differential equations applicable to mathematical physics and mechanics has received much attention from researchers in the school of thought headed by N. A. Sidorov [6], including proving theorems of the existence and uniqueness of classical [7] and generalized [8] solutions.
It is well known that analytical methods in solving nonlinear problems of mathematical physics are rather poorly applicable. Thus, all the above-mentioned existence and uniqueness theorems are local. In this respect, it is expedient to complement the analytical study by a numerical one.
The dual reciprocity boundary element method (DRBEM), first proposed in [9] for solving nonstationary heat conduction problems, is an effective means of solving boundary value problems for various parabolic equations, namely heat conduction [10,11,12], diffusion [13], advection–diffusion [14], convection–diffusion–reaction [15,16], etc. The common approach in these studies is the representation of the parabolic equation as an inhomogeneous Poisson equation with a time derivative in the right-hand part and the application of the boundary element method (BEM) to solving the obtained elliptic equation. An important role in applying the dual reciprocity method (DRM) is played by the choice of the form of radial basis functions [17,18]. When nonlinear problems are solved by the boundary element method [11,12,13], the DRM allows domain integrals to be reduced to boundary integrals, and this reduces the problem dimension, the subsequent solution being determined by the chosen time-stepping scheme. A similar approach was proposed by us in [19,20] for solving problems with a moving boundary for the degenerate nonlinear parabolic equation. In the present paper, this approach is extended to the numerical solution of a two-dimensional nonlinear equation with a source term.
Unfortunately, for approximate methods of constructing solutions to boundary value problems for nonlinear equations of mathematical physics, it is very seldom possible to prove any rigorous statements of convergence, excluding statements of the local convergence of power series [21]. An important tool for the verification of calculation results under these conditions is a comparison with exact solutions [22], their construction being often reduced to the integration of ordinary differential equations [23]. To study the properties of heat waves, exact solutions, in particular, enable one to go beyond the small neighborhood in which it is generally possible to prove the series convergence [24]. In the theory of blow-up regimes, developed by the researchers in Samarsky’s school of thought, exact solutions are used as illustrative examples [25]. New classes of wave-type exact solutions to the nonlinear heat conduction equation without sources (sinks) were obtained in [26], their construction being reducible to the integration of the Cauchy problems for the generalized Liénard equation [27,28].

2. The Existence and Uniqueness Theorem

We write Equation (2) for the two-dimensional case in the polar coordinates ρ , φ as
u t = u u ρ ρ + u ρ 2 σ + u u ρ ρ + 1 ρ 2 ( u φ 2 σ + u u φ φ ) + η ( u ) ,
where η ( 0 ) = 0 . The boundary condition is given as
u | ρ = b ( t , φ ) = 0 .
We formulate and prove the theorem of the existence and uniqueness of a nontrivial solution to the problems (3) and (4) in the class of analytical functions with a simultaneous construction of the solution in the form of a converging power series.
Theorem 1.
Assume that the function b ( t , φ ) in the problems (3) and (4) possesses the following properties:
  • b ( t , π ) = b ( t , π ) ,   b ( t , φ ) > 0 and η ( 0 ) = 0 .
  • b ( t , φ ) and 1 / b ( t , φ ) are analytical with respect to φ when π φ π and, in terms of t in some neighborhood of the initial time t = 0 , η ( u ) is analytical with respect to u .
Then, the problems (3) and (4) in some neighborhood of the closed line ρ = b ( 0 , φ ) , π φ π , has a unique nontrivial analytical solution, local with respect to t .
Proof. 
Theorem 1 is proved in two stages as follows: in Stage 1, the solution of the problems (3) and (4) is constructed as a power series with recurrently computed coefficients; in Stage 2, the convergence of the constructed series is proved. □
Stage 1.
Make a substitution of the independent variables in Equation (3),
τ = t ,   s = ρ b ( t , φ ) ,   ψ = φ .
With the substitution in (5), the derivatives become as follows: u ρ = u s , u t = u τ b τ u s , u φ = u ψ b ψ u s , u ρ ρ = u s s , u φ φ = u ψ ψ + b ψ 2 u s s b ψ u ψ s b ψ ψ u s . Then, Equation (3) becomes
u τ = b τ u s + u u s s + u s 2 σ + u u s b + s + 1 ( b + s ) 2 [ u u ψ ψ + u ψ 2 σ 2 b ψ ( u ψ u s σ + u u ψ s ) + b ψ 2 ( u u s s + u s 2 σ ) u b ψ ψ u s ] + η ( u ) .
Transform Equation (6) to a more convenient form by grouping the terms:
u τ = b τ u s + B ( τ , ψ , s ) ( u u s s + u s 2 σ ) + 1 b + s ( 1 b ψ ψ b + s ) u u s + 1 ( b + s ) 2 [ u u ψ ψ + u ψ 2 σ 2 b ψ ( u ψ u s σ + u u ψ s ) ] + η ( u ) .
Here, B ( τ , ψ , s ) = 1 + b ψ 2 / ( b + s ) 2 . The boundary condition, (4), can then be written as
u | s = 0 = 0 .
The solution to the problems (7) and (8) is constructed in the form of a series with respect to the powers of s :
u = k = 0 u k ( τ , ψ ) k ! s k ,
where u k = k u s k | s = 0 . It follows from the boundary conditions that u 0 ( τ , ψ ) = 0 .
In order to find u 1 , it is set that s = 0 in Equation (7). We obtain
0 = b τ u 1 + 1 σ B 0 u 1 2 ,
where B 0 = B | s = 0 .
Assume that u 1 0 (in the opposite case, we have a trivial solution). Then u 1 ( τ , ψ ) = σ β ( τ , ψ ) , where β ( τ , ψ ) = b τ ( τ , ψ ) / B 0 ( τ , ψ ) . To find u 2 , we differentiate both sides, set s = 0 and represent u 2 in terms of the known quantities. We arrive at the following:
u 2 = u 1 τ + [ b ψ ψ b ( 1 + 2 σ ) ] 1 b u 1 2 + 2 b ψ b 2 ( 1 + 1 σ ) u 1 u 1 ψ η ( 0 ) u 1 b τ + B 0 ( 1 + 2 σ ) u 1 ,
and so on. By differentiating Equation (7) k times and setting s = 0 , we have
[ B 0 ( k + 2 σ ) u 1 + b τ ] u k + 1 = Φ k ,
where Φ k depends on the coefficients u 0 , u 1 ,…, u k (and their derivatives with respect to τ , ψ ). Being too cumbersome, the expressions for Φ k are omitted here. It can be easily demonstrated that the multiplier for u k + 1 in the latter equation is ( k σ + 1 ) b τ 0 ; i.e., all the coefficients of the series represented by Equation (9) are determined uniquely.
Stage 2.
Let us now prove the convergence of the series in Equation (9).
All u k ( τ , ψ ) are analytical in some neighborhood of τ = 0 and at all π ψ π . This follows from the construction procedure and the theorem conditions; namely, Φ k denotes analytic functions by construction since they have been obtained from the differentiation of analytical functions; ( k σ + 1 ) b τ 0 is an analytic function according to condition (2) of the theorem. It also follows from the theorem statement that η ( u ) = u η * ( u ) , where η * ( u ) is a function analytical in the neighborhood of u = 0 .
The proof follows the classical majorant method [2], which is generally applied to proving the Cauchy–Kovalevskaya theorem and its analogs. In this case, the construction of the majorant is complicated by the fact that the equation we have is not the Cauchy–Kovalevskaya type, since it cannot be solved with respect to the highest derivative. In this connection, we first eliminate the singularity by means of partial expansion of the required function in a Taylor series. Then we construct a majorant equation, unsolved with respect to the highest derivative, but already lacking singularity. Finally, we resolve this equation with respect to the highest derivative by differentiating both sides by the variable s .
We construct a majorant problem for Equations (7)–(8). We first introduce a new variable v , defined from
u ( τ , s , ψ ) = s σ β ( τ , ψ ) + s 2 v .
The substitution represented by Equation (13) brings the problems (7) and (8) to the form
2 ( σ + 1 ) v + ( 1 + 4 σ ) s v s + σ s 2 v s s = g ( τ , ψ , s ) [ 1 + s G 1 ( τ , ψ , s , v , v τ , v ψ )   + s 2 G 2 ( τ , ψ , s , v , v ψ , v s , v ψ ψ , v s ψ )   + s 3 G 3 ( τ , ψ , s , v , v ψ , v s , v ψ ψ , v s ψ , v s s ) ]   .
The cumbersome expressions for the known functions g , G i and i = 1 , 2 , 3 , are omitted here. Note, however, that they possess the following properties (provided that the conditions of Theorem 1 are met):
  • g ( τ , ψ , s ) is analytical in some neighborhood of τ = 0 ,   s = 0 and at all π ψ π .
  • G i and i = 1 , 2 , 3 are quadratic polynomials with respect to the required function v and its derivatives, whose coefficients are functions of the independent variables τ ,   ψ ,   s , analytical in some neighborhood of τ = 0 ,   s = 0 and at all π ψ π .
Equation (14) has a unique analytical solution in some neighborhood of the manifold s = 0 . There is no need to specify the Cauchy conditions for it when s = 0 , since, due to degeneration, Equation (14) is solvable for the only pair of functions v | s = 0 , v | s = 0 .
The solution of Equation (14) is constructed as a series with respect to the powers of s with recurrently computable coefficients,
v = k = 0 v k ( τ , ψ ) k ! s k ,   v k = k v s k | s = 0 .
For v 0 , assuming in Equation (14) that s = 0 , we have v 0 ( τ , ψ ) = g ( τ , ψ , 0 ) / ( 2 σ + 2 ) .
To compute v 1 , we take a derivative with respect to s from both sides of Equation (14) and set s = 0 . We obtain v 1 ( τ , ψ ) = { g s ( τ , ψ , 0 ) + g ( τ , ψ , 0 ) [ 1 + G 1 ( τ , ψ , 0 , v 0 , v 0 τ , v 0 ψ ) ] } / ( 6 σ + 3 ) . Thus, the base of induction has been created.
The coefficients in Equation (15) are the found by successive differentiation of Equation (14) followed by substitution of s = 0 . This results in the following recurrent relationships:
v k ( τ , ψ ) = 1 ( k + 2 ) [ ( k + 1 ) σ + 1 ] [ k g s k | s = 0 + k k 1 ( g G 1 ) s k 1 | s = 0 + k ( k 1 ) k 2 ( g G 2 + s g G 3 ) s k 2 | s = 0 ] .
It is obvious that, when k 2 , the right-hand sides in Equation (16) depend on the coefficients v 0 , v 1 ,…, v k 1 , and this enables the series represented by Equation (15) to be uniquely constructed. Therewith, it follows from the condition of theorem 1 and the properties of analytical functions that all v k ( τ , ψ ) are analytical when π ψ π and in some neighborhood of the initial time τ = 0 .
Let us now construct a majorant problem for Equation (16). Since, when k 2 , the evident inequalities
0 < 1 ( k + 2 ) [ ( k + 1 ) σ + 1 ] < k ( k + 2 ) [ ( k + 1 ) σ + 1 ] k ( k 1 ) ( k + 2 ) [ ( k + 1 ) σ + 1 ] < 1 σ
are valid, the majorant problem has in this case the following form:
V s s = 1 σ [ F 0 + F 1 ( 1 + V s + V s τ + V s ψ ) + F 2 + s F 3 ] ,
V | s = 0 = V 0 ( τ , ψ ) ,   V s | s = 0 = V 1 ( τ , ψ ) .
Here, V 0 ( τ , ψ ) and V 1 ( τ , ψ ) are the functions majorizing v 0 ( τ , ψ ) and v 1 ( τ , ψ ) , respectively, and majorizing zero; the functions F i and i = 0 , , 3 , possess the following properties:
F 0 = M 0 ( 1 s + τ R 0 ) ( 1 Ψ Π 0 ) > > 2 g s 2 ;
F 1 = M 1 P 1 ( V , V τ , V ψ ) ( 1 s + τ R 1 ) ( 1 Ψ Π 1 ) > > ( g G 1 ) s , g G 1 V , g G 1 V τ , g G 1 V ψ ;
F 2 = M 2 P 2 ( V , V τ , V ψ , V s , V ψ ψ , V s ψ ) ( 1 s + τ R 2 ) ( 1 Ψ Π 2 ) > > g G 2 ;
F 3 = M 3 P 3 ( V , V τ , V ψ , V s , V ψ ψ , V s ψ , V s s ) ( 1 s + τ R 3 ) ( 1 Ψ Π 3 ) > > g G 3 ,
where M i > 0 , R i > 0 , Π i > π and i = 0 , , 3 are constants; P i > 0 and i = 1 , 2 , 3 are the quadratic polynomials of their variables; and > > symbolizes function majorization.
To prove the existence of the unique analytical solution, majorizing zero, for the problems (18) and (19), one can differentiate the both sides of Equation (18) with respect to s and solve the resulting equation for V s s s . The following relationship ensues:
V s s s = Ψ ( τ , ψ , s , V , V τ , V ψ , V s , V ψ ψ , V s τ , V s ψ , V s s , V s ψ ψ , V s s ψ ) 1 s σ F 3 V s s ,
where the function Ψ is analytical, majorizing zero, and, in terms of the variable ψ , the analyticity domain contains the whole interval π ψ π .
Equation (24) is of the third order; therefore, to write the Cauchy conditions, one can supplement conditions (19) with a condition for the second derivative V s s | s = 0 , which can be easily obtained by setting s = 0 in the both sides of Equation (18). As a result,
V | s = 0 = V 0 ( τ , ψ ) ,   V s | s = 0 = V 1 ( τ , ψ ) ,
V s s | s = 0 = 1 σ [ F 0 + F 1 ( 1 + V s + V s τ + V s ψ ) + F 2 ] | s = 0 = V 2 ( τ , ψ ) .
Equation (24) is resolved with respect to the highest derivative. Its right-hand side and condition (25) are analytical functions; consequently, the problems (24) and (25) has a unique analytical solution. Therewith, it follows from the properties of the right-hand side of Equation (24) that this solution a) majorizes zero; b) in terms of the variable ψ , the analyticity domain contains the whole interval π ψ π . Hence, according to the construction of the problems (24) and (25), it follows that the statement of Theorem 1 is true.

3. The BEM Solution Algorithm

In the Cartesian coordinates x 1 and x 2 , Equation (3) and the boundary condition (4) have the form
u t = u ( u x 1 x 1 + u x 2 x 2 ) + 1 σ ( u x 1 2 + u x 2 2 ) + η ( u ) ,
u | b ( t , x ) = 0 = 0 .
Here, the equation b ( t , x ) = 0 at each moment of time t determines the zero front of a heat wave S ( t ) , i.e., a closed smooth line bounding the domain V ( t ) containing the origin; x ( x 1 , x 2 ) is a point on the plane. Assume that, if t 1 < t 2 , then V ( t 1 ) V ( t 2 ) . The problem consists in the determination of the function u = u ( t , x ) satisfying Equations (26) and (27) in the domain t [ 0 , t * ] , x Ω ( t ) , where Ω ( t ) is the spatial domain bounded by S ( 0 ) and S ( t ) .
When condition (27) is met, the following relationship is valid (see Appendix A):
q | b ( t , x ) = 0 = σ b t ( t , x ) b x 1 2 ( t , x ) + b x 2 2 ( t , x ) ,
where q = u n is heat flux and n is the vector of the external normal to the domain boundary at time t .
To solve the problems (26) and (27) on the basis of the boundary element method, we propose the following time-step algorithm. At each (k-th) time step, for t = t k = k h , we solve a boundary value problem for an elliptic-type equation. Namely, in the domain Ω ( t k ) , the Poisson equation is considered:
Δ u = 1 u ( u t ( u ) 2 σ η ( u ) ) ,
with the following boundary conditions corresponding to Equations (27) and (28):
u | x S ( t k ) = 0 ,
q | x S ( t k ) = σ b t b x 1 2 + b x 2 2 .
The iterative solution of the problems (29)–(31) by the BEM leads to the relationship
u ( n + 1 ) ( ξ ) = S k [ q ( n + 1 ) ( x ) u * ( ξ , x ) u ( n + 1 ) ( x ) q * ( ξ , x ) ] d S ( x )   Ω ( t k ) 1 u ( n ) ( u t ( n ) ( u ( n ) ) 2 σ η ( u ( n ) ) ) u * ( ξ , x ) d Ω ( x ) ,
where u ( n ) ( x ) is the n-th iteration of the solution at the step t k , ξ is an internal point of the domain Ω ( t k ) , S k = S ( 0 ) S ( t k ) , u * ( ξ , x ) is the fundamental solution of the Laplace equation, and q * ( ξ , x ) = u * ( ξ , x ) n [29].
To compute the integral over Ω ( t k ) , which is involved in the right-hand side of Equation (32), we apply the dual reciprocity method. The expression 1 u ( n ) ( u t ( n ) ( u ( n ) ) 2 σ η ( u ( n ) ) ) in the integrand is represented as
1 u ( n ) ( u t ( n ) ( u ( n ) ) 2 σ η ( u ( n ) ) ) = i = 1 K α i ( n ) f i ( x ) ,
where f i denotes radial basis functions (RBF) whose values depend on the distance between the current point and the specified collocation points y 1 , y 2 , , y K lying in the domain Ω ( t k ) and on the boundary S k , i.e., f i = f ( r i ) , where r i = x y i .
In view of Equation (33), the integral over Ω ( t k ) can be transformed into an integral over the boundary S k :
Ω ( t k ) 1 u ( n ) ( u t ( n ) ( u ( n ) ) 2 σ η ( u ( n ) ) ) u * ( ξ , x ) d Ω ( x ) = i = 1 K α i ( n ) ( u ^ i ( ξ ) + S k [ q ^ i ( x ) u * ( ξ , x ) u ^ i ( x ) q * ( ξ , x ) ] d S ( x ) ) .
Here, u ^ i ( ξ ) is such a function that f i = Δ u ^ i , i = 1 , , K and q ^ i ( x ) = u ^ i ( x ) n ; the coefficients α i ( n ) are determined on each iteration from the system of linear equations
1 u ( n ) ( y j ) [ u t ( n ) ( y j ) ( u ( n ) ( y j ) ) 2 σ η ( u ( n ) ( y j ) ) ] = i = 1 K α i ( n ) f i ( y j ) , j = 1 , , K .
At the first iteration, α i ( 0 ) = 0 , i = 1 , , K .
In view of Equation (34), the following equation is true for the boundary point x 0 S k :
1 2 u ( n + 1 ) ( x 0 ) = S k [ q ( n + 1 ) ( x ) u * ( x 0 , x ) u ( n + 1 ) ( x ) q * ( x 0 , x ) ] d S ( x )   + i = 1 K α i ( n ) ( u ^ i ( x 0 ) S k [ q ^ i ( x ) u * ( x 0 , x ) u ^ i ( x ) q * ( x 0 , x ) ] d S ( x ) ) .
Since both boundary conditions, (30) and (31), are specified on the boundary S ( t k ) , we need to divide this boundary and the boundary S ( 0 ) into equal numbers of boundary elements. Dividing each of these boundaries into N rectilinear boundary elements with constant approximation and writing Equation (36) for each node, we arrive at a system of linear equations for the determination of the nodal values of temperature and flux on the boundary S ( 0 ) :
1 2 u j ( n + 1 ) = m = 1 2 N ( q m ( n + 1 ) e m u * ( x j , x ) d S ( x ) u m ( n + 1 ) e m q * ( x j , x ) d S ( x ) )   + i = 1 K α i ( n ) ( u ^ i ( x j ) m = 1 2 N ( q ^ i ( x m ) e m u * ( x j , x ) x d S ( x ) u ^ i ( x m ) e m q * ( x j , x ) d S ( x ) ) ) ,   j = 1 , 2 N .
Here, e m , m = 1 , , 2 N denotes the boundary elements; x m is the node corresponding to the element e m ; u m and q m are the nodal values of temperature and flux.
Thus, with the use of Equations (32)–(37), the problems (26) and (27) is solved in time steps. At each step, t = t k , the following iteration procedure is performed:
  • We assume u ( 0 ) 0 as the initial iteration;
  • Solving system (37), we determine the next, (n+1)-th, iteration of the nodal values of temperature and flux on the boundary S ( 0 ) , u m ( n + 1 ) and q m ( n + 1 ) ;
  • The determined nodal values give us the (n+1)-th iteration of the solution
    u ( n + 1 ) ( ξ ) = m = 1 2 N ( q m ( n + 1 ) e m u * ( ξ , x ) d S ( x ) u m ( n + 1 ) e m q * ( ξ , x ) d S ( x ) )   + i = 1 K α i ( n ) ( u ^ i ( ξ ) m = 1 2 N ( q ^ i ( x m ) e m u * ( ξ , x ) d S ( x ) u ^ i ( x m ) e m q * ( ξ , x ) d S ( x ) ) ) ;
  • Solving system (35), we determine the coefficients α i ( n + 1 ) for the next iteration;
  • We go to the next iteration.
The iteration process stops with the (n+1)-th iteration, close enough to the n-th one, according to the condition
max i { | u i ( n + 1 ) u i ( n ) | u i ( n + 1 ) } < ε ,
and the (n+1)-th iteration is assumed as the solution at step t = t k ,
u ( t k , ξ ) = u ( n + 1 ) ( ξ ) .
The time derivative u t ( n ) ( y j ) in system (35) at stage 4 is calculated with the use of finite differences as follows:
u t ( n ) ( y j ) = { u ( n ) ( y j ) u ( t k 1 , y j ) h ,   y i Ω ( t k 1 ) ; u ( n ) ( y j ) h j * ,   y i Ω ( t k 1 ) .
Here, h is the size of the time step, h j * = t k t j * , and t j * is the instant of time at which the point y j belongs to the zero front, i.e., b ( t j * , y j ) = 0 . At the first time step, the derivative is calculated by the lower formula in the right-hand side of Equation (41) for all the collocation points y j .
Note that the integrals e m u * ( ξ , x ) d S ( x ) and e m f * ( ξ , x ) d S ( x ) involved in Equations (37) and (38) are computed exactly, with the use of the analytical formulae derived in [30].

4. Exact Solutions

We seek the exact solution of Equation (26) in the form u = W ( t ) U ( z ) , where z = ( x 1 2 + x 2 2 ) / a ( t ) . We used similar representations earlier in [17] for similar problems without a source term. Then, the equality U ( 1 ) = 0 corresponds to the condition expressed by Equation (27), when
b ( t , x ) = x 1 2 + x 2 2 a ( t ) .
Substituting the expression W ( t ) U ( z ) for u into Equation (26), reducing similar terms, and multiplying both parts by a / 4 W 2 , we arrive at the following relationship:
W ( t ) a ( t ) 4 W 2 ( t ) U a ( t ) 4 W ( t ) z U = U ( z U + U ) + z σ ( U ) 2 + a ( t ) 4 W 2 ( t ) η ( W U ) .
The examination of Equation (43) has enabled us to find that the following equalities are sufficient conditions for it to become an ordinary differential equation (ODE) with respect to U ( z ) :
η ( u ) = λ u γ ,   a ( t ) = R ( 1 + μ t ) ω ,   ω = γ 2 γ 1 ,   W = a ( t ) = R μ ω ( 1 + μ t ) ω 1 .
Here, γ , λ , μ , ω , and R are constants, γ > 2 and R > 0 . Then, Equation (43) becomes
ω 1 4 ω U 1 4 z U = U ( z U + U ) + z σ ( U ) 2 + λ R U γ 4 ( R ω μ ) ω / ( ω 1 ) .
Finally, having grouped the terms and added the initial conditions, we obtain the Cauchy problem for the ODE:
z U U + U U + z σ ( U ) 2 + z 4 U + 1 4 ( γ 2 ) U + λ R γ 1 U γ 4 ( ω μ ) 2 γ = 0 ,   U ( 1 ) = 0 ,   U ( 1 ) = σ 4 .
Here, the condition for the derivative results from the requirements of compatibility of problem (46) and solution nontriviality.
Problem (46) is degenerate when z = 0 since the multiplier at U is zeroed, i.e., the classical existence and uniqueness theorems are inapplicable to it. Nevertheless, according to Theorem 1, it has a unique nontrivial locally analytical solution when γ = 1 ,   2 ,   . If γ > 1 and is a non-integer, problem (46) does not fall within the scope of the theorem, and the issue of its solvability remains a challenge. We here suppose that the classical (i.e., twice continuously differentiable) solution does exist in this case, although it is not analytical. When γ < 1 , it is obvious that problem (46) has no classical solution.
The computational experiment shows that the domain of convergence of an analytical solution to problem (46) in the form of the series
U = n = 0 U n n ! ( z 1 ) n ,   U n = n U U n | z = 1 ,
which, in fact, is a particular case of series (9), significantly exceeds that in the general case. The issue whether condition (44) is necessary remains beyond consideration so far.
It follows from the initial conditions that U 0 = 0 and U 1 = σ / 4 . The other coefficients of the series (47) are determined by successively differentiating both sides of Equation (46) and subsequently substituting 1 for z .
Thus, for the case η ( u ) = λ u γ , b ( t , x ) = x 1 2 + x 2 2 R ( 1 + μ t ) ω , ω = ( γ 2 ) / ( γ 1 ) , we obtain a solution to problems (26) and (27) in the form
u ( t , x 1 , x 2 ) = R μ ω ( 1 + μ t ) ω 1 U ( x 1 2 + x 2 2 R ( 1 + μ t ) ω ) ,
where the function U ( z ) , in turn, is determined from the solution of the Cauchy problem (46).
Finally, note that, when λ = 0 , i.e., without a source, the formula represented by Equation (48) also gives a solution to problems (26) and (27); however, the restriction on ω weakens considerably (only ω 0 remains) and the multiplier at U has the form ( 1 ω ) / ( 4 ω ) .

5. Test Examples

As Example 1, we consider a sourceless problem ( η 0 ) with a symmetric zero front of the form (42) when
a ( t ) = R ( 1 + μ t ) 1 / ( σ + 1 ) .
In this case, Equation (46) is integrated in quadratures, and the exact solution (48) has the form
u = x 1 2 + x 2 2 C + θ t + C χ 1 R ( C + θ t ) χ ,
where θ = 4 + 4 / σ , χ = 4 / θ , μ = θ / C , and C is an arbitrary constant.
In all the examples with a zero front symmetric relative to the origin, the two-dimensional BEM solutions are also symmetric. Therefore, they are compared with the exact solutions along the axis O x 1 . Figure 1 shows a comparison between the BEM solution and the exact solution in the form of Equation (50) with the following values of the parameters: σ = 3 , R = 1 , C = 5 .
In Example 2, the BEM solution is compared with the exact solution, (48), for the following parameter values: λ = 1 , γ = 3 , R = 1 , μ = 1 , ω = 0.5 . The comparison is shown in Figure 2.
The calculation results for various values of the parameters agree well with the exact solution, (48). In all the calculation variants, the greatest deviation of the numerical solution from the exact one at different times occurs on the boundary S ( 0 ) , and this agrees well with the form of the boundary condition (27). Therefore, the relative error along S ( 0 ) is used to estimate the accuracy of the BEM solution for Example 2.
Table 1 shows the relative errors of the BEM solutions on the boundary S ( 0 ) for various numbers of the boundary elements for h = 0.1 and h = 0.05 . The linear functions f i = 1 + r i are used in these calculations as RBFs. The calculations were made for ε = 10 7 .
The calculation results demonstrate a high efficiency in solving problems (26) and (27) by the boundary element method, as well as convergence with an increasing number of boundary elements.

6. Analysis of Using Radial Basis Functions

A crucial issue of the effectiveness of the presented algorithm is to select a system of RBFs and their parameters as the most suitable for the class of problems under study. To analyze the use of various kinds of RBF, the constructed algorithm is implemented in the form of a program. The analysis is based on comparing the calculation results for the Example 2, considered in the previous section, with the exact solution in the form of Equation (48).
The form of the RBFs, their shape parameters and the time step are taken as analysis factors. Five RBF systems are considered, namely, the polyharmonic splines f i = r i and f i = r i 3 , the linear functions f i = 1 + r i , the scaled linear functions f i = 1 + δ r i , and the multiquadric functions f i = 1 + ( δ r i ) 2 . The analysis is aimed at estimating the effect of the form of the RBF and the value of the shape parameter δ on the solution accuracy.
The solutions obtained at different RBFs and parameter values are fairly close. The solution accuracy estimation results are shown in Table 2. The table shows relative errors along the boundary S ( 0 ) at three moments of time for BEM solutions obtained with the use of various RBFs, with the time steps h = 0.1 and h = 0.05 when N = 350 . The values δ 1 = 1 / ( 0.815 d ) , where d = ( 1 / N ) i = 1 N d i , d i is the distance from the i-th collocation point to the nearest other point [31], and δ 2 = 0.8 N / D , where D is the diameter of the smallest circle containing all the collocation points [32], are taken as the values of the shape parameter in the scaled linear functions and in the multiquadrics.
The calculations have shown that the solution accuracy increases as the time step decreases, and this testifies to the convergence of the algorithm developed. The comparison among the results of using different RBF systems enables us to make the following inferences. The BEM solutions obtained with the use of all the selected RBFs have small relative errors, so that the algorithm is stable with respect to the choice of RBFs. The best results have been obtained with the use of the multiquadric functions.
Thus, the developed algorithm, based on BEM with the application of the dual reciprocity method, allows one to solve, with a high accuracy, problems of the form expressed by Equations (26) and (27) in a finite time interval.

7. Conclusions

The paper has discussed the problem of constructing a heat wave for a nonlinear heat conduction equation with a source (sink) in the case of two spatial variables. In order to solve this problem, the following two different approaches are applied: the power series method, enabling one to prove the existence and uniqueness of the solution in the neighborhood of the initial time moment and to construct the solution in the form of a converging power series, and the boundary element method, allowing the problem to be solved on a specified finite time interval. Calculations showing a stable convergence of the algorithm have been made. Exact solutions have been used to verify the numerical method, their construction being reduced to the integration of the Cauchy problem for the second-order ODE with a singularity. The comparison of the BEM calculations with the here-obtained solutions has testified to a practically complete coincidence, which allows the conclusion that the BEM algorithm works correctly.
Further research may involve consideration of other heat wave initiation problems in a two-dimensional statement, as well as an increase in the problem dimensionality.

Author Contributions

Conceptualization, A.K. and L.S.; methodology, A.K. and L.S.; software, O.N.; validation, A.K., L.S. and O.N.; formal analysis, A.K. and A.L.; data curation, L.S. and O.N.; writing—original draft preparation, A.K. and L.S.; writing—review and editing, A.K., L.S., O.N. and A.L.; visualization, L.S. and O.N.; supervision, A.K. and L.S.; funding acquisition, A.K. and L.S. All authors have read and agreed to the published version of the manuscript.

Funding

The study was funded by RFBR, research project № 20-07-00407. The study was funded by RFBR and MOST according to research project № *20-51-S52001*.

Acknowledgments

The authors are very grateful to the anonymous reviewers for their time, as well as valuable criticism and suggestions. This has helped us to improve the manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Calculation of Heat Flux on the Zero Front of a Heat Wave

Consider Equation (2) with the given boundary condition (27) in the plane of the Cartesian coordinates x 1 , x 2 and determine the heat flux values along the zero front given by equation b ( t , x ) = 0 . By definition,
q | b ( t , x ) = 0 = d u d n | b ( t , x ) = 0 = u · n | b ( t , x ) = 0
where n is the vector of the external normal to the boundary b ( t , x ) = 0 ; the dot denotes a scalar product.
Since the required function takes the zero value on the zero front, its total time derivative along this front is identically equal to zero:
d u d t | b ( t , x ) = 0 = ( u t + u · x t ) | b ( t , x ) = 0 0 .
Thus,
u t | b ( t , x ) = 0 = u · x t .
Considering Equation (2) along the zero front in view of condition (27) and equality (A3), we obtain
u · x t | b ( t , x ) = 0 = ( u ) 2 σ
and then
u · ( u + σ x t ) | b ( t , x ) = 0 = 0 .
It follows from the procedure of constructing series (9) that u 1 0 and, therefore, u t | b ( t , x ) = 0 0 . Hence, in view of Equations (2) and (27), ( u ) 2 / σ 0 , i.e., u 0 . Consequently, the vectors u and u + σ x t are nonorthogonal; consequently, it follows from Equation (A5) that
u | b ( t , x ) = 0 = σ x t .
The components of the vector x t are defined as
x 1 t | b ( t , x ) = 0 = b t ( t , x ) b x 1 ( t , x ) ,   x 2 t | b ( t , x ) = 0 = b t ( t , x ) b x 2 ( t , x ) .
Then,
u | b ( t , x ) = 0 = ( σ b t ( t , x ) b x 1 ( t , x ) , σ b t ( t , x ) b x 1 ( t , x ) ) .
The components of the vector n are found as the normed gradient of the function b ( t , x ) ,
n 1 = b x 1 ( t , x ) b x 1 2 ( t , x ) + b x 2 2 ( t , x ) ,   n 2 = b x 2 ( t , x ) b x 1 2 ( t , x ) + b x 2 2 ( t , x ) .
Substituting Equations (A8) and (A9) into Equation (A1), we arrive at Equation (28) from Section 3,
q | b ( t , x ) = 0 = σ b t ( t , x ) b x 1 2 ( t , x ) + b x 2 2 ( t , x ) .

References

  1. Vazquez, J.L. The Porous Medium Equation: Mathematical Theory; Clarendon Press: Oxford, UK, 2007. [Google Scholar] [CrossRef]
  2. Evans, L.C. Partial Differential Equations, 2nd ed.; American Mathematical Society: Providence, RI, USA, 2010. [Google Scholar] [CrossRef] [Green Version]
  3. Barenblatt, G.I.; Entov, V.M.; Ryzhik, V.M. Theory of Fluid Flowsthrough Natural Rocks; Kluwer Academic Publishers: Dordrecht, The Netherlands; Boston, MA, USA, 1990. [Google Scholar]
  4. Sidorov, A.F. Analytic representations of solutions of nonlinear parabolic equations of time-dependent filtration (porous medium) type. Sov. Math. Dokl. 1985, 31, 40–44. [Google Scholar]
  5. Filimonov, M.Y.; Korzunin, L.G.; Sidorov, A.F. Approximate methods for solving nonlinear initial boundary-value problems based on special construction of series. Russ. J. Numer. Anal. Math. Model. 1993, 8, 101–125. [Google Scholar] [CrossRef]
  6. Sidorov, N.A.; Loginov, B.V.; Sinitsyn, A.V.; Falaleev, M.V. Lyapunov-Schmidt Methods in Nonlinear Analysis and Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2002. [Google Scholar] [CrossRef]
  7. Sidorov, N.A. Classic Solutions of Boundary Value Problems for Partial Differential Equations with Operator of Finite Index in the Main Part of Equation. Bull. Irkutsk State Univ. Ser. Math. 2019, 27, 55–70. [Google Scholar] [CrossRef]
  8. Sidorov, D.N.; Sidorov, N.A. Generalized solutions in the problem of dynamical systems modeling by Volterra polynomials. Autom. Remote Control 2011, 72, 1258–1263. [Google Scholar] [CrossRef]
  9. Wrobel, L.C.; Brebbia, C.A.; Nardini, D. The dual reciprocity boundary element formulation for transient heat conduction. In Finite Elements in Water Resources VI; Springer: Berlin, Germany, 1986; pp. 801–811. [Google Scholar]
  10. Tanaka, M.; Matsumoto, T.; Yang, Q.F. Time-stepping boundary element method applied to 2-D transient heat conduction problems. Appl. Math. Model. 1994, 18, 569–576. [Google Scholar] [CrossRef]
  11. Tanaka, M.; Matsumoto, T.; Takakuwa, S. Dual reciprocity BEM for time-stepping approach to the transient heat conduction problem in nonlinear materials. Comput. Methods Appl. Mech. Eng. 2006, 195, 4953–4961. [Google Scholar] [CrossRef]
  12. Divo, E.; Kassab, A.J. Transient non-linear heat conduction solution by a dual reciprocity boundary element method with an effective posteriori error estimator. Comput. Mater. Contin. 2005, 2, 277–288. [Google Scholar] [CrossRef]
  13. Wrobel, L.C.; Brebbia, C.A. The dual reciprocity boundary element formulation for nonlinear diffusion problems. Comput. Methods Appl. Mech. Eng. 1987, 65, 147–164. [Google Scholar] [CrossRef]
  14. Singh, K.M.; Tanaka, M. Dual reciprocity boundary element analysis of transient advection-diffusion. Int. J. Numer. Method H 2003, 13, 633–646. [Google Scholar] [CrossRef]
  15. AL-Bayati, S.A.; Wrobel, L.C. A novel dual reciprocity boundary element formulation for two-dimensional transient convection–diffusion–reaction problems with variable velocity. Eng. Anal. Bound. Elem. 2018, 94, 60–68. [Google Scholar] [CrossRef]
  16. Fendoglu, H.; Bozkaya, C.; Tezer-Sezgin, M. DBEM and DRBEM solutions to 2D transient convection-diffusion-reaction type equations. Eng. Anal. Bound. Elem. 2018, 93, 124–134. [Google Scholar] [CrossRef]
  17. Powell, M.J.D. The Theory of Radial Basis Function Approximation. In Advances in Numerical Analysis; Light, W., Ed.; Oxford Science Publications: Oxford, UK, 1992; Volume 2. [Google Scholar]
  18. Golberg, M.A.; Chen, C.S.; Bowman, H. Some recent results and proposals for the use of radial basis functions in the BEM. Eng. Anal. Bound. Elem. 1999, 23, 285–296. [Google Scholar] [CrossRef]
  19. Kazakov, A.L.; Spevak, L.F. Numerical and analytical studies of a nonlinear parabolic equation with boundary conditions of a special form. Appl. Math. Model. 2013, 37, 6918–6928. [Google Scholar] [CrossRef]
  20. Kazakov, A.L.; Spevak, L.F. An analytical and numerical study of a nonlinear parabolic equation with degeneration for the cases of circular and spherical symmetry. Appl. Math. Model. 2016, 40, 1333–1343. [Google Scholar] [CrossRef]
  21. Kazakov, A.L.; Lempert, A.A. Existence and uniqueness of the solution of the boundary-value problem for a parabolic equation of unsteady filtration. J. Appl. Mech. Tech. Phys. 2013, 54, 251–258. [Google Scholar] [CrossRef]
  22. Polyanin, A.D.; Zaitsev, V.F. Handbook of Nonlinear Partial Differential Equations; Chapman and Hall/CRC Press: Boca Raton, FL, USA; London, UK; New York, NY, USA, 2012. [Google Scholar]
  23. Kosov, A.A.; Semenov, E.I. Exact Solutions of the Nonlinear Diffusion Equation. Sib. Math. J. 2019, 60, 93–107. [Google Scholar] [CrossRef]
  24. Filimonov, M. Application of method of special series for solution of nonlinear partial differential equations. In AIP Conference Proceedings; American Institute of Physics: College Park, MD, USA, 2014; Volume 1631, p. 218. [Google Scholar] [CrossRef]
  25. Samarskii, A.A.; Galaktionov, V.A.; Kurdyumov, S.P.; Mikhailov, A.P. Blow-Up in Quasilinear Parabolic Equations; De Gruyte: Berlin, Germany; New York, NY, USA, 1995. [Google Scholar] [CrossRef]
  26. Kazakov, A.L.; Orlov, S.S.; Orlov, S.S. Construction and study of exact solutions to a nonlinear heat equation. Sib. Math. J. 2018, 59, 427–441. [Google Scholar] [CrossRef]
  27. Sinelshchikov, D.I.; Kudryashov, N.A. Integrable Nonautonomous Liénard-Type Equations. Theor. Math. Phys. 2018, 196, 1230–1240. [Google Scholar] [CrossRef]
  28. Guha, P.; Ghose-Choudhury, A. Nonlocal transformations of the generalized Liénard type equations and dissipative Ermakov-Milne-Pinney systems. Int. J. Geom. Methods Mod. Phys. 2019, 16, 1950107. [Google Scholar] [CrossRef] [Green Version]
  29. Brebbia, C.A.; Telles, J.C.F.; Wrobel, L.C. Boundary Element Techniques; Springer: Berlin, Germany, 1984. [Google Scholar] [CrossRef]
  30. Fedotov, V.P.; Spevak, L.F. One approach to the derivation of exact integration formulae in the boundary element method. Eng. Anal. Bound. Elem. 2008, 32, 883–888. [Google Scholar] [CrossRef]
  31. Hardy, R.L. Multiquadric equations of topography and other irregular surfaces. J. Geophys. Res. 1971, 76, 1905–1915. [Google Scholar] [CrossRef]
  32. Franke, R. Scattered data interpolation: Tests of some methods. Math. Comput. 1982, 38, 181–200. [Google Scholar] [CrossRef]
Figure 1. Comparison between the BEM solution and the exact solution, η 0 .
Figure 1. Comparison between the BEM solution and the exact solution, η 0 .
Symmetry 12 00921 g001
Figure 2. Comparison between the BEM solution and the exact solution, η = u 3 .
Figure 2. Comparison between the BEM solution and the exact solution, η = u 3 .
Symmetry 12 00921 g002
Table 1. Relative errors of BEM solutions for various numbers of boundary elements.
Table 1. Relative errors of BEM solutions for various numbers of boundary elements.
thRelative Error
N = 150N = 250N = 300N = 350
0.30.10.000690.000470.000390.00035
0.60.10.000810.000580.000480.00043
10.10.000950.000710.000600.00052
0.30.050.000610.000410.000340.00029
0.60.050.000720.000510.000430.00037
10.050.000840.000620.000540.00045
Table 2. Relative errors of BEM solutions for various RBFs.
Table 2. Relative errors of BEM solutions for various RBFs.
thRelative Error
f i = r i f i = r i 3 f i = 1 + r i f i = 1 + δ 1 r i f i = 1 + δ 2 r i f i = 1 + ( δ 1 r i ) 2 f i = 1 + ( δ 2 r i ) 2
0.30.10.000640.000480.000350.000170.000150.000120.00011
0.60.10.000770.000600.000430.000200.000170.000160.00014
10.10.000940.000740.000520.000240.000210.000220.00019
0.30.050.000580.000400.000290.000160.000140.000100.00010
0.60.050.000720.000540.000370.000180.000150.000130.00012
10.050.000870.000670.000450.000230.000180.000190.00016

Share and Cite

MDPI and ACS Style

Kazakov, A.; Spevak, L.; Nefedova, O.; Lempert, A. On the Analytical and Numerical Study of a Two-Dimensional Nonlinear Heat Equation with a Source Term. Symmetry 2020, 12, 921. https://doi.org/10.3390/sym12060921

AMA Style

Kazakov A, Spevak L, Nefedova O, Lempert A. On the Analytical and Numerical Study of a Two-Dimensional Nonlinear Heat Equation with a Source Term. Symmetry. 2020; 12(6):921. https://doi.org/10.3390/sym12060921

Chicago/Turabian Style

Kazakov, Alexander, Lev Spevak, Olga Nefedova, and Anna Lempert. 2020. "On the Analytical and Numerical Study of a Two-Dimensional Nonlinear Heat Equation with a Source Term" Symmetry 12, no. 6: 921. https://doi.org/10.3390/sym12060921

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop