Preprint
Article

Solvability of a Boundary Value Problem for One-Dimensional Motion of a Granular Matter

Altmetrics

Downloads

46

Views

36

Comments

0

Submitted:

01 October 2024

Posted:

02 October 2024

You are already at the latest version

Alerts
Abstract

Granular material is one of the most common in nature. Recently, there has been a significant amount of interest in the granular materials, such as powders or sand. It is challenging to describe the motion of such kind of macroscopic size matter, because it behaves like solid, fluid or gas. Size division, pattern formation, avalanches, packing and convection - these are just a few examples from a wide range of observed phenomena that occur during the motion process of granular matter. Most of these processes are based by flow and no wonder that much effort has been devoted to obtain a hydrodynamic description in which granular materials are treated as a continuous medium. During the research of vertically shaken granular medium motion in an opened container it was found that experimental and numerical results are explained by hydrodynamic theory. This paper investigates the motion of a granular matter for a shallow, vertically shaken bed. We assume the Leidenfrost state as initial and the matter resembles a fluid heated up from below.A one-dimensional isothermal and a non-isothermal problem of granular material motion,simulatedby a hydrodynamic model are considered, and the material is assumed to be a continuous medium. The local temporal solvability of isothermal and non-isothermal initial boundary-value problem in Sobolev’s spaces is proved. This work presents a numerical study of the one-dimensional model of granular medium flow. The feature of this model is consideration of the Navier-Stokes equations accounting an interpolation form of VanderWaals constitutive equation for pressure. A finite-difference approximation for numerical solution is proposed.

Keywords: 
Subject: Computer Science and Mathematics  -   Applied Mathematics

1. Introduction

Granular material is the assembly of large amount of discrete solid particles. The particles of this matter can be homogeneous or heterogeneous in material, size and shape, and it can be in an elastic or plastic state and have varying degrees of strength. Typically, the spaces between particles are filled with air or water, so granular flow represents a multiphase process. However, if particles are close-packed or the density of particles significantly exceeds the intergranular fluid or gas, then only the particles will be essential in momentum transfer in the matter, and not the fluid (gas) or interaction between the fluid (gas) and particles. Thus the intergranular fluid (gas) may not be taken into account in this case. Granular material mostly gets into this category and therefore can be considered as a dispersed single-phase rather than a multiphase mixture.
Granular materials can behave like elastic-plastic solids, viscous fluids, and even "granular gases" under various external influences. This diversity of granular media modes of behavior explains the existence of different approaches for its description [1,2]:
  • Microscopic models and molecular dynamics simulations;
  • Statistical mechanics kinetic theory;
  • Phenomenological model and continuum models.
Works [2,3,4,5,6,7,8] present studies on the granular media mechanics. Applied problems of granular media mechanics, associated with mining engineering are considered in [2]. The connection between granular mechanics and plasticity theory, geological mechanics, synergetics and other branches of science is shown. The paper indicates the existence of two ways in the development of mathematical models of granular material: the first - continuum modeling in the context of continuum mechanics and the second - discrete modeling in the context of discrete element method (DEM), for example. Granular media are standing at intermediate position between viscous fluids and solids (elastic or plastic). One of the problems of granular material mechanics is formulation of closed equations systems, simulating the deformation processes of such materials. [3] gives the experiments of sand deformation of different sizes, which shown that the main axes of stress tensor are deviate from the strain tensor axes. Unlike viscous fluids, granular materials are not sensitive to strain rate, so the internal stresses of packing derived to a stationary condition remain unchanged. Some technological processes in mining and the chemical industry are associated with deformation of granular materials under gas filtration conditions. Paper [4] presents an experimental set for study of the structural behavior of granular medium in shear with an air filtration flow influence without the occurrence of fluidization. The air flow during deformation of the stationary packing of particles causes softening of the material, associated with the decrease of normal and shearing stresses and a porosity increase. Work [5] investigates the stress state of a granular conical embankment. The results of experiments show that the embankment foundation stresses after formation have underestimated values in the center of its hollow above the apex. The reason of its weak growth is the multi-tier "arch structure" which can collapse by weak vibrations. The DEM-based numerical calculations confirm the experimental data. In [6] the uniform shear of a granular sample based on the DEM is considered. Usage opportunity of the numerical results for continuous models formulation is presented. Work [7] presents a DEM based numerical research of the whirling motion of a granular material in a bounded domain. In [8] the 2D problem of unidirectional mass transfer in a granular medium caused by a combined loading with continuous rotation of the strain tensor main axes. To describe this phenomenon a hypoplastic model of a granular material and a resemblance model of an incompressible fluid are used. For both models the deformation kinematics calculations are performed and the results obtained were compared with experimental data. It is shown that the models qualitatively describe the deformation process and the unidirectional mass transfer effect which are observed in experiments.
In many physical processes the granular materials are behave like liquid, thus the transition to hydrodynamic description of these materials is an important question for the flowability study [9,10,11,12,13,14,15,16,17,18,19]. At the moment, a lot of studies of flowability dedicated to the description of its behavior using continuum theories were performed [17,20,21,22,23]. A research of the granular medium motion in a vertically shaken opened container shown that experimental and numerical results can be explained using the hydrodynamics theory [24]. The hydrodynamic model is structurally close to the viscous gas equations system [25] with the dependence of viscosity on density. The solvability issues for related models are considered in [27,28,29,30,31]. The most common numerical methods for similar problems are given in [32,33,34].
This paper proves the solvability of an initial boundary-value problem for the equations of one-dimensional non-stationary isothermal and non-isothermal motion of granular material. The viscosity depends on density and temperature, and the pressure is the interpolation form of VanderWaals state equation. A numerical study of a model of one-dimensional isothermal motion of granular medium is presented. A difference scheme based on finite-difference approximation is proposed to obtain a numerical solution.
Let’s introduce the necessary notations. Let | | f | | q , Ω = ( Ω | f ( x ) | q d x ) 1 / q , | | u | | q , r , Q T =
= ( 0 T ( Ω | u ( x , t ) q d x | ) r / q ) 1 / r are the norm functions in Lebesgue’s spaces L q ( Ω ) , L q , r ( Q T ) , where r , q [ 1 , ] . We assume | | · | | q = | | · | | q , Ω , | | · | | = | | · | | 2 , Ω for brevity. Also we use Sobolev’s spaces W p l ( Ω ) , where l is natural, 1 p , with the norm | | u | | W p l ( Ω ) = | | u | | p , Ω ( l ) =
= | α | = 0 l ( α ) | | D x α u | | L p ( Ω ) , where ( α ) means summing | α | = α 1 + . . . + α n [25].

2. Setting up the problem and formulation of the main result

