Compactness and weak solutions to time fractional PDEs

Similar documents
1 Summary of my postdoc research

Maximum principle for the fractional diusion equations and its applications

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

Global Solutions for a Nonlinear Wave Equation with the p-laplacian Operator

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

EXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN EQUATION WITH DEGENERATE MOBILITY

A Concise Course on Stochastic Partial Differential Equations

A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem

Anisotropic partial regularity criteria for the Navier-Stokes equations

Week 6 Notes, Math 865, Tanveer

A stochastic particle system for the Burgers equation.

An Operator Theoretical Approach to Nonlocal Differential Equations

WELL-POSEDNESS OF THE TWO-DIMENSIONAL GENERALIZED BENJAMIN-BONA-MAHONY EQUATION ON THE UPPER HALF PLANE

Nonlinear stabilization via a linear observability

The 2D Magnetohydrodynamic Equations with Partial Dissipation. Oklahoma State University

Asymptotic behavior of the degenerate p Laplacian equation on bounded domains

UNIFORM DECAY OF SOLUTIONS FOR COUPLED VISCOELASTIC WAVE EQUATIONS

Phase-field systems with nonlinear coupling and dynamic boundary conditions

Applied Mathematics Letters

On some nonlinear parabolic equation involving variable exponents

On semilinear elliptic equations with measure data

EXISTENCE OF SOLUTIONS TO BURGERS EQUATIONS IN DOMAINS THAT CAN BE TRANSFORMED INTO RECTANGLES

GENERATORS WITH INTERIOR DEGENERACY ON SPACES OF L 2 TYPE

Partial regularity for suitable weak solutions to Navier-Stokes equations

Partial Differential Equations

BIHARMONIC WAVE MAPS INTO SPHERES

Free energy estimates for the two-dimensional Keller-Segel model

THEOREMS, ETC., FOR MATH 515

On some weighted fractional porous media equations

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Relation between Distributional and Leray-Hopf Solutions to the Navier-Stokes Equations

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

Functional Limit theorems for the quadratic variation of a continuous time random walk and for certain stochastic integrals

Some asymptotic properties of solutions for Burgers equation in L p (R)

Lecture Notes on PDEs

EXISTENCE AND UNIQUENESS OF POSITIVE SOLUTIONS TO HIGHER-ORDER NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION WITH INTEGRAL BOUNDARY CONDITIONS

Presenter: Noriyoshi Fukaya

On boundary value problems for fractional integro-differential equations in Banach spaces

A regularity criterion for the 3D NSE in a local version of the space of functions of bounded mean oscillations

Elliptic Operators with Unbounded Coefficients

Decay in Time of Incompressible Flows

A Mean Field Equation as Limit of Nonlinear Diffusions with Fractional Laplacian Operators

Entropy and Relative Entropy

High Order Numerical Methods for the Riesz Derivatives and the Space Riesz Fractional Differential Equation

Weak-Strong Uniqueness of the Navier-Stokes-Smoluchowski System

Radon measure solutions for scalar. conservation laws. A. Terracina. A.Terracina La Sapienza, Università di Roma 06/09/2017

Zdzislaw Brzeźniak. Department of Mathematics University of York. joint works with Mauro Mariani (Roma 1) and Gaurav Dhariwal (York)

Exponential Energy Decay for the Kadomtsev-Petviashvili (KP-II) equation

Positive solutions for a class of fractional boundary value problems

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR A SYSTEM OF FRACTIONAL DIFFERENTIAL EQUATIONS 1. Yong Zhou. Abstract

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Some Properties of NSFDEs

From a Mesoscopic to a Macroscopic Description of Fluid-Particle Interaction

Regularity and Decay Estimates of the Navier-Stokes Equations

SIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM

Applications of a Local Energy Method to Systems of PDE s Involving Free Boundaries

Weak solutions and blow-up for wave equations of p-laplacian type with supercritical sources

Weak solutions for the Cahn-Hilliard equation with degenerate mobility

Partial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations

