Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Hans Triebel
Hans Triebel
PDE Models for Chemotaxis and
Hydrodynamics in
Supercritical Function Spaces
Hans Triebel
Chemotaxis and
underlying Keller–Segel equations (chemotaxis), Navier–Stokes equations
(hydrodynamics), and their numerous modifications and combinations are
treated in the context of inhomogeneous spaces of Besov–Sobolev type paying
Hydrodynamics
special attention to mapping properties of related nonlinearities. Further
models are considered, including (deterministic) Fokker–Planck equations and
chemotaxis Navier–Stokes equations.
ISBN 978-3-03719-172-9
www.ems-ph.org
Previously published in this series (for a complete listing see our homepage at www.ems-ph.org):
Sergey V. Matveev, Lectures on Algebraic Topology
Joseph C. Várilly, An Introduction to Noncommutative Geometry
Reto Müller, Differential Harnack Inequalities and the Ricci Flow
Eustasio del Barrio, Paul Deheuvels and Sara van de Geer, Lectures on Empirical Processes
Iskander A. Taimanov, Lectures on Differential Geometry
Martin J. Mohlenkamp and María Cristina Pereyra, Wavelets, Their Friends, and What They
Can Do for You
Stanley E. Payne and Joseph A. Thas, Finite Generalized Quadrangles
Masoud Khalkhali, Basic Noncommutative Geometry
Helge Holden, Kenneth H. Karlsen, Knut-Andreas Lie and Nils Henrik Risebro, Splitting Methods
for Partial Differential Equations with Rough Solutions
Koichiro Harada, “Moonshine” of Finite Groups
Yurii A. Neretin, Lectures on Gaussian Integral Operators and Classical Groups
Damien Calaque and Carlo A. Rossi, Lectures on Duflo Isomorphisms in Lie Algebra and
Complex Geometry
Claudio Carmeli, Lauren Caston and Rita Fioresi, Mathematical Foundations of Supersymmetry
Hans Triebel, Faber Systems and Their Use in Sampling, Discrepancy, Numerical Integration
Koen Thas, A Course on Elation Quadrangles
Benoît Grébert and Thomas Kappeler, The Defocusing NLS Equation and Its Normal Form
Armen Sergeev, Lectures on Universal Teichmüller Space
Matthias Aschenbrenner, Stefan Friedl and Henry Wilton, 3-Manifold Groups
Hans Triebel, Tempered Homogeneous Function Spaces
Kathrin Bringmann, Yann Bugeaud, Titus Hilberdink and Jürgen Sander, Four Faces of Number
Theory
Alberto Cavicchioli, Friedrich Hegenbarth and Dušan Repovš, Higher-Dimensional Generalized
Manifolds: Surgery and Constructions
Davide Barilari, Ugo Boscain and Mario Sigalotti, Geometry, Analysis and Dynamics on sub-
Riemannian Manifolds, Volume I
Davide Barilari, Ugo Boscain and Mario Sigalotti, Geometry, Analysis and Dynamics on sub-
Riemannian Manifolds, Volume II
Dynamics Done with Your Bare Hands, Françoise Dal’Bo, François Ledrappier and Amie Wilkinson,
(Eds.)
Hans Triebel
Hans Triebel
Friedrich-Schiller-Universität Jena
Fakultät für Mathematik und Informatik
Institut für Mathematik
07737 Jena
Germany
E-mail: hans.triebel@uni-jena.de
2010 Mathematics Subject Classification: 35–02, 46–02, 76–02, 92–02; 35K05, 35Q30, 35Q92, 42B35, 46E35,
76D05, 92C15, 92C17
Key words: Function spaces of Besov–Sobolev type, chemotaxis, hydrodynamics, heat equations, Keller–Segel
equations, Navier–Stokes equations
ISBN 978-3-03719-172-9
The Swiss National Library lists this publication in The Swiss Book, the Swiss national bibliography, and the
detailed bibliographic data are available on the Internet at http://www.helveticat.ch.
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in other ways, and storage in data banks. For any kind of use permission
of the copyright owner must be obtained.
Contact address:
European Mathematical Society Publishing House
Seminar for Applied Mathematics
ETH-Zentrum SEW A27
CH-8092 Zürich
Switzerland
Typeset using the author’s TEX files: le-tex publishing services GmbH, Leipzig, Germany
Printing and binding: Beltz Bad Langensalza GmbH, Bad Langensalza, Germany
∞ Printed on acid free paper
987654321
6. Mathematical Treatment of the Axioms of Physics. . . . To treat in the same
manner [foundations of geometry], by means of axioms, those physical sci-
ences in which mathematics plays an important part; in the first rank are the
theory of probabilities and mechanics.
The organic unity of mathematics is inherent in the nature of this science, for
mathematics is the foundation of all exact knowledge of natural phenomena.
(David Hilbert, Lecture delivered before the international congress of mathematicians
at Paris in 1900, [Hil02], [Rei70, Chapter X]).
With the example of how mathematics has benefited from and influenced
physics, it is clear that if mathematicians do not become involved in
biosciences they will simply not be a part of what are likely to be the
most important and exciting scientific discoveries of all time.
(James Dickson Murray, [Mur93, Preface, p. v]).
1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Function spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Chemotaxis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
6 Navier–Stokes equations . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.2 Critical and supercritical spaces . . . . . . . . . . . . . . . . . . . . . 98
6.3 Main assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
6.4 Stability and well-posedness . . . . . . . . . . . . . . . . . . . . . . 102
x Contents
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
Chapter 1
Preliminaries
with the natural modification if p D 1. As usual, Z is the set of all integers; and Zn
where n 2 N, denotes the lattice of all points m D .m1 ; : : : ; mn / 2 Rn with mj 2 Z.
Let Nn0 , where n 2 N, be the set of all multi-indices,
X
n
˛ D .˛1 ; : : : ; ˛n / with ˛j 2 N0 and j˛j D ˛j . (1.2)
j D1
denotes the Fourier transform of '. Also, F 1 ' and ' _ stand for the inverse Fourier
transform, given by the right-hand side of (1.3) with i in place of i . Here x denotes
the scalar product in Rn . Both F and F 1 are extended to S 0 .Rn / in the standard
way. Define '0 2 S.Rn / by
'0 .x/ D 1 if jxj 1 and '0 .x/ D 0 if jxj 3=2, (1.4)
and let
'k .x/ D '0 2k x '0 2kC1 x ; x 2 Rn ; k 2 N: (1.5)
Since
1
X
'j .x/ D 1 for x 2 Rn ; (1.6)
j D0
b/_ .x/
the 'j form a dyadic resolution of unity. The entire analytic functions .'j f
0
make sense pointwise in R for any f 2 S .R /.
n n
2 1 Preliminaries
Lp .Rn / D Fp;2
0
.Rn / (1.11)
is a one-to-one map of S.Rn / onto itself and of S 0 .Rn / onto itself. Furthermore, I
is a lift for the spaces Asp;q .Rn / with A D B or A D F and s 2 R, 0 < p 1
(p < 1 for the F -scale), 0 < q 1, namely
I Asp;q .Rn / D As n
p;q .R / (1.15)
(equivalent quasi-norms). With
Hps .Rn / D Is Lp .Rn /; s 2 R; 1 < p < 1; (1.16)
one has
Hps .Rn / D Fp;2
s
.Rn /; s 2 R; 1 < p < 1; (1.17)
and
Hpk .Rn / D Wpk .Rn /; k 2 N0 ; 1 < p < 1: (1.18)
Nowadays Hps .Rn / are referred to as Sobolev spaces (sometimes fractional Sobolev
spaces or Bessel-potential spaces), with the classical Sobolev spaces Wpk .Rn / as spe-
cial cases.
(iv) We denote
C s .Rn / D B1;1
s
.Rn /; s 2 R; (1.19)
and call these spaces Hölder–Zygmund spaces. Let
1
h f .x/ D f .x C h/ f .x/; lC1
h
f .x/ D 1
h l
h f .x/; (1.20)
Finally we recall how the above inhomogeneous spaces Asp;q .Rn / can be charac-
terized in terms of heat kernels. Let w 2 S 0 .Rn /. Then
Z
1 jxyj
2 1 jxj
2
Wt w.x/ D e 4t w.y/ dy D w; e 4t ; t > 0;
.4 t/n=2 Rn .4 t/n=2
(1.25)
x 2 Rn , is the well-known Gauss–Weierstrass semi-group, which can be written on
the Fourier side as
b 2
Wt w./ D et jj w
b./; 2 Rn ; t > 0: (1.26)
The Fourier transform is taken with respect to the space variables x 2 Rn . Of course,
both (1.25) and (1.26) must be interpreted in the context of S 0 .Rn /. But we recall
that (1.25) makes sense pointwise: It is the convolution of w 2 S 0 .Rn / and gt .y/ D
jyj2
.4 t/n=2 e 4t 2 S.Rn /. In particular,
N=2
w gt 2 C 1 .Rn /; j.w gt /.x/j ct 1 C jxj2 ; x 2 Rn ; (1.27)
for some ct > 0 and some N 2 N. Further explanations and related references may
be found in [T14, Section 4.1]. Let
s<0 and 0 < p; q 1 (with p < 1 for F -spaces): (1.28)
Then
Z 1=q
1
dt
f jB s .Rn / D t sq
2 kWt f jLp .R /k
n q
(1.29)
p;q
0 t
and Z 1=q
1
dt
f jF .R / D
s n
t sq
2 jW f ./j
t
q
jLp .R n
/ (1.30)
p;q
0 t
(usual modification if q D 1) are admissible (characterizing) equivalent quasi-norms
in the respective spaces. More precisely: f 2 S 0 .Rn / belongs to Bp;q s
.Rn / if, and
only if, the right-hand of (1.29) is finite. Similarly for Fp;q .R / with p < 1. This
s n
s n
f jC .R / D sup t s=2 jWt f .x/j (1.34)
x2Rn ;t >0
is finite. According to [T15, Definition 3.22, p. 78] and Definition 2.8 in [T16, T16a]
one can introduce the spaces Asp;q .Rn /, A 2 fB; F g as follows.
Let s=2 < m 2 N0 . Then F sp;q .Rn / collects all f 2 S 0 .Rn / such that
Z 1=q
s 1
f jF .R / D . s
/ q dt
n
t m 2 q
j@m
Wt f ./j jLp .R n
/
p;q m 0 t
t (1.36)
C f jC n=r .Rn /
is finite, and B sp;q .Rn / collects all f 2 S 0 .Rn / such that
Z 1=q
s 1
n q dt
f jB .Rn / D t .m 2 /q @m
s
Cf jC n=r .Rn /
p;q m t Wt f jLp .R /
0 t
(1.37)
is finite .usual modification if q D 1/.
(ii) Let 0 < p 1 and s D n p1 1 . Let s=2 < m 2 N0 . Then B sp;1 .Rn /
collects all f 2 S 0 .Rn / such that
s
f jB n
@t Wt f jLp .Rn / C f jC n .Rn /
m 2s m
p;1 .R / m D sup t (1.38)
t >0
is finite.
(iii) Let 0 < p 1, 0 < q 1, s D n=p and s=2 < m 2 N. Then F sp;q .Rn /
collects all f 2 S 0 .Rn / such that
Z 1=q
s 1 ˇ
f jF .R / D . s
/ q dt ˇ
n
t m 2 q
j@m
Wt f ./j Lp .R n
/ C sup j.f; '/j
p;q m 0 t
t
(1.39)
is finite .usual modification if q D 1/, where the supremum is taken over all ' 2
S.Rn / with k' jL1 .Rn /k 1.
(iv) Let 0 < p < 1, 0 < q 1, s D n=p and s=2 < m 2 N. Then B sp;q .Rn /
collects all f 2 S 0 .Rn / such that
Z 1 1=q
s
n q dt
f jB .Rn / D t . m 2s /q m
@t Wt f jLp .R / C sup j.f; '/j
p;q m
0 t
(1.40)
is finite, where the supremum is taken over all ' 2 S.Rn / with k' jL1 .Rn /k 1.
Remark 1.4. Details and discussions may be found in [T15, T16, T16a]. In partic-
ular, these spaces are independent of the admitted m 2 N0 (equivalent quasi-norms).
The restrictions for s are natural, also with respect to our later considerations. As said
above, we rely on the inhomogeneous spaces Asp;q .Rn /. The only reason for includ-
ing the above tempered homogeneous spaces Asp;q .Rn / is the following homogeneity
property.
1.1 Function spaces 7
Proposition 1.5. Let Asp;q .Rn / be one of the spaces covered by Definition 1.3. Then
f ./ jAs .Rn / D s pn f jAs .Rn / ; > 0: (1.41)
p;q m p;q m
Remark 1.6. As already indicated in Remark 1.2 we do not care about equivalent
quasi-norms in a given space Asp;q .Rn / or Asp;q .Rn /. This may justify our omission
of any related subscripts or superscripts.
Special properties of the spaces Asp;q .Rn / will be quoted when needed. As an
exception we recall here the following assertion that will play a crucial role in our
considerations.
Remark 1.8. Part (i) is covered by [T14, Theorem 4.1, p. 114] with
Ln=pAsp;q .Rn / D Asp;q .Rn / and [T13, Theorem 5.30, p. 187]. As for part (ii), we
refer the reader to Theorem 3.3 in [T16, T16a]. As mentioned in Remark 3.4 in [T16,
T16a], part (ii) can be extended to some limiting cases covered by Definition 1.3.
Remark 1.9. The history of these function spaces may be found in the respective
Chapters 1 in [T92, T06] both entitled How to measure smoothness, complemented
by [T15]. The above collection of definitions and properties is the bare minimum to
make the text readable. More specific assertions will be quoted when needed. But
to provide a better understanding we add a comment about our vocabulary which is
in good agreement with the recent literature. The spaces Asp;q .Rn /, A 2 fB; F g,
as introduced in Definition 1.3 enjoy the global homogeneity property (1.41) (for all
> 0) and called for this reason homogeneous spaces. We rely here on the spaces
Asp;q .Rn /, A 2 fB; F g, according to Definition 1.1. They do not have this global
8 1 Preliminaries
1.2 Chemotaxis
Chemotaxis is the movement of biological cells or organisms in response to chemical
gradients. Of interest is the ability to initiate spatial pattering caused by positive ori-
ented chemotactical migration. In response to starvation, the slime (Schleim) mo(u)ld
(Schimmelpilz) Dictyostelium discoideum produces an auto-attractant, the chemi-
cal cAMP (Adenosine 30 ;50 -cyclic monophosphate), which initiates an aggregation
process. This is observed in Petri dishes [J. Petri, 1852–1922, German bacteriolo-
gist] since the 1930s and also commented with astonishment by A. Einstein in the
1950s. One needs a density of 5 104 per cm2 of these amoebae to initiate this re-
action. A description of how to understand this remarkable chemotactical behaviour
of amoebae and bacteria from a biochemical point of view may be found in [Adl75].
Photographs of the spiral signalling patterns in Dictyostelium discoideum under the
influence of the produced chemical cAMP are shown in [Mur93, Figure 12.16, p. 346]
= [Mur03, Figure 1.18, p. 57]. Adenosine is involved in many physiological processes
in living tissue, providing energy and muscular contraction. Mathematical models go
back to the 1950s. But the breakthrough came in the 1970s with the rather general
Keller–Segel equations, [KeS70, KeS71], simplified shortly afterwards in [Nan73].
A detailed description, including the biological background and the model equations
studied today may be found in the surveys [Hor03, Hor04] and [HiP09]. P
In what follows we use standard notation. In particular, D njD1 @2j stands for
the Laplacian with respect to the space variables x D .x1 ; : : : ; xn /. Similarly,
P rv D
.@1 v; : : : ; @n v/ denotes the gradient of a scalar function v and div w D njD1 @j wj
the divergence of a vector function w D .w1 ; : : : ; wn /.
The prototype of Keller–Segel equations (adapted to our later considerations) is
given by
@t u D u div .urv/; (1.45)
@t v D v ˛v C uI (1.46)
1.2 Chemotaxis 9
here ˛ 0 is the so-called damping constant, discussed later on in Section 4.10 be-
low, where ˛ > 0 is of biological relevance, [Hor03, p. 113], [Hor04, (1), (2), p. 53].
This coincides essentially with the so-called minimal model according to [HiP09,
(M1), p. 187]. Here u D u.x; t/ denotes the cell (or organisms) density on a given
domain Rn , n 2 N, and v D v.x; t/ describes the concentration of the chemi-
cal signal. Furthermore, u, v indicate diffusion: microscopic irregular individual
movements of particles, for example cells, bacteria, chemicals, animals and so on,
result in some macroscopic or gross motion. These coupled so-called parabolic-
parabolic systems are usually considered in (smooth bounded) domains subject to
boundary and initial conditions
@u @v
.x; t/ D .x; t/ D 0; x 2 @; t > 0; (1.47)
@ @
and
u.x; 0/ D u0 .x/; v.x; 0/ D v0 .x/; x 2 : (1.48)
Here is the outer normal to @ and (1.47) are null Neumann data. Further ex-
planations about this standard model and typical problems related to Keller–Segel
systems may be found in [JaL92, GaZ98], and more recently [BBTW15]. As far as
the biological background is concerned one may also consult [BGM08]. The sur-
vey [HiP09] discusses 10 models, with minimal models as a starting point, all of
parabolic-parabolic type as in (1.45), (1.46). Equations with v constant in time, that
is @t v D 0, are mentioned only by passing in [HiP09, p. 211], but some references are
given. However, this case has been considered in detail in [Hor03, Hor04], resulting
in the so-called parabolic-elliptic systems
Problem 1.10. These notes deal exclusively with PDE models for chemotaxis and
hydrodynamics in Rn . But the above remarks suggest to ask of whether there is a
counterpart for bounded smooth domains in Rn . This applies, in particular, to
Keller–Segel equations as discussed above, but also to chemotaxis Navier–Stokes
equations as considered in Chapter 7. For this purpose one may examine our main
tools and ask whether there are suitable counterparts for smooth bounded domains
in Rn instead of Rn . In Section 3.1 we recall specific properties of the spaces
Asp;q .Rn / which we use in a decisive way throughout the text. They have immediate
counterparts for the spaces Asp;q ./, defined by restriction of Asp;q .Rn / to . But the
situation is less favourable for some other assertions playing a crucial role. Above all
we rely on the Gauss–Weierstrass semi-group Wt w according to (1.25), (1.26) and, in
particular, on the mapping properties in Proposition 1.7 (especially part (i)). There is
no counterpart (as far as we know) based on an -adapted Gauss–Weierstrass semi-
groups generated by the Laplacian, subject to null Neumann boundary conditions.
But it is a challenge to develop a corresponding theory, both for the underlying func-
tion spaces and, even more, for related PDE models. The crucial test is an -version
of Proposition 1.7(i) (maybe restricted to some spaces Asp;q ./ as far as the smooth-
ness s is concerned). If this is possible (as we hope) it would be a major progress.
The situation is much better if one asks for PDE models for chemotaxis (maybe not
so much for hydrodynamics) on the n-torus Tn D Œ0; 1 n (opposite points are iden-
tified in the usual way) instead of Rn , at least as far as some basic ingredients are
concerned. Corresponding periodic spaces Asp;q .Tn / and their properties have been
considered in [T08, Section 1.3]. In particular they can be identified (isomorphic
maps) with periodic subspaces of suitable weighted spaces Asp;q .Rn ;
/, where the
1.2 Chemotaxis 11
First we ask which spaces Asp;q .Rn /, n 2 N, should be called critical in the context
of Keller–Segel systems. We begin with the simplest case. This is (1.49) and ˛ D 0
in (1.50), which means
X
n
@t u D u @j u @j v C u2 ; (2.1)
j D1
v D u: (2.2)
and
X
n
@t u D u @j u @j v C u2 ; x 2 Rn ; t > 0: (2.5)
j D1
X
n
@t u u C
@j u @j v .u /2 D 0; x 2 Rn , 0 < t < T ,
j D1
(2.6)
v D u ;
x 2 R , 0 < t < T;
n
(2.7)
u .x; 0/ D 2 u0 .1 x/; x 2 Rn . (2.8)
Then
is a solution of
X
n
@t u u C @j u @j v u2 D 0; x 2 Rn , 0 < t < 2 T ; (2.11)
j D1
Proposition 1.5 based on [T15, Section 1.3, Theorem 3.24, pp. 5/6, 79/80]. Then one
can ask whether u ; v according to (2.11)–(2.13) is again a solution of (2.1), (2.2)
with the same initial data u0 in Rn .0; 2T /. For this purpose one has first to solve
(2.6)–(2.8) under the above assumptions, that is
n
2sC p u0 jAsp;q .Rn / D 2 u0 .1 / jAsp;q .Rn /
(2.16)
D u .; 0/ jAsp;q .Rn / ı:
In other words, if
u0 jAs .Rn / ı 2Cs pn ; > 0; (2.17)
p;q
Rn .0; T /, T > 0. If one assumes in addition uniqueness, then one obtains global
solutions in Rn .0; 1/. In the case of Navier–Stokes equations spaces Asp;q .Rn /
and Asp;q .Rn / with s D 1C pn are called critical. Then one has the same situation as
discussed above for the Keller–Segel equations. We return to this point in Section 6.2
below. The distinguished critical space Ln .Rn /, 2 n 2 N, for Navier–Stokes
equations is now replaced by the distinguished critical space Ln=2 .Rn /, 2 n 2 N
for Keller–Segel systems. The spaces
n
Asp;q .Rn /; Asp;q .Rn /; 0 < p; q 1; s> 2 (2.19)
p
are called supercritical (for Keller–Segel equations). If one assumes that one has for
any initial data u0 according to (2.14) with ı > 0 and s > pn 2 a solution of (2.1),
(2.2) in Rn .0; T /, u.x; 0/ D u0 .x/, then it follows from (2.17) upon letting ! 1
that one has for arbitrarily large u0 2 Asp;q .Rn / a solution in Rn .0; 2 T /, which
means in shrinking time-intervals. The same discussion applied to the subcritical (for
Keller–Segel equations) spaces Asp;q .Rn /, s < 2C pn , suggests that the system (2.1),
(2.2) has global solutions in Rn .0; 1/ for arbitrarily large u0 2 Asp;q .Rn /. This is
rather unlikely (as in the related counterpart for Navier–Stokes equations, discussed
in [T15, Section 1.1] and repeated in Remark 6.3 below). These notes deal with
diverse equations of Keller–Segel type in some supercritical inhomogeneous spaces
Asp;q .Rn /. Homogeneity does not play any role. In particular, the system (1.45),
(1.46), and also (1.49), (1.50) with ˛ > 0 are not homogeneous. This applies also to
the more complicated models discussed in [HiP09]. Instead of homogeneity we use
multiplication properties of inhomogeneous spaces.
We inserted Proposition 2.1 mainly to justify in Remark 2.2 which spaces for
Keller–Segel systems should be called critical or supercritical. But it is reasonable
(also from the point of view of applications) to complement Proposition 2.1 by a
corresponding assertion for the parabolic-parabolic system (1.45), (1.46) with ˛ D 0.
We formulate a related assertion.
Then
is a solution of
X
n
@t u u C @j u @j v C u v D 0; x 2 Rn , 0 < t < 2 T ;
j D1
(2.26)
2
@t v v D u ; x 2R ,0<t <
n
T;
(2.27)
u .x; 0/ D u0 .x/; x 2 Rn ; (2.28)
v .x; 0/ D v0 .x/; x 2 Rn : (2.29)
n
sC p v0 jAsp;q .Rn / D v0 .1 / jAsp;q .Rn / D v .; 0/ jAsp;q .Rn / ı
(2.30)
and
v0 jAs .Rn / ı s pn ; > 0: (2.31)
p;q
Remark 2.6. Homogeneity suggests to call the spaces (2.18) critical for Keller–Segel
systems. But there are also good reasons to modify (2.18) and to call spaces
n
s n s
Ap;q .R /; Ap;q .R /; n
0 < p; q 1; s D 1C 1 ; 2 n 2 N;
p C
(2.32)
critical (for the Keller–Segel equations). We discuss this point in Remark 3.5. We
refer the reader also to the Figure PP, PE, ˛ > 0, p. 22, the Theorems 4.3 and 4.13,
and related assertions in the subsequent sections.
2 Critical and supercritical spaces 17
Remark 2.7. The above scaling heuristics for the classical homogeneous Keller–
Segel systems and their counterparts for Navier–Stokes equations as recalled in Sec-
tion 6.2 below is a guide indicating which (critical and supercritical) spaces are natu-
rally adapted to the related problems. It does not provide rigorous barriers for other
spaces. In addition, most of the Keller–Segel modifications are non–homogeneous
in the above sense. Furthermore, we rely almost exclusively on the inhomogeneous
spaces Asp;q .Rn /. One has to deal with these equations case by case. But our ar-
guments will always be based on supercritical spaces originating from the classical
homogeneous Keller–Segel and Navier–Stokes equations.
Chapter 3
Mapping properties of Keller–Segel
nonlinearities
3.1 Preliminaries
We dealt in [T13, T14] with Navier–Stokes equations based on multiplication prop-
erties of some inhomogeneous function spaces applied to respective nonlinearities.
As far as these nonlinearities are concerned one can reduce these problems to (scalar)
nonlinear heat equations
X
n
@t u u @j .u2 / D 0; x 2 Rn , 0 < t < T ; (3.1)
j D1
In the case of global inhomogeneous spaces Asp;q .Rn / we assumed that the related
solution spaces are multiplication algebras, that is
kf1 f2 jAsp;q .Rn /k c kf1 jAsp;q .Rn /k kf2 jAsp;q .Rn /k (3.3)
for all f1 2 Asp;q .Rn /, f2 2 Asp;q .Rn / and some c > 0, abbreviated as
(p < 1 for F -spaces). Details, including some limiting cases and references, in
particular to [SiT95], may be found in [T13, Theorem 1.16, p. 12]. As for the initial
data u0 one has to assume that
n
u0 2 Ap;q .Rn /; 1 p; q 1; > 1: (3.6)
p
This is the supercritical case for the nonlinear heat equations (3.1), (3.2) and also for
Navier–Stokes equations. One can replace the request (3.4) for the solution spaces by
some more sophisticated multiplication properties [Baa15].
Basically we wish to apply the scheme as developed in [T13, T14] in connec-
tion with Navier–Stokes equations to Keller–Segel systems. This requires that one
deals first with mapping properties of the related nonlinearities which are now more
20 3 Mapping properties of Keller–Segel nonlinearities
complicated even for the so-called minimal models (1.45), (1.46) and (1.49), (1.50)
and even more for the other models discussed in [HiP09]. The natural counterpart of
(3.4), (3.5) for solution spaces and (3.6) for initial data will now be some spaces
n
Asp;q .Rn /; 0 < p; q 1; s> 1 (3.7)
p
and
n
u0 2 Ap;q .Rn /; 1 p; q 1; > 2: (3.8)
p
In other words, we deal again with supercritical spaces now for Keller–Segel equa-
tions as discussed in Chapter 2. A crucial role as a substitute of multiplication alge-
bras according to (3.4), (3.5) for solution spaces will play the following multiplication
properties.
(i) Let
1 1 s
2 < r < 1; s > 0; D C ; 0 < q 1: (3.9)
p r n
Then
Asp;q .Rn / Asp;q .Rn / ,! Aspr ;q .Rn /; (3.10)
with
1 2 s 1 1
D C D C (3.11)
pr r n p r
and, in addition, 0 < q r in the case of B-spaces.
(ii) Let
1 1 s
1 < r < 1; s > 0; D C ; 1 q r: (3.12)
p r n
Then
s
Bp;q .Rn / B sn ;1 .Rn / ,! Bp;q
s
.Rn /: (3.13)
s
(iii) Let
1 p < 1; 0 < s < n=p; 0<q1 (3.14)
and
0 < w 1; % > max .s; n=w/ ; 0 < ı 1: (3.15)
%
Then Bw;ı .Rn / is a pointwise multiplier space for Bp;q
s
.Rn /, that is
%
s
Bp;q .Rn / Bw;ı .Rn / ,! Bp;q
s
.Rn /: (3.16)
The assertions (i) and (ii) are special cases of [ET96, Theorems 2.4.3, 2.4.4,
pp. 52/53, 55]. There one finds also explanations and references, in particular to
[SiT95]. Part (iii) follows essentially from (3.13) interpolated with the pointwise
multiplier spaces C % .Rn / for Bp;q
s
.Rn /. This will be justified below in Remark 3.2.
3.2 The inhomogeneous parabolic-elliptic model 21
and
P u D div .urv/
_ X
n _
jj2 j
D u b
u Ci @j u b
u (3.18)
˛ C jj2 ˛ C jj2
j D1
D P1 u C P2 u;
where P u, P1 u, P2 u must be understood as the definitions of the respective terms.
.p < 1 for F -spaces/ as indicated in Figure PE, ˛ > 0, p. 22. Let " > 0. Then
kP u jAs1"
p;q .Rn /k c" ku jAsp;q .Rn /k2 (3.20)
1
Proof. Step 1. First we assume that p
;s is in the strip
n n
0 < p < 1 and max 1; 1 < s < : (3.21)
p p
Then 0 < 1
p
ns D 1
r
< n1 . Let, in addition, q r. Then by (3.9)–(3.11) one obtains
1 1 1
kP1 u jBps r ;q .Rn /k c ku jBp;q
s
.Rn /k2 ; D C ; (3.22)
pr p r
_
jj2
where we used in addition that u 7! ˛Cjj2
b
u s
is an isomorphic map of Bp;q .Rn /
onto itself. Recall
n n n
Bps r ;q .Rn / ,! Bp;q
.Rn /; Ds >s1 : (3.23)
p pr p
s
n1
n1
1
2
1 2
n n
1 1
p
1
n
1 1
p
3
1 2n
1
2
PE, ˛ D 0
PE, ˛ > 0 and PP
Step 2. Let still p; s be as in (3.21) and " > 0. Then (3.20) follows from (3.28) and
P u jAs12".Rn / c P u jBp;
s1"
.R n
/
p;q e
q
2 (3.29)
n 00 n 2
c 0 u jBp;
s"
e q
.R / c u jAs
p;q .R / ;
0 ;q 0 .R / Bp;q .R / ,! Bp 0 ;q 0 .R /
Bp1s n sC1 n 1s n
(3.34)
for p; s in (3.30) and some q. This can be extended to (3.20) at the expense of " > 0,
covering also the case s D 1, excluded so far.
24 3 Mapping properties of Keller–Segel nonlinearities
Remark 3.2. We justify (3.16) under the assumptions (3.14), (3.15). It follows from
%
[T92, Corollary, p. 205] that B1;q .Rn / is a pointwise multiplier space for Bp;q
s
.Rn /,
s
Bp;q .Rn / B1;q
%
.Rn / ,! Bp;q
s
.Rn /; % > s; 0 < q 1: (3.37)
Then one obtains (3.16) from (3.13), some well-known embeddings and the real in-
terpolation
%
B1;q .Rn /; B %n ;q .Rn / D Bq;q
%
.Rn /; (3.38)
s ;q
1 s s 1
0< D < < 1; (3.39)
q n n p
By (3.39) one has 1 < q < 1 and 1 < ns < 1. Then (3.40) is covered by [T78,
Theorems 1.18.1, 1.18.2, pp. 120–124]. Instead of real interpolation one can rely
on complex interpolation, as will be done later on in (3.83), (3.88) with the same
references as there.
Remark 3.3. We add a comment about our method. Later on we convert (1.49),
(1.50) with ˛ > 0, complemented by initial data according to (4.9)–(4.11), into a
fixed point problem for (4.16), (4.17). Using (4.132) we estimate for this purpose
Z t
Wt P u.; / d .x/
0
Z tZ jxyj2
1 e 4.t /
D div .urv/.y; / dyd (3.41)
.4/n=2 0 Rn .t /n=2
Z tZ jzj2
1 e 4.t /
D div .urv/.x z; / dz d
.4/n=2 0 Rn .t /n=2
in Asp;q .Rn / with 1 p; q 1 (p < 1 for F -spaces) and s > pn 1 . Based
C
on
n
t d=2 Wt w jAsCd
p;q .R / c w jAsp;q .Rn / ; 1 p; q 1; s 2 R; d > 0;
(3.42)
(p < 1 for F -spaces), 0 < t 1, Proposition 1.7 with a reference to [T14, Theorem
3.2 The inhomogeneous parabolic-elliptic model 25
4.1, p. 114], [T13, Theorem 5.30, p. 187] and Proposition 3.1, one has
Z t
n
Wt P u.; / d jAp;q .R /
s
0
Z t
1
c div .urv/.; / jAs1".Rn / d (3.43)
1 " p;q
0 .t / 2 C 2
Z t
1
c" u.; / jAs .Rn /2 d:
1 " p;q
0 .t / 2 C 2
We did not use the specific nature of P u in (3.18) and estimated P1 u and P2 u sepa-
rately by qualitative mapping properties. This gives the possibility to extend Propo-
sition 3.1 to more general nonlinearities, as will be done below in Corollary 3.4 and
applied later on to more general PDE models for chemotaxis. But if one sticks at the
specific nature of P u as the divergence of u rv, one can modify the above estimates
as follows. Let
jxj2 j 1 x
w .x/ D xj e
j
and wt .x/ D w j
p ; (3.44)
.4 t/n=2 2 t
j D 1; : : : ; n and t > 0. Integration by parts of (3.41) (which can be justified for all
cases of interest) gives
Z t
Wt P u.; / d .x/
0
n Z
X t (3.45)
1 j
D wt .x y/ u.y; / @j v.y; / dy d
j D1 0 .t / 1=2
and
Z t
W P u.; / d jA s
.R n
/
t p;q
0
X n Z t (3.46)
1
c u.; / @j v.; / jAs .Rn / d;
p;q
j D1 0
.t / 1=2
This is the counterpart of (3.43). The remaining spaces Asp;q .Rn / with 1 p; q 1
(p < 1 for F -spaces), s > pn 1 , can be incorporated as in Proposition 3.1 at
C
the expense of " > 0. But it is not so clear whether this "-modification is of any use,
or whether applications must be restricted to spaces Asp;q .Rn / with (3.47) (in contrast
to Proposition 3.1).
Arguments of the above type (to shift the divergence from the nonlinearity to the
heat kernels) are in common use in the literature dealing with PDE models in physics
and biology having a related structure. We stick here at Proposition 3.1 and formulate
the above-indicated generalization replacing P u in (3.18) by
X
n
P u D u L0 u C @j u Lj u D P1 u C P2 u; (3.48)
j D1
where
Proof. This coincides with Proposition 3.1, where P in (3.18) is a special case of P
in (3.48)–(3.50). An examination of the proof shows that one needs only the mapping
properties (3.49), (3.50) for the related factors in (3.18).
Remark 3.5. For the typical nonlinearity of Navier–Stokes equations and nonlinear
heat equations according to (3.1) one has
X
n
2
@j u jAp;q .R / c u jAsp;q .Rn / ;
2 s1 n
(3.53)
j D1
3.3 The homogeneous parabolic-elliptic model 27
under the assumption that Asp;q .Rn / is a multiplication algebra. This applies in partic-
ular to the spaces in (3.5). For the corresponding initial data u0 in Ap;q .Rn / (now as-
sumed to be Banach spaces) one has (3.6) covering all related supercritical spaces (for
Navier–Stokes equations). Nonlinearities for Keller–Segel systems are more compli-
cated, where Proposition 3.1 may be considered as the simplest case, extended in
Corollary 3.4. But otherwise one can take the situation for nonlinear heat equations
and Navier–Stokes equations as a guide. Then Proposition 3.1 suggests to comple-
ment the parabolic-elliptic system (1.49), (1.50) with ˛ > 0 by
n
u.; 0/ D u0 ./ 2 Ap;q .R /;
n
1 p; q 1; > 1 1 (3.54)
p C
P u D div .urv/
X n _
j
D u C i
2
@j u b
u (3.55)
jj2
j D1
D P1 u C P2 u:
The estimates for P1 u in the proofs of Proposition 3.1 and Corollary 3.4 apply also
to P1 u D u2 , again under the assumption that
n
0 < p; q 1; s > max 0; 1 ; (3.56)
p
28 3 Mapping properties of Keller–Segel nonlinearities
(p < 1 for the F -spaces). But the term P2 u is now more complicated. Its second
factor can be decomposed as
j
P2 u D K1 Rj u; j D 1; : : : ; n; (3.57)
where
j b _
Rj f D f ; j D 1; : : : ; n; (3.58)
jj
are the usual Riesz transforms and K1 is a special case of the Riesz potentials
_ Z
f .y/
K f .x/ D jj f b .x/ D c dy; (3.59)
Rn jx yjn
0 <
< n. A short proof of (3.59) including a calculation of c may be found in
[LiL97, 5.9, pp. 122/123]. It is well known that Rj maps Lp .Rn /, 1 < p < 1, into
itself. This has been extended in [T13, Theorem 1.25, pp. 17/18] to Asp;q .Rn /,
0 <
< n; 1<p< ; D : (3.61)
w p n
Then
K W Lp .Rn / ,! Lw .Rn / (3.62)
is the well-known Hardy–Littlewood–Sobolev inequality. A short proof and (histori-
cal) references may be found in [T78, Theorem 3, pp. 140/141]. Then one obtains by
the same arguments as in [T13, pp. 17/18]
n 1 1
as indicated in Figure PE, ˛ D 0, p. 22. Let P u be as in (3.55). Let " > 0. Then
P u jAs1".Rn / c" u jAs .Rn /2 (3.66)
p;q p;q
Proof. Step 1. As said above, the estimate for P1 u D u2 is covered by the proof of
Proposition 3.1 with p; q; s as in (3.56). Otherwise we modify the proof of Proposi-
tion 3.1 and assume first that
n n
1 < p < n; max 1; 1 < s < ; (3.67)
p p
which is a subset of (3.65). Let u 2 Bp;q s
.Rn /. We ask for a counterpart of (3.25)
now based on (3.57), (3.60), (3.63) with
D 1, s 1 < pn 1 D wn , rewritten as
n
w < s1 and s wn D s pn C 1 > 0. Then one has
_
j n
b
u 2 B s
w;q .R n
/ ,! B w n s1
w;1 .R / ,! B s1
n
n
;1 .R /: (3.68)
jj2
Recall (3.26). Now one can argue as at the end of Step 1 of the proof of Proposi-
tion 3.1. Then one has for p; s as in (3.67) and some q 1,
P u jB s1 .Rn / c u jB s .Rn /2 : (3.69)
p;q p;q
This can be extended in the same way as in Step 2 of the proof of Proposition 3.1 to
all spaces Asp;q .Rn / with p; s as in (3.67) and 0 < q 1 at the expense of " > 0
resulting in (3.66). The case 1 < p < n and s D n=p (then s > 1) can again be
incorporated at the expense of " > 0. If
n n
1 < p < n and < s < C 1; (3.70)
p p
then we can apply (3.14)–(3.16) with s 1 in place of s and s in place of %. In
s
particular Bw;q .Rn / is a pointwise multiplier space for Bp;q
s1
.Rn /, that is
fg jB s1 .Rn / c f jB s1 .Rn / g jB s .Rn / (3.71)
p;q p;q w;q
The rest is now the same as in the proof of Proposition 3.1, incorporating the remain-
ing cases at the expense of an " > 0.
Remark 3.7. If ˛ > 0, then one has (3.25) for all 0 < p 1, and there are
no restrictions for p in Proposition 3.1. The proof of its counterpart (3.68) in case
of ˛ D 0 is based on (3.57), (3.60), and (3.62) with
D 1, which requires the
assumption 1 < p < n in Proposition 3.6. Whereas p 1 is rather natural in
our later considerations of parabolic-elliptic systems (1.49), (1.50) with ˛ 0, one
may ask what happens if p n in Proposition 3.6. But at least in the context of
inhomogeneous spaces the restriction p < n in Proposition 3.6 seems to be natural.
This comes from the observation that K according to (3.59) with 0 <
< n is not
well defined in Lp .Rn / if p > n=
. Let jyj1 D 0 if jyj 1 and jyj1 D jyj if
jyj > 1. Then jyj1 2 Lp .Rn / if n=
< p < 1, but K j j1 .x/ D 1 for any
x 2 Rn .
where
L0 W Asp;q .Rn / ,! Asp;q .Rn /; (3.75)
Lj W Asp;q .Rn / ,! Asw;q .Rn /; (3.76)
j D 1; : : : ; n, are linear bounded operators.
Proof. This coincides with Proposition 3.6 where P in (3.55) is a special case of P
in (3.74)–(3.76). An examination of the proof shows that one needs only the mapping
properties (3.75), (3.76) with w1 D p1 n1 in the related factors in (3.55).
Remark 3.9. Next we ask whether the restriction s > 1=2 in Proposition 3.6 and
Corollary 3.8 can be removed. We have no final answer. But with respect to the later
applications one can transfer this question to the alternative approach in Remark 3.3
shifting the divergence of P u in (3.55) to the heat kernels in the same way as in
(3.45)–(3.47). By (3.57)–(3.63) with
D 1, one may ask of whether for 0 < q 1,
n 1 1 1
Asw;q .Rn /; 1 < p < n; s> 1; D ; (3.79)
p w p n
is a pointwise multiplier space for Asp;q .Rn /, that is
Asp;q .Rn / Asw;q .Rn / ,! Asp;q .Rn /: (3.80)
By (3.79), one has at least Asw;q .Rn / ,! L1 .Rn /. In general, (3.80) looks some-
what doubtful, especially if s < n=p. But there are some affirmative answers which
might be of selfcontained interest. According to [T83, Remark 1, p. 143], one has
s
Bp;q .Rn / B1;q
s
.Rn / ,! Bp;q
s
.Rn /; s > 0; 1 p 1; 0 < q 1:
(3.81)
We wish to interpolate this assertion with
n
s
Bp;1 .Rn / B sn ;1 .Rn / ,! Bp;1
s
.Rn /; 1 p < 1; 0<s< ; (3.82)
s p
which is covered by (3.12), (3.13). By (3.79) one has w1 < ns . Let ns D 1
w
. Then
one obtains by complex interpolation
h i
s
B1;1 .Rn /; B sn ;1 .Rn / D Bw;1
s
.Rn /; (3.83)
s
covered by [KMM07, Theorems 5.2, 9.1, pp. 137, 157] and the references therein.
But then it follows from (3.81), (3.82) that
n n 1 1 1
s
Bw;1 .Rn /; 1 < p < n; 1<s < ; D ; (3.84)
p p w p n
s
is a pointwise multiplier space for Bp;1 .Rn /,
s
Bp;1 .Rn / Bw;1
s
.Rn / ,! Bp;1
s
.Rn /: (3.85)
This ensures the counterpart of (3.47), that is
Z t Z t
1
W P u.; / d jB s
.R n
/ c u.; / jB s .Rn /2 d;
t p;1 p;1
0 .t /
1=2
0
(3.86)
with P u as in (3.55) and p; s as in (3.84). In particular, one does not need the re-
striction s > 1=2 in (3.65) (caused by the duality argument in Step 2 of the proof of
32 3 Mapping properties of Keller–Segel nonlinearities
Proposition 3.6) any longer. This will be sufficient for our later applications. But the
assertion itself can be extended to
n
s
Bp;q .Rn /; 1 < p < n; s > ; 1 q < 1; (3.87)
p
n=p
and also to Bp;1 .Rn /, 1 < p < n, being multiplication algebras. The needed coun-
terpart of (3.83), s
In the case of parabolic-elliptic models the estimates in the Propositions 3.1, 3.6 and
Remark 3.9 are sufficient for our later applications. The corresponding assertions for
parabolic-parabolic models are more specific. To provide a better understanding, we
begin with two preparations.
Let Wt w, t > 0, be the Gauss–Weierstrass semi-group in Rn as described in
(1.25), (1.26) with a reference to [T13, Section 5.1.1, p. 159] or [T14, Section 4.1,
p. 113]. In particular,
b
Wt w./ D et jj w
2
b./; 2 Rn ; t > 0: (3.94)
solves (3.92) with vanishing initial data v.x; 0/ D 0. This can be rewritten on the
Fourier side as Z t
2
v.; t/ D e˛t
b e˛ e.t /jj bu.; / d; (3.96)
0
which can be justified by direct calculations:
Z t
˛t 2
@tb
v .; t/ D ˛bv .; t/ C b
u.; t/ C e e˛ .jj2 / e.t /jj bu.; / d
0 (3.97)
D ˛b
v .; t/ C b c t/:
u.; t/ C v.;
with
This suggests to deal with the nonlinearity f in (3.99) in suitably adapted spaces of
the above type. We return to the notation used in the preceding Sections 3.2 and 3.3.
Then one has for the nonlinearity in (3.91) and (3.99)
X
n
P u D div .urv/ D u v C @j u @j v D P1 u C P2 u; (3.102)
j D1
.p < 1 for F -spaces/, Figure PP, p. 22. Let " > 0. Then
P u.; t/ jAs12".Rn /
p;q
a a (3.104)
c" t " 2 u.; t/ jAsp;q .Rn / sup 2 u.; / jAsp;q .Rn /
0< <t
for some c" > 0, all 0 < t 1, and all u.; t/ 2 Asp;q .Rn /.
Proof. Step 1. One has by (3.95) and [T14, Theorem 4.1, p. 114] (based on [T13,
Theorem 5.12, p. 171]) that
v jAs2" .Rn / c v jAsC22" .Rn /
p;q p;q
Z t
c0 Wt u.; / jAsC22".Rn / d
p;q
0
Z t
c 00 .t /1C" u.; / jAsp;q .Rn / d
0
Z
a t
00
c sup 2 u.; / jAp;q .R /s n a
.t /1C" 2 d
0< <t 0
c 000 t " a
2 sup
a
2 u.; / jAs .Rn / :
p;q
0< <t
(3.105)
Let, in addition,
n n
1 p < 1 and max 1; 1 < s < : (3.106)
p p
Then one has, by the same arguments as in the Steps 1 and 2 in the proof of Proposi-
tion 3.1, that
P1 u.; t/ jAs12".Rn /
p;q
a a (3.107)
c" t " 2 u.; t/ jAsp;q .Rn / sup 2 u.; / jAsp;q .Rn / :
0< <t
3.5 The parabolic-parabolic model, II 35
Now one can argue as in (3.26), (3.27) (based on (3.13)) and the "-version as indicated
above. Then one obtains
P2 u.; t/ jAs12".Rn /
p;q
a a (3.109)
c" t " 2 u.; t/ jAsp;q .Rn / sup 2 u.; / jAsp;q .Rn / :
0< <t
Then (3.104) with p; s as in (3.106) follows from (3.102), (3.107) and (3.109).
Step 2. The extension of (3.104) with (3.106) to (3.104) with (3.103) can now be
done in the same way as in the Steps 3 and 4 of the proof of Proposition 3.1.
Remark 3.13. In Remark 3.3 we described an alternative way to prove desired in-
equalities of type (3.47) with P u as in (3.18). There is a counterpart with P u as in
(3.102) and Proposition 3.11. But again this approach does not cover new spaces and
will not be undertaken here. There is also a desirable counterpart of Corollary 3.4.
We shift a corresponding formulation to the next section where we generalize the
above considerations.
˛ 0, u D u.x; t/, v D v.x; t/, .x; t/ 2 Rn .0; 1/, with the initial data at t D 0,
u.x; 0/ D u0 .x/; v.x; 0/ D v0 .x/; x 2 Rn : (3.112)
We follow the discussion in Section 3.4 appropriately modified as far as the resulting
nonlinearities are concerned having in mind later applications to (3.110)–(3.112).
Instead of (3.95) one has now the Duhamel formula
Z t
˛t
v.x; t/ D e e Wt u.; / d .x/ C e˛t Wt v0 .x/
˛
(3.113)
0
with the same justification as there. The nonlinearity P u in (3.102) is now given by
X
n
P u D div .urv/ D u v C @j u @j v D P1 u C P2 u; (3.114)
j D1
.p < 1 for F -spaces/, Figure PP, p. 22. Let 0 < " < a=2 and v0 2 AsC2a
p;q .Rn /.
Then
P u.; t/ jAs12".Rn / c" t " a2 u.; t/ jAs .Rn /
p;q p;q
a (3.116)
n
v0 jAp;q .R / C sup 2 u.; / jAp;q .R /
sC2a s n
0< <t
for some c" > 0, all 0 < t 1 and all u.; t/ 2 Asp;q .Rn /.
Proof. We follow the proof of Proposition 3.11 where we have to incorporate the
second term on the right-hand side of (3.113) originating from v0 . Then (3.105) must
be modified by
v jAs2" .Rn /
p;q
a
c t " 2 sup 2 u.; / jAsp;q .Rn / C c Wt v0 jAsC22" .Rn /
a
p;q (3.117)
0< <t
a a
c t " 2 sup 2 u.; / jAsp;q .Rn / C c t " 2 v0 jAsC2a .Rn / :
a
p;q
0< <t
We used again [T14, Theorem 4.1, p. 114] (where we need now a > 0 in contrast to
(3.103)). Let p; s be restricted by (3.106). Then the counterpart of (3.107) is given
by
P1 u.; t/ jAs12".Rn / c" t " a2 u.; t/ jAs .Rn /
p;q p;q
a (3.118)
sup 2 u.; / jAsp;q .Rn / C v0 jAsC2a
p;q .R n
/ :
0< <t
3.5 The parabolic-parabolic model, II 37
By (3.114), one has (3.116). The extension of (3.116) with (3.106) to (3.116) with
(3.115) can now be done in the same way as in the Steps 3 and 4 of the proof of
Proposition 3.1.
Remark 3.15. In contrast to Proposition 3.11, we now need a > 0. But this does
not matter very much. Later on a is restricted by (3.101), which means in particular
0 < a < 1.
Remark 3.16. There is a striking difference between the pointwise multiplier asser-
tions in the Propositions 3.1 and 3.6 on the one hand, and in the Propositions 3.11 and
3.14 on the other hand. For u.; t/ at a given time t > 0 one needs both in (3.104) and
(3.116) a knowledge of the past history of the functions u.; /, 0 t. One may
call the Propositions 3.11 and 3.14 pointwise multiplier assertions with time-memory.
This may be considered as the mathematical counterpart of [Adl75, p. 344]: The fact
that bacteria can ‘remember’ that there is a different concentration [of the chemical]
now than before has led to the proposal that bacteria have a kind of ‘memory’.
Remark 3.17. As indicated in Remark 3.13, one can transfer the arguments from
Remark 3.3 to the above case. But there is no gain as far as the covered spaces
Asp;q .Rn / in Proposition 3.14 are concerned. However, it seems to be reasonable to
formulate the counterpart of Corollary 3.4.
where
L0 W Asp;q .Rn / ,! Asp;q .Rn /; (3.121)
Lj W Asp;q .Rn / ,! AsC1 n
p;q .R /; (3.122)
j D 1; : : : ; n are linear operators.
.p < 1 for F -spaces/, Figure PP, p. 22. Let 0 < " < a=2 and v0 2 AsC2a
p;q .Rn /.
38 3 Mapping properties of Keller–Segel nonlinearities
Then
P u.; t/ jAs12".Rn / c" u.; t/ jAs .Rn /2 C c" t " a2 u.; t/ jAs .Rn /
p;q p;q p;q
a
n
v0 jAp;q .R / C sup 2 u.; / jAp;q .R /
sC2a s n
0< <t
(3.124)
for some c" > 0, all 0 < t 1, and all u.; t/ 2 Asp;q .Rn /.
4.1 Preparations
We dealt in [T13, T14] with the nonlinear heat equations (3.1), (3.2) in Asp;q .Rn /
where 1 p; q 1 and, in particular, s > n=p, with initial data u0 as in (3.6). We
wish to apply this approach to the parabolic-parabolic equations (1.45), (1.46) and
the parabolic-elliptic equations (1.49), (1.50) in Rn complemented by suitable initial
data at t D 0. Basically we reduce questions of this type to fixed point problems for
Tu0 u.x; t/ in (3.98) in spaces
L1 .0; T /; a=2; Asp;q .Rn / S 0 .RnC1 /; a < 2; (4.1)
T > 0, normed by (3.100). Details and explanations may be found in [T14, (4.37),
(4.17)–(4.21), pp. 115–119]. We repeat a basic inequality for the solution W .x; t/ of
the Cauchy problem of the linear heat equation
0< t
40 4 Equations of Keller–Segel type
Here C .Œ0; T /; X.Rn// is the usual space of continuous functions on the interval
Œ0; T / D ft W 0 t < T g with values in the quasi-Banach space X.Rn /.
This is the understanding of the Theorems 4.3, 4.7, 4.11, 4.13 and Corollary 4.8
below, where we deal with mild and strong solutions for u in respective Keller–Segel
systems. This approach gives priority to u D u.x; t/ describing the cell density of
the considered amoebae under the influence of the concentration v.x; t/ of the related
chemical signals. But, of course, one may also ask what happens with v.x; t/ in time.
For this purpose one can try to switch back from the nonlinear integral equations
underlying the related fixed point problems to the original Keller–Segel equations in-
serting what one already knows about u.x; t/. This works very well in case of the
parabolic-parabolic equations, (1.45), (1.46), complemented by initial data, that is
(4.50)–(4.53). According to Corollary 4.14, the concentration v.x; t/ of the related
chemical signal is again a strong solution. This supports the model, but also the
above set-up. The situation is similar for the parabolic-elliptic system (1.49), (1.50)
or (4.9)–(4.11) with ˛ > 0. Then (4.10) is for (now) given u a harmless linear equa-
tion in S 0 .Rn /. This will be fixed in Corollary 4.5 below. The situation is different
if ˛ D 0 in (1.50) (recall that we include this case mainly for mathematical reasons;
it has no biological relevance, as indicated in Section 1.2). Then (1.49), (1.50) with
˛ D 0 or (4.30)–(4.32) does not fit in the scheme of inhomogeneous spaces Asp;q .Rn /.
We do not try to complement Theorem 4.7 by a related assertion for v. The situation
might be different in the context of homogeneous spaces underlying the above quoted
papers. We refer the reader in particular to [KoS10]. Quite recently hydrodynamics
4.2 The inhomogeneous parabolic-elliptic model 41
(in particular, Navier–Stokes equations) and chemotaxis came together. This goes
back to related mathematical models originating from respective biological and phys-
ical experiments as reported in [TCDWKG05]. One may consult [BBTW15, Sections
4.1, 4.2, pp. 1701–1712], the references given there, and [CaL16, Lan16, Win15]. We
return to this topic in Chapter 7 below.
˛ > 0, where u D u.x; t/, v D v.x; t/ and u0 D u0 .x/. As far as the nonlinearity
P u D div .urv/ is concerned we rely on Proposition 3.1. Otherwise we follow
[T14, Section 4.4], which in turn is based on [T13, Section 5.4] where we dealt with
the nonlinear heat equation (3.1), (3.2). Recall that L1 .0; T /; a=2; Asp;q .Rn / is
normed by (3.100), that is
u jL1 .0; T /; a=2; As .Rn / D sup t a=2 u.; t/ jAs .Rn / : (4.12)
p;q p;q
0<t <T
Furthermore, C Œ0; T /; Ap;q .Rn / is the corresponding space of functions continu-
ous up to t D 0 inclusively. Recall cC D max.0; c/ for c 2 R.
Theorem
4.3. Let 2 n 2 N. Let 1 p; q 1 .p < 1 for F -spaces/, s >
p 1
n
as in Figure PE, ˛ > 0, p. 22.
C
(i) Let
0<g1 and a D 1 ~g with 0 < ~ < 1: (4.13)
Let u0 2 As1Cg
p;q .Rn /. Then there is a number T , T > 0, such that (4.9)–(4.11) with
˛ > 0 has a unique mild solution
u 2 L1 .0; T /; a=2; Asp;q .Rn / : (4.14)
Proof. Step 1. We outline the proof of part (i) following closely the proof of [T13,
Theorem 5.24, pp. 183-186]. According to the Duhamel formula (4.2)–(4.4) and as
alreadyindicated in (3.98), (3.99),
we convert (4.9)–(4.11) into a fixed point problem
in L1 .0; T /; a=2; Asp;q .Rn / for
Z t
Tu0 u.x; t/ D Wt u0 .x/ Wt P u.; / d .x/; (4.16)
0
with
P u D div .urv/ (4.17)
as in (3.18). Let " > 0. We apply Proposition 4.1 with s 1 " in place of s,
d D 1 C " and g C " in place of g to
w D u0 2 As1Cg
p;q .Rn / and f D P u 2 L1 .0; T /; a; As1" p;q .Rn / ;
(4.18)
where we used Proposition 3.1. Then it follows from (4.7) and (3.20) that
a
t 2 Tu0 u.; t/ jAsp;q .Rn /
a 1g
c t 2 2 u0 jAs1Cg .Rn / C c t 2 2 2 sup a f jAs1" .Rn / :
1 " a
p;q p;q
0< <t
(4.19)
With
ˇ D 12 g.1 ~/ > 0 and
D 12 .~g "/ > 0 (4.20)
one has by (3.20) and 0 < t < T ,
a
t 2 Tu0 u.; t/ jAsp;q .Rn /
(4.21)
c T ˇ u0 jAs1Cg
p;q .R n
/ C c T
u jL1 .0; T /; a=2; As
p;q .R n 2
/ :
If T > 0 for given u0 is chosen sufficiently small, then Tu0 maps the unit ball UT
in L1 .0; T /; a=2; Asp;q .Rn / into itself. The above calculations show in detail how
to
Pnadapt the arguments in [T13, p. 184] if one replaces the quadratic nonlinearity
2
j D1 @j u in (3.1) for the nonlinear heat equation by the quadratic nonlinearity
P u according to (3.18) and Proposition 3.1. But this applies also to the subsequent
arguments in [T13, pp. 184-186]. In particular, Tu0 is a contraction in UT . This
ensures existence
the solution u of (4.9)–(4.11) first in UT , and
and uniqueness of
then in L1 .0; T /; a=2; Asp;q .Rn / , and also u 2 C 1 ..0; T / Rn /.
Step 2. We prove part (ii) following [T14, p. 121]. One has by (4.16) for the above
solution u,
Z t
u.x; t/ u0 .x/ D Wt u0 .x/ u0 .x/ Wt P u.; / d .x/: (4.22)
0
4.2 The inhomogeneous parabolic-elliptic model 43
Let w D 0 in (4.7) with s 1 " in place of s and g C " in place of d . Using (4.15)
and (3.20) one obtains
Z t
n
Wt P u.; / d ./ jAp;q .R /
s1Cg
0
c t ~g 2 2 sup a f ./ jAs1" .Rn /
g "
(4.23)
p;q
0< <t
2
c t ı u jL1 .0; T /; a=2; Asp;q .Rn / ;
where one may choose " > 0 small such that
1 "
ıDg ~ > 0: (4.24)
2 2
By (4.14) (already known) and (4.23), the second term in (4.22) tends to zero if t # 0.
If u0 2 S.Rn / then it follows from [T14, pp. 121/122] that also the first term in (4.22)
tends to zero in As1Cg
p;q .Rn / if t # 0. The rest is a matter of completion using that
s1Cg
S.R / is dense in Ap;q .Rn / with p < 1, q < 1.
n
Remark 4.4. Let max.p; q/ 1 with p < 1 for F -spaces. Then part (ii) can
ı
be extended to Asp;q .Rn /, which is the completion of S.Rn / in Asp;q .Rn /. This is
covered by the above arguments. It applies in particular to initial data
ı
u0 2 C .Rn / with D s 1 C g; s > 0; 0 < g 1; (4.25)
where C .R / D
n
B1;1 .Rn / are the Hölder–Zygmund spaces.
Recall that the mild solution u originates from a fixed point of (4.16) with (4.17),
(3.18). This eliminates v. But one can equivalently return to (4.9)–(4.11), ˛ > 0,
with
1 _
v.x; t/ D .˛ C jj2 /1 u.; t/./ .x/; x 2 Rn ; 0 < t < T; (4.26)
Proof. The assertion (4.28) follows from (4.14) and the lift (4.26). Similarly one
obtains that under the indicated restrictions for the parameters from Theorem 4.3(ii) v
is a strong solution and
v.; t/ v0 ./ jAsC1Cg .Rn / u.; t/ u0 ./ jAs1Cg .Rn / ! 0 (4.29)
p;q p;q
if t # 0.
Remark 4.6. We described in Remark 3.3 an alternative way of how to cope with the
nonlinearity in (4.16), (4.17) using the specific nature of P u. This does not improve
Theorem 4.3, but simplifies the arguments. However, one has to pay a price. This
modification does not work for the more general nonlinearity in (3.48)–(3.50) and
Corollary 3.4. The proof of the above theorem shows that it is sufficient to rely on
Corollary 3.4. In other words, both Theorem 4.3 and Corollary 4.5 remain valid if
one replaces div .urv/ D P u in (4.9), (4.17) by P u according to (3.48)–(3.50).
Proof. As said above, the proof of the above theorem is the same as the proof of
Theorem 4.3 based on Proposition 3.6 instead of Proposition 3.1.
The alternative method for inhomogeneous parabolic-elliptic models as described
in Remark 3.3 does not improve Theorem 4.3. The situation is somewhat different
for the above homogeneous parabolic-elliptic model, where we dealt in Remark 3.9
with spaces not yet covered by (4.33). We formulate the resulting assertion.
Corollary 4.8. Let 2 n 2 N. Then Theorem 4.7 remains valid for all
n
1 < p < n; 1 q 1; and s > 1 (4.37)
p
as in Figure PE, ˛ D 0, p. 22 .q < 1 in (4.36)/.
Proof. This follows from the proof of Theorem 4.7 and the references given there
based now on Remark 3.9, in particular (3.86), instead of Proposition 3.6 and ele-
mentary embeddings at the expense of g > 0.
Remark 4.9. Compared with Theorem 4.7 we removed the restriction s > 1=2.
On the other hand, Theorem 4.7 has an immediate counterpart if one replaces the
nonlinearity P in (3.55) by (3.74)–(3.76) and Proposition 3.6 by Corollary 3.8. But
it is not clear whether Corollary 4.8 can also be generalized in this way.
Remark 4.10. As mentioned in Section 1.2, the case ˛ > 0 in (1.49), (1.50) is of
biological relevance. Nevertheless, the case ˛ D 0 attracted some attention and has
been treated in [Per07, Sections 5.2, 5.3] as a model case.
Otherwise we adapt the arguments in the proof of Theorem 4.3 to the above situation.
All symbols have the same meaning as there.
Theorem
4.11.
Let 2 n 2 N. Let 1 p; q 1 .p < 1 for F -spaces/,
s > p 1 as in Figure PP, p. 22.
n
C
(i) Let
0<g1 and a D 1 ~g with 0 < ~ < 1: (4.42)
Let u0 2 As1Cg
p;q .Rn /.
Then there is a number T , T > 0, such that (4.38)–(4.41)
with ˛ 0 has a unique mild solution
u 2 L1 .0; T /; a=2; Asp;q .Rn / : (4.43)
Furthermore, u 2 C 1 .Rn .0; T //.
(ii) If, in addition, p < 1, q < 1,
0 < g 1; and a D 1 ~g with 1=2 < ~ < 1; (4.44)
then the above solution is strong, i.e., u 2 C Œ0; T /; As1Cg
p;q .Rn / .
Proof. The above formulation coincides largely with Theorem 4.3. This applies also
to the proof. We indicate the related
modifications. Again we convert (4.38)–(4.41)
into a fixed point problem in L1 .0; T /; a=2; Asp;q .Rn / for the operator
Z t
Tu0 u.x; t/ D Wt u0 .x/ Wt P u.; / d .x/ (4.45)
0
with
f D P u D div .urv/; (4.46)
according to (3.102). Instead of (4.19) we have now, by (4.7) and (3.104),
a
t 2 Tu0 u.; t/ jAsp;q .Rn /
a 1g
c t 2 2 u0 jAs1Cg .Rn / C c t 2 " 2 sup a f jAs12" .Rn /
1 a
p;q p;q
0< <t
ct
a 1g
2 2 u0 jAs1Cg .Rn / C c t 12 a2 sup a u.; / jAs .Rn /2 :
p;q p;q
0< <t
(4.47)
With
ˇ D 12 g.1 ~/ and
D 12 ~g (4.48)
and 0 < t < T one has
a
t 2 Tu0 u.; t/ jAsp;q .Rn /
2
c T ˇ u0 jAs1Cg
p;q .Rn / C c T u jL1 .0; T /; a=2; Asp;q .Rn / :
(4.49)
This is the direct counterpart of (4.21). Afterwards one can argue as there. This
applies also to Step 2 of the proof of Theorem 4.3.
4.5 The parabolic-parabolic model, II 47
Remark 4.12. There is also a counterpart of Remark 4.4. In other words, part (ii) of
ı
the above theorem can be extended to Asp;q .Rn / with max.p; q/ 1 (p < 1 for
ı
F -spaces). This applies in particular to the spaces C .Rn / according to (4.25).
Theorem
4.13.
Let 2 n 2 N. Let 1 p; q 1 .p < 1 for F -spaces/,
s > p 1 as in Figure PP, p. 22.
n
C
(i) Let
0 < g 1 and a D 1 ~g with 0 < ~ < 1: (4.54)
Let
u0 2 As1Cg
p;q .Rn / and v0 2 AsC1C~g
p;q .Rn /: (4.55)
Then there is a number T , T > 0, such that (4.50)–(4.53) with ˛ 0 has a unique
mild solution
u 2 L1 .0; T /; a=2; Asp;q .Rn / : (4.56)
Furthermore, u 2 C 1 .Rn .0; T //.
(ii) If, in addition, p < 1, q < 1,
v0 jAsC1C~g
p;q .Rn / C u jL1 .0; T /; a=2; Asp;q .Rn / :
This is the counterpart of (4.49) and in turn of (4.21). Then part (i) follows by the
same arguments as there. This applies also to part (ii), with an appropriate modifica-
tion of (4.23).
Recall that u D u.x; t/ denotes the cell density, whereas v D v.x; t/ describes the
concentration of the chemical signal. This makes clear that one is mainly interested
of whether u is a strong solution. But one may ask a corresponding question with
respect to v.
Corollary 4.14. Let 2 n 2 N. Let 1 p < 1, 1 q < 1 and s > pn 1
C
be as in Figure PP, p. 22. Let g; a; ~ be as in (4.54). Let u according to (4.56) be the
uniquemild solution of (4.50)–(4.53)
and (4.55). Then v is a strong solution, that is
sC1C~g
v 2 C Œ0; T /; Ap;q n
.R / .
if t ! 0. The last assertion comes from (4.60) with u.; T / D Tu0 u.; T / ! 0 if
T ! 0. This shows that the second term on the right-hand side of (4.61) tends to
zero if t tends to zero. As for the first term on the right-hand side, one can argue as
in Step 2 of the proof of Theorem 4.3, with a reference to [T14, pp. 121/122].
Let
u0 2 As1Cg
p;q .Rn / and v0 2 AsC1C~g
p;q .Rn /: (4.64)
Then it follows from Theorem 4.13 and Corollary 4.14 that (4.50)–(4.53) with ˛ 0
has for some T > 0 a unique mild and strong solution
u 2 L1 .0; T /; a=2; Asp;q .Rn / \ C Œ0; T /; As1Cg
p;q .Rn / ; (4.65)
v 2 C Œ0; T /; AsC1C~g
p;q .Rn / : (4.66)
Having the biological origin of these equations in mind, one may ask in addition
for stability, i.e., small perturbations of the initial data u0 , v0 in (4.64) should cause
small deviations of the solutions u; v in (4.65), (4.66). More precisely, let temporarily
X.Rn/ D As1Cgp;q .Rn / and Y .Rn / D AsC1C~g
p;q .Rn /. Then the solutions u1 ; u2 and
v ; v of (4.50)–(4.53) in (4.65), (4.66) (with u ; u2 in place of u and v 1 ; v 2 in place
1 2 1
of v) are called (locally) stable if for any " > 0 there exist a time T > 0 and an ı > 0
such that
1
u .; t/ u2 .; t/ jX.Rn/ C v 1 .; t/ v 2 .; t/ jY .Rn/ " (4.67)
whenever
1
0t T and u u2 jX.Rn / C v 1 v 2 jY .Rn / < ı: (4.68)
0 0 0 0
Corollary
4.15.
Let 2 n 2 N. Let 1 p; q 1 .p < 1 for F -spaces/ and
s > p 1 as in Figure PP, p. 22. Let g; a; ~ be as in (4.57). Let
n
C
ul0 2 As1Cg
p;q .Rn / and v0l 2 AsC1C~g
p;q .Rn / where l D 1; 2: (4.70)
Let ul ; v l be the corresponding solutions of (4.50)–(4.53) satisfying (4.56), (4.69)
for some common T > 0 and v l .; t/ 2 AsC1C~g p;q .Rn /, 0 < t < T . Let V0 D
sC1C~g
1 C maxlD1;2 kv0l jAp;q .Rn /k. Then
1
u .; t/ u2 .; t/ jAs1Cg .Rn / u1 u2 jAs1Cg .Rn / C c t g.~ 12 / V0 ;
p;q 0 0 p;q
0 < t < T;
(4.71)
and
1
v .; t/ v 2 .; t/ jAsC1C~g .Rn / v 1 v 2 jAsC1C~g .Rn /
p;q 0 0 p;q
(4.72)
C c t 2 .1~/ u10 u20 jAsC1Cg .Rn / C c t 2 ~ V0 ; 0 < t < T;
g g
p;q
where c > 0 is independent of the initial data according to (4.70) and t.
Proof. By the arguments in the proof of Theorem 4.13 and (4.45), one has for the
related mild solutions
Z t
u1 .x; t/ u2 .x; t/ D Wt .u10 u20 /.x/ Wt P u1 P u2 .; / d .x/
0
(4.73)
with P u1 , P u2 as in (4.46) based on (3.114), (3.113). This must be estimated
s1Cg
in Ap;q .Rn /. Let u be either u1 or u2 . We argue similarly as in the proof of
Proposition 3.14. Then one has
Z t
Wt P u.; / d jAs1Cg .Rn /
p;q
0
Z t (4.74)
g
"
n
c .t / 2 P u.; / jAp;q
s12"
.R / d
0
where we used again [T14, Theorem 4.1, p. 114]. Then by (3.116) with a D 1 ~g
and (4.69) one obtains
Z t
Wt P u.; / d jAp;q .R /
s1Cg n
0
Z t
g 1 ~g
c" V0 .t / 2 " " 2 C 2 ku.; / jAsp;q .Rn /k d
0
Z t
g 1 ~g a (4.75)
c" V0 .t / 2 " " 2 C 2 2 d
0
Z t
g
D c" V0 .t / 2 " "1C~g d
0
1
D c"0 V0 t g.~ 2 / ; 0 < t < T:
4.6 Stability and well-posedness 51
Now (4.71) follows from (4.73) and (4.75). As for (4.72), we rely on (4.61) in
AsC1C~g
p;q .Rn /. Then
1
v .; t/ v 2 .; t/ jAsC1C~g .Rn /
p;q
Z t
1
v0 v0 jAp;q
2 sC1C~g n
.R / C Wt .u1 u2 /.; / jAsC1C~g .Rn / d
p;q
0
v01 v02 jAsC1C~g
p;q .R n
/
Z t
.t /1C 2 .1~/ .u1 u2 /.; / jAs1Cg .Rn / d
g
C p;q
0
(4.76)
where we used again [T14, Theorem 4.1, p. 114]. We insert (4.71) in (4.76). Then the
resulting last term can be estimated from above by
c t 2 .1~/ u10 u20 jAs1Cg .Rn / C c V0 t 2 .1~/Cg.~ 2 / :
g g 1
p;q (4.77)
Similarly one can argue in the case of the parabolic-elliptic equations (4.9)–(4.11)
and (4.30)–(4.32) (always in the interpretation as mild solutions originating from re-
lated fixed point problems as explained at the end of Section 4.1). We assume again
that
0<g1 and a D 1 ~g with 1=2 < ~ < 1 (4.78)
as in (4.15) = (4.36). Then Theorems 4.3 and 4.7 can be complemented as follows.
As before, we assume (4.69).
Corollary 4.17. Let 2 n 2 N and ˛ 0. Let 1 p; q < 1 and s > n
p
1
C
.modified by (4.33) if ˛ D 0/, Figures PE, ˛ > 0 and PE, ˛ D 0, p. 22. Let g; a; ~ be
as in (4.78). Let
ul0 2 As1Cg
p;q .Rn / where l D 1; 2: (4.79)
Proof. We rely again on (4.73), (4.74) and estimate P u according to (3.20) and
(3.66). Instead of (4.75) one has now
Z t
Wt P u.; / d jAs1Cg .Rn /
p;q
0
Z t 2
.t / 2 " a a=2 u.; / jAsp;q .Rn / d
g
c" (4.81)
0
g2 "aC1
c" t
1
D c" t g.~ 2 /" ; 0 < t < T:
Remark 4.18. In the case of (4.30)–(4.32), that is ˛ D 0, one can replace Theo-
rem 4.7 by Corollary 4.8 which means that Corollary 4.17 remains valid for p; q; s in
(4.37) (q < 1). For this purpose one has to modify the above arguments as indicated
in Remark 3.9.
But there is a second, even more important, reason for the extension of the above
theory from unweighted spaces to weighted ones. The biological origin of (4.50)–
(4.53) suggests to assume that the initial data u0 , v0 in (4.52), (4.53) are real and
4.7 Decay properties 53
non-negative. It follows from the set-up so far that related solutions u; v are also
real (one may simply deal from the very beginning with the real parts of Asp;q .Rn /,
including related fixed point assertions). However one wishes to known that u.x; t/
(the cell density) and v.x; t/ (the concentration of the chemical signal) are also non-
negative. We return to this point in Section 4.8 where some L2 -arguments will play
a role. Then the higher flexibility of weighted spaces and related embeddings are
helpful. In other words, we deal with weighted spaces not only for their own sake,
but also as a preparation for the problem just indicated.
First we collect some basic properties of Asp;q .Rn ;
/. Let ' D f'j g1
j D0 be the
standard resolution of unity and let Lp .R ;
/, 0 < p 1,
2 R, be the usual
n
s
is finite and Fp;q .Rn ;
/ collects all f 2 S 0 .Rn / such that
0 11=q
1
X ˇ ˇq ˇ
f jF s .R ;
/ D @
n jsq ˇ ˇ
b / ./ˇ A
_ ˇLp .R ;
/
n
2 ˇ.' j f (4.87)
p;q '
j D0
is finite (equivalent quasi-norms). This assertion has some history. The shortest avail-
able proof may be found in [ET96, Section 4.2.2, pp. 156-158], based on [HaT94].
Let
> 0. Then
1 1 1
s
Bp;q .Rn ;
/ ,! Bps ;q .Rn /; < C ; (4.88)
p p p n
0 < p; q 1, s 2 R, follows from (4.86) and Hölder’s inequality. Similarly for
the F -spaces. This will be of some use for us in Section 4.8. On the other hand, the
crucial multiplication properties for unweighted spaces as described in Section 3.1
can be immediately transferred to the weighted spaces as introduced in (4.82), (4.83).
By (3.4), (3.5) one has
Asp;q .Rn ;
/ Asp;q .Rn / ,! Asp;q .Rn ;
/ (4.89)
Asp;q .Rn ;
/ with 0 < p; q 1; s > n=p;
2 R; (4.90)
54 4 Equations of Keller–Segel type
where the unweighted space Asp;q .Rn / in (4.89) should be considered as a space of
pointwise multipliers. Similarly one can transfer (3.9)–(3.16) as follows.
(i) Let
1 1 s
2 < r < 1; s > 0; D C ; 0 < q 1;
2 R: (4.91)
p r n
Then
Asp;q .Rn ;
/ Asp;q .Rn / ,! Aspr ;q .Rn ;
/; (4.92)
with
1 2 s 1 1
D C D C ; (4.93)
pr r n p r
and, in addition, 0 < q r in the case of B-spaces.
(ii) Let
1 1 s
1 < r < 1; s > 0; D C ; 1 q r;
2 R: (4.94)
p r n
Then
s
Bp;q .Rn ;
/ B sn ;1 .Rn / ,! Bp;q
s
.Rn ;
/: (4.95)
s
tion 3.14 in a decisive way on Proposition 1.7 based on [T14, Theorem 4.1, p. 114],
that is
n
t d=2 Wt w jAsCd
p;q .R / c w jAsp;q .Rn / ; 0 < t < 1; (4.98)
Furnished with this inequality and the above extension of Proposition 3.1 to re-
lated weighted spaces one can now follow the arguments in the proof of Proposi-
tions 3.11 and 3.14. Then one obtains a generalization of Proposition 3.14 with
Ap;q .Rn ;
/,
0, in place of Ap;q .Rn /, under the same restrictions of p; q; s; a as
there.
Afterwards one can extend Theorems 4.11 and 4.13 and their proofs to the
weighted spaces Ap;q .Rn ;
/ in place of Ap;q .Rn /, with the diverse specifications
of . As explained in Section 4.1, a solution of (4.50)–(4.53) is called mild if it arises
from a related fixed point problem.
Theorem
4.19. Let 2 n 2 N. Let 1 p; q 1 .p < 1 for F -space/, s >
n
p
1 as in Figure PP, p. 22 and
0.
C
(i) Let
0<g1 and a D 1 ~g with 0 < ~ < 1: (4.100)
Let
u0 2 As1Cg
p;q .Rn ;
/ and v0 2 AsC1C~g
p;q .Rn ;
/: (4.101)
Then there is a number T , T > 0, such that (4.50)–(4.53) with ˛ 0 has a unique
mild solution
u 2 L1 .0; T /; a=2; Asp;q .Rn ;
/ : (4.102)
1
Furthermore u 2 C .R .0; T //.
n
56 4 Equations of Keller–Segel type
Remark 4.20. This is the direct extension of Theorem 4.13 from the unweighted
case, that is
D 0, to the weighted case
0, based on the above outlined justifica-
tion. Similarly one extends Corollary 4.14 to the weighted case. In other words,
if 1 p < 1, 1 q < 1, s > pn 1 ,
0 and g; a; ~ are
C
restricted as in (4.100), then v is also a strong solution, which means
that v 2 C Œ0; T /; AsC1C~g
p;q .R n
;
/ .
Theorem 4.19 and also the comments in Remark 4.20 maybe of some self-
contained interest. But we are mainly interested in whether the solutions u and v
according to Theorem 4.13, Corollary 4.14 decay in the space variables if the initial
data in (4.55) decay appropriately, which can be expressed by (4.101) with
> 0. It
follows from (4.86), (4.87) that the spaces Asp;q .Rn ;
/ are monotone with respect to
0. Then one has for the solutions u; v of Theorem 4.13(ii) and Corollary 4.14
u 2 C Œ0; T /; As1Cg
p;q .Rn ;
/ ; v 2 C Œ0; T /; AsC1C~g
p;q .Rn ;
/ (4.104)
for the above solutions u.x; t/, v.x; t/. In particular, one can extend (4.106), (4.107)
to some mixed derivatives in space and time in Rn .0; T /. In particular, one has by
(4.105)–(4.107)
u.; t/ 2 S.Rn / and v.; t/ 2 S.Rn /; 0 t < T; (4.108)
if
u0 2 S.Rn / and v0 2 S.Rn /: (4.109)
4.8 Positivity
The biological background of (4.50)–(4.53) suggests that the initial data u0 , v0 in
(4.52), (4.53) are real and non-negative. It follows from the set-up so far that the
solutions u; v are real if u0 , v0 are real (one may simply deal from the very beginning
with the real parts of Asp;q .Rn /, including related fixed point assertions). However
one wishes to know that u.x; t/ (the cell density) and v.x; t/ (the concentration of the
chemical signal) are non-negative if their initial data u0 .x/, v0 .x/ are non-negative.
This problem can be treated to some extent in our set-up. For this purpose we need
the so-called truncation property studied in detail in [T01, Chapter 25]. Let for a real
Lebesgue-measurable function f in Rn , n 2 N,
fC .x/ D max .f .x/; 0/ ; x 2 Rn ; (4.110)
a.e. We call . p1 ; s/ a truncation couple if f 7! fC is a bounded map in all spaces
s
Bp;q .Rn / with 0 < q 1. It turns out that . p1 ; s/ is a truncation couple if, and only
if,
1 1
0 < p 1; n max ;1 1 < s < 1 C ; (4.111)
p p
[T01, Theorem 25.8, p. 364] (there is a less satisfactory assertion for F -spaces). Re-
call that in (4.82)–(4.87) we introduced the weighted spaces Asp;q .Rn ;
/.
Proof. Step 1. According to Theorem 4.19, Remark 4.20 with g D 1 and ~ < 1
near 1 we have even u.x; t/ 2 Asp;q .Rn ;
/, v.x; t/ 2 AsCı n
p;q .R ;
/ for any ı with
ı < 2. We begin with the discussion of some technicalities explaining in particular
the restrictions for s and
in (4.112). First we justify that
@j fC 2 L2 .Rn / if f 2 Bp;q
s
.Rn / real; j D 1; : : : ; n: (4.115)
By embedding we may assume s n
p
< 1 if p < 1. Then
n n
s
Bp;q .Rn / ,! Be
1
.Rn /; 0<1 D s < 1: (4.116)
p;q e
p p
In particular, e
p > n 2. If, in addition, 1 p 2, then
1C
s
Bp;q .Rn / ,! B2;q .Rn / for some
> 0: (4.117)
Using (4.110), (4.111) one obtains fC 2 W21 .Rn / and (4.115). If p > 2, then by
(4.88) and (4.112) one has
s
Bp;q .Rn ;
/ ,! B2;q
s
.Rn /; (4.118)
and one can argue as above. Afterwards one can incorporate all other admitted spaces
by elementary embedding. We need a second technical preparation. Let f .; t/ 2
sC 1
s
Bp;q .Rn /, 0 t T , real and let, in addition f 2 Bp;q p .Rn .0; T //. Let s be as
above and s < 1 C p1 if p < 1 in addition. Using the well-known trace assertion and
truncation property according to (4.110), (4.111), one obtains fC .; t/ 2 Bp;qs
.Rn /,
0 t T , and fC 2 Bp;q .R .0; T //. Furthermore,
s n
fC @t f D fC @t fC D 1
2
@t fC2 (4.119)
Step 2. Let u; v be the solutions of (4.50)–(4.53) considered first in the strip 0 <
" < t < T . As in Step 1 of the proof of Theorem 4.3, we refer the reader again to
the smoothness discussion of solutions of non-linear heat equations in [T13, p. 185].
One has in particular u 2 Bp;q
.Rn ."; T // for any s: This can be extended
sC 1
immediately to the weighted case. In particular, w u 2 Bp;q p .Rn ."; T // used
above (now with " > 0 instead of " D 0). We apply the above considerations to
u .x; t/ D min .u.x; t/; 0/ D max .u.x; t/; 0/ : (4.121)
4.8 Positivity 59
We multiply (4.50) by u .x; t/ and integrate over Rn ."; T /. We rely on the asser-
tions in Step 1, in particular (4.115), (4.119), (4.120), and claim that
X n Z
1 2 1 2
ku .; T / jL2 .Rn /k ku .; "/ jL2 .Rn /k C j@j u j2 dx dt
2 2
j D1 R .";T /
n
Xn Z
D u @j v @j u dxdt:
j D1 Rn .";T /
(4.122)
The first two terms are justified by (4.120). Furthermore, by Remark 4.20 we have
@j v 2 Asp;q .Rn ;
/. In particular, @j v 2 L1 .Rn /. The last term on the left-hand side
and the right-hand side of (4.122) follow from integration by parts and that u.; t/,
u .; t/, @j u .; t/ are in L2 .Rn / as stated in Step 1. The right-hand side of (4.122)
can be estimated from above by
n Z Z
1 X
j@j u j dx dt C c
2
ju j2 dx dt: (4.123)
2 Rn .";T / Rn .";T /
j D1
The above estimates are uniform in ". This follows from Theorem 4.19(ii) with g D 1
and the above assertions of type (4.115). Then " ! 0 and the assumption u0 .x/ 0
result in
Z t
n 2
ku .; t/ jL2 .R /k c ku .; / jL2 .Rn /k2 d; 0 < t < T: (4.124)
0
Recall that u.x; t/ and hence also u .x; t/ are continuous in x 2 Rn and 0 t T .
Let U.t/ D ku .; t/ jL2 .Rn /k2 . Then U.t/ U < 1 for some U , where
0 t T . Inserted in (4.124) one has U.t/ c Ut, and by iteration
Remark 4.22. Recall that (4.124) is a simple example of so-called Gronwall inequal-
ity, covered by [MPF91, Theorem 1, pp. 354/355]. For ordinary or partial differen-
tial equations originating from physics, biology, or other sciences, it is quite often
desirable to know that the solutions are non-negative if the given (initial) data are
non-negative. The idea to deal with related questions by looking at truncations of
type (4.110) for real solutions is attributed to G. Stampacchia. This requires some
(technical) care, because truncation destroys higher smoothness properties. Never-
theless this method is in common use and may also be found in [Per15, pp. 3, 46] in
connection with Lotka–Volterra prey-predator systems. The specific corresponding
L2 -argument used in Step 2 of the above proof goes back to [KoS09, Theorem 3,
60 4 Equations of Keller–Segel type
p. 5, proof, p. 31] dealing with solutions of (4.50)–(4.53) global in time in the con-
n n
2 2
text of scale-invariant spaces of type (2.18), especially Hpp .Rn / D Fp;2 p
.Rn /,
1 < p < 1. Again some efforts (and restrictions for the parameters) are required
to ensure that L2 -arguments of the above type can be applied. Our approach relies
again on some restrictions for the parameters s, p and the strengthened assumption
(4.113) in terms of weighted spaces. Compared with Theorem 4.13, one may ask
what happens in other admitted cases. It is surely possible to relax the conditions for
s, p in the above theorem somewhat, but the question arises of whether this can be
done in the context of natural restrictions for s, p, and weights w .
u0 2 Asp;q .Rn ;
/; v0 2 AsC2 n
p;q .R ;
/ (4.126)
be as in (4.113) (not necessarily real now) with
> n. Then by (4.106), (4.107) one
has Z Z
u.x; t/ dx < 1 and v.x; t/ dx < 1 (4.127)
Rn Rn
for the solutions of (4.50)–(4.53), ˛ 0, with u.x; 0/ D u0 .x/ and v.x; 0/ D
v0 .x/. Recall that u.x; t/ is the cell (or organism) density and v.x; t/ stands for the
concentration of the chemical involved. Then questions of type (4.127) make sense
and one may ask how these quantities evolve in time.
u0 2 Asp;q .Rn ;
/; v0 2 AsC2 n
p;q .R ;
/: (4.128)
Let u.x; t/, v.x; t/, 0 t < T , be the solutions of (4.50)–(4.53) with ˛ 0. Then
Z Z
u.x; t/ dx D u0 .x/ dx < 1; 0 < t < T; (4.129)
Rn Rn
and
Z Z Z
v.x; t/ dx D e˛t v0 .x/ dx C c˛ .t/ u0 .x/ dx < 1; 0 < t < T;
Rn Rn Rn
(4.130)
with (
t; if ˛ D 0,
c˛ .t/ D (4.131)
˛ 1 .1 e˛t /; if ˛ > 0:
4.9 Conservation properties 61
Proof. Step 1. As mentioned above, all integrals in (4.129), (4.130) are finite. It
may be helpful to write down the mild solution u.x; t/ according to (4.45) explicitly,
following [T14, p. 113]:
Z
1 jxyj2
u.x; t/ D e 4t u0 .y/ dy
.4 t/n=2 Rn
Z tZ jxyj2
1 e 4.t /
div .u.y; / rv.y; // dyd
.4/n=2 0 Rn .t /n=2
Z (4.132)
1 jzj
2
D e 4t u .x z/ dz
0
.4 t/n=2 Rn
Z tZ jzj2
1 e 4.t /
C div .urv.x z; // dz d;
.4/n=2 0 Rn .t /n=2
where div is taken with respect to z. As far as technicalities are concerned, we rely
R t, 0 < t < T ,
on Theorem 4.13 and (4.106), (4.107). We integrate (4.132) for fixed
over Rn . The resulting first term on the right-hand side gives Rn u0 .x/ dx: The
corresponding second terms are zero. This follows from
Z
u.y 0 ; yn ; / rv.y 0 ; yn ; / dy 0 ! 0 if jyn j ! 1; (4.133)
Rn1
c 1
ju.y 0 ; yn ; /j ; jyn j 1; (4.134)
0
.1 C jy j /
2 n=2 jyn j n
and (4.130).
Remark 4.24. If, in addition, u0 and v0 are non-negative, then one has (4.114), and
(4.129) may be considered as a conservation assertion: the total mass of cells remains
constant over time. For small t one has c˛ .t/ t, which again looks reasonable, hav-
ing in mind that Dictyostelium
R discoideum produces its own chemical cAMP growing
proportionally to Rn u0 .x/ dx approximately linearly in time.
62 4 Equations of Keller–Segel type
in place of (4.50)–(4.53). One may ask to which extent the damping constant ˛ and
the chemotactic sensitivity constant (normalized by D 1 or D 1) influence
the above calculations. Our approach is mainly qualitative and for most of our asser-
tions for the parabolic-parabolic equations (4.50)–(4.53) or (4.139)–(4.142) it does
not matter if one replaces ˛ 0 by ˛ 2 R or even ˛ 2 C: This applies in particu-
lar to the assertions in Sections 4.5–4.7. The situation is different in the case of the
parabolic-elliptic models treated in Sections 4.2 and 4.3, where whether ˛ > 0 or
˛ D 0 plays a crucial role (recall that only ˛ > 0 is of biological relevance).
In the case of positive chemotaxis expressed by (4.50)–(4.53) with ˛ > 0 we have
under the conditions of Theorem 4.23 the conservation (4.129) of the total mass of
cells (or organic material) and (4.130) for the total amount of the chemical involved in
dependence on time t. This makes clear why ˛ > 0 is called the damping constant,
reducing the influence of v0 over the time. The role played by ˛ can also be seen
from the discussion in [Per15, p. 111] (parabolic-elliptic model). In particular, ˛ 1=2
represents the so-called activation length.
4.10 A discussion: Damping constants and negative chemotaxis 63
Under the conditions of Theorem 4.23 we have for the related positive chemotaxis
the desired very reasonable positivity assertion (4.114). But the arguments in (4.122)–
(4.125) remain unchanged if one replaces (4.50) by (4.139). This means that we have
(4.114) also in the case of negative chemotaxis under the conditions of Theorem 4.21.
Chapter 5
Further PDE models for chemotaxis
n 2 N, describe the motion of a large number of cells under the influence of a signal
generated by the population. Again u D u.x; t/ denotes the cell density, whereas the
concentration of the produced chemical v D v.x; t/ is assumed to be generated by
the convolution (5.2). In addition to the diffusion u, one has now the drift div .urv/
generated by v. Then the gradient rv indicates the preferred direction of motion. Of
special interest are radially-symmetric kernels K.x/ D k.jxj/, in particular rv D
P u with
n
P u D P ;j u j D1 ; P ;j u D K Rj u; j D 1; : : : ; n; (5.4)
where Rj are the Riesz transforms (3.58) and K has the same meaning as in (3.59),
that is
_ Z
b f .y/
.K f /.x/ D jj f .x/ D c dy; 0 <
< n: (5.5)
Rn jx yj
n
In other words, similarly as in the case of the Keller–Segel equations in the Chapters 3
and 4 we insert (5.2) into (5.1) and reduce (5.1)–(5.3) to
The case
D 1, n 2, coincides essentially with the homogeneous parabolic-
elliptic model as treated in the Sections 3.3 and 4.3. In other words, (5.6), (5.7)
generalizes (4.30)–(4.32) based on Section 3.3. This applies also to the method and
related assertions. We have Theorem 4.7 based on Proposition 3.6 on the one hand,
and Corollary 4.8 based on Remark 3.9 on the other hand. The specific nature of
(5.6) allows one to apply the second method. Then one has a full counterpart of
Corollary 4.8. This applies also to the appropriately modified
-version of Figure PE,
66 5 Further PDE models for chemotaxis
Detailed discussions about these preliminaries may be found in the Sections 4.1 and
4.2.
as in the above-described
-version of Figure PE, ˛ D 0, p. 22.
(i) Let
0 < g 1 and a D 1 ~g with 0 < ~ < 1: (5.11)
Let u0 2 As1Cg
p;q .Rn /. Then there is a number T , T > 0, such that the problem
(5.6), (5.7) has a unique mild solution
u 2 L1 .0; T /; a=2; Asp;q .Rn / : (5.12)
Proof. As already indicated above, we benefit from the specific nature of the nonlin-
earity
P u.x; / D div .u.x; / P u.x; // (5.14)
5.1 Fokker–Planck equations 67
in (5.8) and shift the divergence of uP u to the heat kernel Wt . By the same
arguments as in (3.45), (3.46) one has
Z t
Wt P u.; / d jAs .Rn /
p;q
0
Xn Z t (5.15)
1
c u.; / K Rj u.; / jAs .Rn / d
p;q
j D1 0
.t /1=2
s
Bw;1 .Rn /; 1<p< ;
<s < ; D (5.18)
p p w p n
s
is a pointwise multiplier space for Bp;1 .Rn /,
s
Bp;1 .Rn / Bw;1
s
.Rn / ,! Bp;1
s
.Rn /: (5.19)
Inserted in (5.15) one has the counterpart of (3.86), that is
Z t Z t
1
W P u.; / d jB s
.R n
/ c u.; / jB s .Rn /2 d
t p;1 p;1
0 .t /
1=2
0
(5.20)
with P u as in (5.14). Similarly, one has a counterpart of (3.87)–(3.89) if 1 < p <
n=
and s > n=p. Afterwards one can argue as in Corollary 4.8, which in turn relies
on the indicated corresponding assertions.
tial data u0 . This is a rather satisfactory situation. On the other hand, Corollary 4.8 is
a special case of Theorem 5.1 choosing there
D 1. The question arises of whether
these observations can be extended from
D 1 to 0 <
< n. For this purpose we
replace u in (5.4) by u./, > 0. The Riesz transforms Rj are homogeneous of
order zero, whereas K in (5.5) is homogeneous of order
. Then one has
;j
P u./ .x/ D P ;j u .x/; > 0: (5.22)
Let u be a solution of (5.6). Then
which is desirable for initial data, [T15, Theorem 3.24, p. 79, 80] and [T16, T16a].
5.2 Models with logistic terms 69
This is no longer valid for the above-mentioned spaces Asp;q .Rn / outside of this dis-
tinguished strip. This observation has a curious counterpart if one compares (5.1),
(5.2) with K D K~ , 0 < ~ < n on the one hand, and the resulting reformulation
(5.6) based on (5.4) with
D ~ 1 on the other hand. Our natural assumption
0 <
< n requires ~ > 1, but
< n must be modified by
< n 1. Inserted in
(5.28) one has s > n p 1 . In other words, if one gives preference to (5.1), (5.2)
1
where again hi D .1 C jj2 /1=2 . In other words, it might be of interest to consider
The question arises how counterparts of Proposition 3.1 and Theorem 4.3, or their
modifications according to Corollary 3.4 and Remark 4.4, may look like. It is pos-
sible that one needs now more sophisticated pointwise multiplier theorems for the
underlying function spaces.
Proof. As in the proof of Theorem 4.13 we ask for a fixed point of (4.45) now with
The quadratic term fits in the above scheme. The linear term can be incorporated
using a a=2 T a=2 using a > 0. Otherwise one can follow the proofs of the
Theorems 4.11 and 4.13.
The proof of Theorem 4.13 and its forerunners are based on the possibility of
choosing positive numbers g and a with (4.54) resulting in the positive numbers
ˇ;
; ı in (4.59) and (4.24). As said above, one can incorporate linear and quadratic
terms in (5.33) and (5.42) without essentially changing the arguments (in the case of
linear terms we used that our approach is local in time). But it is also clear that the
replacement of u u2 in (5.33), (5.42) by other nonlinearities requires additional
considerations. First we ask what happens if one modifies u u2 by
X
m
Pm u D b l ul ; bl 2 C; bm 6D 0; m 2 N: (5.44)
lD1
In Section 5.4 we deal also with other types of nonlinearities. In other words, instead
of (5.33)–(5.36) we ask in this section for solutions of
with Pm u as in (5.44). All notations have the same meaning as in Theorem 5.5.
Then there is a number T , T > 0, such that (5.45)–(5.48) has a unique mild solution
u 2 L1 .0; T /; a=2; Asp;q .Rn / : (5.51)
Proof. Step 1. We prove part (i). Compared with the previous considerations, one
has to clarify two points. First we ask for a counterpart of (3.24) with um in place of
P1 u as in (3.18) or (3.55), that is
m s1 n
u jB .R / c u jB s .Rn /m ; (5.53)
p;q p;q
q r, where
1 m s 1 m1
D C D C : (5.57)
pr r n p r
Similarly as in (3.23) one has
n n n n.m 1/ n
Bps r ;q .Rn / ,! Bp;q
.Rn /; Ds Ds <s1 :
p pr p r p
(5.58)
Together with (5.56) one obtains the counterpart of (3.24),
kum jBp;q
s1
.Rn /k c ku jBp;q
s
.Rn /km : (5.59)
X
m1
k
c u1 u2 jBp;q
s
.Rn / u1 jBp;q
s
.Rn /km1k u2 jBp;q
s
.Rn / :
kD0
(5.64)
Otherwise one can argue as before.
Step 2. We prove part (ii). As in (4.23), we use (4.7) with w D 0, s 1 in place of s
and g in place of d (neglecting "). Then one has
Z t
Wt P u.; / d jAp;q .R / 1 g
2 b sup b f ./ jAs1 n
ct
s1Cg n
p;q .R / ;
0 0< <t
(5.65)
where both P u and f stand for the nonlinearity in (5.45). We have the clarify the
influence of the additional polynomial part Pm u and assume, as before, f D um .
Then we have the same situation as in (5.60), again with b D a2 m < 1. Instead of
(4.24) we have by (5.65) and (5.52)
g m
ı D1 .1 ~g/ > 0: (5.66)
2 2
In Remark 5.7 below we discuss the monotonicity of the relevant restrictions of g
and ~ on m. Then one has (5.66) not only for m, but also for all natural numbers
between 2 and m. The rest is now the same as in Step 2 of the proof of Theorem
4.3.
74 5 Further PDE models for chemotaxis
Remark 5.7. If m D 2 then the assumptions (5.38) are natural. In the case of 3
m 2 N one has by (5.49) the additional restriction
m2 m2
<g1 and < ~ < 1: (5.67)
m1 .m 1/g
In particular, the admitted g are monotone in m. If one inserts the (not admitted)
limiting case g0 D m2
m1
in the left-hand sides of the estimates for ~ in (5.67) and
(5.52), then one has
m2 1 m2
D C D 1; (5.68)
.m 1/g0 m g0 m
making clear that the above conditions are monotone in m. The question arises of
whether these restrictions are natural. From (5.67), that is
g m2 m2
> ; (5.69)
m m1 m
it follows that the left-hand side of (5.52) is larger than its counterpart in (5.67) (as it
should be as an additional assumption).
Problem 5.8. The logistic term u u2 in (5.33) and u in (5.34) have been mod-
ified in [NaO11, NaO13, NaO16] and [BBTW15, p. 1694] by other nonlinearities of
biological relevance,
and
g.u/ D u.1 C u/ˇ 1 ; ˇ 0: (5.75)
In this context it may be reasonable to restrict the considerations from the very begin-
ning to the real parts of suitable spaces Asp;q .Rn /. Then one can use the elaborated
theory of composition operators as treated in numerous works. One may consult the
survey [BoS11], the more special papers [BMS10, BMS14], the book [RuS96], and
the references within. Of interest are non-negative solutions u, v (under the assump-
tion that the initial data u0 , v0 are non-negative). This may suggest to replace f .u/
in (5.74) by
Remark 5.9. One of the main aims of chemotactic models is the explanation
of spatial patterning. In [BGM08, Figure 3, pp. R261/R262] with a reference to
[MMMW90, MMP98] one finds a description of numerical simulations of models
of type (5.70)–(5.73), where f .u/ is essentially the logistic term as in (5.33) and
g.u/ D 1Cuu
, that is (5.75) with ˇ D 0:
The field is initially in the homogeneous steady state, with small random
perturbations added to the cell density. Diffusion-driven amplification
of the heterogeneities results in a regular array of peaks and troughs.
. . . Amplification of small perturbations in cell density across the field
leads to a regular array of peaks and troughs in chemical concentration
that is mirrored by the cell density pattern.
It is surely a challenge to confirm these impressive numerical findings by rigorous
mathematical arguments. One may ask similar questions with respect to the original
Keller–Segel equations (4.50)–(4.53) (in Rn or in domains), that is (5.70)–(5.73) with
f .u/ D g.u/ D 0. But the answer seems to be largely negative. This is closely
connected with blow-up phenomena. For a detailed discussion we refer the reader
to [Hor03, Hor04], [NaO16] and the references therein. Corresponding theoretical
assertions are not confirmed by experimental observations (there is no blow-up). This
is precisely the reason why the original Keller–Segel equations have been modified by
numerous models: one wishes to avoid blow-up effects and one wishes to find models
providing explanations of spatial patterning in good agreement with experimental
observations.
76 5 Further PDE models for chemotaxis
@t u D ˛u ˇuv; (5.80)
@t v D
uv ıv; (5.81)
has been studied in great detail. One may consult [Mur02, Per07, Per15] for discus-
sions, assertions, references, and numerous modifications. Here u D u.x; t/ is the
density of the prey that is the food of the predator v D v.x; t/, whereas ˛; ˇ;
; ı
are positive constants. If diffusion is taken into account then (5.80), (5.81) must be
replaced by
with, in addition, > 0, > 0 [Per15, pp. 34, 35]. Usually equations of type (5.80),
(5.81) and (5.82), (5.83) are considered in .0; T /, where is a bounded domain
in Rn , complemented by initial data as in (1.48) and, in the case of (5.82), (5.83), by
null Neumann boundary conditions, as in (1.47). But we deal with PDE models in
Rn .0; T /, as before. If one adopts this point p
of view also for the above equations,
p
then the scaling u ! u. x; t/ and v ! v. x; t/ shows that we may assume,
afterwards, D D 1. We stick with this normalization in what follows. If the
two species, characterized by u and v, are not necessarily prey and predator, but in
competition for resources, then (5.80), (5.81) must be replaced by
where 1 ; 2 ; ˛; ˇ;
are positive and a1 ; a2 are non-negative constants. We followed
here [BLM16], where corresponding equations in bounded smooth domains have
been considered. Then the initial data (5.91) must be complemented by null Neumann
data, as in (1.47). There one finds also further biological explanations and related
references. If v D 0 then (5.88)–(5.91) reduces essentially to (5.33)–(5.36) (replacing
there v by w). The proof of the related Theorem 5.5 relies on the proofs of the
Theorems 4.11, 4.13 and the indicated incorporation of the linear and quadratic terms
u u2 according to (5.43). This can be extended to the linear and quadratic terms
for u and v in (5.88), (5.89). We formulate the outcome using the same notation as
there.
Theorem
Let 2 n 2 N. Let 1 p; q 1 .p < 1 for F -spaces/,
5.10.
s > pn 1 as in Figure PP, p. 22. Let 1 ; 2 ; a1 ; a2 ; ˛; ˇ be complex numbers
C
and
> 0.
(i) Let
0 < g 1 and a D 1 ~g with 0 < ~ < 1: (5.92)
Let
u0 ; v0 2 As1Cg
p;q .Rn / and w0 2 AsC1C~g
p;q .Rn /: (5.93)
Then there is a number T , T > 0, such that (5.88)–(5.91) has a unique mild solution
u; v 2 L1 .0; T /; a=2; Asp;q .Rn / : (5.94)
Proof. This is the direct counterpart of Theorem 5.5. As explained above one can
take over the related proof which in turn relies on the proofs of the Theorems 4.11
and 4.13.
we refer the reader again to the surveys [Hor03, Hor04, HiP09, BBTW15] and the
books [Per07, Per15]. The authors of [HiP09] deal with 10 models both from the
mathematical (numerical) and the experimental (biological) point of view. In addition
to our preceding considerations and what follows afterwards (especially in Chapter 7),
we glance here at two so-called density-dependent sensitivity models as described in
[HiP09, p. 187]. The volume-filling model
@t u u C div u u2 rv D 0; x 2 Rn , 0 < t < T ; (5.96)
@t v v C v D u; x 2 Rn , 0 < t < T ; (5.97)
u.; 0/ D u0 ; x 2 Rn ; (5.98)
v.; 0/ D v0 ; x 2 Rn ; (5.99)
adds the term u2 rv to (4.50)–(4.53). Recall that u D u.x; t/ denotes the cell
density, whereas v D v.x; t/ describes the concentration of the chemical signal. A
second density-dependent sensitivity model asks for (positive) solutions of
u
@t u u C div rv D 0; x 2 Rn , 0 < t < T ; (5.100)
1Cu
@t v v C v D u; x 2 Rn , 0 < t < T ; (5.101)
u.; 0/ D u0 ; x 2 Rn ; (5.102)
v.; 0/ D v0 ; x2R : n
(5.103)
Our method is qualitative and local in time. This allows one to replace u u2 in
(5.96) by polynomials Pm u according to (5.44), m 2 N, that is,
Then there is a number T , T > 0, such that (5.104)–(5.107) has a unique mild
solution
u 2 L1 .0; T /; a=2; Asp;q .Rn / : (5.110)
Furthermore, u 2 C 1 .Rn .0; T //.
(ii) If, in addition, p < 1, q < 1 and
1 m1
C <~<1 (5.111)
mC1 g.m C 1/
then the above solution is strong, i.e., u 2 C Œ0; T /; As1Cg
p;q .R n
/ .
From here on one can follow the above arguments where part (ii) is covered by the
arguments in Step 2 of the proof of Corollary 5.6 with m C 1 in place of m.
example, in (5.100). Nevertheless something can be said. The underlying spaces are
again the multiplication algebras Asp;q .Rn / with s > n=p. Then
fg jAs .Rn / c f jAs .Rn / g jAs .Rn / (5.115)
p;q p;q p;q
for some c > 0 and all f 2 Asp;q .Rn / and g 2 Asp;q .Rn /. If c, then it follows
from
c
fg jAsp;q .Rn / f jAsp;q .Rn / g jAsp;q .Rn / (5.116)
that one may assume
fg jAs .Rn / f jAs .Rn / g jAs .Rn / (5.117)
p;q p;q p;q
Otherwise we follow the previous scheme and convert (5.100)–(5.103) into a fixed
point problem for the operator
Z t
Tu0 ;v0 u.x; t/ D Wt u0 .x/ Wt P u.; / d .x/; (5.122)
0
with
u
P u D div rv ; (5.123)
1Cu
5.4 Density-dependent sensitivity models 81
in analogy to (4.45), (4.46). All notations have the same meaning as there. We
indicate also the initial data v0 in (5.122) playing now a more substantial role than
before. Let
˚
U" .Asp;q / D u.x; t/ W u jL1 .0; 1/; Asp;q .Rn / " (5.124)
be the ball of radius " > 0 in L1 .0; 1/; Asp;q .Rn / centered at the origin. As before,
solutions of (5.100)–(5.103) arising from the indicated fixed point problem are called
mild.
where we have to justify that the last factor in (5.127) is finite. The solution of (5.97),
(5.99) is given by (3.111)–(3.113), that is
Z t
t
v.x; t/ D e e Wt u.; / d .x/ C et Wt v0 .x/:
(5.128)
0
Step 2. We have to justify that Tu0 ;v0 for given u0 , v0 is a contraction. Let u1 2
U" .Asp;q / and u2 2 U" .Asp;q /. By (5.128), (5.129) one has for the related functions
v1 and v2
p
v1 .; t/ v2 .; t/ jAsC1 .Rn / c t sup u1 .; / u2 .; / jAs .Rn / :
p;q p;q
0< <t
(5.131)
Furthermore, one obtains similarly as in (5.120), (5.121)
u1 u2 X1 X 1 Xk
D .1/k ukC1 u kC1
D .1/ k
.u 1 u 2 / ukl
1 ul2
1 C u1 1 C u2 1 2
kD0 kD0 lD0
(5.132)
and
1
u1 u2 X
n n
1 C u 1 C u jAp;q .R / u1 u2 jAp;q .R / .k C 1/"k (5.133)
s s
1 2
kD0
Recall again that t 1. We insert (5.136) in the counterpart of (5.126) (with u0 D 0).
Choosing
and " in addition to (5.130) sufficiently small, one obtains
Tu ;v u1 .; t/ Tu ;v u2 .; t/ jAs .Rn /
p;q
0 0 0 0
sup u .; / u .; / jAs .Rn /
1 2 p;q
(5.137)
0< <1
Remark 5.15. The above theorem has not the same definitive character as, for exam-
ple, Theorem 4.13 (and whatfollowed afterwards in Chapter 4). We have uniqueness
in U" .Asp;q /, but not in L1 .0; 1/; Asp;q .Rn / . But this cannot be expected by the
above method, where we relied decisively on (5.120), (5.121). Also smoothness as-
sertions as indicated after (4.21) with a reference to [T13, pp. 184–186] are not avail-
able. The above arguments are similar to those in [T13, Theorem 5.20, p. 180] and
its proof. One may ask whether the above solution is strong in the understanding of
(4.8). It may well be that the above solution u.; t/ 2 Asp;q .Rn / is continuous with
respect to t, 0 < t < 1. But this is not immediately covered by the above arguments.
However, one has at least
lim u.; t/ u0 jAsp;q .Rn / D 0 (5.138)
t #0
if p < 1 and q < 1: One can argue as in Step 2 of the proof of Theorem 4.3. As in
(4.22), one has
Z t
u.x; t/ u0 .x/ D Wt u0 .x/ u0 .x/ Wt P u.; / d .x/ (5.139)
0
with P u as in (5.122), (5.123). The counterpart of (4.23) is now the second term in
the first estimate in (5.130) tending to zero when t # 0. The term Wt u0 u0 can now
be treated as after (4.24) with a reference to [T14, pp. 121/122].
in the Remarks 2.2, 2.5. One can extend these arguments to the homogeneous modi-
fication of (5.140), (5.141), that is
@t u u C div .u% rv/ D 0; x 2 Rn , 0 < t < T ; (5.144)
@t v v D u; x 2 Rn , 0 < t < T ; (5.145)
where % > 0. Direct calculations show that
2
u .x; t/ D % u .x; 2 t/; x 2 Rn , 0 t < 2 T ; (5.146)
2
v .x; t/ D % 2 2
v .x; t/; x2R ,0t <
n 2
T; (5.147)
is the correct generalization of (2.24), (2.25) from % D 1 to % > 0. The counterparts
of (2.17), (2.18) suggest to call the spaces
n 2
Asp;q .Rn /; Asp;q .Rn /; 0 < p; q 1; sD ; (5.148)
p %
critical for generalized Keller–Segel equations of type (5.144), (5.145) (comple-
mented by suitable initial data). Spaces with s > pn %2 could be called supercritical.
For % D 1 one has the related assertions in (2.18), (2.19). Inserting the critical expo-
nent % D 2=n according to [HoW05] one has the supercritical spaces
1
s n s
Ap;q .R /; Ap;q .R /;n
0 < p; q 1; s > n 1 : (5.149)
p
This fits very well in the theory of tempered homogeneous spaces as developed in
[T15, T16, T16a].
In [Mur93, (15.1), p. 438] = [Mur03, (3.1), p. 145] (Mammalian coat patterns –
‘How the leopard got its spots’) one finds the following modifications of (5.82), (5.83)
and (5.86), (5.87):
@t u u D
f .u; v/; (5.150)
@t v d v D
g.u; v/; (5.151)
with
f .u; v/ D a u h.u; v/; g.u; v/ D ˛.b v/ h.u; v/; (5.152)
where
%uv
h.u; v/ D (5.153)
1 C u C Ku2
for two chemical species. All constants are positive, d > 1. This may also be
compared with (5.70), (5.71) and (5.140), (5.141). In any case it seems to be possible
to deal with equations of type (5.150)–(5.153) complemented by suitable initial data
in our context. (In contrast to other related equations one has now the isolated positive
constants a and b. This suggests that one should perhaps deal with C s .Rn /, s > 0, as
possible solution spaces.)
5.6 Peaks, troughs, stripes, spots, and Faber bases 85
Spatial pattern formation is a central topic in mathematical biology. This does not
only apply to mammalian coat patterns (leopard, zebra, giraffe, tiger etc.), butterflies,
fishes and so on as considered in the richly illustrated books [Mur93, Mur03, Per15],
but also to tiny animals on a microscopic scale. On the one hand, the model (5.150)–
(5.153) should reflect the divine spots of a leopard. The surprising computed solu-
tions in [Mur93, Fig. 15.2, p. 441] confirm this model in an impressive way. On the
other hand, it had been observed already in the 1990s that chemotactic bacteria may
produce symmetric spatial patterns [BuB91, BuB95]:
The formation of complex patterns by chemotactic cells of E. coli pro-
vides a striking example of biological self-organization by interacting,
initially identical, microscopic elements,
[BuB91, p. 633] (here E. coli is the usual abbreviation for the bacterium Escherichia
coli). A short description of how cells move may be found in [Per07, Sections 5.1,
5.2, 5.6]. This includes E. coli and Dictyostelium discoideum. We mentioned in
Remark 5.9 related numerical simulations and refer the reader again to [BGM08,
pp. R261/R262, Figure 3]. A similar behaviour has been described in [DCCGK04]
concerning the bacteria of species Baccillus subtilis. The related mathematical model
goes back to [TCDWKG05]. We return to these equations in Chapter 7. In Sec-
tion 7.1 we provide some further information. Impressive colourful examples may
also be found in [Per15, Chapter 5]. This applies to the underlying equations, their
numerical simulations, and experimental observations. These tiny animals have ap-
parently the remarkable ability to create spatial patterns spontaneously from initially
almost homogeneous distributions. The outcome are regular (or smoothly distorted)
configurations consisting of peaks and troughs. This is quite similar to the situa-
tion in the above-mentioned more macroscopic scale, such as the spots of a leopard,
the related model (5.150)–(5.153), and its numerical simulations in [Mur93, p. 441].
Corresponding rigorous mathematical theories are apparently not available:
Since we do not know what reaction diffusion mechanism is involved
[with respect to the model (5.150)–(5.153) resulting in the spots of a
leopard], . . . , all we need at this stage is a specific system to study
numerically
[Mur93, p. 438] = [Mur03, p. 145]. Asking for adequate mathematical tools describ-
ing these observations one may think about Faber bases. They fit in our scheme for
several reasons. We first outline what is meant by Faber bases and continue after-
wards the above discussion.
5.6 Peaks, troughs, stripes, spots, and Faber bases 87
Recall that @j D @=@xj . Let 1 < p < 1. Then the Sobolev space Sp1 W .R2 / of
first order mixed derivatives in the plane R2 is the collection of all f 2 Lp .R2 / such
that
X 2
f jS 1 W .R2 / D f jLp .R2 / C @j f jLp .R2 / C @2 f jLp .R2 / ;
p
j D1
(5.155)
with @2 D @1 @2 , is finite. Let Q D .0; 1/2 be the unit square in R2 . Then Sp1 W .Q/
is the usual restriction of Sp1 W .R2 / to Q and
ı ˚
˚
Sp1 W .Q/ D f 2 Sp1 W .Q/ W f j@Q D 0 D f 2 Sp1 W .R2 /; supp f Q :
(5.156)
We refer the reader to the relevant parts of [T10], in particular [T10, p. 143]. We wish
to simplify what follows as much as possible. In particular, we choose (for simplicity)
ı ı
p D 2. Then S21 W .R2 /, S21 W .Q/ D S 1 H.Q/ and S21 W .Q/ D S 1 H .Q/ are
ı
Hilbert spaces, where S 1 H .Q/ can be equivalently normed by
ı
f jS 1 H .Q/ D @2 f jL2 .Q/ : (5.157)
where
n o
Pk D m D .m1 ; m2 / 2 N20 W ml D 0; : : : ; 2kl 1I l D 1; 2 ; k 2 N20 ;
(5.161)
88 5 Further PDE models for chemotaxis
vk;m .x/ D vk1 ;m1 .x1 / vk2 ;m2 .x2 /; x D .x1 ; x2 / 2 Q; (5.162)
ı
of the hat functions in (5.159), [T10, p. 134]. The expansion of f 2 S 1 H .Q/ in
ı
terms of the Faber basis (5.160) is based on the pointwise evaluation of f 2 S 1 H .Q/
at some lattice points expressed in terms of differences. Let f be a continuous func-
tion on R2 . Let x D .x1 ; x2 / 2 R2 , h 2 R, and set
where C.Q/ is the usual space of continuous functions on Q. This applies in par-
ı ı
ticular to S 1 H .Q/ D S21 W .Q/, according to (5.156), (5.157). We refer the reader
again to [T10, Section 3.2.3], where one finds detailed explanations and proofs. In
ı
particular, (5.160)–(5.162) is a basis in S 1 H .Q/. For a related description one needs
the sequence space h.Q/ collecting all complex sequences
˚
D k;m W k 2 N20 ; m 2 Pk (5.168)
with 0 11=2
B X k1 Ck2 X C
k jh.Q/k D @ 2 jk;m j2 A < 1: (5.169)
k2N2 m2Pk
0
ı
Proposition 5.17. Let f 2 L1 .Q/. Then f 2 S 1 H .Q/ if, and only if, it can be
represented as X X
f D k;m vk;m ; 2 h.Q/; (5.170)
k2N2 m2Pk
0
5.6 Peaks, troughs, stripes, spots, and Faber bases 89
Remark 5.18. This is a special case of [T10, Theorem 3.13, p. 138/139] adapted to
our special situation. We have (5.167). Recall that the above representation
X X
f D 2
dk;m .f / vk;m (5.173)
k2N2 m2Pk
0
ı
is a conditional basis in C .Q/ D ff 2 C.Q/ W f j@Q D 0g. This follows from
[T10, pp. 136/137] and the explanations given there.
Peaks and troughs. We wish to relate the astonishing regular patterns produced
by tiny chemotactic bacteria or as observed on the skin of leopards to suitable sub-
ı
spaces of S 1 H .Q/. Let
n o
P k D m D .m1 ; m2 / 2 N20 ; ml D 0; : : : ; 2k 1I l D 1; 2 ; k 2 N0 ;
(5.174)
be the diagonal part of Pk in (5.161). Then
Qk;m D 2k m C 2k Q; k 2 N0 ; m 2 P k; k 2 N; (5.175)
is the subdivision of Q D .0; 1/2 into squares of side-length 2k , that is Q D
S
m2P k Qk;m . Furthermore,
[ 2 n
[
k
o
@Q D k
@Qk;m D x D .x1 ; x2 / 2 Q; either x1 D 2k l or x2 D 2k l
m2P k lD0
(5.176)
is the related grid of lines of length 1 in Q. For fixed k 2 N (characterizing the size
ı
of the spots) the above regular pattern may be described by f 2 S 1 H .Q/ having a
support located in pairwise disjoint squares Qk;m . In particular,
f 2 S 1 H.Q/ with f j@Qk D 0: (5.177)
This is justified by (5.167). We expand f according to (5.170), (5.171). By (5.166),
l;m .f / D 0 if l D .l1 ; l2 / 2 N20 with either l1 < k or l2 < k, so
X X
f D l;m .f / vl;m : (5.178)
l2N2 ;l1 k;l2 k m2Pl
90 5 Further PDE models for chemotaxis
We discuss the outcome having in mind that f represents regular patterns created by
chemotactic bacteria or spots on the skin of leopards.
(i) One may assume f 0 in Q with f .x/ D 0 in troughs and f .x/ > 0
at peaks. (Recall that f stands for the cell density or the concentration of related
chemicals.) Then it is at least reasonable that the building blocks vl;m according to
(5.162), (5.159) are also non-negative. This does not necessarily apply to the coeffi-
cients l;m .f / in (5.178) which originate by the 9-point-evaluation (5.171), (5.166)
and
kf jS 1 H.Q/k k.f / jh.Q/k: (5.179)
(ii) In [T10] we dealt with so-called sampling numbers and the numerical inte-
gration of functions belonging to S 1 H.Q/. Of particular interest are approximations
in Lp .Q/, 1 p 1, with the following outcome. Let f 2 S 1 H.Q/ be given by
(5.178). Then
(
p 22k ; if 1 p 2;
f jLp .Q/ c k @ f jL2 .Q/
2
(5.180)
2k. 21 C p
1
/
2 ; if 2 < p 1;
and
f jS 1=2
C .Q/ D
f j C 1=2
.Q/
jf .x1 ; x2 / f .y1 ; x2 / f .x1 ; y2 / C f .y1 ; y2 /j
C sup
xD.x1 ;x2 /2Q; jx1 y1 j1=2 jx2 y2 j1=2
yD.y1 ;y2 /2Q
(5.182)
with 0=0 D 0. This follows from [T10, (4.218), p. 208] and the embeddings
S 1 H.Q/ ,! S 1=2 C .Q/ ,! C 1=2 .Q/ ,! C.Q/: (5.183)
k2N2
0;
m2Pk
(5.184)
whereas the other embeddings are obvious.
Stripes. The above considerations apply to peaks and spots concentrated in a
few squares of type (5.175). Stripes as again produced by chemotactic bacteria or as
displayed by zebras do not fit in this scheme, at least at the first glance. Instead of
(5.175), (5.176) one has now the stripes
n o
Sk;m D .x1 ; x2 / W 2k m < x1 < 2k .m C 1/; 0 < x2 < 1 ; k 2 N;
(5.185)
m D 0; : : : ; 2k 1, and
2 n
[
k
o
@S Dk
x D .x1 ; x2 / 2 Q W x1 D 2k l : (5.186)
lD0
then X X
f D l;m .f / vl;m (5.188)
l2N2 m2Pl
0 ;l1 k
is the counterpart of (5.178). One has (5.180) with 2k in place of 22k and also
(5.183). By the same discussion as above one arrives at zebra-like subspaces or ze-
broid subspaces of S 1 H.Q/.
Spirals, snakes, and other contours. Peaks, troughs, spots on the one hand,
and stripes on the other hand fit pretty well in the scheme of Faber bases accord-
ing to (5.160). One may ask whether the above approach can be extended to other
92 5 Further PDE models for chemotaxis
Remark 5.19. The restriction of the above discussion to n D 2 is quite natural. But
the extension of these considerations to, say, the cube Q D .0; 1/n Rn , n 3, is
essentially a technical matter. The related mathematical background may be found in
[T10]. The case n D 3 might be of interest in connection with chemotaxis Navier–
Stokes equations as considered in Chapter 7 below.
Remark 5.20. We return to the above discussion in the plane R2 and add a few
somewhat vague comments which may also be considered as a proposal. We are in-
ı
terested in functions f 2 S 1 H .Q/ such that D supp f is aesthetically appealing
(whatever this means). Examples are functions belonging to leopardean subspaces
(reflecting regular peaks and troughs), or functions belonging to zebroid subspaces
(reflecting stripes). But one would like to incorporate other sets displayed on the
skins of animals or created by chemotactic bacteria. We represent now Q D .0; 1/2
by complex numbers z D Re z C i Im z, 0 < Re z < 1, 0 < Im z < 1. Then
z0 D 12 .1 C i / is the center of Q. Let 0 t < 1 and
0 < r1 .t/ < r2 .t/ ! 0 if t ! 1; (5.191)
r2 .t/ < 1=2. Then
˚
D z0 C z D r ei t ; r1 .t/ < r < r2 .t/; 0 t < 1 (5.192)
5.6 Peaks, troughs, stripes, spots, and Faber bases 93
is a spiral centered at z0 , where the local width %.t/ D r2 .t/ r1 .t/ is assumed to
be small compared with r1 .t/. Then one can try to install a gliding Faber frame
based on the squares Qk.t /;m.t / , where 2k.t / m.t/ is the lattice point nearest to
z0 C r.t/ei t , 2r.t/ D r1 .t/ C r2 .t/, and 2k.t / %.t/. One wishes to expand
fk.t /;m.t / D f jQk.t /;m.t / as in (5.178) with l1 k.t/, l2 k.t/. This requires
Qk.t /;m.t / \ \ Pk D ;, where Pk has the same meaning as in (5.161) with either
k1 < k.t/ or k2 < k.t/. But the request that fk.t /;m.t / jPk D 0 if either k1 < k.t/
or k2 < k.t/ is rather severe and one would like to replace the rigid lattices Pk in
(5.161) by more flexible ones, at the best well adapted to . The fibre-preserving
diffeomorphic maps (5.189) of Q onto itself and of Pk onto .Pk / may be consid-
ered as a first, however not really satisfactory, step. But more promising might be
the attempt to replace the rigid Faber basis by more flexible Faber–Schauder bases.
Schauder (presumably not knowing Faber’s related paper [Fab09]) constructed in
[Scha27, pp. 48/49] a basis in C.I /, where again I D .0; 1/, replacing in (5.158),
(5.159) the regular nodes f2j m W j 2 N0 ; m D 0; : : : ; 2j 1g by an arbitrary
dense set fyj W j 2 Ng I . A description and a more recent proof may be found in
[AlK06, pp. 9/10]. The extension of Faber–Schauder bases from C.I / to C.Q/ with
Q D .0; 1/2 goes back to [Sem63, Sem82]. The question arises of whether the theory
of Haar and Faber bases in more general spaces of dominating mixed smoothness as
developed in [T10] can be extended to related generalized Haar and Faber–Schauder
bases. In particular, one may ask whether corresponding Faber–Schauder bases in
C.Q/ are also bases in S 1 H.Q/. If this is the case then one can try to use these more
flexible Faber–Schauder bases in the above context. Instead of [Sem82] one could
try to construct first generalized Haar and Faber–Schauder bases on suitable Besov
r r
spaces Bp;p .I / and extend the outcome in terms of tensor products to Sp;p B.Q/.
Details about this procedure may be found in [T10, Sections 1.2.7, 3.2.3]. We refer
the reader in this context also to [GeL61, Schm07, SiU09].
Faber devices. In the so-called worst case of approximation, sampling, and nu-
merical integration all functions f of a suitable space A.Q/ on Q are admitted. One
may consult [T10] for details, explanations and references. The above considerations
suggest to refine this standard approach, complementing f 2 A.Q/ by the require-
ment supp f , where is a prescribed subset of Q having some distinguished
properties. Restricted to the above discussions one might specify these comments as
ı
follows: If Q is the aesthetically appealing support of a function f 2 S 1 H .Q/,
then one may ask for
-adapted gliding Faber–Schauder frames
or
-adapted gliding 9-point-evaluations.
Chapter 6
Navier–Stokes equations
6.1 Preliminaries
Navier–Stokes equations are sometimes considered as the big brother of Keller–
Segel equations. There are striking similarities as far as the set-up in the context
of inhomogeneous function spaces Asp;q .Rn / (as well as their homogeneous coun-
terparts APsp;q .Rn / and Asp;q .Rn / in the understanding of [T15] and Section 1.1)
are concerned. The nonlinearities for Navier–Stokes equations are simpler than
for Keller–Segel equations. On the other hand, the requirement that the veloc-
ity field u D u.x; t/ D u1 .x; t/; : : : ; un .x; t/ of the viscous, homogeneous,
incompressible fluid should be divergence-free requires some additional construc-
tions. For the general background of Navier–Stokes equations we refer the reader
to [Ama00, Lem02, Lem16, BoF13]. We dealt in [T13, T14] with Navier–Stokes
equations in the context of more general spaces, covering in particular related inho-
mogeneous supercritical spaces Asp;q .Rn /. Further references may be found in [T14,
p. 132]. In recent times there is a growing interest to combine Keller–Segel equations
and Navier–Stokes equations in what are sometimes called chemotaxis Navier–Stokes
equations. This will be the topic of Chapter 7 below. The present Chapter 6 may be
considered as a preparation. We borrow some material from [T13, T14] adapted to
our later needs. We will be brief, but to some extent self-contained. In particular we
add a few arguments in preparation of what follows afterwards in Chapter 7.
In [T13, T14] we dealt with the Navier–Stokes equations
X
n
Œ.u; r/u k D uj @j uk ; k D 1; : : : ; n; (6.4)
j D1
where as before
X
n
div u D @j uj ; rP D .@1 P; : : : ; @n P /: (6.5)
j D1
96 6 Navier–Stokes equations
By (6.2),
X
n
.u; r/u D div .u ˝ u/; div .u ˝ u/k D @j .uj uk /: (6.6)
j D1
X
n
.Pf /k D f k C Rk Rj f j ; k D 1; : : : ; n; (6.9)
j D1
We discuss briefly how (6.1)–(6.3) on the one hand, and (6.7), (6.8) on the other hand
are related to each other. For this purpose we collect first a few properties of the Leray
projector P following [T13, Section 6.1.2]. Let L2 .Rn /n be the Hilbert space of all
complex-valued vector-functions f D .f 1 ; : : : ; f n /, f k 2 L2 .Rn /, furnished in the
usual way with the scalar product
n Z
X
.f; g/L2.Rn /n D f k .x/ g k .x/ dx; (6.11)
Rn
kD1
Let
div L2 .Rn /n D ff 2 L2 .Rn /n W div f D 0g (6.13)
n
be the divergence-free closed subspace of L2 .R /n . Of course, div f must be inter-
preted in the framework of S 0 .Rn /, that means div f 2 S 0 .Rn / if f 2 L2 .Rn /n .
Let Q be the linear bounded operator in L2 .Rn /n defined on the Fourier side by
b k X bj
n
k
Qf k ./ D j f D i 2 .div f /^ ./; k D 1; : : : ; n: (6.14)
jj 2 jj
j D1
6.1 Preliminaries 97
One obtains by direct calculations that the Leray projector P D id Q is the orthog-
onal projection of L2 .Rn /n onto div L2 .Rn /n :
PL2 .Rn /n D div L2 .Rn /n : (6.15)
Furthermore,
PrP D 0 for any P 2 L2 .Rn /: (6.16)
Details of these well-known assertions may be found in [T13, Section 6.1.2,
pp. 194/195]. The above mapping properties can be extended to the vector space
Y
n
Asp;q .Rn /n D Asp;q .Rn /; (6.17)
j D1
Proof. The corresponding mapping properties of the Riesz transforms Rj are covered
by [T14, Theorem 3.52, p. 90]. The remaining assertions follow now from the above
considerations extended from L2 .Rn / to Asp;q .Rn /.
After these preparations we have a closer look at (6.1)–(6.3) on the one hand,
and (6.7), (6.8) on the other hand. Similarly as in (4.45) we convert (6.7), (6.8) in
Section 6.3 into a fixed point problem with
Asp;q .Rn /; 1 < p < 1; 1 q 1; s > n=p; (6.22)
as the underlying spaces. Then one can apply Proposition 6.1 where s > n=p ensures
that Asp;q .Rn / is a multiplication algebra, (3.4), (3.5), and the references given there.
In particular, if u.x; t/ 2 Asp;q .Rn /n , 0 < t < T , solves (6.7), (6.8) then
Z t
u.x; t/ D Wt u0 .x/ Wt Pdiv .u ˝ u/.; / d .x/; (6.23)
0
98 6 Navier–Stokes equations
X
n
rP D Q div .u ˝ u/ with P D Rj Rl .ul uj / (6.27)
l;j D1
Proof. By (6.9), (6.10), the Leray projector P is homogeneous of order zero. Then
the above assertion follows by direct calculations.
Remark 6.3. Now one can argue as in the Remarks 2.2 and 2.5. If u is a solution
of (6.7), (6.8) in Rn .0; T / with the initial data u.x; 0/ D u0 .x/, x 2 Rn , then
according to the above proposition u solves the same problem in Rn .0; 2 T /.
Let us assume that there are numbers ı > 0 and T > 0 such that (6.7), (6.8) with the
initial data u.x; 0/ D u0 .x/, x 2 Rn , has a solution in Rn .0; T / if
u0 2 Asp;q .Rn /n with u0 jAs .Rn /n ı: (6.33)
p;q
Here Asp;q .Rn / (or APsp;q .Rn /) are again the homogeneous spaces as discussed in
[T15], with the homogeneity (2.15). Then one can ask of whether u is again a
solution of (6.7), (6.8) with the same initial data u0 in Rn .0; 2 T /. For this
purpose one has first to solve (6.29), (6.30) under the above assumptions, that is
n
1sC p u0 jAsp;q .Rn /n D 1 u0 .1 / jAsp;q .Rn /n
(6.34)
D u .; 0/ jAsp;q .Rn /n ı:
In other words, if
u0 jAs .Rn /n ı 1Cs pn ; > 0; (6.35)
p;q
(6.7), (6.8), then it follows from (6.35) upon letting ! 1 that one has for arbitrar-
ily large u0 2 Asp;q .Rn /n a solution in Rn .0; 2 T /, which means in shrinking
time intervals. The same discussion applied to subcritical spaces (for Navier–Stokes
equations) Asp;q .Rn /, s < n
p
1, suggests that (6.7), (6.8) has global solutions in
Rn .0; 1/ for arbitrarily large u0 2 Asp;q .Rn /n . However, this is rather unlikely.
Some further discussions may be found in [T15, pp. 2–4]. We deal here with inho-
mogeneous supercritical spaces Asp;q .Rn /, s > pn 1.
with
P u.y; / D P div .u ˝ u/.y; /: (6.40)
As already indicated in Section 4.1,
solutions u.x; t/ arising from related fixed point problems are called mild.
In addition to uniqueness (local in time, 0 < t < T ), one asks whether the solution is
strong, that is
u 2 C Œ0; T /; Ap;q .Rn /n for all admitted u0 2 Ap;q .Rn /n : (6.41)
6.3 Main assertions 101
As before, C Œ0; T /; Ap;q .Rn /n is the space of all continuous functions up to
1
t D 0 normed by (6.38) with a D 0. Let C .R .0; T //n be the collec-
n
tion of all g.x; t/ D g 1 .x; t/; : : : ; g n .x; t/ , x 2 Rn , 0 < t < T , such that
g j 2 C 1 .Rn .0; T //, j D 1; : : : ; n (C 1 –functions in the open strip Rn .0; T /).
Proof. This is the direct counterpart of Theorem 4.3 and its proof, where in turn we
relied on [T13, Theorem 5.24, pp. 183–186]. We indicate the necessary modifica-
tions. Instead of (4.16), (4.17) we convert (6.43), (6.44) into the fixed point prob-
lem (6.39) with the nonlinearity P given by (6.40). By (3.4) and (3.5), the underly-
ing spaces Asp;q .Rn / are multiplication algebras. Using again the mapping property
@j W Asp;q .Rn / ,! As1 n
p;q .R / and Proposition 6.1, one obtains
P u jAs1 .Rn /n c u jAs .Rn /n 2 : (6.48)
p;q p;q
Then one is in the same (vector-valued) position as in (4.19)–(4.21) and the technical-
ities discussed afterwards with related references to [T13]. This proves part (i) of the
theorem. Similarly one can justify part (ii), transferring (4.22)–(4.24) to the situation
under consideration.
Proof. One can argue as in the proof of Corollary 4.15. By (6.39) and Theorem 6.4,
the related mild solutions satisfy
Z
t 1
u .x; t/ u .x; t/ D
1 2
Wt u10 u20 .x/ Wt P u P u .; / d .x/
2
0
(6.53)
1 2
with P u and P u as in (6.40). This must be estimated in As1Cg
Let u
p;q .Rn /n .
be either u1 or u2 . Then similarly to (4.74) with a reference to [T14, Theorem 4.1,
6.4 Stability and well-posedness 103
Remark 6.7. By assumption, g.~ 12 / is positive. Then one can choose ı > 0 and
T > 0 in (6.50) such that (6.49) holds for given " > 0. In other words, (6.43), (6.44)
with (6.47) is also stable. If, in addition, q < 1, then (6.43), (6.44) is well-posed in
the sense introduced above.
Remark 6.8. We dealt in Section 4.7 with decay properties of the parabolic-parabolic
equations (4.50)–(4.53). In particular, one has the rather satisfactory assertion
(4.108), (4.109). But the arguments used there cannot be extended without severe
restrictions to the Navier–Stokes equations (6.43), (6.44). There is no counterpart
of Proposition 6.1 for all weighted spaces Asp;q .Rn ;
/ according to (4.82)–(4.84) in
place of Asp;q .Rn / with
> 0. Nevertheless, something can be said that is in very
good agreement with certain recent observations about the spatial decay of solutions
of the Navier–Stokes equations (6.1)–(6.3) on the one hand, and the extension of the
positivity assertions for the Keller–Segel equations (4.50)–(4.53) according to Theo-
rem 4.21 to related chemotaxis Navier–Stokes equations as considered in Section 7.7
below on the other hand. Mapping properties of the Leray projector P are reduced by
(6.9) to related mapping properties of the Riesz transforms Rj . According to [Ste93,
p. 205],
Rj W Lp .Rn ;
/ ,! Lp .Rn ;
/; 1 < p < 1; (6.55)
if, and only if, wp with w .x/ D .1 C jxj2 /=2 belongs to the Muckenhoupt class
Ap .Rn /. This means n <
p < n.p 1/, [T14, pp. 19/20], n 2 N. Then,
generically, Rj f .x/ with f 2 D.RP n
/ D C01 .Rn / doesP not decay stronger than
n
jxj at infinity. (Recall that id D njD1 Rj2 , i.e., f D njD1 Rj .Rj f /.) Simi-
larly for Pu with u 2 C01 .Rn /n , n 2. Precise decay properties for the Navier–
Stokes equations (6.1)–(6.3) have been obtained recently. Let 2 n < p < 1 and
0
p < n.p 1/ C p. Let u0 2 Lp .Rn ;
/n with div u0 D 0.Then there is a num-
ber T > 0 such that (6.1)–(6.3) has a unique solution u 2 C Œ0; T ; Lp .Rn ;
/n .
The related decay u.; t/ 2 Lp .Rn ;
/ cannot be improved generically even if
u0 2 C01 .Rn /n . These assertions are due to [Vig05]. If p D 1, then it follows
104 6 Navier–Stokes equations
from [BrM02] that generically no stronger decay than jxjn1 at infinity can be ex-
pected even if u0 2 C01 .Rn /n . According to [BrV07] one has even
p
c tjxjn1 ju.x; t/j c 0 tjxjn1; 0 < t t0 ; jxj C= t; (6.56)
0 < c < c 0 < 1, C > 0, generically with respect to u0 2 C01 .Rn /n , n 2,
and exceptional spatial directions. We refer the reader to [BrM02, Vig05, BrV07] for
precise formulations, proofs, and explanations of what is meant by generically. One
may also consult [Lem16, Section 4.10, pp. 72–77] for detailed discussions of the case
n D 3. The exceptional initial data u0 for which the solution u.x; t/ decays stronger
than jxjn1 at infinity are not stable in the understanding of (6.49), (6.50), which
means that they are not of physical relevance. By (6.56) one has ju.x; t/j > 0 instan-
taneously even if u0 2 C01 .Rn /n , which again contradicts the physical law saying
that information travels with at most the speed of light (the Navier–Stokes equations
inherited this malaise from the usual linear heat equation in an even stronger way,
maybe damped by quadratic nonlinearities, but reinforced by the Leray projector).
Remark 6.9. Recall that we used the decay properties for the Keller–Segel equations
as described in Theorem 4.19 to ensure the positivity of the cell density u.x; t/ and
of the concentration of the chemical v.x; t/ in Theorem 4.21. An extension of this
observation to the chemotaxis Navier–Stokes as considered in Chapter 7 is desirable.
We return to this point in Section 7.7. For this purpose one needs first a weighted
counterpart of Theorem 6.4 for some spaces Asp;q .Rn ;
/ as introduced in (4.82)–
(4.84). So far we have (6.55) with n <
p < n.p 1/. This can be extended to
Rj W Asp;q .Rn ;
/ ,! Asp;q .Rn ;
/; 1 < p < 1; n <
p < n.p 1/;
(6.57)
s 2 R, where Asp;q .Rn ;
/ is either Bp;q
s
.Rn ;
/ with 0 < q 1, or Fp;q
s
.Rn ;
/
with 1 < q < 1. We justify (6.57). First we remark that the operator I in (1.14),
(1.15) is also a lift in the above weighted spaces,
I Asp;q .Rn ;
/ D As n
p;q .R ;
/ (6.58)
[ET96, p. 158]. Then (6.55) can be extended first to the weighted Sobolev spaces
s
Fp;2 .Rn ;
/ D Hps .Rn ;
/ D Is Lp .Rn ;
/ by lifting. Later on we use the rather
special interpolation property (7.21) for F -spaces. The respective interpolation
for corresponding weighted spaces follows from (4.82), (4.83) interpreted as an
isomorphic map f 7! w f between weighted and unweighted spaces. Combined
again with the lifting (6.58), one obtains (6.57) for the F -spaces. The extension
of this assertion to the B-spaces is a matter or real interpolation based on the just
indicated isomorphism and well-known interpolation properties for the unweighted
spaces. Using again (6.9) one can transfer (6.57) to the Leray projector P,
P W Asp;q .Rn ;
/n ,! Asp;q .Rn ;
/n; 1 < p < 1;
n <
p < n.p 1/;
(6.59)
s 2 R, n 2, with 1 < q < 1 for the F -spaces and 0 < q 1 for the B-spaces.
Using these observations and the arguments on which Theorem 4.19 is based, one
6.4 Stability and well-posedness 105
can extend Theorem 6.4 from the unweighted spaces Asp;q .Rn / to weighted spaces
Asp;q .Rn ;
/ under the same restrictions for all parameters as there, complemented
by 1 < q < 1 for the F -spaces, and 0
p < n.p 1/. We do not give an explicit
formulation, but we use these considerations later on in Section 7.7.
Remark 6.10. Blow-up phenomena for Keller–Segel equations and their numerous
modifications have been studied in detail in the literature. But as already mentioned
in Remark 5.9, these phenomena are not confirmed by experimental observations.
One asks for modifications of the classical Keller–Segel equations avoiding blow-
ups. The situation for the Navier–Stokes equations (6.1)–(6.3) or (6.7), (6.8) is totally
different. There are apparently no suggestions to modify these equations substantially
to ensure that there are no blow-ups. Just the opposite: it is one of the millennium
prize problems to clarify whether (6.1)–(6.3) has for any real initial data u0 2 S.R3 /3 ,
div u0 D 0, a (unique) global (real) smooth solution (with uniformly bounded energy
in time) in R3 Œ0; 1/, [Fef06]. A description of the recent situation may be found
in [Lem16, Section 20.3, pp. 670–673]. We mention two remarkable facts. Let
p
@t u u D .u2 / in Rn .0; 1/; (6.60)
7.1 Introduction
In 2005 the authors of [TCDWKG05] described their findings about the behaviour of
aerobic bacteria living in thin fluid layers near solid-air-water contact lines. In this
problem the biology of chemotaxis is intimately connected with the physics of dif-
fusion, mixing and, in particular, buoyancy [the vertical upward force of a fluid on
a floating or immersed body, which is equal to the weight of fluid displaced by the
body; Oxford dictionary] governed by the Navier–Stokes equations. The experiments
were conducted with Bacillus subtilis (0:8 m diameter, 5 m D 5 106 m long,
[DHDWBG13]) in sessile drops with a cell concentration of 109 cm3 . Even these
simple chemotatic bacteria exhibit a complex collective behaviour. Dictyostelium
discoideum underlying the Keller–Segel equations as treated in the Chapters 3 and 4
is a giant compared with Bacillus subtilis: for related experiments in planar Petri
dishes a density of 5 104 cm2 of these amoebae is sufficient. There is a further
striking difference. Whereas Dictyostelium discoideum produces an auto-attractant,
the chemical cAMP, the behaviour of Bacillus subtilis is governed by oxygen con-
sumption, oxygentaxis, with a bacteria consumption of 106 oxygen molecules=sec,
[DCCGK04]. This has the consequence that the responsible term u v in (1.46),
(4.51) (˛ D 1) must be replaced by u v in the related mathematical models as de-
scribed below. This changes the nature of the corresponding equations decisively.
Based on their observations, the authors of [TCDWKG05] suggested a mathemati-
cal model, called nowadays chemotaxis Navier–Stokes equations. It attracted a lot
of attention especially in the last few years, both in well-reputed journals and in the
arXiv. The interested reader may consult the survey [BBTW15, Section 4], the papers
[CaL16, Lan16, Win12, Win15] and the references within.
We are interested in a combination of the adapted Keller–Segel system according
to (4.50)–(4.53) in Rn .0; T /, 2 n 2 N, with the Navier–Stokes equations (6.1)–
(6.3) replacing there u now by w, resulting in the following chemotaxis Navier–Stokes
equations
Here again u D u.x; t/ denotes the unknown cell density (population density of bac-
teria), v D v.x; t/ the unknown concentration of the chemical signal (concentration
of oxygen consumed by the bacteria), w.x; t/ D w 1 .x; t/; : : : ; w n .x; t/ the un-
known velocity field of the fluid, and P .x; t/ the unknown (scalar) pressure, whereas
ˆ is a given gravitational potential (preferably the buoyancy as described above).
We use the same notation as before, recalled in connection with the Navier–Stokes
equations (6.1)–(6.3). In addition,
X
n X
n
w ru D w j @j u; w rv D w j @j v: (7.8)
j D1 j D1
We have again a counterpart of (6.6). This suggest to reformulate (7.3), (7.4) similarly
as in (6.7), where P is the Leray projector as described there. This means that we
switch from (7.1)–(7.7) to
@t u u C div .urv/ C w ru D 0 in Rn .0; T /, (7.9)
@t v v C uv C w rv D 0 in Rn .0; T /, (7.10)
@t w w C P Œdiv .w ˝ w/ u rˆ D 0 in Rn .0; T /, (7.11)
u.; 0/ D u0 in Rn ; (7.12)
v.; 0/ D v0 in Rn ; (7.13)
w.; 0/ D w0 in Rn : (7.14)
Similarly to Section 6.1, where we dealt with the Navier–Stokes equations, we ask
how the Navier–Stokes part (7.3), (7.4), (7.7) of (7.1)–(7.7) is related to (7.11), (7.14).
Let w.x; t/ 2 Asp;q .Rn /n with p; q; s as in (6.22) (complemented by suitable assump-
tions for u; v and ˆ detailed below), 0 < t < T be a solution of (7.11), (7.14). Then
one has a counterpart of (6.23), that is
Z t
w.x; t/ D Wt w0 .x/ Wt P Œdiv .w ˝ w/ urˆ .; / d .x/; (7.15)
0
where we assume as there that w0 2 As1Cg p;q .Rn /n . If, in addition, div w0 D 0,
then similarly to (6.23) one has that div w.; t/ D 0, as requested in (7.4). There
is also a counterpart of (6.24)–(6.28), although the unknown pressure P cannot be
constructed explicitly as in (6.27). One has to rely on the following Helmholtz–Weyl
decomposition, based on div Asp;q .Rn /n in (6.19) and
˚
p;q .R / D g 2 Ap;q .R /n W g D rh for some h 2 Ap;q .R / :
rAsC1 n s n sC1 n
(7.16)
Proposition 7.1. Let 1 < p < 1 and s 2 R. Let Asp;q .Rn / be either Bp;q
s
.Rn / with
0 < q 1, or Fp;q .R / with 1 < q < 1. Then
s n
maps Lp .Rn / onto Hps .Rn /, 1 < p < 1, (1.14). Obviously, div and r commute
with Is . Then (7.17) with Asp;q .Rn / D Hps .Rn / follows from (7.19) by lifting. The
s
extension to Bp;q .Rn / is a matter of real interpolation. In the case of Fp;q
s
.Rn / one
can rely on the recent interpolation
2
Fp;q .Rn / D Lp .Rn /; Wp2 .Rn / ;` ; 1 < p; q < 1; (7.21)
q
Under suitable conditions for ˆ (detailed later on) it follows for the spaces covered
by Proposition 7.1 that there is a uniquely determined pressure P 2 AsC1 n
p;q .R / such
that
Q Œu rˆ .w; r/w D rP (7.23)
and (7.3) is satisfied. (P is unique because constants c 6D 0 do not belong to the
spaces AsC1 n
p;q .R /). In the sequel we deal with (7.9)–(7.14) without the additional
assumption div w0 D 0.
The classical Navier–Stokes equations (6.7), (6.8) are preferably considered in Rn
as the underlying domain (where n D 2 and n D 3 deserve special attention). The
situation for Keller–Segel equations is different. Usually one deals with equations
of type (1.45), (1.46) in bounded smooth domains in Rn (with n D 2 as a distin-
guished case). Then the initial data (1.48) are complemented by the Neumann condi-
tions (1.47). It seems to be quite natural from a biological and physical point of view
110 7 Chemotaxis Navier–Stokes equations
that one sticks with this preference if one switches from the classical Keller–Segel
equations to the chemotaxis Navier–Stokes equations (7.1)–(7.7) or (7.9)–(7.14). In
other words, the big majority of papers about chemotaxis Navier–Stokes systems deal
with equations of type (7.1)–(7.7) with .0; T / (preferably .0; 1/) in place of
Rn .0; T /, where is a smooth bounded (sometimes convex) domain in Rn . Then
the Neumann boundary conditions (1.47) are complemented by related Dirichlet con-
ditions for the velocity field of the fluid w, namely
@u @v
.x; t/ D .x; t/ D 0 and w.x; t/ D 0; x 2 @; t > 0: (7.24)
@ @
Our aim here is different. We are mainly interested (as before) in the interplay be-
tween the theory of function spaces on Rn (including more or less sophisticated map-
ping properties) on the one hand, and equations of the above type on the other hand.
This is quite different, also from a technical point of view, from the study of equations
of this type in bounded smooth domains . Then one relies quite often on the Neu-
mann Laplacian having a pure point spectrum, where the related first positive eigen-
value plays a decisive role. One may consult the above-mentioned literature. This
approach cannot be extended from bounded smooth domains to Rn . Our method is
(as before) qualitative (and local in time). In particular, one can modify the nonlin-
earities in (7.1)–(7.3) as long as the related terms can be controlled in the framework
of mapping properties of corresponding function spaces. Preference is given to terms
with biological or physical relevance. In particular, one can incorporate the logistic
terms according to Section 5.2, resulting in
as already done in [Lan16]. Here > 0 stands again for the growth rate of the
population (birth) and > 0 for death by overcrowding. As already mentioned
above, (4.51), with ˛ D 1 and (7.2) differ by
vu
„ƒ‚… and vu
„ƒ‚… (7.26)
auto-attractant oxygen-consumption
originating from the related biological models for Dictyostelium discoideum on the
one hand, and Bacillus subtilis on the other hand. This describes the difference be-
tween produced and consumed chemicals. But it seems quite natural to study double
chemotaxis models in Navier–Stokes fluids if both types of chemicals are present.
This has been done in [KMS16] in an Rn -setting. Then one has to complement the
already present or given chemical (oxygen) v D v 1 in (7.1)–(7.7) or, likewise (7.9)–
(7.14), by a second produced chemical (auto-attractant) v 2 with the typical related
7.2 Critical and supercritical spaces 111
Here u; w; ˆ have the same meaning as before, whereas v 1 , v 2 are the two types
of chemicals as indicated above. Our method is qualitative (and local in time) and
applies both to (7.9)–(7.14) and (7.27)–(7.31). This may justify that we deal mainly
with the chemotaxis Navier–Stokes equations (7.9)–(7.14).
In Section 7.2 we ask which spaces Asp;q .Rn / should be called critical and super-
critical for chemotaxis Navier–Stokes equations, combining what has already been
done in Chapter 2 and Section 6.2. Afterwards we deal in Section 7.3 with map-
ping properties of related nonlinearities. This will be used in Section 7.4 to con-
sider chemotaxis Navier–Stokes equations of type (7.9)–(7.14) in related supercriti-
cal spaces. In Section 7.5 we discuss some further properties. Finally, we indicate
in Section 7.6 how the above considerations can be extended to double chemotaxis
Navier–Stokes equations according to (7.27)–(7.31).
Proof. This follows by direct calculations combining the arguments resulting in the
Propositions 2.1 and 6.2.
Remark 7.3. Now one can argue as in the Remarks 2.2 and 6.3 based on the homo-
geneity (2.15). Let us assume that there are numbers ı > 0 and T > 0 such that
(7.9)–(7.14) (with ˆ in place of ˆ) has a solution in Rn .0; T / if u0 2 Asp;q
u
.Rn /,
v0 2 Asp;q
v
.Rn /, w0 2 Asp;q
w
.Rn /n , with
u0 jAsu .Rn / ı; v0 jAsv .Rn / ı; w0 jAsw .Rn /n ı; (7.41)
p;q p;q p;q
for spaces covered by Definition 1.3. Then one asks whether u , v , w is a solution
of (7.9)–(7.14) with suitable initial data u0 ; v0 ; w0 in Rn .0; 2 T /. To answer this,
one has first to solve (7.32)–(7.40) (with ˆ .x/ D ˆ.x/), that is, by (2.17), (2.31),
and (6.35),
u0 jAsu .Rn / ı 2Csu pn ; > 0; (7.42)
p;q
v0 jAsv .Rn / ı sv pn ; > 0; (7.43)
p;q
w0 jAsw .Rn /n ı 1Csw pn ; > 0: (7.44)
p;q
and 6.4, the solution spaces are smoother by 1 g with 0 < g 1. Otherwise we
proceed as in the case of the Keller–Segel equations in the Chapters 3 and 4 dealing
first with mapping properties of the related nonlinearities in (7.9)–(7.11). There is
a coupling between u; v, and w, making clear that the related spaces Asp;q .Rn / re-
specting separately s > su , s > sv , and s > ww cannot be chosen independently.
We take the Navier–Stokes equations as a guide and adapt the conditions for u and v
appropriately.
be the related nonlinearities. The question arises in which solution spaces (7.9)–
(7.14) should be considered. Guided by related discussions about critical
and super-
critical spaces in Chapter 2, one has the natural restriction s > p 1 in Theorem
n
C
4.13 as far as u is concerned. Its counterpart s > n=p in Theorem 6.4 for the Navier–
Stokes equations is again quite natural. This is also well reflected by (7.45) (critical
spaces for initial data). But now one has to care for the couplings of u; v; w in (7.46)–
(7.48). There might well be several reasonable choices of different solution spaces
for u; v; w. But we try to avoid here additional complications, and take the Navier–
Stokes assumption s > n=p (for the solution spaces) as a guide and adapt related
assumptions for the Keller–Segel ingredients appropriately.
Proposition 7.4. Let 2 n 2 N. Let 1 < p < 1, 0 < q 1 and s > max 12 ; pn .
Let " > 0. Then
PX z jAs1".Rn / c" u jAs .Rn / v jAsC1 .Rn / C w jAs .Rn /n ;
p;q p;q p;q p;q
(7.49)
PY z jA .R / c" v jA .R / u jA .R / C w jA .R /n ;
s" n sC1 n s n s n
p;q p;q p;q p;q
(7.50)
2
PZ z jAs1"
.R /n c" w jAp;q .R /n C c" ˆ jAp;q .R / u jAp;q .Rn /
n s n s n s
p;q
(7.51)
ˆ 2 Ap;q .R /.
s n
114 7 Chemotaxis Navier–Stokes equations
Proof. Step 1. Let, in addition, s > 1. We rely on arguments similar to those used in
the proof of Proposition 3.1. Recall that Asp;q .Rn / with (3.5) is a multiplication alge-
bra according to (3.3), (3.4). Furthermore, we use the pointwise multiplier assertion
(3.14)–(3.16) with s 1 in place of s if 0 < s 1 < n=p. Let Asp;q .Rn / D Bp;q s
.Rn /
be of the indicated type, that is max 1; pn < s < pn C 1. Then one has
PX z jB s1 .Rn / c u rv jB s .Rn /n C c w ru jB s1 .Rn /
p;q p;q p;q
c u jBp;q
s
.Rn / v jBp;q
sC1
.Rn / C w jBp;q
s
.Rn /n :
(7.52)
If s > pn C 1, then (7.52) follows from (3.4) (all spaces involved are multiplication
algebras). All other spaces with s > 1 can be incorporated afterwards at the expense
of " > 0 (elementary embeddings as indicated in (3.29)). This proves (7.49) with
s > 1. The proof of (7.50), (7.51) is similar; here one uses in addition Proposition
6.1.
Step 2. Let, in addition, 1
2
< s < 1, that is max 1 n
;
2 p
< s < 1 and 1 < q < 1. By
(3.16), one has
1 1 1 1
0 ;q 0 .R / Bp;q .R / ,! Bp 0 ;q 0 .R /;
Bp1s C 0 D C 0 D 1;
n s n 1s n
(7.53)
p p q q
s
This shows that Bp;q .Rn / is a pointwise multiplier space for Bp;q
s1
.Rn /. But then one
can argue as in Step 1, first for the above B-spaces and afterwards for all admitted
spaces Asp;q .Rn / at the expense of an " > 0. This applies also to the spaces Asp;q .Rn /
with s D 1.
Remark 7.5. Roughly speaking, the above proposition suggests to deal with the
smoothness assumptions u0 2 As1 p;q .R /, v0 2 Ap;q .R /, w0 2 Ap;q .R /n for
n s n s1 n
the initial data in (7.9)–(7.14), with s as in the above proposition (better adapted for-
mulations may be found in the Theorems 4.13, 6.4, and Theorem 7.6 below). This
should be compared with the critical spaces (7.45) for the cell-densities, the chemi-
cals, and the fluid vectors. In case of the chemicals the situation in (4.50)–(4.53) and
(7.9)–(7.14) is different, as indicated in (7.26). Nevertheless, one can take (7.45) as
a guide. Then s > n=p is natural both for the Navier–Stokes fluid and the chemical
The situation for the cell-density u is different compared to the case
to be consumed.
s > p 1n
in Theorem 4.13. Furthermore, one may ask of whether the addi-
C
tional assumption s > 1=2 in the above proposition can be removed. In some sense
we took the simplest case. It might well be possible that the conditions in the above
7.4 Main assertions 115
be the same spaces as before, normed according to (3.100) and (6.38), where again
a < 2 ensures that one can deal with these spaces in the framework of tempered
distributions.
As in (4.45), (4.46) and (6.39), (6.40), we convert (7.9)–(7.14) into a fixed point
problem relying again on the Duhamel formula (4.4), Proposition 4.1, and its vector-
valued counterpart. This means that we ask for fixed points in the space
L1 .0; T /; a=2; Asp;q .Rn / L1 .0; T /; a=2; AsC1 n
p;q .R /
(7.56)
L1 .0; T /; a=2; Asp;q .Rn /n
for
Z t
Xu0 z.x; t/ D Wt u0 .x/ Wt PX z.; / d .x/; (7.57)
0
Z t
Yv0 z.x; t/ D Wt v0 .x/ Wt PY z.; / d .x/; (7.58)
0
Z t
Zw0 z.x; t/ D Wt w0 .x/ Wt PZ z.; / d .x/; (7.59)
0
with PX , PY , PZ as in (7.46)–(7.48).
116 7 Chemotaxis Navier–Stokes equations
solutions u; v; w arising from related fixed point problems are called mild.
In addition to uniqueness (local in time, 0 < t < T ), one asks whether the solution is
strong, that is
u 2 C Œ0; T /; Ap;q .Rn / for all admitted u0 2 Ap;q .Rn /; (7.60)
v 2 C Œ0; T /; AC1
p;q .R /
n
for all admitted v0 2 AC1 n
p;q .R /; (7.61)
w 2 C Œ0; T /; Ap;q .Rn /n for all admitted w0 2 Ap;q .Rn /n : (7.62)
As before, C Œ0; T /; Ap;q .Rn /n is the space of all continuous functions up to t D 0
normed by (6.38) with a D 0, and similarly for the space C Œ0; T /; Ap;q .Rn / . Let
C 1 .Rn .0; T // and C 1 .Rn .0; T //n be as explained after (6.41).
Theorem 7.6. Let 2 n 2 N. Let 1 < p < 1, 1 q 1 and s > max 1 n
;
2 p
.
(i) Let
0 < g 1; and a D 1 ~g with 0 < ~ < 1: (7.63)
Let
u0 2 As1Cg
p;q .Rn /; v0 2 AsCg n
p;q .R /; w0 2 As1Cg
p;q .Rn /n : (7.64)
Furthermore,
Proof. The above assertions are the direct counterpart of the Theorems 4.3 and 6.4.
This applies also to the proof based on (7.57)–(7.59) and Proposition 7.4.
7.5 Stability and well-posedness 117
The problem (7.9)–(7.14) is called (locally) stable if for any " > 0 there exist a time
T > 0 and a ı > 0 such that
1
z .; t/ z 2 .; t/ jA .Rn / " (7.70)
p;q
Proof. This is the direct counterpart of Corollary 6.6. One can argue in the same way
as there. One has to replace P in (6.53), (6.54) by PX , PY , PZ as in (7.46)–(7.48)
and (7.57)–(7.59).
118 7 Chemotaxis Navier–Stokes equations
Remark 7.8. By assumption, g.~ 12 / is positive. Then one can choose ı > 0 and
T > 0 in (7.71) such that one has (7.70) for given " > 0. In other words, (7.9)–(7.14)
with (7.68) is stable. If, in addition, q < 1, then it follows from Theorem 7.6(ii) that
the problem (7.9)–(7.14) is well-posed as explained above.
PY 1 z D uv 1 C w rv 1 ; (7.74)
PY 2 z D v u C w rv :
2 2
(7.75)
Although quite obvious, we formulate how the modified Theorem 7.6 looks like. If
one has (7.60)–(7.62) now with v 1 ; v 2 in place of v, we call related solutions strong.
Apart from this we use the previous notation.
Theorem 7.9. Let 2 n 2 N. Let 1 < p < 1, 1 q 1 and s > max 12 ; pn .
(i) Let
0<g1 and a D 1 ~g with 0 < ~ < 1: (7.77)
Let
u0 2 As1Cg
p;q .Rn /; v01 ; v02 2 AsCg n
p;q .R /; w0 2 As1Cg
p;q .Rn /n : (7.78)
Furthermore,
then the above solution is strong in the indicated modification of (7.60)–(7.62) with
D s 1 C g.
Proof. This is the direct counterpart of Theorem 7.6, which in turn relies on Theo-
rems 4.3 and 6.4 and their proofs based on (7.57)–(7.59) and Proposition 7.4. This
must be complemented by (7.76), where one has now the two additional terms
2 sC1 n
v jA .R / and u jAs .Rn / : (7.83)
p;q p;q
We check the influence of these terms in our previous arguments. This can be done
in the same way as in the proof of Theorem 5.5: The related estimate in the proof of
Theorem 4.3 (and similarly for the Navier–Stokes equations and chemotaxis Navier–
Stokes equations) relies on (4.19) involving products of u and v in f according to
(4.17), (4.18). Then we distributed a in (4.19) with a=2 to the two factors. If one
has only one factor as in (7.83), then one can simply use a a=2 taking a > 0 and
assuming T 1. Otherwise one can argue as indicated above.
Remark 7.10. The arguments in the proofs of Theorems 5.5 and 7.9 show that there is
no problem to add linear terms in the related Keller–Segel, Navier–Stokes, or chemo-
taxis Navier–Stokes nonlinearities consisting otherwise of quadratic terms or prod-
ucts of two terms. This applies to the logistic terms in (7.25), which is the Navier–
Stokes version of (5.33). If higher powers or related products of u; v; w are involved,
then one needs the same modifications as in Corollary 5.6 and Proposition 5.11.
point in the Remarks 6.8 and 6.9. On the other hand, as indicated at the end of Re-
mark 6.9, Theorem 6.4 can be extended at least to some weighted spaces Asp;q .Rn ;
/
according to (4.82)–(4.84), where in particular 0
p < n.p 1/. Under these re-
strictions one can extend also Theorem 7.6 to these weighted spaces (1 < q < 1 for
F -spaces). Then one is in the same position as in Theorem 4.21, based on Theorem
4.19. Wegive a somewhat rough description. Let 2 n 2 N and 1 < p; q < 1. Let
s > max 1; pn . Let
1 1 1
n max 0; <
<n 1 ; 1 < p < 1: (7.84)
2 p p
One can follow the proof of Theorem 4.21 now based on the indicated
-version of
Theorem 7.6, applied to (7.1), (7.2) instead of (4.50). We omit the details.
We discussed in Remark 5.9 blow-up phenomena for Keller–Segel equations and
the attempts to modify these equations in order to avoid this effect. One may ask the
same questions with respect to (7.1)–(7.7) or (7.9)–(7.14). But this might be a tricky
task. One has now in addition Navier–Stokes equations, for which blow-up is a very
delicate question, as we already discussed in Remark 6.10.
Bibliography
[Adl75] J. Adler, Chemotaxis in bacteria. Ann. Rev. Biochem. 44 (1975), 341–356. [8, 37]
[AlK06] F. Albiac and N.J. Kalton, Topics in Banach Space Theory, Springer, New York,
2006. [93]
[Ama00] H. Amann, On the strong solvability of the Navier–Stokes equations. J. Math. Fluid
Mech. 2 (2000), 16–83. [95]
[AmA11] A. Ambrosetti and D. Arcoya, An Introduction to Nonlinear Functional Analysis
and Elliptic Problems, Birkhäuser, Boston, 2011. [82]
[Baa15] F. Baaske, Heat and Navier–Stokes equations in supercritical function spaces. Rev.
Mat. Complut. 28 (2015), 281–301. [9, 19]
[BGM08] R.E. Baker, E.A. Gaffney, and P.K. Maini, Partial differential equations for self–
organization in cellular and developmental biology. Nonlinearity 21 (2008), R251–
R290. [9, 75, 86]
[BBTW15] N. Bellomo, A. Bellouquid, Y. Tao, and M. Winkler, Towards a mathematical the-
ory of Keller–Segel models of pattern formation in biological tissues. Math. Mod-
els Methods Appl. Sciences 25 (2015), 1663–1763. [9, 40, 41, 70, 74, 78, 83,
107]
[BLM16] T. Black, J. Lankeit, and M. Mizukami, On the weakly competitive case in a two-
species chemotaxis model. arXiv (2016), Art. ID 1604.03529. [77]
[BMS10] G. Bourdaud, M. Moussai, and W. Sickel, Composition operators on Lizorkin–
Triebel spaces. J. Funct. Anal. 259 (2010), 1098–1128. [74]
[BMS14] G. Bourdaud, M. Moussai, and W. Sickel, Composition operators acting on Besov
spaces on the real line. Ann. Mat. Pura Appl. 193 (2014), 1519–1554. [74]
[BoS11] G. Bourdaud and W. Sickel, Composition operators on function spaces with frac-
tional order of smoothness. RIMS Kôkyûroku Bessatsu B26, Res. Inst. Math. Sci.
(RIMS), Kyoto, 2011, 93–132. [74]
[BoP08] J. Bourgain and N. Pavlović, Ill-posedness of the Navier–Stokes equations in a
critical space in 3D. J. Funct. Anal. 225 (2008), 2233–2247. [27]
[BoF13] F. Boyer and P. Fabrie, Mathematical Tools for the Study of the Incompressible
Navier–Stokes Equations and Related Models, Springer, New York, 2013. [95]
[BrM02] L. Brandolese and Y. Meyer, On the instantaneous spreading for the Navier–Stokes
system in the whole space. ESAIM Control Optim. Calc. Var. 8 (2002), 273–285.
[104]
[BrV07] L. Brandolese and F. Vigneron, New asymptotic profiles of nonstationary solutions
of the Navier–Stokes system. J. Math. Pures Appl. 88 (2007), 64–86. [104]
[Bro00] F.E. Browder, Mathematical challenges of the 21st century. Notices Amer. Math.
Soc. 47 (2000), 324. [v]
[BuB91] E.O. Budrene and H.C. Berg, Complex patterns formed by motile cells Escherichia
coli. Nature 349 (1991), 630–633. [86]
122 Bibliography
[BuB95] E.O. Budrene and H.C. Berg, Dynamics of formation of symmetrical patterns of
chemotatic bacteria. Nature 376 (1995), 49–53. [86]
[CaL16] X. Cao and J. Lankeit, Global classical small-data solutions for a three-
dimensional chemotaxis Navier–Stokes system involving matrix-valued sensitiv-
ities. Calc. Var. Part. Diff. Equ. 55 (2016), 107. [41, 107]
[CoP06] L. Corrias and B. Perthame, Critical space for the parabolic-parabolic Keller–Segel
model in Rd . C. R. Acad. Sci. Paris, Ser. I, 342 (2006), 745–750. [40]
[CoP08] L. Corrias and B. Perthame, Asymptotic decay for the solutions of the parabolic-
parabolic Keller–Segel chemotaxis system in critical spaces. Math. Comput.
Model. 47 (2008), 755–764. [40]
[CPZ04] L. Corrias, B. Perthame, and H. Zaag, Global solutions of some chemotaxis and
angiogenesis systems in high space dimensions. Milan J. Math. 72 (2004), 1–28.
[40, 62]
[DeL14] C. Deng and T. Li, Well-posedness of a 3D parabolic-hyperbolic Keller–Segel sys-
tem in the Sobolev space framework. J. Diff. Equations 257 (2014), 1311–1332.
[27, 40]
[DeV14] C. Deng and J. Villavert, Ill-posedness of the two-dimensional Keller–Segel model
in Triebel–Lizorkin spaces. Nonlinear Anal. 95 (2014), 38–49. [27, 40]
[DeY13] C. Deng and X. Yao, Ill-posedness of the incompressible Navier–Stokes equations
1;q
in FP1 .R3 /. arXiv (2013), Art. ID 1302.7084. [27]
[DCCGK04] C. Dombrowski, L. Cisneros, S. Chatkaew, R.E. Goldstein, and J.O. Kessler, Self-
concentration and large-scale coherence in bacterial dynamics. Phys. Rev. Lett. 93
(2004), 098103. [86, 107]
[DHDWBG13] J. Dunkel, S. Heidenreich, K. Drescher, H.H. Wensink, M. Bär, and R.E. Goldstein,
Fluid dynamics of bacterial turbulence. Phys. Rev. Lett. 110 (2013), 228102. [107]
[ET96] D.E. Edmunds and H. Triebel, Function Spaces, Entropy Numbers, Differential
Operators, Cambridge University Press, Cambridge, 1996. [20, 53, 54, 75, 104]
[Fab09] G. Faber, Über stetige Funktionen. Math. Ann. 66 (1909), 81–94. [93]
[Fef06] C.L. Fefferman, Existence and smoothness of the Navier–Stokes equation. In The
millennium prize problems (C. Carlson, A. Jaffe, and A. Wiles, eds.), Amer. Math.
Soc., Providence, 2006, 57–77. [105]
[Fey80] R. Feynman, The Character of Physical Law. M.I.T. Press, Cambridge, 1980 (9th
printing, first ed. 1965). [vii]
[GaZ98] H. Gajewski and K. Zacharias, Global behaviour of a reaction-diffusion system
modelling chemotaxis. Math. Nachr. 195 (1998), 77–114. [9]
[Gal11] G.P. Galdi, An Introduction to the Mathematical Theory of the Navier–Stokes
Equations, Springer, New York, 2011 (Sec. ed.). [109]
[GaP09] I. Gallagher and M. Paicu, Remarks on the blow-up of solutions to a toy model
for the Navier–Stokes equations. Proc. Amer. Math. Soc. 137 (2009), 2075–2083.
[105]
[GeL61] B.R. Gelbaum and J. Gil de Lamadrid, Bases of tensor products of Banach spaces.
Pacific J. Math. 11 (1961), 1281–1286. [93]
Bibliography 123
[HaT94] D.D. Haroske and H. Triebel, Entropy numbers in weighted function spaces and
eigenvalue distributions of some degenerate pseudo-differential operators I. Math.
Nachr. 167 (1994), 131–156. [53]
[HaT05] D.D. Haroske and H. Triebel, Wavelet bases and entropy numbers in weighted
function spaces. Math. Nachr. 278 (2005), 108–132. [55]
[Hil02] D. Hilbert, Mathematical problems. Bulletin Amer. Math. Soc. 8 (1902), 437–479.
English translation by M.W. Newson with the approval of Hilbert of the German
original, Mathematische Probleme. Göttinger Nachrichten (1900), 253–297. [v]
[HiP09] T. Hillen and K.J. Painter, A user’s guide to PDE models for chemotaxis. J. Math.
Biol. 58 (2009), 183–217. [8, 9, 15, 20, 62, 70, 78]
[Hor03] D. Horstmann, From 1970 until present: The Keller–Segel model in chemotaxis
and its consequences I. Jahresbericht DMV 105 (2003), 103–165. [8, 9, 40, 62, 75,
78]
[Hor04] D. Horstmann, From 1970 until present: The Keller–Segel model in chemotaxis
and its consequences II. Jahresbericht DMV 106 (2004), 51–69. [8, 9, 40, 62, 75,
78]
[HoW05] D. Horstmann and M. Winkler, Boundedness vs. blow-up in a chemotaxis system.
J. Diff. Equations 215 (2005), 52–107. [83, 84]
[Iwa11] T. Iwabuchi, Global well-posedness of Keller–Segel system in Besov type spaces.
J. Math. Anal. Appl. 379 (2011), 930–948. [40]
[IwO16] T. Iwabuchi and T. Ogawa, Ill-posedness issue for the drift diffusion system in the
homogeneous Besov spaces. Osaka J. Math. 53 (2016), 919–939. [40]
[JaL92] W. Jäger and S. Luckhaus, On explosions of solutions to a system of partial dif-
ferential equations modelling chemotaxis. Trans. Amer. Math. Soc. 329 (1992),
819–824. [9]
[KMM07] N. Kalton, S. Mayboroda, and M. Mitrea, Interpolation of Hardy–Sobolev–Besov–
Triebel–Lizorkin spaces and applications to problems in partial differential equa-
tions. In Interpolation Theory and Applications, (L. De Carli and M. Milman,
eds.), Contemp. Math. 445, Amer. Math. Soc., Providence, 2007, 121–177. [31]
[KeS70] E.F. Keller and L.A. Segel, Initiation of slime mold aggregation viewed as an in-
stability. J. Theor. Biol. 26 (1970), 399–415. [8]
[KeS71] E.F. Keller and L.A. Segel, Model for chemotaxis. J. Theor. Biol. 30 (1971), 225–
234. [8]
[KMS16] H. Kozono, M. Miura, and Y. Sugiyama, Existence and uniqueness theorem on
mild solutions to the Keller–Segel system coupled with the Navier–Stokes fluid. J.
Funct. Anal. 270 (2016), 1663–1683. [90, 110]
[KoS09] H. Kozono and Y. Sugiyama, Global strong solution to the semi-linear Keller–
Segel system of parabolic-parabolic type with small data in scale invariant spaces.
J. Differ. Equations 247 (2009), 1–32. [40, 59]
[KoS10] H. Kozono and Y. Sugiyama, Strong solutions to the Keller–Segel system with the
weak Ln=2 initial data and its applications to the blow-up rate. Math. Nachr. 283
(2010), 732–751. [40]
[Kun15] P.C. Kunstmann, A new interpolation approach to spaces of Triebel–Lizorkin type.
Illinois J. Math. 59 (2015), 1–19. [109]
124 Bibliography
[Per07] B. Perthame, Transport Equations in Biology, Birkhäuser, Basel, 2007. [45, 76,
78, 86]
[Per15] B. Perthame, Parabolic Equations in Biology, Springer, Cham, Heidelberg, 2015.
[9, 59, 62, 65, 69, 76, 78, 86]
[Rei70] C. Reid, Hilbert, Springer, Berlin, 1970. [v]
[RuS96] T. Runst and W. Sickel, Sobolev Spaces of Fractional Order, Nemytskij Operators,
and Nonlinear Partial Differential Equations, W. de Gruyter, Berlin, 1996. [74,
75]
[Scha27] J. Schauder, Zur Theorie stetiger Abbildungen in Funktionalräumen. Math. Z. 26
(1927), 47–65. [93]
[Schm07] H.-J. Schmeisser, Recent developments in the theory of function spaces with dom-
inating mixed smoothness. In Proceedings Nonlinear Analysis, Function Spaces
and Applications 8, (J. Rákosnik, ed.), Inst. Math. Acad. Sci. Czech Republic,
Praha, 2007, 145–204. [93]
[Sem63] Z. Semadeni, Product Schauder bases and approximation with nodes in spaces of
continuous functions. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 11
(1963), 387–391. [93]
[Sem82] Z. Semadeni, Schauder Bases in Banach Spaces of Continuous Functions. Lect.
Notes Math. 918, Springer, Berlin, 1982. [93]
[SiT95] W. Sickel and H. Triebel, Hölder inequalities and sharp embeddings in function
s and F s type. Z. Anal. Anwendungen 14 (1995), 105–140. [19, 20]
spaces of Bpq pq
[SiU09] W. Sickel and T. Ullrich, Tensor products of Sobolev–Besov spaces and applica-
tions to approximation from the hyperbolic cross. J. Approx. Theory 161 (2009),
748–786. [93]
[Sma74] D.R. Smart, Fixed Point Theorems, Cambridge University Press, Cambridge, 1974.
[82]
[Ste93] E.M. Stein, Harmonic Analysis: Real Variable Methods, Orthogonality, and Os-
cillatory Integrals, Princeton University Press, Princeton, 1993. [103]
[Tao13] T. Tao, Localisation and compactness properties of the Navier–Stokes global reg-
ularity problem. Anal. PDE 6 (2013), 25–107. [105]
[Tao16] T. Tao, Finite time blowup for an averaged three-dimensional Navier–Stokes equa-
tion. J. Amer. Math. Soc. 29 (2016), 601–674. [105]
[TaW15] Y. Tao and M. Winkler, Persistence of mass in a chemotaxis system with logistic
source. J. Differ. Equations 259 (2015), 6142–6161. [70]
[T78] H. Triebel, Interpolation Theory, Function Spaces, Differential Operators, North-
Holland, Amsterdam, 1978. (Sec. ed. Barth, Heidelberg, 1995). [24, 28]
[T83] H. Triebel, Theory of Function Spaces, Birkhäuser, Basel, 1983. [2, 4, 5, 23, 31]
[T84] H. Triebel, Mapping properties of non-linear operators generated by ˆ.u/ D juj%
and by holomorphic ˆ.u/ in function spaces of Besov–Hardy–Sobolev type.
Boundary value problems for elliptic differential equations of type u D f .x/ C
ˆ.u/. Math. Nachr. 117 (1984), 193–213. [75]
[T92] H. Triebel, Theory of Function Spaces II, Birkhäuser, Basel, 1992. [2, 4, 5, 7, 24,
29]
126 Bibliography
[T01] H. Triebel, The Structure of Functions, Birkhäuser, Basel, 2001. [57, 75]
[T06] H. Triebel, Theory of Function Spaces III, Birkhäuser, Basel, 2006. [2, 4, 7, 55]
[T08] H. Triebel, Function Spaces and Wavelets on Domains, European Math. Soc. Pub-
lishing House, Zürich, 2008. [10, 24, 55]
[T10] H. Triebel, Bases in Function Spaces, Sampling, Discrepancy, Numerical Integra-
tion, European Math. Soc. Publishing House, Zürich, 2010. [87, 88, 89, 90, 91,
92, 93]
[T13] H. Triebel, Local Function Spaces, Heat and Navier–Stokes Equations, European
Math. Soc. Publishing House, Zürich, 2013. [7, 9, 19, 25, 28, 33, 34, 39, 41, 42,
44, 55, 56, 58, 83, 95, 96, 97, 98, 100, 101]
[T14] H. Triebel, Hybrid Function Spaces, Heat and Navier–Stokes Equations, European
Math. Soc. Publishing House, Zürich, 2014. [4, 7, 9, 19, 24, 33, 34, 36, 39, 40, 41,
42, 43, 44, 49, 50, 51, 55, 61, 83, 90, 95, 97, 100, 101, 102, 103]
[T15] H. Triebel, Tempered Homogeneous Function Spaces, European Math. Soc. Pub-
lishing House, Zürich, 2015. [4, 5, 6, 7, 14, 15, 68, 75, 84, 95, 98, 99, 100]
[T16] H. Triebel, Tempered homogeneous function spaces II. Contemp. Math. (to ap-
pear), 2016. [5, 6, 7, 14, 68, 84]
[T16a] H. Triebel, Tempered homogeneous function spaces II. arXiv (2016), Art. ID
1601.00432 v2. [5, 6, 7, 14, 68, 84]
[TCDWKG05] I. Tuval, L. Cisneros, C. Dombrowski, C.W. Wolgemuth, J.O. Kessler, and R.E.
Goldstein. Bacterial swimming and oxygen transport near contact lines. Proc. Natl.
Acad. Sci. USA 102(7) (2005), 2277–2282. [41, 86, 107]
[Vig05] F. Vigneron, Spatial decay of the velocity field of an incompressible viscous fluid
in Rd . Nonlinear Anal. 63 (2005), 525–549. [103, 104]
[Wig60] E.P. Wigner, The unreasonable effectiveness of mathematics in the natural sci-
ences. Comm. Pure Appl. Math. 13 (1960), 1–14. [vii]
[Win12] M. Winkler, Global large-data solutions in a chemotaxis-(Navier–)Stokes sys-
tem modelling cellular swimming in fluid drops. Comm. Part. Diff. Equations 37
(2012), 319–351. [107]
[Win15] M. Winkler, How far do chemotaxis-driven forces influence regularity in the
Navier–Stokes system? Trans. Amer. Math. Soc. (to appear). [41, 107]
[Yon10] T. Yoneda, Ill-posedness of the 3D-Navier–Stokes equations in a generalized
Besov space near BMO1 . J. Funct. Anal. 258 (2010), 3376–3387. [27]
Symbols
Sets F sp;q .Rn /, 6
Ap .Rn /, 103 s
Fp;q .Rn ;
/, 53
C, 1 h.Q/, 88
N, N0 , 1 Hps .Rn /, 3
Nn0 , 1 Lp .Rn /, 1
Rn , R, 1 Lp .Rn ;
/, 53
Pm , 71 div L2 .Rn /n , 96
Pk , 87 L1 .0; 1/; Asp;q .Rn / , 80
P k , 89
L1 .0; T /; a=2; Asp;q .Rn / , 33, 41
Q D .0; 1/2, 87
L1 .0; T /; a=2; Asp;q .Rn / n , 100
Tn , 10
S.Rn /, S 0 .Rn /, 1
Z, Zn , 1
Sp1 W .R2 /, 87
ı
S 1 H.Q/, S 1 H .Q/, 87
Spaces S 1=2 C .Q/, 91
Asp;q .Rn /, 2 Wpk .Rn /, 2
Asp;q .Rn /, 5
Asp;q .Rn ;
/, 52 Operators
Asp;q .Rn /n , 97 b
' , F ', 1
Ap;q .Rn /, 117 ' _ , F 1 ', 1
div Asp;q .Rn /n , 97 I , 3
s
Bp;q .Rn /, 2 K , 28, 65
P , 65
B sp;q .Rn /, 6, P, 96
s
Bp;q .Rn ;
/, 53 Rj , 28
C.Q/, 88 Wt , 4
ı
C .Q/, 89
C s .Rn /, 3
Functions, functionals
C 1=2 .Q/, 90 aC , 10
C s .Rn /, 5 ai bi , viii
C .Œ0; T /; X.Rn //, 40 @j , @m
j ,1
s
Fp;q .Rn /, 2 @t , @m
t ,5
128 Symbols
D˛ , 1 fC , fC .x/, 57
lh , 3 r, 8, 95
, 8 'k , 1
div , 8, 95 Tu0 , 33
div u ˝ u, 96 w , 52
Index
Hans Triebel
Hans Triebel
PDE Models for Chemotaxis and
Hydrodynamics in
Supercritical Function Spaces
Hans Triebel
Chemotaxis and
underlying Keller–Segel equations (chemotaxis), Navier–Stokes equations
(hydrodynamics), and their numerous modifications and combinations are
treated in the context of inhomogeneous spaces of Besov–Sobolev type paying
Hydrodynamics
special attention to mapping properties of related nonlinearities. Further
models are considered, including (deterministic) Fokker–Planck equations and
chemotaxis Navier–Stokes equations.
ISBN 978-3-03719-172-9
www.ems-ph.org