SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION

Similar documents
Semigroup Generation

On the Well-posedness and Stability of Peakons for a Generalized Camassa-Holm Equation

ANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction

Analyticity of semigroups generated by Fleming-Viot type operators

ADJOINT FOR OPERATORS IN BANACH SPACES

S t u 0 x u 0 x t u 0 D A. Moreover, for any u 0 D A, AS t u 0 x x u 0 x t u 0 x t H

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA

NON-AUTONOMOUS INHOMOGENEOUS BOUNDARY CAUCHY PROBLEMS AND RETARDED EQUATIONS. M. Filali and M. Moussi

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES

Introduction to Semigroup Theory

An Introduction to Stochastic Partial Dierential Equations

On Controllability of Linear Systems 1

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

1.4 The Jacobian of a map

FORCED OSCILLATIONS OF A CLASS OF NONLINEAR DISPERSIVE WAVE EQUATIONS AND THEIR STABILITY

A Quasi-Linear Parabolic Partial Differential Equation with Accretive Property

Parameter Dependent Quasi-Linear Parabolic Equations

C.I.BYRNES,D.S.GILLIAM.I.G.LAUK O, V.I. SHUBOV We assume that the input u is given, in feedback form, as the output of a harmonic oscillator with freq

Partial Differential Equations

Problemas abiertos en dinámica de operadores

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

The Fattorini-Hautus test

On Semigroups Of Linear Operators

FURTHER STUDIES OF STRONGLY AMENABLE -REPRESENTATIONS OF LAU -ALGEBRAS

A Necessary and Sufficient Condition for Global Existence for Nonlinear Semigroups

Existence of the free boundary in a diffusive ow in porous media

NONLINEAR DIFFERENTIAL INEQUALITY. 1. Introduction. In this paper the following nonlinear differential inequality

Corollary A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X;

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.

A G Ramm, Implicit Function Theorem via the DSM, Nonlinear Analysis: Theory, Methods and Appl., 72, N3-4, (2010),

Uniform polynomial stability of C 0 -Semigroups

Wellposedness and inhomogeneous equations

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space

Midterm 1. Every element of the set of functions is continuous

Université de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz

Non-stationary Friedrichs systems

Sectorial Forms and m-sectorial Operators

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP

ON THE WELL-POSEDNESS OF THE HEAT EQUATION ON UNBOUNDED DOMAINS. = ϕ(t), t [0, τ] u(0) = u 0,

The fundamental properties of quasi-semigroups

Takens embedding theorem for infinite-dimensional dynamical systems

Exponential stability of abstract evolution equations with time delay feedback

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

Conservative Control Systems Described by the Schrödinger Equation

Conservation Laws and Finite Volume Methods

First order Partial Differential equations

Exponential stability of families of linear delay systems

Large time dynamics of a nonlinear spring mass damper model

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan

EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS

Chapter 2 Boundary and Initial Data

ITERATIVE APPROXIMATION OF SOLUTIONS OF GENERALIZED EQUATIONS OF HAMMERSTEIN TYPE

Conservation Laws and Finite Volume Methods

Elliptic Operators with Unbounded Coefficients

Lecture Notes in Mathematics. A First Course in Quasi-Linear Partial Differential Equations for Physical Sciences and Engineering Solution Manual

Common Fixed Point Results in S-metric Spaces

MARKO NEDELJKOV, DANIJELA RAJTER-ĆIRIĆ

Trotter s product formula for projections

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables.

An Operator Theoretical Approach to Nonlocal Differential Equations

Maximum principle for the fractional diusion equations and its applications

Forced Oscillations of the Korteweg-de Vries Equation on a Bounded Domain and their Stability

Syed Abbas. June 19th, 2009

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

Lecture Notes on Partial Dierential Equations (PDE)/ MaSc 221+MaSc 225

PARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007

SOLUTIONS TO QUASI-LINEAR DIFFERENTIAL EQUATIONS WITH ITERATED DEVIATING ARGUMENTS

1. Introduction Since the pioneering work by Leray [3] in 1934, there have been several studies on solutions of Navier-Stokes equations

On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry

APPROXIMATE CONTROLLABILITY OF DISTRIBUTED SYSTEMS BY DISTRIBUTED CONTROLLERS

Analysis Preliminary Exam Workshop: Hilbert Spaces

1 Solutions to selected problems

Dynamical systems method (DSM) for selfadjoint operators

WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)

THE PERRON PROBLEM FOR C-SEMIGROUPS

Applied Mathematics 505b January 22, Today Denitions, survey of applications. Denition A PDE is an equation of the form F x 1 ;x 2 ::::;x n ;~u

Holomorphic functions which preserve holomorphic semigroups

Propagation of discontinuities in solutions of First Order Partial Differential Equations

Convergence rate estimates for the gradient differential inclusion