PERIODIC SOLUTIONS OF NON-AUTONOMOUS SECOND ORDER SYSTEMS. 1. Introduction

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Relative entropies, suitable weak solutions, and weak-strong uniqueness for the compressible Navier-Stokes system

An Introduction to Stochastic Partial Dierential Equations

On the existence of solution to a boundary value problem of fractional differential equation on the infinite interval

2 Lebesgue integration

The enigma of the equations of fluid motion: A survey of existence and regularity results

Nonlinear Diffusion. Porous Medium and Fast Diffusion. From Analysis to Physics and Geometry

arxiv: v1 [math.ap] 18 May 2017

EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

Conservation law equations : problem set

OPTIMAL CONVERGENCE RATES FOR THE COMPRESSIBLE NAVIER-STOKES EQUATIONS WITH POTENTIAL FORCES

HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM

WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY

The incompressible Navier-Stokes equations in vacuum

Existence of Minimizers for Fractional Variational Problems Containing Caputo Derivatives

Theory of PDE Homework 2

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

On Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations

arxiv: v2 [math.ap] 20 Nov 2017

Regularizations of general singular integral operators

Errata Applied Analysis

Fractional Cahn-Hilliard equation

Zdzislaw Brzeźniak. Department of Mathematics University of York. joint works with Mauro Mariani (Roma 1) and Gaurav Dhariwal (York)

Régularité des équations de Hamilton-Jacobi du premier ordre et applications aux jeux à champ moyen

Liquid crystal flows in two dimensions

Exact controllability of the superlinear heat equation

We denote the space of distributions on Ω by D ( Ω) 2.

A TWO PARAMETERS AMBROSETTI PRODI PROBLEM*

GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS

On the bang-bang property of time optimal controls for infinite dimensional linear systems

Uniformly Uniformly-ergodic Markov chains and BSDEs

Journal of Inequalities in Pure and Applied Mathematics

Controlled Diffusions and Hamilton-Jacobi Bellman Equations

Some lecture notes for Math 6050E: PDEs, Fall 2016

GLOBAL EXISTENCE AND ENERGY DECAY OF SOLUTIONS TO A PETROVSKY EQUATION WITH GENERAL NONLINEAR DISSIPATION AND SOURCE TERM

Strong uniqueness for stochastic evolution equations with possibly unbounded measurable drift term

Variational Theory of Solitons for a Higher Order Generalized Camassa-Holm Equation

LECTURE 3: DISCRETE GRADIENT FLOWS

LAN property for sde s with additive fractional noise and continuous time observation

Finite difference method for elliptic problems: I

Transcription:

Compactness and weak solutions to time fractional PDEs Lei Li (With Jian-Guo Liu) Department of Mathematics Duke University Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 1 / 42

Outline Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 2 / 42

Outline Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 2 / 42

Outline Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 2 / 42

Outline Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 2 / 42

Introduction Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 3 / 42

Introduction Memory effects Memory effects are ubiquitous in physics and engineering ( particles in heat bath; soft matter with viscoelasticity) One-sided convolution is usually used to model the memory effects. A typical example is the generalized Langevin equation (GLE) (Mori, Kubo, Zwangzig): ẋ = v, t m v = V (x) γ(t s)v(s)ds + R(t) t 0 R(t) is a random noise satisfying the so-called fluctuation-dissipation theorem: E(R(t 0 )R(t 0 + t)) = me(v(t 0 ) 2 )γ( t ) = kt γ( t ). Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 4 / 42

Introduction GLE: Memory effects often lead to fractional calculus For absolutely continuous functions, the Caputo derivative is D α c x = 1 t ẋ(s) Γ(1 α) 0 (t s) α ds, Our recent work (Li, Liu and Lu) considers the over-damped regime of GLE driven by fractional noise, leading to the following fractional SDE model: Dc 2 2H x = V (x) + ḂH. D α c x is the Caputo derivative, which corresponds to the t t0 γ(t s)v(s)ds term in the GLE model. Ḃ H is the fractional noise. For a physical system, the Caputo derivative and the fractional noise must appear in pairs. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 5 / 42

