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

Similar documents
Introduction to Partial Differential Equations

Lecture Introduction

Math 4263 Homework Set 1

Introduction and some preliminaries

INTRODUCTION TO PDEs

Since there is some vagueness in the given definition, I can give a mathematically more satisfactory definition as. u xx = 2 u

examples of equations: what and why intrinsic view, physical origin, probability, geometry

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.

In this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,

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

An Introduction to Partial Differential Equations

PARTIAL DIFFERENTIAL EQUATIONS. MTH 5230, Fall 2007, MW 6:30 pm - 7:45 pm. George M. Skurla Hall 116

f(z)dz = 0. P dx + Qdy = D u dx v dy + i u dy + v dx. dxdy + i x = v

The integrating factor method (Sect. 1.1)

Classification of partial differential equations and their solution characteristics

CLASSIFICATION AND PRINCIPLE OF SUPERPOSITION FOR SECOND ORDER LINEAR PDE

Final Exam May 4, 2016

Summary for Vector Calculus and Complex Calculus (Math 321) By Lei Li

1 Introduction to PDE MATH 22C. 1. Introduction To Partial Differential Equations Recall: A function f is an input-output machine for numbers:

Introduction of Partial Differential Equations and Boundary Value Problems

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

Lecture 2: Review of Prerequisites. Table of contents

2 A brief interruption to discuss boundary value/intial value problems

Lahore University of Management Sciences

Partial Differential Equations

Mathematics of Physics and Engineering II: Homework problems

On Cauchy s theorem and Green s theorem

Lecture 9 Approximations of Laplace s Equation, Finite Element Method. Mathématiques appliquées (MATH0504-1) B. Dewals, C.

Numerical Methods for PDEs

BOUNDARY-VALUE PROBLEMS IN RECTANGULAR COORDINATES

t x 0.25

Before we look at numerical methods, it is important to understand the types of equations we will be dealing with.

Differential equations, comprehensive exam topics and sample questions

α 2 )(k x ũ(t, η) + k z W (t, η)

The Hopf equation. The Hopf equation A toy model of fluid mechanics

Mathematical Methods - Lecture 9

INTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES

Leplace s Equations. Analyzing the Analyticity of Analytic Analysis DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING. Engineering Math 16.

Complex Variables. Chapter 2. Analytic Functions Section Harmonic Functions Proofs of Theorems. March 19, 2017

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.

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

Functions of Several Variables

Class Meeting # 1: Introduction to PDEs

An Introduction to Numerical Methods for Differential Equations. Janet Peterson

SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION

2 Introduction T(,t) = = L Figure..: Geometry of the prismatical rod of Eample... T = u(,t) = L T Figure..2: Geometry of the taut string of Eample..2.

Partial Differential Equations

Partial Differential Equations

2 Complex Functions and the Cauchy-Riemann Equations

ECON 582: Dynamic Programming (Chapter 6, Acemoglu) Instructor: Dmytro Hryshko

Advection, Conservation, Conserved Physical Quantities, Wave Equations

Question 9: PDEs Given the function f(x, y), consider the problem: = f(x, y) 2 y2 for 0 < x < 1 and 0 < x < 1. x 2 u. u(x, 0) = u(x, 1) = 0 for 0 x 1

Symmetry Reductions of (2+1) dimensional Equal Width. Wave Equation

APPM 2350 Final Exam points Monday December 17, 7:30am 10am, 2018

Hamiltonian partial differential equations and Painlevé transcendents

MATH 220: PROBLEM SET 1, SOLUTIONS DUE FRIDAY, OCTOBER 2, 2015

MATH 425, FINAL EXAM SOLUTIONS

α u x α1 1 xα2 2 x αn n

Math 265H: Calculus III Practice Midterm II: Fall 2014

The WENO Method for Non-Equidistant Meshes

GRADUATE MATHEMATICS COURSES, FALL 2018

Research Article Equivalent Lagrangians: Generalization, Transformation Maps, and Applications

NPTEL web course on Complex Analysis. A. Swaminathan I.I.T. Roorkee, India. and. V.K. Katiyar I.I.T. Roorkee, India

PDEs, part 1: Introduction and elliptic PDEs

Time Integration Methods for the Heat Equation

MATH2111 Higher Several Variable Calculus Integration

2 A Model, Harmonic Map, Problem

Chapter 3 Second Order Linear Equations

3. block. BV M. Bökstedt and H. Vosegaard, Notes on point-set topology, electronically available at

Memoirs on Dierential Equations and Mathematical Physics

MATH 126 FINAL EXAM. Name:

1 Review of di erential calculus

Introduction to invariant and equivariant problems

1 Introduction We will consider traveling waves for reaction-diusion equations (R-D) u t = nx i;j=1 (a ij (x)u xi ) xj + f(u) uj t=0 = u 0 (x) (1.1) w

Hamiltonian partial differential equations and Painlevé transcendents

Existence Theory: Green s Functions

Aero III/IV Conformal Mapping

Tyn Myint-U Lokenath Debnath. Linear Partial Differential Equations for Scientists and Engineers. Fourth Edition. Birkhauser Boston Basel Berlin

Course Description for Real Analysis, Math 156

Applied PDEs: Analysis and Computation

Math 126: Course Summary

Leplace s Equations. Analyzing the Analyticity of Analytic Analysis DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING. Engineering Math EECE

Random walks for deformable image registration Dana Cobzas

Numerical Analysis and Computer Science DN2255 Spring 2009 p. 1(8)

Our goal is to solve a general constant coecient linear second order. this way but that will not always happen). Once we have y 1, it will always