Chapter 3 Second Order Linear Equations

A DISTRIBUTIONAL APPROACH TO FRAGMENTATION EQUATIONS. To Professor Jeff Webb on his retirement, with best wishes for the future. 1.

On quasiperiodic boundary condition problem

Weak Feller Property and Invariant Measures

Hyperbolic Systems of Conservation Laws

THE FINAL VALUE PROBLEM FOR SOBOLEV EQUATIONS JOHN LAGNESE

PARAMETER IDENTIFICATION IN THE FREQUENCY DOMAIN. H.T. Banks and Yun Wang. Center for Research in Scientic Computation

THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS

STRONG CONVERGENCE THEOREMS FOR COMMUTATIVE FAMILIES OF LINEAR CONTRACTIVE OPERATORS IN BANACH SPACES

DIFFERENTIABILITY OF WEAK SOLUTIONS TO AN ABSTRACT INHOMOGENEOUS DIFFERENTIAL EQUATION C. C. TRAVIS1

Hille-Yosida Theorem and some Applications

Mathematical Journal of Okayama University

Strong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback

Equations paraboliques: comportement qualitatif

BSDEs and PDEs with discontinuous coecients Applications to homogenization K. Bahlali, A. Elouain, E. Pardoux. Jena, March 2009

A First Course of Partial Differential Equations in Physical Sciences and Engineering

INTEGRAL SOLUTIONS OF FRACTIONAL EVOLUTION EQUATIONS WITH NONDENSE DOMAIN

Nonlinear stabilization via a linear observability

On Solutions of Evolution Equations with Proportional Time Delay

Quasireversibility Methods for Non-Well-Posed Problems

Transcription:

SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION Istanbul Kemerburgaz University Istanbul Analysis Seminars 24 October 2014 Sabanc University Karaköy Communication Center

1 2 3 4 5

u(x, t)

u(x, t) (i) Does it exist?

u(x, t) (i) Does it exist? (ii) Is it unique?

u(x, t) (i) Does it exist? (ii) Is it unique? (iii) Does it depend continuously on the initial data?

u(x, t) (i) Does it exist? (ii) Is it unique? (iii) Does it depend continuously on the initial data? Well-posed?

Solutions Classical solution: A solution of a "PDE of order k" which is at least k times continuously dierentiable.

Solutions Classical solution: A solution of a "PDE of order k" which is at least k times continuously dierentiable. Weak solution!!

Solutions Classical solution: A solution of a "PDE of order k" which is at least k times continuously dierentiable. Weak solution!! Sobolev space : Hilbert space which involves weak solutions H k (R).

Simple example du dt = f (u), u(0) = u 0 (1) Two Banach spaces : X and Y, with Y X.

Simple example du dt = f (u), u(0) = u 0 (1) Two Banach spaces : X and Y, with Y X. f : continuous from Y to X.

Simple example du dt = f (u), u(0) = u 0 (1) Two Banach spaces : X and Y, with Y X. f : continuous from Y to X. Assume that for all u 0, there exist a real number T > 0 and a unique solution u C([0, T ], Y ) satisfying equation (1).

Simple example du dt = f (u), u(0) = u 0 (1) Two Banach spaces : X and Y, with Y X. f : continuous from Y to X. Assume that for all u 0, there exist a real number T > 0 and a unique solution u C([0, T ], Y ) satisfying equation (1). du dt C([0, T ], X )).