Introduction Time FPDEs: Some probabilistic interpretations Hairer, Iyer et. al. recently showed that some intermediate time behaviors of celluclar flows can be described by time fractional diffusion equations with Caputo derivatives. (In other words, in certain scaling regime, the solutions to an advection-diffusion equations converge weakly to the solution of time fractional diffusion equations) Meerschaert and Scheffer noticed that the solution to the time fractional diffusion equation with order γ with initial data u 0 = f (x) admits the following probabilistic representation: u(x,t) = E x (f (W Et )) where W is a Brownian motion and E t is an inverse γ-stable subordinator independent of β. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 6 / 42

Introduction Fractional calculus Integrals of order γ > 0: J γ f (t) = 1 t (t s) γ 1 f (s)ds Γ(γ) 0 The fractional integral is just the convolution between θ(t)f and g γ (t) = θ(t) 1 Γ(γ) tγ 1. θ(t) is the Heaviside step function. Example: J 2 f = t 0 τ0 f (s)ds dτ = t 0 (t s)f (s)ds For derivatives, Riemann-Liouville and Caputo types are widely used: If γ (n 1,n), d n t D γ rl f (t) = 1 Γ(n γ) dt n 0 f (s) (t s) γ+1 n ds, Dγ cf (t) = If γ = n, they are defined as the usual derivative f (n) (t). 1 t Γ(n γ) 0 f (n) (s) ds (t s) γ+1 n Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 7 / 42

Introduction Properties and issues for the traditional definition The integrals {J γ } form a semigroup. D γ rl = D n J γ (n 1) and D γ c = J γ (n 1) D n. If α γ > 0: D γ rl J α = D γ cj α = J α γ. The Riemann-Liouville operator and Caputo derivative are left inverse of integrals, but in general not the right inverse: JDf = f (t) f (0). γ D rl1 0. This is due to a jump at t = 0 for causality. γ Dc 1 = 0. The Caputo derivative removes the singularity at t = 0. The dynamics is counted from t = 0+. The definition of Caputo derivative requires higher order derivatives. intuitively, if we want to define γ-th order derivative, we do not need it to be n-th order differentiable. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 8 / 42

Introduction Some recent definitions to extend Caputo derivatives In the book by Kilbas et. al, the Caputo derivative with order γ (0,1) was defined using Riemann-Liouville derivatives. In a recent work by Allen, Caffarelli and Vasseur, the Caputo derivative was defined by an integral form. In the work by Gorenflo, Luchko and Yamamoto, the Caputo derivative was extended to functions in some Sobolev spaces using functional analysis tools. Li and Liu extended the definition of Caputo derivatives to a certain class of locally integrable functions based on a convolution group. This definition reveals the underlying structures and is theoretically convenient. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 9 / 42

Introduction Fractional differential equations Caputo derivatives count the dynamics from t = 0 + and shares many similarities with usual derivatives, so more suited to initial value problems. Fractional ODE theory has been well established. Books by Kilbas, and Diethelm for FODEs with Caputo derivatives. Recently, Feng, Li, Liu and Xu studied 1D autonomous FODEs using a generalized definition. The monotonicity and blowup have been discussed thoroughly. Fractional SDEs: for physical systems, fractional noise must be paired with Caputo derivatives while for other models, they may not be paired. Very little rigorous study of FPDEs. The time fractional diffusion equations have been studied by M. Taylor, and Caffarelli et. al. Many papers used the old definition of Caputo derivatives to study other types of fractional PDEs, but are not mathematically rigorous. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 10 / 42

Definition of weak Caputo derivatives Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 11 / 42

Definition of weak Caputo derivatives A convolution group and a generalized definition of Caputo derivatives In the book by Gel fand and Shilov, integrals and derivatives of arbitrary order for a distribution supported on [0, ) are defined to as ϕ (α) = ϕ g α, g α := tα 1 + Γ(α), α C. Here t + = max(t,0) = θ(t)t and tα 1 + Γ(α) must be understood as distributions for R(α) 0. We use this group {g α : α C} (with more convenient forms) in our work to define the modified Riemann-Liouville calculus. The derivatives are now inverse of integral operators. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 12 / 42

