Strong solutions and trajectory attractors to the thin-film equation with absorption

https://doi.org/10.1016/j.jmaa.2020.124562Get rights and content

Abstract

We prove local and global in time existence of non-negative weak solutions to the thin-film equation with absorption and obtain sufficient conditions for extra regularity of these solutions. Moreover, for the class of global strong solutions, we show existence of a trajectory attractor.

Introduction

Thin liquid film models originate from numerous industrial applications connected with liquid dynamics, material science, medicine and biology (see [22]). Let <a<b<, n1, λ,β>0 be arbitrary fixed and u0,hH1(a,b). To simplify our notations, we will sometimes use H1 for H1(a,b) and H2 for H2(a,b). Assume thatu0(x)0 and h(x)0 for each x(a,b). Moreover, letg(z):=|z|λ1z+βz,l(x,z):=g(z)h(x)(x,z)(a,b)×R1. In this paper, we analyse the existence, regularity and asymptotic behaviour of solutions to the following initial boundary value problem:ut+(|u|nuxxx)x+l(x,u)=0 in QT:=(a,b)×(0,T),ux|x=a,b=uxxx|x=a,b=0 on (0,T),u|t=0=u0 on (a,b). Here, the term l(x,u) models a concurrence between non-linear absorption and spatial injection. The absorption-type term was first introduced in [15]. Dependence of solutions on the absorption term was studied in [26], [27], [28] and [11], [12]. The injection term first appeared in [23] and its influence on solution properties was not studied enough. Equation (1.3) is a nonlinear degenerate fourth-order parabolic PDE and it models a thin liquid film on a horizontal surface with surface tension and viscosity. Classical parabolic theory is not applicable to this type of equations, because, for example, of lack of comparison principle which is widely used in existence theory of second order parabolic equations.

The well known paper [4] by Bernis and Friedman initiated rigorous mathematical study of thin film equations. Namely, by using the energy-entropy method, in [4] the existence of nonnegative generalized weak solutions was proved for the special case l0 of (1.3). These weak solutions were constructed as a limit of solutions of a regularized problem for a class of regular nonnegative initial data. The generalized weak solution introduced in [4] is in some sense “weaker” than a standard weak solution as not all integrals in the integral identity are defined on the whole domain of definition of the original problem. Existence of more regular (strong or entropy) solutions was shown in [3]. The classical thin-film equation, related to the case l0 in our problem, has been well-studied over the last years. Multiple analytical results like: existence and regularity of solutions, convergence to a steady state, finite speed propagation and waiting time phenomenon were obtained in [15], [26], [27], [28]. However, to the best of our knowledge, the global asymptotic behaviour of solutions in the presence of absorption, was not studied for thin-film type equations before. This asymptotic behaviour, in infinite-dimensional dissipative systems, is associated with an existence of a global [29] or a trajectory [7] attractor. There is one fundamental complication for a straightforward application of a classical method of semigroups to (1.3). That is possible non-uniqueness of solutions to the corresponding initial boundary value problem (see [3] for simple examples of how, introduced by Bernis and Friedman, construction method applied to ht=(|h|nhxxx)x can result in two different solutions arising from the same initial data). The attractor theory for complex systems without unique solutions was recently developed in [5], [6], [17], [19], [20], [21], [24], [32], [30] and this theory gave us a description of global asymptotic behaviour of weak and strong solutions for a wide class of evolution problems [14], [13], [16], [18], [31].

The main goals of this paper are: to analyse local and global solvability of the thin film equation with absorption, to obtain conditions for extra regularity of solutions, and to prove existence of a trajectory attractor for strong solutions.

The paper is structured as follows: in the second section we impose our main conditions on the parameters of the problem (1.3)–(1.5), we also give a definition and justify existence of weak and strong solutions (for existence of strong solutions see Theorem 1); in the third section we derive a priori estimates for the strong solutions of the problem; in the fourth section we prove the existence of a trajectory attractor (see Theorem 2) for the class of strong solutions that satisfy the corresponding a priori estimates.

Section snippets

Existence of a strong solution

Let us start this section with a definition of weak and strong solutions to problem (1.3)—(1.5). Theorem 1 provides a local strong existence result for this problem.

Definition 2.1 weak solution

Let n1 and λ>0. A generalised weak solution of problem (1.3)—(1.5) is a function u(x,t) satisfyinguCx,t1/2,1/8(QT)L(0,T;H1(a,b))Lλ+1(QT),utL2(0,T;(H1(a,b))),uCx,t4,1(PT),|u|n2uxxxL2(PT), where PT=QT({u=0}{t=0}) and u satisfies (1.3) in the following sense:0Tut(,t),ϕ(H1),H1dtPT|u|nuxxxϕxdxdt+QTl(x,u)ϕdxdt=0 for

A priori estimates

Let us derive additional estimates for global strong solutions to (1.3)—(1.5).

Lemma 3.1

Assume that the initial function u0 satisfies (2.9), conditions (2.10) take place and, additionally, n(1,2). Then a strong solution of (1.3)(1.5) from Theorem 1 satisfies the following estimateabG0(u)dx+QTuxx2dxdtabG0(u0)dx+K1+K2T, where Ki are some positive constants.

Proof of Lemma 3.1

Let us consider regularised problem (2.11)–(2.13) and let uδ be a positive limit solution (when ε0) (see Step 3 in the proof of Theorem 1). We

Trajectory attractor

Let us briefly describe a general scheme of a trajectory attractor approach (see [7]) applied to an abstract evolution problem which is globally resolved in the phase space E:

  • we introduce a class K of globally defined solutions which is wide enough to be complete and also translation invariant in E, i.e.u0EuK such that u(0)=u0,T(t)KKt0, where {T(t):FF}t0 be a translation semi-group, T(t)u(s)=u(s+t), F is some space of functions with values in E such that KF, and, moreover, functions

Acknowledgments

The authors thank the anonymous referee for valuable comments and for improving readability of the article. We would like to express our appreciation to Prof. Marina Chugunova for her useful suggestions during the preparation of the revised version of the paper.

References (32)

  • V.A. Galaktionov

    Very singular solutions for thin film equations with absorption

  • V.A. Galaktionov et al.

    On center subspace behavior in thin film equations

    SIAM J. Appl. Math.

    (2009)
  • N.V. Gorban et al.

    Strong global attractor for the three-dimensional Navier-Stokes system of equations in unbounded domain of channel type

    J. Autom. Inf. Sci.

    (2015)
  • N.V. Gorban et al.

    On global attractors for autonomous damped wave equation with discontinuous nonlinearity

  • G. Grün

    Degenerate parabolic differential equations of fourth order and a plasticity model with non-local hardening

    Z. Anal. Anwend.

    (1995)
  • O.V. Kapustyan et al.

    Structure of the global attractor for weak solutions of a reaction-diffusion equation

    Appl. Math. Inf. Sci.

    (2015)
  • View full text