Math 1270 Honors ODE I Fall, 2008 Class notes # 14. x 0 = F (x; y) y 0 = G (x; y) u 0 = au + bv = cu + dv

Final: Solutions Math 118A, Fall 2013

Lecture 42 Determining Internal Node Values

An Introduction to Stochastic Partial Dierential Equations

UNIVERSITY OF MANITOBA

The Relativistic Heat Equation

The method of lines (MOL) for the diffusion equation

Review: control, feedback, etc. Today s topic: state-space models of systems; linearization

Midterm Exam, Thursday, October 27

Lecture 4 February 2

Math 251 December 14, 2005 Final Exam. 1 18pt 2 16pt 3 12pt 4 14pt 5 12pt 6 14pt 7 14pt 8 16pt 9 20pt 10 14pt Total 150pt

1 The pendulum equation

1 The relation between a second order linear ode and a system of two rst order linear odes

minimize x subject to (x 2)(x 4) u,

Partial Differential Equations and Image Processing. Eshed Ohn-Bar

Transcription:

Applied Mathematics 505b January 22, 1998 1 Applied Mathematics 505b Partial Dierential Equations January 22, 1998 Text: Sobolev, Partial Dierentail Equations of Mathematical Physics available at bookstore by early next week. Collateral reading list available on my web page http://pineapple.apmaths.uwo.ca/ rmc/courses/am505 Administration The exam for this course is a portion of the comprehensive exam for the Ph.D. program of Applied Mathematics. counts for 70% of the mark for the course sample exams will be handed out Presentation and participation Everyone will have to give a one-hour lecture on a topic to be assigned This counts for 10% of the mark of the course Assignments There will be three or four assignment sets. to be done on your own count for 20% of the course mark Oce hours Rob Corless WSC 115 x 8794 rmcpineapple.apmaths.uwo.ca Home: 668-6319 Notes will be available on the web, typed by Mrs. Pat Malone, in.tex,.dvi,.ps, and.html formats (maybe.pdf if I get my act together). Outline We will stick fairly closely to Sobolev, emphasizing the pragmatic side. If time permits we will make a brief excursion into solitons. This course covers only essentially linear equations. The main purpose is to acquaint you with a central theme of applied mathematics, and with results that every applied mathematician should know. To do PDEs properly requires a lifetime, not just one term course. But we will do our best.

Applied Mathematics 505b January 22, 1998 2 Today Denitions, survey of applications. Denition A PDE is an equation of the form F x 1 ;x 2 ::::;x n ;~u;~u x 1 ;:::~u xn ;:::;~u xi 1 x i 2 :::x im =0 which is supposed to hold everywhere in the (nonempty) interior of some nice domain. Together with the PDE we may have boundary conditions holding on or some portion thereof. PDEs where one variable plays the role of time are also called dynamical systems (loosely). Examples of PDE If the Laplace operator is written u = 2 u x 2 1 + 2 u x 2 2 + :::+ 2 u ; x 2 n then arguably the most important equation in mathematical physics is Laplace's equation, u =0 in : Solutions of this equation are called harmonic functions, or potential functions. The Laplacian operator occurs so often because it is invariant under rigid body motions (change of Cartesian coordinates) and thus occurs very naturally in applications having isotropy. In the case n =2wehave u = u xx + u yy =0: Associate with u a conjugate harmonic function v such that the Cauchy-Riemann equations u x = v y u y =,v x hold: Then f(z) =f(x+iy) =u(x; y)+iv(x; y) is analytic. The wave equation for u(x 1 ;x 2 ;:::;x n ;t), u tt = c 2 u; describes linear vibration of a string, membrane, or solid; propagation of sound waves in tubes (n = 1), waves on the surface of shallow water (n = 2), acoustic or light waves when n =3. The heat equation (diusion equation) u t = ku is satised by the temperature of a body conducting heat, when the density and specic heat are constant.