Definition of weak Caputo derivatives A convolution group and a generalized definition of Caputo derivatives The extended Caputo derivative: Definition 1 Let 0 < γ < 1. Consider u L 1 loc (0,T ;R) and there is u 0 R such that 1 lim t t 0 t 0 u(s) u 0 ds = 0. The γ-th order Caputo derivative of u is a distribution in D (,T ) with support in [0,T ), given by ( ) Dcu γ := g γ (u u 0 )θ(t). For β ( 1,0), g β (t) = 1 Γ(1+β ) D(θ(t)tβ ), where D means the distributional derivative in D. One can check that this agrees with the traditional definition of Caputo derivatives if u is absolutely continuous. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 13 / 42

Definition of weak Caputo derivatives Right derivatives Another group given by C := { g α : g α (t) = g α ( t),α R}. Clearly, supp g (,0]. Right Caputo derivatives: Definition 2 Let 0 < γ < 1. Consider u L 1 loc (,T ) such that T is a Lebesgue point. The γ-th order right Caputo derivative of u is a distribution in D (R) with support in (,T ], given by D γ c;t u := g γ (θ(t t)(u(t) u(t ))). If u is absolutely continuous on (a,t ), a < T, then D γ c;t u = 1 Γ(1 γ) T t (s t) γ u(s)ds, t (a,t ). (1) Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 14 / 42

Definition of weak Caputo derivatives Integration by parts using right derivatives Lemma 3 Let u,v be absolutely continuous on (0,T ), then we have the integration by parts formula for Caputo derivatives T 0 T (Dcu)(v(t) γ v(t ))dt = (u(t) u(0+))( D γ c;t v)dt. 0 This relation also holds if u L 1 loc (0,T ) so that u(0+) exists and v Cc (,T ). Remark 1 If γ 1, it is not hard to see that D γ c;t u u (t) weakly. Hence, the right derivatives carry a natural negative sign. Remark 2 Assuming that u, v are smooth functions, this identity can be verified easily using traditional definitions of left and right Caputo derivatives. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 15 / 42

Definition of weak Caputo derivatives Weak Caputo derivatives for functions valued in Banach spaces? Fix T > 0 and introduce the following sets: { } D := v v : Cc ((,T );R) B is a bounded linear operator. In other words, D consists of functionals from C c ((,T );R) to B. Definition of weak Caputo derivatives: Definition 4 Let B be a Banach space and u L 1 loc ([0,T );B). Let u 0 B. We define the weak Caputo derivative of u associated with initial data u 0 to be D γ cu D such that for any test function ϕ C c ((,T );R), T Dcu,ϕ γ := (u u 0 )θ(t)( D T γ c;t ϕ)dt = (u u 0 ) D γ c;t ϕ dt. 0 Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 16 / 42

Definition of weak Caputo derivatives Some basic properties of the weak Caputo derivatives supp D γ cu [0,T ). If B = R d and u(0+) = u 0, then the Caputo derivative is then given by D γ cu = g γ ((u u 0 )θ(t)). Let γ (0,1). If Dcu γ L 1 loc ([0,T );B), then u(t) = J γ (Dcu) γ = u 0 + 1 t (t s) γ 1 D Γ(γ) cu γ ds, a.e. on (0,T ). 0 where the integral is understood as the Lebesgue integral. If u is absolutely continuous, then Dcu γ L 1 loc ([0,T );B) for γ (0,1) and D γ cu(t) = 1 t u(s) ds, t [0,T ). (2) Γ(1 γ) 0 (t s) γ Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 17 / 42

