Journal of Function Spaces
Volume 2018 (2018), Article ID 9689476, 10 pages
https://doi.org/10.1155/2018/9689476

Research Article

On the Non-Newtonian Fluid Equation with a Source Term and a Damping Term

Huashui Zhan¹ and Yongping Li²

¹School of Applied Mathematics, Xiamen University of Technology, Xiamen 361024, China
²Fujian Engineering and Research Center of Rural Sewage Treatment and Water Safety, Xiamen 361024, China

Correspondence should be addressed to Huashui Zhan; huashuizhan@163.com

Received 30 August 2018; Accepted 22 October 2018; Published 25 November 2018

Academic Editor: Mitsuru Sugimoto

Copyright © 2018 Huashui Zhan and Yongping Li. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

A kind of non-Newtonian fluid equation with a damping term and a source term is considered. After giving a result of the existence, if the diffusion coefficient is degenerate on the boundary, the local stability of the weak solutions is established without any boundary condition. If the diffusion coefficient is degenerate on a part of the boundary, by imposing the homogeneous value condition on the other part of the boundary, the local stability of the weak solutions is proved. Moreover, if the equation is with a damping term, other than the finite propagation property, the results of this paper reveal the essential differences between the non-Newtonian fluid equation and the heat conduction equation in a new way.

1. Introduction

Consider the parabolic equation

related to the Laplacian, with the initial value

and the usual boundary value

where and , , is a continuous function, is a bounded domain with a smooth boundary , , . The equation comes from a host of applied fields such as the theory of non-Newtonian fluid, the water infiltration through porous media, and the oil combustion process; one can refer to [1–4] and the references therein. For the evolutionary Laplacian equation

and with the initial-boundary value conditions (2) and (3), the weak solution is unique and has finite propagation property [3]. However, the damping term and the source term in (1) may change the situation.

Bertsh et. al. [5] and Zhou et. al. [6] had discussed the existence and the properties of the viscosity solutions for the equation

and shown that the uniqueness of the weak solution is not true, where is a positive constant. Zhang et. al. [7] had discussed the existence and the properties of the viscosity solution for the equation

and shown that the uniqueness of the weak solution is not true, where and at least there exists a point such that , .

Meanwhile, Ji Benedikt et. al. [8, 9] had shown that the uniqueness of the solution of the following equation is true

is not true provided that , and at least there exists a point such that .

In this paper, we first assume that

and then (1) is degenerate on the boundary. Such a degeneracy may have a substantial influence on the solutions. If one considers the well-posedness of (1), one expects that such a degeneracy may counteract the effects from the damp term and the source term. A typical example is the equation

which was studied by Yin-Wang [10, 11]. Here, is the distance function from the boundary and satisfies (8). Yin-Wang showed that, if , although the weak solution may lack the regularity to be defined and the trace on the boundary and the boundary value condition (3) cannot be imposed in the trace sense, the uniqueness of the weak solution is still true. Moreover, the author had studied the equation

and shown that condition (8) may act as the role as the boundary value condition (3) and ensure the well-posedness of the solutions [12–15].

Coming back to (1). On the one hand, based on the knowledge of (5) and (6), if , , and in (1), then the uniqueness of the solution is not true. Accordingly, in this paper, we consider the well-posedness of (1) whether or on the boundary . On the other hand, based on the knowledge of [10–15], when and satisfies (8), we can expect that the uniqueness of the weak solution to (1) is still true, even if as (6).

Definition 1. A function is said to be a weak solution of (1) with the initial value (2), if

and for any function ,

The initial value is satisfied in the sense

Definition 2. The function is said to be the weak solution of (1) with the initial value (2) and the boundary value condition (3), if satisfies Definition 1, and the boundary value condition (3) is satisfied in the sense of trace.

Theorem 3. Let satisfy (8), , be a Lipschitz function,

If ,

and

then (1) with initial value (2) has a nonnegative weak solution. Moreover, if

then the initial-boundary value problem (1), (2), (3) has a nonnegative solution in the sense of Definition 2.

