suppression of blow-up in chemotaxis through fluid flow...2department of mathematics, duke...

70
Suppression of blow-up in Chemotaxis through fluid flow Siming He 2 Joint work with: Jacob Bedrossian 1 , Eitan Tadmor 1 1 Department of Mathematics Center of Scientific Computing and Mathematical Modelling, University of Maryland, College Park 2 Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 1 / 30

Upload: others

Post on 23-Jan-2021

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up in Chemotaxis through fluid flow

Siming He2

Joint work with: Jacob Bedrossian1, Eitan Tadmor 1

1Department of MathematicsCenter of Scientific Computing and Mathematical Modelling,

University of Maryland, College Park2Department of Mathematics, Duke University

October 24, 2018

YRW 2018, University of Maryland, College Park

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 1 / 30

Page 2: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Outline

1 Introduction

2 Suppression of blow-up through mixing

3 Suppression of blow-up through fast splitting scenario

4 Summary

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 2 / 30

Page 3: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

Chemotaxis is the movement of cells in response to chemicalstimulus.

Figure: Chemotaxis1

We focus on the specific case when bacteria emit chemical signals toattract others of the same kind. (E.coli)

The Patlak-Keller-Segel (PKS) equation is designed to analysethis phenomena.

1//www.youtube.com/watch?v=lgUXnbUkgOQSiming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 3 / 30

Page 4: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

Chemotaxis is the movement of cells in response to chemicalstimulus.

Figure: Chemotaxis1

We focus on the specific case when bacteria emit chemical signals toattract others of the same kind. (E.coli)

The Patlak-Keller-Segel (PKS) equation is designed to analysethis phenomena.

1//www.youtube.com/watch?v=lgUXnbUkgOQSiming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 3 / 30

Page 5: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

Consider the two-dimensional PKS equation with additionaladvection, which models the chemotaxis in moving fluid: ∂tn +

Aggregation︷ ︸︸ ︷∇ · (n∇c) +

Fluid Transport︷ ︸︸ ︷Au · ∇n =

Diffusion︷︸︸︷∆n ,

c = (−∆)−1n,n(x , y , t = 0) = nin(x , y).

(mPKS)

Here n and c denote the bacteria density and the chemo-attractantdensity, respectively. The divergence free vector field u represents theunderlying fluid velocity. A ∈ R+ denotes its magnitude. If Au ≡ 0,the equation is the classical PKS equation.

The equation (mPKS) is a nonlocal equation.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 4 / 30

Page 6: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

Consider the two-dimensional PKS equation with additionaladvection, which models the chemotaxis in moving fluid: ∂tn +

Aggregation︷ ︸︸ ︷∇ · (n∇c) +

Fluid Transport︷ ︸︸ ︷Au · ∇n =

Diffusion︷︸︸︷∆n ,

c = (−∆)−1n,n(x , y , t = 0) = nin(x , y).

(mPKS)

Here n and c denote the bacteria density and the chemo-attractantdensity, respectively. The divergence free vector field u represents theunderlying fluid velocity. A ∈ R+ denotes its magnitude. If Au ≡ 0,the equation is the classical PKS equation.

The equation (mPKS) is a nonlocal equation.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 4 / 30

Page 7: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

It is well known that the classical PKS equation (Au ≡ 0) is L1

critical and exhibits blow-up phenomena on R2:

If ||nin||1 < 8π, the diffusion dominates the aggregation, and we haveglobal well-posedness of solutions.([5],[6])

If ||nin||1 > 8π, the aggregation dominates the diffusion, which yieldsfinite time blow-up. Dirac mass appears.

If ||nin||1 = 8π, the solution will form Dirac mass when timeapproaches infinity. ([3])

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 5 / 30

Page 8: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

It is well known that the classical PKS equation (Au ≡ 0) is L1

critical and exhibits blow-up phenomena on R2:

If ||nin||1 < 8π, the diffusion dominates the aggregation, and we haveglobal well-posedness of solutions.([5],[6])

If ||nin||1 > 8π, the aggregation dominates the diffusion, which yieldsfinite time blow-up. Dirac mass appears.

If ||nin||1 = 8π, the solution will form Dirac mass when timeapproaches infinity. ([3])

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 5 / 30

Page 9: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

Theorem

Consider the PKS equation (mPKS) subject to C∞ initial data. If Au = 0,M := ||nin||1 > 8π and

∫nin|x |2dx <∞, the solution n blows up in finite

time.

Proof.

It is straightforward to get the evolution equation for second moment:

d

dt

∫R2

|x |2n(x , t)dx = 4M

(1− M

)

If the M > 8π, the second moment decreases at a constant rate.Suppose the solution remains smooth for all time, the second momentwill reach zero at a finite time T ∗, which is a contradiction.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 6 / 30

Page 10: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

Theorem

Consider the PKS equation (mPKS) subject to C∞ initial data. If Au = 0,M := ||nin||1 > 8π and

∫nin|x |2dx <∞, the solution n blows up in finite

time.

Proof.

It is straightforward to get the evolution equation for second moment:

d

dt

∫R2

|x |2n(x , t)dx = 4M

(1− M

)

If the M > 8π, the second moment decreases at a constant rate.Suppose the solution remains smooth for all time, the second momentwill reach zero at a finite time T ∗, which is a contradiction.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 6 / 30

Page 11: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction

Theorem

Consider the PKS equation (mPKS) subject to C∞ initial data. If Au = 0,M := ||nin||1 > 8π and

∫nin|x |2dx <∞, the solution n blows up in finite