Definition of weak Caputo derivatives An important lemma Proposition 1 Let γ (0,1). If u : [0,T ) B is C 1 ((0,T );B) C 0 ([0,T );B), and u E(u) R is a C 1 convex functional on B, then ( Dcu(t) γ 1 u(t) u(0) t ) u(t) u(s) = Γ(1 γ) t γ + γ ds 0 (t s) γ+1 (3) and D γ ce(u(t)) D u E(u),D γ cu, (4) where D u E( ) : B B is the Fréchet differential and, is understood as the dual pairing between B and B. The proof is very straightforward by observing E(u(t)) E(b) D u E(u(t)) (u(t) b), b B. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 18 / 42

Definition of weak Caputo derivatives Regularity improvements by fractional integral Proposition 2 Let B be a Banach space and T > 0 and γ (0,1). Suppose u L 1 loc ((0,T );B) and f = Dcu γ with an assigned initial value u 0 B. (i) If f L ((0,T );B), then u is Hölder continuous with order γ ε for any ε (0,γ). If f is continuous, then u is γ-th order Hölder continuous. (ii) If further there exists δ > 0, such that f C m,β ([δ/4,t ];B), with β [0,1], then C m,β +γ ([δ,t ];B), β + γ < 1, u C m+1,β +γ 1 ([δ,t ];B), β + γ > 1, C m,1;1 ([δ,t ];B), β + γ = 1. (iii) If there exists δ > 0, such that f H s ((δ/4,t );B) (the Sobolev space W 1,s ((δ/4,t );B)), then u H s+γ ((δ,t );B) The claims are not true in general if δ = 0. For example, f = 1, then we have u = u 0 + t γ /Γ(1 + γ). There is an intrinsic singularity at t = 0. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 19 / 42

Compactness Criteria Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 20 / 42

Compactness Criteria The traditional Aubin-Lions Lemma and its variants The traditional Aubin-Lions-Simon lemma: Let X 0,X,X 1 be three Banach spaces such that X 0 is compactly embedded into X and X is continuously embedded into X 1. Let W = {u L p ([0,T ];X 0 ) u t L q ([0,T ];X 1 )}. (i) If p <, W is relatively compact in L p ([0,T ];X). (ii) If p = and q > 1, W is relatively compact in C([0,T ];X). In the work by Chen, Jungel and Liu, several variants of Aubin-Lions lemma have been summarized and proved. The results here apply to many common nonlinear PDEs. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 21 / 42

Compactness Criteria The role of Aubin-Lions Lemma in parabolic equations The Aubin-Lions Lemma is a powerful tool for establishing the existence of weak solutions to nonlinear PDEs with diffusion. As a trivial but illustrating example, consider u t = u, x Ω; u = 0, x Ω. Suppose u t=0 = u 0 L 2 (Ω). The proof of existence of weak solutions is as following (though I did not introduce the definition of weak solutions): Find a common basis to L 2 and H 1 0, {w k}. Expand u 0 = k α k w k. Let u m = m k=1 c k(t)w k. Solve the ODE system t u m,w j = u m,w j, j = 1,...,m. We have 1 2 t u m 2 2 = u m 2 2, which yields the uniform boundedness of u m in L (L 2 ) and L 2 (H0 1). One can estimate t u m L 2 (H 1 ). Then, the Aubin-Lions lemma yields the relative compactness of {u m } in L 2 (L 2 ). The limit of a subsequence is then a weak solution. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 22 / 42

Compactness Criteria FPDEs? Some a priori estimates and motivation Consider the simple time fractional diffusion equation with Dirichlet condition: D γ cu = u, x Ω. Formula is available (See the notes by M. Taylor). Show the existence of solutions without using the formula? We do a priori estimates. u Dcudx γ = u 2 dx. Using the important lemma about convex functional: This implies that 1 2 Dγ c u 2 2 u 2 2 (t) + 2 Γ(γ) t 0 u Dcudx γ = u 2 dx (t s) γ 1 u(s) 2 2 ds u 0 2 2. Goal: use the boundedness of t 0 (t s)γ 1 u(s) 2 2 ds and L (0, ;L 2 ) to find a certain compactness criterion and then the existence of weak solution follows. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 23 / 42

