Gradient Systems of Phase Transitions

Size: px
Start display at page:

Download "Gradient Systems of Phase Transitions"

Transcription

1 Gradient Systems of Phase Transitions Fang Hua Lin Courant Institute, NYU January 2011 Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

2 Early Work Fast Reaction and Slow Diffusion Consistency Conditions Note Proof Remark Example: N = N 1 N2 Dynamical Picture Conclusions Another Example KRS Problem Note Guess Energy Minimization Theorem Another Theorem Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

3 Early Work Early Work In the early 1970s E. De Giorgi proposed the Γ-convergence method for understanding the limits of scalar phase field equations in both the static (1) ε u ε 1 ε F (u ε ) = 0 and dynamic (2) u ε t = ε u ε 1 ε F (u ε ) cases. The first rigorous mathematical work is probably the paper by L. Modica and S. Mortola (1977) on the Γ-convergence of (1). Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

4 Early Work Since the mid-1980s many papers have been written on the gradient theory of phase transitions; e.g., L. Modica (1986), Luckhaus-Modica (1989), Kohn-Sternberg (1989), Fonseca-Tartar (1989) for the elliptic case; and R. Pego (1989), X.F. Chen (1990), M. Soner (1991), T. Ilmanen (1993) (convergence of Allen-Cahn to Brakke flows) for the parabolic case. P. Souganidis et al. studied problems involving statistical effects. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

5 Early Work There was also work on geometric motion by mean curvature (level set methods). In the late 1990s there were works on high dimensional and higher co-dimensional motion by mean curvature using Ginzburg-Landau equations by Ambrosio-Soner (1998), Lin (1999), Lin-Rivière (2001) and Bethuel-Orlandi-Smets (2005 6). Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