Since when , condition (16) implies that ; hereafter, the constants may depend on . We think the existence of the weak solutions can be proved only if , and the condition is just a makeshift. Also condition (16) may not be necessary, but we are not ready to pay so much attentions to the existence. We will focus on the uniqueness of the weak solution.

Theorem 4. Let be two weak solutions of (1) with the initial values , respectively. If satisfies (8), , is a continuous function, , then there is a constant such that

Since satisfies (8), Theorem 4 implies the uniqueness of the weak solution to (1) is true even without the boundary value condition. Moreover, we have the following two simple comments.

(1) Theorem 4 includes the case of and ; in other words, the uniqueness of the weak solution to the following equation

is true, where and .

(2) Theorem 4 includes the case of and and at least there exists a point such that . In other words, the uniqueness of the weak solution to the following equation

is true, where and .

Compared with (6) and (7), Theorem 4 reveals that the degeneracy of brings the new change about the property of the solutions.

In order to illustrate the problem more clearly, secondly, we assume that

In this case, we consider the uniqueness of weak solution to (1) under a partial boundary value condition. This is the following theorem.

Theorem 5. Let satisfy (21) and be two weak solutions of (1) with the initial values , respectively, with the same partial boundary value condition

If , , satisfies (17), (22), and (23), and is a continuous function, then there is a constant such that the local stability is true in the sense of (18).

If we notice that satisfies (22), according to [5–7], the uniqueness of the solution to the equation

is not true when is near to , while Theorem 5 implies that the uniqueness of the solution to the equation

is true provided that . This fact shows the differences between the heat conduction equation () and the non-Newtonian fluid equation () again. It is well-known that the heat conduction equation has the infinite propagation property, while the non-Newtonian fluid equation has the finite propagation property.

2. The Weak Solutions Depend on the Initial Value

It is supposed that satisfies

Let and be uniformly bounded, and let converge to in . For simplicity, we may assume that is a function without loss the generality.

We now consider the following regularized problem

Since satisfies (4), it is well-known that the above problem has a unique nonnegative classical solution [3, 16].

By the maximum principle, we have

Multiplying (28) by and integrating it over , we get

Since ,

and by , we have

and

Multiplying (28) by , integrating it over ,

Noticing that

we have

Moreover, by the Young inequality and the Hölder inequality,

By (36), (38), (39), and (40),

By (35), (41), we know can be embedded into compactly. Then a.e. in . At the same time, since ,

Hence, by (31), (35), (40), (41), (42) there exists a function , dimensional vector function , and a function such that

and

Here, is the signed Radon measures on . In order to prove that satisfies (1), we notice that for any function ,

Now, in the first place, we can prove

in a similar way to that of the usual Laplacian equation. Then, letting in (45),

What is more, by the weak convergent theorem, for any ,

For any ,

By (48),

Combining (49) with (50), we have

for any . Clearly, for any , (50) is still true.

Then, by (48) and (51),

By (52), by the arbitrary of , we know that

Thus in .

Since , by (53), for any function

is clearly. Then

for any function . Combining (46) with (55), satisfies (7).

At last, we are able to prove (13) as in [17]; thus we have Theorem 3.

3. The Proof of Theorem 4

For small , let

Obviously , and

Theorem 6. Let be two weak solutions of (1) with the initial values , respectively. If satisfies (8), , there is a constant such that one of the following conditions is true:
;

,

, and

then

Proof. Let , be two solutions of (1) with the initial values . We can choose as the test function. Then

Thus

By that in , we have

If , since , , we have

If , since , , we have

If

only if

However, this inequality is natural since .
By (65)-(68), we have

where .
If , then . Since

we have

If , then . Since

and we have

If , by (60), we have

Moreover, since , , is a continuous function,

Now, let in (62). Then

where . This inequality implies that

Proof of Theorem 4. Since , , and , conditions (58) and (59) are true naturally, by Theorem 6, we have the conclusion.

4. The Proof of Theorem 5

Lemma 7. If , is a weak solution of (7) with the initial condition (2). Then the trace of on the boundary can be defined in the traditional way.