Compactness Criteria The first compactness criteria We propose two compactness criteria, which could be useful at different situations (see the examples later). Theorem 5 Let T > 0,γ (0,1) and p [1, ). Let M,B,Y be Banach spaces. M B compactly and B Y continuously. Suppose W L 1 loc ((0,T );M) satisfies: (i) There exists C 1 > 0 such that u W, sup J γ ( u p M ) = t (0,T ) p sup t (0,T ) 1 Γ(γ) t 0 (t s) γ 1 u p M (s)ds C 1. (ii) There exist r ( 1+pγ, ) [1, ) and C 3 > 0 such that u W, there is an assignment of initial value u 0 for u so that the weak Caputo derivative satisfies: Dcu γ L r ((0,T );Y ) C 3. Then, W is relatively compact in L p ((0,T );B). Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 24 / 42

Compactness Criteria The second compactness criteria Theorem 6 Let T > 0,γ (0,1) and p [1, ). Let M,B,Y be Banach spaces. M B compactly and B Y continuously. Suppose W L 1 loc ((0,T );M) satisfies: (i). There exists r 1 [1, ) and C 1 > 0 such that u W, sup J γ ( u r 1 M ) = t (0,T ) sup t (0,T ) 1 Γ(γ) t 0 (t s) γ 1 u r 1 M (s)ds C 1. (ii). There exists p 1 (p, ], W is bounded in L p 1((0,T );B). (iii). There exist r 2 [1, ) and C 2 > 0 such that u W, there is an assignment of initial value u 0 for u so that the weak Caputo derivative satisfies: D γ cu L r 2 ((0,T );Y ) C 2, Then, W is relatively compact in L p ((0,T );B). Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 25 / 42

Compactness Criteria Sketch of the proof 1: The implication of boundness fractional integral 1 Let γ (0,1). If sup t t (0,T ) Γ(γ) 0 (t s)γ 1 f (s) p Mds <, then f L p ((0,T );M). Proof: T0 f p M (s)ds T 1 γ T 0 (T s) γ 1 f p M ds. The results can not essentially be improved: Suppose µ is the middle 1/3 Cantor measure that is Ahlfors-regular of degree (or dimension) α = ln2/ln3. Then, if γ > 1 α, 1 sup t s γ 1 dµ(s) <. t [0,1] 0 Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 26 / 42