time.

Proof.

It is straightforward to get the evolution equation for second moment:

d

dt

∫R2

|x |2n(x , t)dx = 4M

(1− M

)

If the M > 8π, the second moment decreases at a constant rate.Suppose the solution remains smooth for all time, the second momentwill reach zero at a finite time T ∗, which is a contradiction.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 6 / 30

Page 12: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction: Goal

By adding an extra fluid transport term in the classical PKS equation,we hope to answer the following question:

Is it possible to find simple vector fields Au such that for any smoothenough initial data, the solutions n do not blow up for any finite time?

In [10], Alexander Kiselev and Xiaoqian Xu showed that there existvector fields capable of suppressing the chemotactic blow-up of theequation. However, the vector fields they used are complicated.

Recall the equation ∂tn +

Aggregation︷ ︸︸ ︷∇ · (n∇c) +

Fluid Transport︷ ︸︸ ︷Au · ∇n =

Diffusion︷︸︸︷∆n ,

−∆c = n, n(x , y , t = 0) = nin(x , y).

(mPKS)

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 7 / 30

Page 13: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction: Goal

By adding an extra fluid transport term in the classical PKS equation,we hope to answer the following question:

Is it possible to find simple vector fields Au such that for any smoothenough initial data, the solutions n do not blow up for any finite time?

In [10], Alexander Kiselev and Xiaoqian Xu showed that there existvector fields capable of suppressing the chemotactic blow-up of theequation. However, the vector fields they used are complicated.

Recall the equation ∂tn +

Aggregation︷ ︸︸ ︷∇ · (n∇c) +

Fluid Transport︷ ︸︸ ︷Au · ∇n =

Diffusion︷︸︸︷∆n ,

−∆c = n, n(x , y , t = 0) = nin(x , y).

(mPKS)

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 7 / 30

Page 14: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction: Goal

By adding an extra fluid transport term in the classical PKS equation,we hope to answer the following question:

Is it possible to find simple vector fields Au such that for any smoothenough initial data, the solutions n do not blow up for any finite time?

In [10], Alexander Kiselev and Xiaoqian Xu showed that there existvector fields capable of suppressing the chemotactic blow-up of theequation. However, the vector fields they used are complicated.

Idea of the proof: Apply L2 energy estimate to obtain:

d

dt||n||22 ≤ −||∇n||22︸ ︷︷ ︸

Improved by mixing flow u

+C ||n||4L2 .

Recall the equation ∂tn +

Aggregation︷ ︸︸ ︷∇ · (n∇c) +

Fluid Transport︷ ︸︸ ︷Au · ∇n =

Diffusion︷︸︸︷∆n ,

−∆c = n, n(x , y , t = 0) = nin(x , y).

(mPKS)

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 7 / 30

Page 15: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction: Goal

By adding an extra fluid transport term in the classical PKS equation,we hope to answer the following question:

Is it possible to find simple vector fields Au such that for any smoothenough initial data, the solutions n do not blow up for any finite time?

In [10], Alexander Kiselev and Xiaoqian Xu showed that there existvector fields capable of suppressing the chemotactic blow-up of theequation. However, the vector fields they used are complicated.

Idea of the proof: Apply L2 energy estimate to obtain:

d

dt||n||22 ≤ −||∇n||22︸ ︷︷ ︸

Improved by mixing flow u

+C ||n||4L2 .

Since mixing flows enhance the negative term, the L2 norm of n isbounded for all time and suppression of blow-up follows.

Recall the equation ∂tn +

Aggregation︷ ︸︸ ︷∇ · (n∇c) +

Fluid Transport︷ ︸︸ ︷Au · ∇n =

Diffusion︷︸︸︷∆n ,

−∆c = n, n(x , y , t = 0) = nin(x , y).

(mPKS)

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 7 / 30

Page 16: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Introduction: Goal

By adding an extra fluid transport term in the classical PKS equation,we hope to answer the following question:

Is it possible to find simple vector fields Au such that for any smoothenough initial data, the solutions n do not blow up for any finite time?

In [10], Alexander Kiselev and Xiaoqian Xu showed that there existvector fields capable of suppressing the chemotactic blow-up of theequation. However, the vector fields they used are complicated.

Recall the equation ∂tn +

Aggregation︷ ︸︸ ︷∇ · (n∇c) +

Fluid Transport︷ ︸︸ ︷Au · ∇n =

Diffusion︷︸︸︷∆n ,

−∆c = n, n(x , y , t = 0) = nin(x , y).

(mPKS)

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 7 / 30

Page 17: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through mixing

Theorem ([2] 2D case, Jacob Bedrossian and H.)

Consider the equation (mPKS) on a torus T2. Let u(x , y) = (u(y), 0) besmooth non-degenerate shear flow and let nin ∈ C∞(T2) be arbitrary.There exists an A0 such that if A > A0, then the solution to (mPKS) isglobal in time.

Figure: Nondegenerate shear flow

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 8 / 30

Page 18: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Theorem (3D case, Jacob Bedrossian and H.)

(a) Let u = (u(y1), 0, 0) be smooth non-degenerate shear flow and letnin ∈ C∞(T3) be arbitrary such that ‖nin‖L1 < 8π andminx∈T3 nin(x) > 0. Then there exists an A0 such that if A > A0 thenthe solution to (mPKS) is global in time.

(b) Suppose u = (u(y1), 0, 0) is smooth non-degenerate shear flow. Letnin ∈ C∞(T× R2) be arbitrary such that ‖nin‖L1 < 8π and∫nin(x , y) |y |2 dxdy <∞. Then, there exists an A0, such that if