We consider a motion of a shallow, vertically shaken granular bed. The differential equations system, simulating the one-dimensional non-isothermal motion of a granular matter consists of mass, momentum and energy equations [24]:
( m n ) t + ( m n u ) x = 0 ,
m n u t + u u x = m n g p x + x [ 2 μ + λ ] u x ,
n T t + u T x = x κ T x p u x I .
Here ( x , t ) - Euler’s coordinates; n - number density; m - mass of a particle; u - velocity; p - pressure, μ - shear viscosity; λ - second viscosity; g - gravity acceleration; T - granular temperature, determined by vibrations of particles’ mean velocity, i.e. 1 / 2 k B T = 1 / 2 m ( < u 2 > < u > 2 ) , where k B is the Boltzmann’s constant; I is the dissipative term due to the inelastic particle collisions; κ is the heat conductivity coefficient. . In the applications we use the following relations [35,36,37]:
p ( n , T ) = n T n c + n n c n , λ ( n , T ) = 2 / 3 μ ( n , T ) , μ ( n , T ) = m κ P r ,
κ ( n , T ) = n ( α l + d ) 2 l T m , I ( n , T ) = ε l γ c n T T m .
Here n c is the number density of a hexagonal close-packed crystal; d - diameter of the particles; l = n c n 8 n d ( n c a n ) - is the mean free path, where a = 1 3 / 8 [35]; P r is the Prandtl number; ε = ( 1 e 2 ) - inelasticity parameter [24], e 0 , 9 is the normal restitution coefficient; α = 0 , 6 and γ c = 2 , 26 are constants from [35,37] respectively. Assuming that the flow density ρ ( x , t ) equals m n [11], we obtain the Navier-Stokes equations
ρ t + ( ρ u ) x = 0 ,
ρ u t + u u x = ρ g p x + x [ 2 μ + λ ] u x ,
ρ m T t + u T x = x κ T x p u x I ,
which can be solved in the Q T = Ω × ( 0 , T ) , Ω = ( 0 , L ) domain with the initial-boundary conditions
u t = 0 = u 0 ( x ) , T t = 0 = T 0 ( x ) , ρ t = 0 = ρ 0 ( x ) ,
u x = 0 = u x = 1 = 0 , T x x = 0 = T x x = 1 = 0 .
For the proof of problem (1) – (4) in a short period it is convenient to use another independent variables, namely Lagrange coordinates. Let y = y ( ζ , x , t ) – is the solution of Cauchy problem: y ζ = u ( y , ζ ) , y | ζ = t = x . Assume ξ = y ( ζ , x , t ) | ζ = 0 and consider ξ and t variables as new. Then, ρ ( ξ , t ) = ρ 0 ( ξ ) J ( ξ , t ) , where J ( ξ , t ) = ξ x - is the transition Jacobian [25]. Turning into mass Lagrangian variables ( x ¯ , t ) from ( ξ , t ) with the rule ρ 0 ( ξ ) d ξ = d x ¯ , x ¯ ( ξ ) = 0 ξ ρ 0 ( η ) d η [ 0 , L ] and designate x ¯ as x, we obtain
ρ t + ρ 2 u x = 0 ,
u t = x 4 3 μ ρ u x p x + g , 2 μ + λ = [ λ = 2 3 μ ] = 4 3 μ .
1 m T t = x κ ρ T x p u x 1 ρ I .
The initial-boundary conditions are
u t = 0 = u 0 ( x ) , ρ t = 0 = ρ 0 ( x ) , T t = 0 = T 0 ( x ) ,
u x = 0 = u x = L = 0 , T x x = 0 = T x x = L = 0 .
In (5)-(7) we use the following dimensionless relations (see Appendix A):
x = x x 1 , t = t t 1 , u = u u 1 , ρ = ρ m n c , T = T T 0 , l = l l 1 ,
where x 1 = 0 L ρ 0 ( ξ ) d ξ = m n c d , l 1 = d , t 1 = d m T 0 , u 1 = T 0 m , p ( ρ , T ) = n c T 0 p , κ ( ρ , T ) = n c d T 0 m κ , μ ( ρ , T ) = m κ Pr = m n c d T 0 m μ , T 0 m ( a f ) 2 is the given granular temperature at the bottom of container, amplitude a and frequency f are generated by a shaking table, where the container partially filled with beads is located. Therefore, the range of x is a unit segment [0,1]and the system (5)–(7) becomes (primes omitted):
ρ t + ρ 2 u x = 0 ,
u t = x 4 3 μ ρ u x p x + G ,
T t = x κ ρ T x p u x 1 ρ I ,
where G = m d g T 0 is the dimensionless term, which contains the dimensionless shaking strength S = T 0 m g d = a 2 ω 2 g d ( ω = 2 π f ) - it is the ratio of kinetic energy, inserted into the system by the vibrating bottom and the potential energy associated with the particle diameter
The initial and boundary conditions are as follows:
u t = 0 = u 0 ( x ) , ρ t = 0 = ρ 0 ( x ) , u x = 0 = u x = 1 = 0 ,
T t = 0 = T 0 ( x ) , T x x = 0 = T x x = 1 = 0 .
We formulate the following results of this work.
Definition 1. A generalized solution of the problem (9) – (13) is the set of functions ( u ( x , t ) , ρ ( x , t ) , T ( x , t ) ) from the following spaces:
ρ L ( 0 , T ; W 2 1 ( Ω ) ) ,
( u , T ) L ( 0 , T ; W 2 1 ( Ω ) ) L 2 ( 0 , T ; W 2 2 ( Ω ) ) ,
( ρ t , u t , T t ) L 2 ( Q T ) , Ω = ( 0 , 1 ) , Q T = Ω × ( 0 , T ) ,
which satisfy equations (9) – (11) and inequations 0 < ρ ( x , t ) < 1 , 0 < T ( x , T ) < almost everywhere in Q T and take the given boundary and initial values in the matter of traces of functions from specified classes.
Theorem 1. 
Let problem (9), (10), (12) comply the following smoothness conditions:
( u 0 , ρ 0 ) W 2 1 ( Ω ) , u 0 ( 0 ) = u 0 ( 1 ) = 0 .
Let the functions p ( ρ ) , κ ( ρ ) and their derivatives are continuous up to the second order for ϱ ( x , t ) ( 0 , 1 ) and satisfy as follows:
k 0 1 ρ q 1 ( 1 ρ ) q 2 ( 1 a ρ ) q 3 κ ( ρ ) k 0 ρ q 4 ( 1 ρ ) q 5 ( 1 a ρ ) q 6 ,
k 0 1 ρ q 7 ( 1 + ρ ) q 8 ( 1 ρ ) q 9 p ( ρ ) k 0 ρ q 10 ( 1 + ρ ) q 11 ( 1 ρ ) q 12 ,
| ( κ ( ρ ) ρ | k 0 ρ q 13 ( 1 ρ ) q 14 ( 1 a ρ ) q 15 ,
| ( p ( ρ ) ρ | k 0 ρ q 16 ( 1 + ρ ) q 17 ( 1 ρ ) q 18 ,
where k 0 = c o n s t > 0 , q 1 , , q 18 are fixed real parameters. If the following conditions are satisfied
0 < b 0 ρ 0 ( x ) B 0 < 1 , x Ω ¯ ,
where b 0 , B 0 are known positive constants, then there is a small enough value t 0 ( 0 , T ) , such that for every t t 0 a generalized solution ρ ( x , t ) , u ( x , t ) exists for the problem (9), (10), (12).
Theorem 2. 
Let problem (9) – (13) comply the following smoothness conditions:
( u 0 , ρ 0 , T 0 ) W 2 1 ( Ω ) , g L 2 ( 0 , T ; W 2 1 ( Ω ) )
and the matching conditions u i 0 x = 0 , x = 1 = T 0 x x = 0 , x = 1 = 0 . Let functions p ( ρ , T ) , κ ( ρ , T ) , I ( ρ , T ) and their derivatives up to the second order are continuous for ρ ( x , t ) ( 0 , 1 ) and satisfy as follows:
k 0 1 ρ q 19 ( 1 ρ ) q 20 ( 1 a ρ ) q 21 | T | q 22 κ ( ρ , T ) k 0 ρ q 23 ( 1 ρ ) q 24 ( 1 a ρ ) q 25 | T | q 26 ,
k 0 1 ρ q 27 ( 1 + ρ ) q 28 ( 1 ρ ) q 29 | T | q 30 p ( ρ , T ) k 0 ρ q 31 ( 1 + ρ ) q 32 ( 1 ρ ) q 33 | T | q 34 ,
k 0 1 ρ q 35 ( 1 ρ ) q 36 ( 1 a ρ ) q 37 | T | q 38 I ( ρ , T ) k 0 ρ q 39 ( 1 ρ ) q 40 ( 1 a ρ ) q 41 | T | q 42 ,
| ( κ ( ρ , T ) ρ | k 0 ρ q 43 ( 1 ρ ) q 44 ( 1 a ρ ) q 45 | T | q 46 ,
| ( κ ( ρ , T ) T | k 0 ρ q 47 ( 1 ρ ) q 48 ( 1 a ρ ) q 49 | T | q 50 ,
| ( p ( ρ , T ) ρ | k 0 ρ q 51 ( 1 + ρ ) q 52 ( 1 ρ ) q 53 | T | q 54 ,
| ( p ( ρ , T ) T | k 0 ρ q 55 ( 1 + ρ ) q 56 ( 1 ρ ) q 57 | T | q 58 ,
p ( ρ , T ) ρ ρ k 0 ρ q 59 ( 1 + ρ ) q 60 ( 1 ρ ) q 61 | T | q 62 ,
p ( ρ , T ) ρ T k 0 ρ q 63 ( 1 + ρ ) q 64 ( 1 ρ ) q 65 | T | q 66 ,
p ( ρ , T ) T T k 0 ρ q 67 ( 1 + ρ ) q 68 ( 1 ρ ) q 69 | T | q 70 ,
where k 0 = c o n s t > 0 , q 19 , . . . , q 70 are fixed real parameters.
If conditions (14) and
0 < b 1 T 0 ( x ) B 1 < , x Ω ¯ ,
where b 0 , B 0 , b 1 , B 1 are known positive constants, then there is a small enough value t 0 ( 0 , T ) , such that for every t t 0 a generalized solution ρ ( x , t ) , u ( x , t ) , T ( x , t ) exists for the problem (9) – (13).

3. Local solvability of the isothermal problem

We will find a local generalized solution as a limit of approximate solutions ( ρ n , u n ) , where u n are expressed as a finite sum:
u n ( x , t ) = i = 1 n u i n ( t ) s i n ( π i x ) ,
with unknown coefficients u i n ( t ) , i = 1 , 2 , . . . , n . To define these coefficients we require (10) be satisfied approximately:
0 1 u n t x 4 3 μ n ρ n u n x + p x G s i n ( π i x ) d x = 0 .
The function ρ n ( x , t ) will be determined from a solution of:
ρ n t + ( ρ n ) 2 u n x = 0 , ρ n t = 0 = ρ 0 ( x ) .
From (17) we obtain the following relation for ρ n ( x , t ) :
ρ n ( x , t ) = ρ 0 ( x ) 1 + ρ 0 ( x ) 0 t u n x ( x , τ ) d τ 1 .
Unknown coefficients u i n ( t ) are found from the Cauchy problem solution for the ordinary differential system:
d u i n d t = Φ i n ( u 1 n , . . . , u n n ; ρ n ) , Φ i n = 2 0 1 x 4 3 μ n ρ n u n x p n x + G s i n ( π i x ) d x ,
and u n ( x , t ) = i = 1 n u i n ( t ) s i n ( π i x ) , ρ n ( x , t ) is determined by (18). Initial conditions for (19) will find from a sine expansion in the Fourier series of the initial functions u 0 ( x ) :
u i n ( 0 ) = u i 0 2 0 1 u 0 ( x ) s i n ( π i x ) d x , i = 1 , . . . , n .
Thus, the generalized solution ( u n , ρ n ) satisfies the Cauchy problem (19), (20), the local solvability of this problem follows from Cauchy - Picard theorem for each fixed n for an ordinary differential system [38].
We indicate a value for t 0 , for which the problem given is solvable for every n on [ 0 , t 0 ] . Another condition of which an interval quantity of t 0 , is chosen associated with the requirement of positivity for ρ n ( x , t ) . Because 0 < b 0 ρ 0 ( x ) < B 0 < 1 , we demand that the following relations be satisfied for ρ n ( x , t )
0 < b 0 2 ρ n ( x , t ) 1 + B 0 2 < 1 ,
for every n and with x [ 0 , 1 ] , t [ 0 , t 0 ] . Besides, from (18) and (21) we obtain
| ρ x n | C ( 1 + 0 t | u x x n | d τ ) .
Lemma 1. 
There is a value t 0 > 0 such that for all n on the interval [ 0 , t 0 ] the solution u n to problem (19), (20) satisfies the following estimate
max 0 t t 0 | | u x n ( t ) | | 2 + 0 t 0 | | u x x n | | 2 + | | u t n | | 2 d t N 1 .
Proof 
(Proof).
z n ( t ) = | | u n ( t ) | | 2 + | | u x n ( t ) | | 2 + β 0 t | | u x x n ( τ ) | | 2 d τ ,
where the real parameter β ( 0 , 1 ) will be designated later. Multiply each equation of (16) by u i n ( t ) , sum over i from 1 to n and integrate over x from 0 to 1. We obtain the following equality
1 2 d d t 0 1 u n 2 d x + 0 1 ρ n ( u x n ) 2 4 3 μ ( ρ n ) d x = 0 1 u n p ( ρ n ) x d x + 0 1 u n G d x .
We show that from (23) follows estimate
d d t | | u n ( t ) | | 2 + 8 3 ν 0 | | u x n | | 2 C z n ( t ) + | | G ( t ) | | 2 .
Functions ρ n 1 ρ n ; 1 + ρ n 1 ρ n ; ρ n ( 1 + ρ n ) ( 1 ρ n ) 2 are uniformly bounded over n for all ρ n ( 0 , 1 ) by virtue of (21). Estimate the terms on the right part of (23) taking into account (22)
| 0 1 u n p ( ρ n ) x d x | = | 0 1 u n ( p ( ρ n ) ) ρ n ρ x n d x | C 0 1 | u n ρ x n | d x
C | | u n | | | | ρ x n | | C ( | | u n ( t ) | | 2 + | | ρ x n ( t ) | | 2 ) C z n ( t ) ,
| 0 1 u n G d x | C 0 1 | u n G | d x C | | u n | | | | G ( t ) | | C ( | | u n ( t ) | | 2 + | | G ( t ) | | 2 ) C ( z n ( t ) + | | G ( t ) | | 2 ) .
Here and further on C is a positive constant which is not depend on n. Because μ ( ρ n ) ρ n ν 0 k 0 1 b 0 2 q 1 + 1 1 B 0 2 q 2 1 a ( 1 + B 0 ) 2 q 3 , then follows inequality (24).
Each of equations (16) is multiplied by ( i π ) 2 u i n ( t ) and is summed over i from 1 to n. Considering the equality i = 1 n u i n ( i π ) 2 s i n ( i π x ) = u x x n we obtain
1 2 d d t 0 1 ( u x n ) 2 d x + 4 3 0 1 μ ( ρ n ) ρ n ( u x x n ) 2 d x = 4 3 0 1 u x x n ( μ ( ρ n ) ) x ρ n u x n d x
4 3 0 1 u x x n μ ( ρ n ) ρ x n u x n d x + 0 1 u x x n p ( ρ n ) x d x + 0 1 u x x n G d x .
Show, that (25) implied the estimate
d d t | | u x n | | 2 + 8 3 ν 0 | | u x x n | | 2 i = 1 4 ε i | | u x x n | | 2 + C ( z n ( t ) + z n 3 ( t ) + | | G ( t ) | | 2 ) .
Functions ρ n μ ρ n ; μ ( ρ n ) ; p ρ n are uniformly bounded over n for all ρ n ( 0 , 1 ) by virtue of (21). Estimate the terms on the right part of (25) taking into account (22)
| 0 1 u x x n ( μ ( ρ n ) ) x ρ n u x n d x | = | 0 1 u x x n ρ n u x n μ ρ n · ρ x n d x | C 0 1 | u x x n | | ρ x n | | u x n | d x
C max 0 x 1 | u x n ( x , t ) | 0 1 | u x x n | | ρ x n | d x C | | u x n | | 1 / 2 | | u x x n | | 1 / 2 | | u x x n | | | | ρ x n | | =
= C | | u x n | | 1 / 2 | | u x x n | | 3 / 2 | | ρ x n | | ε 1 | | u x x n | | 2 + C ε 1 | | u x n | | 2 | | ρ x n | | 4
ε 1 | | u x x n | | + C ε 1 ( | | u x n | | 6 + | | ρ x n | | 6 ) ε 1 | | u x x n | | 2 + C ε 1 z n 3 ( t ) ,
| 0 1 u x x n μ ( ρ n ) ρ x n u x n d x | C 0 1 | u x x n | | ρ x n | | u x n | d x ε 2 | | u x x n | | 2 + C ε 2 z n 3 ( t ) ,
| 0 1 u x x n p ( ρ n ) x d x | = 0 1 | u x x n p ρ n · ρ x n d x | C 0 1 | u x x n | | ρ x n | d x C | | u x x n | | | | ρ x n | |
ε 3 | | u x x n | | 2 + C ε 7 | | ρ x n | | 2 ε 3 | | u x x n | | 2 + C z n ( t ) ,
| 0 1 u x x n G d x | C 0 1 | u x x n G | d x C | | u x x n | | | | G ( t ) | | ε 4 ( | | u x x n ( t ) | | 2 + C ε 4 | | G ( t ) | | 2 .
Thus we obtain the inequality (26).
Let’s add up (24) and (26)
d d t ( | | u n ( t ) | | 2 + | | u x n ( t ) | | 2 ) + 8 3 ν 0 | | u x x n ( t ) | | 2 + 8 3 ν 0 | | u x n ( t ) | | 2
i = 1 4 ε i | | u x x n | | 2 + C ( z n ( t ) + z n 3 ( t ) + | | G ( t ) | | 2 )
and choose ε 1 ε 4 from the condition i = 1 4 ε i = 8 3 ν 0 β (if ν 0 1 , then assume β = ν 0 / 2 and choose ε 1 ε 4 from i = 1 4 ε i = 8 3 ν 0 ν 0 2 = 13 ν 0 2 ; if ν 0 > 1 , then β = 1 / 2 and choose ε 1 ε 4 from i = 1 4 ε i = 8 3 ν 0 1 / 2 ) . Then the last inequality can be written in differential form
d z n ( t ) d t C ( z n 3 ( t ) + | | G ( t ) | | 2 ) ,
where C is not depend on n. From (27) it follows that it follows that z n ( t ) is uniformly bounded in n for all t t 0 , where
t 0 < 1 C ( z n ( 0 ) + C 0 T | | G ( τ ) | | 2 d τ ) 2 .
With this choice of t 0 it follows from (27) that for all n the following inequality is valid
max 0 t t 0 | | u x n ( t ) | | 2 + 0 t 0 | | u x x n | | 2 d t N
within dependent of n constant N.
Now we return to (21). It is easy to receive from inequality (18) as follows
b 0 1 + 2 1 / 2 B 0 N 1 / 2 t 0 3 / 4 ρ n ( x , t ) B 0 1 2 1 / 2 B 0 N 1 / 2 t 0 3 / 4 ,
where N is the constant of (28). If we choose
t 0 m i n ( ( 1 B 0 ( 1 + B 0 ) 2 1 / 2 B 0 N 1 / 2 ) 4 / 3 , 1 C ( z n ( 0 ) + C 0 T | | G ( τ ) | | 2 d τ ) 2 ) ,
then the inequalities (21) and (28) are satisfied for x [ 0 , 1 ] and t [ 0 , t 0 ] .
Each equation of (16) is multiplied by ( u i n ( t ) ) t and summed over i from 1 to n.
0 1 ( u t n ) 2 d x 4 3 0 1 ( μ ( ρ n ) ρ n u x n ) x u t n d x + 0 1 u t n p x ( ρ n ) d x 0 1 u t n G d x = 0 .
Consider the second term
4 3 0 1 ( μ ( ρ n ) ρ n u x n ) x u t n d x = 4 3 0 1 ( μ ( ρ n ) ρ n u x n u t n ) x d x 4 3 0 1 μ ( ρ n ) ρ n u x n u t x n d x .
Then we obtain
0 1 ( u t n ) 2 d x + 4 3 0 1 μ ( ρ n ) ρ n u x n u t x n d x + 0 1 u t n p x ( ρ n ) d x 0 1 u t n G d x = 0 .
Functions ρ n , μ ( ρ n ) are uniformly bounded over n for all ρ n ( 0 , 1 ) due to (21). Estimate the last | | ρ x n ( t ) | | C ( 1 + ( 0 t | | u x x n | | 2 d τ ) 1 2 ) two assuming
| 0 1 u t n p x ( ρ n ) d x | 0 1 | u t n p ρ n ρ x n | d x C 0 1 | u t n | | ρ x n | d x
C | | u t n ( t ) | | | | ρ x n ( t ) | | ε 5 | | u t n | | 2 + C ε 5 | | ρ x n | | 2 ,
| 0 1 u t n G d x | 0 1 | u t n | | G | d x C | | u t n ( t ) | | | | G | | ε 6 | | u t n | | 2 + C ε 6 | | G | | 2 .
Choosing ε 5 + ε 6 = 1 3 we obtain the following estimate
0 1 ( u t n ) 2 d x + ν 0 0 1 ( u x n ) t 2 d x C ε 5 | | ρ x n | | 2 + C ε 6 | | G | | 2 .
Taking into account (21) and (28) we deduce the estimate
0 t 0 | | u t n | | 2 d t N 2 .
From (28) and (30) follows the estimate specified in Lemma 1. Lemma 1 is proven.
The estimate of Lemma 1 and (21) allows us to select a converging sequence from subsequences { ρ n } ,and { u n } . The passage to the limit in (16) and (17) shows that the limit functions of ρ and u gives a generalized solution on the interval [ 0 , t 0 ]. Theorem 1 is proved. □

4. Local solvability of the non-isothermal problem

It is worthy to note that the presence of g ( x , t ) in equation (10) does not introduce any fundamental difficulties into further research, if g ( x , t ) is sufficiently smooth. There fore we restrict to the case of g = 0 for brevity.
We will search for a local generalized solution as a limit of approximate solutions ( ρ n , u n , T n ) , where u n and T n are expressed as the finite sums:
u n ( x , t ) = i = 1 n u i n ( t ) s i n ( π i x ) , T n ( x , t ) = j = 1 n T j n ( t ) c o s ( π j x ) ,
with unknown coefficients u i n ( t ) , i = 1 , 2 , . . . , n and T j n ( t ) , j = 0 , 1 , . . . , n . To determine these coefficients we require that (10) and (11) be satisfied approximately:
0 1 u n t x 4 3 μ ( ρ n , T n ) ρ n u n x + p ( ρ n , T n ) x s i n ( π i x ) d x = 0 ;
0 1 T n t x κ ( ρ n , T n ) ρ n T n x + p ( ρ n , T n ) u n x + 1 ρ n I ( ρ n , T n ) c o s ( π i x ) d x = 0 .
We will search for ρ n ( x , t ) as a solution of the problem (17) and it has the form of (18). Another condition of which an interval quantity of t 0 is chosen associated with the requirement of positivity for ρ n ( x , t ) and T n ( x , t ) . The inequalities (14) and (15) are satisfy ρ 0 ( x ) and T 0 ( x ) ), respectively. We require the relations (21) be satisfied in (18)and for T n ( x , t ) the following relations
0 < b 1 2 T n ( x , t ) 2 B 1 < ,
for all n and for x [ 0 , 1 ] , t [ 0 , t 0 ] . Moreover, the inequality (22) is true.
Unknown coefficients u i n ( t ) and T j n ( t ) are found from the Cauchy problem’s solution for the ordinary differential system:
d u i n d t n = Φ i n ( u 1 n , . . . , u n n ; T 0 n , T 1 n , . . . , T n n , ρ n ) , d T j n d t n = λ j Ψ j n ( u 1 n , . . . , u n n ; T 0 n , T 1 n , . . . , T n n , ρ n ) ,
where λ 0 = 1 , λ j = 2 , j = 1 , 2 , n ,
Φ i n = 2 0 1 x 4 3 μ ( ρ n , T n ) ρ n u n x p ( ρ n , T n ) x s i n ( π i x ) d x ,
Ψ j n = 0 1 x κ ( ρ n , T n ) ρ n T n x p ( ρ n , T n ) u n x 1 ρ n I ( ρ n , T n ) c o s ( π j x ) d x ,
and u n ( x , t ) = i = 1 n u i n ( t ) s i n ( π i x ) , T n ( x , t ) = j = 1 n T j n ( t ) c o s ( π j x ) , ρ n are determined from (18). Initial conditions for (34) we will find from sine and cosine expansions in the Fourier series of the initial functions u 0 ( x ) and T 0 ( x ) , respectively:
u i n ( 0 ) = u i 0 2 0 1 u 0 ( x ) s i n ( π i x ) d x , i = 1 , . . . , n ;
T j n ( 0 ) = T j 0 2 0 1 T 0 ( x ) c o s ( π j x ) d x , j = 1 , . . . , n , T 0 n ( 0 ) = 0 1 T 0 ( x ) d x .
The local solvability of (34) follows from Cauchy - Picard theorem for each fixed n for ordinary differential systems. Now we will indicate such a value t 0 for which the problem given is solvable for each n on [ 0 , t 0 ] . It is enough to obtain uniform estimates in n for u i n and T j n . Let
I = I , T > 0 0 , T < 0 a n d κ = κ , T > 0 0 , T < 0 .
Each equation of (31) we multiply by u i n ( t ) , sum over i from 1 to n and integrate over x from 0 to 1. We obtain the following expression
0 1 ( u n u t n 4 3 ( μ ( ρ n , T n ) ρ n u x n ) x u n + u n p x ( ρ n , T n ) ) d x = 0 .
Then we add this to equation (32) with j = 0
0 1 ( T t n ( κ ( ρ n , T n ) ρ n T x n ) x + p ( ρ n , T n ) u x n + 1 ρ n I ( ρ n , T n ) ) d x = 0 ,
and obtain
0 1 ( u n u t n 4 3 ( μ ( ρ n , T n ) ρ n u x n ) x u n + u n p x ( ρ n , T n ) + T t n
( κ ( ρ n , T n ) ρ n T x n ) x + p ( ρ n , T n ) u x n + 1 ρ n I ( ρ n , T n ) ) d x = 0 .
Rewrite the last equation accounting ( u n ) t 2 = 2 u n u t n , ( μ n ρ n u n u x n ) x = ( μ n ρ n u x n ) x u n + + μ n ρ n ( u x n ) 2 , u n p x ( ρ n , T n ) + p ( ρ n , T n ) u x n = ( p ( ρ n , T n ) u n ) x
0 1 1 2 ( u n ) t 2 + T t n + 4 3 ( μ ( ρ n , T n ) ρ n ( u x n ) 2 ) + 1 ρ n I ( ρ n , T n ) d x = 0 .
Integrate the last equation over t and we will get
0 1 1 2 ( u n ) 2 + T n d x + 0 t 0 1 4 3 ( μ ( ρ n , T n ) ρ n ( u x n ) 2 ) + 1 ρ n I ( ρ n , T n ) d x d τ =
= 0 1 1 2 ( u 0 ( x ) ) 2 + T 0 ( x ) d x
Thus, the following estimate has the form
1 2 u n 2 , Ω 2 + T n 1 , Ω 1 2 u 0 ( x ) 2 , Ω 2 + T 0 ( x ) 1 , Ω N 3 .
Lemma 2. 
There is a value t 0 > 0 exists, such that for all n on interval [ 0 , t 0 ] the following estimates are satisfy the solutions u n and T n of problem (34)
0 < b 0 2 ρ n ( x , t ) B 0 + 1 2 < 1 , x [ 0 , 1 ] , t [ 0 , t 0 ] ,
max 0 t < t 0 | | u x n ( t ) | | 2 + 0 t 0 | | u x x n | | 2 + u t n 2 d t N 4 ,
max 0 t t 0 | | T x n ( t ) | | 2 + 0 t 0 | | T x x n | | 2 + T t n 2 d t N 5 .
Proof. 
We assume
z n ( t ) = | | u n ( t ) | | 2 + | | T n ( t ) | | 2 + | | u x n ( t ) | | 2 + | | T x n | | 2 + γ 0 t ( | | u x x n ( τ ) | | 2 + | | T x x n ( τ ) | | 2 d τ ,
where the real parameter γ ( 0 , 1 ) will be indicated later. Each equation of (31) we multiply by u i n ( t ) , sum over i from 1 to n and integrate over x from 0 to 1. Then we obtain as follows:
1 2 d d t 0 1 u n 2 d x + 4 3 0 1 ρ n ( u x n ) 2 μ ( ρ n , T n ) d x = 0 1 u n p ( ρ n , T n ) x d x .
We will show that and estimate follows from (38)
d d t | | u n ( t ) | | 2 + 8 3 ν 0 | | u x n | | 2 C z n ( t ) + z n 2 ( t ) .
The right part of (38) we will present in the form of functions p ρ n , p T n , which are uniformly bounded over n due to (21) for all ρ n ( 0 , 1 ) , and accounting | | ρ x n ( t ) | | C ( 1 + ( 0 t | | u x x n | | 2 d τ ) 1 2 )
| 0 1 u n p ( ρ n , T n ) x d x | 0 1 u n p ρ n ρ x n d x + 0 1 u n p T n T x n d x = A 1 + A 2 .
A 1 C 0 1 ρ x n u n d x C ρ x n u n ε 7 u n 2 + C ε 7 ρ x n 2 ,
A 2 C 0 1 T x n u n d x C T x n u n ε 8 T x n 2 + C ε 8 u n 2 .
Here and further, C is a positive constant, which does not depend on n. We derive the equality (39), since μ ( ρ n ) ρ n ν 0 k 0 1 b 0 2 q 19 + 1 1 B 0 2 q 20 1 a ( 1 + B 0 ) 2 q 21 b 1 2 q 22 .
Each equation of (31) is multiplied by ( i π ) 2 u i n ( t ) , summed over i from 1 to n and integrated over x from 0 to 1. Taking into account this expression i = 1 n u i n ( i π ) 2 s i n ( i π x ) = u x x n we obtain
1 2 d d t 0 1 ( u x n ) 2 d x + 4 3 0 1 μ ( ρ n , T n ) ρ n ( u x x n ) 2 d x = 4 3 0 1 u x x n ( μ ( ρ n , T n ) ) x ρ n u x n d x
4 3 0 1 u x x n μ ( ρ n , T n ) ρ x n u x n d x + 0 1 u x x n p ( ρ n , T n ) x d x .
We will show that from (40) the estimate follows
d d t | | u x n | | 2 + 8 3 ν 0 | | u x x n | | 2 i = 9 13 ε i | | u x x n | | 2 + C ( z n ( t ) + z n 3 ( t ) ) .
Functions ρ n μ ρ n ; ρ n μ T n ; μ ( ρ n , T n ) ; p T n ; p ρ n are uniformly bounded over n due to (21) for all ρ n ( 0 , 1 ) . The first term of the right part of (40) we estimate as follows
0 1 u x x n ( μ ( ρ n , T n ) ) x ρ n u x n d x = 0 1 ( μ ρ n ρ x n + μ T n T x n ) ρ n u x n u x x n d x
0 1 μ ρ n ρ x n ρ n u x n u x x n d x + 0 1 μ T n T x n ρ n u x n u x x n d x = A 3 + A 4 ,
A 3 = C 0 1 ρ x n u x n u x x n d x C max 0 x 1 | u x n ( x , t ) | 0 1 | u x x n | | ρ x n | d x
ε 9 u x x n 2 + C ε 9 ( u x n 6 + ρ x n 6 ) ε 9 u x x n 2 + C ε 9 z n 3 ( t ) ,
A 4 = C 0 1 T x n u x n u x x n d x ε 10 u x x n 2 + C ε 10 ( u x n 6 + T x n 6 ) ε 10 u x x n 2 + C ε 10 z n 3 ( t ) .
The second term of the right part of (40) we estimate analogically to A 3
0 1 u x x n μ ( ρ n , T n ) ρ x n u x n d x ε 11 u x x n 2 + C ε 11 ( u x n 6 + ρ x n 6 ) ε 11 u x x n 2 + C ε 11 z n 3 ( t ) .
The last term of the right part of (40) we represent as
0 1 u x x n p ( ρ n , T n ) x = 0 1 u x x n p ρ n ρ x n + p T n T x n d x = 0 1 u x x n p ρ n ρ x n d x + 0 1 u x x n p T n T x n d x = A 5 + A 6 ,
A 5 C 0 1 u x x n ρ x n d x ε 12 u x x n 2 + C ε 12 ρ x n 2 ε 12 u x x n 2 + C ε 12 z n ( t ) ,
A 6 C 0 1 u x x n T x n d x ε 13 u x x n 2 + C ε 13 T x n 2 ε 13 u x x n 2 + C ε 13 z n ( t ) .
Therefore, we obtain (41).
Now we establish the necessary estimates for T n ( x , t ) . Each equation of (32) is multiplied by T j n ( t ) and summed over j from 0 to n. We obtain the following equation
1 2 d d t 0 1 ( T n ) 2 d x + 0 1 κ ( ρ n , T n ) ρ n ( T x n ) 2 d x = 0 1 T n p ( ρ n , T n ) u n x d x 0 1 T n 1 ρ n I ( ρ n , T n ) d x .
We show that the following estimate comes from (42)
d d t | | T n | | 2 + 2 ν 0 | | T x n | | 2 C ( z n ( t ) ) .
Functions p ( ρ n , T n ) ; 1 ρ n I ( ρ n , T n ) are uniformly bounded over n due to (21) for all ρ n ( 0 , 1 ) . Estimate each term of the right part
0 1 T n p ( ρ n , T n ) u n x d x C 0 1 | T n u n x | d x C T n 2 + u n x 2 C z n ( t )
0 1 1 ρ n T n I n d x C 0 1 | T n | d x C T n 2 C z n ( t ) .
Because κ ( ρ n , T n ) ρ n ν 0 k 0 1 b 0 2 q 19 + 1 1 B 0 2 q 20 1 a ( 1 + B 0 ) 2 q 21 b 1 2 q 22 , so we get to the (43).
Then, each equation of (32) is multiplied by ( π j ) 2 T j n ( t ) and summed it over j from 0 to n. Considering the equation j = 1 n ( π j ) 2 T j n ( t ) c o s ( π j x ) = T x x 2 , we obtain
1 2 d d t 0 1 ( T x n ) 2 d x + 0 1 κ ( ρ n , T n ) ρ n ( T x x n ) 2 d x = 0 1 T x x n κ x ( ρ n , T n ) ρ n T x n d x
0 1 T x x n κ ( ρ n , T n ) ρ x n T x n d x + 0 1 T x x n p ( ρ n , T n ) u n x d x + 0 1 T x x n 1 ρ n I ( ρ n , T n ) d x .
Since the functions ( κ ( ρ n , T n ) ) ρ n · ρ n ; ( κ ( ρ n , T n ) ) T n · ρ n ; κ ( ρ n , T n ) ; p ( ρ n , T n ) 1 ρ n I ( ρ n , T n ) are uniformly bounded over n for all ρ n ( 0 , 1 ) , we estimate the terms on the right side of (44) considering the inequalities of (21) and Cauchy ε i > 0 , i = 14 18 . The first term of (44) is represented as
0 1 T x x n κ x ( ρ n , T n ) ρ n T x n d x = 0 1 T x x n ρ n T x n ( κ ) ρ n · ρ x n + ( κ ) T n · T x n d x =
= 0 1 T x x n ρ n T x n ( κ ) ρ n ρ x n d x + 0 1 T x x n ρ n ( T x n ) 2 ( κ ) T n d x = A 7 + A 8 .
A 7 = 0 1 T x x n ρ n T x n ( κ ) ρ n ρ x n d x C 0 1 | T x x n | | ρ x n | | T x n | d x C max 0 x 1 | T x n ( x , t ) | 0 1 | T x x n | | ρ x n | d x
C | | T x | | 1 / 2 | | T x x n | | 3 / 2 | | ρ x n | | ε 14 | | T x x n | | 2 + C ε 14 | | T x n | | 2 | | ρ x n | | 4
ε 14 | | T x n | | 2 + C ε 14 | | T x n | | 6 + | | ρ x n | | 6 ε 14 | | T x n | | 2 C ε 14 z n 3 ( t ) .
The following estimate for A 8 is true:
A 8 = 0 1 T x x n ρ n ( T x ) 2 ( κ ) T n d x C 0 1 | T x x n | | T x n | 2 d x C max 0 x 1 | T x n | 0 1 | T x x n | | T x n | d x
C | | T x x n | | 3 / 2 | | T x n | | 3 / 2 ε 15 | | T x x n | | 2 + C ε 15 | | T x n | | 6 ε 15 | | T x x n | | 2 + C ε 15 z n 3 ( t ) .
The rest term of the right side of (44) are estimated as follows:
0 1 T x x n κ ( ρ n , T n ) ρ x n T x n d x C 0 1 | T x x n | | ρ x n | | T x n | d x ε 16 | | T x x n | | 2 + C ε 16 z n 3 ( t ) ,
0 1 T x x n p ( ρ n , T n ) u n x d x C 0 1 | T x x n | | u n x | d x C | | T x x n | | | | u x n | |
ε 17 | | T x x n | | 2 + C ε 17 | | u x n | | 2 ε 17 | | T x x n | | 2 + C ε 17 z n ( t ) ,
0 1 T x x n 1 ρ n I ( ρ n , T n ) d x C 0 1 | T x x n | d x ε 18 | | T x x n | | 2 .
We obtain this inequality
d d t | | T x n | | 2 + 2 ν 0 | | T x x n | | 2 i = 14 18 ε i | | T x x n | | 2 + C ( z n ( t ) + z n ( t ) 3 ) .
Summing inequalities (39), (41), (43), (45) we get
d d t | | u n ( t ) | | 2 + | | u x n ( t ) | | 2 + | | T n ( t ) | | 2 + | | T x n ( t ) | | 2 + 8 3 ν 0 | | u x n | | 2 + 8 3 ν 0 | | u x x n | | 2 + + 2 ν 0 | | T x n | | 2 + 2 ν 0 | | T x x n | | 2 i = 9 13 ε i | | u x x n | | 2 + i = 14 18 ε i | | T x x n | | 2 + C ( z n ( t ) + z n 3 ( t ) ) ,
and choose i = 9 13 ε i = 8 3 ν 0 γ , (if ν 0 1 , then assume γ = ν 0 / 2 and choose i = 9 13 ε i from i = 1 4 ε i = 8 3 ν 0 ν 0 2 = 13 ν 0 6 ; if ν 0 > 1 , then γ = 1 / 2 and choose i = 9 13 ε i from i = 1 4 ε i = 8 3 ν 0 1 / 2 ) , and i = 14 18 ε i = 2 ν 0 γ , (if ν 0 1 , then we assume that γ = ν 0 / 2 and i = 9 13 ε i choose from the condition i = 1 4 ε i = 2 ν 0 ν 0 2 = 3 ν 0 2 ; if ν 0 > 1 , then assume γ = 1 / 2 and i = 9 13 ε i choose from the condition i = 1 4 ε i = 2 ν 0 1 / 2 ) . The ratio (46) may be represented as differential inequality
d z n ( t ) d t C z n 3 ( t ) ,
where C constant doesn’t depend on n. The uniform bounded ness z n ( t ) over n follows of (47) for all t t 0 , where
t 0 < 1 C z n 2 ( 0 )
The choice of t 0 satisfies the inequality for any n, as it follows from (47)
max 0 t < t 0 | | u x n ( t ) | | 2 + max 0 t < t 0 | | T x n ( t ) | | 2 + 0 t 0 0 1 | | u x x n | | 2 + | | T x x n | | 2 d x d t N 6 ,
with constant N 6 which is independent of n. Multiply the equation (31) by ( u i n ( t ) ) t , sum over i from 1 to n and integrate over x from 0 to 1. The following equation we get:
0 1 ( u t n ) 2 4 3 ( μ ( ρ n , T n ) ρ n u x n ) x u t n + u t n p x ( ρ n , T n ) d x = 0 .
Consider the second term
4 3 ( μ ( ρ n , T n ) ρ n u x n ) x u t n = 4 3 ( μ ( ρ n , T n ) ρ n u x n u t n ) x 4 3 μ ( ρ n , T n ) ρ n u x n u t x n =
= 4 3 ( μ ( ρ n , T n ) ρ n u x n u t n ) x 2 3 μ ( ρ n , T n ) ρ n ( u x n ) t 2 .
Then (49) represents as
0 1 ( u t n ) 2 d x + 2 3 0 1 μ ( ρ n , T n ) ρ n ( u x n ) t 2 d x + 0 1 u t n ( p ρ n ( ρ n , T n ) ρ x n + p T n ( ρ n , T n ) T x n ) d x = 0 .
Since the functions p ρ n ( ρ n , T n ) , p T n ( ρ n , T n ) are uniformly bounded over n for all ρ n ( 0 , 1 ) due to (21), we estimate the third term of the last equation.
0 1 u t n p ρ n ( ρ n , T n ) ρ x n d x C 0 1 ρ x n u t n d x ε 19 u t n 2 + C ε 19 ρ x n 2 ,
0 1 u t n p T n ( ρ n , T n ) T x n d x C 0 1 u t n T x n d x ε 20 u t n 2 + C ε 20 T x n 2 .
We obtain this
0 1 ( u t n ) 2 d x + 2 3 ν 0 0 1 μ ( ρ n , T n ) ρ n ( u x n ) t 2 d x i = 19 20 ε i u t n 2 + C ε 19 ρ x n 2 + C ε 20 T x n 2 ,
choosing i = 19 20 ε i = 1 / 3 and by virtue of the estimate (48) we have
2 3 0 1 ( u t n ) 2 d x + 2 3 ν 0 0 1 ( u x n ) t 2 d x ( C ε 19 ρ x n 2 + C ε 20 T x n 2 ) ( C ε 19 + C ε 20 ) N 6 N 7 .
Integrate over t the last inequality
0 t 0 u t n 2 d t N 8
Summing (48) and (50) we obtain the estimate (36)
max 0 t < t 0 | | u x n ( t ) | | 2 + 0 t 0 | | u x x n | | 2 + u t n 2 d t N 4 .
Now we multiply the equation (32) by ( T j n ( t ) ) t , sum it over j from 0 to n and integrate over x from 0 to 1. The following equality we get
0 1 ( T t n ) 2 d x + ν 0 2 0 1 ( ( T x n ) 2 ) t d x + 0 1 p ( ρ n , T n ) T t n u x n d x + 0 1 1 ρ n T t n I ( ρ n , T n ) d x = 0 .
Then we estimate the last two terms of the equality obtained taking into account this inequality
T n 0 1 T n d x + T x n and estimates (35) and (48)
0 1 p ( ρ n , T n ) T t n u x n d x C 0 1 T n T t n u x n d x ( N 3 + T x n ) T t n u x n
ε 21 T t n 2 + C ε 21 ( N 3 + T x n ) 2 u x n 2 ε 21 T t n 2 + C ε 21 ( N 3 2 + N 6 ) N 6 ,
0 1 1 ρ n T t n I ( ρ n , T n ) d x C 0 1 T t n d x ε 22 T t n 2 .
Therefore the following estimate is satisfied
0 1 ( T t n ) 2 d x + ν 0 2 0 1 ( ( T x n ) 2 ) t d x i = 21 22 ε i T t n 2 + C ε 21 ( N 3 2 + N 6 ) N 6 ,
choosing i = 21 22 ε i = 1 / 2 we have
T t n 2 + ν 0 0 1 ( ( T x n ) 2 ) t d x C ε 21 ( N 3 2 + N 6 ) N 6 N 9 .
Integrate over t the last inequality
0 t 0 T t n 2 d t N 10
Add up (48) and (51) we obtain the estimate (37)
max 0 t t 0 | | T x n ( t ) | | 2 + 0 t 0 | | T x x n | | 2 + T t n 2 d t N 5 .
Let’s return now to the inequalities of (21). From (18) we have
m 0 1 + 2 1 / 2 B 0 N 4 1 / 2 t 0 3 / 4 ρ n ( x , t ) M 0 1 2 1 / 2 B 0 N 4 1 / 2 t 0 3 / 4 .
If we choose
t 0 1 B 0 ( 1 + M 0 ) 2 B 0 N 4 1 / 2 4 / 3 ,
then this inequality is satisfied
0 < b 0 2 ρ n ( x , t ) B 0 + 1 2 < 1 , x [ 0 , 1 ] , t [ 0 , t 0 ] .
Lemma 2 is proven. □
A-priori estimates for derivatives. Using the obtained estimates we can get estimates of strict positivity for T n ( x , t ) . It follows directly from the equation (9):
max 0 t t 0 | | ρ t n ( t ) | | 2 N 11 .
Differentiate with respect to x the equation (9) and obtain
ρ t x n ( t ) = ( ( ρ n ) 2 u x x n + 2 ρ n ρ x n u x n ) ,
square it
( ρ t x n ( t ) ) 2 = ( ( ρ n ) 2 u x x n + 2 ρ n ρ x n u x n ) 2 2 ( ρ n ) 4 ( u x x n ) 2 + 4 ( ρ n ) 2 ( ρ x n ) 2 ( u x n ) 2 .
Integrate the last inequality over x from 0 to 1 and over t from 0 to t 0
0 t 0 0 1 ( ρ t x n ( t ) ) 2 d x d t 0 t 0 0 1 2 ( ρ n ) 4 ( u x x n ) 2 d x d t + 0 t 0 0 1 4 ( ρ n ) 2 ( ρ x n ) 2 ( u x n ) 2 d x d t .
Then estimate each term of the right part considering (21) and (38). We obtain
0 t 0 0 1 2 ( ρ n ) 4 ( u x x n ) 2 d x d t C 0 t 0 0 1 ( u x x n ) 2 d x d t = C 0 t 0 u x x n 2 d t C N 4 ,
0 t 0 0 1 4 ( ρ n ) 2 ( ρ x n ) 2 ( u x n ) 2 d x d t C 0 t 0 0 1 ( ρ x n ) 2 ( u x n ) 2 d x d t C 0 t 0 max 0 x 1 ( u x n ) 2 0 1 ( ρ x n ) 2 d x d t
C ( 1 + N 4 ) 0 t 0 u x x n 2 d t C ( 1 + N 4 ) N 4 N 12 .
Therefore, the following estimate is true
0 t 0 ρ t x n ( t ) 2 d t C N 4 + N 12 N 13 .
Differentiate the equality (31) with respect to t and obtain
0 1 u n t x 4 3 μ ( ρ n , T n ) ρ n u n x + p ( ρ n , T n ) x t s i n ( π i x ) d x =
= 0 1 [ u t t n 4 3 ( μ x ( ρ n , T n ) ρ n u x n + μ ( ρ n , T n ) ρ x n u x n +
+ μ ( ρ n , T n ) ρ n u x x n ) t + p x t ( ρ n , T n ) ] s i n ( π i x ) d x =
= 0 1 [ u t t n 4 3 ( ( μ t ( ρ n , T n ) ρ n u x n ) x + ( μ ( ρ n , T n ) ρ t n u x n ) x +
+ ( μ ( ρ n , T n ) ρ n u t x n ) x ) + p x t ( ρ n , T n ) ] s i n ( π i x ) d x = 0
The last equality is multiplied by ( u i n ( t ) ) t , summed over i from 1 to n and integrated over x from 0 to 1. The following equality is obtained
0 1 [ u t t n u t n 4 3 u t n ( ( μ t ( ρ n , T n ) ρ n u x n ) x + ( μ ( ρ n , T n ) ρ t n u x n ) x +
+ ( μ ( ρ n , T n ) ρ n u t x n ) x ) + u t n p x t ( ρ n , T n ) ] d x = 0 .
Notice, that u t n ( μ t ( ρ n , T n ) ρ n u x n ) x = ( u t n μ t ( ρ n , T n ) ρ n u x n ) x u t x n ( μ t ( ρ n , T n ) ρ n u x n ) , then
0 1 u t n ( μ t ( ρ n , T n ) ρ n u x n ) x d x = 0 1 ( u t n μ t ( ρ n , T n ) ρ n u x n ) x d x 0 1 u t x n ( μ t ( ρ n , T n ) ρ n u x n ) d x =
= u t n μ t ( ρ n , T n ) ρ n u x n 0 1 0 1 u t x n ( μ t ( ρ n , T n ) ρ n u x n ) d x =
= ( u i n ( t ) ) t s i n ( π i x ) μ t ( ρ n , T n ) ρ n u i n ( t ) ( π i ) c o s ( π i x ) 0 1 0 1 u t x n ( μ t ( ρ n , T n ) ρ n u x n ) d x =
= 0 1 u t x n ( μ t ( ρ n , T n ) ρ n u x n ) d x .
Analogically if we reveal the third and fourth terms it follows
1 2 0 1 ( ( u t n ) 2 ) t d x + 4 3 0 1 ( u t x n ) 2 μ ( ρ n , T n ) ρ n d x =
= 4 3 0 1 u t x n μ t ( ρ n , T n ) ρ n u x n d x 4 3 0 1 u t x n μ ( ρ n , T n ) ρ t n u x n d x 0 1 u t n p x t ( ρ n , T n ) d x .
Now we estimate the right part of the last inequality
0 1 u t x n μ t ( ρ n , T n ) ρ n u x n d x = 0 1 ( μ ρ n ρ t n + μ T n T t n ) u t x n ρ n u x n d x =
= 0 1 μ ρ n ρ t n u t x n ρ n u x n d x + 0 1 μ T n T t n u t x n ρ n u x n d x = A 9 + A 10 .
Since the functions μ ρ n , μ T n are uniformly bounded over n due to (21) for all ρ n ( 0 , 1 ) , then
A 9 C 0 1 ρ t n u t x n ρ n u x n d x C max 0 x 1 u x n 0 1 ρ t n u t x n d x C u x x n ρ t n u t x n
C max 0 t t 0 ρ t n u x x n u t x n C N 9 u x x n u t x n ε 23 u t x n 2 + C ε 23 u x x n ,
A 10 C 0 1 T t n u t x n ρ n u x n d x C max 0 x 1 u x n T t n u t x n
C u x n 1 / 2 u x x n 1 / 2 T t n u t x n ε 24 u t x n 2 u x n + C ε 24 T t n 2 u x x n
ε 24 N 4 1 / 2 u t x n 2 + C ε 24 T t n 2 u x x n ,
0 1 u t x n μ ( ρ n , T n ) ρ t n u x n d x C 0 1 u t x n ρ t n u x n d x max 0 x 1 u x n ρ t n u t x n
C u x x n max 0 t t 0 ρ t n u t x n C N 11 u x x n u t x n ε 25 u t x n 2 + C ε 25 u x x n 2 ,
0 1 u t n p x t ( ρ n , T n ) d x 0 1 u t n ( p ρ n ρ x n + p T n T x n ) t d x
0 1 u t n ( p ρ n ρ n ρ x n ρ t n + p ρ n T n ρ x n T t n + p ρ n ρ t x n + p T n T n T t n T x n + p T n ρ n ρ t n T x n + p T n T t x n ) d x .
Since the functions p ρ n ρ n , p ρ n T n , p ρ n , p T n T n , p T n are uniformly bounded over n due to (21) for all ρ n ( 0 , 1 ) , we estimate each term of the last inequality
0 1 p ρ n ρ t x n u t n d x C 0 1 ρ t x n u t n d x C u t n ρ t x n ε 26 u t n 2 + C ε 26 ρ t x n 2 ,
0 1 p T n T t x n u t n d x C 0 1 T t x n u t n d x C u t n T t x n ε 27 T x t n 2 + C ε 27 u t n 2 ,
0 1 u t n p ρ n ρ n ρ x n ρ t n d x C 0 1 u t n ρ x n ρ t n d x C 0 1 u t n ρ x n ( ρ n ) 2 u x n d x C 0 1 u t n ρ x n u x n d x
C max 0 x 1 u x n u t n ρ x n C N 4 1 / 2 u x x n u t n ε 28 u t n 2 + C ε 28 u x x n 2 ,
0 1 p ρ n T n ρ x n T t n u t n d x C 0 1 T t n u t n d x ε 29 u t n 2 + C ε 29 T t n 2 ,
0 1 p T n T n T t n T x n u t n d x C 0 1 T t n T x n u t n d x C max 0 x 1 T x n T t n u t n
C T x n 1 / 2 T x x n 1 / 2 T t n u t n ε 30 u t n 2 T x x n + C ε 30 T t n 2 T x n ,
0 1 p T n ρ n ρ t n T x n u t n d x C 0 1 ρ t n T x n u t n d x C max 0 x 1 T x n ρ t n u t n
C max 0 t t 0 ρ t n T x x n u t n C N 11 T x x n u t n ε 31 u t n 2 + C ε 31 T x x n 2 .
Then,
1 2 0 1 ( ( u t n ) 2 ) t d x + 4 3 ν 0 0 1 ( u t x n ) 2 d x
i = 23 25 ε i u t x n 2 + ε 27 T x t n 2 + u x x n 2 ( C ε 23 + C ε 25 + C ε 28 ) +
+ T t n 2 ( C ε 24 u x x n + C ε 29 + C ε 30 T x n ) +
+ u t n 2 ( ε 26 + C ε 27 + ε 28 + ε 29 + ε 30 T x x n + ε 31 ) + C ε 26 ρ x t n 2 + C ε 31 T x x n 2 .
Integrate over t and apply the estimates (36), (37) and(53), we obtain
1 2 max 0 t t 0 u t n 2 + 4 3 ν 0 0 t 0 u t x n 2 d t i = 23 25 ε i 0 t 0 u t x n 2 d t + ε 27 0 t 0 T x t n 2 d t +
+ N 4 ( C ε 23 + C ε 25 + C ε 28 ) + 0 t 0 T t n 2 ( C ε 24 u x x n + C ε 29 + C ε 30 T x n ) d t +
+ 0 t 0 u t n 2 ( ε 26 + C ε 27 + ε 28 + ε 29 + ε 30 T x x n + ε 31 ) d t + N 12 C ε 26 + N 5 C ε 31 .
Differentiate the equality (32) by t, we get
0 1 [ T t t n ( κ x ( ρ n , T n ) ρ n T x n + κ ( ρ n , T n ) ρ x n T x n + κ ( ρ n , T n ) ρ n T x x n ) t +
+ p t ( ρ n , T n ) u x n + p ( ρ n , T n ) u x t n + ( 1 ρ n ) t I ( ρ n , T n ) + 1 ρ n I t ( ρ n , T n ) ] c o s ( π j x ) d x = 0 .
The last equality is multiplied by ( T j n ( t ) ) t , summed over j from 0 to n. We obtain this equation
0 1 [ T t t n T t n T t n ( κ x ( ρ n , T n ) ρ n T x n + κ ( ρ n , T n ) ρ x n T x n + κ ( ρ n , T n ) ρ n T x x n ) t +
+ T t n p t ( ρ n , T n ) u x n + T t n p ( ρ n , T n ) u x t n + T t n ( 1 ρ n ) t I ( ρ n , T n ) + T t n 1 ρ n I t ( ρ n , T n ) ] d x = 0 .
Consider separately
( κ x ( ρ n , T n ) ρ n T x n + κ ( ρ n , T n ) ρ x n T x n + κ ( ρ n , T n ) ρ n T x x n ) t =
= κ x t ( ρ n , T n ) ρ n T x n + κ x ( ρ n , T n ) ρ t n T x n + κ x ( ρ n , T n ) ρ n T x t n +
+ κ t ( ρ n , T n ) ρ x n T x n + κ ( ρ n , T n ) ρ x t n T x n + κ ( ρ n , T n ) ρ x n T x t n +
+ κ t ( ρ n , T n ) ρ n T x x n + κ ( ρ n , T n ) ρ t n T x x n + κ ( ρ n , T n ) ρ n T x x t n ,
and notice
( κ t ( ρ n , T n ) ρ n T x n ) x = κ x t ( ρ n , T n ) ρ n T x n + κ t ( ρ n , T n ) ρ x n T x n + κ t ( ρ n , T n ) ρ n T x x n ,
( κ ( ρ n , T n ) ρ t n T x n ) x = κ x ( ρ n , T n ) ρ t n T x n + κ ( ρ n , T n ) ρ x t n T x n + κ ( ρ n , T n ) ρ t n T x x n
( κ ( ρ n , T n ) ρ n T x t n ) x = κ x ( ρ n , T n ) ρ n T x t n + κ ( ρ n , T n ) ρ x n T x t n + + κ ( ρ n , T n ) ρ n T x x t n .
Thus, the last equation can be represented as follows
0 1 [ T t t n T t n T t n ( κ t ( ρ n , T n ) ρ n T x n ) x T t n ( κ ( ρ n , T n ) ρ t n T x n ) x T t n ( κ ( ρ n , T n ) ρ n T x t n ) x +
+ T t n p t ( ρ n , T n ) u x n + T t n p ( ρ n , T n ) u x t n + T t n ( 1 ρ n ) t I ( ρ n , T n ) + T t n 1 ρ n I t ( ρ n , T n ) ] d x = 0 .
The second term can be expressed in the following form
T t n ( κ t ( ρ n , T n ) ρ n T x n ) x = ( T t n κ t ( ρ n , T n ) ρ n T x n ) x T x t n ( κ t ( ρ n , T n ) ρ n T x n ) .
Then,
0 1 T t n ( κ t ( ρ n , T n ) ρ n T x n ) x d x = ( T t n κ t ( ρ n , T n ) ρ n T x n ) 0 1 0 1 T x t n ( κ t ( ρ n , T n ) ρ n T x n ) d x =
= ( ( T j n ( t ) ) t c o s ( π j x ) κ t ( ρ n , T n ) ρ n T j n ( t ) ( π j ) s i n ( π j x ) ) 0 1 0 1 T x t n ( κ t ( ρ n , T n ) ρ n T x n ) d x =
= 0 1 T x t n ( κ t ( ρ n , T n ) ρ n T x n ) d x .
The third and fourth terms are reformed analogically and we obtain
1 2 0 1 ( T t n ) 2 d x + 0 1 κ ( ρ n , T n ) ρ n ( T x t n ) 2 d x = 0 1 T x t n κ t ( ρ n , T n ) ρ n T x n d x
0 1 T x t n κ ( ρ n , T n ) ρ t n T x n d x +
+ 0 1 T t n p t ( ρ n , T n ) u x n d x + 0 1 T t n p ( ρ n , T n ) u x t n d x + 0 1 T t n ( 1 ρ n ) t I ( ρ n , T n ) d x +
+ 0 1 T t n 1 ρ n I t ( ρ n , T n ) d x .
Now estimate the right part of the equality obtained
0 1 T x t n κ t ( ρ n , T n ) ρ n T x n d x = 0 1 ( κ ρ n ρ t n + κ T n T t n ) ρ n T x n T x t n d x =
= 0 1 κ ρ n ρ t n ρ n T x n T x t n d x + 0 1 κ T n T t n ρ n T x n T x t n d x = A 11 + A 12 .
The functions κ ρ n , κ T n , ρ n are uniformly bounded over n due to (21) for all ρ n ( 0 , 1 ) , therefore
A 11 = C 0 1 ρ t n T x n T x t n d x C max 0 x 1 T x n ρ t n T x t n ε 32 T x t n 2 + C ε 32 T x x n 2 ,
A 12 = C 0 1 T t n T x n T x t n d x C max 0 x 1 T x n T t n T x t n
C T x n 1 / 2 T x x n 1 / 2 T t n T x t n ε 33 T x t n 2 T x n + C ε 33 T t n 2 T x x n
ε 33 N 5 1 / 2 T x t n 2 + C ε 33 T t n 2 T x x n ,
0 1 T x t n κ ( ρ n , T n ) ρ t n T x n d x C 0 1 T x t n ρ t n T x n d x C max 0 x 1 T x n ρ t n T x t n
C max 0 t t 0 ρ t n T x x n T x t n C N 11 T x x n T x t n ε 34 T x t n 2 + C ε 34 T x x n 2 ,
0 1 T t n p t ( ρ n , T n ) u x n d x = 0 1 ( p ρ n ρ t n + p T n T t n ) T t n u x n d x =
= 0 1 p ρ n ρ t n T t n u x n d x + 0 1 p T n T t n T t n u x n d x = A 13 + A 14 .
Since the functions p ρ n , p T n are uniformly bounded over n by virtue of (21) for all ρ n ( 0 , 1 ) , then
A 13 C 0 1 ρ t n T t n u x n d x C max 0 x 1 u x n ρ t n T t n
max 0 t t 0 ρ t n u x x n T t n ε 35 T t n 2 + C ε 35 u x x n 2 ,
A 14 C 0 1 T t n T t n u x n d x C max 0 x 1 u x n T t n 2 C T t n 2 u x x n .
The functions ρ n 1 + ρ n 1 ρ n are uniformly bounded over n due to (21) for all ρ n ( 0 , 1 ) , taking into account the inequality T n 0 1 T n d x + T x n and estimate (48) we get
0 1 T t n p ( ρ n , T n ) u x t n d x C 0 1 T n T t n u x t n d x C ( N 3 + T x n ) T t n u x t n
ε 36 u x t n 2 + C ε 36 ( N 3 + T x n ) 2 T t n 2 ε 36 u x t n 2 + C ε 36 ( N 3 2 + N 6 ) T t n 2 .
We use (9) to estimate the fifth term
0 1 T t n ( 1 ρ n ) t I ( ρ n , T n ) d x C 0 1 T t n u x n d x ε 37 T t n 2 + C ε 37 u x n 2 ε 37 T t n 2 + C N 4 ε 37 ,
0 1 T t n 1 ρ n I t ( ρ n , T n ) d x = 0 1 T t n 1 ρ n ( I ρ n ρ t n + I T n T t n ) d x =
= 0 1 T t n 1 ρ n I ρ n ρ t n d x + 0 1 T t n 1 ρ n I T n T t n d x = A 15 + A 16 .
Since the functions 1 ρ n I ρ n , 1 ρ n I T n are uniformly bounded over n by virtue of (21) for all ρ n ( 0 , 1 ) , then we have
A 15 C 0 1 T t n ρ t n d x C T t n ρ t n C max 0 t t 0 ρ t n T t n
C N 11 T t n ε 38 T t n 2 ,
A 16 C 0 1 ( T t n ) 2 d x C T t n 2 .
Therefore,
1 2 0 1 ( T t n ) 2 d x + 0 1 κ ( ρ n , T n ) ρ n ( T x t n ) 2 d x i = 32 34 ε i T x t n 2 + ε 36 u x t n 2 +
+ T t n 2 ( C ε 33 T x x n + ε 35 + C u x x n + C ε 36 + ε 37 + ε 38 + C ) +
+ T x x n 2 ( C ε 32 + C ε 34 ) + u x x n 2 C ε 35 + C N 4 ε 37 ,
Now, integrate this over t, we obtain
1 2 max 0 t t 0 T t n 2 + ν 0 0 t 0 T x t n 2 d t i = 32 34 ε i 0 t 0 T x t n 2 d t + ε 36 0 t 0 u x t n 2 d t +
+ 0 t 0 T t n 2 ( C ε 33 T x x n + ε 35 + C u x x n + C ε 36 + ε 37 + ε 38 + C ) d t + N 14 .
Adding up (54) and (55)
1 2 max 0 t t 0 u t n 2 + 1 2 max 0 t t 0 T t n 2 + 4 3 ν 0 0 t 0 u t x n 2 d t + ν 0 0 t 0 T x t n 2 d t
( i = 23 25 ε i + ε 36 ) 0 t 0 u t x n 2 d t + ( i = 32 34 ε i + ε 27 ) 0 t 0 T x t n 2 d t +
+ N 15 0 t 0 T t n 2 ( u x x n + T x x n + T x n ) d t + N 16 0 t 0 u t n 2 T x x n d t + N 17 .
Now we choose i = 23 25 ε i + ε 36 = 5 ν 0 6 and i = 32 34 ε i + ε 27 = ν 0 2 , then the last inequality has the form
max 0 t t 0 u t n 2 + max 0 t t 0 T t n 2 + ν 0 ( 0 t 0 ( T x t n 2 + u x t n 2 ) d t
+ N 15 0 t 0 T t n 2 ( u x x n + T x x n + T x n ) d t + N 16 0 t 0 u t n 2 T x x n d t + N 17 .
Let y ( t ) = u t n 2 + T t n 2 . Therefore, the last inequality can be represented in the following form
d y d t C + y ( t ) ( u x x n + T x x n + T x n ) .
From Gronwall’s lemma we obtain
y ( t ) e 0 t 0 ( u x x n + T x x n + T x n ) d t ( y ( 0 ) + 0 t 0 e 0 τ ( u x x n + T x x n + T x n ) d s d t ) ,
thus, y ( t ) is bounded. Then
max 0 t t 0 u t n 2 + max 0 t t 0 T t n 2 + ν 0 ( 0 t 0 ( T x t n 2 + u x t n 2 ) d t N 18 .
Let ω ( x , t ) = T t n + 0 1 T t n d x , for which the equality holds 0 1 ω ( x , t ) d x = 0 , , therefore, there is a point a ( t ) exists, such that ω ( a ( t ) , t ) = 0 . Then
ω ( x , t ) = ω ( a ( t ) , t ) + a ( t ) x ω y ( y , t ) d y ,
T t n 0 1 T t n d x = a ( t ) x T t y n d y ,
T t n = 0 1 T t n d x + a ( t ) x T t y n d y ,
T n ( x , t ) T n ( x , 0 ) = 0 t T τ n d τ = 0 t ( 0 1 T τ n d x + a ( t ) x T τ y n d y ) d τ
0 t 0 1 T τ n d x d τ + 0 t a ( t ) x T τ y n d y d τ 0 t 0 0 1 T t n d x d t + 0 t 0 0 ) 1 T t y n d x d t
0 t 0 T t n d t + 0 t 0 T t x n d t N 5 1 / 2 t 0 1 / 2 + N 18 1 / 2 t 0 1 / 2 N 19 t 0 1 / 2 .
And then
T n ( x , t ) T n ( x , 0 ) = T n ( x , t ) T 0 ( x ) N 19 t 0 1 / 2 ,
T 0 N 19 t 0 1 / 2 T n ( x , t ) T 0 + N 19 t 0 1 / 2 .
That means if we choose t 0 ( b 1 2 N 19 ) 2 the following inequality will hold
0 < b 1 2 T n ( x , t ) 2 B 1 < .
Choosing t 0 = m i n { ( b 1 2 N 19 ) 2 ; ( 1 B 0 ( 1 + M 0 ) 2 B 0 N 4 1 / 2 ) 4 / 3 } , we obtain inequalities (21) and (33) respectively, for x [ 0 , 1 ] , t [ 0 , t 0 ] .
The estimates (21), (33) and (36), (37) allow us to select converging subsequences from the sequences { ρ n } , { u n } , { T n } . Passing to the limit in the equalities (17), (18), (31) and (32) shows that the limit functions ρ , u , T give a generalized solution on the interval [ 0 , t 0 ]. Theorem 2 is proven.

5. Numerical Solution of a Boundary-Value Problem for One-Dimensional Motion of a Granular Matter

We consider a numerical solution for the formulated problem, based on the finite difference approximation. Rewrite the one-dimensional equations system (7) and (8) in the following form:
u t = L u u + f u , ρ t = L ρ ρ .
The differential operators L u , L ρ and right part f u have the form:
L u = x 4 3 μ ρ u x , L ρ = ρ 2 u x , f u = G p x .
A solution of the problem is carried out by using the finite-difference method on the spatiotemporal mesh:
x i = ( i 1 ) h , t n = ( n 1 ) τ ,
where h = M N x 1 ) is the spatial coordinate step, τ is the temporal step, i = 1 , 2 , , N x , n = 1 , 2 , , N t . We introduce designations for the required functions in mesh points:
ρ ( x i , t n ) = ρ i n , u ( x i , t n ) = u i n .
Derivatives with respect to spatial variables are written in central differences: u x u i + 1 u i 1 2 h , temporal derivatives are approximated with right differences: u t u n + 1 u n τ (formulas for density are similar).
The difference scheme which approximates the equations of (56) is represented as:
( E τ L ˜ u ) u n + 1 = u i n + τ f ˜ u n ,
ρ i n + 1 = ρ i n + τ L ˜ ρ ρ n .
E is the unity operator here, E u = u .
The difference operators L ˜ u , L ˜ ρ are approximate their corresponding to them differential operators as follows:
L ˜ u u n + 1 = 4 3 1 h 2 ( μ ρ ) i 1 / 2 n u i 1 n + 1 ( ( μ ρ ) i 1 / 2 n + ( μ ρ ) i + 1 / 2 n ) u i n + 1 + ( μ ρ ) i + 1 / 2 n u i + 1 n + 1 ,
L ˜ ρ ρ n = ( ρ i n ) 2 u i + 1 n + 1 u i 1 n + 1 2 h .
Difference operator of the right side of f ˜ u is represented as:
f ˜ u = G p i + 1 n p i 1 n 2 h .
The values with fractional subscripts are defined as:
( μ ρ ) i 1 / 2 n = ( μ ρ ) i n + ( μ ρ ) i 1 n 2 , ( μ ρ ) i + 1 / 2 n = ( μ ρ ) i + 1 n + ( μ ρ ) i n 2 .
The differencing scheme (57), (58) approximates the differential system (56) on smooth functions of order O ( τ + h 2 ) .
We propose the following realization of numerical calculations. At first iteration, nodal velocity values are calculated at ( n + 1 ) time step using values of the sought functions, found at the previous time step. For that, the difference equations of (57) are reduced to a system of linear algebraic equations which makes possible to use the Tridiagonal Matrix method:
c i u i 1 n + 1 + a i u i n + 1 b i u i + 1 n + 1 = f i , i = 2 , 3 , N x 1 ,
u 1 n + 1 = 0 , u N x n + 1 = 0 .
Here
a i = 1 + 4 3 τ h 2 ( μ ρ ) i 1 / 2 n + ( μ ρ ) i + 1 / 2 n ,
b i = 4 3 τ h 2 ( μ ρ ) i + 1 / 2 n , c i = 4 3 τ h 2 ( μ ρ ) i 1 / 2 n ,
f i = u i n + τ G p i + 1 n p i 1 n 2 h .
second iteration, nodal density values are calculated at the ( n + 1 ) time step using the explicit difference scheme (58). It is proposed to obtain the density values at boundary nodes for i = 1 and i = N by extrapolation from the two nearest nodes.
Numerical calculations were carried out in the case of the dimensionless problem formulation. The O x axis is vertically directed and coincides with the gravity force. The initial values of density and velocity are set u 0 = 0 , ρ 0 = 0 , 9 , G = 1 / 10 . The variable x varies from 0 (upper bound) to M = ρ 0 L ˜ (bottom line), where L ˜ = 1 .
Figure 1 and Figure 2 show the density and velocity profiles at different time moments, where the O x axis is understood in Euler variables. The calculations showed that the density increases at the bottom and decrease sat the top.
Figure 3 and Figure 4 present the density and velocity profiles at different time moments, the values on the O x axis correspond to Euler variables, L ˜ = 100 .

6. Conclusions

The Theorems on the local solvability of isothermal and non-isothermal problems for one-dimensional motion of a granular material are proved. The numerical solution based on the finite difference approximation is obtained.

Funding

The work of the second author was carried out in accordance with the State Assignment of the Russian Ministry of Science and Higher Education entitled `Modern models of hydrodynamics for environmental management, industrial systems and polar mechanics’ (Govt. contract code: FZMW-2024-0003).

Conflicts of Interest

The authors report no conflict of interest.

Appendix A

A detailed nondimensionalization of the hydrodynamic equations and state equations is presented:
1) Make dimensionless the equation (5)
( m n c ρ ) ( t t 1 ) + ( ρ m n c ) 2 ( u u 1 ) ( x x 1 ) = m n c t 1 ρ t + ( m n c ) 2 u 1 x 1 ( ρ ) 2 u x = 0 ,
m n c t 1 x 1 ( m n c ) 2 u 1 = x 1 t 1 u 1 m n c = 1 , u 1 = x 1 m n c t 1 .
2) The state equation nondimensionalization:
p ( n , T ) = n T n c + n n c n = { ρ = m n } = ρ m T n c + ρ m n c ρ m = ρ m n c m T T 0 n c + ρ m n c m n c ρ m n c m =
= ρ n c T T 0 n c ( 1 + ρ ) n c ( 1 ρ ) = n c T 0 ρ T 1 + ρ 1 ρ = n c T 0 p ;
κ = n ( α l + d ) 2 l T m = ρ ( α l + d ) 2 m l T m = ρ m n c ( α l l 1 + d ) 2 m l l 1 T T 0 m =
= ρ n c ( d ( α l l 1 d + 1 ) ) 2 l l 1 T T 0 m = n c d 2 l 1 T 0 m · ρ ( α l d l + 1 ) 2 l T = n c d 2 l 1 T 0 m κ ;
μ = m κ Pr = m n c d 2 l 1 T 0 m Pr κ = m n c d 2 l 1 T 0 m μ , μ = Pr κ ;
I = ε γ c l n T T m = ε γ c l ρ m T T m = ε γ c l l 1 ρ m n c m T T 0 T T 0 m =
= T 0 T 0 n c m l 1 · ε γ c l ρ T T = T 0 T 0 n c m l 1 I .
3) Nondimensionalization of (6)
( u u 1 ) ( t t 1 ) = ( x x 1 ) 4 3 m n c d 2 l 1 T 0 m μ · ρ m n c ( u u 1 ) ( x x 1 ) ( n c T 0 p ) ( x x 1 ) + g ,
u 1 t 1 u t = m 2 n c 2 d 2 u 1 T 0 l 1 x 1 2 m x 4 3 μ ρ u x n c T 0 x 1 p x + g ,
u 1 t 1 · l 1 x 1 2 m m 2 n c 2 d 2 u 1 T 0 = l 1 x 1 2 m m 2 n c 2 d 2 T 0 t 1 = 1 ,
t 1 = l 1 x 1 2 m m 2 n c 2 d 2 T 0 .
Then, u 1 takes the form:
u 1 = x 1 m n c t 1 = x 1 m n c · l 1 x 1 2 m m 2 n c 2 d 2 T 0 = x 1 m n c d 2 T 0 l 1 x 1 2 m = m n c d 2 T 0 l 1 x 1 m .
Make the second term of (6) dimensionless:
n c T 0 x 1 · l 1 x 1 2 m m 2 n c 2 d 2 u 1 T 0 = T 0 l 1 x 1 m m 2 n c d 2 · m n c d 2 T 0 l 1 x 1 m = T 0 l 1 2 x 1 2 m m 2 n c 2 d 4 T 0 m = 1 ,
l 1 2 = m 2 n c 2 d 4 x 1 2 l 1 = m n c d 2 x 1 .
Thus,
u 1 = m n c d 2 T 0 m n c d 2 x 1 · x 1 m = m n c d 2 T 0 m n c d 2 m = T 0 m ,
t 1 = m n c d 2 x 1 · x 1 2 m m 2 n c 2 d 2 T 0 = m n c d 2 x 1 m m 2 n c 2 d 2 T 0 = x 1 m n c m T 0 ,
I = T 0 T 0 n c m l 1 I = T 0 T 0 n c x 1 m m n c d 2 I = T 0 T 0 x 1 m m d 2 I .
Write the equation (6) in dimensionless form:
n c T 0 x 1 u t = n c T 0 x 1 x 4 3 μ ρ u x n c T 0 x 1 p x + g .
4) Nondimensionalization of (7)
1 m T 0 t 1 T t = ( x x 1 ) n c d 2 1 T 0 m κ ρ m n c T 0 x 1 T x n c T 0 p u 1 x 1 u x 1 ρ m n c T 0 T 0 x 1 m m d 2 I ,
T 0 m t 1 · 1 m x 1 2 m n c 2 d 2 T 0 T 0 = m n c d 2 m x 1 2 x 1 m 2 n c 2 d 2 T 0 · x 1 m m n c T 0 = m n c d 2 m x 1 m n c d 2 m x 1 = 1 ,
n c T 0 u 1 x 1 · 1 m x 1 2 m n c 2 d 2 T 0 T 0 = n c T 0 m · m n c d 2 x 1 m x 1 m n c 2 d 2 T 0 = m n c 2 d 2 T 0 m n c 2 d 2 T 0 = 1 ,
T 0 T 0 n c m n c m 1 · 1 m x 1 2 m n c 2 d 2 T 0 T 0 = x 1 2 m 2 n c 2 d 2 = 1 ,
x 1 2 = m 2 n c 2 d 2 x 1 = m n c d ,
t 1 = x 1 m n c m T 0 = m n c d m n c m T 0 = m T 0 d ,
u 1 = T 0 m , l 1 = m n c d 2 m n c d = d .
Then
T T 0 m m d T t = T T 0 m m d x κ ρ T x T T 0 m m d p u x T T 0 m m d 1 ρ I ,
T t = x κ ρ T x p u x 1 ρ I .
Let’s get back to the dimensionless equation (6) and substitute dimensionless x 1 = m n c d , we obtain
T 0 n c m n c d u t = n c T 0 m n c d x 4 3 μ ρ u x n C T 0 m n c d p x + g ,
T 0 m d u t = T 0 m d x 4 3 μ ρ u x T 0 m d p x + g ,
u t = x 4 3 μ ρ u x p x + m d g T 0 .
The equations system (5)-(7) takes the form of (9)-(11) (primes omitted).

References

  1. Vaisberg, L.A.; Demidov, I.V.; Ivanov, K.S. Mechanics of granular media under vibration action: the methods of description and mathematical modeling. Obogashchenie rud 2015, 4, 21–31. [Google Scholar]
  2. Revuzhenko, A.F. Mechanics of granular media: Some basic problems and applications. Journal of Mining Science 2014, 5, 5–819. [Google Scholar] [CrossRef]
  3. Bobryakov, A.P.; Revuzhenko, A.F. Experimental Determination of Deviation from Coaxilaity of Stress and Strain Tensors in Granular Media. Journal of Mining Science 2014, 4, 4–646. [Google Scholar] [CrossRef]
  4. Bobryakov, A.P.; Revuzhenko, A.F. Effect of Gas Flow on Dilatancy and Stress State in Granular Material. Journal of Mining Science 2018, 3, 3–379. [Google Scholar] [CrossRef]
  5. Bobryakov, A.P.; Klishin, S.V.; Revuzhenko, A.F. Stress State of Conical Granular Pile. Journal of Mining Science 2019, 6, 6–876. [Google Scholar] [CrossRef]
  6. Klishin, S.V.; Revuzhenko, A.F. Numerical analysis of plastic behavior of granular media exposed to deformation under broken path loading. Journal of Mining Science 2015, 5, 5–951. [Google Scholar] [CrossRef]
  7. Klishin, S.V.; Revuzhenko, A.F. A class of vortex flows in granular medium. Journal of Mining Science 2015, 6, 6–1070. [Google Scholar] [CrossRef]
  8. Kraus, E.I.; Medvedev, A.E.; Shabalin, I.I.; Lavrikov, S.V.; Revuzhenko, A.F. Modeling of the differential rotation effect in complex loading of granular media. Journal of Applied Mechanics and Technical Physics 2009, 4, 4–661. [Google Scholar] [CrossRef]
  9. Jenkins, J.T.; Savage, S.B. A theory for the rapid flow of identical, smooth, nearly elastic, spherical particles. J. Fluid Mech. 1983, Vol. 130, 187–202. [Google Scholar] [CrossRef]
  10. Haff, P.K. Grain flow as a fluid-mechanical phenomenon. J. Fluid Mech. 1983, Vol. 134, 401–430. [Google Scholar] [CrossRef]
  11. Jenkins, J.; Richman, M. Boundary conditions for plane flows of smooth nearly elastic circular discs. J. Fluid Mech. 1986, Vol. 171, 53–69. [Google Scholar] [CrossRef]
  12. Campbell, C.S. Rapid granular flows. Ann. Rev. Fluid Mech. 1990, 22. [Google Scholar] [CrossRef]
  13. Jaeger, H.M.; Nagel, S.R.; Behringer, R.P. Granular solids, liquids, and gases. Rev. Mod. Phys. 1996, 4, 4–1259. [Google Scholar] [CrossRef]
  14. Jaeger, H.M.; Behringer, R.P.; Nagel, S.R. The physics of granular materials. Phys. Today. 1996, Vol. 49, 32–38. [Google Scholar] [CrossRef]
  15. Sela, N.; Goldhirsch, I. Hydrodynamic equations for rapid flows of smooth inelastic spheres to Burnett order. J. Fluid Mech. 1998, Vol. 361, 41–74. [Google Scholar] [CrossRef]
  16. Brey, J.J.; Dufty, J.W.; Kim, C.S.; Santos, A. Hydrodynamics for granular flow at low density. Phys. Rev. E. 1998, 4, 4–4638. [Google Scholar] [CrossRef]
  17. Kadanoff, L.P. Built upon sand: theoretical ideas inspired by granular flows. Rev. Mod. Phys. 1999, 1, 1–435. [Google Scholar] [CrossRef]
  18. Goldhirsch, I. Rapid granular flows. Annu. Rev. Fluid Mech. 2003, 1, 1–267. [Google Scholar] [CrossRef]
  19. Goldhirsch, I.; Noskowicz, S.; Bar-Lev, O. Nearly smooth granular gases. Phys. Rev. Lett. 2005, 95. [Google Scholar] [CrossRef]
  20. Du, Y.; Li, H.; Kadanoff, L.P. Breakdown of hydrodynamics in a one-dimensional system of inelastic particles. Phys. Rev. Lett. 1995, 8, 8. [Google Scholar] [CrossRef]
  21. Sela, N.; Goldhirsch, I. Hydrodynamics of a one-dimensional granular medium. Phys. Fluids 1995, 3, 3. [Google Scholar] [CrossRef]
  22. Duran, J. Sand, Powders and Grains: An Introduction to the Physics of Granular Materials. Springer. New-YorkPhys 1999, 71. [Google Scholar] [CrossRef]
  23. Aranson, I.S.; Tsimring, L.S. Patterns and collective behavior in granular media: theoretical concepts. Rev. Mod. Phys., 2006, 2, 2. [Google Scholar] [CrossRef]
  24. Eshuis, P.; van der Weele, K.; Alam, M.; Gerner, H.J.; van der Hoef, M.; Kuipers, H.; Luding, S.; van der Meer, D.; Lohse, D. Buoyancy driven convection in vertically shaken granular matter: experiment, numerics, and theory. Granular Matter 2013, 15, 893–911. [Google Scholar] [CrossRef]
  25. Antontsev, S.N.; Kazhikhov, A.V.; Monakhov, V.N. Boundary Value Problems in Mechanics of Nonhomogenuous Fluids. Novosibirsk 1983. [Google Scholar]
  26. Kanel, Y.I. A model system of equations for the one-dimensional motion of a gas. Differentsial’nye Uravniniya 1968, 4, 721–734. [Google Scholar]
  27. Papin, A.A. The solvability in time of the system of one-dimensional motion of two mutually penetrating viscous incompressible liquids. Dinamika sploshnoi sredy 1999, 114, 64–70. [Google Scholar]
  28. Papin, A.A. Solvability of a system of equations of one-dimensional motion of two mutually penetrating viscous incompressible fluids “in the small” via initial data. Dinamika sploshnoi sredy 2000, 116, 73–80. [Google Scholar]
  29. Papin, A.A.; Akhmerova, I.G. Solvability of the system of equations of one-dimensional motion of a heat conducting two-phase mixture. Mathematical Notes 2010, 87, 230–243. [Google Scholar] [CrossRef]
  30. Papin, A.A.; Akhmerova, I.G. Solvability of the Boundary-Value Problem for Equations of One-Dimensional Motion of a Two-Phase Mixture. Mathematical Notes 2014, 96, 8–21. [Google Scholar]
  31. Papin, A.A.; Akhmerova, I.G. Flow problem for the equations of motion of two interpenetrating viscous fluids. Sib.Math.J., Siberian branch of RAS, Novosibirsk 2004, 96, 37. [Google Scholar]
  32. Samarskiy, A.A.; Popov, Yu.P. Difference methods for solving gas dynamics problems. Nauka 1992, 424. [Google Scholar]
  33. Kovenya, V.M.; Slyunyaev, A.Yu. Splitting algorithms for solving Navier–Stokes equations. Computational Mathematic and Mathematical Physics, 2009, 4, 4–700. [Google Scholar]
  34. Kovenya, V.M.; Kuzmin, M.P.; Poltoratskiy, R.S. A predictor-corrector difference scheme for the numerical solution of the Navier-Stokes equations of a compressible heat-conducting gas. Vestnik NSU, Series: Mathematics, mechanics, informatics 2011, 11, 32–48. [Google Scholar]
  35. Grossman, E.L.; Zhou, T.; Ben-Naim, E. Towards granular hydrodynamics in two-dimensions. Phys. Rev. E., 1997, 4, 4–4200. [Google Scholar] [CrossRef]
  36. Eshuis, P.; van der Weele, K.; van der Meer, D.; Lohse, D. Granular Leidenfrost effect: experiment and theory of floating particle clusters. Phys. Rev. Lett. 2005, 95, 258001-1–258001-4. [Google Scholar] [CrossRef]
  37. Meerson, B. , Pöschel, T., Bromberg, Y. Close-packed floating clusters: granular hydrodynamics beyond the freezing point? Phys. Rev. Lett., 2003, 2, 2. [Google Scholar] [CrossRef]
  38. Hartman, P. Ordinary differential equations. Mir, 1970, Translation from English: Sabitova I.H., Egorova Yu. V.
Figure 1. Density profiles.
Figure 1. Density profiles.
Preprints 119939 g001
Figure 2. Velocity profiles.
Figure 2. Velocity profiles.
Preprints 119939 g002
Figure 3. Density profiles, L ˜ = 100 .
Figure 3. Density profiles, L ˜ = 100 .
Preprints 119939 g003
Figure 4. Velocity profiles, L ˜ = 100 .
Figure 4. Velocity profiles, L ˜ = 100 .
Preprints 119939 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated