- Wed. 1/21/2009:
Conservation laws and constitutive laws
If you have never seen these derivations, Chap 1 in Haberman is pretty good. Any book
on continuum mechanics will have some of that (Fluid mechanics, solid mechanics,
transport theory...). The extra little bit that we did was to use
conservation to derive that Q(x,t,n)=q(x,t). n. This is a nice result due to Cauchy (yes, that Cauchy again). It's often plopped down without justification.
When we write that the heat flux q = -κ grad T, where κ > 0 is a diffusivity and T is
temperature (Fourier's law of heat conduction, Fick's law of diffusion),
we use what's called a constitutive law. Such laws can, in theory, be deduced from a
lower level (i.e. microscopic) description of matter (i.e. kinetic theory).
The second law of thermodynamics (entropy of a closed system increases) also
provides constraints (see (4) below).
In practice, they are determined by controlled, macroscopic experiments,
although molecular dynamics computer simulations are starting to be competitive.
- Describe in words the meaning of Q(x,t,n) and specify its units
in the case of (1) conservation of mass, (2) conservation of energy.
We derived the form of Q(x,t,n) in 2D using a small triangle, can you do it in 3D using a small tetrahedron?
-
Derive conservation of mass for a gas flowing down a tube of cross-sectional
area A(x) where x is the direction along the axis of the tube. Do this
in two ways (1) from first principles assuming that the variables (mass density
and gas velocity) are uniform over a given cross-section
and (2) by integration of the general 3D equations
over the cross-sectional area A(x), this time with no uniformity assumptions.
Compare the results.
- Derive the heat equation, i.e. conservation of (internal) energy in a medium
at rest (macroscopically speaking, at the microscopic level the molecules are bouncing around very fast even when it seems that the fluid, gas or solid is not moving). Energy density e(x,t)
is equal to
the mass density &rho times the heat capacity C times the
temperature T . In a gas, there is an important distinction between
CV and CP, the heat capacity for constant
specific volume V and constant pressure P, respectively.
[specific volume = volume of unit mass = 1/ρ] Which is the correct heat
capacity to use in this case?
- Fri. 1/22/2009:
Derived a series of special cases of the general conservation law
∂t ρ + ∇. (ρ v) = ∇ . (κ ∇ ρ) + P
where v is a velocity, κ > 0 is a diffusivity and P is production per unit volume and per unit time. Special cases included: (1) the transport/advection equation, (2) the diffusion equation, (3) the Poisson/Laplace equations. We solved the transport equation in 1D for constant velocity using Fourier transform and inverse transform but they all dropped out!
- What are the units of v and κ ?
- What is the general solution of ut + V ux=0? (where u(x,t) is the "unknown" function,
V is a constant velocity and -∞ < x < + ∞ and t > 0).
- What is the general solution of ut + A ux + B uy =0? (where u(x,y,t) is the "unknown" function, A and B are constant velocity components and -∞ < x, y < + ∞ and t > 0).
- Mon. 1/26/2009: Solved 1D, constant diffusivity, diffusion equation
ut = uxx
[NOTE: here t ≡ κ t, diffusivity has been `swallowed' into time t which is now measured in units of length squared! yes, you can do that if κ is constant]. We solved this using complex exponential solutions: exp(i k x - i ω t) = exp(i k x - k2 t) to solve the 1D diffusion eqn. Then we superpose all those solutions to construct a general solution. Then we found the "constants of integration", all infinite number of them, one for each k, by Fourier transform. Ended up at the fundamental solution of the diffusion/heat equation;
(4 π t)-1/2 e-(x-y)2/4t
- Wed. 1/28/2009: Digested fundamental solution, mentioned that it is a "Green's function", discussed Gaussian filter/averaging, moving averages, Dirac delta, derivative of Dirac delta, Fourier transform of a Gaussian, Fourier transform of Dirac Delta, etc.
- Fri. 1/30/2009: Discussed long time asymptotics, Laplace's method.
- We encountered successives derivatives of a Gaussian in doing so:
(∂/∂x)n (π a)-1/2 e-x2/a (with a = 4t). Show that these derivatives have the form of a polynomial of degree n times a Gaussian. What are those
polynomials?
- Give an asymptotic form for the solution of ut = uxx on the real line, when u(x,0)= U (constant) for a < x < b, and 0 otherwise.
- Give an asymptotic form for the solution of ut = uxx on the real line, when u(x,0)= sin x for 3 &pi < x < 5π, and 0 otherwise.
- Mon. 2/2/2009 (Feb. 2, 2009): Discussed generalizations to 2D, 3D (infinite domains) and to 1D semi-infinite domain.
Many of the following exercises were essentially solved/sketched in class, but maybe a bit too fast/sloppy for you? Slow down, digest, fill in the details, lay it out for yourself in a satisfactory way.
IVP = Initial Value Problem, BVP = Boundary Value Problem
- What is the basic Fourier solution of ut = uxx+uyy in the real plane?
- What is the fundamental solution of ut = uxx+uyy in the real plane?
- What is the general solution of ut = uxx+uyy with initial conditions
u(x,y,0) = f(x,y) (known) in the real plane?
- What is the solution of ut = uxx+uyy with initial conditions
u(x,y,0) = δ(x-x0)δ(x-y0), with x0, y0 some arbitrary real constants, in the real plane?
- Pure BVP: What is the ("steady") solution to ut = κ uxx, with κ > 0, on x > 0, when the boundary condition is u(0,t) = 2A cos ω t ? (A, ω real and "known"). SKETCH the solution. You may want to solve the simpler complex :-) problem first: u(0,t)= e -i ω t and show that the solution to that is
e -i ω t exp[ (i sgn(&omega) -1)(|ω|/(2&kappa))1/2 x ]
How deep do the boundary fluctuations penetrate into the medium?
- What is the ("steady") solution to ut = κ uxx, with κ > 0, on x > 0, when the boundary condition is u(0,t) = 2A cos ω t, ux(0,t)= 0 ?
- Show that the previous problem is ill-posed. What does that mean? Conclude that we need to have "bounded at infinity" as a boundary condition (actually any limit on exponential rate of growth as x → ∞ would be OK mathematically speaking, e.g. something like |u| < exp(4 x) would be mathematically acceptable).
- What is the ("steady") solution to ut = κ uxx, with κ > 0, on x > 0, when the boundary condition is u(0,t) = f(t) ? (real and "known" but NOT necessarily simple harmonic like 2A cos ω t ).
- What is the thermal diffusivity (κ) of soil? of water (∼ 1.5 x 10-7 m2/sec)? How deep do the daily fluctuations of temperatures propagate into the soil/water?
- If you have studied fluid dynamics: what is a
"Stokes layer"?
[Answer: it's the solution to problem 5 but for the fluid velocity above an oscillating plane, oscillating temperature or oscillating velocity, same math!].
Some other `pure Boundary Value Problems'
(i.e. boundary forcing has been applied for a long time, transient response to initial conditions is long gone and we're just looking for the forced response, often called the `steady response' although it is not necessarily `steady'):
- Find the forced response for ut = κ uxx in x > 0
with ux(0,t) = B cos ω t. (Neumann boundary condition).
- Find the forced response for ut = κ uxx in x > 0
with u = α ux at (0,t) where α is some positive real constant (Fourier-Robin boundary condition
a.k.a. `of the 3rd kind').
- Find the forced response for ut = κ uxx in x > 0
with u = -α ux at (0,t) where α is some positive real constant.
Is this problem well-posed? What is the physical interpretation of that boundary condition?
(think of u as temperature, so (- κ ux) is the heat flux in the x direction)
[Hint: this is kind of like `the rich get richer and the poor get poorer' economic model.
Previous problem is: `the rich get poorer and the poor get richer'].
A nice summary of heat equation and all sorts of general solutions in 1D (infinite, semi-infinite,...)
(Watch out that page uses "k" for what I call κ, the diffusivity. We use "k" for spatial wavenumber.)
- Wed. 2/4/2009 (Feb. 4, 2009):
We derived the fundamental solution for ut = κ uxx in x > 0
with u(0,t) = f(t), that is the forced response to some boundary forcing.
(That's the
last one of these 1D homogeneous heat equation solutions ,
although we had 2 cases: (1) steady response ("pure BVP") in which case lower limit of integration is -∞ not 0,
and (2) initial-boundary value problem where u(x,0) = 0, in which case old history before t=0 is irrelevant, i.e. f(t) = 0 for t < 0 if you wish and lower limit is 0 indeed).
We did this using our substitute & swap integrals method, as we did for the fundamental solution on the real line. This gave us a scary looking integral but we sketched how to figure it out in 5 steps:
(1) [-∞ → ∞] = [0 → ∞] + complex conjugate (c.c.),
(2) change variables z ≡ (ω/2)1/2 (and x ≡ x/√κ) so dω = 4z dz,
(3) Integration by parts to get rid of that 4z,
(4) Complete the square for the argument of exponential (similar to what we did for fundamental solution on the real line),
(5) Evaluate the last integral which has the form
∫0∞ e2 i (s - t) (z-z0)2 dz
with z0 = (1+i)x/4(t-s) (**)
This is a highly oscillatory integral. How do we deal with this crazy integral?!
First you need to know how to reduce
∫0∞ e i z2 dz to a Gaussian integral by deforming the contour of integration using Cauchy's theorem.
Here's a sketch of the idea although you may have to know what's going on to understand it. You should learn this in any course/book on complex variables, for instance in Math 321 here at UW. The integral (**) requires a little more analysis and work, but very little actually when you know what you are doing. Briefly: the saddle point is at z0 not 0. The saddle point is in the 3rd quadrant if (t-s) < 0. In that case (**) is pure imaginary and the c.c. of step (1) kills it! So answer to our problem is ZERO for s > t. Makes perfect sense: answer at time t should not depend on forcing at time s > t!!
For (t-s)>0 the saddle point z0 is in the first quadrant, so the contour 0 → ∞
is deformed into (i) 0 → z0 (in the π/4 direction) [That piece is pure imaginary and killed by c.c.]
+ (ii) z0 → z0 + R e-i π/4
[that piece is a complex number times 1/2 of a Gaussian integral when R → ∞]
+ (iii) z0 + R e-i π/4 → real(z0 + R e-i π/4) [that piece goes to zero exponentially fast as R → ∞ ].
Et voilà!
∫0∞ e2 i (s - t) (z-z0)2 dz + C.C. ,
with z0 = (1+i)x/4(t-s),
= 0 if t-s < 0
= (π/4(t-s))1/2, if t-s > 0
Note that we would not have a closed form formula if we did not have the C.C. That C.C. cancels out imaginary contributions for which there is no closed form formula (they could be expressed as
Fresnel integrals , functions in our case of x/(t-s). They could be written in terms of a power series in x/(t-s) if we needed to. Luckily, we don't need to thanks to that nice
C.C.).
These are exact results, but the ideas (deforming contours to go through saddle points in steepest descent directions) apply to many more problems as asymptotic methods. That's the
method of steepest descents (see e.g. Bender and Orszag Chapter 6).
The method of stationary phase is a special case of steepest descent.
- Fri. 2/6/2009 (Feb. 6, 2009):
We discussed the method of images to solve ut = κ uxx in x > 0 with IC u(x,0)=f(x) given and (i) BC: u(0,t)=0, then with (ii) BC: ux(0,t) = 0.
Also discussed solving those same problems with Fourier transforms:
Sine transforms for (i) and Cosine transforms for (ii).
Two complementary ways of solving the same problems.
REALITY CHECK: prepare the following problems to present to the class.
You can talk to each other, read any book you would like but YOU have to be ready to present and explain and show that you understand the solutions,
not just that you are able to regurtitate someone else's solution. You should not talk to other faculty or
postdocs. YOU have to do the work/research on your own or with your peer group. You must acknowledge your sources (e.g. say what you found in what book if you use results from that book).
- Consider ut = κ uxx in x > 0
with u = +/- α ux at (0,t) where α > 0, and u(x,0)=f(x) known,
and u(x,t) well-behaved as x → ∞. Discuss the boundary condition physically for both + and -.
Are there simple Fourier solutions? Is this problem well-posed? What is the general solution?
- Consider ut = κ uxx in x > 0 with u(x,0)= &delta(x-x0) and
u(x,t) → 0 as x → ∞. What is the long time asymptotics of u(x,t) for (i) u(0,t)= 0, (ii) ux(0,t)=0. How long is long? Same question for u(x,0)=cos(x-x0) when |x-x0| < π, 0 otherwise. (Some thinking/discussion of relation between x0 and π is needed).
- Consider uxx+uyy = λ u in R2, where λ is a real constant.
What are simple Fourier/exponential solutions of this equation? Discuss λ < 0 and > 0.
What is the general solution to this equation when λ < 0? Superpose Fourier solutions to form
an axisymmetric solution u(x,y) ≡ u0(r) where
r=(x2+y2)1/2. Do you know what that solution is?
What is its behavior for small r? How small is small? What is its behavior for large r? How large is large?
[Extra: How should you superpose Fourier modes to obtain a solution of the form
u(x,y) ≡ um(r) e i m θ where θ is the usual polar angle and m is an integer?]
- Mon. 2/9/2009:
- Find the forced response (∼ "particular solution") to ut = a u + &delta(t-t0) where u=u(t) only (ODE) with a and t0 real constants.
- Find the general solution of ut = a u + &delta(t-t0) with u(0)= u0 (known). Discuss t0 < 0 and > 0.
- Find the general solution u(t) of ut = a u + F(t) with u(0)= u0, with the forcing F(t) and the initial condition u0 "known".
- Find the forced response to ut = κ uxx + A cos(5x) + B cos(6x) in -∞ < x < ∞ where A, B are real constants.
- Find u(x,t) if ut = κ uxx + A cos(5x) + B cos(6x) with u(x,0) = 0, in -∞ < x < ∞ , t > 0, where A, B are real constants.
- Find the forced response to ut = κ uxx + A sin(ω t) cos(k x)
in -∞ < x < ∞ where A, ω and k are real constants.
- Find the forced response to ut = κ uxx + A δ'(x-x0)
in -∞ < x < ∞ where A, ω and x0 are real constants.
- Wed. 2/11/2009: Green's function for the heat equation on a 1D interval: The whole shabang or (shebang?)
- Fri. 2/13/2009: Solution of REALITY CHECK #1 by Siddhartha Banerjee and Lingfei Zhao (MechE). #3 startup by Yongyan Rao (Physics).
- Mon. 2/16/2009: Discussed #3: simple Fourier solution, general solution as superposition over "shell" (circle really) in Fourier space. Polar coords for
x and k. Axisymmetric solution. Infinite series of modes corresponding to Jm(kr) e i m θ where Jm(kr) is the
Bessel function (of the 1st kind) of order m. Asymptotics for kr << 1.
- Wed. 2/18/2009: Asymptotics for kr >> 1.
Stationary phase,
steepest descents (see e.g. Bender and Orszag Chapter 6).
- Fri. 2/20/2009: Matlab demos and illustrations about Bessel functions, stationary phase, amazing accuracy of stationary phase approximation
- Mon. 2/23/2009: Heat equation in a bounded domain with Dirichlet BC: solution by sine series, Green's function by sine series, Green's function by method of images. Also discussed Neumann BC.
- Wed. 2/25/2009: Direct derivation of Green's function for heat equation: Self-similar solutions for heat equation in infinite domain. Conservation of moments.
- Find one or more self-similar solution for ut = uxxx ( - ∞ < x < ∞, t ≥ 0). Try to use both a direct approach and a Fourier approach. Note: you may not find the final solution in closed form but you should process the integrals as much as possible.
- Find a self-similar solution for ut + u ux= ν uxx ( - ∞ < x < ∞, t ≥ 0)
- Fri. 2/27/2009: Fourier analysis of Laplace's eqn in an infinite and semi-infinite 2D domain. Ill-posedness/well-posedness.
- Mon. 3/2/2009: General solution of Laplace's eqn in a semi-infinite domain ( - ∞ < x < ∞, -∞ < y ≤ 0). Fourier integrals, Dirac delta limit. Green's function for Poisson's equation in 2D.
- Wed. 3/4/2009: `Whole Shebang Green's function' in n-D. (Well, really only 2D and 3D, but could be n-D).
General solution of Laplace's eqn in a semi-infinite domain ( - ∞ < x < ∞, -∞ < y ≤ 0)
by Green's function. Green's function by method of images. Recovered Fourier results from Mon 3/2. Pheeuw!!
- Mon. 3/8/2009 + Wed. 3/10 Exams
- Fri. 3/13/2009 Equations for surface gravity waves: brief derivation from Navier-Stokes. (inviscid, irrotational flow, surface equation, surface boundary condition).
- Spring Break + Independent Activities
- Fri. 3/27/2009 Dispersion relation for surface gravity waves
- Mon. 3/30/2009 Dispersion relations, Phase and
Group Velocity concepts. Is that wikipedia page fully correct?
Can you explain group velocity to your peers? What is the meaning of group velocity when the initial conditions are localized but complex in structure (`cannonball initial conditions')? Begin ship waves.
- Wed. 4/1/2009 Ship waves: `back of the envelope' argument based on steadiness constraint and group velocity concept, also more general argument in terms of Fourier integrals and stationary phase.
- Fri. 4/3/2009 Ship waves continued, derived and illustrated wave crest pattern, can you?
- Mon. 4/6/2009
Wave equation: (1) derivation from Maxwell's equations, (2) initial Fourier analysis, (3) Brief derivation from Navier-Stokes (compressible flow, requires entropy eqn and eqn of state): inviscid, isentropic (no molecular transport/diffusion, no generation of heat), linearization about equilibrium state, derivation of wave equation, expression for wave speed
c2 = ∂p/∂ρ|S (i.e. fixed entropy S). For an
ideal gas p=ρ R T where p is pressure, ρ is mass density, R is a constant and T is the gas temperature (in Kelvins). Isentropic
(adiabatic) process is such that entropy is conserved (no heat exchange). For an ideal gas, this means that p/ργ is a constant where γ is the ratio of specific heats.
- Derive the sound speed for an ideal gas. How does it depend on temperature?
- Wed. 4/8/2009 Solution of wave equation using Fourier transforms. Solution in 1D, from Fourier transform and directly.
d'Alembert's solution.
- Fri. 4/10/2009 Characteristics, semi-infinite problems, wave reflections. Bounded domain, multiple reflections and Fourier series.
- Mon. 4/13/2009 Green's function for wave equation in 1D and 3D (by Fourier integral)
- Wed. 4/15/2009 Solution for the monochromatic point source in 3D. Generalized functions, Spherical coordinates expression of δ(x) in 3D
- Fri. 4/17/2009 Green's function for wave equation in 3D by reduction to 1D with spherical symmetry; Green's function in 2D by integration of 3D.
- Exercises:
- complete the calculation of the 2D Green's function.
- Solve the wave equation in 1D and 3D with a moving point source: δ(x-Vt) [δ(y)δ(z)] with V constant. Discuss.
- Mon. 4/20/2009 Method of Characteristics for first order linear equations (non-constant coeffs)
- Wed. 4/22/2009 Method of Characteristics for first order quasi linear equations
- Fri. 4/24/2009 Parametric and implicit solutions of the inviscid Burgers equation. Newton's method, intersection of characteristics, breakdown time.
- Mon. 4/27/2009 Derivation of traffic flow equation, modelling, derivation of inviscid Burgers from traffic flow eqn.
- Wed. 4/29/2009 Solution of some fundamental problems for inviscid Burgers (step, ramp and sawtooth initial conditions)
- Fri. 5/1/2009 Rarefaction waves.
- Exercises:
- Solve x ux + y uy = u with u(x,1)=f(x) known. Plot the characteristics and give the solution in parametric and
explicit form.
- Solve y ux - sin(x) uy = 0 with (a) u(x,0)=f(x) and (b) u(0,y)=g(y). Discuss both cases carefully.
- Solve ut + x ux = 0 for x > 0, t > 0, with u(x,0)=f(x). What is u(1,10)?
- Solve ut + x ux = 0 for x > 0, t > 0, with u(0,t)=g(t). What is u(1,10)?
- Solve ut +sqrt(x) ux = 0 for x > 0, t > 0,with u(x,0)=f(x). What is u(1,10)?
- Solve ut + (1+x) ux = 0 for x > 0, t > 0, with u(x,0)=f(x) and u(0,t)=g(t).
- Consider ut + u ux = 0 for t > 0 with u(x,0)= sin(x). Find the x,t domain where characteristics do not intersect.
- Derive the traffic flow equation. What is a simple but realistic model for the car flux q(ρ) where ρ is the car density?
- Show that the traffic flow equation with q=q(ρ) can be reduced to the inviscid Burgers equation.
- Derive the shock speed condition. Where does it come from?
- Show that the shock speed for the full traffic flow equation and for the inviscid Burgers eqn are the same iff q=q(ρ) is quadratic in
ρ.
- Jake has proposed the following traffic flow model: ρt + C ρx = 0
with C=C(ρ)=U (1-ρ/ρM) and studies the IVP: ρ(x,0)= ρM for x < 0, ρ(x,0)= ρM/2 for 0 < x < a, ρ(x,0)= 0 for x > a. Interpret the model and the initial conditions.
Solve the problem by the method of characteristics. Analyze and discuss carefully.
- Solve the same problem for a simple but realistic q=q(ρ).
- Solve the traffic flow problem for initial conditions:
ρ(x,0)=0 for x < 0,
ρ(x,0)= x ρM/2 for 0< x < 1,
ρ(x,0)= ρM/2 for x > 1,
- Mon. 5/4/2009 Remarks on Burgers' equation: shock structure, Fourier representation, Fourier cascade.
- Burgers' equation is the nonlinear advection-diffusion equation
ut + u ux = ν uxx where ν is a positive constant.
Find a traveling wave solution of the form u(x,t)=F(x-Vt) for some constant V
to be determined with u → u1 (constant)
as x → -∞, u → u2 as x → ∞. Sketch the solution.
Show that there is no such solution when u1 < u2.
Compare to the inviscid Burgers' solution
corresponding to a shock from u=u1 to u=u2.
What is the width of the transition
(i.e. shock) region as a function of ν (assumed small)?
- Cole-Hopf transformation:
Let u = -2ν φx/φ in Burgers' equation.
Derive the equation governing φ(x,t).