Simple example du dt = f (u), u(0) = u 0 (1) Two Banach spaces : X and Y, with Y X. f : continuous from Y to X. Assume that for all u 0, there exist a real number T > 0 and a unique solution u C([0, T ], Y ) satisfying equation (1). du dt C([0, T ], X )). Assume that u 0 u is continuous (Y C([0, T ], Y ). locally well-posedness in Y. Very strong!!

Linear Homogeneous equation: u (t) + Au(t) = 0, 0 t T, u(0) = u 0

Linear u 0, solution u exists and is unique: Here, e ta = (ta) n n=0 n!. u(t) = e ta u 0

Linear Nonhomogeneous equation: u (t) + Au(t) = f (t), 0 t T, u(0) = u 0

Linear Lions, Yosida, Pazy... KATO!!! t u(t) = e ta u 0 + e (t s)a f (s)ds 0

Denitions Denition Let X be a Banach space. If the mapping T (t) : R + L(X ) satises the following properties, then it is a C 0 semigroup: (i) T (0) = I (ii) t, s 0, T (t + s) = T (t)t (s) (iii) lim t 0 T (t)x = x, x X.

Denition Denition Let {T (t)} t 0 be a C 0 semigroup. T (t)x x If the limit Ax := lim t 0 is dened, then the innitesimal t generator of T (t) is A. Domain of A is denoted by D(A): T (t)x x D(A) := {x X : lim t 0 t limit is in X.}

Cauchy Problem u (t) = Au(t), u(0) = u 0,

Cauchy Problem u (t) = Au(t), u(0) = u 0, (i) If a continuously dierentiable function u satises u(t) D(A) for all t 0 and satises the equation, then it is a classical solution,

Cauchy Problem u (t) = Au(t), u(0) = u 0, (i) If a continuously dierentiable function u satises u(t) D(A) for all t 0 and satises the equation, then it is a classical solution, (ii) If for a continuous function u, t u(s)ds D(A) and 0 t A u(s)ds = u(t) x, then it is a mild solution. 0

Idea u (t) + A(u, t)u = 0, u(0) = u 0 u(t) = e ta u 0 u(t) = T (t)u 0

Idea u (t) + A(u, t)u = 0, u(0) = u 0 u(t) = e ta u 0 u(t) = T (t)u 0 u (t) + A(ω, t)u = 0, u(0) = u 0 u(t) = T ω (t)u 0

Idea u (t) + A(u, t)u = 0, u(0) = u 0 u(t) = e ta u 0 u(t) = T (t)u 0 u (t) + A(ω, t)u = 0, u(0) = u 0 u(t) = T ω (t)u 0 ω Φ(ω) = T ω (t)u 0 = u Φ(ω) contraction mapping unique solution u (Banach xed point theorem)

Notation B(X ; Y ): Set of all bounded linear operators on X to Y G(X ): All negative generators of C 0 semigroups on X G(X, µ, β): A generates a C 0 semigroup {e ta } with e ta µe βt, 0 t <

Notation B(X ; Y ): Set of all bounded linear operators on X to Y G(X ): All negative generators of C 0 semigroups on X G(X, µ, β): A generates a C 0 semigroup {e ta } with e ta µe βt, 0 t < A G(X, 1, β) quasi-m-accretive

Heat equation u t κu xx = 0, u(x, 0) = u 0 (x), x R

Heat equation u t κu xx = 0, u(x, 0) = u 0 (x), x R Solution by classical method: u(x, t) = 1 4πκt e (x y)2 4κt u 0 (y)dy

Heat equation u t κu xx = 0, u(x, 0) = u 0 (x), x R Solution by classical method: By new notation, u(x, t) = 1 4πκt e (x y)2 4κt u 0 (y)dy u t + Au = 0, u(0) = u 0 where A = κd 2 and T (t)u x 0 = 1 (e x2 4κt 4πκt u 0 )(x).

Heat equation u t κu xx = 0, u(x, 0) = u 0 (x), x R Solution by classical method: By new notation, u(x, t) = 1 4πκt e (x y)2 4κt u 0 (y)dy u t + Au = 0, u(0) = u 0 where A = κd 2 and T (t)u x 0 = 1 (e x2 4κt 4πκt For all t, u(t) u 0 κd 2 x G(L 2, 1, 0). u 0 )(x).

General approach Evolution equation depending on time variable t and spatial variable x

General approach Evolution equation depending on time variable t and spatial variable x Ordinary dierential equation depending on time variable t in an innite dimensional Banach space

General approach Evolution equation depending on time variable t and spatial variable x Ordinary dierential equation depending on time variable t in an innite dimensional Banach space Choose an appropriate Banach space. Choose the corresponding operator A. Spatial derivatives and other restrictions are captured by either the Banach space or the operator.

Quasi-linear equations u t + A(u)u = f (u), t 0, u(0) = u 0. (2) X and Y Banach spaces Y X continuous and densely injected S : Y X topological isomorphism

Assumptions (A1) For given C > 0 and for all y Y satisfying y Y C, A(y) is quasi-m-accretive. In other words, A(y) generates a quasi-contractive C 0 semigroup {T (t)} t 0 in X satisfying T (t) e wt.

Assumptions (A1) For given C > 0 and for all y Y satisfying y Y C, A(y) is quasi-m-accretive. In other words, A(y) generates a quasi-contractive C 0 semigroup {T (t)} t 0 in X satisfying T (t) e wt. (A2) For all y Y, A(y) is a bounded linear operator from Y to X and (A(y) A(z))w X c 1 y z X w Y, y, z, w Y.

Assumptions (A3) SA(y)S 1 = A(y) + B(y), where B(y) L(X ) is uniformly bounded on {y Y : y Y M} and (B(y) B(z))w X c 2 y z Y w X, w X.

Assumptions (A3) SA(y)S 1 = A(y) + B(y), where B(y) L(X ) is uniformly bounded on {y Y : y Y M} and (B(y) B(z))w X c 2 y z Y w X, w X. (A4) The function f is bounded on bounded subsets {y Y : y Y M} of Y for each M > 0, and is Lipschitz in X and Y : and f (y) f (z) X c 3 y z X, y, z X f (y) f (z) Y c 4 y z Y, y, z Y. Here, c 1, c 2, c 3 and c 4 are constants depending only on max{ y Y, z Y }.

Conclusion 1 Theorem Assume (A1), (A2), (A3), (A4) hold. Given u 0 Y, there is a maximal T > 0, depending on u 0 and a unique solution u to (2) such that u = (u 0,.) C([0, T ), Y ) C 1 ([0, T ), X ). Moreover, the map u 0 u(u 0,.) is continuous from Y to C([0, T ), Y ) C 1 ([0, T ), X ). 1 T. Kato, Quasi-linear equations of evolution, with applications to partial dierential equations, in: Spectral theory and dierential equations, Lecture Notes in Math. 448, Springer-Verlag, Berlin, 1975, pp. 25 70.

Quasilinear wave equation u t + a(u)u x = b(u)u X = L 2 (R), Y = H 2 (R), S = 1 D 2 x A(u, t) = A(u) = a(u) x f (u, t) = b(u)u B(u) = [a (u)u xx + a (u)ux] S 2 1 2a (u)u x 2 S 1

Quasilinear wave equation u t + a(u)u x = b(u)u X = L 2 (R), Y = H 2 (R), S = 1 D 2 x A(u, t) = A(u) = a(u) x f (u, t) = b(u)u B(u) = [a (u)u xx + a (u)u 2 x] S 1 2a (u)u x 2 S 1 Alternatively, X = L 2 (R), Y = H s (R), s 2, S = (1 D 2 x ) s/2 or S = (1 D x ) s Gain regularity!!

Model equation u t + u x + 3 2 εuu x 3 8 ε2 u 2 u x + 3 16 ε3 u 3 u x + µ 12 (u xxx u xxt ) + 7ε 24 µ(uu xxx + 2u x u xx ) = 0, x R, t > 0. (3) Here, u(x, t) denotes free surface elevation, ε and µ represent the amplitude and shallowness parameters, respectively.

Quasilinear equation Rewrite equation (3) in the following way and dene the periodic Cauchy problem: where u t + A(u)u = f (u) x R, t > 0, (4) u(x, 0) = u 0 (x) x R, (5) u(x, t) = u(x + 1, t) x R, t > 0, (6) A(u) = (1 + 7 2 εu) x, (7) f (u) = (1 µ 12 2 x ) 1 x [2u + 5 2 εu2 1 8 ε2 u 3 + 3 64 ε3 u 4 7 48 εµu2 x]. (8)

Setting (i) X = L 2 [0, 1], (ii) Y = H s per, s > 3/2, (iii) S = Λ s, Λ = (1 2 x ) 1/2.

Assumption 1 If u H s per, s > 3/2, then the operator A(u) = (1 + u) x with the following domain, D(A) = {ω L 2 [0, 1] : (1 + u) x ω L 2 [0, 1]} L 2 [0, 1] is quasi-m-accretive.

Assumption 1 If (a) For all w D(A), there exists a real number β such that (Aw, w) X β w 2 X, (b) The range of A + λi is all of X for some (or all) λ > β, then we are done.

Assumption 2 For every ω H s per, s > 3/2, A(u) is bounded linear operator from H s to per L2 [0, 1] and (A(u) A(v))ω L 2 [0,1] c 1 u v L 2 [0,1] ω H s per.

Assumption 3 The operator B(u) = SA(u)S 1 A(u) = Λ s (u x + x )Λ s (u x + x ) = [Λ s, u x + x ]Λ s is bounded in L 2 [0, 1] for u H s per with s > 3/2.

Assumption 4 Let f (u) be the function (8). Then: (i) f is bounded on bounded subsets {u H s per of H s per for each M > 0. (ii) f (u) f (v) L 2 [0,1] c 3 u v L 2 [0,1]. (iii) f (u) f (v) H s per c 4 u v H s per, s > 3/2. : u H s per M}

Local well-posedness Given u 0 H s, s > 3 per, there exists a unique solution u to (3)-(6) 2 depending on u 0 as follows: u = u(u 0,.) C([0, T ), H s per) C 1 ([0, T ), L 2 [0, 1]). Moreover, the mapping u 0 H s per u(u 0,.) is continuous from H s to per C([0, T ), Hper) s C 1 ([0, T ), L 2 [0, 1]).

N. Duruk Mutluba³, Local well-posedness and wave breaking results for periodic solutions of a shallow water equation for waves of moderate amplitude, Nonlinear Anal. 97, 2014, 145-154. T. Kato, Quasi-linear equations of evolution, with applications to partial dierential equations, in:spectral theory and dierential equations, Lecture Notes in Math. 448, Springer-Verlag, Berlin, 1975, pp. 2570. A. Pazy, Semigroups of Linear Operators and Applications to Partial Dierential Equations, Applied Mathematical Sciences 44, Springer-Verlag, New York, U.S.A., 1983.