Applied Mathematics 505b January 22, 1998 3 An important class of applications not covered explicitly in Sobolev concerns Stochastic Dierential Equations such as dx dt = b(x)+(x) (1) where is a stochastic perturbation of this otherwise ordinary dierential equation. If we set a ij = ik jk, then the Fokker-Plank equation corresponding to 1is u t = 1 2 dx i;j=1 2 x i x j (a ij u), which gives the probability density function of trajectories of 1. That is, prob fx(t) 2 Bg = B dx i=1 x i (b i u) ; (2) u(t; z) dz : For more information on this application, consult Chaos, Fractals, and Noise, by Lasota and Mackey, Springer-Verlag 1994. Other PDEs of interest include Maxwell's equations, the biharmonic equation 2 u =0, and Schrodinger's equation. These are all linear. Nonetheless the theory and results are extremely rich. Nonlinear equations belong to the 20 t h century, really, except perhaps for the following. Navier-Stokes equations D Dt = t + u i x i D nonlinear operator. Dt ~u =,r~p + 1 Re ~u + f ~u = 0 Korteweg-de Vries equation Equation of minimal surface z = u(x; y) We will see more examples later. Some things which are not PDE: u t + cuu x + u xxx (1 + u 2 y)u xx, 2u x u y u xy +(1+u 2 x)u yy =0: delay-dierential equations, for example dierence equations _y(t) =ay(t, 1) y(0) = y 0 y(t) = f(t), 1 <t<0 u ij = 1 4 (u i,1;j + u i+1;j + u i;j,1 + u i;j+1 )

Applied Mathematics 505b January 22, 1998 4 functional equations f(xy) =f(x)+f(y) But ODE are really just a simple kind of PDE; simple in that they are nite-dimensional, whereas PDE are innite-dimensional. Derivation of PDE by the calculus of variations. Preliminaries: Green's theorem and \integration by parts" Green's theorem: r fdv ~ = ~f ~nds ~n= unit inward normal. If ~ f = ~ F or = scalar function in then r ~ f =r ~ F + ~ F r so r ~ FdV = ~F rdv + ~f ~nds ~F rdv =, r FdV ~ + F ~nds Now suppose we wish to nd u = u(x; y) that extremizes I(u) = L(x; y; u; u x ;u y )dxdy with u(x; y) = a given function on. The usual heuristic argument goeslike this: assume rst that a smooth extremizing function, call it u (x; y), exists. Then if everything is \nice enough", it must be true that if I() = L(x; y; u + ; u x + x ; u y + y )dxdy for some smooth function (x; y) (any such function, so long as = 0 on so as not to disturb the boundary condition), then necessarily I 0 (0) = d d I() =0 =0: But I 0 () = = by Green 0 s theorem = L u + x L ux + y L uy dxdy L u, x L ux, y L uy! dxdy +! L u, x L ux, y L uy dxdy L ux ;L uy ~nds because 0 on : Because this must be zero for every smooth test function (x; y) with =0on, we must have L u, x L ux, y L uy =0

Applied Mathematics 505b January 22, 1998 5 everywhere in. This gives a PDE (the Euler-Lagrange equation) for u. Example I = q 1+u 2 L x+u 2 y dxdy surface area of z = u(x; y).

Applied Mathematics 505b January 22, 1998 6 we haven't made an error detectable by these simple checks. Next we suppose u(x; y) onisvery gently curved, so u x, u y, u xx, u yy, u xy are all small on the surface. Then neglecting higher order terms, we get In fact, if we expand u xx + u yy =0: L = 1+u 2 x+u 2 y 1=2=1+ 1 2 u2 x+ 1 2 u2 y+::: 1 and minimizing 2 u2 x + 1 2 u2 y dv (Dirichlet's integral) would lead to u = 0. (Exercise). This begs the question of how we solve (1 + u 2 y)u xx, 2u x u y u xy +(1+u 2 x)u yy =0 u=f(x; y) on, of course. In practice it's often better to work directly from the variational formulation. For this convex problem, quite a lot can be said. From Variational Calculus with Elementary Convexity by Troutman (Springer, 1983) we nd that we need not assume existence { or, rather, if is convex, existence is guaranteed. Exercises (Some of these questions may be promoted to an assignment, later. For now, do them, but don't hand them in.) 1.1 Solve u=0on=[0;1] [0; 1] subject to u(x; 0) = u(x; 1)=0,u(0;y)=(y, 1 2 ), u(1;y) = 0. [This question just reminds you about separation of variables, and the Dirac function.] What can you say about the validity of your answer? 1.2 Write down and justify (i.e. derive) the Euler-Lagrange equations for the function minimizing (a) I 1 (u) = (b) I 2 (u) = L(x; y; z; u; u x ;u y ;u z )dv L(x; y; u; u x ;u y ;u xx ;u xy ;u yy )dv Assume Green's theorem can be used (i.e. is a Green's domain). 1.3 Solve _y(t) =ay(t, 1) t>0; y(t)=f(t)on,1 <t<0 (Hint: use the Laplace transform.) (and look up the complex inverse formula) 1.4 Solve u t + cu x =0where u(x; 0) = f(x), given. 1.5 Solve u t = u xx on 0 <x<1 ; t>0 u(0;t) = u(1;t)=0 u(x; 0) = (x, 1 2 ): The solution is the elliptic theta function 1 (z; q) with q = e.