A > A0 then the solution to (mPKS) is global in time.

It is clear that ||nin||1 < 8π is essential in 3D. Indeed, consider anysolution to the 3D problem which is constant in the x direction:n(t, x , y1, y2) = n(t, y1, y2). This solution will solve (mPKS) on T2

with A = 0 and hence the 8π critical mass will still apply.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 9 / 30

Page 19: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Theorem (3D case, Jacob Bedrossian and H.)

(a) Let u = (u(y1), 0, 0) be smooth non-degenerate shear flow and letnin ∈ C∞(T3) be arbitrary such that ‖nin‖L1 < 8π andminx∈T3 nin(x) > 0. Then there exists an A0 such that if A > A0 thenthe solution to (mPKS) is global in time.

(b) Suppose u = (u(y1), 0, 0) is smooth non-degenerate shear flow. Letnin ∈ C∞(T× R2) be arbitrary such that ‖nin‖L1 < 8π and∫nin(x , y) |y |2 dxdy <∞. Then, there exists an A0, such that if

A > A0 then the solution to (mPKS) is global in time.

It is clear that ||nin||1 < 8π is essential in 3D. Indeed, consider anysolution to the 3D problem which is constant in the x direction:n(t, x , y1, y2) = n(t, y1, y2). This solution will solve (mPKS) on T2

with A = 0 and hence the 8π critical mass will still apply.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 9 / 30

Page 20: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea of the proof: 1. A Different Time Scale

We can divide both side of (mPKS) by A and rescale in time to getthe following equation:

∂tn + u(y)∂xn = A−1∆n − A−1∇ · (n∇(−∆)−1n). (1)

When A is large, equation (1) can be regarded as a perturbation tothe passive scalar equation with small viscosity A−1:

∂tρ+ u(y)∂xρ = A−1∆ρ. (PS)

Direct energy method yields that the solution decay like e−A−1t . This

is not enough for our analysis. To prove suppression of blow-up, weneed to study the enhanced diffusion effect of the passive scalarequation (PS).

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 10 / 30

Page 21: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea of the proof: 1. A Different Time Scale

We can divide both side of (mPKS) by A and rescale in time to getthe following equation:

∂tn + u(y)∂xn = A−1∆n − A−1∇ · (n∇(−∆)−1n). (1)

When A is large, equation (1) can be regarded as a perturbation tothe passive scalar equation with small viscosity A−1:

∂tρ+ u(y)∂xρ = A−1∆ρ. (PS)

Direct energy method yields that the solution decay like e−A−1t . This

is not enough for our analysis. To prove suppression of blow-up, weneed to study the enhanced diffusion effect of the passive scalarequation (PS).

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 10 / 30

Page 22: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea of the proof: 2. Passive Scalar Equation Revisited

When stirring a cup of coffee, we see that the information in theangular direction diffuses faster than the one in the radial directiondoes. This is the enhanced diffusion effect of shear flow.

Figure: Stirring a cup of coffee

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 11 / 30

Page 23: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea of the proof: 2. Passive Scalar Equation Revisited

When stirring a cup of coffee, we see that the information in theangular direction diffuses faster than the one in the radial directiondoes. This is the enhanced diffusion effect of shear flow.

Figure: Stirring a cup of coffee

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 11 / 30

Page 24: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea of the proof: 2. Passive Scalar Equation Revisited

In the paper [1], Jacob Bedrossian and Michele Coti Zelati provedthat if u(y) is nondegenerate shear flow, the x dependent part of thesolution ρ6= to the passive scalar equation satisfies the estimate

||ρ 6=(t)||2L2 . ||ρ6=(0)||2H1exp{−ct

A1/2 logA}. (2)

Note that if A is large, the decay rate (≈ A−1/2) is larger than theheat decay rate (A−1). This is the enhanced diffusion effect of shearflow.

The proof is based on analyzing the hypocoercivity functionalintroduced in C. Villani’s work [11],

Φ[ρ 6=] =||ρ6=||2L2 + ||√α(∂x)∂yρ6=||22

+ 2〈βu′∂xρ6=, ∂yρ6=〉+ ||√γ(∂x)u′∂xρ 6=||2L2 , (3)

and showing that Φ[ρ6=(t)] ≤ Φ[ρ6=(0)] exp{−c tA1/2 }.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 12 / 30

Page 25: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea of the proof: 2. Passive Scalar Equation Revisited

In the paper [1], Jacob Bedrossian and Michele Coti Zelati provedthat if u(y) is nondegenerate shear flow, the x dependent part of thesolution ρ6= to the passive scalar equation satisfies the estimate

||ρ 6=(t)||2L2 . ||ρ6=(0)||2H1exp{−ct

A1/2 logA}. (2)

Note that if A is large, the decay rate (≈ A−1/2) is larger than theheat decay rate (A−1). This is the enhanced diffusion effect of shearflow.

The proof is based on analyzing the hypocoercivity functionalintroduced in C. Villani’s work [11],

Φ[ρ 6=] =||ρ6=||2L2 + ||√α(∂x)∂yρ6=||22

+ 2〈βu′∂xρ6=, ∂yρ6=〉+ ||√γ(∂x)u′∂xρ 6=||2L2 , (3)

and showing that Φ[ρ6=(t)] ≤ Φ[ρ6=(0)] exp{−c tA1/2 }.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 12 / 30

Page 26: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea of the proof: 2. Passive Scalar Equation Revisited

