Abstract
We study a mutually coupled mesoscopic-macroscopic-shell system of equations modeling a dilute incompressible polymer fluid which is evolving and interacting with a flexible shell of Koiter type. The polymer constitutes a solvent-solute mixture where the solvent is modelled on the macroscopic scale by the incompressible Navier–Stokes equation and the solute is modelled on the mesoscopic scale by a Fokker–Planck equation (Kolmogorov forward equation) for the probability density function of the bead-spring polymer chain configuration. This mixture interacts with a nonlinear elastic shell which serves as a moving boundary of the physical spatial domain of the polymer fluid. We use the classical model by Koiter to describe the shell movement which yields a fully nonlinear fourth order hyperbolic equation. Our main result is the existence of a weak solution to the underlying system which exists until the Koiter energy degenerates or the flexible shell approaches a self-intersection.
Similar content being viewed by others
1 Introduction
On the one hand, fluid-structure interactions are common physical phenomena yet mathematically challenging problems with applications in aeroelasticity (Dowell 2015), biomechanics (Bodnár et al. 2014) and hydrodynamics (Chakrabarti 2002) amongst others. On the other hand, the huge industrial application of the interactions between polymer molecules and fluids such as in the production of paints, lubricants, plastics as well as in the processing of food stuff (Bird et al. 1987), makes the analysis of polymeric fluids very important. Therefore, from a mathematical, physical and commercial point-of-view, the analysis of the mutual interaction of all three elements, i.e. fluid, structure and polymer molecules is crucial.
We consider in this work, the evolution of a dilute three-dimensional incompressible polymeric fluid in a spatial domain that is changing with respect to time. The displacement of the boundary is prescribed via the two-dimensional mid-section of the flexible Koiter shell whose energy is a nonlinear function of the first and second fundamental forms of the moving boundary. We prove the existence of a weak solution to the coupled fluid-kinetic system, given by the incompressible Navier–Stokes–Fokker–Planck sytem, which is interacting with an elastic Koiter shell. The existence time is only restricted once the shell approaches a self-intersection or the Koiter energy degenerates.
Existence of a solution to the Fokker–Planck equation for a given solenoidal velocity field incorporating the center-of-mass diffusion term has been established by El-Kareh and Leal (1989) independently of the Deborah number. The incompressible Navier–Stokes–Fokker–Planck system for polymeric fluids including center-of-mass diffusion has been studied considerably. See, for example, the works by Barrett et al. (2005), Barrett and Süli (2007, 2008, 2011, 2012a, 2012b), as well as by Gwiazda et al. (2018) and Lukáčová-Medvidová et al. (2017) for the kinetic Peterlin model with a nonlinear spring law for an infinitely extensible spring. All these results derive global-in-time weak solutions for variations of the incompressible Navier–Stokes equations coupled with the Fokker–Planck equation. On the other hand, a unique local-in-time strong solution for the center-of-mass system was first shown to exist by Renardy (1991). Unfortunately, Renardy (1991) excludes the physically relevant FENE dumbbell models. The local theory was then revisited by Jourdain et al. (2004) for the stochastic FENE model for the simple Couette flow and by E et al. (2004) who analysed the incompressible Navier–Stokes equation coupled with a system of SDEs describing the configuration of the spring. The corresponding deterministic system, where instead the incompressible Navier–Stokes equations are coupled with the Fokker–Planck equation, was studied by Li et al. (2004) and Zhang and Zhang (2006). Constantin proved the existence of Lyapunov functionals and smooth solutions in Constantin (2005) and then derived global-in-time strong solutions for the 2-D system in Constantin et al. (2007) together with Fefferman, Titi & Zarnescu.
The analysis is significantly harder without center-of-mass diffusion since the Fokker–Planck equation becomes a degenerate parabolic equation which behaves like an hyperbolic equation in the space-time variable. A global weak solution result to the incompressible Navier–Stokes–Fokker–Planck system for the FENE dumbbell model without center-of-mass diffusion was recently achieved in the seminal paper (Masmoudi 2013) by Masmoudi. The main difficulty is to pass to the limit in the drag term of the Fokker–Planck equation which does not have any obvious compactness properties. Earlier global weak solution results without center-of-mass diffusion include the work by Lions and Masmoudi (2000, 2007) who studied the corotational case, and Otto and Tzavaras (2008) who studied weak solutions for the stationary system. Masmoudi (2008) also constructed a local-in-time strong solution to the incompressible Navier–Stokes–Fokker–Planck system for the FENE dumbbell model without center-of-mass diffusion in Masmoudi (2008). Furthermore, the solution is global near equilibrium, see also Klainerman and Majda (1981). Further results on local strong solutions where proved by Luo and Yin (2017) and Breit and Mensah (2018).
With respect to fluid-structure problems, the analysis of weak solutions to incompressible viscous fluids interacting with lower-dimensional linear elastodynamic equations has been studied by Chambolle et al. (2005), by Grandmont (2008), Hundertmark-Zaušková et al. (2016), Lengeler and Růžička (2014) and by Muha and Čanić (2014, 2013), just to list a few. In particular, the existence of a weak solution for the three-dimensional viscous incompressible fluid modelled by the Navier–Stokes equations which is interacting with a flexible elastic plate located on one part of the fluid boundary was shown by Chambolle et al. (2005). This solution exists so long as the moving part of the structure does not touch the fixed part of the fluid boundary. By using a singular limit argument, the existence of a weak solution to the incompressible Navier–Stokes equation coupled with a plate in flexion was constructed by Grandmont (2008) as the coefficient modelling the viscoelasticity of the plate tends to zero. In Hundertmark-Zaušková et al. (2016), Hundertmark-Zaušková et al. studied the existence of a weak solution to a power-law viscosity fluid-structure interaction problem for shear-thickening flows. Again, the solution exists until a contact of the elastic boundary with a fixed boundary part is made. Lengeler and Růžička also studied in Lengeler and Růžička (2014), the interaction of an incompressible Newtonian fluid, modelled by the Navier–Stoke equation, with a linear elastic shell of Koiter. Here, the middle surface of the shell serves as the mathematical boundary of the three-dimensional fluid domain. The weak solution is shown to exist so long as the magnitude of the shell’s displacement stays below a bound that rules out self-intersection. In Muha and Čanić (2013) however, Muha and Čanić use a semi-discrete, operator splitting numerical scheme to show the existence of a weak solution to a fluid-structure coupled system governed by the two-dimensional incompressible Navier–Stokes equations, while the elastodynamics of the cylindrical wall is modelled by the one-dimensional cylindrical linear Koiter shell model. The solution exists as long as the cylinder radius is greater than zero. A similar existence result as Muha and Čanić (2013) was shown in Muha and Čanić (2014) by the same authors where now, the elastodynamics of the cylinder wall is governed by the one-dimensional linear wave equation modelling the thin structural layer, and by the two-dimension equations of linear elasticity modelling the thick structural layer. Further fluid-structure interaction results includes the work Ignatova et al. (2017) where they construct a small data global solution for the motion of an elastic body inside an incompressible fluid. Boulakia et al. (2019) also considers the situation where the elastic structure is immersed in the fluid and the whole system is confined into a general three-dimensional bounded smooth domain. Well-posedness and stability results for a fluid-structure interaction model with interior damping and delay in the structure is studied by Peralta and Kunisch (2019). As far as we know, the only result on the analysis of weak solutions to fluid-structure interaction, where the original Koiter model (to be described below in Sect.1.2) with a leading order nonlinear shell energy is considered, is the recent paper Muha and Schwarzacher (2019).
Mathematical results concerning the interaction of a polymeric fluid with a flexible structure are, however, still missing in the literature. In this article, we aim to close this gap and initiate a corresponding analysis. In the following, we will describe the model in detail.
1.1 Elastic Shell
We are interested in the mathematical analysis of a polymer fluid evolving in a spatial domain with a moving shell. For this reason, we first describe this spatial geometry before we state the equations of motion. Following Lee (2013), we let \(\Omega \subset {\mathbb {R}}^3\) be an open, bounded, nonempty and connected reference domain with an elastic shell \(\omega \times (-\epsilon _0,\epsilon _0) \subset {\mathbb {R}}^3\) of thickness \(2 \epsilon _0>0\) and a middle surface \(\omega \). The boundary \(\partial \Omega \) is assumed to be of class \(C_{{\mathbf {x}}}^4\). Assume that the movement of the shell \(\partial \Omega \) is in the direction of the outer unit normal \({\varvec{\nu }}\) (we shall give a precise construction of this normal vector later in Sect. 1.2). Now denote the normal bundle of \(\partial \Omega \) by
where \(N_{\mathbf {y}}(\partial \Omega )\) is the \((3-2)\)-dimensional normal space to \(\partial \Omega \) at \({\mathbf {y}}\) consisting of all vectors orthogonal to the tangent space \(T_{\mathbf {y}}(\partial \Omega )\) with respect to the Euclidean dot product. Simply put, \(N(\partial \Omega )\) consists of all vectors normal to \(\partial \Omega \) and by Lee (2013, Theorem 6.23), \(N(\partial \Omega )\) is an embedded 3-dimensional submanifold of \({\mathbb {R}}^{3\times 3}\). Consequently, \(\partial \Omega \) has a tubular neighbourhood, \(S_L:= \big \{{\mathbf {x}}\in {\mathbb {R}}^3 \, :\, \mathrm {dist}({\mathbf {x}}, \partial \Omega ) <L\big \}\) for some \(L>0\), see Fig. 1.
Given the outer unit normal \({\varvec{\nu }}\) of \(\partial \Omega \), one can construct a special affine mapping known as the Hanzawa transform, see Lengeler (2011, Section 2), which will be used below to relate the fixed domain \(\Omega \) to a moving one. It is defined in terms of the mapping
There is a maximal \(L>0\) such that \(\Lambda \) is a \(C^3\)-diffeomorphism with inverse
where \(s({\mathbf {x}}) =({\mathbf {x}}-{\mathbf {y}}({\mathbf {x}}))\cdot {\varvec{\nu }}({\mathbf {y}}({\mathbf {x}}))\), cf. Lee (2013, Theorem 6.24). A detailed construction of the Hanzawa transform can be found in Lengeler (2011) but for the sake of completeness, we summarize the construction below.
To begin with, for any specific instant of time \(t\in {\overline{I}}:=\overline{(0,T)}\) where \(T>0\), we consider a \(C^3_{\mathbf {x}}\)-function \(\eta (t,\cdot ) : \partial \Omega \rightarrow (-L,L)\) and define the following open set
Let \({\varvec{\nu }}_{\eta (t)}\) and \(\, \mathrm {d}{\mathbf {y}}_{\eta (t)}\) be the outer unit normal and the surface measure of \(\partial \Omega _{\eta (t)}\) respectively. This function \(\eta \) is further assumed to be continuous in time so that \(\eta \in C({\overline{I}} \times \partial \Omega )\) and we have that
Moving on, we define a \(C^3_{\mathbf {x}}\)-diffeomorphism \({\varvec{\Psi }}_{\eta (t)} :{\overline{\Omega }} \rightarrow {\overline{\Omega }}_{\eta (t)}\) piecewise as
where \(\beta \in C^\infty ({\mathbb {R}})\) is a real-valued function which is zero in a neighbourhood of \(-1\) and one in a neighbourhood of 0. For the mapping \({\varvec{\Psi }}_{\eta (t)}\) to have a continuously differentiable spatial inverse, we assume that \(\vert \beta '(s) \vert < L/ \vert \eta ({\mathbf {y}}) \vert \) for all \(s\in [-1,0]\) and all \({\mathbf {y}}\in \partial \Omega \). The boundary mapping is also a \(C^3_{\mathbf {x}}\)-diffeomorphism defined as
for every time \(t\in {\overline{I}}\) with inverse \({\varvec{\Phi }}_{\eta (t)}^{-1}({\mathbf {x}}) = {\mathbf {y}}({\mathbf {x}})\).
The diffeomorphisms \({\varvec{\Phi }}_{\eta }\) and \({\varvec{\Psi }}_{\eta }\) constructed above, and thus the deformed shell \({\overline{\Omega }}_{\eta (t)}\), satisfy various continuity and embedding properties. A detailed analyses of these can be found in Lengeler (2011); Lengeler and Růžička (2014).
To summarize, if we denote the closure of the deformed spacetime cylinder \(\cup _{t\in I} \{t\} \times \Omega _{\eta (t)} \subset {\mathbb {R}}^4\) by \({\overline{I}} \times {\overline{\Omega }}_{\eta (t)}\), then the mapping
preserves the portion of the original spacetime cylinder \({\overline{I}} \times {\overline{\Omega }}\) that lies outside the tubular neigbourhood \(S_L\) and deforms the residual portion of the original space-time cylinder according to the mapping (1.3). The restriction of \({\varvec{\Psi }}_{\eta }\) to the boundary is given by the mapping
according to the rule (1.4).
We now move on to give a precise description of the evolution of the shell and its associated energy below.
1.2 Koiter Shell Energy and Equation of Motion
The polymer fluid we wish to model is assumed to interact with a Koiter shell \(\omega \times (-\epsilon _0,\epsilon _0) \subset {\mathbb {R}}^3\). Here, \(\omega \subset {\mathbb {R}}^2\) is the middle surface of the shell, recall Fig. 1, and \(2 \epsilon _0>0\) is the thickness of \(\partial \Omega \) and for simplicity, we take \(\omega = {\mathbb {R}}^2\setminus {\mathbb {Z}}^2\) to be the flat torus. We emphasis that this periodic assumption on \(\omega \) is not at all restrictive and everything we do subsequently can be replicated for a general \(\omega \). Following Ciarlet and Roquefort (2001), we suppose that \(\partial \Omega \) can be parametrised by a smooth injective mapping \({\varvec{\varphi }}:\omega \rightarrow {\mathbb {R}}^3\) such that for all points \({\mathbf {y}}=(y_1,y_2)\in \omega \), the pair of vectors \(\partial _i {\varvec{\varphi }}({\mathbf {y}})\), \(i=1,2,\) are linearly independent where, \(\partial _i :=\partial /\partial _{y_i}\). Simply put, \({\varvec{\varphi }}\) is an injective map on the mid-section of the shell of the domain \(\Omega \). This vector pair \([\partial _1 {\varvec{\varphi }}({\mathbf {y}}), \partial _2 {\varvec{\varphi }}({\mathbf {y}})]\) is the covariant basis of the tangent plane to the middle surface \({\varvec{\varphi }}(\omega )\) of the reference configuration at each point \({\varvec{\varphi }}({\mathbf {y}})\) and
is a well-defined unit vector normal to the surface \({\varvec{\varphi }}(\omega )\) at \({\varvec{\varphi }}({\mathbf {y}})\). The area measure along the surface \({\varvec{\varphi }}(\omega )\) is \(\mathrm {d}{\mathbf {y}}_{{\varvec{\nu }}}:=\vert \partial _1 {\varvec{\varphi }}({\mathbf {y}}) \times \partial _2 {\varvec{\varphi }}({\mathbf {y}}) \vert \mathrm {d}{\mathbf {y}}\). We now assume that the shell (and in particular, its middle surface) only deforms along the normal direction with a displacement field \(\eta {\varvec{\nu }} : I \times \omega \rightarrow {\mathbb {R}}^3\) where \(\eta : I \times \omega \rightarrow {\mathbb {R}}\) is considerably smooth. Then, we can parametrized the deformed boundary by the following coordinates
yielding the deformed middle surface \({\varvec{\varphi }}_\eta (t, \omega )\). Now for
the covariant components of the first fundamental form of the deformed middle surface \( {\varvec{\varphi }}_\eta (t, \omega )\) is given by
where
are the covariant components of the ‘modified’ change of metric tensor \({\mathbb {G}}(\eta )\). The normal (which is not a unit vector) to the deformed middle surface \( {\varvec{\varphi }}_\eta (t, \omega )\) at the point \( {\varvec{\varphi }}_\eta (t, {\mathbf {y}})\) is then given by
and
are the covariant components of the change of curvature tensor \({\mathbb {R}}^\sharp (\eta )\). The elastic energy \(K(\eta ):=K(\eta , \eta )\) of the deformation is then given by
where \({\mathbb {C}}=( C^{ijkl})_{i,j,k,l =1}^2\) is a fourth-order tensor whose entries are the contravariant components of the shell elasticity, see Ciarlet (2005, Page 162). We remark that for simplicity, we have normalized the measure \(\, \mathrm {d}{\mathbf {y}}\) in (1.5) which should have actually been the weighted measure \(\, \mathrm {d}{\mathbf {y}}_{{\varvec{\nu }}}:=\vert \partial _1 {\varvec{\varphi }}({\mathbf {y}}) \times \partial _2 {\varvec{\varphi }}({\mathbf {y}}) \vert \mathrm {d}{\mathbf {y}}\) with the non-zero weight \(\vert \partial _1 {\varvec{\varphi }}({\mathbf {y}}) \times \partial _2 {\varvec{\varphi }}({\mathbf {y}}) \vert \), see Roquefort (2001). Next, given the following geometric quantity
one deduces the \(W^{2,2}(\omega )\)-coercivity of the Koiter energy (1.5) as long as \(\gamma (\eta )\ne 0\). This is the case if \(\Vert \eta \Vert _{L^\infty (\omega )}\le {\tilde{L}}\) for some \({\tilde{L}}>0\) depending on the geometry of \(\Omega \). Further details can be found in Muha and Schwarzacher (2019, Lemma 4.3 and Remark 4.4). Without loss of generality, we assume that \(L\le {\tilde{L}}\), where L is the threshold for self-intersection introduced in Sect. 1.1. Finally, we remark that the Koiter energy is continuous on \(W^{2,p}(\omega )\) for all \(p>2\) due to the Sobolev embedding \(W^{2,p}(\omega )\hookrightarrow W^{1,\infty }(\omega )\).
If the mass density of \(\omega \) is \(\epsilon _0\rho _S\) where \(\rho _S>0\) is a constant, and we simply denote the \(L^2\)-gradient of K by \(K'\) (which is to be interpreted in sense that \(K'(\eta )\xi = \langle K'(\eta ),\xi \rangle \) for any \(\zeta \) in the dual space of \(\eta \)), then the evolution of the shell is modelled by (later on, we assume for simplicity that \(\epsilon _0\rho _S=1\))
in \(I \times \omega \) subject to the following initial and boundary conditions
where \(\eta _0, \eta _1 :\omega \rightarrow {\mathbb {R}}\) are given functions and where in (1.7), the function \(g: I \times \omega \rightarrow {\mathbb {R}}\) is a given force density and
Here, the tensor
is the symmetric gradient of the fluid’s velocity field. The elastic stress tensor \({\mathbb {T}}(\psi )\) will be introduced in the next subsection.
1.3 Polymer Fluid
A common mathematical model to describe the behaviour of complex fluids are the FENE-type models. For these models, the polymer molecules are idealized as a chain of beads and springs with prescribed finitely extensible nonlinear elastic (FENE) type spring potentials. For a finite but arbitrary natural number \(K>1\), \(K+1\) beads are connected by K springs to form a polymer chain. This polymer is represented by a vector of K-finite vectors \({\mathbf {q}}=({\mathbf {q}}^T_1, \ldots , {\mathbf {q}}^T_K)^T\in B\), where \(B =\bigotimes _{i=1}^K B_i\subset {\mathbb {R}}^{3K}\) is the Cartesian product of convex open sets \(B_i \subset {\mathbb {R}}^3\) such that \({\mathbf {q}}_i \in B_i\) if and only if \(-{\mathbf {q}}_i \in B_i\), see Fig. 2. On the mesoscopic level, we describe the evolutionary changes in the distribution of the bead-spring chain configuration by the Fokker–Planck equation for the polymer density function \(\psi =\psi (t, {\mathbf {x}},{\mathbf {q}})\) (depending on time \(t\ge 0\), spatial position \({\mathbf {x}}\in {\mathbb {R}}^3\) and the prolongation vector \({\mathbf {q}}\in B\) of the polymer chain). On the macroscopic level, we consider a viscous fluid described by the incompressible Navier–Stokes equations for the fluid velocity \({\mathbf {u}}={\mathbf {u}}(t,{\mathbf {x}})\) and pressure \(p=p(t,{\mathbf {x}})\). The beads, which model the monomers that are joined by springs to form a polymer chain, unsettle the flow field around the chain once immersed in the fluid. These mesoscopic effects of the polymer molecules on the fluid motion are described by an elastic stress tensor \({\mathbb {T}}\). It is meant to describe the random movements of polymer chains/springs and can be modelled by prescribing spring potentials \( U_i\), \(i=1, \ldots , K\) for each of the K springs. Here, for each \(i=1, \ldots , K\), the potential \(U_i\) is continuous on an interval \(I_i\subset [0,\infty )\) containing the point 0 where \(I_i\) is the image of \(B_i\) under the mapping \({\mathbf {q}}_i\in B_i \mapsto \frac{1}{2}\vert {\mathbf {q}}_i \vert ^2\). To be precise, we consider \(U_i \in C^{0,1}_{\mathrm {loc}}(I_i;[0,\infty ))\) for each \(i=1, \ldots , K\). Typically, these potentials will be such that \(U_i(0)=0\) and also, be monotonically increasing and unbounded on the interval \(I_i\) , for each \(i=1, \ldots , K\). The elastic spring force \({\mathbf {F}}_i:B_i \subset {\mathbb {R}}^3 \rightarrow {\mathbb {R}}^3\) of the ith spring and the associated Maxwellian \(M_i\) are defined by
and
respectively, such that \(\int _{B_i} M_i({\mathbf {q}}_i)\,\mathrm {d}{\mathbf {q}}_i=1\) for each \(i=1, \ldots , K\). The (total) Maxwellian is then given by
and also satisfies \(\int _{B} M({\mathbf {q}})\,\mathrm {d}{\mathbf {q}}=1\). We observe from (1.12)–(1.14) that
for each \(i=1, \ldots , K\) (Fig. 2).
Before we continue, we now give some examples of the precise force-laws (1.12) used in the literature, see Bird et al. (1987, Table 11.5-1). For simplicity of the presentation, we only describe the ‘dumbbell’ models corresponding to \(K=1\).
Example 1.1
(Hookean dumbbell model) This model has a prescribed linear spring force and (equivalently) linear spring potential given by \({\mathbf {F}}({\mathbf {q}})={\mathbf {q}}\) where \({\mathbf {q}}\in B={\mathbb {R}}^d\), \(d=2,3\) and \(U(s)=s\), \(s\in {\mathbb {R}}_{\ge 0}\) respectively. Therefore, the beads coalesce at the origin \({\varvec{0}}\in B\) when the spring force is zero. The main drawback of this model is that it admits arbitrarily large spring extension making it physically unrealistic.
Example 1.2
(‘Linear-locked’ Tanner’s dumbbell model) This model is a realistic variant of the Hookean dumbbell model with the same linear force law and linear spring potential except that now, \({\mathbf {q}}\in B=B({\varvec{0}},\sqrt{b}) \subset {\mathbb {R}}^d\), \(d=2,3\) where \(B=B({\varvec{0}},\sqrt{b})\) is a bounded open set centred at \({\varvec{0}}\in {\mathbb {R}}^d\) of radius \(\sqrt{b}\), with \(b>0\). The prescribed radius \(\sqrt{b}>0\) thus denotes the extent to which the springs can be stretched.
Example 1.3
(FENE [finitely extensible nonlinear elastic] dumbbell model) This model also corresponds to the case \(K=1\) but with a nonlinear spring force given by \({\mathbf {F}}({\mathbf {q}})=(1- \vert {\mathbf {q}}\vert ^2/b)^{-1}{\mathbf {q}}\) where \({\mathbf {q}}\in B=B({\varvec{0}},\sqrt{b}) \subset {\mathbb {R}}^d\), \(d=2,3\). Equivalently, the nonlinear spring potential is given \(U(s)=-\frac{b}{2}\log (1-\frac{2s}{b})\), \(s\in [0,\frac{b}{2})\).
With respect to regularity, we assume that the Maxwellian satisfies the following conditions:
Now, for a given probability density function \(\psi =\psi (t, {\mathbf {x}},{\mathbf {q}})\) of a polymer, we let
be the polymer number density. The elastic stress tensor \({\mathbb {T}}\) is then given by
where \({\mathbb {I}}\) is the identity matrix, \(k >0\) and \(\eth \ge 0\) are constants and for each \(i=1, \ldots , K\),
elucidates how the polymers - described by the force law for the ith spring—are transmitted through the fluid.
In addition to the elastic stress tensor \({\mathbb {T}}\), we consider an external volume force \({\mathbf {f}}:(t, {\mathbf {x}} )\in I \times \Omega _{\eta (t)}\mapsto {\mathbf {f}}(t, {\mathbf {x}}) \in {\mathbb {R}}^3\) in the fluid motion. This force may account for the influence of gravity and/or electric force as well as artificial forces produced, for example, by an ultracentrifuge.
The coupled system is now described by the incompressible Navier–Stokes–Fokker–Planck system in the moving domain \(I\times \Omega _{\eta (t)}\) for a given function \(\eta :I\times \partial \Omega \rightarrow (-L,L)\). We wish to find the fluid’s velocity field \({\mathbf {u}}:(t, {\mathbf {x}})\in I \times \Omega _{\eta (t)}\mapsto {\mathbf {u}}(t, {\mathbf {x}}) \in {\mathbb {R}}^3\), the pressure \(p:(t, {\mathbf {x}})\in I \times \Omega _{\eta (t)}\mapsto p(t, {\mathbf {x}}) \in {\mathbb {R}}\) and the probability density function \(\psi :(t, {\mathbf {x}}, {\mathbf {q}})\in I \times \Omega _{\eta (t)}\times B \mapsto \psi (t, {\mathbf {x}}, {\mathbf {q}}) \in [0,\infty )\) such that the equations
are satisfied weakly in \(I \times \Omega _{\eta (t)}\times B\) subject to the following initial (\(t=0\)) condition and boundary (\({\mathbf {y}}\in \partial \Omega _{\eta (t)}\) or \({\mathbf {q}}_i\in \partial {\overline{B}}_i\)) conditions for i \(=\) 1, ..., K,
The parameter \(\mu >0\) is the viscosity coefficient, \(\varepsilon >0\) is the center-of-mass diffusion coefficient, \(\lambda > 0\) is the Deborah number \(\mathrm {De}\), the \(A_{ij}\)’s are the components of the symmetric positive definite Rouse matrix \((A_{ij})_{i,j=1}^K\) whose smallest eigenvalue is \(A_0>0\) and \({\mathbf {n}}_i\) is a unit outward normal vector to \(\partial B_i\).
If we now return to (1.17) for a moment, we observe that by formally integrating (1.22) over the open set B and using the boundary condition (1.23), then \(\Xi \) satisfies the following viscous transport equation
weakly in \(I \times \Omega _{\eta (t)}\) subject to the following initial and boundary conditions
The structure of the tensor \({\mathbb {T}}\), given by (1.18), means that the analysis of (1.27)–(1.29) is essential to the analysis of the extra stress tensor \({\mathbb {T}}\).
If we now define \({\widehat{\psi }}:=\psi /M\), then the full extra stress tensor (1.18) may be rewritten as
The Fokker–Planck equation (1.22) then becomes
subject to the initial and boundary conditions for \(i=1, \ldots , K\),
1.4 Plan of the Paper
In the following, we give the outline of the rest of this paper. As stated in the abstract above, we aim to show the existence of a weak solution to the coupled system (1.20)–(1.21), (1.30)–(1.34) and (1.7)–(1.9) where the solution exists globally in time until the shell approaches a self-intersection or the \(W^{2,2}\)-coercivity of the Koiter energy given in (1.5) degenerates. Therefore, after collecting some preliminary notations and concepts in Sects. 2.1 and 2.2, we make the exact notion of a solution to our system precise in Sect. 2.3. We also state our main theorem, Theorem 2.6 in Sect. 2.4. We then move to Sect. 3, where we show how to formally derive a priori estimates and also, introduce the energy and relative entropy of our system.
Our principal strategy to solve the coupled system consists in regularising the shell (and the convective terms) and to decouple the fluid-structure problem from the Fokker–Planck equation. For this reason, in Sect. 4, we solve the Fokker–Planck equation in a variable (but given) domain for a given (and smooth) velocity field. On the other hand, for a given probability density function, we solve the fluid-structure problem by following the fixed-point arguments in Lengeler and Růžička (2014). This is done in Sect. 5. Finally, we pass to the limit in the regularisation layer in Sect. 6. For this, we are required to rigorously prove the entropy estimates from Sect. 3 (see Remark (2.5) for the notion of an entropy estimate) and to apply compactness methods to pass to the limit in the nonlinear terms of our system.
2 Preliminaries and Main Result
In this section, we fix the notation, collect some preliminary material on function spaces and present the main result.
2.1 Notations
The following quantities: \(t\in {\overline{I}}\), representing the time variable, \({\mathbf {x}}\in \Omega \), representing the spatial variable, and \({\mathbf {q}}\in B\), representing the elongation vector of a polymer molecule, will denote the independent variables we shall use throughout this work. The domain \(B =\bigotimes _{i=1}^K B_i\subset {\mathbb {R}}^{3K}\) is the Cartesian product of K convex and bounded open sets \(B_i \subset {\mathbb {R}}^3\) for which \({\mathbf {q}}_i \in B_i\) if and only if \(-{\mathbf {q}}_i \in B_i\). In particular, the origin \({\varvec{0}} \in {\mathbb {R}}^3\) is contained in each set \(B_i\) whose boundary we denote by \(\partial B_i\). We further have
with \({\mathbf {n}}_i\) being a unit outward normal vector to \(\partial B_i\), \(i=1,\ldots ,K\). For functions F and G and a variable p, we write \(F \lesssim G\) and \(F \lesssim _p G\) if there exists a generic constant \(c>0\) and another such constant \(c(p)>0\) which now depends on p such that \(F \le c\,G\) and \(F \le c(p) G\) holds respectively. The symbol \(\vert \cdot \vert \) may be used in four different context. For a scaler function \(f\in {\mathbb {R}}\), \(\vert f\vert \) denotes the absolute value of f. For a vector \({\mathbf {f}}\in {\mathbb {R}}^n\) where \(n>1\) is an integer, \(\vert {\mathbf {f}}\vert \) denotes the Euclidean norm of \({\mathbf {f}}\). For a square matrix \({\mathbb {F}}\in {\mathbb {R}}^{n\times n}\) where \(n>1\) is an integer, \(\vert {\mathbb {F}} \vert \) shall denote the Frobenius norm \(\sqrt{\mathrm {trace}({\mathbb {F}}^T{\mathbb {F}})}\). Finally, if \(S\subset {\mathbb {R}}^n\) is a (sub)set, then \(\vert S \vert \) is the n-dimensional Lebesgue measure of S.
Let \({\mathcal {O}}\subset {\mathbb {R}}^d\) be a measureable set. By \(L^p({\mathcal {O}})\) [respectively \(L^p({\mathcal {O}}; {\mathbb {R}}^3)\)], \(W^{s,p}({\mathcal {O}})\) [respectively \(W^{s,p}({\mathcal {O}}; {\mathbb {R}}^3)\)] and \(D^{s,p}({\mathcal {O}})\) [respectively \(D^{s,p}({\mathcal {O}}; {\mathbb {R}}^3)\)] for \(1\le p\le \infty \) and \(s\in {\mathbb {N}}\), we denote respectively, the standard Lebesgue spaces, Sobolev spaces, homogeneous Sobolev spaces for scalar-valued [respectively \({\mathbb {R}}^3\)-vector-valued] functions defined on \({\mathcal {O}}\). The dual space of \(W^{s,p}({\mathcal {O}})\) will be denoted by \(W^{-s,p}({\mathcal {O}})\). By \(L^p_{\mathrm {div}_{{\mathbf {x}}}}({\mathcal {O}}; {\mathbb {R}}^3)\), we mean vector-valued measurable functions \({\mathbf {v}}:{\mathcal {O}} \rightarrow {\mathbb {R}}^3\) such that \(\mathrm {div}_{{\mathbf {x}}}{\mathbf {v}}=0\) in the distributional sense and \(\Vert {\mathbf {v}}\Vert _{L^p({\mathcal {O}})} <\infty \). The Sobolev space \(W^{s,p}_0({\mathcal {O}})\) is endowed with zero boundary condition (i.e. it is the closure of the smooth and compactly supported functions in \(W^{s,p}({\mathcal {O}})\)). Also, for \(s\in (0,1)\) and \(1\le p<\infty \), we define the fractional Sobolev space \(W^{s,p}({\mathcal {O}})\) as the set of all measurable functions \(f:\Omega \rightarrow {\mathbb {R}}\) such that
In general, for a separable Banach space \((X,\Vert \cdot \Vert _X)\), we denote by \(L^p(0,T;X)\), the space of Bochner-measurable functions \(u:(0,T)\rightarrow X\) such that \(\Vert u\Vert _X\in L^p(0,T)\). Similarly, we consider the space \(L^p({\mathcal {O}};X)\) for a measurable set \({\mathcal {O}}\subset {\mathbb {R}}^d\). Also, \(C({\mathcal {O}};X)\) is the set of continuous functions \(u:{\mathcal {O}}\rightarrow X\). Finally, for any nonnegative \(N\in C({\mathcal {O}})\), where \({\mathcal {O}}\subset {\mathbb {R}}^d\) is a measurable set, and for a constant \(p\ge 1\), we denote by
the weighted \(L^p \) and \(W^{1,p}\) spaces over \({\mathcal {O}}\) with norms
respectively.
2.2 Function Spaces on Variable Domains
The spatial domain \(\Omega \) is a nonempty bounded subset of \({\mathbb {R}}^3\) with smooth boundary and an outer unit normal \({\varvec{\nu }}\), \(\partial \Omega \) is the shell of \(\Omega \subset {\mathbb {R}}^3\). We use \({\mathbf {y}}\in \partial \Omega \) to emphasis spatial boundary points with a corresponding surface measure \(\, \mathrm {d}{\mathbf {y}}\). To further clarify, we identify the shell as a usual boundary by tracing out its 2-dimensional mid-section \(\omega \in {\mathbb {R}}^2\), see Fig 1. In the following, \({\overline{I}}\) is the closure of \(I=(0,T)\), a time interval where \(T>0\) is a constant. For \(\eta \in C({\overline{I}} \times \partial \Omega )\) satisfying \(\Vert \eta \Vert _{L^\infty (I \times \partial \Omega )}<L\), we shall abuse notation and denote the deformed spacetime cylinder \(\cup _{t\in I} \{t\} \times \Omega _{\eta (t)} \subset {\mathbb {R}}^4\) by either \(\Omega _{\eta (t)}^I\) or \(I\times \Omega _{\eta (t)}\). We are now in the position to define function spaces on a variable domain.
Definition 2.1
(Function spaces) We define for \(1\le p,r\le \infty \),
We now give a concept of convergence in variable domains which is similar to Breit and Schwarzacher (2018, Sec. 2.3).
Definition 2.2
(Convergence) Let \((\eta _i) \subset C({\overline{I}} \times \partial \Omega ;[-\theta L, \theta L])\), \(\theta \in (0,1)\) be a sequence such that \(\eta _i \rightarrow \eta \) uniformly in \({\overline{I}} \times \omega \). Let \(p_1, p_2,p_3\in [1,\infty ]\) and let M satisfy (1.16) or be identically equal to one. Then;
-
(a)
we say that a sequence \(g_i \in L^{p_1}(I;L^{p_2}(\Omega _{\eta _i(t)};L^{p_3}_M(B)))\) converges strongly to g in \(L^{p_1}(I;L^{p_2}(\Omega _{\eta _i(t)};L^{p_3}_M(B)))\) with respect to \(\eta _i\), denoted by \( g_i \rightarrow ^\eta g\) in \(L^{p_1}(I;L^{p_2}(\Omega _{\eta _i(t)};L^{p_3}_M(B))),\) if
$$\begin{aligned} \chi _{\Omega _{\eta _i(t)}}g_i \rightarrow \chi _{\Omega _{\eta (t)}}g \quad \text {in} \quad L^{p_1}(I;L^{p_2}({\mathbb {R}}^3;L^{p_3}_M(B))); \end{aligned}$$ -
(b)
for \(p_1, p_2,p_3\in [1,\infty )\), we say that a sequence \(g_i \in L^{p_1}(I;L^{p_2}(\Omega _{\eta _i(t)};L^{p_3}_M(B)))\) converges weakly to g in \(L^{p_1}(I;L^{p_2}(\Omega _{\eta (t)};L^{p_3}_M(B)))\) with respect to \(\eta _i\), denoted by \( g \rightharpoonup ^\eta g\) in \(L^{p_1}(I;L^{p_2}(\Omega _{\eta _i(t)};L^{p_3}_M(B))),\) if
$$\begin{aligned} \chi _{\Omega _{\eta _i(t)}}g_i \rightharpoonup \chi _{\Omega _{\eta (t)}}g \quad \text {in} \quad L^{p_1}(I;L^{p_2}({\mathbb {R}}^3;L^{p_3}_M(B))); \end{aligned}$$ -
(c)
for \(p_1=\infty \) and \( p_2,p_3\in [1,\infty )\), we say that a sequence \(g_i \in L^{\infty }(I;L^{p_2}(\Omega _{\eta _i(t)};L^{p_3}_M(B)))\) converges \(\hbox {weakly}^*\) to g in \(L^{\infty }(I;L^{p_2}(\Omega _{\eta (t)};L^{p_3}_M(B)))\) with respect to \(\eta _i\), denoted by \( g_i \rightharpoonup ^{*,\eta } g\) in \(L^{\infty }(I;L^{p_2}(\Omega _{\eta _i(t)};L^{p_3}_M(B))),\) if
$$\begin{aligned} \chi _{\Omega _{\eta _i(t)}}g_i \rightharpoonup ^* \chi _{\Omega _{\eta (t)}}g \quad \text {in} \quad L^{\infty }(I;L^{p_2}({\mathbb {R}}^3;L^{p_3}_M(B))). \end{aligned}$$
Definition 2.2 can be extended in a canonical way to Sobolev spaces.
Since we are dealing with boundary value problems, we need a concept of traces on variable domains. The following lemma is a modification of Lengeler and Růžička (2014, Corollary 2.9), see also (Muha 2014). We recall the transform \({\varvec{\varphi }}_\eta \) from Sect. 1.2.
Lemma 2.3
(Trace operator) Let \(1<p<3\) and \(\eta \in W^{2,2}(\partial \Omega )\) with \(\Vert \eta \Vert _{L^\infty (\partial \Omega )}<L\). Then the linear mapping \({{\,\mathrm{tr}\,}}_\eta :v\mapsto v\circ {\varvec{\varphi }}_\eta |_{\partial \Omega }\) is well defined and continuous from \(W^{1,p}(\Omega _\eta )\) to \(W^{1-\frac{1}{r},r}(\partial \Omega )\) for all \(r\in (1,p)\) and well defined and continuous from \(W^{1,p}(\Omega _\eta )\) to \(L^{q}(\partial \Omega )\) for all \(1<q<\frac{2p}{3-p}\). The continuity constants depend only on \(\Omega ,p,\) and \(\Vert \eta \Vert _{W^{2,2}(\partial \Omega )}\).
2.3 Concept of a Solution
In order to describe the notion of a solution that we wish to construct, we first define the following energy functionals:
where
is the entropy function that generates the physical relative (with respect to the Maxwellian) entropy
and let
be the initial energy, recall (1.8). With the above information in hand, we now proceed to make rigorous, what we mean by a solution.
Definition 2.4
(Finite energy weak solution) Let \(({\mathbf {f}}, g, \eta _0, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1)\) be a dataset such that
In addition, we assume
We call the triple \(({\mathbf {u}}, {\widehat{\psi }}, \eta )\) a finite energy weak solution to the system (1.20)–(1.21), (1.30)–(1.34) and (1.7)–(1.9) with data \(({\mathbf {f}}, g, \eta _0, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1)\) provided that the following holds:
-
(a)
the velocity \({\mathbf {u}}\) satisfies
$$\begin{aligned} {\mathbf {u}}\in L^\infty \big (I; L^2(\Omega _{\eta (t)} ;{\mathbb {R}}^3) \big )\cap L^2 \big (I; W^{1,2}_{\mathrm {div}_{{\mathbf {x}}}}(\Omega _{\eta (t)};{\mathbb {R}}^3) \big ) \quad \text {with} \quad {\mathbf {u}}(t, {\varvec{\varphi }}_\eta (t,{\mathbf {y}})) =\partial _t \eta (t,{\mathbf {y}}) {\varvec{\nu }}({\mathbf {y}}) \end{aligned}$$in the sense of traces and \(\eta \) satisfies
$$\begin{aligned} \eta \in W^{1,\infty } \big (I; L^2(\omega ) \big )\cap L^\infty \big (I; W^{2,2}(\omega ) \big ) \quad \text {with} \quad \Vert \eta \Vert _{L^\infty (I \times \omega )} <L \end{aligned}$$and for all \((\phi , {\varvec{\varphi }}) \in C^\infty ({\overline{I}}\times \omega ) \times C^\infty ({\overline{I}}\times {\mathbb {R}}^3; {\mathbb {R}}^3)\) with \(\phi (T,\cdot )=0\), \({\varvec{\varphi }}(T,\cdot )=0\), \(\mathrm {div}_{{\mathbf {x}}}{\varvec{\varphi }}=0\) and \(\mathrm {tr}_\eta {\varvec{\varphi }}= \phi {\varvec{\nu }}\), we have
$$\begin{aligned}&\int _I \frac{\mathrm {d}}{\, \mathrm {d}t}\bigg (\int _{\Omega _{\eta (t)}}{\mathbf {u}}\cdot {\varvec{\varphi }}\, \mathrm {d} {\mathbf {x}}+\int _\omega \partial _t \eta \, \phi \, \mathrm {d}{\mathbf {y}}\bigg )\, \mathrm {d}t\\&\quad =\int _I \int _{\Omega _{\eta (t)}}\big ( {\mathbf {u}}\cdot \partial _t {\varvec{\varphi }} + {\mathbf {u}}\otimes {\mathbf {u}}: \nabla _{{\mathbf {x}}}{\varvec{\varphi }} \big ) \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\qquad -\int _I \int _{\Omega _{\eta (t)}}\big ( \mu \nabla _{{\mathbf {x}}}{\mathbf {u}}:\nabla _{{\mathbf {x}}}{\varvec{\varphi }} + {\mathbb {T}}(\psi ) :\nabla _{{\mathbf {x}}}{\varvec{\varphi }}-{\mathbf {f}}\cdot {\varvec{\varphi }} \big ) \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\qquad + \int _I \int _\omega \big (\partial _t \eta \, \partial _t\phi +g\, \phi \big )\, \mathrm {d}{\mathbf {y}}\, \mathrm {d}t-\int _I\langle K'(\eta ), \phi \rangle \, \mathrm {d}t; \end{aligned}$$ -
(b)
the probability density function \( {\widehat{\psi }}\) satisfies:
$$\begin{aligned}&{\widehat{\psi }}\ge 0 \text { a.e. in } I \times \Omega _{\eta (t)}\times B, \\&{\widehat{\psi }} \in L^\infty \big ( I \times \Omega _{\eta (t)} ; L^1_M(B) \big ), \\&{\mathcal {F}}({\widehat{\psi }} ) \in L^\infty \big ( I; L^1(\Omega _{\eta (t)}; L^1_M(B))\big ), \\&\sqrt{{\widehat{\psi }}} \in L^2 \big ( I; L^2(\Omega _{\eta (t)} ; W^{1,2}_M(B))\big ) \cap L^2 \big ( I; D^{1,2}(\Omega _{\eta (t)} ; L^2_M(B))\big ), \\&\Xi (t,{\mathbf {x}}) = \int _BM {\widehat{\psi }}(t, {\mathbf {x}}, {\mathbf {q}}) \, \mathrm {d} {\mathbf {q}}\in L^\infty \big (I \times \Omega _{\eta (t)}\big ) \cap L^2\big (I; W^{1,2}(\Omega _{\eta (t)}) \big ); \end{aligned}$$and for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3 \times {\overline{B}} )\), we have
$$\begin{aligned} \begin{aligned}&\int _I \frac{\mathrm {d}}{\, \mathrm {d}t} \int _{\Omega _{\eta (t)} \times B}M {\widehat{\psi }} \, \varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t= \int _{I \times \Omega _{\eta (t)} \times B}\big (M {\widehat{\psi }} \,\partial _t \varphi + M{\mathbf {u}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi - \varepsilon M\nabla _{{\mathbf {x}}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\quad +\sum _{i=1}^K \int _{I \times \Omega _{\eta (t)} \times B} \bigg ( M(\nabla _{{\mathbf {x}}}{\mathbf {u}}) {\mathbf {q}}_i{\widehat{\psi }}- \sum _{j=1}^K \frac{A_{ij}}{4\lambda } M \nabla _{{\mathbf {q}}_j}{\widehat{\psi }} \bigg ) \cdot \nabla _{{\mathbf {q}}_i}\varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t; \end{aligned} \end{aligned}$$ -
(c)
for all \(t\in I\), we have
$$\begin{aligned} {\mathcal {E}}(t)+ & {} \mu \int _0^t \int _{\Omega _{\eta (\sigma )}}\vert \nabla _{{\mathbf {x}}}{\mathbf {u}}\vert ^2 \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma + \varepsilon \int _0^t\int _{\Omega _{\eta (\sigma )}}\vert \nabla _{{\mathbf {x}}}\Xi \vert ^2 \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\+ & {} 4k\,\varepsilon \int _0^t \int _{\Omega _{\eta (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {x}}}\sqrt{ {\widehat{\psi }} } \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma + \frac{kA_0}{\lambda } \int _0^t \int _{\Omega _{\eta (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {q}}}\sqrt{ {\widehat{\psi }} } \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\\lesssim & {} {\mathcal {E}}(0) + \frac{1}{2}\int _0^t\ \Vert {\mathbf {f}}\Vert ^2_{L^2(\Omega _{\eta (\sigma )})}\, \mathrm {d}\sigma +\frac{1}{2} \int _0^t\ \Vert g \Vert ^2_{L^2(\omega )}\, \mathrm {d}\sigma . \end{aligned}$$(2.8)
Remark 2.5
In the sequel, for \((t, {\mathbf {x}}, {\mathbf {q}})\in I \times \Omega _{\eta (t)}\times B\), we shall refer to the following summand
as the Fisher information. Any estimate for the energy functional (2.2) will be referred to as an energy estimate. This will include the case where formally speaking, \(\psi \equiv 0\). On the other hand, an estimate involving the relative entropy (2.4) and any other function of \(\psi \) such as the associated Fisher information (2.9) and the polymer number density (1.17) without any contribution from the solution \({\mathbf {u}}\) of the fluid equation will be referred to as an entropy estimate.
2.4 Main Result
The main result of this paper is the following:
Theorem 2.6
Let \(({\mathbf {f}}, g, {\mathbf {u}}_0, \eta _0, \eta _1, {\widehat{\psi }}_0)\) be a dataset satisfying (2.6). Then there exists a finite energy weak solution \(({\mathbf {u}},{\widehat{\psi }}, \eta )\) of (1.20)–(1.21), (1.30)–(1.34) and (1.7)–(1.9) on the interval \(I=(0,T)\) in the sense of Definition 2.4. The number T is restricted only if \(\lim _{t\rightarrow T}\Vert \eta (t)\Vert _{L^\infty (\omega )}=L\).
Remark 2.7
We recall from the definition of L in (1.1) and (1.6) that the Koiter energy does not degenerate and a self-intersection of the moving domain is excluded as long as \(\Vert \eta (t)\Vert _{L^\infty (\omega )}\) stays strictly below L. If, however, we have \(\lim _{t\rightarrow T}\Vert \eta (t)\Vert _{L^\infty (\omega )}=L\) it may happen that the Koiter energy does degenerate or that we do have a self-intersection of the shell at time T. In this case our existence scheme breaks.
3 Formal Estimates for the Energy and Relative Entropy
In this section, we formally derive energy and entropy estimates assuming that we have a sufficiently regular solution \(({\mathbf {u}},{\widehat{\psi }}, \eta )\) of (1.20)–(1.26) and (1.7)–(1.9). Before we begin, we recall the Reynolds transport theorem which states that any vector (or scalar) \({\mathbf {v}}:={\mathbf {v}}(t,{\mathbf {x}})\) of class \(C^1_{t, {\mathbf {x}}}\) satisfies
in \(\Omega _{\eta (t)}\) where \({\mathbf {u}}:={\mathbf {u}}(t,{\mathbf {x}})\) is the velocity of the fluid (If \({\mathbf {v}}\) is a scalar v, we replace \({\mathbf {v}}\otimes {\mathbf {u}}\) with \(v{\mathbf {u}}\)). For a solenoidal field \({\mathbf {u}}\), the first equality explains the fact that the boundary of \(\Omega _{\eta (t)}\), denoted by \(\partial \Omega _{\eta (t)}\), moves with \({\mathbf {u}}\). Note that such a movement is described by the material derivative \(\partial _t +({\mathbf {u}}\cdot \nabla _{{\mathbf {x}}})\). The second equation is just Gauss’ theorem.
Following the arguments in Barrett and Süli (Barrett and Süli 2012c, Section 2) (for the simpler case of \(K=1)\), let us recall \({\mathcal {F}}(s):= s \ln s+ \mathrm {e}^{-1}\) for \(s>0\) so that \({\mathcal {F}}'(s)=1+\ln s\) and \({\mathcal {F}}''(s)=\frac{1}{s}\) are well-defined. We further recall from Sect. 1.3 that
Now, since our flow is incompressible, by using Reynolds transport theorem (3.1),
Next, since the identities
and
hold by virtue of the divergence theorem and (1.24), for the center-of-mass diffusion term, we have
Now, for each \(i=1, \ldots , K\), we can use the fact that \(M=0\) on \(\partial B\) (see (1.16)) and the relation \(s \nabla _{{\mathbf {q}}}{\mathcal {F}}\,'(s) = \nabla _{{\mathbf {q}}}s\) to obtain
However, one can check that the identity \(\mathrm {div}_{{\mathbf {q}}_i}\big [ (\nabla _{{\mathbf {x}}}{\mathbf {u}}) {\mathbf {q}}_i \big ] = \mathrm {div}_{{\mathbf {x}}}{\mathbf {u}}=0\) holds so that in combination with (3.2), we can conclude that
holds by the use of (1.18) and the observation that \(\Xi ^p\, {\mathbb {I}} : \nabla _{{\mathbf {x}}}{\mathbf {u}}=\Xi ^p\, \mathrm {div}_{{\mathbf {x}}}{\mathbf {u}}=0\) for \(p=1,2\). Finally, we can use that \(M=0\) on \(\partial B\) to obtain
If we now collect (3.3)–(3.7) and consider the smallest eigenvalue \(A_0>0\) of \((A_{ij})_{i,j=1}^K\), then by integrating over the time interval [0, t], we obtain from (1.22) that
holds for all \(t\in I\).
If we also test (1.27) with \(\Xi \) and use Reynolds’ transport theorem (3.1) and the boundary condition (1.28), we obtain
On the other hand, if we test (1.21) with the velocity \({\mathbf {u}}\), then we obtain
Finally, testing (1.7) with \(\partial _t \eta \) yields
If we now sum up (3.8)–(3.11), then we obtain
where
for any \(\vartheta >0\). The energy estimate thus follow for all \(t\in I\) by the use of (1.8).
3.1 Towards Making the Entropy Estimate Rigorous
Since our ultimate goal is the construction of a non-negative probability function \(\psi \ge 0\), even on the formal level, the derivation of the energy estimate above is still problematic. For example, \({\mathcal {F}}'(s)\) and \({\mathcal {F}}''(s)\) are singular at \(s=0\) and thus, the a priori testing of the Fokker–Planck with the first derivative of the relative entropy functional is delicate. This problem can however be fixed by using a convex regularization \({\mathcal {F}}_\delta \) to approximate \({\mathcal {F}}\) and then passing to the limit \(\delta \rightarrow 0\). Following the arguments in Bulíček et al. (2013), for a fixed \(\delta >0\), let us define \({\mathcal {F}}_\delta (s):= (s+\delta )\ln (s+\delta )+\mathrm {e}^{-1}\) for \(s\ge 0\) so that \({\mathcal {F}}_\delta '(s)=1+\ln (s+\delta )\) and \({\mathcal {F}}_\delta ''(s)=\frac{1}{s+\delta }\) are well-defined even at \(s=0\).
Now, because of the highly coupled nature of the macroscopic fluid system and the mesoscopic Fokker–Planck equation, we also need to introduce a preliminary smoothing in order to ultimately maintain energy balance. In this respect, we follow (Bulíček et al. 2013) and consider a smooth nonnegative function \(\Gamma \) supported on the interval \((-2,2)\) such that \(\Gamma (s)=1\) for all \(s\in [-1,1]\). Now for \(\ell \in {\mathbb {N}}\), we set \(\Gamma _\ell (s) := \Gamma (s/\ell )\) and define \(T_\ell \) and \(\Lambda _\ell \) by
If we further define
as \(\delta \rightarrow 0\), then be setting \({\widehat{\psi }}: =\frac{\psi }{M}\), we observe that
Therefore, by using the fact that \(M=0\) on \(\partial B\) (see (1.16)) and the identity \(\mathrm {div}_{{\mathbf {q}}_i}\big [ (\nabla _{{\mathbf {x}}}{\mathbf {u}}) {\mathbf {q}}_i \big ] = \mathrm {div}_{{\mathbf {x}}}{\mathbf {u}}=0\) together with (3.2), we obtain
for the corresponding ‘approximate’ drag term in (1.31). By treating the rest of the terms in the modified Fokker–Planck equation (1.31) similarly to the previous subsection, we obtain
If we now consider the smallest eigenvalue \(A_0>0\) of \((A_{ij})_{i,j=1}^K\), then by integrating (3.17) over the time interval [0, t], we obtain
By recalling (1.18) and the observation that \(\Xi ^p\, {\mathbb {I}} : \nabla _{{\mathbf {x}}}{\mathbf {u}}=\Xi ^p\, \mathrm {div}_{{\mathbf {x}}}{\mathbf {u}}=0\) for \(p=1,2\), we can use (3.15) to obtain
where for \({\widehat{\psi }}=\psi /M\),
is a truncated extra stress tensor in the fluid system. The convergence in (3.19) together with the monotone convergence theorem and the identities
allows us to finally obtain in the inequality
by passing to limit \(\delta \rightarrow 0\) in (3.18). The last term in (3.22) above then balances with the corresponding term in the macroscopic system for the solvent.
4 Solving the Fokker–Planck Equation
In this section we are going to to solve to Fokker-Planck equation for a given function \(\xi : I\times \omega \rightarrow (-L,L)\) and a given vector field \({\mathbf {v}}:I\times \Omega _\xi \rightarrow {\mathbb {R}}^3\) such that
Now subject to the following initial and boundary conditions for \(i=1, \ldots , K\),
we aim to construct a weak solution to the Fokker–Planck equation
in \(I \times \Omega _{\xi (t)} \times B\). Here \(\varepsilon >0\) is the center-of-mass diffusion coefficient, \(\lambda > 0\) is the Deborah number \(\mathrm {De}\) and the \(A_{ij}\)’s are the components of the symmetric positive definite Rouse matrix \((A_{ij})_{i,j=1}^K\) whose smallest eigenvalue is \(A_0>0\). The Maxwellian M satifies (1.13)–(1.16) and \({\widehat{\psi }}={\widehat{\psi }}(t,{\mathbf {x}},{\mathbf {q}})\) is the unknown.
We now make precise, what we mean by \({\widehat{\psi }}\) being a solution of (4.2)–(4.5).
Definition 4.1
Take \(({\mathbf {v}}, \xi , {\widehat{\psi }}_0)\) as a dataset such that \(({\mathbf {v}}, \xi )\) satisfies (4.1) and
In addition, we assume
We call \({\widehat{\psi }}\) a finite energy weak solution of (4.2)–(4.5) with data \(({\mathbf {v}}, \xi , {\widehat{\psi }}_0)\) provided that:
-
(a)
the probability density function \({\widehat{\psi }}\) satisfies
$$\begin{aligned}&{\widehat{\psi }}\ge 0 \text { a.e. in } I \times \Omega _{\xi (t)}\times B, \\&{\widehat{\psi }} \in L^\infty \big ( I \times \Omega _{\xi (t)} ; L^1_M(B) \big ), \\&{\mathcal {F}}({\widehat{\psi }} ) \in L^\infty \big ( I; L^1(\Omega _{\xi (t)}; L^1_M(B))\big ), \\&\sqrt{{\widehat{\psi }}} \in L^2 \big ( I; L^2(\Omega _{\xi (t)} ; W^{1,2}_M(B))\big ) \cap L^2 \big ( I; D^{1,2}(\Omega _{\xi (t)} ; L^2_M(B))\big ), \\&\Xi (t,{\mathbf {x}}) = \int _BM {\widehat{\psi }}(t, {\mathbf {x}}, {\mathbf {q}}) \, \mathrm {d} {\mathbf {q}}\in L^\infty \big (I \times \Omega _{\xi (t)}\big ) \cap L^2\big (I; W^{1,2}(\Omega _{\xi (t)}) \big ); \end{aligned}$$ -
(b)
for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3 \times {\overline{B}})\), we have
$$\begin{aligned} \begin{aligned}&\int _I \frac{\mathrm {d}}{\, \mathrm {d}t} \int _{\Omega _{\xi (t)} \times B}M {\widehat{\psi }} \, \varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\quad = \int _{I \times \Omega _{\xi (t)} \times B}\big (M {\widehat{\psi }} \,\partial _t \varphi + M{\mathbf {v}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi - \varepsilon M\nabla _{{\mathbf {x}}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\quad +\sum _{i=1}^K \int _{I \times \Omega _{\xi (t)} \times B} \bigg ( M(\nabla _{{\mathbf {x}}}{\mathbf {v}}) {\mathbf {q}}_i{\widehat{\psi }} - \sum _{j=1}^K \frac{A_{ij}}{4\lambda } M \nabla _{{\mathbf {q}}_j}{\widehat{\psi }} \bigg )\\&\quad \cdot \nabla _{{\mathbf {q}}_i}\varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t; \end{aligned} \end{aligned}$$(4.8) -
(c)
we have the estimate
$$\begin{aligned}&\Vert \Xi (t,\cdot ) \Vert ^2_{L^\infty (\Omega _{\xi (t)})} + k \int _{\Omega _{\xi (t)} \times B} M\, {\mathcal {F}} \big ( {\widehat{\psi }}(t, \cdot , \cdot ) \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\nonumber \\&\qquad + \varepsilon \int _0^t \int _{\Omega _{\xi (\sigma )}}\vert \nabla _{{\mathbf {x}}}\Xi \vert ^2 \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\qquad + 4k\,\varepsilon \int _0^t \int _{ \Omega _{\xi (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {x}}}\sqrt{ {\widehat{\psi }}} \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\qquad + \frac{kA_0}{\lambda } \int _0^t \int _{\Omega _{\xi (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {q}}}\sqrt{ {\widehat{\psi }} } \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\quad \lesssim \Vert \Xi _0 \Vert ^2_{L^\infty (\Omega _{\xi (0)})} + k \int _{\Omega _{\xi (0)}\times B} M\, {\mathcal {F}} \big ( {\widehat{\psi }}_0 \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\nonumber \\&\qquad + \int _0^t \int _{\Omega _{\xi (\sigma )} } {\mathbb {T}}(M{\widehat{\psi }}) :\nabla _{{\mathbf {x}}}{\mathbf {v}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \end{aligned}$$(4.9)for all \(t\in I\).
The main result of this section is the following:
Theorem 4.2
Assume that \(({\mathbf {v}}, \xi , {\widehat{\psi }}_0)\) satisfies (4.1) and (4.6)–(4.7). Then there exists a finite energy weak solution of (4.2)–(4.5) in the sense of Definition 4.1.
We now devote the rest of this section to the proof of Theorem 4.2. As is usually the case, we begin by establishing an approximate solution of the Fokker–Planck equation (4.5).
4.1 A Galerkin Scheme
We let \(({\mathbf {v}}, \xi , {\widehat{\psi }}_0)\) be a given dataset satisfying (4.1) and (4.6)–(4.7). Our solution \({\widehat{\psi }}\) to (4.5) will be derived as a limit \(n\rightarrow \infty \), \(m\rightarrow \infty \), \(\ell \rightarrow \infty \) (in that order) of a regular solution \({\widehat{\psi }}^{\ell ,m,n}\) where \(n\in {\mathbb {N}}\) is a Galerkin parameter and \(m\in {\mathbb {N}}\) and \(\ell \in {\mathbb {N}}\) are parameters indexing a family of approximate Maxwellians and extra stress tensors respectively.
Remark 4.3
Before we begin, we remark that henceforth, for a given pair \(({\mathbf {v}}, \xi )\) and fixed \(\ell \in {\mathbb {N}}\), we simply write \({\widehat{\psi }}^{m,n}\) in place of \(({\widehat{\psi }}^{\ell ,m,n})_{\ell \in {\mathbb {N}}}\) until when we have to pass to the limit \(\ell \rightarrow \infty \). We also recall the definition of \(T_\ell \) and \(\Lambda _\ell \) in (3.14).
Now to begin, we first consider the following approximate form of the Maxwellian in order to avoid potential blow-up. Following Bulíček et al. (2013, Section 2.1), we approximate \(M=M({\mathbf {q}})\) by \(M^m=M^m({\mathbf {q}})\) given by
where \({\overline{M}}^m={\overline{M}}^m({\mathbf {q}})\) is such that
for any compact set \({\mathcal {B}}_{\mathbf {q}}\subset B\). Next, for each \(m\in {\mathbb {N}}\), we consider a countable family \((\phi ^m_i)_{i\in {\mathbb {N}}}\) of eigenfunctions in \(W^{1,2}(B)\) that are orthogonal in \(W^{1,2}_{M^m}(B)\) and orthonormal in \(L^{2}_{M^m}(B)\). We also consider a smooth basis \(( \varpi _j)_{j\in {\mathbb {N}}}\) of the space \(W^{1,2}({\mathbb {R}}^3)\) along restriction to \(\Omega _\xi \) so that \(( \varpi _j )_{j\in {\mathbb {N}}}\) is a basis of the space \(W^{1,2}(\Omega _{\xi (t)} )\) for any \(t\in I\) (this, in fact, follows form the existence of an extension operator to \({\mathbb {R}}^3\) since \(\xi (t)\) is smooth). For fixed \(m,n\in {\mathbb {N}}\), our aim now is to look for a function
where the \(f^{m,n}_{rl}\)’s are the actual unknowns, such that for all \(r = 1, \dots , n\) and \(l=1,\dots ,n\),
holds subject to the initial condition
Equation (4.13) is a system of ODEs with continuous coefficients which can be solved locally in time. We start by showing uniform a priori estimates for \({\widehat{\psi }}^{m,n}\) which will imply global solvability of (4.13). To obtain these estimates, we will take \({\widehat{\psi }}^{m,n}\) as test function in (4.13). Using Reynolds’ transport theorem (3.1) we obtain
whereas the divergence theorem yields
since \(\mathrm {div}_{{\mathbf {x}}}{\mathbf {v}}=0\). By treating the rest of the terms in (4.13) in a straightforward manner and integrating over the interval (0, t), we obtain
for all \(t\in I\). As a consequence of Young’s inequality, the definitions of \(\Lambda _\ell \) and \(M^m\), boundedness of \( \nabla _{{\mathbf {x}}}{\mathbf {v}}\) and the boundedness of \(\vert {\mathbf {q}}_i\vert ^2\) which holds for each \(i=1, \ldots , K\), we obtain the estimate
uniformly in \(m,n\in {\mathbb {N}}\) for any \(\delta >0\) recalling the definition of \(\Lambda _\ell \). In order to estimate \((II)^{m,n}\), we use the trace embedding \(W^{1/2,2}(\Omega _{\xi (t)})\hookrightarrow L^2(\partial \Omega _{\xi (t)})\). The constant in this embedding depends on the \(W^{1,\infty }_{{\mathbf {x}}}\)-norm of \(\xi \). Employing also an interpolation argument and using the regularity of \({\mathbf {v}}\) again, we obtain
uniformly in \(m,n\in {\mathbb {N}}\) for any \(\delta >0\). By employing the regularity of \(\xi \) in place of \({\mathbf {v}}\), we can derive the same estimate for \((III)^{m,n}\). If we now consider the smallest eigenvalue \(A_0>0\) of \((A_{ij})_{i,j=1}^K\), absorb the small \(\delta \)-terms into the corresponding terms on the left-hand side of (4.15) and apply Gronwall’s lemma, then we obtain
uniformly in \(m,n\in {\mathbb {N}}\) for all \(t\in I\) with a constant that depends only on \(A_0\), \(\varepsilon >0\), \({\mathbf {v}}\) and \(\xi \). Note that (4.16) implies that there is a global-in-time solution to (4.13). Furthermore, we can use the fact that \(\frac{1}{m}\le M^m \le c\), where \(c>0\) is a constant independent of m to conclude from (4.16) that
where the constant additionally depends only on \(A_0\), \(\varepsilon >0\), \({\mathbf {v}}\) and \(\xi \).
4.2 Regularity and Identification of the First Limits
To begin this subsection, we first note that since the estimate (4.17) holds uniformly in \(n\in {\mathbb {N}}\), it follows that there exist
such that \({\widehat{\psi }}^{m,n}\) converges weakly-\((*)\) to \({\widehat{\psi }}^m\) as \(n\rightarrow \infty \). The limit \({\widehat{\psi }}^m\) satisfies both (4.16) and (4.17). Furthermore, since \(\frac{3}{5} = 3\left( \frac{1}{2} - \frac{3}{10}\right) \), it follows from the Gagliardo–Nirenberg interpolation inequality that for all \(t\in I\), the estimate
holds for a constant depending only on \(\xi \). Thus, given (4.18), it follows that
Although the original equation (4.5) is linear in \(\psi \), the regularised equation (which we approximate by (4.13)) is not due to the modified drag-term. Hence, we need compactness to pass to the limit. On account of the moving shell, the standard argument based on Aubin–Lions lemma does not apply. Also, we cannot localise the equation on the Galerkin level (this will be done later in Sects. 4.5 and 6.2 ). Hence, we modify the compactness approach from Lengeler and Růžička (2014) for our purposes and prove that
as \(n\rightarrow \infty \). In order to do so, we consider for \(\varphi \in W^{1,2}({\mathbb {R}}^3\times B)\) with \(\Vert \varphi \Vert _{W^{1,2}_{({\mathbf {x}},{\mathbf {q}})}}\le 1\), the functions
where \(\Pi _n^{{\mathbf {q}}}\) and \(\Pi _n^{{\mathbf {x}}}\) are \(L^2\)-projections onto \((\phi _i)_{i=1}^n\) and \(({\varpi }_i)_{i=1}^n\) respectively. We aim to show
for some \(\chi >1\) uniformly in n and \(\varphi \). This follows by inserting \(\Pi _n^{{\mathbf {q}}}\Pi _n^{{\mathbf {x}}}\varphi \) into (4.13) and integrating in time. The result is then a consequence of the a priori estimate from (4.17) and the continuity of \(\Pi _n^{{\mathbf {q}}}\) and \(\Pi _n^{{\mathbf {x}}}\). Taking a subsequence and applying Arcelá-Ascoli’s theorem, we can conclude that \(c_{\varphi ,n}\) converges uniformly in \({{\overline{I}}}\). Using (4.21) we will prove that the function
converges uniformly in \({{\overline{I}}}\). First of all we extend \({\widehat{\psi }}^{m,n}(t,\cdot ,{\mathbf {q}})\) and \({\widehat{\psi }}^{m}(t,\cdot ,{\mathbf {q}})\) from \(\Omega _{\xi (t)}\) to \(S_L\) and use the compact embedding \(L^{2}(S_L\times B)\hookrightarrow W^{-1,2}(S_L\times B)\) to conclude that (after taking a diagonal sequence)
for all \(t\in I_0\), where \(I_0\subset I\) is a dense subset. Consequently, we have for each such t
uniformly in \(\varphi \). Combining this with (4.21) and boundedness of \(M^m\) easily yields (4.22). On account of (4.17) and (4.22), we have
as \(n\rightarrow \infty \) using also (4.17). By combining this with the weak convergence of \({\widehat{\psi }}^{m,n}\) from (4.18), we obtain (4.20). Since \(M^m\) is strictly positive and bounded, one can now easily pass to the limit in (4.13) and conclude that the limit \({\widehat{\psi }}^m\) satisfies
for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3 \times {\overline{B}})\). Noticing the duality
cf. (Nägele et al. 2017, page 8), we can rewrite (4.23) as
for \(t\in I\) and all \(\varphi \in W^{1,2}(\Omega _{\xi (t)}\times B)\). Here \(\langle \cdot ,\cdot \rangle _t\) denotes the duality pairing between \(W^{-1,2}(\Omega _{\xi (t)}\times B)\) and \(W^{1,2}(\Omega _{\xi (t)}\times B)\). For various estimates, we need the formula
for a.e. \(\tau \in I\), provided f is a Lipschitz-function. In order to prove (4.26), we can define a temporal regularisation operator \({\mathscr {S}}_\varrho \) on \(L^2(I;W^{1,2}(\Omega _{\xi (t)}\times B))\) by
where \({\mathscr {E}}_\xi (t):W^{1,2}(\Omega _{\xi (t)})\rightarrow W^{1,2}({\mathbb {R}}^3)\) is the standard extension operator (note that the boundary of \(\Omega _{\xi (t)}\) is smooth) and \((\cdot )_\varrho \) denotes a temporal regularisation which is symmetric and commutes with derivatives. We clearly have
for \(\phi \in L^2(I;W^{1,2}(\Omega _{\xi (t)}\times B))\). Thus, for \(\varphi \in C^\infty ({{\overline{I}}}\times {\mathbb {R}}^3)\) with \(\varphi (0,\cdot )=\varphi (T,\cdot )=0\), we have
Using \({\mathscr {S}}_\varrho \varphi \) as a test-function in (4.23), the latter formula also make sense for \(\varphi \in L^2(I;W^{1,2}(\Omega _{\xi (t)}\times B))\). Moreover, we obtain
as a consequence of (4.27). Combining (4.27) and (4.28) finally proves (4.26).
With (4.26) at hand we can justify taking \(({\widehat{\psi }}^m)_{-}:=\min \{0,{\widehat{\psi }}^m\}\) as a test function in (4.25). Indeed, choosing \(f(s)=s_{-}:=\min \{0,s\}\) we obtain in analogy with (4.17),
where the constant depends only on \(A_0\), \(\varepsilon >0\), \({\mathbf {v}}\) and \(\xi \). As opposed to (4.17), the right hand side of (4.29) is zero because \(({\widehat{\psi }}^m)_{-}\big \vert _{t=0}=0\) since \(T_\ell ({\widehat{\psi }}^{m}_0) \ge 0\). We can therefore conclude that \(({\widehat{\psi }}^m)_- \equiv 0 \text { in } I \times \Omega _{\xi (t)} \times B\) and thus
the minimum principle.
4.3 An Auxiliary Problem: The Dumped Continuity Equation
For the ultimate purpose of estimating the Kramer’s expansion of the extra stress tensor \({\mathbb {T}}(\psi )\), we also need to consider the solution \(\Xi ^m\) of a dumped continuity equation for the weighted average of \({\widehat{\psi }}^m\). In particular, by setting \(\Xi ^m:=\int _BM^m {\widehat{\psi }}^m \, \mathrm {d} {\mathbf {q}}\) where \(m\in {\mathbb {N}}\) is fixed and choosing the test-function in (4.23) to be independent of \({\mathbf {q}}\), we obtain
for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3)\). We supplement (4.31) with the initial condition
As shown in Breit and Schwarzacher (2018, Theorem 3.1), there is a unique solution to (4.31) in the class
and it satisfies the estimate
with a constant depending only on the center-of-mass diffusion coefficient \(\varepsilon >0\), \(\xi (t)\) and \({\mathbf {v}}\). It is also shown in Breit and Schwarzacher (2018, Theorem 3.1) that the unique solution to (4.31) satisfies a renormalised formulation which reads as follows. For \(\theta \in C^2([0,\infty );[0,\infty ))\) with \(\theta '(s)= 0\) for large values of s and \(\theta (0)=0\), we have
for all \(\psi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3)\). In fact, the assumption that the function \(\theta \) in (4.35) has linear growth can be replaced by a quadratic growth assumption. Due to (4.34) and a smooth approximation argument, we can allow smooth non-negative functions with \(\theta (0)=0\) which have linear growth and bounded derivatives. Choosing \(\psi \) as a smooth approximation of \({\mathbb {I}}_{(0,t)}\) and noticing that in our case \(\mathrm {div}_{{\mathbf {x}}}{\mathbf {v}}=0\), we obtain
for all \(t\in I\) provided that \(\theta \) additionally satisfies \(\theta ''\ge 0\). We would like to choose \(\theta (s)=s^p\) for large p, which is currently not possible. However, we can approximate it by a sequence of convex \(C^2\)-functions \(\theta _{N}\) with \(\theta _N(s)=s^p\) for \(s\le N\) and \(\theta _N\le \,cp^2\theta \) for all \(N\gg 1\). This yields
Fatou’s lemma yields \(\Xi ^m(t)\in L^p(\Omega _{\xi (t)})\) and
Taking the pth root and passing with \(p\rightarrow \infty \) implies
for all \(t\in I\). Recalling (4.34), we conclude that
Standard arguments making use of the linearity of (4.31) yield a limit function \(\Xi \), as \(m\rightarrow \infty \), also satisfying (4.31) and (4.36). We now show that the leading term in the extra stress tensor is essentially bounded too.
Corollary 4.4
For each \(i=1, \ldots , K\), let
Then for each \(i=1, \ldots , K\),
uniformly in \(m\in {\mathbb {N}}\).
For the proof of the Corollary above, integrate by parts and use the property of the cut-off \(T_\ell \), see Bulíček et al. (2013, (2.65)).
4.4 Estimates for the Relative Entropy and Fisher Information
Next, we show an estimate for the relative entropy defined in (2.4) and the Fisher information (2.9) which in our context is given by the second moment of the gradient of the square-root of our solution. Note that a form of energy estimate can be derived by passing to the limit in (4.16). However, this gives no information on the relative entropy which is crucial once we couple the Fokker–Planck equation with the fluid system.
Now, let us recall the entropy functional (2.3) and its convex regularization \({\mathcal {F}}_\delta (\cdot )\) introduced at the start of Sect. 3. If we use \({\mathcal {F}}'_\delta ({\widehat{\psi }}^m)\) as a test-function in (4.25) (justified through (4.26)), then similar to (3.18), we obtain
uniformly in \(m, \ell \in {\mathbb {N}}\) and \(\delta >0\). By passing to the limit \(\delta \rightarrow 0\) (keeping in mind (3.15)), we obtain just as in (3.22),
for all \(t\in {\overline{I}}\) where
4.5 Second Layer Approximate Weak Solution
If we now recall the fact that \({\mathbf {v}}\) satisfies (4.1), we can use (4.36) and Corollary 4.4 to conclude that the right-hand side of (4.40) is bounded uniformly in \(m\in {\mathbb {N}}\). We show now how to identify the limit, as \(m\rightarrow \infty \), of the last term in (4.40). To do this, we first note that there exist a constant \(s_0>0\) such that
Now, we let \(\psi ^m := M^m {\widehat{\psi }}^m\). Since \(M^m<c\) uniformly in \(m\in {\mathbb {N}}\), for all \(t\in I\), we have for some \(s_0>0\),
with a constant depending only on the Lebesgue measure of \(\Omega _{\xi (t)} \times B\) and \(s_0\). By using (4.40), we can conclude that
holds uniformly in \(m\in {\mathbb {N}}\) and thus, \(\psi ^m\) is equi-integrable. In order to obtain compactness for \({\widehat{\psi }}^m\), we have to localise the equation to avoid problems with the moving boundary. We consider a sequence \({\mathcal {Q}}_k=J^k\times {\mathcal {B}}_{{\mathbf {x}}}^k\times {\mathcal {B}}_{{\mathbf {q}}}^k\) (the \({\mathcal {B}}_{{\mathbf {x}}}^k\)s and \({\mathcal {B}}_{{\mathbf {q}}}^k\)s are open balls and the \(J_k\)s open intervals), \(k\in {\mathbb {N}}\) such that \(\bigcup _k {\mathcal {Q}}_k =I\times \Omega _{\xi }\times B\) \(J_k\Subset I\), \({\mathcal {B}}_{{\mathbf {x}}}^k\Subset \bigcup _{t\in J_k}\Omega _{\xi (t)}\) and \({\mathcal {B}}_{{\mathbf {q}}}^k\Subset B\) for all \(k\in {\mathbb {N}}\). Now fixed \(k\in {\mathbb {N}}\) and use \(\varphi \in C^\infty _c({\mathcal {Q}}_k)\) as a test-function in (4.23) to conclude
uniformly in m using the uniform bounds from (4.40). Since \(M^m\) is strictly positive in \({\mathcal {B}}_{{\mathbf {q}}}^k\) with a bound depending on k but independent of m, we also have
uniformly. Consequently, we obtain
for a subsequence as well as
by taking a diagonal sequence. Due to uniform convergence of \(M^m\) to M, cf. (4.11), we also obtain
By combining (4.44) with (4.42), we can conclude from Vitali’s convergence theorem that
and by interpolation with (4.36),
This is enough to pass to the limit \(m\rightarrow \infty \) in (4.40) so that together with results from Sect. 4.3, we obtain
for all \(t\in I\). To finally identify the distributional solution solved by the limit \({\widehat{\psi }}:={\widehat{\psi }}^\ell \), we first note that for all \(j=1,\ldots ,K\), the following convergence
holds as \(m\rightarrow \infty \). To avoid repetition, we refer the reader to Bulíček et al. (2013, (2.100)). Using (4.47)–(4.48), the uniform convergence of \(M^m\) as well as (4.45), we can pass to the limit in (4.23) to obtain
for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3 \times {\overline{B}})\).
4.6 Conclusion
By recalling Remark 4.3, we note that \({\widehat{\psi }}:={\widehat{\psi }}^\ell \) where \(\ell \in {\mathbb {N}}\) is fixed and \(\psi =M{\widehat{\psi }}:=M{\widehat{\psi }}^\ell \). Since (4.46) holds independently of \(\ell \in {\mathbb {N}}\), just as in (4.42), we obtain
uniformly in \(\ell \in {\mathbb {N}}\) from which we obtain
exactly as in (4.45). Using (4.51) and the definition of \({\mathbb {T}}_\ell \) given by (4.41), we can in particular, pass to the limit \(\ell \rightarrow \infty \) in the last term in (4.46). Subsequently, we obtain (4.9) for all \(t\in I\). Similar to (4.49), we also obtain (4.8) for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3 \times {\overline{B}})\) by using (4.51). This completes the proof of Theorem 4.2.
5 The Regularized System
Let \(\varrho >0\) be a fixed regularization kernel. Our ultimate goal in this section is to construct on \(I \times \Omega _{{\mathcal {R}}^\varrho \eta ^\varrho } \times B\), a weak solution to a version of our fluid-structure-kinetic system transported by a regularized material derivative
similar to Lengeler and Růžička (2014). Here, \(({\mathcal {R}}^\varrho )_{\varrho >0}\) is a family of regularization operators defined as the composition of a temporal regularisation on I (which is symmetric and commutes with derivatives) and a mollification by a smooth kernel. For the later one to make sense we extend the corresponding functions by zero to the whole space. In (5.1) \(\eta ^\varrho \) and \({\mathbf {u}}^\varrho \) are corresponding approximate solutions of the shell equation (1.7) and momentum equation (1.21) respectively. We now recall that unlike (Lengeler and Růžička 2014) where a linearized Koiter elastic energy is considered, we are working with the more realistic fully nonlinear energy. To be able to proceed therefore, additionally, we regularize the shell equation by the higher order linear term \(\varrho {\mathcal {L}}'(\eta )\) where \({\mathcal {L}}(\eta )=\int _{\omega }|\nabla _{\mathbf {y}}^5\eta |^2\, \mathrm {d}{\mathbf {y}}\) (which is to be interpreted in the sense that \(\int _\omega \varrho {\mathcal {L}}'(\eta ) \phi \, \mathrm {d}{\mathbf {y}}=\int _\omega \varrho \nabla _{\mathbf {y}}^5\eta :\nabla _{\mathbf {y}}^5 \phi \, \mathrm {d}{\mathbf {y}}\) for all \(\phi \in W^{5,2}(\omega )\)). Once the above construction is done, we can pass to the limit \(\varrho \rightarrow 0\) to complete the proof of our main result, Theorem 2.6. This will be done in the next section.
Besides regularizing the shell equation by \(\varrho {\mathcal {L}}'(\eta )\) as earlier explained, we require further, two main tools to achieve our goal for this section: a Galerkin procedure and a fixed-point argument. Unfortunately, we are required to have a fully linear system and require an additional regularization procedure in order to apply our choice of fixed-point argument. These two obstacles and their remedies leads to the following steps in achieving our goal:
The following steps give the line-by-line reasoning as to why we require (5.1).
-
(1)
First of all, we note that one source of nonlinearity in our system comesfrom the convective term in the momentum equation (1.21). Furthermore, the spatial domain on which a solution to our full system is defined depends on the solution itself which is problematic. We remedy these problems using the following.
-
(a)
We linearise the transport term of the momentum equation by replacing the material derivation \(\partial _t +{\mathbf {u}}\cdot \nabla _{{\mathbf {x}}}\) with \(\partial _t +{\mathbf {v}}\cdot \nabla _{{\mathbf {x}}}\) where \({\mathbf {v}}\) is a given velocity field. In addition, we replace the spatial domain with \(\Omega _{\xi }\) where \(\xi \) is a given function of time.
-
(b)
Because of the highly coupled nature of our fluid-structure-kinetic system, we are also required to replace the transport term of the Fokker–Planck equation with \(\partial _t +{\mathbf {v}}\cdot \nabla _{{\mathbf {x}}}\). This makes physically sense since one can expect the transport of the solute to be affected by a change in transport of the solvent in the solution. Finally, we linearise the shell equation by replacing \(K'(\eta )\) by \(K'(\xi )\), which will be considered as part of the right-hand side.
-
(a)
-
(2)
At this point, in theory, we should be able to apply a Gelerkin method to show that a solution to our modified-transport problem exists. Unfortunately, we are constrained by the low regularity of the boundary. For this reason, we construct instead, a solution to our system on \(\Omega _{{\mathfrak {r}}^\varrho \xi ^\varrho }\) with material derivation \(\partial _t +{\mathcal {R}}^\varrho {\mathbf {v}}^\varrho \cdot \nabla _{{\mathbf {x}}}\) where \(\varrho >0\) is a fixed regularization kernel. Here \({\mathfrak {r}}^\varrho \) is regularisation operator acting on the periodic functions defined on \(\omega \) composed again with a a temporal regularisation on I.
-
(3)
Finally, for \(\varrho >0\) fixed, we can use a Schauder-type fixed-point argument to the mapping \((\xi ^\varrho ,{\mathbf {v}}^\varrho ) \mapsto (\eta ^\varrho , {\mathbf {u}}^\varrho )\) where \(\eta ^\varrho \) and \({\mathbf {u}}^\varrho \) are solutions to the decoupled regularised shell equation with data \((\xi ^\varrho ,{\mathbf {v}}^\varrho )\) to be defined below in Sect. 5.1.
Henceforth, we simply write \((\xi ,{\mathbf {v}})\) in place of \((\xi ^\varrho ,{\mathbf {v}}^\varrho )_{\varrho >0} \) (and the same for \((\eta , {\mathbf {u}})\)) until the next section when we pass to the limit \(\varrho \rightarrow 0\). However, to emphasize that our regularization is parametrized by \(\varrho >0\), we maintain the notation \({\mathcal {R}}^\varrho \) in this chapter.
With the above introduction, we now make precise, our goal of this section.
We now seek to find \(({\mathbf {u}}, {\widehat{\psi }}, \eta ):=({\mathbf {u}}^\varrho , {\widehat{\psi }}^\varrho , \eta ^\varrho )\) that solves the following system
in \(I \times \Omega _{{\mathfrak {r}}^\varrho \eta (t)} \times B\) subject to the following initial and boundary conditions
and for i=1, \(\ldots \), K,
where \(\eta _0, \eta _1 : {\omega } \rightarrow {\mathbb {R}}\) and \(g: I \times {\omega } \rightarrow {\mathbb {R}}\) are given functions and
Let us start with a precise definition of the solution. Note that as in Lengeler and Růžička (2014) we have to rewrite the convective term in an uncommon way to preserve the a priori estimates.
Definition 5.1
(Finite energy weak solution) Let \(({\mathbf {f}}, g, \eta _0, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1)\) be a dataset such that
In addition, we assume
We call the triple \(({\mathbf {u}},{\widehat{\psi }}, \eta )\) a finite energy weak solution to the system (5.2)–(5.12) with data \(({\mathbf {f}}, g, \eta _0, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1)\) provided that the following holds:
-
(a)
the velocity \({\mathbf {u}}\) satisfies
$$\begin{aligned} {\mathbf {u}}\in L^\infty \big (I; L^2(\Omega _{{\mathfrak {r}}^\varrho \eta (t)} ;{\mathbb {R}}^3) \big )\cap L^2 \big (I; W^{1,2}_{\mathrm {div}_{{\mathbf {x}}}}(\Omega _{{\mathfrak {r}}^\varrho \eta (t)};{\mathbb {R}}^3) \big ) \quad \text {and} \quad (5.8) \end{aligned}$$in the sense of traces and \(\eta \) satisfies
$$\begin{aligned} \eta \in W^{1,\infty } \big (I; L^2(\omega ) \big )\cap L^\infty \big (I; W^{5,2}(\omega ) \big ) \quad \text {with} \quad \Vert \eta \Vert _{L^\infty (I \times \omega )} <L \end{aligned}$$and for all \((\phi , {\varvec{\varphi }}) \in C^\infty ({\overline{I}}\times \omega ) \times C^\infty ({\overline{I}}\times {\mathbb {R}}^3; {\mathbb {R}}^3)\) with \(\phi (T,\cdot )=0\), \({\varvec{\varphi }}(T,\cdot )=0\), \(\mathrm {div}_{{\mathbf {x}}}{\varvec{\varphi }}=0\) and \(\mathrm {tr}_{{\mathfrak {r}}^\varrho \eta }{\varvec{\varphi }}= \phi {\varvec{\nu }}\), we have
$$\begin{aligned}&\int _I \frac{\mathrm {d}}{\, \mathrm {d}t}\bigg (\int _{\Omega _{{\mathfrak {r}}^\varrho \eta (t)}}{\mathbf {u}}\cdot {\varvec{\varphi }}\, \mathrm {d} {\mathbf {x}}+\int _{\omega } \partial _t \eta \, \phi \, \mathrm {d}{\mathbf {y}}\bigg )\, \mathrm {d}t\nonumber \\&\quad =\int _I \int _{\Omega _{{\mathfrak {r}}^\varrho \eta (t)}}\big ( {\mathbf {u}}\cdot \partial _t {\varvec{\varphi }} -\tfrac{1}{2}({\mathcal {R}}^\varrho {\mathbf {u}}\cdot \nabla ){\mathbf {u}}\cdot {\varvec{\varphi }} +\tfrac{1}{2}({\mathcal {R}}^\varrho {\mathbf {u}}\cdot \nabla ){\varvec{\varphi }} \cdot {\mathbf {u}}\big ) \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\nonumber \\&\quad - \int _I \int _{\Omega _{{\mathfrak {r}}^\varrho \eta (t)}} \big (\mu \nabla _{\mathbf {x}}{\mathbf {u}}:\nabla _{{\mathbf {x}}}{\varvec{\varphi }}+ {\mathcal {R}}^\varrho {\mathbb {T}} (M{\widehat{\psi }}) :\nabla _{{\mathbf {x}}}{\varvec{\varphi }}- {\mathbf {f}}\cdot {\varvec{\varphi }} \big ) \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\nonumber \\&\quad + \int _I \int _{\omega } \big (\partial _t \eta \, \partial _t\phi +\tfrac{1}{2}\partial _t \eta \, \partial _t{\mathfrak {r}}^\varrho \eta \,\phi +g\, \phi \big )\, \mathrm {d}{\mathbf {y}}\, \mathrm {d}t\nonumber \\&\quad - \int _I \big ( \langle K'(\eta ), \phi \rangle + \varrho \langle {\mathcal {L}}'(\eta ), \phi \rangle \big )\, \mathrm {d}t\end{aligned}$$(5.15) -
(b)
the probability density function \( {\widehat{\psi }}\) satisfies:
$$\begin{aligned}&{\widehat{\psi }}\ge 0 \text { a.e. in } I \times \Omega _{{\mathfrak {r}}^\varrho \eta (t)}\times B, \\&{\widehat{\psi }} \in L^\infty \big ( I \times \Omega _{{\mathfrak {r}}^\varrho \eta (t)} ; L^1_M(B) \big ), \\&{\mathcal {F}}({\widehat{\psi }} ) \in L^\infty \big ( I; L^1(\Omega _{{\mathfrak {r}}^\varrho \eta (t)}; L^1_M(B))\big ), \\&\sqrt{{\widehat{\psi }}} \in L^2 \big ( I; L^2(\Omega _{{\mathfrak {r}}^\varrho \eta (t)} ; W^{1,2}_M(B))\big ) \cap L^2 \big ( I; D^{1,2}(\Omega _{{\mathfrak {r}}^\varrho \eta (t)} ; L^2_M(B))\big ), \\&\Xi (t,{\mathbf {x}}) = \int _BM {\widehat{\psi }}(t, {\mathbf {x}}, {\mathbf {q}}) \, \mathrm {d} {\mathbf {q}}\in L^\infty \big (I \times \Omega _{{\mathfrak {r}}^\varrho \eta (t)}\big ) \cap L^2\big (I; W^{1,2}({\mathfrak {r}}^\varrho \eta (t)) \big ); \end{aligned}$$and for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3 \times {\overline{B}} )\), we have
$$\begin{aligned} \begin{aligned}&\int _I \frac{\mathrm {d}}{\, \mathrm {d}t} \int _{\Omega _{{\mathfrak {r}}^\varrho \eta (t)} \times B}M {\widehat{\psi }} \, \varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\quad = \int _{I \times \Omega _{{\mathfrak {r}}^\varrho \eta (t)} \times B}\big (M {\widehat{\psi }} \,\partial _t \varphi + M{\mathcal {R}}^\varrho {\mathbf {u}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi - \varepsilon M\nabla _{{\mathbf {x}}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\quad +\sum _{i=1}^K \int _{I \times \Omega _{{\mathfrak {r}}^\varrho \eta (t)} \times B} \bigg ( M(\nabla _{{\mathbf {x}}}{\mathcal {R}}^\varrho {\mathbf {u}}) {\mathbf {q}}_i{\widehat{\psi }}- \sum _{j=1}^K \frac{A_{ij}}{4\lambda } M \nabla _{{\mathbf {q}}_j}{\widehat{\psi }} \bigg ) \cdot \nabla _{{\mathbf {q}}_i}\varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t; \end{aligned} \end{aligned}$$ -
(c)
for all \(t\in I\), we have
$$\begin{aligned}&\int _{\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (t)}} \frac{1}{2} \vert {\mathbf {u}}(t) \vert ^2 \, \mathrm {d} {\mathbf {x}}+\mu \int _0^t \int _{ \Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (\sigma )}}\vert \nabla _{{\mathbf {x}}}{\mathbf {u}}\vert ^2 \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma + \int _{\omega } \frac{1}{2} \vert \partial _t \eta (t) \vert ^2 \, \mathrm {d}{\mathbf {y}}+ K(\eta (t)) \nonumber \\&\qquad +\varrho \int _{\omega }|\nabla _{\mathbf {y}}^5\eta (t)|^2\, \mathrm {d}{\mathbf {y}}+\Vert \Xi (t,\cdot ) \Vert ^2_{L^\infty (\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (t)})} + \varepsilon \int _0^t \int _{\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (\sigma )}}\vert \nabla _{{\mathbf {x}}}\Xi \vert ^2 \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\qquad + k\int _{\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (t)} \times B} M\, {\mathcal {F}} \big ( {\widehat{\psi }}(t) \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}+ 4k\,\varepsilon \int _0^t \int _{\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {x}}}\sqrt{ {\widehat{\psi }}} \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\qquad + \frac{kA_0}{\lambda } \int _0^t \int _{\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {q}}}\sqrt{ {\widehat{\psi }}} \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\qquad \lesssim \int _{\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho _0}} \frac{1}{2} \vert {\mathbf {u}}_0 \vert ^2 \, \mathrm {d} {\mathbf {x}}+ \int _{\omega } \frac{1}{2} \vert \eta _1 \vert ^2 \, \mathrm {d}{\mathbf {y}}+ K(\eta _{0}) +\varrho \int _{\omega }|\nabla _{\mathbf {y}}^5\eta _0|^2\, \mathrm {d}{\mathbf {y}}+ \Vert \Xi _0 \Vert ^2_{L^\infty (\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho _0})} \nonumber \\&\qquad +k \int _{\Omega _{{\mathfrak {r}}^\varrho \eta _0^\varrho } \times B} M\, {\mathcal {F}} \big ( {\widehat{\psi }}_0 \big ) + \frac{1}{2} \int _0^t\int _{\Omega _{{\mathfrak {r}}^\varrho \eta ^\varrho (\sigma )}}{\mathbf {f}}\cdot {\mathbf {u}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\qquad + \frac{1}{2} \int _0^t\int _{\omega }g\,\partial _t \eta \, \mathrm {d}{\mathbf {y}}\, \mathrm {d}\sigma . \end{aligned}$$(5.16)
The following result establishes the existence of a solution, in the sense of Definition 5.1 to the regularized system (5.2)–(5.12), see Remark 2.7 for the case \(\lim _{t\rightarrow T}\Vert \eta (t)\Vert _{L^\infty (\omega )}=L\).
Theorem 5.2
Let \(({\mathbf {f}}, g, \eta _0, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1)\) be a dataset satisfying (5.13) and (5.14). Then there is a finite energy weak solution \(({\mathbf {u}},{\widehat{\psi }}, \eta )\) of the system (5.2)–(5.12) on the interval \(I=(0,T)\) in the sense of Definition 5.1. The number T is restricted only if \(\lim _{t\rightarrow T}\Vert \eta (t)\Vert _{L^\infty (\omega )}=L\).
The proof of Theorem 5.2 will be given in Sect. 5.2. It as based on a fixed point argument applied to a linearized system. The latter one will be introduced and analyzed in the next subsection.
5.1 The Linearised System
Having constructed a solution \({\widehat{\psi }}\) to the Fokker–Planck equation in Sect. 4, we now aim to derive a triple \(({\mathbf {u}}, {\widehat{\psi }}, \eta )\) that solves the linearized fluid-structure-kinetic system transported by a given velocity \({\mathbf {v}} \in L^2_{\mathrm {div}_{{\mathbf {x}}}}(I \times {\mathbb {R}}^3 ;{\mathbb {R}}^3 )\) on a given shell function \(\xi \in C({\overline{I}} \times \omega )\), i.e., for a given pair \(({\mathbf {v}}, \xi )\), we seek to find \(({\mathbf {u}}, {\widehat{\psi }}, \eta )\) that solve the following system
in \(I \times \Omega _{{\mathfrak {r}}^\varrho \xi (t)} \times B\) subject to the following initial and boundary conditions
and for i=1, \(\ldots \), K,
where \(\eta _0, \eta _1 : \omega \rightarrow {\mathbb {R}}\) and \(g: I \times \omega \rightarrow {\mathbb {R}}\) are given functions and
Let us start with a precise definition of the solution.
Definition 5.3
(Finite energy weak solution) Let \(({\mathbf {f}}, g, \eta _0, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1, {\mathbf {v}},\xi )\) be a dataset such that
where \(p>2\). In addition, we assume
We call the triple \(({\mathbf {u}},{\widehat{\psi }} , \eta )\) a finite energy weak solution to the system (5.17)–(5.27) with data \(({\mathbf {f}}, g, \eta _0,{\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1, {\mathbf {v}},\xi )\) provided that the following holds:
-
(a)
the velocity \({\mathbf {u}}\) satisfies
$$\begin{aligned} {\mathbf {u}}\in L^\infty \big (I; L^2(\Omega _{{\mathfrak {r}}^\varrho \xi (t)} ;{\mathbb {R}}^3) \big )\cap L^2 \big (I; W^{1,2}_{\mathrm {div}_{{\mathbf {x}}}}(\Omega _{{\mathfrak {r}}^\varrho \xi (t)};{\mathbb {R}}^3) \big ) \quad \text {and} \quad (5.23) \end{aligned}$$in the sense of traces and \(\eta \) satisfies
$$\begin{aligned} \eta \in W^{1,\infty } \big (I; L^2({ \omega }) \big )\cap L^\infty \big (I; W^{5,2}({ \omega }) \big ) \quad \text {with} \quad \Vert \eta \Vert _{L^\infty (I \times { \omega })} <L \end{aligned}$$and for all \((\phi , {\varvec{\varphi }}) \in C^\infty ({\overline{I}}\times \omega ) \times C^\infty ({\overline{I}}\times {\mathbb {R}}^3; {\mathbb {R}}^3)\) with \(\phi (T,\cdot )=0\), \({\varvec{\varphi }}(T,\cdot )=0\), \(\mathrm {div}_{{\mathbf {x}}}{\varvec{\varphi }}=0\) and \(\mathrm {tr}_{{\mathfrak {r}}^\varrho \xi }{\varvec{\varphi }}= \phi {\varvec{\nu }}\), we have
$$\begin{aligned} \int _I \frac{\mathrm {d}}{\, \mathrm {d}t}\bigg (&\int _{\Omega _{{\mathfrak {r}}^\varrho \xi (t)}}{\mathbf {u}}\cdot {\varvec{\varphi }}\, \mathrm {d} {\mathbf {x}}+\int _{ \omega } \partial _t \eta \, \phi \, \mathrm {d}{\mathbf {y}}\bigg )\, \mathrm {d}t\nonumber \\&=\int _I \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (t)}}\big ( {\mathbf {u}}\cdot \partial _t {\varvec{\varphi }} -\tfrac{1}{2}({\mathcal {R}}^\varrho {\mathbf {v}}\cdot \nabla ){\mathbf {u}}\cdot {\varvec{\varphi }} +\tfrac{1}{2}({\mathcal {R}}^\varrho {\mathbf {v}}\cdot \nabla ){\varvec{\varphi }} \cdot {\mathbf {u}}\big ) \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\nonumber \\&- \int _I \int _{\Omega _{{\mathcal {R}}^\varrho \xi (t)}}\big (\mu \nabla _{\mathbf {x}}{\mathbf {u}}:\nabla _{{\mathbf {x}}}{\varvec{\varphi }} +{\mathbb {T}}(M{\widehat{\psi }}) :\nabla _{{\mathbf {x}}}{\mathcal {R}}^\varrho {\varvec{\varphi }}-{\mathbf {f}}\cdot {\varvec{\varphi }} \big ) \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\nonumber \\&+ \int _I \int _{ \omega } \big (\partial _t \eta \, \partial _t\phi +\tfrac{1}{2}\partial _t \eta \, \partial _t{\mathfrak {r}}^\varrho \eta \,\phi +g\, \phi \big )\, \mathrm {d}{\mathbf {y}}\, \mathrm {d}t\nonumber \\&-\int _I \big (\langle K'(\xi ), \phi \rangle +\varrho \langle {\mathcal {L}}'(\eta ), \phi \rangle \big )\, \mathrm {d}t. \end{aligned}$$(5.30) -
(b)
the probability density function \( {\widehat{\psi }}\) satisfies:
$$\begin{aligned}&{\widehat{\psi }}\ge 0 \text { a.e. in } I \times \Omega _{{\mathfrak {r}}^\varrho \xi (t)}\times B, \\&{\widehat{\psi }} \in L^\infty \big ( I ;L^1(\Omega _{{\mathfrak {r}}^\varrho \xi (t)} ; L^1_M(B)) \big ), \\&{\mathcal {F}}({\widehat{\psi }} ) \in L^\infty \big ( I; L^1(\Omega _{{\mathfrak {r}}^\varrho \xi (t)}; L^1_M(B))\big ), \\&\sqrt{{\widehat{\psi }}} \in L^2 \big ( I; L^2(\Omega _{{\mathfrak {r}}^\varrho \xi (t)} ; W^{1,2}_M(B))\big ) \cap L^2 \big ( I; D^{1,2}(\Omega _{{\mathfrak {r}}^\varrho \xi (t)} ; L^2_M(B))\big ), \\&\Xi (t,{\mathbf {x}}) = \int _BM {\widehat{\psi }}(t, {\mathbf {x}}, {\mathbf {q}}) \, \mathrm {d} {\mathbf {q}}\in L^\infty \big (I \times \Omega _{{\mathfrak {r}}^\varrho \xi (t)}\big ) \cap L^2\big (I; W^{1,2}(\Omega _{{\mathfrak {r}}^\varrho \xi (t)}) \big ); \end{aligned}$$and for all \(\varphi \in C^\infty ({\overline{I}}\times {\mathbb {R}}^3 \times {\overline{B}} )\), we have
$$\begin{aligned} \begin{aligned}&\int _I \frac{\mathrm {d}}{\, \mathrm {d}t} \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (t)} \times B}M {\widehat{\psi }} \, \varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t= \int _{I \times \Omega _{{\mathfrak {r}}^\varrho \xi (t)} \times B}\big (M {\widehat{\psi }} \,\partial _t \varphi + M{\mathcal {R}}^\varrho {\mathbf {v}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi - \varepsilon M\nabla _{{\mathbf {x}}}{\widehat{\psi }} \cdot \nabla _{{\mathbf {x}}}\varphi \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t\\&\quad +\sum _{i=1}^K \int _{I \times \Omega _{{\mathfrak {r}}^\varrho \xi (t)} \times B} \bigg ( M(\nabla _{{\mathbf {x}}}{\mathcal {R}}^\varrho {\mathbf {v}}) {\mathbf {q}}_i{\widehat{\psi }}- \sum _{j=1}^K \frac{A_{ij}}{4\lambda } M \nabla _{{\mathbf {q}}_j}{\widehat{\psi }} \bigg ) \cdot \nabla _{{\mathbf {q}}_i}\varphi \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}t; \end{aligned} \end{aligned}$$ -
(c)
for all \(t\in I\), we have
$$\begin{aligned}&\int _{\Omega _{{\mathfrak {r}}^\varrho \xi (t)}} \frac{1}{2} \vert {\mathbf {u}}(t) \vert ^2 \, \mathrm {d} {\mathbf {x}}+ \int _{ \omega } \frac{1}{2}\vert \partial _t \eta (t) \vert ^2 \, \mathrm {d}{\mathbf {y}}+\varrho \int _{\omega }|\nabla _{\mathbf {y}}^5\eta (t)|^2\, \mathrm {d}{\mathbf {y}}+ \mu \int _0^t \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (\sigma )}}\vert \nabla _{{\mathbf {x}}}{\mathbf {u}}\vert ^2 \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\quad \le \int _{\Omega _{{\mathfrak {r}}^\varrho \xi _0}} \frac{1}{2} \vert {\mathbf {u}}_0 \vert ^2 \, \mathrm {d} {\mathbf {x}}+ \int _{ \omega } \frac{1}{2}\vert \eta _1 \vert ^2 \, \mathrm {d}{\mathbf {y}}+\varrho \int _{\omega }|\nabla _{\mathbf {y}}^5\eta _0|^2\, \mathrm {d}{\mathbf {y}}+\int _0^t \int _{ \omega } g\,\partial _\sigma \eta \, \mathrm {d}{\mathbf {y}}\, \mathrm {d}\sigma +\int _0^t \langle K'(\xi )\,\partial _\sigma \eta \rangle \, \mathrm {d}\sigma \nonumber \\&\quad + \int _0^t\int _{\Omega _{{\mathfrak {r}}^\varrho \xi (\sigma )}} {\mathbf {f}}\cdot {\mathbf {u}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma -\int _0^t\int _{\Omega _{{\mathfrak {r}}^\varrho \xi (\sigma )}} {\mathbb {T}}(M{\widehat{\psi }}):\nabla _{{\mathbf {x}}}{\mathcal {R}}^\varrho {\mathbf {u}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma . \end{aligned}$$(5.31) -
(d)
we have the estimate
$$\begin{aligned}&\Vert \Xi (t,\cdot ) \Vert ^2_{L^\infty (\Omega _{{\mathfrak {r}}^\varrho \xi (t)})} + k \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (t)} \times B} M\, {\mathcal {F}} \big ( {\widehat{\psi }}(t, \cdot , \cdot ) \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}+ \varepsilon \int _0^t \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (\sigma )}}\vert \nabla _{{\mathbf {x}}}\Xi \vert ^2 \, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\quad + 4k\,\varepsilon \int _0^t \int _{ \Omega _{{\mathfrak {r}}^\varrho \xi (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {x}}}\sqrt{ {\widehat{\psi }}} \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma + \frac{kA_0}{\lambda } \int _0^t \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (\sigma )} \times B} M\Big \vert \nabla _{{\mathbf {q}}}\sqrt{ {\widehat{\psi }} } \Big \vert ^2 \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma \nonumber \\&\quad \lesssim \Vert \Xi _0 \Vert ^2_{L^\infty (\Omega _{{\mathfrak {r}}^\varrho \xi (0)})} + k \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (0)}\times B} M\, {\mathcal {F}} \big ( {\widehat{\psi }}_0 \big ) \, \mathrm {d} {\mathbf {q}}\, \mathrm {d} {\mathbf {x}}\nonumber \\&\quad + \int _0^t \ \int _{\Omega _{{\mathfrak {r}}^\varrho \xi (\sigma )} } {\mathbb {T}}(M{\widehat{\psi }}) :\nabla _{{\mathbf {x}}}{\mathcal {R}}^\varrho {\mathbf {v}}\, \mathrm {d} {\mathbf {x}}\, \mathrm {d}\sigma . \end{aligned}$$(5.32)for all \(t\in I\).
The following result establishes the existence of a solution, in the sense of Definition 5.3 to the linearized system (5.17)–(5.27), see Remark 2.7 for the case \(\lim _{t\rightarrow T}\Vert \eta (t)\Vert _{L^\infty (\omega )}=L\).
Theorem 5.4
Let \(({\mathbf {f}}, g, \eta _0, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1, {\mathbf {v}},\xi )\) be a dataset satisfying (5.28) and (5.29). Then there is a finite energy weak solution \(({\mathbf {u}},{\widehat{\psi }}, \eta )\) of the system (5.17)–(5.26) on the interval \(I=(0,T)\) in the sense of Definition 5.3. The number T is restricted only if \(\lim _{t\rightarrow T}\Vert \eta (t)\Vert _{L^\infty (\omega )}=L\).
Proof
In the linearized problem, the Fokker–Planck equation is decoupled from the fluid-structure problem. Consequently, both can be solved independently. On the one hand, given \(({\widehat{\psi }}_0, \eta _1, {\mathbf {v}},\xi )\), let \({\widehat{\psi }}\) be the solution to the Fokker–Planck equation from Theorem 4.2. On the other hand, given \({\widehat{\psi }}\), the analysis of the fluid-structure problem (with right-hand side \({\mathbf {f}}+{\mathcal {R}}^\varrho \mathrm {div}_{{\mathbf {x}}}{\mathbb {T}}(M{\widehat{\psi }})\) in the fluid equation) is very similar to that of Lengeler and Růžička (2014, Prop. 3.27) which is based on a finite-dimensional Galerkin approximation. The distribution \(K'(\xi )\) can be represented by a function belonging to \(L^2(I\times \omega )\) as \(\xi \in L^p(I;W^{4,p})\) (at least if we choose p large enough) and can be put together with the forcing g. The higher order operator \({\mathcal {L}}'\) does not change the analysis compared to \(\Delta ^2_{{\mathbf {x}}}\) (apart from the need for higher order Sobolev spaces). As a consequence, the problem can be treated as in Lengeler and Růžička (2014). In particular, we obtain the energy inequality (5.31) (in fact, the energy inequality in Lengeler and Růžička (2014, Prop. 3.27) slightly differs from (5.31) but a trivial modification leads to the required form). \(\square \)
5.2 A Fixed Point Argument
We now seek a fixed point of the solution map \(({\mathbf {v}},\xi )\mapsto ({\mathbf {u}},\eta )\) on \(L^2(I,L^2_{\mathrm {div}_{{\mathbf {x}}}}({\mathbb {R}}^3))\times L^p(I;W^{4,p}(\omega ))\) from Theorem 5.4. Note that we extend \({\mathbf {u}}\) by zero to \({\mathbb {R}}^3\). The resulting function is not weekly differentibale anymore but still divergence-free (in the sense of distributions). Since we do not know about uniqueness of the solutions constructed in Theorem 5.4, we will use the following fixed point theorem for set-valued mappings.
Theorem 5.5
(Granas and Dugundji (2003)) Let C be a convex subset of a normed vector space Z, let \({\mathfrak {P}} (C)\) be the power set of C and let \(F:C\rightarrow {\mathfrak {P}} (C)\) be an upper-semicontinuous set-valued mapping, that is, for every open set \(W\subset C\) the set \(\{c\in C:\,\, F(c)\in W\}\subset C\) is open. Moreover, let F(C) be contained in a compact subset of C, and let F(c) be non-empty, convex and compact for all \(c\in C\). Then F possesses a fixed point, that is, there exists some \(c_0\in C\) with \(c_0\in F(c_0)\).
We consider the interval \(I_*=(0,T_*)\) with \(T_*\) sufficiently small to be chosen later. We consider the set
for \(M_1=(\Vert \eta _0\Vert _{L^\infty ( \omega )}+L)/2\) and \(M_2>0\) to be chosen later. Note that the coupling at the boundary between velocity and shell is not contained in the definition of \({\mathscr {D}}\). This is a feature which one only gains via the fixed point and not before. Let
with
Note that when we say \(({\mathbf {u}},\eta )\) solves (5.30) with \(({\mathbf {v}}, \xi )\) this has to be understood in the sense that there is a solution \(\psi \) to the Fokker-Planck equation (with data \(({\mathbf {v}}, \xi )\)) which satisfies the corresponding energy inequality (existence of \(\psi \) is guaranteed by Theorem 4.2). First of all, we note that the image of F is nonempty due to Theorem 5.4. Next, we have to check that \(F({\mathscr {D}})\subset {\mathscr {D}}\). Given \(({\mathbf {v}},\xi )\), we can solve the Fokker-Planck equation with data \(({\mathcal {R}}^\varrho {\mathbf {v}},{\mathfrak {r}}^\varrho \xi , {\widehat{\psi }}_0)\) by means of Theorem 4.2. In particular, we have
uniformly in t. This yields
provided we choose \(T^*\) small enough (depending on \(M_1\) and \(M_2\) and \(\varrho \)) and hence
Now we use the a priori estimate from Theorem 5.4 to conclude
independently of \(M_2\) and the size of \(I_*\). This implies that \(\eta \in C^\alpha ({{\overline{I}}}\times \omega )\), by Sobolev embedding for some \(\alpha >0\), with Hölder norm independent of \(M_1\) and \(M_2\). We obtain
Therefore, we find for \(T^*\) small enough (but independent of \({\mathbf {v}}\) and \(\xi \)) such that
Hence we gain \(F({\mathscr {D}})\subset {\mathscr {D}}\) for an appropriate choice of \(M_2\in {\mathbb {R}}_+\). Similarly, we obtain
for \(T^*\) small enough using Sobolev’s embedding and (5.34).
Next, since the problem is linear and the left-hand side of the energy inequality is convex, we find that \(F(\xi ,{\mathbf {v}})\) is a convex and closed subset of \({\mathscr {D}}\). Also, we obtain upper-semicontinuity of the set-valued mapping. It remains to show that \(F({\mathscr {D}})\) is relatively compact. Consider \((\eta _n,{\mathbf {u}}_n)_{n\in {\mathbb {N}}}\subset F({\mathscr {D}})\). Then there exists a corresponding sequence \((\xi _n,{\mathbf {v}}_n)_{n\in {\mathbb {N}}}\subset {\mathscr {D}}\), such that \((\eta _n,{\mathbf {u}}_n)\) solves (5.30), with respect to \(({\mathbf {v}}_n,\xi _n)\). The corresponding solution to the Fokker-Planck equation will be denoted by \({\widehat{\psi }}_n\) . Due to the estimates above, we may choose subsequences such that
where we also used linearity of \({\mathbb {T}}\). The compactness of \(\eta _n\) in \(C({{\overline{I}}}_*\times \omega )\) follows immediately by Arcela-Ascoli’s theorem, since we know that \(\eta _n\) is uniformly Hölder continuous. Compactness in \(L^p(I_*;W^{4,p}(\omega ))\) then follows from Aubin-Lions’ Lemma (recall (5.36) and (5.37)) and interpolation. The proof of the compactness of \({\mathbf {u}}_n\) is much more sophisticated. Fortunately, we can follow Lengeler and Růžička (2014, Proposition 3.34) which is based on the compactness arguments Lengeler and Růžička (2014, Section 3.1). The only difference is that we have a sequence of forcing terms \({\mathbf {f}}+{\mathcal {R}}^\varrho \mathrm {div}_{{\mathbf {x}}}{\mathbb {T}}(M{\widehat{\psi }}_n)\). But the term coming from the extra stress is bounded in \(L^2\) due to (5.33) so the argument remains unchanged and we conclude. Note also that we can extend \({\mathbf {u}}_n\) and \({\mathbf {u}}\) by zero to the whole space and gain
Finally, we find for all \(k,l\in {\mathbb {N}}\) that \(\Vert \partial _t^l\nabla ^k{\mathfrak {r}}^\varrho \xi _n\Vert _{L^\infty (I_*\times \omega )}\le c(\kappa ,k,l)\). Hence, there is a subsequence (not relabelled) such that
The proof of the compactness is complete and the existence of a fixed point follows by Theorem 5.5.
Finally, we add (5.31) and (5.32) (with \((\xi ,{\mathbf {v}})=(\eta ,{\mathbf {u}})\)) to obtain the energy inequality (5.16) which completes the proof of Theorem 5.2. Note that with \(\xi =\eta \) we can rewrite
6 The Limit \(\varrho \rightarrow 0\)
We consider a sequence of smooth functions \((\eta _0^\varrho ,\eta _1^\varrho ,{\mathbf {u}}_0^\varrho )\) such that
as \(\varrho \rightarrow 0\). Here \({\mathbf {u}}_0\) has been extended by zero to the whole space and \({\mathbf {u}}_0^\varrho \) is smooth and divergence-free approximation which satisfies \({{\,\mathrm{tr}\,}}_{{\mathfrak {r}}^\varrho \eta }{\mathbf {u}}_0^\varrho =\eta _1^\varrho \gamma (\eta _0^\varrho )\), cf. Lengeler and Růžička (2014, Sec. 3.2). For a fixed \(\varrho >0\), we apply Theorem 5.2 to obtain a sequence of solutions \(({\mathbf {u}}^\varrho ,{\widehat{\psi }}^\varrho ,\eta ^\varrho )\) to the regularized problem (5.2)–(5.11) with data \(({\mathbf {f}}, g, \eta ^\varrho _{0}, {\widehat{\psi }}_0, {\mathbf {u}}_0, \eta _1^\varrho )\). The forthcoming effort is to pass with \(\varrho \rightarrow 0\) which will prove Theorem 2.6. We split this prove into two subsections. In the first part, we establish uniform a priori estimates. In particular, we prove fractional differentiability of the shell which eventually allows to pass to the limit in the nonlinear term \(K(\eta ^\varrho )\). Finally, we have to pass to the limit in the nonlinear terms in the momentum equations as well as the Fokker–Planck equations. In the case of fixed domains, this is done by classical compactness tools like the classical Aubin-Lions lemma. While one can still use the equations to gain information on the time-regularity of \({\mathbf {u}}^\varrho \) and \({\widehat{\psi }}^\varrho \), the analysis is significantly more involved.
6.1 A Priori Estimate
Using (5.16) and applying Young’s inequality, we obtain
for all \(t\in I\) where the right-hand side is uniformly bounded due to (6.1) and (5.13). Passing to a non-relabelled subsequence, we conclude
for some limit functions \(({\mathbf {u}},{\widehat{\psi }},\eta )\) and \(\Xi =\int _BM{\widehat{\psi }}\, \mathrm {d} {\mathbf {q}}\). From (6.8)–(6.12) we obtain in particular
In the following we are going to prove that
is uniformly bounded for some \(s>0\). This will be achieved by using an appropriate test-function in the shell equation. As the shell equation is coupled with the fluid equation, we need a suitable test-function for the fluid equation as well. As shown in (Muha and Schwarzacher 2019, Sec. 3), for a given \(\eta \in L^\infty (I;W^{1,2}( \omega ))\) with \(\Vert \eta \Vert _{L^\infty (I\times \omega )}<\ell <L\), there are linear operators
such that the tuple \(({\mathscr {F}}_{\eta }(\xi -{\mathscr {K}}_\eta (\xi )),\xi -{\mathscr {K}}_\eta (\xi ))\) satisfies
provided we have \(\eta \in L^\infty (I;W^{2,2}( \omega ))\cap W^{1,\infty }(I;L^{2}(\omega ))\). In particular, we have the estimates
for any \(q\in [1,\infty ]\) and \(p\in (1,\infty )\) as proved in (Muha and Schwarzacher 2019, Prop. 3.3). We now use the test-function
in equation (5.15). Here \(\Delta _s^hv({\mathbf {y}})=h^{-s}(v({\mathbf {y}}+h{\varvec{e}}_\alpha )-v({\mathbf {y}}))\) is the fractional difference quotient in direction \({\varvec{e}}_\alpha \) for \(\alpha \in \{1,2\}\). We obtain
Since \(\eta ^\varrho \in L^\infty (I,W^{2,2}(\omega ))\) uniformly, due to (Muha and Schwarzacher 2019, Lemma 4.5), we have
for every \(h>0\) and \(s\in (0,\frac{1}{2})\) so that our task consists of establishing uniform estimates for the terms \((I)^\varrho ,\dots ,(V)^\varrho \). As in (Muha and Schwarzacher 2019, Sec. 4.2), we obtain the required bounds for \((I)^\varrho ,(II)^\varrho \) and \((III)^\varrho \). A key ingredient in these estimates is the observation that
for all \(s\in (0,\frac{1}{2})\) by the use of (6.7) and the trace theorem, cf. Lemma 2.3. In fact, we can transfer the regularity from \({\mathbf {u}}^\varrho \) to \(\partial _t\eta ^\varrho \) by means of the boundary condition \({{\,\mathrm{tr}\,}}_{{\mathcal {R}}^\varrho \eta ^\varrho }{\mathbf {u}}^\varrho =\partial _t\eta ^\varrho \gamma (\eta ^\varrho )\). Using (6.3) and (6.4), we obtain
for any \(s<\frac{1}{2}\). Here, we have chosen \(p\in (2,\frac{1}{s}]\) such that the Sobolev embeddings \(W^{1,p}(\omega )\hookrightarrow L^\infty (\omega )\) and \( W^{2,2}(\omega )\hookrightarrow W^{1+2s,p}(\omega )\) holds. We are left with the term \((V)^\varrho \) for the mesoscopic coupling. We obtain
using (6.13) and (6.15). Using (6.3), the right-hand side is clearly bounded for all \(s<\frac{1}{2}\). Combining all the previous estimates and passing with \(h\rightarrow 0\) yields (6.14).
6.2 Compactness
To show compactness of the velocity, we are going to apply the method from Lengeler and Růžička (2014). We aim to prove
which will be a consequence of
and
In order to prove (6.20), we take the test-function \((b,{\mathscr {F}}_{{\mathcal {R}}^\varrho \eta ^\varrho }(b -{\mathscr {K}}_{{\mathfrak {r}}^\varrho \eta ^\varrho }(b)))\) with \(b\in W^{5,2}(\omega )\) and \(\Vert b\Vert _{W^{5,2}(\omega )}\le 1\). It satisfies for all \(q<\infty \),
due to (6.15) and (6.16) in combination with (6.3) and (6.4). We consider the functions
and aim to show
for some \(\chi >1\) uniformly in b and \(\varrho \). This follows by inserting \({\mathbb {I}}_{(0,t)}{\mathscr {F}}_{{\mathfrak {r}}^\varrho \eta ^\varrho } (b-{\mathscr {K}}_{{\mathfrak {r}}^\varrho \eta ^\varrho }(b))\) as a test-function in (5.15) provided all terms in in (5.15) have integrability \(\chi \). This is indeed the case as a consequence of (6.3)–(6.13). Applying Arcela-Ascoli’s theorem we can assume that \(c_{b,\varrho }\) converges (for a fixed b) uniformly in \({{\overline{I}}}\), at least for a subsequence. Together with (6.23), this implies uniform convergence of the function
for a subsequence \((\varrho _n)_{n\in {\mathbb {N}}}\), cf. Lengeler and Růžička (2014, pages 229, 230) for more details. In particular, we obtain
as \(n\rightarrow \infty \). By interpolation, we have
for all \(\varepsilon >0\) and all \(s\in (0,1/2)\). Consequently, we obtain
as \(n\rightarrow \infty \) on account of (6.7), (6.14) and (6.24). Finally, by (6.4) and (6.25) we have
as \(n\rightarrow \infty \) which implies (6.20). For the convergence in (6.21), one uses the fact that the function \({\mathbf {u}}^{\varrho _n}-{\mathscr {F}}_{{\mathfrak {r}}^{\varrho _n}\eta ^{\varrho _n}} (\partial _t\eta ^{\varrho _n})\) is zero on \(\partial \Omega _{{\mathfrak {r}}^{\varrho _n}\eta ^{\varrho _n}}\) by construction. Hence (6.21) is not affected by the shell equation
and can be proved as in Lengeler and Růžička (2014, pages 213, 232). We conclude that (6.19) holds and obtain
by convexity of the \(L^2\)-norm. This is enough to pass to the limit in the nonlinearities of the fluid-structure system. Note that with the above and (6.14) we also obtain compactness in \(L^2(I,W^{2,p}( \omega ))\) for some \(p>2\) and recall from Sect. 1.2 that the energy K is continuous on \(W^{2,p}( \omega )\).
In order to complete the proof of Theorem 2.6, we have to pass to the limit in the term \(M\nabla _{{\mathbf {x}}}{\mathbf {u}}^{\varrho _n}{\widehat{\psi }}^{\varrho _n}\) appearing in the Fokker–Planck equation. For this purpose we have to prove compactness of \({\widehat{\psi }}^{\varrho _n}\). For this, we first note that (6.3) and (6.4) imply
as \(n\rightarrow \infty \) for some \(\alpha \in (0,1)\). Therefore, by using
we also get that
as \(n\rightarrow \infty \). Next, similarly to (4.42), we obtain from (6.2) the bound
which holds uniformly in \(n\in {\mathbb {N}}\) and thus, \({\widehat{\psi }}^{\varrho _n}\) is equi-integrable. Similarly to (4.43), we obtain
for a possible subsequence. If we now combine (6.29) with (6.28), then we can conclude from Vitali’s convergence theorem that
and because of (6.10), we obtain by interpolation,
and hence
References
Barrett, J.W., Süli, E.: Existence of global weak solutions to some regularized kinetic models for dilute polymers. Multiscale Model. Simul. 6(2), 506–546 (2007)
Barrett, J.W., Süli, E.: Existence of global weak solutions to dumbbell models for dilute polymers with microscopic cut-off. Math. Models Methods Appl. Sci. 18(6), 935–971 (2008)
Barrett, J.W., Süli, E.: Existence and equilibration of global weak solutions to kinetic models for dilute polymers I: finitely extensible nonlinear bead-spring chains. Math. Models Methods Appl. Sci. 21(6), 1211–1289 (2011)
Barrett, J.W., Süli, E.: Existence and equilibration of global weak solutions to kinetic models for dilute polymers II: Hookean-type models. Math. Models Methods Appl. Sci. 22(5), 1150,024–84 (2012a)
Barrett, J.W., Süli, E.: Existence of global weak solutions to finitely extensible nonlinear bead-spring chain models for dilute polymers with variable density and viscosity. J. Differ. Equ. 253(12), 3610–3677 (2012b)
Barrett, J.W., Süli, E.: Finite element approximation of finitely extensible nonlinear elastic dumbbell models for dilute polymers. ESAIM Math. Model. Numer. Anal. 46(4), 949–978 (2012c)
Barrett, J.W., Schwab, C., Süli, E.: Existence of global weak solutions for some polymeric flow models. Math. Models Methods Appl. Sci. 15(6), 939–983 (2005)
Bird, R.B., Curtiss, C.F., Armstrong, R.C., Hassager, O.: Dynamics of Polymeric Liquids. Vol. 2: Kinetic Theory. Wiley, New York (1987)
Bodnár, T., Galdi, G.P., Nečasová, Š.: Fluid-Structure Interaction and Biomedical Applications. Advances in Mathematical Fluid Mechanics. Birkhäuser/Springer, Basel (2014)
Boulakia, M., Guerrero, S., Takahashi, T.: Well-posedness for the coupling between a viscous incompressible fluid and an elastic structure. Nonlinearity 32(10), 3548–3592 (2019)
Breit, D., Mensah, P.R.: Local well-posedness of the compressible FENE dumbbell model of Warner-type. arXiv preprint arXiv:1911.02465v2 (2018, to appear in Nonlinearity)
Breit, D., Schwarzacher, S.: Compressible fluids interacting with a linear-elastic shell. Arch. Ration. Mech. Anal. 228(2), 495–562
Bulíček, M., Málek, J., Süli, E.: Existence of global weak solutions to implicitly constituted kinetic models of incompressible homogeneous dilute polymers. Commun. Partial Differ. Equ. 38(5), 882–924 (2013)
Chakrabarti, S.K.: The Theory and Practice of Hydrodynamics and Vibration, vol. 20. World scientific, Singapore (2002)
Chambolle, A., Desjardins, B., Esteban, M.J., Grandmont, C.: Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate. J. Math. Fluid Mech. 7(3), 368–404 (2005)
Ciarlet, P.G.: An Introduction to Differential Geometry with Applications to Elasticity. Springer, Dordrecht (2005). (Reprinted from J. Elasticity 78/79 (2005))
Ciarlet, P.G., Roquefort, A.: Justification of a two-dimensional nonlinear shell model of Koiter’s type. Chin. Ann. Math. Ser. B 22(2), 129–144 (2001)
Constantin, P.: Nonlinear Fokker–Planck Navier–Stokes systems. Commun. Math. Sci. 3(4), 531–544 (2005)
Constantin, P., Fefferman, C., Titi, E.S., Zarnescu, A.: Regularity of coupled two-dimensional nonlinear Fokker–Planck and Navier–Stokes systems. Commun. Math. Phys. 270(3), 789–811 (2007)
Dowell, E.H.: A Modern Course in Aeroelasticity, Solid Mechanics and Its Applications, Vol. 217, enlarged edn. Springer, Cham (2015)
E, W., Li, T., Zhang, P.: Well-posedness for the dumbbell model of polymeric fluids. Commun Math. Phys. 248(2), 409–427 (2004)
El-Kareh, A.W., Leal, L.G.: Existence of solutions for all deborah numbers for a non-Newtonian model modified to include diffusion. J. Non-Newtonian Fluid Mech. 33(3), 257–287 (1989)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer Monographs in Mathematics. Springer, New York (2003)
Grandmont, C.: Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate. SIAM J. Math. Anal. 40(2), 716–737 (2008)
Gwiazda, P., Lukáčová-Medvidová, M., Mizerová, H., Świerczewska-Gwiazda, A.: Existence of global weak solutions to the kinetic Peterlin model. Nonlinear Anal. Real World Appl. 44, 465–478 (2018)
Hundertmark-Zaušková, A., Lukáčová-Medvid’ová, M., Nečasová, Š: On the existence of weak solution to the coupled fluid-structure interaction problem for non-Newtonian shear-dependent fluid. J. Math. Soc. Japan 68(1), 193–243 (2016)
Ignatova, M., Kukavica, I., Lasiecka, I., Tuffaha, A.: Small data global existence for a fluid-structure model. Nonlinearity 30(2), 848–898 (2017)
Jourdain, B., Lelièvre, T., Le Bris, C.: Existence of solution for a micro-macro model of polymeric fluid: the FENE model. J. Funct. Anal. 209(1), 162–193 (2004)
Klainerman, S., Majda, A.: Singular limits of quasilinear hyperbolic systems with large parameters and the incompressible limit of compressible fluids. Commun. Pure Appl. Math. 34(4), 481–524 (1981)
Lee, J.M.: Introduction to Smooth Manifolds, Graduate Texts in Mathematics, vol. 218, second edn. Springer, New York (2013)
Lengeler, D.: Globale existenz für die interaktion eines Navier–Stokes-fluids mit einer linear elastischen schale. Ph.D. thesis, Universität (2011)
Lengeler, D., Růžička, M.: Weak solutions for an incompressible Newtonian fluid interacting with a Koiter type shell. Arch. Ration. Mech. Anal. 211(1), 205–255 (2014)
Li, T., Zhang, H., Zhang, P.: Local existence for the dumbbell model of polymeric fluids. Commun. Partial Differ. Equ. 29(5–6), 903–923 (2004)
Lions, P.L., Masmoudi, N.: Global solutions for some Oldroyd models of non-Newtonian flows. Chin. Ann. Math. Ser. B 21(2), 131–146 (2000)
Lions, P.L., Masmoudi, N.: Global existence of weak solutions to some micro-macro models. C. R. Math. Acad. Sci. Paris 345(1), 15–20 (2007)
Lukáčová-Medvid’ová, M., Mizerová, H., Nečasová, Š, Renardy, M.: Global existence result for the generalized Peterlin viscoelastic model. SIAM J. Math. Anal. 49(4), 2950–2964 (2017)
Luo, W., Yin, Z.: Global existence and well-posedness for the FENE dumbbell model of polymeric flows. Nonlinear Anal. Real World Appl. 37, 457–488 (2017)
Masmoudi, N.: Well-posedness for the FENE dumbbell model of polymeric flows. Commun. Pure Appl. Math. 61(12), 1685–1714 (2008)
Masmoudi, N.: Global existence of weak solutions to the FENE dumbbell model of polymeric flows. Invent. Math. 191(2), 427–500 (2013)
Muha, B.: A note on the trace theorem for domains which are locally subgraph of a Hölder continuous function. Netw. Heterog. Media 9(1), 191–196 (2014)
Muha, B., Čanić, S.: Existence of a weak solution to a nonlinear fluid-structure interaction problem modeling the flow of an incompressible, viscous fluid in a cylinder with deformable walls. Arch. Ration. Mech. Anal. 207(3), 919–968 (2013)
Muha, B., Čanić, S.: Existence of a solution to a fluid-multi-layered-structure interaction problem. J. Differ. Equ. 256(2), 658–706 (2014)
Muha, B., Schwarzacher, S.: Existence and regularity for weak solutions for a fluid interacting with a non-linear shell in 3d. arXiv preprint arXiv:1906.01962 (2019)
Nägele, P., Růžička, M., Lengeler, D.: Functional setting for unsteady problems in moving domains and applications. Complex Var. Elliptic Equ. 62(1), 66–97 (2017)
Otto, F., Tzavaras, A.E.: Continuity of velocity gradients in suspensions of rod-like molecules. Commun. Math. Phys. 277(3), 729–758 (2008)
Peralta, G., Kunisch, K.: Analysis of a nonlinear fluid-structure interaction model with mechanical dissipation and delay. Nonlinearity 32(12), 5110–5149 (2019)
Renardy, M.: An existence theorem for model equations resulting from kinetic theories of polymer solutions. SIAM J. Math. Anal. 22(2), 313–327 (1991)
Roquefort, A.: Sur quelques questions liées aux modéles non linéaires de coques minces. Ph.D. thesis, Paris 6 (2001)
Zhang, H., Zhang, P.: Local existence for the FENE-dumbbell model of polymeric fluids. Arch. Ration. Mech. Anal. 181(2), 373–400 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Eliot Fried.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors would like to thank S. Schwarzacher and E. Süli for valuable suggestions.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Breit, D., Mensah, P.R. An Incompressible Polymer Fluid Interacting with a Koiter Shell. J Nonlinear Sci 31, 25 (2021). https://doi.org/10.1007/s00332-021-09678-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-021-09678-5