Compactness Criteria Sketch of the proof 2: Time shift estimates Proposition 3 Fix T > 0. Let B be a Banach space and γ (0,1). Suppose u L 1 loc ((0,T );B) has a weak Caputo derivative Dcu γ L p ((0,T );B) associated with initial value u 0 B. If pγ 1, we set r 0 = and if pγ < 1, we set r 0 = p/(1 pγ). Then, there exists C > 0 independent of h and u such that { Ch γ+ 1 r p 1 D γ τ h u u L r ((0,T h);b) cu L p ((0,T );B), r [p,r 0 ), Ch γ Dcu γ (5) L p ((0,T );B), r [1,p]. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 27 / 42

Compactness Criteria Sketch of the proof 3: Some key lemmas The first: Lemma 7 Suppose M,B,Y are three Banach spaces. M B Y with the embedding M B be compact. 1 p < and (i). W is bounded in L p ((0,T );M); (ii). τ h f f L p ((0,T h);y ) 0 uniformly as h 0. Then, W is relatively compact in L p ((0,T );B). The second: Lemma 8 Let 1 < p 1. If W is a bounded set in L p 1((0,T );B) and relatively compact in L 1 loc ((0,T );B), then it is relatively compact in Lp ((0,T );B) for all 1 p < p 1. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 28 / 42

Examples of fractional PDEs Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 29 / 42

Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 30 / 42

Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations Time fractional compressible Navier-Stokes equations The first toy problem is: Dcu γ + (uu) + 1 2 ( u 2 ) = u, x Ω, u Ω = 0, x Ω. Ω R d (d = 2,3) is an open bounded domain with smooth boundary. The nonconservative form D γ cu + u u + ( u) u + ( u)u = u is the time fractional Burgers equation. For the usual time derivative, it is also called the Euler-Poincare equation. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 31 / 42

Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations Weak formulation Using the definition of weak Caputo derivative, we can formulate the definition of weak solutions as following Definition 9 Let γ (0,1). We say u L ((0,T );L 2 (Ω)) L 2 ((0,T );H0 1 (Ω)) with D γ cu L q 1((0,T );H 1 (Ω)), q 1 = min(2,4/d), is a weak solution with initial data u 0 L 2 (Ω), if u(x,s) u 0, D T γ c;t ϕ ϕ : u u dxdt 0 Ω 1 T T ϕ u 2 dxdt = u ϕ dxdt, (6) 2 0 Ω 0 Ω for any ϕ C c ([0,T ) Ω;R d ). We say a weak solution is a regular weak solution if u(0+) = u 0. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 32 / 42

Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations Existence of weak solutions The idea is to use Galerkin s method to form an approximating function sequence and then apply our first compactness criteria. Pick a common basis {w k } k=1 of L2 (Ω) and H 1 0 (Ω), orthonormal in L2. By the uniform boundedness principle, P m : v m k=1 is uniformly bounded in both H 1 0 and L2. α k w k Decompose u 0 = k=1 αk w k (x) in L 2 (Ω). Consider u m (t) = m k=1 ck m(t)w k satisfying D γ cu m,w j + (u m u m ),w j + 1 2 u m 2,w j = u m,w j, u m (0) = m k=1 c k m(0)w k = m k=1 α k w k. (7) Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 33 / 42

Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations Existence of weak solutions (continued) The equation for u m is reduced to an FODE for the coefficient c m. By the result in Feng, Li, Liu and Xu: u m C 1 ((0, );H 1 0 (Ω)) C0 ([0, );H 1 0 (Ω)). Note that u m (0) H 1 0 (Ω) though u 0 is not necessarily in H 1 0. Using the important lemma about convex functional, we have the energy estimates: t u m L ((0, );L 2 (Ω)) u 0 2, sup (t s) γ 1 u m 2 2 ds 1 0 t< 0 2 Γ(γ) u 0 2. Using the fact that P m is uniformly bounded, we find ( ) Dcu γ m L q 1 (0,T ;H 1 ) C, q 4 1 = min 2,. d The second compactness criterion then yields a convergent subsequence in L 2 (0,T ;L 2 ), and the limit is a weak solution. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 34 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations Outline 1 Introduction 2 Definition of weak Caputo derivatives 3 Compactness Criteria 4 Examples of fractional PDEs A special case of time fractional compressible Navier-Stokes equations 2D time fractional Keller-Segel equations Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 35 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations 2D time fractional Keller-Segel equations As another toy problem, we consider { D γ c ρ + (ρ c) = ρ, x R 2, c = ρ, x R 2. Initial condition is ρ(x,0) = ρ 0 0. Definition 10 We say ρ L (0,T ;L 1 (R 2 )) L (0,T ;L 2 (R 2 )) L 2 (0,T ;H 1 (R 2 )) is a weak solution with initial data ρ 0 0 and ρ 0 L 1 (R 2 ) L 2 (R 2 ), if (i). ρ(x,t) 0. (ii). There exists q (1,2) such that D γ cu L q 1((0,T );W 2,q (R 2 )) for any q 1 (1, ). (iii). For any ϕ C c ([0,T ) R 2 ), u(x,s) u 0, D T γ c;t ϕ ϕ ( ( ) 1 ρ)ρ dxdt = u, ϕ. 0 R 2 We say a weak solution is a regular weak solution if u(0+) = u 0. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 36 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations The regularized system To prove the existence of weak solutions, we construct an approximating sequence. One standard idea is to consider a regularized system. J(x) C c (R 2 ), J(x) 0 and R 2 J(x)dx = 1, J ε = 1 ε 2 J ( x ε ). { D γ c ρ ε + (ρ ε c ε ) = ρ ε, c ε = ρ ε J ε, Initial data ρ ε 0 = ρ 0 J ε, which has the same L 1 norm as ρ 0. The question is that how we can show the existence of strong solutions of the regularized system. The answer is to show the existence of mild solution and then show the mild solution is a strong solution with the regularity proved. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 37 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations Linear time fractional advection diffusion equations Initila data ρ(x,0) = ρ 0. D γ cρ + (ρa(x,t)) = ρ, By the Laplace transform, we have (A = ): t ρ(x,t) = E γ ( t γ A)ρ 0 + γ τ γ 1 E γ( τ γ A)( (ρa) t τ )dτ. 0 An important observation is E γ( τ γ A) f 2 H α C R 2 E γ( τ γ k 2 ) 2 k 2 ˆf k 2 (1 + k 2α )dk Cτ γ R 2 ˆf k 2 (1 + k 2α )dk = Cτ γ f 2 H α. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 38 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations Linear time fractional advection diffusion equations Lemma 11 Suppose a(x, t) is smooth and all the derivatives are bounded. Then: (i) If ρ 0 L 1 (R 2 ) H α (R 2 ), then T > 0, the equation has a unique mild solution in C([0,T ];H α (R 2 )). (ii) For the unique mild solution in (i), T > 0, ρ C 0,γ ([0,T ];H α (R 2 )) C ((0,T );H α (R 2 )). The mild solution is a strong solution in C([0,T ];H α 2 ) so that: D γ cρ = 1 t ρ(s) ds = (ρa(x,t)) + ρ. Γ(1 γ) 0 (t s) γ (iii) If ρ 0 H 1 (R 2 ) L 1 (R 2 ) and ρ 0 0, then ρ(x,t) 0, and ρ dx = ρ R 2 R 2 0 dx. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 39 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations Strong solutions of the regularized system Initial data ρ ε 0 = ρ 0 J ε. { D γ c ρ ε + (ρ ε c ε ) = ρ ε, c ε = ρ ε J ε, Step 1: Existence and uniqueness of mild solutions. This is similar as what we do for the linear equations. Step 2: Let c ε = ( ) 1 ρ ε and consider the linear problem: D γ cv + (v c ε ) = v. By the results for linear advection-diffusion equation, we know this has strong solutions, which then must be the mild solution ρ ε. Also, it is nonnegative and preserves L 1 norm. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 40 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations Energy estimates and compactness By the standard Sobolev embeddings and the important lemma about convex energy functional: 1 q Dγ c ρ ε q q (ρ ε ) q 1,D γ cρ ε, we have Lemma 12 Suppose ρ 0 0 satisfies that ρ 0 L 1 L 2 and M 0 = ρ 0 1 is sufficiently small. Then, ρ ε 0 and for any fixed T > 0, ρ ε L (0,T ;L q ) C(q,T ), q [1,2], sup 0 t T t 0 (t s) γ 1 ρ ε 2 2ds C(T ). Further, there exists q (1,2) such that D γ cρ ε is uniformly bounded in L q 1(0,T ;W 2,q (R 2 )) for any q 1 (1, ). The first compactness criterion then yields a convergent subsequence, which turns out to be a weak solution. Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 41 / 42

Examples of fractional PDEs 2D time fractional Keller-Segel equations This is a joint work with Prof. Jian-Guo Liu: L. Li and J. Liu Some compactness criteria for weak solutions of time fractional PDEs. Preprint. Other references J. Simon, Compact sets in the space L p (0,T ;B). Annali di Matematica pura ed applicata L. Li, J. Liu and J. Lu Fractional stochastic differential equations satisfying fluctuation-dissipation theorem. J. Stat. Phys. Y. Feng, L. Li, J. Liu and X. Xu Continuous and discrete one dimensional autonomous fractional ODEs. Discrete Contin. Dyn. Syst. Ser. B Thank you for your attention! Lei Li (Math Dept) Compactness and fractional PDEs October 11, 2017 42 / 42