In the paper [1], Jacob Bedrossian and Michele Coti Zelati provedthat if u(y) is nondegenerate shear flow, the x dependent part of thesolution ρ6= to the passive scalar equation satisfies the estimate

||ρ 6=(t)||2L2 . ||ρ6=(0)||2H1exp{−ct

A1/2 logA}. (2)

Note that if A is large, the decay rate (≈ A−1/2) is larger than theheat decay rate (A−1). This is the enhanced diffusion effect of shearflow.

The proof is based on analyzing the hypocoercivity functionalintroduced in C. Villani’s work [11],

Φ[ρ 6=] =||ρ6=||2L2 + ||√α(∂x)∂yρ6=||22

+ 2〈βu′∂xρ6=, ∂yρ6=〉+ ||√γ(∂x)u′∂xρ 6=||2L2 , (3)

and showing that Φ[ρ6=(t)] ≤ Φ[ρ6=(0)] exp{−c tA1/2 }.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 12 / 30

Page 27: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea Of The Proof: 3. Energy Estimates

In order to apply the enhanced diffusion estimate of the passive scalarequation, it is natural to separate the solution to the PKS equation(1) into x independent part and x dependent part:

∂tn0 =1

A∆n0 +

1

A∇y · (∇yc0n0) + Interaction, (4)

∂tn6= + u(y)∂xn6= =1

A∆n6= + Interaction. (5)

n0(y) =1

∫Tn(x , y)dx , n6= = n − n0. (6)

Since the dimension of the n0 equation is one dimension lower thanthe full problem, we can use the classical PKS technique to show thatthe H1 norm of the solution is bounded uniformly in time. For thesecond equation, we use the functional Φ to prove an enhanced

diffusion estimate Φ[n 6=] ≤ Φ[n6=(0)]e− ct

A1/2 .

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 13 / 30

Page 28: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea Of The Proof: 3. Energy Estimates

In order to apply the enhanced diffusion estimate of the passive scalarequation, it is natural to separate the solution to the PKS equation(1) into x independent part and x dependent part:

∂tn0 =1

A∆n0 +

1

A∇y · (∇yc0n0) + Interaction, (4)

∂tn6= + u(y)∂xn6= =1

A∆n6= + Interaction. (5)

n0(y) =1

∫Tn(x , y)dx , n6= = n − n0. (6)

Since the dimension of the n0 equation is one dimension lower thanthe full problem, we can use the classical PKS technique to show thatthe H1 norm of the solution is bounded uniformly in time. For thesecond equation, we use the functional Φ to prove an enhanced

diffusion estimate Φ[n 6=] ≤ Φ[n6=(0)]e− ct

A1/2 .

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 13 / 30

Page 29: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea Of The Proof: 2D case

Nonzero modes: By taking the time derivative of Φ[n6=], we obtain:

d

dtΦ[n6=] =− c

A1/2||n6=||22 −

1

A||∇n 6=||22 − ...+

1

A〈∇n6=,∇c0n6=〉+ ...

≤− c

A1/2||n6=||22 −

1

2A||∇n6=||22 + ...+

1

2A1/2

||∇c0||2∞A1/2

||n 6=||22

By choosing A large, we can absorb the last term in the first term.Do the same for the other terms, we can estimate d

dt Φ.

Zero mode: standard energy estimate.

For the three-dimensional case, the n0 equation becomes critical. Bya modified free energy approach, we can still propagate the regularityof the solutions.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 14 / 30

Page 30: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea Of The Proof: 2D case

Nonzero modes: By taking the time derivative of Φ[n6=], we obtain:

d

dtΦ[n6=] =− c

A1/2||n6=||22 −

1

A||∇n 6=||22 − ...+

1

A〈∇n6=,∇c0n6=〉+ ...

≤− c

A1/2||n6=||22 −

1

2A||∇n6=||22 + ...+

1

2A1/2

||∇c0||2∞A1/2

||n 6=||22

By choosing A large, we can absorb the last term in the first term.Do the same for the other terms, we can estimate d

dt Φ.

Zero mode: standard energy estimate.

For the three-dimensional case, the n0 equation becomes critical. Bya modified free energy approach, we can still propagate the regularityof the solutions.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 14 / 30

Page 31: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Idea Of The Proof: 2D case

Nonzero modes: By taking the time derivative of Φ[n6=], we obtain:

d

dtΦ[n6=] =− c

A1/2||n6=||22 −

1

A||∇n 6=||22 − ...+

1

A〈∇n6=,∇c0n6=〉+ ...

≤− c

A1/2||n6=||22 −

1

2A||∇n6=||22 + ...+

1

2A1/2

||∇c0||2∞A1/2

||n 6=||22

By choosing A large, we can absorb the last term in the first term.Do the same for the other terms, we can estimate d

dt Φ.

Zero mode: standard energy estimate.

For the three-dimensional case, the n0 equation becomes critical. Bya modified free energy approach, we can still propagate the regularityof the solutions.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 14 / 30

Page 32: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Now we consider the equation (mPKS) on the plane R2. There aretwo main differences from the (mPKS) on the Torus. We summarizethem as follows:

First, the shear flow induced enhanced diffusion effect on R2 can beextremely slow. This poses difficulties when we adapt the previousapproach to the (mPKS) on the plane.

Second, the plane R2 is unbounded, whereas the Torus is compact.Therefore, we have the freedom to send masses to infinity on theplane R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 15 / 30

Page 33: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Now we consider the equation (mPKS) on the plane R2. There aretwo main differences from the (mPKS) on the Torus. We summarizethem as follows:

First, the shear flow induced enhanced diffusion effect on R2 can beextremely slow. This poses difficulties when we adapt the previousapproach to the (mPKS) on the plane.

Second, the plane R2 is unbounded, whereas the Torus is compact.Therefore, we have the freedom to send masses to infinity on theplane R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 15 / 30

Page 34: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Now we consider the equation (mPKS) on the plane R2. There aretwo main differences from the (mPKS) on the Torus. We summarizethem as follows:

First, the shear flow induced enhanced diffusion effect on R2 can beextremely slow. This poses difficulties when we adapt the previousapproach to the (mPKS) on the plane.

Second, the plane R2 is unbounded, whereas the Torus is compact.Therefore, we have the freedom to send masses to infinity on theplane R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 15 / 30

Page 35: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Now we exploit yet another mechanism to suppress the blow-up onR2, which we called the fast splitting scenario.

The flow we considered is the Hyperbolic flow u(x1, x2) = A(−x1, x2).This flow splits cell density into upper and lower part.

Figure: Hyperbolic flow. 2

2Picture from ’One-dimensional model equations for hyperbolic fluid flow’, Tam Do,V. Hoang, Maria Radosz, Xiaoqian Xu

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 16 / 30

Page 36: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Now we exploit yet another mechanism to suppress the blow-up onR2, which we called the fast splitting scenario.

The flow we considered is the Hyperbolic flow u(x1, x2) = A(−x1, x2).This flow splits cell density into upper and lower part.

Figure: Hyperbolic flow. 2

2Picture from ’One-dimensional model equations for hyperbolic fluid flow’, Tam Do,V. Hoang, Maria Radosz, Xiaoqian Xu

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 16 / 30

Page 37: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Now we exploit yet another mechanism to suppress the blow-up onR2, which we called the fast splitting scenario.

The flow we considered is the Hyperbolic flow u(x1, x2) = A(−x1, x2).This flow splits cell density into upper and lower part.

Figure: Hyperbolic flow. 2

2Picture from ’One-dimensional model equations for hyperbolic fluid flow’, Tam Do,V. Hoang, Maria Radosz, Xiaoqian Xu

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 16 / 30

Page 38: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Basic Setup

We assume the cell density is symmetric about the x1 axis, so we can onlyconsider the solution in the upper half plane (R2

+). We introduce thefollowing probabilistic quantities:

Averaged distance to the x1 axis (upper half plane):

y+(t) :=1

M+

∫x2≥0

n(x , t)x2dx , M+ :=

∫x2≥0

n(x , t)dx ≡ M

2.

Variation (upper half plane):

V+(t)

M+:=

1

M+

∫x2≥0

n(x , t)|x2 − y+|2dx .

We introduce the dimensionless quantity

η :=y+√

V+/M+

≈ Average distance to the boundary

Standard deviation.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 17 / 30

Page 39: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Basic Setup

We assume the cell density is symmetric about the x1 axis, so we can onlyconsider the solution in the upper half plane (R2

+). We introduce thefollowing probabilistic quantities:

Averaged distance to the x1 axis (upper half plane):

y+(t) :=1

M+

∫x2≥0

n(x , t)x2dx , M+ :=

∫x2≥0

n(x , t)dx ≡ M

2.

Variation (upper half plane):

V+(t)

M+:=

1

M+

∫x2≥0

n(x , t)|x2 − y+|2dx .

We introduce the dimensionless quantity

η :=y+√

V+/M+

≈ Average distance to the boundary

Standard deviation.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 17 / 30

Page 40: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Basic Setup

We assume the cell density is symmetric about the x1 axis, so we can onlyconsider the solution in the upper half plane (R2

+). We introduce thefollowing probabilistic quantities:

Averaged distance to the x1 axis (upper half plane):

y+(t) :=1

M+

∫x2≥0

n(x , t)x2dx , M+ :=

∫x2≥0

n(x , t)dx ≡ M

2.

Variation (upper half plane):

V+(t)

M+:=

1

M+

∫x2≥0

n(x , t)|x2 − y+|2dx .

We introduce the dimensionless quantity

η :=y+√

V+/M+

≈ Average distance to the boundary

Standard deviation.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 17 / 30

Page 41: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Basic Setup

We assume the cell density is symmetric about the x1 axis, so we can onlyconsider the solution in the upper half plane (R2

+). We introduce thefollowing probabilistic quantities:

Averaged distance to the x1 axis (upper half plane):

y+(t) :=1

M+

∫x2≥0

n(x , t)x2dx , M+ :=

∫x2≥0

n(x , t)dx ≡ M

2.

Variation (upper half plane):

V+(t)

M+:=

1

M+

∫x2≥0

n(x , t)|x2 − y+|2dx .

We introduce the dimensionless quantity

η :=y+√

V+/M+

≈ Average distance to the boundary

Standard deviation.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 17 / 30

Page 42: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Figure: Definition of the dimensionless number η