This lemma can be found in [14]. Recall that we have assumed (21)-(23), i.e.,

Let be a function satisfying that

and

Let

Then .

Theorem 8. Let be two weak solutions of (1) with the initial values , respectively, with the same partial boundary value condition

If , satisfies (17), (22)-(23), and there is a constant such that one of the following conditions is true,

;
, and (60) is true;
then the local stability (18) is true.

Proof. Since , then ; accordingly, we can choose as the test function. Then

At first

In the second place, by the fact that in , we have

The last inequality is obtained similar to (66)-(68), where . Thirdly,

Since when , and satisfies

we have

Fourthly, if ,

where .
If , by (60), we have

Last but not least,

Now, let in (85). Then

where . This inequality implies that

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The paper is partially supported by NSF of Fujian Province and partially supported by the Open Research Fund Program form Fujian Engineering and Research Center of Rural Sewage Treatment and Water Safety, China.

References

R. Aris, The mathematical theory of diffusion and reaction in permeable catalysts, I, II, Clarendon, Oxford, 1975.

E. C. Childs, An Introduction to the Physical Basis of Soil Water Phenomena, Wiley, London, UK, 1969.

Z. Q. Wu, J. N. Zhao, J. X. Yin, and H. Li, Nonlinear Diffusion Equations, World Scientific Publishing, River Edge, NJ, USA, 2001.

E. DiBenedetto, Degenerate Parabolic Equations, Springer, New York, NY, USA, 1993.

M. Bertsch, R. Dal Passo, and M. Ughi, “Discontinuous viscosity solutions of a degenerate parabolic equation,” Transactions of the American Mathematical Society, vol. 320, no. 2, pp. 779–798, 1990.

W. S. Zhou and S. F. Cai, “Certain continuity of viscosity solutions of the Cauchy problem for a degenerate parabolic equation in nondivergence form,” Journal of Jilin University. Science Edition. Jilin Daxue Xuebao. Lixue Ban, vol. 42, no. 3, pp. 341–345, 2004.

Q. Zhang and P. Shi, “Global solutions and self-similar solutions of semilinear parabolic equations with nonlinear gradient terms,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 72, no. 6, pp. 2744–2752, 2010.

J. Benedikt, V. E. Bobkov, P. Girg et al., “Nonuniqueness of solutions of initial-value problems for parabolic -Laplacian,” Electronic Journal of Differential Equations, No. 38, 7 pages, 2015.

J. Benedikt, P. Girg, L. Kotrla et al., “Nonuniqueness and multi-bump solutions in parabolic problems with the -Laplacian,” Journal of Differential Equations, vol. 260, no. 2, pp. 991–1009, 2016.

J. Yin and C. Wang, “Evolutionary weighted p-Laplacian with boundary degeneracy,” Journal of Differential Equations, vol. 237, no. 2, pp. 421–445, 2007.

J. Yin and C. Wang, “Properties of the boundary flux of a singular diffusion process,” Chinese Annals of Mathematics, Series B, vol. 25, no. 2, pp. 175–182, 2004.

H. Zhan, “On a parabolic equation related to the -Laplacian,” Boundary Value Problems, Paper No. 78, 8 pages, 2016.

H. Zhan, “The uniqueness of the solution to the diffusion equation with a damping term,” Applicable Analysis: An International Journal, pp. 1–14, 2018.

H. Zhan and Z. Feng, “Degenerate non-Newtonian fluid equation on the half space,” Dynamics of Partial Differential Equations, vol. 15, no. 3, pp. 215–233, 2018.

H. Zhan, “Existence of solutions to an evolution -Laplacian equation with a nonlinear gradient term,” Electronic Journal of Differential Equations, Paper No. 311, 15 pages, 2017.

L. Gu, Second order parabolic partial differential equations, The publishing company of Xiamen University, China, 2004.

J. N. Zhao, “Existence and nonexistence of solutions for ut = div(∣∇u∣p-2∇u)+f(∇u,u,x,t),” Journal of Mathematical Analysis and Applications, vol. 172, no. 1, pp. 130–146, 1993.