SlideShare a Scribd company logo
1 of 4
Download to read offline
Partial Differential Equations – Math 442 C13/C14
                              Fall 2009
                  Homework 2 — due September 18
1. (Strauss 2.1.1.) Solve utt = c2 uxx , u(x, 0) = ex , ut (x, 0) = sin x.
   Solution: We use d’Alembert’s formula with

                                                 φ(x) = ex ,   ψ(x) = sin x.

   Then we have
                                         x+ct
                                                sin s ds = cos(x + ct) − cos(x − ct),
                                      x−ct

   and so we have
                                      1 x+ct            1
                          u(x, t) =     (e   + ex−ct ) + (cos(x + ct) − cos(x − ct)).
                                      2                 2c

2. (Strauss 2.1.7.) We define an odd function to be any function f such that f (−x) = −f (x) for all x.
   Prove that if that the initial conditions φ, ψ are odd functions, then so is the solution u(x, t) for any
   fixed time t.
   Solution: There are two completely different solutions:
      • Again use d’Alembert. We know that the solution is
                                                                                   x+ct
                                             1                           1
                                 u(x, t) =     (φ(x + ct) + ψ(x − ct)) +                  sin s ds.
                                             2                           2c       x−ct

        Now, we compute
                                                                                     −x+ct
                                           1                             1
                            u(−x, t) =       (φ(−x + ct) + ψ(−x − ct)) +                      ψ(s) ds
                                           2                             2c         −x−ct

        Using the fact that φ is odd, we have

                                         φ(−x − ct) = φ(−(x + ct)) = −φ(x + ct),
                                         φ(−x + ct) = φ(−(x − ct)) = −φ(x − ct).

        Now consider the integral, and make a change of variables r = −s, giving
                                  −x+ct                     x−ct                   x+ct
                                          ψ(s) ds = −              ψ(−r) dr = −           ψ(r) dr.
                                 −x−ct                     x+ct                   x−ct

        (Note in the last equality there are actually three minus signs, since we use the fact that ψ is odd,
        and we flip the domain of integration.) Putting all of this together gives u(−x, t) = −u(x, t) and
        thus u is odd.
      • We showed that reversing time gives a solution to the wave equation, and so does reversing space:
        if we choose v(x, t) = −u(−x, t), then we see that

                                   vtt (x, t) = −utt (−x, t),       vxx (x, t) = −uxx(−x, t),

        and thus if u satisfies

                                    utt = c2 uxx ,     u(x, 0) = φ(x),     ut (x, 0) = ψ(x),

                                                           1
then v satisfies
                                    vtt = c2 vxx ,   v(x, 0) = φ(−x),   vt (x, 0) = ψ(−x).
            This is true for any solution to the wave equation. If we now further assume that φ, ψ are odd,
            then these two PDE have the same initial data, and therefore by uniqueness, v(x, t) = u(x, t) for
            all x, t, and thus u(x, t) = −u(−x, t), and u is odd.

3. We have defined a “well-posed” problem in class (also see book) typically for PDE, but we can consider
   if an ODE satisfies these three properties as well. Here you are given a sequence of ODEs and initial
   conditions; determine which of these problems are well-posed, and which are not1 :
         dy
     (a)    = 2y, y(0) = 2,
         dt
         dy
     (b)    = ln x, y(0) = 0.
         dx
    Solution:
     (a) This ODE satisfies the hypotheses of the E-U theorem for ODEs (in fact, the vector field is C ∞ )
         and thus it is well-posed.
     (b) We cannot apply the theorem directly, but we can solve this ODE exactly. In fact, the general
         solution can be written as y(x) = x log x − x + C for some constant C. We see that there is exactly
         one solution with y(0) = 0 (in fact, choose C = 0). To show stability, we need to show that if
         we choose two different initial conditions, we can make the solutions close by choose the initial
         conditions close. So consider the two solutions

                                       y1 (x) = x log x − x,   y2 (x) = x log x − x + C.
            Clearly, y2 (0) = C, and by choosing |y2 (0)| < ǫ, we can make |y1 (x) − y2 (x)| < ǫ for any x.