Recall the equation (mPKS){∂tn +∇ · (∇cn) + A(−x1, x2) · ∇n = ∆n;

−∆c = n, n(x , t = 0) = nin(x), (x1, x2) ∈ R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 18 / 30

Page 43: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Figure: Definition of the dimensionless number η

Recall the equation (mPKS){∂tn +∇ · (∇cn) + A(−x1, x2) · ∇n = ∆n;

−∆c = n, n(x , t = 0) = nin(x), (x1, x2) ∈ R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 18 / 30

Page 44: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Suppression of blow-up through fast splitting scenario

Theorem (E. Tadmor and H., [8], 17)

Consider the PKS equation (mPKS) subject to regular initial data nin withtotal mass M = ||nin||1 < 2× 8π. Assume nin is symmetric about thex1-axis, and the dimensionless number

η(0) =y+(0)√

V+(0)/M+

>√

2. (7)

Then there exists a large enough amplitude A such that the free energysolution exists for all time.

Remark

Since the hyperbolic flow A(−x1, x2) is the gradient of a harmonic potentialH = A

2 (−x21 + x2

2 ), the (mPKS) has a decreasing free energy

EH [n] =

∫n log ndx +

1

∫∫n(x) log |x − y |n(y)dxdy −

∫Hndx .

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 19 / 30

Page 45: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredients of the proof: Heuristics

Figure: Suppression of blow-up through a fast splitting scenario

Due to symmetry, the only possible blow-up position is on the x1 axis.Therefore, we use the quantity η to control the mass inside the criticalstrip Sδ := {x ||x2| ≤ δ}. Once the mass inside the strip is shown tobe smaller than 8π, we can prove global in time well-posedness.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 20 / 30

Page 46: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredients of the proof: Heuristics

Figure: Suppression of blow-up through a fast splitting scenario

Due to symmetry, the only possible blow-up position is on the x1 axis.Therefore, we use the quantity η to control the mass inside the criticalstrip Sδ := {x ||x2| ≤ δ}. Once the mass inside the strip is shown tobe smaller than 8π, we can prove global in time well-posedness.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 20 / 30

Page 47: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredients of the proof: Review of the classical PKS

It is standard to derive global existence once we control the entropy

S [n] =

∫n log ndx .

The (mPKS)Au≡0 equation is a gradient flow of the free energy:

E [nin] ≥ E [n] :=

∫R2

n log ndx +1

∫∫R2×R2

n(x) log |x − y |n(y)dxdy .

Combining it with the log-Hardy-Littlewood-Sobolev inequality

||n||1∫R2

n log ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ −ClHLS(M),

yields that

S [n] ≤ E [nin] + C (M)

1− ||n||18π

<∞.

This concludes the proof. The M = ||n||1 < 8π condition is essential.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 21 / 30

Page 48: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredients of the proof: Review of the classical PKS

It is standard to derive global existence once we control the entropy

S [n] =

∫n log ndx .

The (mPKS)Au≡0 equation is a gradient flow of the free energy:

E [nin] ≥ E [n] :=

∫R2

n log ndx +1

∫∫R2×R2

n(x) log |x − y |n(y)dxdy .

Combining it with the log-Hardy-Littlewood-Sobolev inequality

||n||1∫R2

n log ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ −ClHLS(M),

yields that

S [n] ≤ E [nin] + C (M)

1− ||n||18π

<∞.

This concludes the proof. The M = ||n||1 < 8π condition is essential.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 21 / 30

Page 49: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredients of the proof: Review of the classical PKS

It is standard to derive global existence once we control the entropy

S [n] =

∫n log ndx .

The (mPKS)Au≡0 equation is a gradient flow of the free energy:

E [nin] ≥ E [n] :=

∫R2

n log ndx +1

∫∫R2×R2

n(x) log |x − y |n(y)dxdy .

Combining it with the log-Hardy-Littlewood-Sobolev inequality

||n||1∫R2

n log ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ −ClHLS(M),

yields that

S [n] ≤ E [nin] + C (M)

1− ||n||18π

<∞.

This concludes the proof. The M = ||n||1 < 8π condition is essential.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 21 / 30

Page 50: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredients of the proof: Review of the classical PKS

It is standard to derive global existence once we control the entropy

S [n] =

∫n log ndx .

The (mPKS)Au≡0 equation is a gradient flow of the free energy:

E [nin] ≥ E [n] :=

∫R2

n log ndx +1

∫∫R2×R2

n(x) log |x − y |n(y)dxdy .

Combining it with the log-Hardy-Littlewood-Sobolev inequality

||n||1∫R2

n log ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ −ClHLS(M),

yields that

S [n] ≤ E [nin] + C (M)

1− ||n||18π

<∞.

This concludes the proof. The M = ||n||1 < 8π condition is essential.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 21 / 30

Page 51: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredients of the proof: Review of the classical PKS

Message: Consider the log-HLS inequality

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C (M).

If one can the improve the constant K for M > 8π, then the critical massM can be improved. It is because in general,

S [n] ≤ E [nin] + C

1− K8π

.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 22 / 30

Page 52: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Gluing reconstruction of the log-HLS inequality

To prove suppression of blow-up, the following log-HLS inequality isessential:

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C (M),

where K < 8π even when 8π < M < 16π.

To obtain the inequality, we heuristically glue the following two log-HLSinequality together (following [4]):

∫R2

±

n log+ ndx + 2

∫∫R2

±×R2±

n(x) log |x − y |n(y)dxdy ≥ C , M± =M

2,

to get

(M

2+ ||n||L1(|x2|≤δ))︸ ︷︷ ︸

=:K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C .

Next we need to show that K < 8π.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 23 / 30

Page 53: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Gluing reconstruction of the log-HLS inequality

To prove suppression of blow-up, the following log-HLS inequality isessential:

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C (M),

where K < 8π even when 8π < M < 16π.

To obtain the inequality, we heuristically glue the following two log-HLSinequality together (following [4]):

∫R2

±

n log+ ndx + 2

∫∫R2

±×R2±

n(x) log |x − y |n(y)dxdy ≥ C , M± =M

2,

to get

(M

2+ ||n||L1(|x2|≤δ))︸ ︷︷ ︸

=:K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C .

Next we need to show that K < 8π.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 23 / 30

Page 54: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Gluing reconstruction of the log-HLS inequality

To prove suppression of blow-up, the following log-HLS inequality isessential:

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C (M),

where K < 8π even when 8π < M < 16π.

To obtain the inequality, we heuristically glue the following two log-HLSinequality together (following [4]):

∫R2

±

n log+ ndx + 2

∫∫R2

±×R2±

n(x) log |x − y |n(y)dxdy ≥ C , M± =M

2,

to get

(M

2+ ||n||L1(|x2|≤δ))︸ ︷︷ ︸

=:K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C .

Next we need to show that K < 8π.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 23 / 30

Page 55: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Gluing reconstruction of the log-HLS inequality

To prove suppression of blow-up, the following log-HLS inequality isessential:

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C (M),

where K < 8π even when 8π < M < 16π.

To obtain the inequality, we heuristically glue the following two log-HLSinequality together (following [4]):

∫R2

±

n log+ ndx + 2

∫∫R2

±×R2±

n(x) log |x − y |n(y)dxdy ≥ C , M± =M

2,

to get

(M

2+ ||n||L1(|x2|≤δ))︸ ︷︷ ︸

=:K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C .

Next we need to show that K < 8π.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 23 / 30

Page 56: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Control mass near x1 axis

To show K < 8π, it is enough to prove ||n||L1(|x2|≤δ) < 8π −M/2.

By the Chebychev’s inequality, the lower bound of the dimensionlessquantity η(t) controls the mass near the x1 axis.

||n||L1(|x2|≤δ) = 2

∫Sδ={0≤x2≤δ}

ndx ≤ 2

∫|x2−y+|≥η

√V+/M+

ndx ≤ 2M+

η2.

Next we use moment estimates to show that η(t) is approximatelyconstant along (mPKS).

Therefore, if η(0) is large enough, ||n(t)||L1(|x2|≤δ) � 8π −M/2, andthe suppression of blow-up follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 24 / 30

Page 57: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Control mass near x1 axis

To show K < 8π, it is enough to prove ||n||L1(|x2|≤δ) < 8π −M/2.

By the Chebychev’s inequality, the lower bound of the dimensionlessquantity η(t) controls the mass near the x1 axis.

||n||L1(|x2|≤δ) = 2

∫Sδ={0≤x2≤δ}

ndx ≤ 2

∫|x2−y+|≥η

√V+/M+

ndx ≤ 2M+

η2.

Next we use moment estimates to show that η(t) is approximatelyconstant along (mPKS).

Therefore, if η(0) is large enough, ||n(t)||L1(|x2|≤δ) � 8π −M/2, andthe suppression of blow-up follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 24 / 30

Page 58: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Control mass near x1 axis

To show K < 8π, it is enough to prove ||n||L1(|x2|≤δ) < 8π −M/2.

By the Chebychev’s inequality, the lower bound of the dimensionlessquantity η(t) controls the mass near the x1 axis.

||n||L1(|x2|≤δ) = 2

∫Sδ={0≤x2≤δ}

ndx ≤ 2

∫|x2−y+|≥η

√V+/M+

ndx ≤ 2M+

η2.

Next we use moment estimates to show that η(t) is approximatelyconstant along (mPKS).

Therefore, if η(0) is large enough, ||n(t)||L1(|x2|≤δ) � 8π −M/2, andthe suppression of blow-up follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 24 / 30

Page 59: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Control mass near x1 axis

To show K < 8π, it is enough to prove ||n||L1(|x2|≤δ) < 8π −M/2.

By the Chebychev’s inequality, the lower bound of the dimensionlessquantity η(t) controls the mass near the x1 axis.

||n||L1(|x2|≤δ) = 2

∫Sδ={0≤x2≤δ}

ndx ≤ 2

∫|x2−y+|≥η

√V+/M+

ndx ≤ 2M+

η2.

Next we use moment estimates to show that η(t) is approximatelyconstant along (mPKS).

Therefore, if η(0) is large enough, ||n(t)||L1(|x2|≤δ) � 8π −M/2, andthe suppression of blow-up follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 24 / 30

Page 60: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Control mass near x1 axis

To show K < 8π, it is enough to prove ||n||L1(|x2|≤δ) < 8π −M/2.

By the Chebychev’s inequality, the lower bound of the dimensionlessquantity η(t) controls the mass near the x1 axis.

||n||L1(|x2|≤δ) = 2

∫Sδ={0≤x2≤δ}

ndx ≤ 2

∫|x2−y+|≥η

√V+/M+

ndx ≤ 2M+

η2.

Next we use moment estimates to show that η(t) is approximatelyconstant along (mPKS).

Therefore, if η(0) is large enough, ||n(t)||L1(|x2|≤δ) � 8π −M/2, andthe suppression of blow-up follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 24 / 30

Page 61: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Proof of the theorem

In the η(0) >√

2 case, the key is to get the log-HLS

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C , K < 8π.

The idea is to glue the following three log-HLS inequalities together:

∫R2±\Sδ

n log+ ndx + 2

∫∫(R2±\Sδ)2

n(x) log |x − y |n(y)dxdy ≥ C ,

M

2

∫Sδ

n log+ ndx + 2

∫∫Sδ×Sδ

n(x) log |x − y |n(y)dxdy ≥ C ,

where Sδ := {x ||x2| ≤ δ}. Here we use the fact that η(0) >√

2 whenwe derive the last log-HLS.

We dynamically determine the boundaries of these three domains sothat the error created during the gluing process is small. Once thegluing process is completed, existence follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 25 / 30

Page 62: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Proof of the theorem

In the η(0) >√

2 case, the key is to get the log-HLS

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C , K < 8π.

The idea is to glue the following three log-HLS inequalities together:

∫R2±\Sδ

n log+ ndx + 2

∫∫(R2±\Sδ)2

n(x) log |x − y |n(y)dxdy ≥ C ,

M

2

∫Sδ

n log+ ndx + 2

∫∫Sδ×Sδ

n(x) log |x − y |n(y)dxdy ≥ C ,

where Sδ := {x ||x2| ≤ δ}. Here we use the fact that η(0) >√

2 whenwe derive the last log-HLS.

We dynamically determine the boundaries of these three domains sothat the error created during the gluing process is small. Once thegluing process is completed, existence follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 25 / 30

Page 63: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Ingredient of the proof: Proof of the theorem

In the η(0) >√

2 case, the key is to get the log-HLS

K

∫R2

n log+ ndx + 2

∫∫R2×R2

n(x) log |x − y |n(y)dxdy ≥ C , K < 8π.

The idea is to glue the following three log-HLS inequalities together:

∫R2±\Sδ

n log+ ndx + 2

∫∫(R2±\Sδ)2

n(x) log |x − y |n(y)dxdy ≥ C ,

M

2

∫Sδ

n log+ ndx + 2

∫∫Sδ×Sδ

n(x) log |x − y |n(y)dxdy ≥ C ,

where Sδ := {x ||x2| ≤ δ}. Here we use the fact that η(0) >√

2 whenwe derive the last log-HLS.

We dynamically determine the boundaries of these three domains sothat the error created during the gluing process is small. Once thegluing process is completed, existence follows.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 25 / 30

Page 64: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Summary

Classical PKS equation exhibits blow-up phenomena when the totalmass is large ||nin||L1 > 8π;

We use simple mixing shear flow to suppress the blow-up of (mPKS)on T2 and T3;

We use a fast splitting hyperbolic flow to suppress the blow-up of(mPKS) on the plane R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 26 / 30

Page 65: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Summary

Classical PKS equation exhibits blow-up phenomena when the totalmass is large ||nin||L1 > 8π;

We use simple mixing shear flow to suppress the blow-up of (mPKS)on T2 and T3;

We use a fast splitting hyperbolic flow to suppress the blow-up of(mPKS) on the plane R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 26 / 30

Page 66: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Summary

Classical PKS equation exhibits blow-up phenomena when the totalmass is large ||nin||L1 > 8π;

We use simple mixing shear flow to suppress the blow-up of (mPKS)on T2 and T3;

We use a fast splitting hyperbolic flow to suppress the blow-up of(mPKS) on the plane R2.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 26 / 30

Page 67: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

Thank you!

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 27 / 30

Page 68: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

For Further Reading I

J. Bedrossian and M. Coti Zelati.

Enhanced dissipation, hypoellipticity, and anomalous small noise inviscid limits inshear flows.

Archive for Rational Mechanics and Analysis, 224, pages 1161–1204,arXiv:1510.08098, 2017.

J. Bedrossian and S. He.

Suppression of blow-up in patlak-keller-segel via shear flows.

SIAM Journal on Mathematical Analysis, arXiv:1609.02866, 2016.

A. Blanchet, J. Carrillo, and N. Masmoudi.

Infinite time aggregation for the critical Patlak-Keller-Segel model in R2.

Comm. Pure Appl. Math., 61:1449–1481, 2008.

A. Blanchet, J. Carrillo, and N. Masmoudi.

Infinite time aggregation for the critical Patlak-Keller-Segel model in R2.

Comm. Pure Appl. Math., 61:1449–1481, 2008.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 28 / 30

Page 69: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

For Further Reading II

A. Blanchet, J. Dolbeault, and B. Perthame.

Two-dimensional Keller-Segel model: Optimal critical mass and qualitativeproperties of the solutions.

E. J. Diff. Eqn, 2006(44):1–32, 2006.

J. Carrillo and J. Rosado.

Uniqueness of bounded solutions to aggregation equations by optimal transportmethods.

Proc. 5th Euro. Congress of Math. Amsterdam, 2008.

P. Constantin, A. Kiselev, L. Ryzhik, and A. Zlatos.

Diffusion and mixing in fluid flow.

Ann. of Math. (2), 168(2):643–674, 2008.

S. He and E. Tadmor.

Suppressing chemotactic blow-up through a fast splitting scenario on the plane.

arXiv:1710.06585, 2017.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 29 / 30

Page 70: Suppression of blow-up in Chemotaxis through fluid flow...2Department of Mathematics, Duke University October 24, 2018 YRW 2018, University of Maryland, College Park Siming He (Duke

For Further Reading III

K. Hopf and J. L. Rodrigo.

Aggregation equations with fractional diffusion: preventing concentration bymixing.

arXiv:1703.05578, 2017.

A. Kiselev and X. Xu.

Suppression of chemotactic explosion by mixing.

Archive for Rational Mechanics and Analysis, arXiv:1508.05333v3 [math.AP], pages1–36, 2015.

C. Villani.

Hypocoercivity.

American Mathematical Soc., 2009.

Siming He (Duke University) Suppression of blow-up in Chemotaxis through fluid flow October 24, 2018 30 / 30