6 Fast Reaction and Slow Diffusion Fast Reaction and Slow Diffusion WKB analysis is attributed to Keller-Rubenstein-Sternberg (KRS) (1989) and may be described as follows. Let u(x, t, ε) R m be a solution of the following initial boundary value problem for x in a bounded smooth domain Ω of R n : { u t = ε u 1 (3) ε F (u), (x, t) Ω R +, u(x, 0) = g ε (x), x Ω, with boundary conditions (N) u(x, t) = 0, x Ω, ν ν is the exterior unit normal along Ω; (D) u(x, t) = h ε (x), x Ω. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

7 Consistency Conditions Consistency Conditions In addition, one has consistency conditions: (NC) (DC) ν g ε (x) = 0 g ε (x) = h ε (x) on Ω, on Ω. F(u) is typically a smooth function on R m such that F(u) dist 2 (u, N) whenever dist(u, N) δ N. Here N is a smooth, connected, compact submanifold of R m. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

8 Consistency Conditions Let τ = t ε be the fast and η = εt the slow time variables. Keller-Rubinstein-Sternberg argued formally that Here (a) u(x, t, ε) = u (x, τ, η) + O(ε 2 ). { u τ (x, τ, η) = F (u ), u (x, 0, 0) = g(x). For η = 0 the above ODE can be solved globally in τ [0, ), and (b) F(u (x,, 0)) = 0 = u (x,, 0) N. Let φ(x) = lim τ + u (x, τ, 0) = u (x,, 0), then in the (x, η)-variables (as τ ) one has { u η (c) + u T u (N) u (x,, η) = φ(x) at η = 0. u satisfies the equation of heat flow of harmonic maps into N. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

9 Consistency Conditions Note Note Note KRS showed the above statement rigorously when N = S m 1 and all data are radially symmetric. Indeed, when N = S m 1, then the equation in (x, η) variables becomes (4) u ε η = u ε + u ε ε 2 (1 u ε 2 ). (Here F(u) = 1 4 (1 u 2 ).) Suppose u ε (x, 0) = φ(x) H 1 (Ω, S m 1 ), then under either of conditions (D) or (N) one has u ε (x, η) u(x, η) a solution of heat flow of harmonic maps into S m 1. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

10 Consistency Conditions Proof Proof Sketch of the Proof If then E ε (u ε (t)) = 1 2 Ω E ε (φ) E ε (u ε (t)) = u ε 2 (t)dx + 1 4ε 2 ( u ε 2 1) 2 dx Ω t 0 Ω u ε 2 dx dη. η Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

11 Consistency Conditions Proof We have and as ε 0 (*) u u η u ε u ε η = div(u ε u ε ) = div(u u). Since u = 1, (*) implies that (5) u η = u + u 2 u. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

12 Consistency Conditions Remark Remark Remark [Chen-Struwe, Chen-Lin] (6) { u ε η = uε 1 ε 2 grad F(u ε ) u ε (x, 0) = φ(x) H 1 (Ω, N) with either (D) or (N) one can show u ε u weakly in H 1 such that u η = u + A(u)( u, u). See [Lin-Wang] for a further understanding of this. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

13 Example: N = N 1 N2 Example: N = N 1 N2 Consider 1 E ε,λ (u, v) = Ω 2 ( u 2 + v 2 ) + 1 [ (1 u 2 4ε 2 ) 2 + (1 v 2 ) 2] dx λ + 2 (u v)2 dx. Ω Here u, v are complex-valued functions on Ω R 2, N 1 and N 2 are circles in R 4, Ω a bounded smooth domain. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

14 Example: N = N 1 N2 Again one has boundary conditions (D) or (N). { u (7) t = u + u (1 u 2 ) λ(u v)v, ε 2 v t = v + v (1 v 2 ) λ(u v)u. ε 2 References: Geshkenbein and Larkin, JETP Lett., Sigrist, Rice and Veda, Phys. Rev. Lett., Multiple components of BECs, after λ log 1 ε Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

15 Dynamical Picture Dynamical Picture [Lin-T.C. Lin] We start with the following: a u component has a vortex at a and a v component has a vortex at b, both are of degree 1 2. There is a domain wall Γ 0 connecting vortces a and b so that phases of u and v both have jumps π across Γ. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

16 Dynamical Picture Conclusions Conclusions We may draw the following four conclusions: For 0 t o( λ), u, v simply adjust to become energy minimizing subject to the prescribed domain wall Γ 0 and the location of vortices a and b. Moreover, in this time interval. E ε,λ (u, v) = 2π log 1 ε + c 0l(Γ 0 ) λ + O(1) If o( λ) t O( λ), then Γ = Γ(t) is a motion by curvature while the endpoints a, b are fixed. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

17 Dynamical Picture Conclusions For t = O(log 1 ε / λ), Γ(t) is straight and ( 1 2 degree) vortices at locations a(t), b(t) such that d dt a(t) = ab, d dt b(t) = ab. For t = O(log 1 ε ) it starts with a(0) = b(0) = 1 2 (a 0 + b 0 ). Then a(t) = b(t) motion is given by the ODE d dt a(t) = aw(a). Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

18 Dynamical Picture Another Example Another Example [Lin-Lin-Wei] E,β (u, v) = u 2 + v 2 + ( 1 u 2 v 2) 2 + β u 2 v 2 S 3 2 for u, v H 1 (S 3, C) such that S3 u 2 = c 1 S 3, (, β +.) S 3 v 2 = c 2 S 3, 0 < c 1, c 2 < 1, c 1 + c 2 = 1. One may find linked vortex ring solutions (skyrmions) as critical points of two-component BECs. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

19 KRS Problem KRS Problem When N = N 1 N2, a union of two smooth, compact and connected submanifolds N 1 and N 2 such that N 1 N 2 =. KRS (1989) asked the behavior of solutions of (3) with suitably prepared initial and boundary conditions. That is to understand (8) u ε t = ε uε 1 ε grad F(uε ) with u ε (x, 0) = g ε (x) and (D) or (N) as ε 0 +. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

20 KRS Problem Note Note Note g ε (x) and h ε (x) are suitably prepared. One may assume F(u) = d 2 N (u). where { dist(u, N) if dist(u, N) δ N d N (u) = smooth and c N > 0 if dist(u, N) > δ N. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

21 KRS Problem Guess Guess Guess Fast time variable dynamics are similar; i.e., u τ = grad F(u). It will bring the data, after O(ε) time, the initial data g ε (x) for (8) becomes well prepared as in the diagram, to For example, εe ε (g ε ) A, g ε (Ω 1 ) N 1, g ε (Ω 2 ) N 2. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

22 KRS Problem Guess In O(1) time scale, the shape interface Γ will evolve according to the motion by mean curvature. Formal analysis by KRS showed that if N 1 = {P}, N 2 = {q}, then Γ(t) is indeed a motion by mean curvature. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

23 Energy Minimization Energy Minimization such that u ε = g ε on Ω. [ 1 min Ω 2 u ε ] ε 2 F(uε ) dx = min E ε (u ε ) Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

24 Energy Minimization Theorem Theorem Theorem [Lin-Pan-Wang] If g ε is admissible and u ε is a minimizer, then (9) εe ε (u ε ) = C F 0 (N)Hn 1 (Γ) + o ε (1) u ε (Ω ε 1 ) N 1 u ε (Ω ε 2 ) N 2 Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

25 Energy Minimization Theorem Γ ε Γ is an area-minimizing hypersurface and C F 0 (N) is the energy of the minimimal connecting orbit between N 1 and N 2. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

26 Energy Minimization Theorem For p N 1, q N 2, one can define C ε (p, q) to be the value + [ 1 min du ε ] 2 ds ε 2 F(u ε) ds such that u ε ( ) = p, u ε (+ ) = q. C F 0 (N) = ε min{c ε(p, q) : p N 1, q N 2 }. Let Σ 1 = {p N 1 : q N 2 s. t. εc ε (p, q) = C F 0 (N)} Σ 2 = {q N 2 : p N 1 s. t. εc ε (p, q) = C F 0 (N)} Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

27 Energy Minimization Another Theorem Another Theorem Theorem (Lin-Pan-Wang) If, in addition, Γ is smooth and stable, then (10) εe ε (u ε ) = C F 0 (N)Hn 1 (Γ) + εd + o(ε) whenever D <. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

28 Energy Minimization Another Theorem Here such that u = g on Ω and { } 1 D = min Ω 2 u 2 : u(ω) N 1 N 2 u(x) + Σ 1, u(x) Σ 2, ε C ε (u(x) +, u(x) ) = C F 0 (N) x Γ. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

29 Energy Minimization Another Theorem The parabolic case is under investigation. Fang Hua Lin (CIMS) Gradient Systems of Phase Transitions January / 28

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH 425, PRACTICE FINAL EXAM SOLUTIONS. MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator

More information

EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL

EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL Exit Time problems and Escape from a Potential Well Escape From a Potential Well There are many systems in physics, chemistry and biology that exist

More information

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of Rou-Huai Wang 1. Introduction In this note we consider semistable

More information

EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION

EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION Sixth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 5 (7), pp. 5 65. ISSN: 7-669. UL: http://ejde.math.txstate.edu

More information

Numerical Methods for Differential Equations

Numerical Methods for Differential Equations Numerical Methods for Differential Equations Course objectives and preliminaries Gustaf Söderlind and Carmen Arévalo Numerical Analysis, Lund University Textbooks: A First Course in the Numerical Analysis

More information

Introduction to the Finite Element Method

Introduction to the Finite Element Method Introduction to the Finite Element Method 09.06.2009 Outline Motivation Partial Differential Equations (PDEs) Finite Difference Method (FDM) Finite Element Method (FEM) References Motivation Figure: cross

More information

Parabolic Equations. Chapter 5. Contents. 5.1.2 Well-Posed Initial-Boundary Value Problem. 5.1.3 Time Irreversibility of the Heat Equation

Parabolic Equations. Chapter 5. Contents. 5.1.2 Well-Posed Initial-Boundary Value Problem. 5.1.3 Time Irreversibility of the Heat Equation 7 5.1 Definitions Properties Chapter 5 Parabolic Equations Note that we require the solution u(, t bounded in R n for all t. In particular we assume that the boundedness of the smooth function u at infinity

More information

88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a

88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a 88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small

More information

A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS

A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors

More information

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3. 5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2

More information

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations Difference Equations to Differential Equations Section.7 Rolle s Theorem and the Mean Value Theorem The two theorems which are at the heart of this section draw connections between the instantaneous rate

More information

Rolle s Theorem. q( x) = 1

Rolle s Theorem. q( x) = 1 Lecture 1 :The Mean Value Theorem We know that constant functions have derivative zero. Is it possible for a more complicated function to have derivative zero? In this section we will answer this question

More information

THE CENTRAL LIMIT THEOREM TORONTO

THE CENTRAL LIMIT THEOREM TORONTO THE CENTRAL LIMIT THEOREM DANIEL RÜDT UNIVERSITY OF TORONTO MARCH, 2010 Contents 1 Introduction 1 2 Mathematical Background 3 3 The Central Limit Theorem 4 4 Examples 4 4.1 Roulette......................................

More information

A power series about x = a is the series of the form

A power series about x = a is the series of the form POWER SERIES AND THE USES OF POWER SERIES Elizabeth Wood Now we are finally going to start working with a topic that uses all of the information from the previous topics. The topic that we are going to

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

An Introduction to Partial Differential Equations

An Introduction to Partial Differential Equations An Introduction to Partial Differential Equations Andrew J. Bernoff LECTURE 2 Cooling of a Hot Bar: The Diffusion Equation 2.1. Outline of Lecture An Introduction to Heat Flow Derivation of the Diffusion

More information

Extremal equilibria for reaction diffusion equations in bounded domains and applications.

Extremal equilibria for reaction diffusion equations in bounded domains and applications. Extremal equilibria for reaction diffusion equations in bounded domains and applications. Aníbal Rodríguez-Bernal Alejandro Vidal-López Departamento de Matemática Aplicada Universidad Complutense de Madrid,

More information

Exact shape-reconstruction by one-step linearization in electrical impedance tomography

Exact shape-reconstruction by one-step linearization in electrical impedance tomography Exact shape-reconstruction by one-step linearization in electrical impedance tomography Bastian von Harrach harrach@math.uni-mainz.de Institut für Mathematik, Joh. Gutenberg-Universität Mainz, Germany

More information

Quasi-static evolution and congested transport

Quasi-static evolution and congested transport Quasi-static evolution and congested transport Inwon Kim Joint with Damon Alexander, Katy Craig and Yao Yao UCLA, UW Madison Hard congestion in crowd motion The following crowd motion model is proposed

More information

CONSERVATION LAWS. See Figures 2 and 1.

CONSERVATION LAWS. See Figures 2 and 1. CONSERVATION LAWS 1. Multivariable calculus 1.1. Divergence theorem (of Gauss). This states that the volume integral in of the divergence of the vector-valued function F is equal to the total flux of F

More information

How To Price A Call Option

How To Price A Call Option Now by Itô s formula But Mu f and u g in Ū. Hence τ θ u(x) =E( Mu(X) ds + u(x(τ θ))) 0 τ θ u(x) E( f(x) ds + g(x(τ θ))) = J x (θ). 0 But since u(x) =J x (θ ), we consequently have u(x) =J x (θ ) = min

More information

Shape Optimization Problems over Classes of Convex Domains

Shape Optimization Problems over Classes of Convex Domains Shape Optimization Problems over Classes of Convex Domains Giuseppe BUTTAZZO Dipartimento di Matematica Via Buonarroti, 2 56127 PISA ITALY e-mail: buttazzo@sab.sns.it Paolo GUASONI Scuola Normale Superiore

More information

Finite speed of propagation in porous media. by mass transportation methods

Finite speed of propagation in porous media. by mass transportation methods Finite speed of propagation in porous media by mass transportation methods José Antonio Carrillo a, Maria Pia Gualdani b, Giuseppe Toscani c a Departament de Matemàtiques - ICREA, Universitat Autònoma

More information

Comments on Quotient Spaces and Quotient Maps

Comments on Quotient Spaces and Quotient Maps 22M:132 Fall 07 J. Simon Comments on Quotient Spaces and Quotient Maps There are many situations in topology where we build a topological space by starting with some (often simpler) space[s] and doing

More information

Motion by mean curvature and level-set approach

Motion by mean curvature and level-set approach Motion by mean curvature and level-set approach Olivier Ley Laboratoire de Mathématiques et Physique Théorique Université de Tours Parc de Grandmont, 37200 Tours, France http://www.phys.univ-tours.fr/~ley

More information

Math 241, Exam 1 Information.

Math 241, Exam 1 Information. Math 241, Exam 1 Information. 9/24/12, LC 310, 11:15-12:05. Exam 1 will be based on: Sections 12.1-12.5, 14.1-14.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)

More information

Reaction diffusion systems and pattern formation

Reaction diffusion systems and pattern formation Chapter 5 Reaction diffusion systems and pattern formation 5.1 Reaction diffusion systems from biology In ecological problems, different species interact with each other, and in chemical reactions, different

More information

FIELDS-MITACS Conference. on the Mathematics of Medical Imaging. Photoacoustic and Thermoacoustic Tomography with a variable sound speed

FIELDS-MITACS Conference. on the Mathematics of Medical Imaging. Photoacoustic and Thermoacoustic Tomography with a variable sound speed FIELDS-MITACS Conference on the Mathematics of Medical Imaging Photoacoustic and Thermoacoustic Tomography with a variable sound speed Gunther Uhlmann UC Irvine & University of Washington Toronto, Canada,

More information

Geometric evolution equations with triple junctions. junctions in higher dimensions

Geometric evolution equations with triple junctions. junctions in higher dimensions Geometric evolution equations with triple junctions in higher dimensions University of Regensburg joint work with and Daniel Depner (University of Regensburg) Yoshihito Kohsaka (Muroran IT) February 2014

More information

THE BANACH CONTRACTION PRINCIPLE. Contents

THE BANACH CONTRACTION PRINCIPLE. Contents THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,

More information

Fundamental Theorems of Vector Calculus

Fundamental Theorems of Vector Calculus Fundamental Theorems of Vector Calculus We have studied the techniques for evaluating integrals over curves and surfaces. In the case of integrating over an interval on the real line, we were able to use

More information

Some stability results of parameter identification in a jump diffusion model

Some stability results of parameter identification in a jump diffusion model Some stability results of parameter identification in a jump diffusion model D. Düvelmeyer Technische Universität Chemnitz, Fakultät für Mathematik, 09107 Chemnitz, Germany Abstract In this paper we discuss

More information

Properties of BMO functions whose reciprocals are also BMO

Properties of BMO functions whose reciprocals are also BMO Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

More information

WHEN DOES A RANDOMLY WEIGHTED SELF NORMALIZED SUM CONVERGE IN DISTRIBUTION?

WHEN DOES A RANDOMLY WEIGHTED SELF NORMALIZED SUM CONVERGE IN DISTRIBUTION? WHEN DOES A RANDOMLY WEIGHTED SELF NORMALIZED SUM CONVERGE IN DISTRIBUTION? DAVID M MASON 1 Statistics Program, University of Delaware Newark, DE 19717 email: davidm@udeledu JOEL ZINN 2 Department of Mathematics,

More information

Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x

Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x Lecture 4. LaSalle s Invariance Principle We begin with a motivating eample. Eample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum Dynamics of a pendulum with friction can be written

More information

8 Hyperbolic Systems of First-Order Equations

8 Hyperbolic Systems of First-Order Equations 8 Hyperbolic Systems of First-Order Equations Ref: Evans, Sec 73 8 Definitions and Examples Let U : R n (, ) R m Let A i (x, t) beanm m matrix for i,,n Let F : R n (, ) R m Consider the system U t + A

More information

Computation of crystal growth. using sharp interface methods

Computation of crystal growth. using sharp interface methods Efficient computation of crystal growth using sharp interface methods University of Regensburg joint with John Barrett (London) Robert Nürnberg (London) July 2010 Outline 1 Curvature driven interface motion

More information

An optimal transportation problem with import/export taxes on the boundary

An optimal transportation problem with import/export taxes on the boundary An optimal transportation problem with import/export taxes on the boundary Julián Toledo Workshop International sur les Mathématiques et l Environnement Essaouira, November 2012..................... Joint

More information

RANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis

RANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied

More information

Interplay between polynomial and transcendental entire dynamics

Interplay between polynomial and transcendental entire dynamics and Interplay and transcendental Department of Mathematical Sciences, University of Liverpool Oberwolfach, October 2008 Outline and 1 and 2 3 4 Outline and 1 and 2 3 4 Outline and 1 and 2 3 4 Outline and

More information

5.1 Derivatives and Graphs

5.1 Derivatives and Graphs 5.1 Derivatives and Graphs What does f say about f? If f (x) > 0 on an interval, then f is INCREASING on that interval. If f (x) < 0 on an interval, then f is DECREASING on that interval. A function has

More information

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

More information

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish

More information

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity MA4001 Engineering Mathematics 1 Lecture 10 Limits and Dr. Sarah Mitchell Autumn 2014 Infinite limits If f(x) grows arbitrarily large as x a we say that f(x) has an infinite limit. Example: f(x) = 1 x

More information

A new approach for regularization of inverse problems in image processing

A new approach for regularization of inverse problems in image processing A new approach for regularization of inverse problems in image processing I. Souopgui 1,2, E. Kamgnia 2, 1, A. Vidard 1 (1) INRIA / LJK Grenoble (2) University of Yaounde I 10 th African Conference on

More information

APPLIED MATHEMATICS ADVANCED LEVEL

APPLIED MATHEMATICS ADVANCED LEVEL APPLIED MATHEMATICS ADVANCED LEVEL INTRODUCTION This syllabus serves to examine candidates knowledge and skills in introductory mathematical and statistical methods, and their applications. For applications

More information

The Heat Equation. Lectures INF2320 p. 1/88

The Heat Equation. Lectures INF2320 p. 1/88 The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)

More information

Numerical Methods For Image Restoration

Numerical Methods For Image Restoration Numerical Methods For Image Restoration CIRAM Alessandro Lanza University of Bologna, Italy Faculty of Engineering CIRAM Outline 1. Image Restoration as an inverse problem 2. Image degradation models:

More information

3. Reaction Diffusion Equations Consider the following ODE model for population growth

3. Reaction Diffusion Equations Consider the following ODE model for population growth 3. Reaction Diffusion Equations Consider the following ODE model for population growth u t a u t u t, u 0 u 0 where u t denotes the population size at time t, and a u plays the role of the population dependent

More information

Rev. Mat. Iberoam, 17 (1), 49{419 Dynamical instability of symmetric vortices Lus Almeida and Yan Guo Abstract. Using the Maxwell-Higgs model, we prove that linearly unstable symmetric vortices in the

More information

Network Traffic Modelling

Network Traffic Modelling University of York Dissertation submitted for the MSc in Mathematics with Modern Applications, Department of Mathematics, University of York, UK. August 009 Network Traffic Modelling Author: David Slade

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000

More information

Solutions of Equations in One Variable. Fixed-Point Iteration II

Solutions of Equations in One Variable. Fixed-Point Iteration II Solutions of Equations in One Variable Fixed-Point Iteration II Numerical Analysis (9th Edition) R L Burden & J D Faires Beamer Presentation Slides prepared by John Carroll Dublin City University c 2011

More information

Random graphs with a given degree sequence

Random graphs with a given degree sequence Sourav Chatterjee (NYU) Persi Diaconis (Stanford) Allan Sly (Microsoft) Let G be an undirected simple graph on n vertices. Let d 1,..., d n be the degrees of the vertices of G arranged in descending order.

More information

Solutions to Homework 5

Solutions to Homework 5 Solutions to Homework 5 1. Let z = f(x, y) be a twice continously differentiable function of x and y. Let x = r cos θ and y = r sin θ be the equations which transform polar coordinates into rectangular

More information

ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE

ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE i93 c J SYSTEMS OF CURVES 695 ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE BY C H. ROWE. Introduction. A system of co 2 curves having been given on a surface, let us consider a variable curvilinear

More information

1 Local Brouwer degree

1 Local Brouwer degree 1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.

More information

Surface Normals and Tangent Planes

Surface Normals and Tangent Planes Surface Normals and Tangent Planes Normal and Tangent Planes to Level Surfaces Because the equation of a plane requires a point and a normal vector to the plane, nding the equation of a tangent plane to

More information

3 Contour integrals and Cauchy s Theorem

3 Contour integrals and Cauchy s Theorem 3 ontour integrals and auchy s Theorem 3. Line integrals of complex functions Our goal here will be to discuss integration of complex functions = u + iv, with particular regard to analytic functions. Of

More information

Representation of functions as power series

Representation of functions as power series Representation of functions as power series Dr. Philippe B. Laval Kennesaw State University November 9, 008 Abstract This document is a summary of the theory and techniques used to represent functions

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

vector calculus 2 Learning outcomes

vector calculus 2 Learning outcomes 29 ontents vector calculus 2 1. Line integrals involving vectors 2. Surface and volume integrals 3. Integral vector theorems Learning outcomes In this Workbook you will learn how to integrate functions

More information

1. First-order Ordinary Differential Equations

1. First-order Ordinary Differential Equations Advanced Engineering Mathematics 1. First-order ODEs 1 1. First-order Ordinary Differential Equations 1.1 Basic concept and ideas 1.2 Geometrical meaning of direction fields 1.3 Separable differential

More information

MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL

MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI

More information

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper. FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

More information

Statistics of the Zeta zeros: Mesoscopic and macroscopic phenomena

Statistics of the Zeta zeros: Mesoscopic and macroscopic phenomena Statistics of the Zeta zeros: Mesoscopic and macroscopic phenomena Department of Mathematics UCLA Fall 2012 he Riemann Zeta function Non-trivial zeros: those with real part in (0, 1). First few: 1 2 +

More information

Existence de solutions à support compact pour un problème elliptique quasilinéaire

Existence de solutions à support compact pour un problème elliptique quasilinéaire Existence de solutions à support compact pour un problème elliptique quasilinéaire Jacques Giacomoni, Habib Mâagli, Paul Sauvy Université de Pau et des Pays de l Adour, L.M.A.P. Faculté de sciences de

More information

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

More information

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand Notes V General Equilibrium: Positive Theory In this lecture we go on considering a general equilibrium model of a private ownership economy. In contrast to the Notes IV, we focus on positive issues such

More information

Continuity. DEFINITION 1: A function f is continuous at a number a if. lim

Continuity. DEFINITION 1: A function f is continuous at a number a if. lim Continuity DEFINITION : A function f is continuous at a number a if f(x) = f(a) REMARK: It follows from the definition that f is continuous at a if and only if. f(a) is defined. 2. f(x) and +f(x) exist.

More information

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN LINEAR ALGEBRA W W L CHEN c W W L Chen, 1982, 2008. This chapter originates from material used by author at Imperial College, University of London, between 1981 and 1990. It is available free to all individuals,

More information

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

Inner product. Definition of inner product

Inner product. Definition of inner product Math 20F Linear Algebra Lecture 25 1 Inner product Review: Definition of inner product. Slide 1 Norm and distance. Orthogonal vectors. Orthogonal complement. Orthogonal basis. Definition of inner product

More information

PRACTICE FINAL. Problem 1. Find the dimensions of the isosceles triangle with largest area that can be inscribed in a circle of radius 10cm.

PRACTICE FINAL. Problem 1. Find the dimensions of the isosceles triangle with largest area that can be inscribed in a circle of radius 10cm. PRACTICE FINAL Problem 1. Find the dimensions of the isosceles triangle with largest area that can be inscribed in a circle of radius 1cm. Solution. Let x be the distance between the center of the circle

More information

Deflections. Question: What are Structural Deflections?

Deflections. Question: What are Structural Deflections? Question: What are Structural Deflections? Answer: The deformations or movements of a structure and its components, such as beams and trusses, from their original positions. It is as important for the

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

Solutions to Practice Problems for Test 4

Solutions to Practice Problems for Test 4 olutions to Practice Problems for Test 4 1. Let be the line segmentfrom the point (, 1, 1) to the point (,, 3). Evaluate the line integral y ds. Answer: First, we parametrize the line segment from (, 1,

More information

Mathematics 31 Pre-calculus and Limits

Mathematics 31 Pre-calculus and Limits Mathematics 31 Pre-calculus and Limits Overview After completing this section, students will be epected to have acquired reliability and fluency in the algebraic skills of factoring, operations with radicals

More information

A class of infinite dimensional stochastic processes

A class of infinite dimensional stochastic processes A class of infinite dimensional stochastic processes John Karlsson Linköping University CRM Barcelona, July 7, 214 Joint work with Jörg-Uwe Löbus John Karlsson (Linköping University) Infinite dimensional

More information

The Math Circle, Spring 2004

The Math Circle, Spring 2004 The Math Circle, Spring 2004 (Talks by Gordon Ritter) What is Non-Euclidean Geometry? Most geometries on the plane R 2 are non-euclidean. Let s denote arc length. Then Euclidean geometry arises from the

More information

Figure 2.1: Center of mass of four points.

Figure 2.1: Center of mass of four points. Chapter 2 Bézier curves are named after their inventor, Dr. Pierre Bézier. Bézier was an engineer with the Renault car company and set out in the early 196 s to develop a curve formulation which would

More information

Level Set Framework, Signed Distance Function, and Various Tools

Level Set Framework, Signed Distance Function, and Various Tools Level Set Framework Geometry and Calculus Tools Level Set Framework,, and Various Tools Spencer Department of Mathematics Brigham Young University Image Processing Seminar (Week 3), 2010 Level Set Framework

More information

Pricing catastrophe options in incomplete market

Pricing catastrophe options in incomplete market Pricing catastrophe options in incomplete market Arthur Charpentier arthur.charpentier@univ-rennes1.fr Actuarial and Financial Mathematics Conference Interplay between finance and insurance, February 2008

More information

Høgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver

Høgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver Høgskolen i Narvik Sivilingeniørutdanningen STE637 ELEMENTMETODER Oppgaver Klasse: 4.ID, 4.IT Ekstern Professor: Gregory A. Chechkin e-mail: chechkin@mech.math.msu.su Narvik 6 PART I Task. Consider two-point

More information

Grey Brownian motion and local times

Grey Brownian motion and local times Grey Brownian motion and local times José Luís da Silva 1,2 (Joint work with: M. Erraoui 3 ) 2 CCM - Centro de Ciências Matemáticas, University of Madeira, Portugal 3 University Cadi Ayyad, Faculty of

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

Application of Fourier Transform to PDE (I) Fourier Sine Transform (application to PDEs defined on a semi-infinite domain)

Application of Fourier Transform to PDE (I) Fourier Sine Transform (application to PDEs defined on a semi-infinite domain) Application of Fourier Transform to PDE (I) Fourier Sine Transform (application to PDEs defined on a semi-infinite domain) The Fourier Sine Transform pair are F. T. : U = 2/ u x sin x dx, denoted as U

More information

Adaptive Online Gradient Descent

Adaptive Online Gradient Descent Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650

More information

Solutions to Homework 10

Solutions to Homework 10 Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x

More information

THREE DIMENSIONAL GEOMETRY

THREE DIMENSIONAL GEOMETRY Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

More information

Physics of the Atmosphere I

Physics of the Atmosphere I Physics of the Atmosphere I WS 2008/09 Ulrich Platt Institut f. Umweltphysik R. 424 Ulrich.Platt@iup.uni-heidelberg.de heidelberg.de Last week The conservation of mass implies the continuity equation:

More information

4. Expanding dynamical systems

4. Expanding dynamical systems 4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

Critical Thresholds in Euler-Poisson Equations. Shlomo Engelberg Jerusalem College of Technology Machon Lev

Critical Thresholds in Euler-Poisson Equations. Shlomo Engelberg Jerusalem College of Technology Machon Lev Critical Thresholds in Euler-Poisson Equations Shlomo Engelberg Jerusalem College of Technology Machon Lev 1 Publication Information This work was performed with Hailiang Liu & Eitan Tadmor. These results

More information

NONLOCAL PROBLEMS WITH NEUMANN BOUNDARY CONDITIONS

NONLOCAL PROBLEMS WITH NEUMANN BOUNDARY CONDITIONS NONLOCAL PROBLEMS WITH NEUMANN BOUNDARY CONDITIONS SERENA DIPIERRO, XAVIER ROS-OTON, AND ENRICO VALDINOCI Abstract. We introduce a new Neumann problem for the fractional Laplacian arising from a simple

More information

Mathematical Finance

Mathematical Finance Mathematical Finance Option Pricing under the Risk-Neutral Measure Cory Barnes Department of Mathematics University of Washington June 11, 2013 Outline 1 Probability Background 2 Black Scholes for European

More information

A new Feynman-Kac-formula for option pricing in Lévy models

A new Feynman-Kac-formula for option pricing in Lévy models A new Feynman-Kac-formula for option pricing in Lévy models Kathrin Glau Department of Mathematical Stochastics, Universtity of Freiburg (Joint work with E. Eberlein) 6th World Congress of the Bachelier

More information

Lecture L3 - Vectors, Matrices and Coordinate Transformations

Lecture L3 - Vectors, Matrices and Coordinate Transformations S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between

More information

Lecture 10. Finite difference and finite element methods. Option pricing Sensitivity analysis Numerical examples

Lecture 10. Finite difference and finite element methods. Option pricing Sensitivity analysis Numerical examples Finite difference and finite element methods Lecture 10 Sensitivities and Greeks Key task in financial engineering: fast and accurate calculation of sensitivities of market models with respect to model

More information