4. (Strauss 2.2.2.) Let us consider a solution to the wave equation utt = uxx (we have assumed that
                                                1
   c2 = 1). Define the energy density e(x, t) = 2 (u2 + u2 ) and the momentum density p(x, t) = ut ux .
                                                   t    x
   Show that
         ∂e    ∂p      ∂p     ∂e
     (a)    =     and      =     ,
         ∂t    ∂x      ∂t     ∂x
     (b) e and p both satisfy the wave equation themselves (although with different initial conditions).
    Solution:
     (a) We have
                                        ∂e                      ∂p
                                           = ut utt + ux uxt ,     = utx ux + ut uxx .
                                        ∂t                      ∂x
            Using utt = uxx   shows these are equal. (similar for the other)
     (b) We have

                                              ex = ut utx + ux uxx ,
                                             exx = u2 + ut utxx + u2 + ux uxxx,
                                                    tx             xx
                                              et = ut utt + ux uxt ,
                                              ett = u2 + ut uttt + u2 + ux uxtt
                                                     tt             tx
1 Recall   the Existence–Uniqueness Theorem which you saw in ODEs




                                                          2
Then

                     exx − ett = ut utxx − ut uttt + u2 − u2 + ux uxxx − ux uttx
                                                      xx   tt
                                = ut (uxx − utt )t + u2 − u2 + ux (uxx − utt )x = 0 + 0 + 0 = 0.
                                                      xx   tt

       (similar for p)

5. (Strauss 2.2.3.) Show the following invariance properties for solutions of the wave equation. Assume
   that u(x, t) satisfies the wave equation, then show that each of the transformed solutions also satisfy
   the wave equation:

   (a) translation: u(x − α, t) for any α,
   (b) derivative: ux (x, t),
    (c) dilation: u(ax, at) for any a

  Solution:
   (a) Define v(x, t) = u(x − α, t). We see, using the chain rule, that

                                 ∂v          ∂u               d           ∂u
                                    (x, t) =    (x − α, t) ·    (x − α) =    (x − α, t).
                                 ∂x          ∂x              dx           ∂x
       Similarly,
                                               ∂2v          ∂2u
                                                   (x, t) =     (x − α, t).
                                               ∂x2          ∂x2
       We also work out that
                                                ∂2v         ∂2u
                                                    (x, t) = 2 (x − α, t).
                                                ∂t2         ∂t
       Therefore
                             vtt (x, t) − c2 vxx (x, t) = utt (x − α, t) − c2 uxx (x − α, t) = 0.
   (b) Define v(x, t) = ux (x, t). Then
                                                vtt = uxtt ,   vxx = uxxx,
       so
                                                                                               ∂0
                     vtt − c2 vxx = uxtt − c2 uxxx = uttx − c2 uxxx = (utt − c2 uxx )x =          = 0.
                                                                                               ∂x
    (c) Define v(x, t) = u(ax, at). Then

                          ∂v            ∂u
                             (x, t) =       (ax, at) · a,
                          ∂x            ∂x
                         ∂2v            ∂ ∂u                ∂2u                 ∂2u
                             (x, t) =       (a (ax, at)) = a 2 (ax, at) · a = a2 2 (ax, at),
                         ∂x2            ∂x ∂x               ∂x                  ∂x
                          ∂v            ∂u
                             (x, t) =       (ax, at) · a,
                          ∂t            ∂t
                         ∂2v            ∂ ∂u                ∂2u                 ∂2u
                             (x, t) =      (a (ax, at)) = a 2 (ax, at) · a = a2 2 (ax, at).
                         ∂t2            ∂t ∂t               ∂t                  ∂t
       Thus we have

       vtt (x, t)−c2 vxx (x, t) = a2 utt (ax, at)−a2 c2 uxx (ax, at) = a2 (utt (ax, at)−c2 uxx (ax, at)) = a2 ·0 = 0.




                                                        3
6. (Strauss 2.3.3.) Consider a solution to the diffusion equation ut = uxx for x ∈ [0, L] and t > 0.
   Define

                        M (T ) = maximum of u(x, t) on the rectangle [0, L] × [0, T ],
                         m(T ) = minimum of u(x, t) on the rectangle [0, L] × [0, T ].

  Does M (T ) increase or decrease as a function of T ? Does m(T ) increase or decrease as a function of
  T ? Explain why.
  Solution: It turns out the answer to this is somewhat complicated as it could depend on the boundary
  and initial conditions. Let us first fix the boundary conditions as

                                           u(0, t) = 0,   u(L, t) = 0,

  for all t and assume that the initial condition φ(x) is positive for some x ∈ [0, L] so that M (0) > 0.
  The claim here then is that M (T ), m(T ) are functions which are constant in T .
  First, notice that by definition, if T ′ > T , then M (T ′ ) ≥ M (T ) (since we’re taking the maximum over
  a larger set).
  We now want to prove that M (T ′ ) ≤ M (T ), and then we are done. So we prove by contradiction:
  assume that M (T ′ ) > M (T ). If this is so, then clearly the maximum inside the rectangle [0, L] × [0, T ′]
  must occur for t ∈ (T, T ′ ]. Since M (T ′ ) > M (T ) ≥ M (0) > 0, this means that this maximum may not
  occur on the left- or right-hand edges, but must occur either in the interior of the rectangle, or on the
  top edge. But this directly contradicts the Maximum Principle. Since assuming M (T ′ ) > M (T ) leads
  to a contradiction, it must be true that M (T ′ ) ≤ M (T ).
  The argument for m(T ) is similar: reverse every inequality above and use the Minimum Principle.
  Of course, with different boundary conditions things could be more complicated. If we now assume
  that u(0, t) = f (t), and this function is increasing (rapidly enough), then it’s possible that M (T )
  increases, since M (T ) ≥ maxt∈[0,T ] f (t) at least. In this case, the final statement would be that M (T )
  can increase, but no faster than f . Other permutations are left to the reader...




                                                    4

More Related Content

What's hot

Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010
akabaka12
 
Engr 213 midterm 1b sol 2010
Engr 213 midterm 1b sol 2010Engr 213 midterm 1b sol 2010
Engr 213 midterm 1b sol 2010
akabaka12
 
Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010
akabaka12
 
Stuff You Must Know Cold for the AP Calculus BC Exam!
Stuff You Must Know Cold for the AP Calculus BC Exam!Stuff You Must Know Cold for the AP Calculus BC Exam!
Stuff You Must Know Cold for the AP Calculus BC Exam!
A Jorge Garcia
 
Engr 213 final sol 2009
Engr 213 final sol 2009Engr 213 final sol 2009
Engr 213 final sol 2009
akabaka12
 
Numerical solution of spatiotemporal models from ecology
Numerical solution of spatiotemporal models from ecologyNumerical solution of spatiotemporal models from ecology
Numerical solution of spatiotemporal models from ecology
Kyrre Wahl Kongsgård
 
Engr 213 final 2009
Engr 213 final 2009Engr 213 final 2009
Engr 213 final 2009
akabaka12
 
Emat 213 final fall 2005
Emat 213 final fall 2005Emat 213 final fall 2005
Emat 213 final fall 2005
akabaka12
 

What's hot (19)

Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010Engr 213 midterm 2a sol 2010
Engr 213 midterm 2a sol 2010
 
Engr 213 midterm 1b sol 2010
Engr 213 midterm 1b sol 2010Engr 213 midterm 1b sol 2010
Engr 213 midterm 1b sol 2010
 
Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010Engr 213 midterm 2b sol 2010
Engr 213 midterm 2b sol 2010
 
Stuff You Must Know Cold for the AP Calculus BC Exam!
Stuff You Must Know Cold for the AP Calculus BC Exam!Stuff You Must Know Cold for the AP Calculus BC Exam!
Stuff You Must Know Cold for the AP Calculus BC Exam!
 
Sect1 2
Sect1 2Sect1 2
Sect1 2
 
Engr 213 final sol 2009
Engr 213 final sol 2009Engr 213 final sol 2009
Engr 213 final sol 2009
 
Numerical solution of spatiotemporal models from ecology
Numerical solution of spatiotemporal models from ecologyNumerical solution of spatiotemporal models from ecology
Numerical solution of spatiotemporal models from ecology
 
Nokton theory-en
Nokton theory-enNokton theory-en
Nokton theory-en
 
Imc2017 day1-solutions
Imc2017 day1-solutionsImc2017 day1-solutions
Imc2017 day1-solutions
 
Engr 213 final 2009
Engr 213 final 2009Engr 213 final 2009
Engr 213 final 2009
 
Lesson 15: Exponential Growth and Decay (slides)
Lesson 15: Exponential Growth and Decay (slides)Lesson 15: Exponential Growth and Decay (slides)
Lesson 15: Exponential Growth and Decay (slides)
 
Emat 213 final fall 2005
Emat 213 final fall 2005Emat 213 final fall 2005
Emat 213 final fall 2005
 
Complex varible
Complex varibleComplex varible
Complex varible
 
Fourier series 2
Fourier series 2Fourier series 2
Fourier series 2
 
Lesson 27: Integration by Substitution (Section 041 slides)
Lesson 27: Integration by Substitution (Section 041 slides)Lesson 27: Integration by Substitution (Section 041 slides)
Lesson 27: Integration by Substitution (Section 041 slides)
 
Imc2017 day2-solutions
Imc2017 day2-solutionsImc2017 day2-solutions
Imc2017 day2-solutions
 
Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)
 
Lap lace
Lap laceLap lace
Lap lace
 
Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides)
Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides)Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides)
Lesson 14: Derivatives of Logarithmic and Exponential Functions (slides)
 

Viewers also liked

Rakshe arati-pt9_edp260_assignment2_b
 Rakshe arati-pt9_edp260_assignment2_b Rakshe arati-pt9_edp260_assignment2_b
Rakshe arati-pt9_edp260_assignment2_b
Arti Rakshe
 
Willowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health Newsletter Willowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health Newsletter
Robyn Atkinson
 
Willowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health NewsletterWillowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health Newsletter
Robyn Atkinson
 

Viewers also liked (16)

Rakshe arati-pt9_edp260_assignment2_b
 Rakshe arati-pt9_edp260_assignment2_b Rakshe arati-pt9_edp260_assignment2_b
Rakshe arati-pt9_edp260_assignment2_b
 
My family
My familyMy family
My family
 
Enrrique olaya herrera
Enrrique olaya herreraEnrrique olaya herrera
Enrrique olaya herrera
 
December newsletter
December newsletterDecember newsletter
December newsletter
 
Athletic Center - Itinerario espanhol
Athletic Center - Itinerario espanholAthletic Center - Itinerario espanhol
Athletic Center - Itinerario espanhol
 
Willowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health Newsletter Willowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health Newsletter
 
Audit comptable audit informatique
Audit comptable audit informatiqueAudit comptable audit informatique
Audit comptable audit informatique
 
Willowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health NewsletterWillowbank Pharmacy's December Health Newsletter
Willowbank Pharmacy's December Health Newsletter
 
Ziintiia davila
Ziintiia davilaZiintiia davila
Ziintiia davila
 
Estudo.sobre.sinagoga.alex
Estudo.sobre.sinagoga.alexEstudo.sobre.sinagoga.alex
Estudo.sobre.sinagoga.alex
 
Athletic Center - Itinerary English
Athletic Center - Itinerary EnglishAthletic Center - Itinerary English
Athletic Center - Itinerary English
 
ثورة الـ 90 يوما
  ثورة الـ 90 يوما   ثورة الـ 90 يوما
ثورة الـ 90 يوما
 
Historia del automovil
Historia del automovilHistoria del automovil
Historia del automovil
 
Presentation 1
Presentation 1Presentation 1
Presentation 1
 
