Course Notes, Math 558
Total Page:16
File Type:pdf, Size:1020Kb
Course Notes, Math 558 March 28, 2012 2 Contents 1 Nondimensionalization, Scaling, and Units 5 1.1 Dimensional Analysis . 5 1.1.1 Example 1. Throw a ball . 5 1.1.2 Example 2. Drag on a sphere . 7 1.1.3 Using dimensional analysis for scale models . 8 1.1.4 Buckingham Pi Theorem . 9 1.1.5 Example 3. Computing the yield of a nuclear device . 10 1.1.6 Example 4. Pythagoras’ Theorem . 11 1.1.7 Example 5. Diffusion equation . 11 1.2 Scaling and nondimensionalization . 12 1.2.1 Projectile problem revisited . 12 1.2.2 A different scaling for projectile problem . 14 1.2.3 Diffusion equation, revisited . 14 2 Regular Asymptotics 17 2.1 Motivation, definitions . 17 2.2 Asymptotics for polynomials . 18 2.2.1 Examples . 18 2.2.2 Systematic expansions for polynomials . 19 2.3 Asymptotics for Differential Equations . 22 2.3.1 Examples . 22 2.3.2 Regular asymptotic regime . 24 3 Random Walks, Diffusions, and SDE 27 3.1 Random Walks . 27 3.1.1 Unbiased random walk — combinatorial approach . 27 3.1.2 Unbiased random walk— asymptotic approach . 29 3.1.3 Biased random walk . 30 3.1.4 Another unbiased random walk . 31 3.1.5 Summary . 31 3.2 Solution of heat equation . 31 3.2.1 No drift term . 31 3.2.2 Drift term . 33 3.3 Stochastic differential equations . 33 3.3.1 Background on probability theory . 33 3.3.2 Stochastic differential equations . 34 3.3.3 Fokker-Planck equations . 35 3.4 Comments on units, scaling . 35 3 4 Birth–Death Processes, Generators 37 4.1 Counting Process . 37 4.1.1 Exponential Random Variable . 37 4.1.2 Poisson process . 38 4.1.3 Generators . 40 4.1.4 `p spaces and adjoints . 41 4.1.5 Adjoint of generator . 43 4.1.6 Large number limit . 44 4.2 General discrete stochastic process . 46 5 Singular Asymptotics 47 5.1 Long timescales for weakly nonlinear ODE . 47 5.1.1 Example from Celestial mechanics . 47 5.1.2 Weakly nonlinear oscillators . 49 5.1.3 Method of Multiple Scales . 50 5.1.4 Linearization and resonance–revisiting the nonlinear oscillator . 52 5.1.5 Resonance for linearized systems . 54 5.2 Multiscale differential equations . 55 5.2.1 Example . 55 5.2.2 One slow manifold . 55 5.2.3 Multiple slow manifolds . 55 5.3 Boundary layers for ODE . 55 5.3.1 Example 1. Zero-time blowup . 55 5.3.2 Example 2. 56 5.3.3 Inner and outer expansions . 57 5.4 WKB expansions . 58 5.5 Reaction-diffusion equations, small diffusion limit . 58 A Background on measure theory, probability theory 59 A.1 Basic Measure Theory . 59 4 Chapter 1 Nondimensionalization, Scaling, and Units Barenblatt.book Holmes.new.book This section is a selection of material related to include Chapters 0–3 of [?], Chapters 1–3 of [?]. 1.1 Dimensional Analysis 1.1.1 Example 1. Throw a ball Consider the following example: We throw a ball directly upwards from the surface of the Earth. What is its maximum height? We need two physical laws to describe this system: 1. Newton’s Second Law. The acceleration of a body is directly proportional to its force and inversely proportional to its mass; moreover, the acceleration is parallel to the form. This is typically said as “Force equals mass times acceleration” or F = ma. 2. Newton’s law of universal gravitation. Every body in the universe attracts every other body with a gravitational force, which force is proportional to each of the masses of the objects and inversely proportional to the square of the distance between the objects. In equations, if x is the vector from mass 1 to mass 2, then the force on mass 1 due to mass 2 is Gm1m2x F12 = ; kxk3 and the force on mass 2 due to mass 1 is Gm1m2x F21 = −F12 = − : kxk3 Since this problem is one-dimensional, we can think of the force, acceleration, and position as scalars (dis- tance from the ground). So if we define mB as the mass of the ball, mE as the mass of the earth, then we have the differential equation for x(t), the height above the ground, as 2 d x GmBmE m = − ; (1.1) eq:d B dt2 d2 where d = R + x is the distanceeq:d between the center of the ball and the center of the earth (R is the radius of the earth). Simplifying (1.1) we obtain d2x gR2 = − ; (1.2) eq:x dt2 (R + x)2 5 2 where we write g = GME=R . Clearly this problem, being second-order, requires two integration constants, but these can be specified by x(0) and x0(0), the initial position and velocity. Let us denote the maximal height by xmax. This equation can actually be solved exactly, but it is tedious and requires special functions (inverse sinh, for example) and in general is a big mess. Let us delay this solution for now. Idea 1. The first idea we might have is to say that x(t) R for all t, and thus x(t) + R ≈ R: (1.3) eq:approx eq:x If we make this approximation, then (1.2) becomes d2x = −g; (1.4) eq:constcoeff dt2 which we can easily solve as g x(t) = − t2 + x0(0)t + x(0): 2 0 ∗ Writing x(0) = 0 and x (0) = v0, it is easy to see that the time of maximal height is t = v0=g, and therefore 2 the maximal height is xmax = v0=2g. Of course, what we have done here is what is known as an uncontrolledeq:approx approximation! We have no idea, a priorieq:x, how the error we have introduced in the approximation in (1.3) percolates into errors in the solution of (1.2). Studying the effects of this approximation is exactly what we will study in Topic 2 of this course in a few weeks. eq:constcoeff Idea 2. Let us imagine that we didn’t know how to solve (1.4), and look at the units of the problem. There are three physical dimensions that appear in this problem, length, time, and mass; we denote these as L, T , M. Clearly, the units of velocity are L=T , acceleration is L=T 2, force is ML=T 2, etc. (If we didn’t know these, we could deduce the first two from the definitions and the third from Newton’s Second Law!) Now, let us make the Ansatz that the maximal height depends only on g, mB, and v0, so that xmax = f(g; mB; v0): If this is true, then these quantities must have the same units, i.e. [xmax] = [f(g; mB; v0)]; and let us make the further Ansatz that this function can be written as a monomial, so that a b c [xmax] = [m v0g ]: (We will justify this second Ansatz later.) This then becomes L b L c L = M a = M aLb+cT −b−2c: T T 2 Equating powers, we obtain the system a = 0; b + c = 1; −b − 2c = 0; or, a = 0; b = 2; c = −1: Therefore we have v2 x = α 0 : max g This is consistent with the exact answer derived above, although is a weaker statement (here we only know that there is a constant out front and not that this constant is α = 1=2). However, notice that we had to insert much less information into the problem to obtain this solution and did not have to know how to solve an ODE. 6 1.1.2 Example 2. Drag on a sphere Imagine a sphere moving through a fluid, we want to compute the force due to drag on the sphere. We postulate that it should depend on the dimensional quantities R; v; ρ, µ: R is the radius of the sphere, v is the velocity of the sphere, ρ is the density of the fluid, and µ is the (dynamic) viscosity of the fluid. The units of these quantities are L M M [R] = L; [v] = ; [ρ] = ; [µ] = : T L3 LT By the previous logic, we should write a b c d [DF ] = [R v ρ µ ]; or ML L b M c M d = La T 2 T L3 LT Expanding these out and equating powers, we obtain the system a + b − 3c + d = 1; c + d = 1; b + d = 2: There are only three equations, but four unknowns! So there will not be a unique solution and there is (at least) one free variable. For now, let us make the choice of d as the free variable, and then we obtain a = 2 − d; b = 2 − d; c = 1 − d; giving us µ d D = αR2−dv2−dρ1−dµd = αR2v2ρ ; F Rvρ α where is a scalar. Let us denote µ Π = (1.5) eq:defofPi Rvρ and we have 2 2 d DF = αR v ρΠ : (1.6) eq:ad We might want to know the dimensions of Π, so we compute M=LT [Π] = = 1: L(L=T )(M=L3) eq:ad We say that Π is dimensionless. Now, since Π is dimensionless, (1.6) is dimensionally correct no matter what the choice of α, or d. Therefore we could write 2 2 d1 DF = R v ρ(α1Π ); or 2 2 d2 DF = R v ρ(α2Π ); or in fact any linear combination of such terms, namely n ! 2 2 X dk DF = R v ρ αkΠ : k=1 In general, given any function of Π, this expression is dimensionally correct, so we can write 2 2 DF = R v ρf(Π) 7 for some unknown function f.