El modelo Socio historico y cultural de Lev vygotsky
El modelo Socio historico y cultural de Lev vygotskyEl modelo Socio historico y cultural de Lev vygotsky
El modelo Socio historico y cultural de Lev vygotsky
 
Lipton - Séminaire Iscom
Lipton - Séminaire IscomLipton - Séminaire Iscom
Lipton - Séminaire Iscom
 

Similar to Hw2 s

Week 3 [compatibility mode]
Week 3 [compatibility mode]Week 3 [compatibility mode]
Week 3 [compatibility mode]
Hazrul156
 
Stochastic Calculus, Summer 2014, July 22,Lecture 7Con.docx
Stochastic Calculus, Summer 2014, July 22,Lecture 7Con.docxStochastic Calculus, Summer 2014, July 22,Lecture 7Con.docx
Stochastic Calculus, Summer 2014, July 22,Lecture 7Con.docx
dessiechisomjj4
 
Natalini nse slide_giu2013
Natalini nse slide_giu2013Natalini nse slide_giu2013
Natalini nse slide_giu2013
Madd Maths
 
Engr 213 midterm 1b sol 2009
Engr 213 midterm 1b sol 2009Engr 213 midterm 1b sol 2009
Engr 213 midterm 1b sol 2009
akabaka12
 

Similar to Hw2 s (20)

Physical Chemistry Assignment Help
Physical Chemistry Assignment HelpPhysical Chemistry Assignment Help
Physical Chemistry Assignment Help
 
Chapter 3 (maths 3)
Chapter 3 (maths 3)Chapter 3 (maths 3)
Chapter 3 (maths 3)
 
Differential Calculus
Differential Calculus Differential Calculus
Differential Calculus
 
Solution set 3
Solution set 3Solution set 3
Solution set 3
 
Week 3 [compatibility mode]
Week 3 [compatibility mode]Week 3 [compatibility mode]
Week 3 [compatibility mode]
 
Sol75
Sol75Sol75
Sol75
 
Sol75
Sol75Sol75
Sol75
 
Stochastic Calculus, Summer 2014, July 22,Lecture 7Con.docx
Stochastic Calculus, Summer 2014, July 22,Lecture 7Con.docxStochastic Calculus, Summer 2014, July 22,Lecture 7Con.docx
Stochastic Calculus, Summer 2014, July 22,Lecture 7Con.docx
 
Comparison Theorems for SDEs
Comparison Theorems for SDEs Comparison Theorems for SDEs
Comparison Theorems for SDEs
 
Natalini nse slide_giu2013
Natalini nse slide_giu2013Natalini nse slide_giu2013
Natalini nse slide_giu2013
 
Engr 213 midterm 1b sol 2009
Engr 213 midterm 1b sol 2009Engr 213 midterm 1b sol 2009
Engr 213 midterm 1b sol 2009
 
Assignment6
Assignment6Assignment6
Assignment6
 
Ch07 5
Ch07 5Ch07 5
Ch07 5
 
Applications of Differential Calculus in real life
Applications of Differential Calculus in real life Applications of Differential Calculus in real life
Applications of Differential Calculus in real life
 
Fourier series
Fourier seriesFourier series
Fourier series
 
On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...
On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...
On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...
 
02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf
 
02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf
 
Transformation of random variables
Transformation of random variablesTransformation of random variables
Transformation of random variables
 
Btech admission in india
Btech admission in indiaBtech admission in india
Btech admission in india
 

Hw2 s

  • 1. Partial Differential Equations – Math 442 C13/C14 Fall 2009 Homework 2 — due September 18 1. (Strauss 2.1.1.) Solve utt = c2 uxx , u(x, 0) = ex , ut (x, 0) = sin x. Solution: We use d’Alembert’s formula with φ(x) = ex , ψ(x) = sin x. Then we have x+ct sin s ds = cos(x + ct) − cos(x − ct), x−ct and so we have 1 x+ct 1 u(x, t) = (e + ex−ct ) + (cos(x + ct) − cos(x − ct)). 2 2c 2. (Strauss 2.1.7.) We define an odd function to be any function f such that f (−x) = −f (x) for all x. Prove that if that the initial conditions φ, ψ are odd functions, then so is the solution u(x, t) for any fixed time t. Solution: There are two completely different solutions: • Again use d’Alembert. We know that the solution is x+ct 1 1 u(x, t) = (φ(x + ct) + ψ(x − ct)) + sin s ds. 2 2c x−ct Now, we compute −x+ct 1 1 u(−x, t) = (φ(−x + ct) + ψ(−x − ct)) + ψ(s) ds 2 2c −x−ct Using the fact that φ is odd, we have φ(−x − ct) = φ(−(x + ct)) = −φ(x + ct), φ(−x + ct) = φ(−(x − ct)) = −φ(x − ct). Now consider the integral, and make a change of variables r = −s, giving −x+ct x−ct x+ct ψ(s) ds = − ψ(−r) dr = − ψ(r) dr. −x−ct x+ct x−ct (Note in the last equality there are actually three minus signs, since we use the fact that ψ is odd, and we flip the domain of integration.) Putting all of this together gives u(−x, t) = −u(x, t) and thus u is odd. • We showed that reversing time gives a solution to the wave equation, and so does reversing space: if we choose v(x, t) = −u(−x, t), then we see that vtt (x, t) = −utt (−x, t), vxx (x, t) = −uxx(−x, t), and thus if u satisfies utt = c2 uxx , u(x, 0) = φ(x), ut (x, 0) = ψ(x), 1
  • 2. then v satisfies vtt = c2 vxx , v(x, 0) = φ(−x), vt (x, 0) = ψ(−x). This is true for any solution to the wave equation. If we now further assume that φ, ψ are odd, then these two PDE have the same initial data, and therefore by uniqueness, v(x, t) = u(x, t) for all x, t, and thus u(x, t) = −u(−x, t), and u is odd. 3. We have defined a “well-posed” problem in class (also see book) typically for PDE, but we can consider if an ODE satisfies these three properties as well. Here you are given a sequence of ODEs and initial conditions; determine which of these problems are well-posed, and which are not1 : dy (a) = 2y, y(0) = 2, dt dy (b) = ln x, y(0) = 0. dx Solution: (a) This ODE satisfies the hypotheses of the E-U theorem for ODEs (in fact, the vector field is C ∞ ) and thus it is well-posed. (b) We cannot apply the theorem directly, but we can solve this ODE exactly. In fact, the general solution can be written as y(x) = x log x − x + C for some constant C. We see that there is exactly one solution with y(0) = 0 (in fact, choose C = 0). To show stability, we need to show that if we choose two different initial conditions, we can make the solutions close by choose the initial conditions close. So consider the two solutions y1 (x) = x log x − x, y2 (x) = x log x − x + C. Clearly, y2 (0) = C, and by choosing |y2 (0)| < ǫ, we can make |y1 (x) − y2 (x)| < ǫ for any x. 4. (Strauss 2.2.2.) Let us consider a solution to the wave equation utt = uxx (we have assumed that 1 c2 = 1). Define the energy density e(x, t) = 2 (u2 + u2 ) and the momentum density p(x, t) = ut ux . t x Show that ∂e ∂p ∂p ∂e (a) = and = , ∂t ∂x ∂t ∂x (b) e and p both satisfy the wave equation themselves (although with different initial conditions). Solution: (a) We have ∂e ∂p = ut utt + ux uxt , = utx ux + ut uxx . ∂t ∂x Using utt = uxx shows these are equal. (similar for the other) (b) We have ex = ut utx + ux uxx , exx = u2 + ut utxx + u2 + ux uxxx, tx xx et = ut utt + ux uxt , ett = u2 + ut uttt + u2 + ux uxtt tt tx 1 Recall the Existence–Uniqueness Theorem which you saw in ODEs 2
  • 3. Then exx − ett = ut utxx − ut uttt + u2 − u2 + ux uxxx − ux uttx xx tt = ut (uxx − utt )t + u2 − u2 + ux (uxx − utt )x = 0 + 0 + 0 = 0. xx tt (similar for p) 5. (Strauss 2.2.3.) Show the following invariance properties for solutions of the wave equation. Assume that u(x, t) satisfies the wave equation, then show that each of the transformed solutions also satisfy the wave equation: (a) translation: u(x − α, t) for any α, (b) derivative: ux (x, t), (c) dilation: u(ax, at) for any a Solution: (a) Define v(x, t) = u(x − α, t). We see, using the chain rule, that ∂v ∂u d ∂u (x, t) = (x − α, t) · (x − α) = (x − α, t). ∂x ∂x dx ∂x Similarly, ∂2v ∂2u (x, t) = (x − α, t). ∂x2 ∂x2 We also work out that ∂2v ∂2u (x, t) = 2 (x − α, t). ∂t2 ∂t Therefore vtt (x, t) − c2 vxx (x, t) = utt (x − α, t) − c2 uxx (x − α, t) = 0. (b) Define v(x, t) = ux (x, t). Then vtt = uxtt , vxx = uxxx, so ∂0 vtt − c2 vxx = uxtt − c2 uxxx = uttx − c2 uxxx = (utt − c2 uxx )x = = 0. ∂x (c) Define v(x, t) = u(ax, at). Then ∂v ∂u (x, t) = (ax, at) · a, ∂x ∂x ∂2v ∂ ∂u ∂2u ∂2u (x, t) = (a (ax, at)) = a 2 (ax, at) · a = a2 2 (ax, at), ∂x2 ∂x ∂x ∂x ∂x ∂v ∂u (x, t) = (ax, at) · a, ∂t ∂t ∂2v ∂ ∂u ∂2u ∂2u (x, t) = (a (ax, at)) = a 2 (ax, at) · a = a2 2 (ax, at). ∂t2 ∂t ∂t ∂t ∂t Thus we have vtt (x, t)−c2 vxx (x, t) = a2 utt (ax, at)−a2 c2 uxx (ax, at) = a2 (utt (ax, at)−c2 uxx (ax, at)) = a2 ·0 = 0. 3
  • 4. 6. (Strauss 2.3.3.) Consider a solution to the diffusion equation ut = uxx for x ∈ [0, L] and t > 0. Define M (T ) = maximum of u(x, t) on the rectangle [0, L] × [0, T ], m(T ) = minimum of u(x, t) on the rectangle [0, L] × [0, T ]. Does M (T ) increase or decrease as a function of T ? Does m(T ) increase or decrease as a function of T ? Explain why. Solution: It turns out the answer to this is somewhat complicated as it could depend on the boundary and initial conditions. Let us first fix the boundary conditions as u(0, t) = 0, u(L, t) = 0, for all t and assume that the initial condition φ(x) is positive for some x ∈ [0, L] so that M (0) > 0. The claim here then is that M (T ), m(T ) are functions which are constant in T . First, notice that by definition, if T ′ > T , then M (T ′ ) ≥ M (T ) (since we’re taking the maximum over a larger set). We now want to prove that M (T ′ ) ≤ M (T ), and then we are done. So we prove by contradiction: assume that M (T ′ ) > M (T ). If this is so, then clearly the maximum inside the rectangle [0, L] × [0, T ′] must occur for t ∈ (T, T ′ ]. Since M (T ′ ) > M (T ) ≥ M (0) > 0, this means that this maximum may not occur on the left- or right-hand edges, but must occur either in the interior of the rectangle, or on the top edge. But this directly contradicts the Maximum Principle. Since assuming M (T ′ ) > M (T ) leads to a contradiction, it must be true that M (T ′ ) ≤ M (T ). The argument for m(T ) is similar: reverse every inequality above and use the Minimum Principle. Of course, with different boundary conditions things could be more complicated. If we now assume that u(0, t) = f (t), and this function is increasing (rapidly enough), then it’s possible that M (T ) increases, since M (T ) ≥ maxt∈[0,T ] f (t) at least. In this case, the final statement would be that M (T ) can increase, but no faster than f . Other permutations are left to the reader... 4