c Copyright 2015 Natalie Elizabeth Sheils
Interface Problems using the Fokas Method
Natalie Elizabeth Sheils
A dissertation submitted in partial fulfillment of the requirements for the degree of
Doctor of Philosophy
University of Washington
2015
Reading Committee: Bernard Deconinck, Chair
Chris Bretherton Robert O’Malley
Program Authorized to Offer Degree: Department of Applied Mathematics
University of Washington
Abstract
Interface Problems using the Fokas Method
Natalie Elizabeth Sheils
Chair of the Supervisory Committee: Professor Bernard Deconinck Department of Applied Mathematics
Interface problems for partial differential equations are initial boundary value problems for which the solution of an equation in one domain prescribes boundary conditions for the equations in adjacent domains. These types of problems occur widely in applications includ- ing heat transfer, quantum mechanics, and mathematical biology. These problems, though linear, are often not solvable analytically using classical approaches. In this dissertation I present an extension of the Fokas Method appropriate for solving these types of prob- lems. I consider problems with both dissipative and dispersive behavior and consider general boundary and interface conditions. An analog for the Dirichlet to Neumann map for interface problems is also constructed.
TABLE OF CONTENTS
Page
List of Figures ...... iii
Notation and Abbreviations ...... viii
Chapter 1: Introduction ...... 1 1.1 Interface problems ...... 1 1.2 The Fokas Method ...... 3 1.3 Overview ...... 9
Chapter 2: Non-steady state heat conduction ...... 12 2.1 Two semi-infinite domains ...... 14 2.2 Two finite domains ...... 24 2.3 An infinite domain with three layers ...... 38 2.4 A finite domain with three layers ...... 41 2.5 Periodic boundary conditions ...... 49 2.6 Burgers’ Equation ...... 54
Chapter 3: The heat equation on a graph ...... 56 3.1 Interface conditions for graphs ...... 57 3.2 Implicit integral representation of the solution ...... 60 3.3 m semi-infinite rods ...... 62 3.4 m parallel finite rods ...... 66 3.5 m finite rods connected at a single point ...... 70
Chapter 4: Interface problems for dispersive equations ...... 74 4.1 Two semi-infinite domains ...... 75 4.2 Two finite domains ...... 87
i Chapter 5: The time-dependent Schr¨odingerequation with piecewise constant po- tentials ...... 98 5.1 A step potential ...... 100 5.2 n potential jumps ...... 115 5.3 Potential well and barrier ...... 123
Chapter 6: Linear Korteweg-de Vries equation with an interface ...... 129 6.1 Background ...... 130 6.2 Notation and set-up ...... 132 6.3 Application of the Fokas Method ...... 135 6.4 Results ...... 140 6.5 Examples ...... 152
Chapter 7: Initial to Interface Maps ...... 158 7.1 Heat equation on an infinite domain with n interfaces ...... 158 7.2 Heat equation on a finite domain with n interfaces ...... 166
Chapter 8: The Stefan problem for the heat equation ...... 170 8.1 The one-phase Stefan problem on a semi-infinite domain ...... 171 8.2 The two-phase Stefan problem on an infinite domain ...... 183
Appendix A: The transport and heat equations ...... 187
Bibliography ...... 191
ii LIST OF FIGURES
Figure Number Page 1.1 Domain for the application of Green’s Theorem in the case of one semi-infinite rod...... 4 1.2 The domains D+ and D− for the heat equation...... 5 1.3 Contours L− and L+ for the heat equation...... 7 2.1 The heat equation for two semi-infinite domains...... 14 2.2 Domains for the application of Green’s Theorem in the case of two semi-infinite rods...... 16 2.3 Numerical evaluation of the solution of the heat equation on two semi-infinite rods...... 25 2.4 The heat equation for two finite domains...... 26 2.5 Domains for the application of Green’s Theorem in the case of two finite rods. 27 2.6 Deformation of the contours in Figure 1.2 away from the origin...... 30 2.7 The heat equation for an infinite domain with three layers...... 39 2.8 The heat equation for three finite domains...... 43 2.9 The heat equation with an interface posed on a ring...... 50 3.1 Examples of connected rods in art...... 57 3.2 m semi-infinite rods...... 63 3.3 m parallel finite rods...... 67 3.4 m finite rods joined at a single vertex...... 71 4.1 The LS equation for two semi-infinite domains...... 76 4.2 The domains D(2) and D(4) for the LS equation...... 79 4.3 The contours L(4) and L(2) for the LS equation...... 81 4.4 The leading order behavior of solutions to the LS equation with an interface and γ(1) 6= γ(2)...... 85 4.5 The leading order behavior of solutions to the LS equation with an interface and γ(1) = 0 = γ(2)...... 86 4.6 The LS equation for two finite domains...... 88 4.7 Deformation of the contours in Figure 4.2 away from the real axis...... 90 5.1 A cartoon of the potential α(x) in the case of one interface...... 102 (j) 5.2 The regions DR , j = 1, 2, 3, 4...... 105 5.3 The contour L(4) for the LS equation with potential...... 107 5.4 The contours ∂D(3) and ∂D(3) and the region R...... 109 R R˜ p a 5.5 Branch cuts for 1 + k2 and the local parameterizations around the branch points...... 110 (1) (3) 5.6 The deformations of ∂DR and ∂DR to the real line when the branch cut is on the imaginary axis...... 112 (1) (3) 5.7 The deformations of ∂DR and ∂DR to the real line when the branch cut is on the real axis...... 112 5.8 The leading order behavior as t → ∞ of ψ(1)...... 114 5.9 The leading order behavior as t → ∞ of ψ(2)...... 115 5.10 A cartoon of the potential α(x) in the case of n interfaces...... 117 5.11 A cartoon of the potential α(x) for a potential well or barrier...... 125 6.1 A cartoon building intuition for the number of boundary conditions required to solve LKdV on the half line...... 131 6.2 The evenly distributed regions D(1), D(3), D(5) where Re(ik3) < 0...... 138 (1) (3) (5) 3 6.3 The regions DR , DR , DR where Re(ik ) < 0 and |k| > R...... 138 6.4 Information from the initial conditions q(1)(x, 0) and q(2)(x, 0) propagates to- ward the interface...... 141 6.5 Information from the initial condition q(1)(x, 0) propagates toward the inter- face while information from q(2)(x, 0) propagates away from the interface. . 143 6.6 Information from the initial conditions q(1)(x, 0) and q(2)(x, 0) propagates away from the interface...... 146 6.7 The contours L(1), L(3), and L(5) for the linear KdV equation...... 157 7.1 Domains for the application of Green’s Theorem in the case of an infinite domain with n interfaces...... 160 7.2 Domains for the application of Green’s Theorem in the case of a finite domain with n interfaces...... 167 8.1 The domain for the one-phase Stefan problem ...... 171
iv 8.2 Domain for the application of Green’s Theorem for the one-phase Stefan prob- lem...... 173 8.3 The domains D+ and D− for the Stefan problem...... 174 8.4 A numerical solution for l(t)...... 182 8.5 The domain for the two-phase Stefan problem ...... 184 8.6 A similarity solution for the two-phase Stefan problem...... 186 A.1 The transport equation on the left semi-infinite domain and heat equation on the right semi-infinite domain...... 188
v ACKNOWLEDGMENTS
I wish to thank my supervisory committee for their time and effort. Their consultation and knowledge made my work better. I would also like to thank my collaborators on projects related to this thesis: Bernard Deconinck, Jonatan Lenells, Beatrice Pelloni, Dave Smith, and Vishal Vasan. Without their expertise and input this thesis would not be possible. Specifically I would like to thank Bernard Deconinck for being my advisor and mentor. His constant belief in these projects and in me enabled me to grow as a mathematician and person during my time at the University of Washington. I am grateful to my friends in the applied math department who have supported me for the last five years. I am especially indebted to members of Bernard Deconinck’s research group whom I consider great friends and inspiring colleagues. I could not have completed the last five years without the friendship of my officemate Kit Curtius and I am so glad we could make this journey together. My time at the University of Washington became a reality in part because I had the sup- port and mentorship of John Carter at Seattle University during my undergraduate years. His influence is apparent in my work and I am thankful that he introduced me to mathemat- ical research. Although my family stopped understanding the technical details of my work long ago, they have never stopped being my biggest fans and cheerleaders. I hope to live up to their example of hard work and dedication. Thank you mom, dad, and Madeleine for everything. Most importantly, I wish to thank my husband Scott. His unwavering love and support gave me the space I needed to complete my PhD.
This work was generously supported by the National Science Foundation under grant NSF-DGE-0718124.
vi To my partner Scott.
vii NOTATION AND ABBREVIATIONS
1m×n : m × n matrix with every entry equal to 1. BVP : boundary-value problem
C : The complex plane C+ : The upper half plane: {z ∈ C : Im(z) > 0} C− : The lower half plane: {z ∈ C : Im(z) < 0} D+ : {k ∈ C : k ∈ D ∩ C+} D− : {k ∈ C : k ∈ D ∩ C−} ± ± DR : {k ∈ D : |k| > R} ∂D : the boundary of the region D traversed in the clockwise direction z √2 R 2 erf(·) : the error function, erf(z) = π 0 exp(−y ) dy
Im×n : m × n identity matrix IVP : initial-value problem KdV : Korteweg-de Vries equation
(j) LD(j) : ∂D ∩ {k : |k| < C} (j) (j) LC : {k ∈ D : |k| = C} (j) (j) L : LD(j) ∪ LC LS : linear Schr¨odingerequation
N : the set of natural numbers, {1, 2,...} NLS : nonlinear Schr¨odingerequation PDE : partial differential equation
R+ : the set of positive real numbers: {x ∈ R : x ≥ 0} R xj −ikx uˆ(k, t): e u(x, t) dx for xj−1 < x < xj and t > 0 xj−1 R xj −ikx uˆ0(k): e u(x, 0) dx for xj−1 < x < xj xj−1
viii Chapter 1
Introduction
1.1 Interface problems
Interface problems for partial differential equations (PDEs) are initial boundary value prob- lems for which the solution of an equation in one domain prescribes boundary conditions for the equations in adjacent domains. In applications, precise interface conditions often follow from conservations laws [38]. Interface problems occur widely in applications. Examples in- clude heat flowing through a composite rod [10, 33], the time-dependent linear Schr¨odinger equation with a piecewise constant potential [19, 41, 48], and shock waves as a method of healing fractured bones [18]. Finding solutions to equations modeling water waves can also be considered an interface problem where the interface is between air and water [43, 66]. To derive the “boundary conditions” that must be imposed at the interface we consider differential equations that are valid on either side of the interface. The integral form of the equation or important integral relations are often the best ways to infer the necessary condi- tions on the unknowns at the interface. As an example, we derive the boundary conditions relating to heat conduction used in Chapter 2. We follow closely what is outlined in [38]. Consider a thin rod of some heat-conducting material with density ρ(x) and unit cross- sectional area. Assume that the surface of the rod is perfectly insulated so no heat is lost or gained through this surface. This problem is one-dimensional in the sense that all material properties depend only on the distance x along the rod. If we consider an infinitesimal section of length dx we know that dQ, the heat content in the section, is proportional to 2 CHAPTER 1
the mass and temperature θ(x, t). That is
dQ = c(x)ρ(x)θ(x, t) dx,
where c(x) is the specific heat. Thus, the total heat content in the interval x1 ≤ x ≤ x2 is
Z x2 Q(t) = c(x)ρ(x)θ(x, t) dx. x1 Fourier’s Law for heat conduction [30] states that the rate of heat flowing into a body is proportional to the area of that element and to the outward normal derivative of the tem- perature at that location. The constant of proportionality is k(x), the thermal conductivity.
In our example, the net inflow of heat through the boundaries x1 and x2 is
R(t) = k(x)θx(x2, t) − k(x)θx(x1, t).
Conservation of heat implies that Qt(t) = R(t). That is, d Z x2 c(x)ρ(x)θ(x, t) dx = k(x2)θx(x2, t) − k(x1)θx(x1, t). (1.1) dt x1 This is a typical conservation law. Define κ2(x) = k(x)/(c(x)ρ(x)) as the thermal dif- fusivity. Assume there are two rods of different materials which are put in perfect thermal contact at x = 0 such that ρ1(x), x < 0, ρ(x) = ρ2(x), x > 0, θ(1), (x, t) x < 0, θ(x) = θ(2)(x, t), x > 0, k1, x < 0, k(x) = , k2, x > 0, κ2, x < 0, κ2(x) = 1 2 κ2, x > 0. “Perfect thermal contact” means that the temperatures of the two surfaces are equal [10].
− + 2 2 Thus, we have our first interface condition, θ(0 ) = θ(0 ). Since κ1, κ2, k1, and k2 are 1.2. THE FOKAS METHOD 3
constants, then for x < 0, we have c(x)ρ1(x) = cρ1, a constant, and for x > 0, c(x)ρ2(x) = cρ2, a constant. Evaluating (1.1) across the boundary x = 0 we have
Z 0 Z d (1) (2) (2) (1) cρ1 lim θ (x, t) dx+cρ2 lim θ (x, t) dx =lim(k2θx (, t) − k1θx (−, t)). (1.2) dt →0 − →0 0 →0
The left-hand-side of (1.2) is zero since temperature is continuous across the boundary. This (1) (2) implies k1θx (0, t) = k2θx (0, t). Thus heat flux is continuous across the interface. Maxwell’s equations are another typical example of conservation laws that are used to define boundary conditions for problems related to electromagnetism [19]. In general, this procedure can be used to construct interface conditions for any situation where differential equations are satisfied on either side of a sharp boundary where some property changes. In this thesis we study PDEs with piecewise-constant coefficients by posing them as interface problems. Although not undertaken here, this could be a path toward the study of PDEs with continuous coefficients by letting the number of interfaces tend toward infinity. We consider interface problems where there are different PDEs on either side of the interface in Appendix A. In Appendix A we consider only the most simple case of the transport and heat equations. Although the results presented here are preliminary, interface problems with different equations is an area of current interest and active research [13].
1.2 The Fokas Method
The Fokas Method, alternatively called the Unified Transform Method (UTM), is a relatively new method for solving initial-boundary-value problems for linear and integrable PDEs with constant coefficients [15, 25, 27]. This method allows for the explicit solution of some prob- lems for which no classical approach exists. For problems where classical solutions do exist, they are found as special cases of the Fokas Method. The chapters that follow rely heavily on the use of the Fokas Method. Thus we begin with a simple example. 4 CHAPTER 1
Consider the heat equation defined on the positive half line:
ut = uxx, x ≥ 0, t > 0, (1.3a)
u(x, 0) = u0(x), x ≥ 0, (1.3b) lim u(x, t) = 0. (1.3c) x→∞
We will assume Dirichlet boundary data is given. That is u(0, t) is known. Of course, this problem is easily solved using classical methods (e.g., the method of images [38]). How- ever, to the point of understanding the Fokas Method for a “simple” problem, we begin by rewriting (1.3a) as a one-parameter family of PDEs in divergence form:
−ikx+ω(k)t −ikx+ω(k)t (e u)t = (e (ux + iku))x, (1.4) where the dispersion relation is given by ω(k) = k2. This is the local relation. Applying Green’s Theorem [1] in the strip (0, ∞) × (0, t) in the right-half plane (see Figure 1.1) one finds
t
T
x 0 ∞ Figure 1.1: Domain for the application of Green’s Theorem in the case of one semi-infinite rod. 1.2. THE FOKAS METHOD 5
Z t Z ∞ −ikx+k2s −ikx+k2s (e u)s − (e (ux + iku))x dx ds = 0 0 0 Z ∞ Z ∞ Z t −ikx −ikx+k2t k2s ⇒ e u0(x) dx − e u(x, t) dx − e (ux(0, s) + iku(0, s)) ds = 0. (1.5) 0 0 0
Im(k)
D+
Re(k)
D−
Figure 1.2: The domains D+ and D− for the heat equation.
Let C denote the complex numbers and C+ = {z ∈ C : Im(z) > 0}. Similarly, let C− = {z ∈ C : Im(z) < 0}. Since x can become arbitrarily large, we require the imaginary part of k to be negative, k ∈ C−, in order to guarantee that the integrals above are defined. Let D = {k ∈ C : Re(k2) < 0} = D+ ∪ D−. The region D is shown in Figure 1.2. For k ∈ C 6 CHAPTER 1
define the following: Z ∞ −ikx uˆ0(k) = e u0(x) dx, 0 Z ∞ uˆ(k, t) = e−ikxu(x, t) dx, 0 Z t ωs g0(ω, t) = e u(0, s) ds, 0 Z t ωs g1(ω, t) = e ux(0, s) ds. 0 Using these definitions, the global relation (1.5) is
k2s uˆ0(k) − e uˆ(k, t) − g1(ω, t) − ikg0(ω, t) = 0. (1.6)
Since the dispersion relation is invariant under the reflection k → −k, so are g0(ω, t) and g1(ω, t). Thus one can supplement (1.6) with its evaluation at −k, namely
k2t uˆ0(−k) − e uˆ(−k, t) − g1(ω, t) + ikg0(ω, t) = 0. (1.7)
Equation (1.7) is valid for k ∈ C+. Inverting the Fourier transforms in (1.6) we have Z ∞ Z ∞ 1 ikx−k2t 1 ikx−k2s u(x, t) = e uˆ0(k) dk − e (g1(ω, t) + ikg0(ω, t)) dk, (1.8) 2π −∞ 2π −∞ for x > 0 and t > 0. Everything about the first integral in (1.8) is known. The integrand of the second integral is entire and decays as k → ∞ for k ∈ C+\D+. Thus, the integral can be deformed up to ∂D+, the boundary of D+, to obtain
Z ∞ Z 1 ikx−k2t 1 ikx−k2t u(x, t) = e uˆ0(k) dk − e (g1(ω, t) + ikg0(ω, t)) dk. (1.9) 2π −∞ 2π ∂D+
Equation (1.9) depends on unprescribed boundary data, namely g1(ω, t). To resolve this we solve (1.7) for g1(ω, t). Substituting this into (1.9) we have
Z ∞ Z 1 ikx−k2t 1 ikx−k2t u(x, t) = e uˆ0(k) dk − e ikg0(ω, t) dk 2π −∞ π ∂D+ Z Z (1.10) 1 ikx 1 ikx−k2t + e uˆ(−k, t) dk − e uˆ0(−k) dk. 2π ∂D+ 2π ∂D+ 1.2. THE FOKAS METHOD 7
Im(k)
+ LC
LD+
Re(k)
LD−
− LC
Figure 1.3: The contour L− is shown as green dashed line. An application of Cauchy’s Inte- gral Theorem [1] using this contour allows elimination of the contribution of terms involving the Fourier transform of the solution.
This expression contains the solution we seek in the third integral on the right-hand side. However, eikxuˆ(−k, t) is an analytic function that decays in the upper-half plane. Thus, by Jordan’s Lemma [1], the integral of exp(ikx)ˆu(−k, t) along a closed, bounded curve
+ + + in C must vanish. In particular we consider the closed curve L = LD+ ∪ LC where + + + LD+ = ∂D ∩ {k : |k| < C} and LC = {k ∈ D : |k| = C}, see Figure 1.3.
+ Since the integral along LC vanishes for large C, the third integral on the right-hand side + of (1.10) must vanish since the contour LD+ becomes ∂D as C → ∞. The uniform decay of uˆ(−k, t) for large k is exactly the condition required for the integral to vanish, using Jordan’s Lemma. Our solution in terms of only initial and boundary conditions is now 8 CHAPTER 1
Z ∞ Z 1 ikx−k2t 1 ikx−k2t u(x, t) = e uˆ0(k) dk − e ikg0(ω, t) dk 2π −∞ π ∂D+ Z 1 ikx−k2t − e uˆ0(−k) dk, 2π ∂D+ where g0(ω, t) is the time transform of the given Dirichlet data as defined earlier. The Fokas Method is applicable to the general constant-coefficient linear evolution PDE
ut + ω(−i∂x)q = 0, x > 0, 0 < t ≤ T, (1.11) where ω(k) is a polynomial of degree n. Equation (1.11) admits a one-parameter family of solutions eikx−ω(k)t. To ensure the solutions are not exponentially growing in time, we require Re(ω(k)) ≥ 0 for real k. Let n X j ω(k) = αjk . j=0 In the limit as |k| → ∞, the condition Re(ω(k)) ≥ 0, k ∈ R, implies that if n is odd then
αn = ±i and if n is even Re(αn) ≥ 0 [25]. Define the regions D = {k : Re(ω(k)) < 0}, D+ = D ∩ C+, and D− = D ∩ C−. The local relation is given by [15, 25]
n−1 ! −ikx+ω(k)t −ikx+ω(k)t X j ∂t(e u(x, t)) − ∂x e cj∂xu(x, t) = 0, j=0 where n−1 X j ω(k) − ω(m) cj(k)∂ u(x, t) = i u(x, t), x k − m j=0 m=−i∂x and the global relation is
n−1 ω(k)T X e uˆ(k, T ) =u ˆ0(k) − cj(k)gj(ω(k),T ), j=0 with Im(k) ≤ 0 and Z T ωs j gj(ω, T ) = e ∂xu(0, s) ds. 0 1.3. OVERVIEW 9
Applying the inverse Fourier transform to the global relation we have the integral expres- sion
Z ∞ Z n−1 ! 1 −ikx−ω(k)t 1 −ikx+ω(k)t X u(x, t) = e uˆ0(k) dk− e cj(k)gj(ω(k), t) dk. (1.12) 2π 2π + −∞ ∂D j=0
In order to eliminate any unknown boundary conditions from (1.12) we use the mappings between roots of the ω(k)(k → ν(k)) to find new versions of the global relation. These global relations allow us to solve for the unknown boundary data but introduce terms that depend onu ˆ(ν(k), t). However, the transformu ˆ(ν(k), t) is analytic and bounded in the region D+. We use the Cauchy Integral Theorem to eliminate that contribution. In the finite interval case, the classical series solutions (when they exist) can be found by deforming the integral ∂D+ to circles around any isolated roots of the integrand. The general method for finite- interval problems and more examples can be found in the book on this method by Fokas [25] and in a review paper by Deconinck, Trogdon, and Vasan [15].
1.3 Overview
As the title suggests this dissertation is an overview of methods for solving interface problems of the type described in Section 1.1 using the Fokas Method. The Fokas Method for linear constant-coefficient problem has many advantages over the standard methods. For instance, in addition to producing an explicit formula for the solution, the method allows one to determine, in a straightforward way, how many and which boundary conditions result in a well-posed problem. The method, which produces solution formulas for many problems which classical methods cannot, is not a collection of situation specific approaches tailored to given equations and boundary conditions. Instead, it is a unified method and the differences for different equations and boundary conditions appear only computationally. It is our goal to generalize this method to the case of interface problems. Standard results from complex analysis are used heavily throughout. For proofs, theorem statements, and more information see [1, 67]. We also rely heavily on the use of the Fokas 10 CHAPTER 1
Method which was introduced by A.S. Fokas [21, 22, 23, 25, 27] and has continued to be expanded on by himself and collaborators in recent years. A review paper on the use of the method for linear PDEs [15] is a good place to begin to better understand this method. The repository [59] which is regularly updated with books and papers on the subject is also useful and contains further applications of the Fokas Method. In Chapter 2 the problem of heat conduction in one-dimensional piecewise homogeneous composite materials is examined by providing an explicit solution of the heat equation in each domain. The location of the interfaces is known, but neither temperature nor heat flux are prescribed there. Instead, the physical assumptions of their continuity at the interfaces are the only conditions imposed. We examine finite and infinite domains and allow the possibility of periodic boundary conditions. We also include the solution to Burgers’ equation through the Cole-Hopf transformation. We extend the results of the previous chapter to examine heat conduction on networks of multiply connected rods in Chapter 3. Again, we provide an explicit solution of the one- dimensional heat equation in each domain. The size and connectivity of the rods is given, but neither temperature nor heat flux are prescribed at the interface. In Chapter 4 we study an interface problem for the linear Schr¨odingerequation in one- dimensional piecewise homogeneous domains. The location of the interfaces is known and the continuity of the wave function and a jump in the derivative at the interface are the only conditions imposed. The methods we use here are similar to those used in Chapter 2 but the dispersive nature of the problem presents additional difficulties that we address. Chapter 5 generalizes the work in Chapter 4 to include a piecewise-constant potential. This problem is well studied in textbooks [19, 41, 48]. It is one of only a few solvable models in quantum mechanics and shares many qualitative features with physically important models. In examples such as “particle in a box” and tunneling, attention is restricted to the time- independent Schr¨odingerequation. In this chapter we present fully explicit solutions for the time-dependent problem for a general piecewise-constant potential. The interface problem for the linear Korteweg-de Vries (KdV) equation in one-dimensional 1.3. OVERVIEW 11
piecewise homogeneous domains is examined in Chapter 6 by constructing an explicit solu- tion in each domain. The location of the interface is known and a number of compatibility conditions at the boundary are imposed. We provide an explicit characterization of neces- sary interface conditions for the construction of a solution. This work is the first known exploration into interface problems with higher than second-order derivatives. One of the great strengths of the Fokas Method is that the method for solving equations of any order is essentially the same. In Chapter 6 we show this extends to interface problems and find a surprising result on the number of interface conditions necessary for a well-posed problem. Chapter 7 provides an analog to the well known Dirichlet to Neumann map for interface problems. We develop a map from the initial conditions to the value of the function at the interface. This map provides an alternative approach to solving the problem in each domain simultaneously as suggested in Chapters 2-6. With the initial to interface map one could use the initial conditions to solve for the necessary interface values. At that point, the problem could be solved as a regular boundary-value problem (BVP) using the Fokas Method or any other appropriate solution method. In Chapter 8 we generalize the interface problems considered to include those that have a phase boundary that moves with time. We study the classical Stefan problem which describes the temperature distribution in a homogenous medium undergoing a phase change, for example, ice passing to water. The discussion in Chapter 8 is mostly restricted to the one- phase case, that is the heat equation is prescribed only in one domain while the temperature in the second domain is assumed to remain constant. The results presented in this chapter are not new but the methods used are suggestive of a more general method that could be used for the two-phase problem (the heat equation imposed on both domains). The work in this chapter is ongoing. Chapter 2
Non-steady state heat conduction
In this chapter, the problem of heat conduction in one-dimensional piecewise homoge- neous composite materials is examined by providing an explicit solution of the one-dimensional heat equation in each domain. The location of the interfaces is known, but neither tempera- ture nor heat flux are prescribed there. Instead, the physical assumptions of continuity at the interfaces is the only condition imposed. The problem of two semi-infinite domains and that of two finite-sized domains are examined in detail. We indicate how to extend the solution method to the setting of one finite-sized domain surrounded on both sides by semi-infinite domains, and on that of three finite-sized domains. In the final section we examine the case of periodic boundary conditions. Parts of this chapter were first published in [14, 55].
The problem of heat conduction in a composite wall is a classical problem in design and construction. It is usual to restrict attention to the case of walls whose constitutive parts are in perfect thermal contact. We also assume the walls have physical properties that are constant throughout the material and are considered to be of infinite extent in the directions parallel to the wall. Further, we assume that temperature and heat flux do not vary in these directions. In that case, the mathematical model for heat conduction in each wall layer is 13
given by [33, Chapter 10]:
(j) (j) u = κjuxx , xj−1 < x < xj, t (2.1) (j) (j) u (x, 0) = u0 (x), xj−1 < x < xj,
(j) where u (x, t) denotes the temperature in the wall layer indexed by j, κj > 0 is the heat- conduction coefficient of the j-th layer (the inverse of its thermal diffusivity), x = xj−1 is the left extent of the layer, and x = xj is its right extent. The subscripts x and t denote derivatives with respect to the one-dimensional spatial variable x and the temporal variable (j) t. The function u0 (x) is the prescribed initial condition of the system. The continuity of (j) (j) the temperature u (x, t) and of its associated heat flux κjux (x, t) are imposed across the interface between layers. In what follows it is convenient to use the quantity σj, defined as √ the positive square root of κj: σj = κj. If the layer is either at the far left or far right of the wall, Dirichlet, Neumann, Robin, or periodic boundary conditions can be imposed on its far left or right boundary respectively, corresponding to prescribing the “outside” temperature, heat flux, or a combination of these. A derivation of the interface conditions is found in [33, Chapter 1] and repeated in Section 1.1. In what follows, we use the Fokas Method to provide explicit solution formulae for differ- ent heat transport interface problems of the type described above. We investigate problems in both finite and infinite domains and we compare our method with classical solution ap- proaches that can be found in the literature. Throughout, our emphasis is on non-steady state solutions. Even for the simplest of the problems we consider (Section 2.2, two finite walls in thermal contact), the classical approach using separation of variables [33] can pro- vide an answer only implicitly. Indeed, the solution obtained in [33] depends on certain eigenvalues defined through a transcendental equation that can be solved only numerically. In contrast, the Fokas Method produces an explicit solution formula involving only known quantities. For other problems we consider, no solution has been derived using classical methods to our knowledge. The representation formulae for the solution can be evaluated numerically, hence the prob- 14 CHAPTER 2
lem can be solved in practice using hybrid analytical-numerical approaches [20]. Asymptotic approximations for the solutions may be obtained using standard techniques [25]. The result of such a numerical calculation is shown at the end of Section 2.1. The problem of heat conduction through composite walls is discussed in many excellent texts, see for instance [10, 33]. References to the treatment of specific problems are given in the sections below where these problems are investigated.
2.1 Two semi-infinite domains
In this section, we consider the problem of heat flow through two walls of semi-infinite width, or of two semi-infinite rods as shown in Figure 2.1. We seek two functions
(1) 2 (1) (2) 2 (2) ut = σ1uxx ut = σ2uxx x −∞ 0 ∞
Figure 2.1: The heat equation for two semi-infinite domains.
u(1)(x, t), x < 0, t ≥ 0, and u(2)(x, t), x > 0, t ≥ 0, satisfying the equations
(1) 2 (1) ut (x, t) =σ1uxx (x, t), x < 0, t > 0, (2.2a)
(2) 2 (2) ut (x, t) =σ2uxx (x, t), x > 0, t > 0, (2.2b) the initial conditions
(1) (1) u (x, 0) =u0 (x), x < 0, (2.3a)
(2) (2) u (x, 0) =u0 (x), x > 0, (2.3b) 2.1. TWO SEMI-INFINITE DOMAINS 15
the asymptotic conditions
lim u(1)(x, t) =γ(1), t ≥ 0, (2.4a) x→−∞ lim u(2)(x, t) =γ(2), t ≥ 0, (2.4b) x→∞ and the continuity interface conditions
u(1)(0, t) =u(2)(0, t), t > 0, (2.5a)
2 (1) 2 (2) σ1ux (0, t) =σ2ux (0, t), t > 0. (2.5b)
The sub- and super-indices 1 and 2 denote the left and right rod, respectively. A special case of this problem is discussed in Chapter 10 of [33], but only for a specific initial con-
(2) (1) dition. Further, for the problem treated there both limx→∞ u (x, t) and limx→−∞ u (x, t) are assumed to be zero. This assumption is made for mathematical convenience and no physical reason exists to impose it. If constant (in time) limit values are assumed, a simple translation allows one of the limit values to be equated to zero, but not both. Since no great advantage is obtained by assuming a zero limit using our approach, we make the more general assumption (2.4). We define v(1)(x, t) = u(1)(x, t) − γ(1) and v(2)(x, t) = u(2)(x, t) − γ(2). Then v(1)(x, t) and v(2)(x, t) satisfy
(1) 2 (1) vt (x, t) =σ1vxx (x, t), x < 0 t ≥ 0, (2.6a)
(2) 2 (2) vt (x, t) =σ2vxx (x, t), x > 0 t ≥ 0, (2.6b) lim v(1)(x, t) =0, t ≥ 0, (2.6c) x→−∞ lim v(2)(x, t) =0, t ≥ 0, (2.6d) x→∞ v(1)(0, t) + γ(1) =v(2)(0, t) + γ(2), t ≥ 0, (2.6e)
2 (1) 2 (2) σ1vx (0, t) =σ2vx (0, t), t ≥ 0. (2.6f) 16 CHAPTER 2
At this point, we start by following the standard steps in the application of the Fokas Method. We begin with the so-called “local relations”:
−ikx+ω1t (1) 2 −ikx+ω1(k)t (1) (1) (e v (x, t))t =(σ1e (vx (x, t) + ikv (x, t)))x,
−ikx+ω2t (2) 2 −ikx+ω2(k)t (2) (2) (e v (x, t))t =(σ2e (vx (x, t) + ikv (x, t)))x,
2 where ωj(k) = (σjk) . These relations form a one-parameter family obtained by rewriting (2.6a) and (2.6b). Integrating around the domain and applying Green’s Theorem in the strip (−∞, 0)×(0, t) in the left-half plane (see Figure 2.2) we find
Z 0 Z 0 −ikx (1) −ikx+ω1t (1) 0 = e v0 (x) dx − e v (x, t) dx −∞ −∞ (2.7) Z t 2 ω1s (1) (1) + σ1e (vx (0, s) + ikv (0, s)) ds. 0
s
t
x −∞ 0 ∞
Figure 2.2: Domains for the application of Green’s Theorem in the case of two semi-infinite rods.
Since |x| can become arbitrarily large, we require k ∈ C+ in (2.7) in order to guarantee 2.1. TWO SEMI-INFINITE DOMAINS 17
+ − that the first two integrals are well defined. Let D = {k ∈ C : Re(ωj(k)) < 0} = D ∪ D . The region D is shown in Figure 1.2.
For k ∈ C we define the following transforms:
Z t Z t ωs (1) ωs (2) (2) (1) g0(ω, t) = e v (0, s) ds = e (v (0, s) + γ − γ ) ds 0 0 (γ(2) − γ(1))(eωt − 1) Z t = + eωsv(2)(0, s) ds, ω 0 Z t 2 Z t ωs (1) σ2 ωs (2) g1(ω, t) = e vx (0, s) ds = 2 e vx (0, s) ds, 0 σ1 0 Z 0 vˆ(1)(k, t) = e−ikxv(1)(x, t) dx, −∞ Z 0 (1) −ikx (1) vˆ0 (k) = e v0 (x) dx, −∞ Z ∞ vˆ(2)(k, t) = e−ikxv(2)(x, t) dx, 0 Z ∞ (2) −ikx (2) vˆ0 (k) = e v0 (x) dx. 0
Using these definitions, the global relation (2.7) is rewritten as
(1) ω1t (1) 2 2 + vˆ0 (k) − e vˆ (k, t) + ikσ1g0(ω1, t) + σ1g1(ω1, t) = 0, k ∈ C . (2.8)
2 Since the dispersion relation ω1(k) = (σ1k) is invariant under k → −k, so are g0(ω1, t) and g1(ω1, t). Thus we can supplement (2.8) with its evaluation at −k, namely
(1) ω1t (1) 2 2 vˆ0 (−k) − e vˆ (−k, t) − ikσ1g0(ω1, t) + σ1g1(ω1, t) = 0. (2.9)
This relation is valid for k ∈ C−. Using Green’s Formula on (0, ∞) × (0, t) (see Figure 2.2), the global relation for v(2)(x, t) is
i 0 =v ˆ(2)(k) − eω2tvˆ(2)(k, t) − ikσ2g (ω , t) + (γ(1) − γ(2))(eω2t − 1) − σ2g (ω , t), (2.10) 0 2 0 2 k 1 1 2 18 CHAPTER 2
− 2 valid for k ∈ C . As above, using the invariance of ω2(k) = (σ2k) , g0(ω2, t), and g1(ω2, t) under k → −k, we supplement (2.10) with
i 0 =v ˆ(2)(−k) − eω2tvˆ(2)(−k, t) + ikσ2g (ω , t) − (γ(1) − γ(2))(eω2t − 1) − σ2g (ω , t), (2.11) 0 2 0 2 k 1 1 2 for k ∈ C+. Inverting the Fourier transforms in (2.8) we have
1 Z ∞ σ2 Z ∞ (1) ikx−ω1t (1) 1 ikx−ω1t v (x, t) = e vˆ0 (k) dk + e (ikg0(ω1, t) + g1(ω1, t)) dk, (2.12) 2π −∞ 2π −∞ for x < 0 and t > 0. The integrand of the second integral in (2.12) is entire and decays as k → ∞ for k ∈ C− \ D−. Using the analyticity of the integrand and applying Jordan’s R Lemma we can replace the contour of integration of the second integral by − ∂D− :
1 Z ∞ σ2 Z (1) ikx−ω1t (1) 1 ikx−ω1t v (x, t) = e vˆ0 (k) dk − e (ikg0(ω1, t) + g1(ω1, t)) dk. (2.13) 2π −∞ 2π ∂D− Proceeding similarly on the right, starting from (2.10), we have
!! γ(1) − γ(2) x 1 Z ∞ v(2)(x, t) = 1 − erf + eikx−ω2tvˆ(2)(k) dk 2 p 2 2π 0 2 σ2t −∞ 1 Z ∞ ikx−ω2t 2 2 − e (ikσ2g0(ω2, t) + σ1g1(ω2, t)) dk, 2π −∞ !! (2.14) γ(1) − γ(2) x 1 Z ∞ = 1 − erf + eikx−ω2tvˆ(2)(k) dk 2 p 2 2π 0 2 σ2t −∞ 1 Z ikx−ω2t 2 2 − e (ikσ2g0(ω2, t) + σ1g1(ω2, t)) dk. 2π ∂D+ z √2 R 2 for x > 0 and t > 0. Here erf(·) denotes the error function: erf(z) = π 0 exp(−y ) dy. To obtain the second equality above we integrated the terms that are explicit. The expressions (2.13) and (2.14) for v(1)(x, t) and v(2)(x, t) depend on the unknown functions g0 and g1, evaluated at different arguments. These functions need to be expressed 2.1. TWO SEMI-INFINITE DOMAINS 19
in terms of known quantities. To obtain a system of two equations for the two unknown functions we use (2.9) and (2.10) for g0(ω1, t), and g1(ω1, t). This requires the transformation k → −σ1k/σ2 in (2.10). The − sign is required to ensure that both equations are valid on C−, allowing for their simultaneous solution. We find ω1t (1) (2) σ1 (1) (2) σ1 −σ1 e (ˆv (−k, t) +v ˆ k , t ) − vˆ0 (−k) − vˆ0 k 2 σ2 σ2 ikσ1g0(ω1, t) = σ1 + σ2 (2.15a) i(γ(1) − γ(2)) (1 − eω1t) + , k(σ1 + σ2)
ω1t (1) (2) σ1 (1) σ1 (1) e σ2vˆ (−k, t) − σ1vˆ k , t + σ1vˆ0 k − σ2vˆ0 (−k) 2 σ2 σ2 σ1g1(ω1, t) = σ1 + σ2 (2.15b) i(γ(1) − γ(2))(1 − eω1t) + , k(σ1 + σ2) valid for k ∈ C−. These expressions are substituted into (2.13). This results in an expression for v(1)(x, t) that appears to depend on v(1)(x, t) and v(2)(x, t) themselves. We examine the contribution of the terms involvingv ˆ(1)(·, t) andv ˆ(2)(·, t). We obtain for v(1)(x, t) the following expression:
!! σ (γ(2) − γ(1)) x v(1)(x, t) = 2 1 + erf σ + σ p 2 1 2 2 σ1t 1 Z ∞ ikx−ω1t (1) + e vˆ0 (k) dk 2π −∞ Z σ − σ 2 1 ikx−ω1t (1) + e vˆ0 (−k) dk ∂D− 2π(σ1 + σ2) (2.16) Z σ σ 1 ikx−ω1t (2) 1 − e vˆ0 k dk ∂D− π(σ1 + σ2) σ2 Z σ − σ + 1 2 eikxvˆ(1)(−k, t) dk ∂D− 2π(σ1 + σ2) Z σ σ + 1 eikxvˆ(3) k 1 , t dk, ∂D− π(σ1 + σ2) σ2 for x < 0, t > 0. The first four terms depend only on known functions. In the second-to- last term, notice that the integrand is analytic for all k ∈ C− and thatv ˆ(1)(−k, t) decays 20 CHAPTER 2
for k → ∞ for k ∈ C−. Thus, by Jordan’s Lemma, the integral of exp(ikx)ˆv(1)(−k, t) along a closed, bounded curve in C− vanishes. In particular we consider the closed curve − − − − − L = LD− ∪ LC where LD− = ∂D ∩ {k : |k| < C} and LC = {k ∈ D : |k| = C}, see Figure 1.3.
− Since the integral along LC vanishes for large C, the fourth integral on the right-hand side − of (2.16) must vanish since the contour LD− becomes ∂D as C → ∞. The uniform decay ofv ˆ(1)(−k, t) for large k is exactly the condition required for the integral to vanish, using Jordan’s Lemma. For the final integral in Equation (2.16) we use the fact thatv ˆ(2)(k σ1 , t) σ2 is analytic and bounded for k ∈ C−. Using the same argument as above, the fifth integral in (2.16) vanishes and we have an explicit representation for v(1)(x, t) in terms of initial conditions:
!! σ (γ(2) − γ(1)) x v(1)(x, t) = 2 1 + erf σ + σ p 2 1 2 2 σ1t 1 Z ∞ ikx−ω1t (1) + e vˆ0 (k) dk 2π −∞ (2.17) Z σ − σ 2 1 ikx−ω1t (1) + e vˆ0 (−k) dk ∂D− 2π(σ1 + σ2) Z σ σ 1 ikx−ω1t (2) 1 − e vˆ0 k dk. ∂D− π(σ1 + σ2) σ2
(2) To find an explicit expression for v (x, t) we need to evaluate g0 and g1 at different arguments, ensuring that the expressions are valid for k ∈ C+ \ D+. From (2.15a) and (2.15b), we find 2.1. TWO SEMI-INFINITE DOMAINS 21
ω2t (1) σ2 (2) (1) σ2 (2) σ2 e (ˆv (k , t) +v ˆ (−k, t)) − vˆ0 (k ) − vˆ0 (−k) 2 σ1 σ1 ikσ2g0(ω2, t) = σ1 + σ2 iσ (γ(1) − γ(2))(1 − eω2t) + 2 , k(σ1 + σ2) ω2t (1) σ2 (2) (2) (1) σ2 e σ2vˆ (k , t) − σ1vˆ (−k, t) + σ1vˆ0 (−k) − σ2vˆ0 (k ) 2 σ1 σ1 σ1g1(ω2, t) = σ1 + σ2 i(γ(1) − γ(2)) (1 − eω2t) − . k(σ1 + σ2)
Substituting these into equation (2.14), we obtain
(1) (2) !! Z ∞ σ1(γ − γ ) x 1 v(2)(x, t) = 1 − erf + eikx−ω2tvˆ(2)(k) dk σ + σ p 2 2π 0 1 2 2 σ2t −∞ Z σ − σ 2 1 ikx−ω2t (2) + e vˆ0 (−k) dk ∂D+ 2π(σ1 + σ2) Z σ σ 2 ikx−ω2t (1) 2 (2.18) + e vˆ0 k , t dk ∂D+ π(σ1 + σ2) σ1 Z σ − σ + 1 2 eikxvˆ(2)(−k, t) dk ∂D+ 2π(σ1 + σ2) Z σ σ − 2 eikxvˆ(1) k 2 , t dk. ∂D+ π(σ1 + σ2) σ1 for x > 0, t > 0. As before, everything about the first three integrals is known. To compute the fourth and fifth integral we proceed as we did for v(1)(x, t) and eliminate integrals that decay in the regions over which they are integrated. The final solution is
(1) (2) !! Z ∞ σ1(γ − γ ) x 1 v(2)(x, t) = 1 − erf + eikx−ω2tvˆ(2)(k) dk σ + σ p 2 2π 0 1 2 2 σ2t −∞ Z σ2 − σ1 ikx−ω2t (2) (2.19) + e v0 (−k) dk ∂D+ 2π(σ1 + σ2) Z σ σ 2 ikx−ω2t (1) 2 + e v0 k dk. ∂D+ π(σ1 + σ2) σ1 22 CHAPTER 2
Returning to the original variables we have the following proposition which determines u(2)(x, t) and u(1)(x, t) fully explicitly in terms of the given initial conditions and the pre- scribed asymptotic conditions as |x| → ∞.
Proposition 2.1. The solution of the heat transfer problem (2.2)-(2.5) is given by
(2) (1) !! Z ∞ σ2(γ − γ ) x 1 u(1)(x, t) =γ(1) + 1 − erf + eikx−ω1tvˆ(1)(k) dk σ + σ p 2 2π 0 1 2 2 σ1t −∞ Z σ2 − σ1 ikx−ω1t (1) (2.20a) + e vˆ0 (−k) dk ∂D− 2π(σ1 + σ2) Z σ σ 1 ikx−ω1t (2) 1 − e vˆ0 k dk, ∂D− π(σ1 + σ2) σ2
(1) (2) !! Z ∞ σ1(γ − γ ) x 1 u(2)(x, t) =γ(2) + 1 − erf + eikx−ω2tvˆ(2)(k) dk σ + σ p 2 2π 0 1 2 2 σ2t −∞ Z σ − σ 2 1 ikx−ω2t (2) (2.20b) + e v0 (−k) dk ∂D+ 2π(σ1 + σ2) Z σ σ 2 ikx−ω2t (1) 2 + e v0 (k ) dk. ∂D+ π(σ1 + σ2) σ1
Remarks:
• The use of the discrete symmetries of the dispersion relation is an important aspect of the Fokas Method. When solving the heat equation in a single medium, the only discrete symmetry required is k → −k, which was used here as well to obtain (2.9) and (2.11). Due to the two media, there are two dispersion relations in the present prob-
2 2 lem: ω1(k) = (σ1k) and ω2(k) = (σ2k) . The collection of both dispersion relations
{ω1(k), ω2(k)} retains the discrete symmetry k → −k, but admits two additional ones, namely: k → ( σ2 )k and k → ( σ1 )k, which transform the two dispersion relations to σ1 σ2
each other. All nontrivial discrete symmetries of {ω1(k), ω2(k)} are needed to derive the final solution representation, and indeed they are used e.g. to obtain the relations (2.15a) and (2.15b). 2.1. TWO SEMI-INFINITE DOMAINS 23
(1) (2) • With σ1 = σ2 and γ = γ = 0, the solution formulae (2.20) in their proper x- domains of definition reduce to the solution of the whole line problem as given in [25].
• Classical approaches to the problem presented in this section can be found in the literature, for the case γ(1) = 0 = γ(2). For instance, for one special pair of initial conditions, a solution is presented in [33]. No explicit solution formulae using classical methods with general initial conditions exist to our knowledge. At best, one is left with having to find the solution of an equation involving inverse Laplace transforms, where the unknowns are embedded within these inverse transforms.
• The steady-state solution to (2.2) with initial conditions which decay sufficiently fast to the boundary values (2.4) at ±∞ is easily obtained by letting t → ∞ in (2.20).
(2) (1) (1) (2) This gives limt→∞ u (x, t) = limt→∞ u (x, t) = (γ σ1 + γ σ2)/(σ1 + σ2). This is
the weighted average of the boundary conditions at infinity with weights given by σ1 (1) (2) and σ2. This is consistent with the steady state limit (γ + γ )/2 for the whole-line problem with initial conditions that limit to different values γ(1) and γ(2) as x → ±∞. This result is easily obtained from the solution of the heat equation defined on the whole line using the Fokas Method, but it can also be observed by employing piecewise- constant initial data in the classical Green’s function solution, as described in Theorem 4-1 on page 171 (and comments thereafter) of [32]. It should be emphasized that the steady state problem for (2.2)-(2.5) (or even for the heat equation defined on the whole line with different boundary conditions at +∞ and −∞) is ill posed in the sense that the steady solution cannot satisfy the boundary conditions.
Using a slight variation on the method presented in [20] one can compute the solutions (2.20) numerically with specified initial conditions. We plot solutions for the case of vanishing boundary conditions (γ(1) = γ(2) = 0) with
(1) 2 2 c1x u0 (x) = x e , (2) 2 2 −c2x u0 (x) = x e , 24 CHAPTER 2
where c1 = 25 and c2 = 30 in Figure 2.3. The Fourier transforms of these initial conditions may be computed explicitly. We choose σ1 = .02 and σ2 = .06. The initial conditions are chosen so as to satisfy the interface boundary conditions (2.5) at t = 0. The results clearly illustrate the discontinuity in the first derivative of the temperature at the interface x = 0.
2.2 Two finite domains
Next, we consider the problem of heat conduction through two walls of finite width (or of two finite rods) with Robin boundary conditions. We seek two functions:
(1) u (x, t), − x0 < x < x1, t ≥ 0, and
(2) u (x, t), x1 < x < x2, t ≥ 0, satisfying the equations
(1) 2 (1) ut (x, t) =σ1uxx (x, t), −x0 < x < x1, t > 0, (2.21a)
(2) 2 (2) ut (x, t) =σ2uxx (x, t), x1 < x < x2, t > 0, (2.21b) the initial conditions
(1) (1) u (x, 0) =u0 (x), −x0 < x < x1, (2.22a)
(2) (2) u (x, 0) =u0 (x), x1 < x < x2, (2.22b) the boundary conditions
(1) (1) f1(t) =β1u (−x0, t) + β2ux (−x0, t), t > 0, (2.23a)
(2) (2) f2(t) =β3u (x2, t) + β4ux (x2, t), t > 0, (2.23b) 2.2. TWO FINITE DOMAINS 25
u(x,t)
5E-7 t
-0.01 0 0.01 x
u(x,t)
0.02
-0.01 0.01
0
0.01 x u(x,t)
5E-7 0.01
-0.01 t 0 x 0.01
(1) 2 (25)2x (2) Figure 2.3: Results for the solution (2.17) and (2.19) with u0 (x) = x e , u0 (x) = 2 −(30)2x (1) (2) x e and σ1 = .02, σ2 = .06, γ = γ = 0, t ∈ [0, 0.02] using the hybrid analytical- numerical method of [20]. 26 CHAPTER 2
and the continuity conditions
(1) (2) u (x1, t) =u (x1, t), t > 0, (2.24a)
2 (1) 2 (2) σ1ux (x1, t) =σ2ux (x1, t), t > 0, (2.24b)
as illustrated in Figure 2.4, where x0 and x2 are positive, x1 = 0, and βi, 1 ≤ i ≤ 4 are constants. If β1 = β3 = 0 then Neumann boundary conditions are prescribed, whereas if
β2 = β4 = 0 then Dirichlet conditions are given.
(1) 2 (1) (2) 2 (2) ut = σ1uxx ut = σ2uxx x
−x0 x1 = 0 x2
Figure 2.4: The heat equation for two finite domains.
As before we have the local relations
−ikx+ω1t (1) 2 −ikx+ω1t (1) (1) (e u (x, t))t = (σ1e (ux (x, t) + iku (x, t)))x,
−ikx+ω2t (2) 2 −ikx+ω2t (2) (2) (e u (x, t))t = (σ2e (ux (x, t) + iku (x, t)))x,
2 where ωj = (σjk) . We define the time transforms of the initial and boundary data and the 2.2. TWO FINITE DOMAINS 27
spatial transforms of u for k ∈ C as follows:
Z 0 Z 0 (1) −ikx (1) (1) −ikx (1) uˆ0 (k) = e u0 (x) dx, uˆ (k, t) = e u (x, t) dx, −x0 −x0 Z x2 Z x2 (2) −ikx (2) (2) −ikx (2) uˆ0 (k) = e u0 (x) dx, uˆ (k, t) = e u (x, t) dx, 0 0 Z t Z t ˜ ωs ˜ ωs f1(ω, t) = e f1(s) ds, f2(ω, t) = e f2(s) ds, 0 0 Z t Z t (1) ωs (1) (1) ωs (1) h1 (ω, t) = e ux (−x0, s) ds, h0 (ω, t) = e u (−x0, s) ds, 0 0 Z t Z t (2) ωs (2) (2) ωs (2) h1 (ω, t) = e ux (x2, s) ds, h0 (ω, t) = e u (x2, s) ds, 0 0 Z t 2 Z t ωs (1) σ2 ωs (2) g1(ω, t) = e ux (0, s) ds = 2 e ux (0, s) ds, 0 σ1 0 Z t Z t ωs (1) ωs (2) g0(ω, t) = e u (0, s) ds = e u (0, s) ds. 0 0
Using Green’s Theorem on the domains [−x0, 0]×[0, t] and [0, x2]×[0, t] respectively (see Figure 2.5, we have the global relations
s
t
x −x 0 x1 = 0 x2
Figure 2.5: Domains for the application of Green’s Theorem in the case of two finite rods. 28 CHAPTER 2
ω1t (1) 2 ikx0 2 (1) (1) e uˆ (k, t) =σ1 (g1(ω1, t) + ikg0(ω1, t)) − e σ1 h1 (ω1, t) + ikh0 (ω1, t) (2.26a) (1) +u ˆ0 (k),
ω2t (2) −ikx2 2 (2) (2) 2 2 e uˆ (k, t) =e σ2 h1 (ω2, t) + ikh0 (ω2, t) − σ1g1(ω2, t) − ikσ2g0(ω2, t) (2.26b) (2) +u ˆ0 (k).
Both equations are valid for all k ∈ C, in contrast to (2.8) and (2.10). Using the invariance 2 2 of ω1(k) = (σ1k) and ω2(k) = (σ2k) under k → −k we obtain
ω1t (1) 2 −ikx0 2 (1) (1) e uˆ (−k, t) =σ1 (g1(ω1, t) − ikg0(ω1, t)) − e σ1 h1 (ω1, t) − ikh0 (ω1, t) (2.27a) (1) +u ˆ0 (−k),
ω2t (2) ikx2 2 (2) (2) 2 2 e uˆ (−k, t) =e σ2 h1 (ω2, t) − ikh0 (ω2, t) − σ1g1(ω2, t) + ikσ2g0(ω2, t) (2.27b) (2) +u ˆ0 (−k). As in Section 2.1 we need to use all the symmetries of the set of dispersion relations. Using the symmetries k → k σ1 and k → k σ2 we have σ2 σ1
σ σ2 ω2t (1) 2 ikx0 σ 2 (1) (1) e uˆ k , t = − e 1 σ1h1 (ω2, t) + ikσ1σ2h0 (ω2, t) σ1 (2.28a) 2 (1) σ2 + σ1g1(ω2, t) + ikσ1σ2g0(ω2, t) +u ˆ0 k , σ1
σ σ1 ω1t (2) 1 −ikx2 σ 2 (2) (2) e uˆ k , t =e 2 σ2h1 (ω1, t) + ikσ1σ2h0 (ω1, t) σ2 (2.28b) 2 (2) − σ1g1(ω1, t) − ikσ1σ2g0(ω1, t) +u ˆ0 (k),
σ σ2 ω2t (1) 2 −ikx0 σ 2 (1) (1) e uˆ −k , t = − e 1 σ1h1 (ω2, t) − ikσ1σ2h0 (ω2, t) σ1 (2.28c) 2 (1) σ2 + σ1g1(ω2, t) − ikσ1σ2g0(ω2, t) +u ˆ0 −k , σ1 2.2. TWO FINITE DOMAINS 29
σ σ1 ω1t (2) 1 ikx2 σ 2 (2) (2) e uˆ −k , t =e 2 σ2h1 (ω1, t) − ikσ1σ2h0 (ω1, t) σ2 (2.28d) 2 (2) σ1 − σ1g1(ω1, t) + ikσ1σ2g0(ω1, t) +u ˆ0 −k . σ2 Inverting the Fourier transform in (2.26a) we have,
1 Z ∞ (1) ikx−ω1t 2 u (x, t) = e σ1(g1(ω1, t) + ikg0(ω1, t)) dk 2π −∞ 1 Z ∞ ik(x0+x)−ω1t 2 (1) (1) − e σ1(h1 (ω1, t) + ikh0 (ω1, t)) dk 2π −∞ 1 Z ∞ ikx−ω1t (1) + e uˆ0 (k) dk. 2π −∞
The integrand of the first integral is entire and decays as k → ∞ for k ∈ C− \ D−. The second integral has an integrand that is entire and decays as k → ∞ for k ∈ C+ \ D+. It is convenient to deform both contours away from k = 0 to avoid singularities in the integrands that become apparent in what follows. Initially, these singularities are removable, since the integrands are entire. Writing integrals of sums as sums of integrals, the singularities may cease to be removable. With the deformations away from k = 0, the apparent singularities
+ + − − are no cause for concern. In other words, we deform D to DR and D to DR as show in Figure 2.6 where
± ± DR = {k ∈ D : |k| > R}, and R > 0 is an arbitrary constant. An appropriate (sufficiently large) value of this constant may be chosen for any individual problem. Thus −1 Z (1) ikx−ω1t 2 u (x, t) = e σ1(g1(ω1, t) + ikg0(ω1, t)) dk 2π − ∂DR 1 Z ik(x0+x)−ω1t 2 (1) (1) − e σ1(h1 (ω1, t) + ikh0 (ω1, t)) dk (2.29) 2π + ∂DR 1 Z ∞ ikx−ω1t (1) + e uˆ0 (k) dk. 2π −∞ To obtain the solution on the right we apply the inverse Fourier transform to (2.26b): 30 CHAPTER 2
Im(k)
+ DR
R Re(k)
− DR
Figure 2.6: Deformation of the contours in Figure 1.2 for |k| > R. 2.2. TWO FINITE DOMAINS 31
1 Z ∞ (2) ik(x−x2)−ω2t 2 (2) (2) u (x, t) = e σ2(h1 (ω2, t) + ikh0 (ω2, t)) dk 2π −∞ 1 Z ∞ ikx−ω2t 2 2 − e (ikσ2g0(ω2, t) + σ1g1(ω2, t)) dk 2π −∞ 1 Z ∞ ikx−ω2t (2) + e uˆ0 (k) dk. 2π −∞
The integrand of the first integral is entire and decays as k → ∞ for k ∈ C− \ D−. The second integral has an integrand that is entire and decays as k → ∞ for k ∈ C+ \ D+. We deform the contours as above to obtain
−1 Z (2) ik(x−x2)−ω2t 2 (2) (2) u (x, t) = e σ2(h1 (ω2, t) + ikh0 (ω2, t)) dk 2π − ∂DR 1 Z ikx−ω2t 2 2 − e (ikσ2g0(ω2, t) + σ1g1(ω2, t)) dk (2.30) 2π + ∂DR 1 Z ∞ ikx−ω2t (2) + e uˆ0 (k) dk. 2π −∞ Taking the time transform of the boundary conditions and evaluating at the appropriate arguments results in
˜ (1) (1) f1(ω1, t) = β1h0 (ω1, t) + β2h1 (ω1, t), and
˜ (2) (2) f2(ω2, t) = β3h0 (ω2, t) + β4h1 (ω2, t).
These two equations together with (2.26), (2.27) and (2.28) may be solved for the neces- (1) (2) (1) (2) sary unknowns h0 (ω1, t), h0 (ω2, t), h1 (ω1, t), h1 (ω2, t), g0(ω1, t), g1(ω1, t), g0(ω2, t), and g1(ω2, t). The resulting expressions are substituted in (2.29) and (2.30). Although we could solve this problem in its full generality, we restrict ourselves to the case of Dirichlet boundary conditions (β2 = β4 = 0, β1 = β3 = 1), to simplify the already cumbersome formulae below. The system is not solvable if ∆1(k) = 0 or ∆2(k) = 0, where 32 CHAPTER 2
σ1 σ1 2ikx0 2ikx2 σ 2ikx0 2ikx2 σ ∆1(k) =2π σ1(e + 1) e 2 − 1 + σ2(e − 1) e 2 + 1 σ1 σ 2ikx0 2ikx2 σ 1 = 2iπ e + 1 e 2 + 1 σ1 tan x2k + σ2 tan(kx0) , σ2 and σ2 ∆2(k) =∆1 k . σ1
It is easily seen that all values of k satisfying either of these equations (including k = 0) are on the real line. Thus, on the contours we consider, the equations are solved without problem, resulting in the expressions below. As before, the right-hand sides of these expressions involve uˆ(1)(·, t) andu ˆ(2)(·, t). All terms with such dependence are written out explicitly below. Terms that depend on known quantities only are contained in K(1) and K(2), the expressions for which are given later.
σ1 ikx ik(x+2x2 ) Z e (σ + σ ) + e σ2 (σ − σ ) u(1)(x, t) = K(1) + 1 2 2 1 uˆ(1)(k, t) dk − ∆1(k) ∂DR σ1 ik(x+2x ) ik(x+2x0+2x2 ) Z e 0 (σ + σ ) + e σ2 (σ − σ ) − 1 2 1 2 uˆ(1)(−k, t) dk − ∆1(k) ∂DR σ1 ik(x+2x0+2x2 ) Z 2σ e σ2 σ + 1 uˆ(2) k 1 , t dk − ∆1(k) σ2 ∂DR Z σ eik(x+2x0) σ − 1 uˆ(2) −k 1 , t dk − ∆1(k) σ2 ∂DR σ1 (2.31) ik(x+2x ) ik(x+2x0+2x2 ) Z e 0 (σ − σ ) + e σ2 (σ + σ ) + 2 1 1 2 uˆ(1)(k, t) dk + ∆1(k) ∂DR σ1 ik(x+2x ) ik(x+2x0+2x2 ) Z e 0 − (σ + σ ) + e σ2 (σ − σ ) + 2 1 1 2 uˆ(1)(−k, t) dk + ∆1(k) ∂DR σ1 ik(x+2x0+2x2 ) Z 2σ e σ2 σ + 1 uˆ(2) k 1 , t dk + ∆1(k) σ2 ∂DR Z 2σ eik(x+2x0) σ − 1 uˆ(2) −k 1 , t dk, + ∆1(k) σ2 ∂DR 2.2. TWO FINITE DOMAINS 33
and
Z 2σ eikx σ u(2)(x, t) =K(2) + 2 uˆ(1) k 2 , t dk + ∆2(k) σ1 ∂DR σ2 ik(x+2x0 ) Z 2σ e σ1 σ − 2 uˆ(1) −k 2 , t dk + ∆2(k) σ1 ∂DR σ2 ikx+2x ) ik(x+2x2+2x0 ) Z e 2 (σ − σ ) + e σ1 (σ + σ ) + 1 2 1 2 uˆ(2)(k, t) dk + ∆2(k) ∂DR σ2 ikx ik(x+2x0 ) Z e (σ − σ ) − e σ1 (σ + σ ) + 2 1 1 2 uˆ(2)(−k, t) dk ∂D+ ∆2(k) R (2.32) Z 2σ eikx σ + 2 uˆ(1) k 2 , t dk − ∆2(k) σ1 ∂DR σ2 ik(x+2x0 ) Z σ e σ1 σ − 2 uˆ(1) −k 2 , t dk − ∆2(k) σ1 ∂DR σ2 ikx) ik(x+2x0 ) Z e (σ + σ ) + e σ1 (σ − σ ) + 1 2 1 2 uˆ(2)(k, t) dk − ∆2(k) ∂DR σ2 ikx ik(x+2x0 ) Z e (σ − σ ) − e σ1 (σ + σ ) + 2 1 1 2 uˆ(2)(−k, t) dk. − ∆2(k) ∂DR
The integrands written explicitly in (2.31) and (2.32) decay in the regions around whose boundaries they are integrated. Thus, using Jordan’s Lemma and Cauchy’s Theorem, these integrals are shown to vanish. Thus the final solution is given by K(1) and K(2). 34 CHAPTER 2
Proposition 2.2. The solution of the heat transfer problem (2.21)-(2.24) is given by
Z ∞ (1) (1) ikx−ω1t (1) u (x, t) =K = e uˆ0 (k) dk −∞ ik(x+2x +x σ1 )−ω t Z 2 0 2 σ 1 −4ikσ1σ2e 2 ˜ + f2(ω1, t) dk − ∆1(k) ∂DR ik(x+x +2x σ1 )−ω t Z 2 ik(x+x0)−ω1t 2 0 2 σ 1 2ikσ1e (σ1 + σ2) − ikσ1e 2 (σ1 − σ2) ˜ + f1(ω1, t) dk − ∆1(k) ∂DR ik(x+2x σ1 )−ω t Z ikx−ω1t 2 σ 1 −e (σ1 + σ2) + e 2 (σ1 − σ2) (1) + uˆ0 (k) dk − ∆1(k) ∂DR ik(x+2x +2x σ1 )−ω t Z ik(x+2x0)−ω1t 0 2 σ 1 e (σ1 + σ2) + e 2 (σ2 − σ1) (1) + uˆ0 (−k) dk − ∆1(k) ∂DR ik(x+2x +2x σ1 )−ω t Z 0 2 σ 1 −2σ1e 2 (2) σ1 + uˆ0 k dk − ∆1(k) σ2 ∂DR Z ik(x+2x0)−ω1t σ1e (2) σ1 + uˆ0 −k dk − ∆1(k) σ2 ∂DR ik(x+x +2x σ1 )−ω t Z 2 ik(x+x0)−ω1t 2 0 2 σ 1 2ikσ1e (σ1 + σ2) − ikσ1e 2 (σ1 − σ2) ˜ + f1(ω1, t) dk + ∆1(k) ∂DR ik(x+2x +x σ1 )−ω t Z 2 0 2 σ 1 −4ikσ1σ2e 2 (1 + σ1σ2) ˜ + f2(ω1, t) dk + ∆1(k) ∂DR ik(x+2x +2x σ1 )−ω t Z ik(x+2x0)−ω1t 0 2 σ 1 −e (σ2 − σ1) − e 2 (σ1 + σ2) (1) + uˆ0 (k) dk + ∆1(k) ∂DR ik(x+2x +2x σ1 )−ω t Z ik(x+2x0)−ω1t 0 2 σ 1 e (σ1 + σ3) + e 3 (σ3 − σ1) (1) + uˆ0 (−k) dk + ∆1(k) ∂DR ik(x+2x +2x σ1 )−ω t Z 0 2 σ 1 −2σ1e 2 (2) σ1 + uˆ0 k dk + ∆1(k) σ2 ∂DR Z ik(x+2x0)−ω1t 2σ1e (2) σ1 + uˆ0 −k dk, + ∆1(k) σ2 ∂DR (2.33) 2.2. TWO FINITE DOMAINS 35
for −x0 < x < 0, and, for 0 < x < x2
Z ∞ (2) (2) ikx−ω2t (2) u (x, t) =K = e uˆ0 (k) dk −∞ ik(x+x σ2 )−ω t Z 2 0 σ 2 4ikσ1σ2e 1 ˜ + f1(ωw, t) dk − ∆2(k) ∂DR ik(x+x +2x σ2 )−ω t Z 2 ik(x+x2)−ω2t 2 2 0 σ 2 2ikσ2e (σ1 −σ2) − ikσ2e 1 ˜ − f2(ω2, t) dk − ∆2(k) ∂DR Z ikx−ω2t 2σ2e (1) σ2 − uˆ0 k dk − ∆2(k) σ1 ∂DR ik(x+2x σ2 )−ω t Z 0 σ 2 σ2e 1 (1) σ2 + uˆ0 −k dk − ∆2(k) σ1 ∂DR ik(x+2x +2x σ2 )−ω t Z ik(x+2x2)−ω2t 2 0 σ 2 −e (σ1 − σ2) − e 1 (σ1 + σ2) (2) + uˆ0 (k) dk − ∆2(k) ∂DR ik(x+2x σ2 )−ω t Z ikx−ω2t 0 σ 2 e (σ1 − σ2) + e 1 (σ1 + σ2) (2) + uˆ0 (−k) dk − 2∆2(k) ∂DR ik(x+x σ2 )−ω t Z 2 0 σ 2 4ikσ1σ2e 1 ˜ + f1(ω2, t) dk + ∆2(k) ∂DR ik(x+x +2x σ2 )−ω t Z ik(x+x2)−ω2t 2 2 0 σ 2 2ikσ2e (σ1 −σ2)+ikσ2e 1 (σ1 +σ2) ˜ − f2(ω2, t)dk + ∆2(k) ∂DR Z ikx−ω2t −2σ2e (1) σ2 + uˆ0 k dk + ∆2(k) σ1 ∂DR ik(x+2x σ2 )−ω t Z 0 σ 2 2σ2e 1 (1) σ2 + uˆ0 −k dk + ∆2(k) σ1 ∂DR ik(x+2x σ2 )−ω t Z ikx−ω2t 0 σ 2 −e (σ1 + σ2) + e 1 (σ2 − σ1) (2) + uˆ0 (k) dk + ∆2(k) ∂DR ik(x+2x σ2 )−ω t Z ikx−ω2t 0 σ 2 e (σ1 − σ2) + e 1 (σ1 + σ2) (2) + uˆ0 (−k) dk. + ∆2(k) ∂DR (2.34)
Remarks: 36 CHAPTER 2
• The solution of the problem posed in (2.21)-(2.24) may be obtained using the classical method of separation of variables and superposition, see [33]. The solutions u(1)(x, t) and u(2)(x, t) are given by series of eigenfunctions with eigenvalues that satisfy a tran-
scendental equation, closely related to the equation ∆1(k) = 0. This series solution − + may be obtained from Proposition 2.2 by deforming the contours along ∂DR and ∂DR
to the real line, including small semi-circles around each root of either ∆1(k) or ∆2(k), depending on whether u(1)(x, t) or u(2)(x, t) is being calculated. Indeed, this is allowed since all integrands decay in the wedges between these contours and the real line, and
the zeros of ∆1(k) and ∆2(k) occur only on the real line, as stated above. Careful calculation of all different contributions, following the examples in [15, 25], shows that the contributions along the real line cancel, leaving only residue contributions from the small circles. Each residue contribution corresponds to a term in the classical series solution. It is not necessarily beneficial to leave the form of the solution in Propo-
sition 2.2 for the series representation, as the latter depends on the roots of ∆1(k)
and ∆2(k), which are not known explicitly. In contrast, the representation of Propo- sition 2.2 depends on known quantities only and may be readily computed, using a
− + parameterization of the contours ∂DR and ∂DR.
• Similarly, the familiar piecewise linear steady-state solution of (2.21)-(2.24) with Dirich- let boundary conditions [33] can be observed from (2.33) and (2.34) by choosing initial
(1) conditions that decay appropriately and constant boundary conditions f1(t) = γ and (2) f2(t) = γ . It is convenient to choose zero initial conditions, since the initial condi- tions do not affect the steady state. As above, the contours are deformed so that they
are along the real line with semi-circular paths around the zeros of ∆1(k) and ∆2(k), + including k = 0. Since one of these deformations arises from DR while the other comes − from DR, the contributions along the real line cancel each other, while the semi-circles
add to give full residue contributions from the poles associated with the zeros of ∆1(k). All such residues vanish as t → ∞, except at k = 0. It follows that the steady state 2.2. TWO FINITE DOMAINS 37
behavior is determined by the residue at the origin. This results in
2 (2) (1) (1) 2 (2) 2 (1) σ2(γ − γ ) x2γ σ1 + x0γ σ2 u (x, t) = 2 2 x + 2 2 , − x0 < x < 0, x2σ1 + x0σ2 x2σ1 + x0σ2 2 (2) (1) (1) 2 (2) 2 (2) σ1(γ − γ ) x2γ σ1 + x0γ σ2 u (x, t) = 2 2 x + 2 2 , 0 < x < x2, x2σ1 + x0σ2 x2σ1 + x0σ2
which is piecewise linear and continuous.
• A more direct way to recover only the steady-state solution to (2.21) with limt→∞ f1(t) = ¯ ¯ f1 and limt→∞ f2(t) = f2 constant is to write the solution as the superposition of two parts: u(1)(x, t) =u ¯(1)(x) +u ˇ(1)(x, t) and u(2)(x, t) =u ¯(2)(x) +u ˇ(2)(x, t). The first partsu ¯(1) andu ¯(2) satisfy the boundary conditions as t → ∞ and the stationary heat equation. In other words
2 (1) 0 =σ1u¯xx (x), − x0 < x < 0,
2 (2) 0 =σ2u¯xx (x), 0 < x < x2, ¯ (1) (1) f1 =β1u¯ (−x0) + β2u¯x (−x0), ¯ (2) (2) f2 =β3u¯ (x2) + β4u¯x (x2).
A piecewise linear ansatz with the imposition of the interface conditions results in linear algebra for the unknown coefficients, see [33]. With the steady state solution in hand, the second (time-dependent) partsu ˇ(1) andu ˇ(2) satisfy the initial conditions modified by the steady state solution and the boundary conditions minus their value as t → ∞: 38 CHAPTER 2
(1) 2 (1) uˇt (x, t) =σ1uˇxx (x, t), x0 < x < 0, t > 0,
(2) 2 (2) uˇt (x, t) =σ2uˇxx (x, t), 0 < x < x2, t > 0,
(1) (1) (1) uˇ (x, 0) =u (x, 0) − u¯ (x), − x0 < x < 0,
(2) (2) (2) uˇ (x, 0) =u (x, 0) − u¯ (x), 0 < x < x2, ¯ (1) (1) f1(t) − f1 =β1uˇ (−x0, t) + β2uˇx (−x0, t), t > 0, ¯ (2) (2) f2(t) − f2 =β3uˇ (x2, t) + β4uˇx (x2, t), t > 0,
where, as usual, we impose continuity of temperature and heat flux at the interface x = 0. The dynamics of the solution is described byu ˇ(1) andu ˇ(2), both of which decay to zero as t → ∞. Their explicit form is easily found using the method described in this section.
2.3 An infinite domain with three layers
In this section we consider the heat equation defined on two semi-infinite rods enclosing a single rod of length 2x0. That is, we seek three functions
(1) u (x, t), x < −x0, t ≥ 0,
(2) u (x, t), −x0 (3) u (x, t), x > x0, t ≥ 0, satisfying the equations (1) 2 (1) ut (x, t) =σ1uxx (x, t), x < −x0, t > 0, (2.35a) (2) 2 (2) ut (x, t) =σ2uxx (x, t), −x0 (3) 2 (3) ut (x, t) =σ3uxx (x, t), x > x0, t > 0, (2.35c) 2.3. AN INFINITE DOMAIN WITH THREE LAYERS 39 the initial conditions (1) (1) ut (x, 0) =u0 (x), x < −x0, (2.36a) (2) (2) ut (x, 0) =u0 (x), −x0 the asymptotic conditions (1) lim ut (x, t) =0, t ≥ 0, (2.37a) x→−∞ (3) lim ut (x, t) =0, t ≥ 0, (2.37b) x→∞ and the continuity conditions (1) (2) u (−x0, t) = u (−x0, t), t ≥ 0, (2.38a) (2) (3) u (x0, t) = u (x0, t), t ≥ 0, (2.38b) 2 (1) 2 (2) σ1ux (−x0, t) = σ2ux (−x0, t), t ≥ 0, (2.38c) 2 (2) 2 (3) σ2ux (x0, t) = σ3ux (x0, t), t ≥ 0, (2.38d) as in Figure 2.7. (1) 2 (1) (2) 2 (2) (3) 2 (3) ut = σ1uxx ut = σ2uxx ut = σ3uxx x −∞ −x0 x0 ∞ Figure 2.7: The heat equation for an infinite domain with three layers. 40 CHAPTER 2 After defining the transforms Z −x0 Z −x0 (1) −ikx (1) (1) −ikx (1) uˆ0 (k) = e u0 (x) dx, uˆ (k, t) = e u (x, t) dx, −∞ −∞ Z x0 Z x0 (2) −ikx (2) (2) −ikx (2) uˆ0 (k) = e u0 (x) dx, uˆ (k) = e u (x, t) dx, −x0 −x0 Z ∞ Z ∞ (3) −ikx (3) (3) −ikx (3) uˆ0 (k) = e u0 (x) dx, uˆ (k, t) = e u (x, t) dx, x0 x0 Z t 2 Z t ωs (1) σ2 ωs (2) h1(ω, t) = e ux (−x0, s) ds = 2 e ux (−x0, s) ds, 0 σ1 0 Z t Z t ωs (1) ωs (2) h0(ω, t) = e u (−x0, s) ds = e u (−x0, s) ds, 0 0 Z t 2 Z t ωs (2) σ3 ωs (3) g1(ω, t) = e ux (x0, s) ds = 2 e ux (x0, s) ds, 0 σ2 0 Z t Z t ωs (2) ωs (3) g0(ω, t) = e u (x0, s) ds = e u (x0, s) ds, 0 0 we proceed as outlined in the preceding sections. The solution formulae are given in the following proposition: Proposition 2.3. The solution of the heat transfer problem (2.35)-(2.38) is 1 Z ∞ (1) ikx−ω1t (1) u (x, t) = e uˆ0 (k) dk 2π −∞ ik(x+x +3x σ1 )−ω t Z 0 0 σ 1 e 2 (2) kσ1 − σ1(σ2 + σ3) uˆ0 dk − ∆1(k) σ2 ∂DR ik(x+2x )−ω t Z e 0 1 σ1 4ikx0 σ (1) − (σ1 + σ2)(σ2 − σ3) + e 2 (σ1 − σ2)(σ2 + σ3) uˆ0 (−k) dk − 2∆1(k) ∂DR ik(x+x +x σ1 )−ω t Z 0 0 σ 1 e 2 (2) −kσ1 + σ1(σ3 − σ2) uˆ0 dk − ∆1(k) σ2 ∂DR ik(x+x +x σ1 +2x σ1 )−ω t Z 0 0 σ 0 σ 1 e 3 2 (3) kσ1 − 2σ1σ2 uˆ0 dk, − ∆1(k) σ3 ∂DR σ1 4ix0k σ for −∞ < x < −x0 with ∆1(k) = π (σ1 − σ2)(σ2 − σ3) + e 2 (σ1 + σ2)(σ2 + σ3) , 2.4. A FINITE DOMAIN WITH THREE LAYERS 41 1 Z ∞ (2) ikx−ω2t (2) u (x, t) = e uˆ0 (k) 2π −∞ σ2 ik(x+x0+x0 )−ω2t Z e σ1 −kσ − σ (σ − σ ) uˆ(1) 2 dk 2 2 3 σ2 0 − ∆1(k ) σ1 ∂DR σ1 (2) (σ − σ )(σ − σ ) Z eikx−ω2tuˆ (k) + 1 2 2 3 0 dk σ2 2 − ∆1(k ) ∂DR σ1 σ2 ik(x+x0−x0 )−ω2t Z e σ1 kσ + σ (σ + σ ) uˆ(1) 2 dk 2 2 3 σ2 0 + ∆3(k ) σ1 ∂DR σ3 σ2 ik(x+3x0+x0 )−ω2t Z e σ3 kσ − σ (σ + σ ) uˆ(3) 2 dk 2 1 2 σ2 0 − ∆1(k ) σ3 ∂DR σ1 (2) (σ + σ )(σ − σ ) Z eik(x+2x0)−ω2tuˆ (−k) − 1 2 2 3 0 dk σ2 2 − ∆1(k ) ∂DR σ1 (2) (σ − σ )(σ + σ ) Z eik(x+2x0)−ω2tuˆ (k) + 2 1 2 3 0 dk σ2 2 + ∆3(k ) ∂DR σ3 (2) (σ − σ )(σ − σ ) Z eik(x+4x0)−ω2tuˆ (−k) + 2 1 2 3 0 dk σ2 2 + ∆3(k ) ∂DR σ3 σ2 ik(x+3x0−x0 )−ω2t Z e σ3 −kσ + σ (σ − σ ) uˆ(3) 2 dk, 2 2 1 σ2 0 + ∆3(k ) σ3 ∂DR σ3 σ3 4ix0k σ for −x0 < x < x0 with ∆3(k) = π (σ1 + σ2)(σ2 + σ3) + e 2 (σ1 − σ2)(σ2 − σ3) . Lastly, (3) (1) the expression for u (x, t), valid for x > x0, is identical to that for u (x, t) with the − + replacements x0 ↔ −x0, (1) ↔ (2), and ∂DR ↔ −∂DR. 2.4 A finite domain with three layers In this section we consider the heat conduction problem in three rods of finite length. That is, we seek three functions (1) u (x, t), − x0 < x < 0, t ≥ 0, (2) u (x, t), 0 < x < x2, t ≥ 0, 42 CHAPTER 2 (3) u (x, t), x2 < x < x3, t ≥ 0, satisfying the equations (1) 2 (1) ut (x, t) =σ1uxx (x, t), −x0 < x < 0, t > 0, (2.39a) (2) 2 (2) ut (x, t) =σ2uxx (x, t), 0 < x < x2, t > 0, (2.39b) (3) 2 (3) ut (x, t) =σ3uxx (x, t), x2 < x < x3, t > 0, (2.39c) the initial conditions (1) (1) ut (x, 0) =u0 (x), −x0 < x < 0, (2.40a) (2) (2) ut (x, 0) =u0 (x), 0 < x < x2, (2.40b) (3) (3) ut (x, 0) =u0 (x), x2 < x < x3, (2.40c) the boundary conditions (1) (1) f1(t) =β1u (−x0, t) + β2ux (−x0, t), t > 0, (2.41a) (3) (3) f3(t) =β3u (x3, t) + β4ux (x3, t), t > 0, (2.41b) (2.41c) and the continuity conditions u(1)(0, t) =u(2)(0, t), t ≥ 0, (2.42a) (2) (3) u (x2, t) =u (x2, t), t ≥ 0, (2.42b) 2 (1) 2 (2) σ1ux (0, t) =σ2ux (0, t), t ≥ 0, (2.42c) 2 (2) 2 (3) σ2ux (x2, t) =σ3ux (x2, t), t ≥ 0, (2.42d) as in Figure 2.8. The solution process is as before, following the steps outlined in Section 2.3. For sim- plicity we assume Neumann boundary data (β1 = β3 = 0) and zero boundary conditions (f1(t) = f3(t) = 0). We define 2.4. A FINITE DOMAIN WITH THREE LAYERS 43 (1) 2 (1) (2) 2 (2) (3) 2 (3) ut = σ1uxx ut = σ2uxx ut = σ3uxx x −x0 0 x2 x3 Figure 2.8: The heat equation for three finite domains. Z 0 Z 0 (1) −ikx (1) (1) −ikx (1) uˆ0 (k) = e u0 (x) dx, uˆ (k, t) = e u (x, t) dx, −x0 −x0 Z x2 Z x2 (2) −ikx (2) (2) −ikx (2) uˆ0 (k) = e u0 (x) dx, uˆ (k) = e u (x, t) dx, 0 0 Z x3 Z x3 (3) −ikx (3) (3) −ikx (3) uˆ0 (k) = e u0 (x) dx, uˆ (k, t) = e u (x, t) dx, x2 x2 Z t Z t (1) ωs (1) (1) ωs (1) g1 (ω, t) = e ux (−x0, s) ds, g0 (ω, t) = e u (−x0, s) ds, 0 0 Z t 2 Z t (1) ωs (1) σ2 ωs (2) h1 (ω, t) = e ux (0, s) ds = 2 e ux (0, s) ds, 0 σ1 0 Z t Z t (1) ωs (1) ωs (2) h0 (ω, t) = e u (0, s) ds = e u (0, s) ds, 0 0 Z t 2 Z t (3) ωs (2) σ3 ωs (3) g1 (ω, t) = e ux (x2, s) ds = 2 e ux (x2, s) ds, 0 σ2 0 Z t Z t (3) ωs (2) ωs (3) g0 (ω, t) = e u (x2, s) ds = e u (x2, s) ds, 0 0 Z t Z t (3) ωs (3) (3) ωs (3) h1 (ω, t) = e ux (x3, s) ds, h0 (ω, t) = e u (x3, s) ds. 0 0 The solution is given by the following proposition. Proposition 2.4. The solution to the heat transfer problem (2.39)-(2.42) with β1 = β3 = 0 and f1(t) = f3(t) = 0 is 44 CHAPTER 2 1 Z ∞ (1) ikx−ω1t (1) u (x, t) = e uˆ0 (k) dk 2π −∞ ikx−ω t Z e 1 σ1 x3 x2 2ix2k σ 2ikσ1( σ + σ ) + e 3 (σ1 − σ2)(σ2 − σ3) + e 3 2 (σ1 + σ2)(σ2 − σ3) − 2∆1(k) ∂DR σ1 1 1 2ix3k σ 2ix2kσ1( σ + σ ) (1) + e 3 (σ1 − σ2)(σ2 + σ3) + e 3 2 (σ1 + σ2)(σ2 + σ3) uˆ0 (k) dk Z ik(x+2x0)−ω1t σ x x e 1 2ikσ 3 + 2 2ix2k σ 1 σ σ + e 3 (σ1 − σ2)(σ2 − σ3) + e 3 2 (σ1 + σ2)(σ2 − σ3) − 2∆1(k) ∂DR σ1 2ix kσ 1 + 1 2ix3k σ 2 1 σ σ (1) + e 3 (σ1 − σ2)(σ2 + σ3) + e 3 2 (σ1 + σ2)(σ2 + σ3) uˆ0 (−k) dk ik x+2x +x σ1 −ω t 0 2 σ 1 Z e 2 σ σ1 σ1 σ 1 2ix2k σ 2ix3k σ (2) 1 − e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 k dk − ∆1(k) σ2 ∂DR ik x+2x +x σ1 −ω t 0 2 σ 1 Z e 2 σ σ1 σ1 σ 1 2ix3k σ 2ix2k σ (2) 1 − e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 −k dk − ∆1(k) σ2 ∂DR Z 2σ σ σ1 σ1 σ1 σ 1 2 ik x+2x0+2x3 σ +x2 σ +x2 σ −ω1t (3) 1 + e 3 3 2 uˆ0 k dk − ∆1(k) σ2 ∂DR Z 2σ σ σ1 σ1 σ 1 2 ik x+2x0+x2 σ +x2 σ −ω1t (3) 1 + e 3 2 uˆ0 −k dk − ∆1(k) σ2 ∂DR Z ik(x+2x0)−ω1t x x σ e 2ikσ 3 + 2 1 1 σ σ 2ix2k σ + e 3 2 (σ1 − σ2)(σ2 − σ3) + e 3 (σ1 + σ2)(σ2 − σ3) + 2∆1(k) ∂DR 1 1 σ1 2ix2kσ1( σ + σ ) 2ix3k σ (1) + e 3 2 (σ1 − σ2)(σ2 + σ3) + e 3 (σ1 + σ2)(σ2 + σ3) uˆ0 (k) dk Z ik(x+2x0)−ω1t σ x x e 1 2ikσ 3 + 2 2ix2k σ 1 σ σ + e 3 (σ1 − σ2)(σ2 − σ3) + e 3 2 (σ1 + σ2)(σ2 − σ3) + 2∆1(k) ∂DR σ1 1 1 2ix3k σ 2ix2kσ1( σ + σ ) (1) + e 3 (σ1 − σ2)(σ2 + σ3) + e 3 2 (σ1 + σ2)(σ2 + σ3) uˆ0 (−k) dk ik x+2x +x σ1 −ω t 0 2 σ 1 Z e 2 σ σ1 σ1 σ 1 2ix2k σ 2ix3k σ (2) 1 − e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 k dk + ∆1(k) σ2 ∂DR ik x+2x +x σ1 −ω t 0 2 σ 1 Z e 2 σ σ1 σ1 σ 1 2ix3k σ 2ix2k σ (2) 1 − e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 −k dk + ∆1(k) σ2 ∂DR Z 2σ σ σ1 1 1 σ 1 2 ik x+2x0+2x3 σ +x2σ1 σ + σ −ω1t (3) 1 + e 3 3 2 uˆ0 k dk + ∆1(k) σ2 ∂DR Z 2σ σ 1 1 σ 1 2 ik x+2x0+x2σ1 σ + σ −ω1t (3) 1 + e 3 2 uˆ0 −k dk, + ∆1(k) σ2 ∂DR 2.4. A FINITE DOMAIN WITH THREE LAYERS 45 for −x0 < x < 0 with σ1 2ik x σ1 +x σ1 +x 2ix2k σ 3 σ 2 σ 0 ∆1(k) = π e 3 (σ1 − σ2)(σ2 − σ3) + e 3 2 (σ2 − σ1)(σ2 − σ3) x3 x2 σ1 2ikσ1 σ + σ 2ik x2 σ +x0 +e 3 2 (σ1 + σ2)(σ2 − σ3) + e 3 (σ1 + σ2)(σ3 − σ2) σ1 2ik x +x σ1 +x σ1 2ix3k σ 0 2 σ 2 σ +e 3 (σ1 − σ2)(σ2 + σ3) + e 3 2 (σ2 − σ1)(σ2 + σ3) σ1 σ1 σ1 2ix2k σ + σ 2ik x3 σ +x0 +e 3 2 (σ1 + σ2)(σ2 + σ3) − e 3 (σ1 + σ2)(σ2 + σ3) . Next, 46 CHAPTER 2 1 Z ∞ (2) ikx−ω2t (2) u (x, t) = e uˆ0 (k) dk 2π −∞ ik(x+x2)−ω2t Z −e σ σ2 σ2 σ 2 2ix3k σ 2ix2k σ (1) 2 + e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 k dk − ∆2(k) σ1 ∂DR ik x+x +2x σ2 −ω t 2 0 σ 2 Z −e 1 σ σ2 σ2 σ 2 2ix3k σ 2ix2k σ (1) 2 + e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 −k dk − ∆2(k) σ1 ∂DR ikx−ω t Z e 2 σ2 2ix0k σ − σ2 − σ1 + e 1 (σ1 + σ2) − 2∆2(k) ∂DR σ2 σ2 2ix2k σ 2ix3k σ (2) ∗ e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 (k) dk ikx−ω t Z e 2 σ2 2ix0k σ − σ2 − σ1 + e 1 (σ1 + σ2) − 2∆2(k) ∂DR σ2 σ2 2ix3k σ 2ix2k σ (2) ∗ e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 (−k) dk σ2 ik x+ (x2+2x3) −ω2t Z −e σ3 σ σ2 σ 2 2iak σ (3) 2 + σ2 − σ1 + e 1 (σ1 + σ2) uˆ0 (k ) dk − ∆2(k) σ3 ∂DR ik x+x σ2 −ω t 2 σ 2 Z −e 3 σ σ2 σ 2 2iak σ (3) 2 + σ2 − σ1 + e 1 (σ1 + σ2) uˆ0 −k dk − ∆2(k) σ3 ∂DR ik(x+x2)−ω2t Z −e σ σ2 σ2 σ 2 2ix3k σ 2ix2k σ (1) 2 + e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 k dk + ∆2(k) σ1 ∂DR ik x+x +2x σ2 −ω t 2 0 σ 2 Z e 1 σ σ2 σ2 σ 2 2ix3k σ 2ix2k σ (1) 2 − e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 −k dk + ∆2(k) σ1 ∂DR ik(x+2x )−ω t Z e 2 2 σ2 2ix0k σ − σ2 + σ1 + e 1 (σ2 − σ1) + 2∆2(k) ∂DR σ2 σ2 2ix3k σ 2ix2k σ (2) ∗ e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 (k) dk ikx−ω t Z e 2 σ2 2ix0k σ − σ2 − σ1 + e 1 (σ2 + σ1) + 2∆2(k) ∂DR σ2 σ2 2ix3k σ 2ix2k σ (2) ∗ e 3 (σ2 − σ3) + e 3 (σ2 + σ3) uˆ0 (−k) dk ik x+x σ2 +2x σ2 −ω t 2 σ 3 σ 2 Z −e 3 3 σ σ2 σ 2 2ix0k σ (3) 2 + σ2 − σ1 + e 1 (σ1 + σ2) uˆ0 k dk+ + ∆2(k) σ3 ∂DR σ2 ik(x+x2 σ )−ω2t Z −e 3 σ σ2 σ 2 2ix0k σ (3) 2 + σ2 − σ1 + e 1 (σ1 + σ2) uˆ0 −k dk, + ∆2(k) σ3 ∂DR 2.4. A FINITE DOMAIN WITH THREE LAYERS 47 for 0 < x < x2, with ik x σ2 +x +x σ2 σ2 0 σ 2 3 σ 2x2ik σ ∆2(k) = π e 1 3 (σ1 − σ2)(σ2 − σ3) + e 3 (σ2 − σ1)(σ2 − σ3) x2 x0 σ2 2ikσ2 σ + σ 2ik x3 σ +x2 +e 3 1 (σ1 + σ2)(σ2 − σ3) + e 3 (σ1 + σ2(σ3 − σ2) 2ik x σ2 +x σ2 +x σ2 0 σ 2 σ 2 2ix3k σ +e 1 3 (σ1 − σ2)(σ2 + σ3) + e 3 (σ2 − σ1)(σ2 + σ3) σ2 x3 x0 2ix2k σ +1 2ikσ2 σ + σ −e 3 (σ1 + σ2)(σ2 + σ3) + e 3 1 (σ1 + σ2)(σ2 + σ3) , and 48 CHAPTER 2 1 Z ∞ (3) ikx−ω3t (3) u (x, t) = e uˆ0 (k) dk 2π −∞ ik x+x +x σ3 −ω t Z 2 2 σ 3 −2e 2 (1) σ2 + σ2σ3uˆ0 k dk − ∆3(k) σ1 ∂DR ik x+x +x σ3 +2x σ3 −ω t Z 2 2 σ 0 σ 3 −2e 2 1 (1) σ2 + σ2σ3uˆ0 −k dk − ∆3(k) σ1 ∂DR ik x+x +x σ3 −ω t 2 2 σ 3 Z e 2 σ3 σ 2ix0k σ (2) 3 + σ1 + σ2 + e 1 (σ2 − σ1) uˆ0 k dk − ∆3(k) σ2 ∂DR ik(x+x2)−ω3t Z e σ3 σ 2ix0k σ (2) 3 + σ2 − σ1 + e 1 (σ2 + σ1) uˆ0 −k dk − ∆3(k) σ2 ∂DR ik(x+2x )−ω t Z e 2 3 σ3 2ix0k σ + (σ3 − σ2) σ1 − σ2 − e 1 (σ1 + σ2) − 2∆3(k) ∂DR σ3 σ3 2ix2k σ 2ix0k σ (3) −e 2 (σ2 + σ3) σ1 + σ2 + e 1 (σ2 − σ1) uˆ0 (k) dk ikx−ω t Z e 3 σ3 2ix0k σ + (σ3 + σ2) σ1 − σ2 − e 1 (σ1 + σ2) − 2∆3(k) ∂DR σ3 σ3 2ix2k σ 2iak σ (3) −e 2 (σ3 − σ2) σ1 + σ2 + e 1 (σ2 − σ1) uˆ0 (−k) dk ik(x+x +x σ3 )−ω t Z 2 2 σ 3 2e 2 (1) σ2 + σ2σ3uˆ0 k dk + ∆3(k) σ1 ∂DR ik(x+x +x σ3 +2x σ3 )−ω t Z 2 2 σ 0 σ 3 2e 2 1 (1) σ2 + σ2σ3uˆ0 −k dk + ∆3(k) σ1 ∂DR ik x+x +2x σ3 −ω t 2 2 σ 3 Z −e 2 σ σ3 σ 3 2ix0k σ (2) 3 + σ1 + σ2 + e 1 (σ2 − σ1) uˆ0 k dk + ∆3(k) σ2 ∂DR ik(x+x2)−ω3t Z e σ σ3 σ 3 2ix0k σ (2) 3 + σ2 − σ1 + e 1 (σ2 + σ1) uˆ0 −k dk + ∆3(k) σ2 ∂DR ik(x+2x )−ω t Z e 3 3 σ3 σ3 2ix2k σ 2ix0k σ + e 2 (σ3 − σ2) σ1 + σ2 + e 1 + 2∆3(k) ∂DR σ3 2ix0k σ (3) +(σ2 + σ3) σ2 − σ1 + e 1 (σ1 + σ2) uˆ0 (k) dk ikx−ω t Z e 3 σ3 σ3 2ix2k σ 2ix0k σ + e 2 (σ3 − σ2) σ1 + σ2 + e 1 + 2∆3(k) ∂DR σ3 2ix0k σ (3) (σ2 + σ3) σ2 − σ1 + e 1 (σ1 + σ2) uˆ0 (−k) dk, 2.5. PERIODIC BOUNDARY CONDITIONS 49 for x2 < x < x3 with σ3 σ3 2ix2k 2ik x0 σ +x2 σ +x3 ∆3(k) =π e (σ1 − σ2)(σ2 − σ3) + e 1 2 (σ2 − σ1)(σ2 − σ3) σ3 σ3 2ik x2 σ +x3 2ik x0 σ +x2 + e 2 (σ1 + σ2)(σ2 − σ3) + e 1 (σ1 + σ2)(σ3 − σ2) x0 σ3 2ix3k 2ik σ +x2+x2 σ + e (σ1 − σ2)(σ2 + σ3) + e 1 2 (σ2 − σ1)(σ2 + σ3) σ3 σ3 2ix2k 1+ σ 2ik x0 σ +x3 +e 2 (σ1 + σ2)(σ2 + σ3) − e 1 (σ1 + σ2)(σ2 + σ3) . 2.5 Periodic boundary conditions We consider the problem of heat conduction in a ring consisting of two different materials as in Figure 2.9. We seek two functions: (1) u (x, t), x0 < x < x1, t ≥ 0, (2) u (x, t), x1 < x < x2, t ≥ 0, satisfying the equations, initial, boundary, interface continuity conditions: (1) 2 (1) (1) (1) ut = σ1uxx , u (x, 0) = u0 (x), x0 (2) 2 (2) (2) (2) ut = σ2uxx , u (x, 0) = u0 (x), x1 (1) (2) (1) (2) u (x0, t) = u (x2, t), u (x1, t) = u (x1, t), t > 0, (2.43c) 2 (1) 2 (2) 2 (1) 2 (2) σ1ux (x0, t) = σ2ux (x2, t), σ1ux (x1, t) = σ2ux (x1, t), t > 0. (2.43d) As in previous sections we have the local relations −ikx+ω1t (1) 2 −ikx+ω1t (1) (1) (e u )t = (σ1e (ux + iku ))x, x0 < x < x1, −ikx+ω2t (2) 2 −ikx+ω2t (2) (2) (e u )t = (σ2e (ux + iku ))x, x1 < x < x2, 50 CHAPTER 2 x1 (1) 2 (1) ut = σ1uxx (1) 2 (1) (2) 2 (2) u = σ uxx u = σ uxx x x0 = x2 t 1 t 2 x0 = x2 x1 x2 = x0 (2) 2 (2) ut = σ2uxx Figure 2.9: The heat equation with an interface posed on a ring. 2 where ωj = (σjk) . We define the time transforms of the initial and boundary data and the spatial transforms of u for k ∈ C as follows: Z x1 (1) −ikx (1) uˆ0 (k) = e u0 (x) dx, x0 Z x1 uˆ(1)(k, t) = e−ikxu(1)(x, t) dx, x0 Z x2 (2) −ikx (2) uˆ0 (k) = e u0 (x) dx, x1 Z x2 uˆ(2)(k, t) = e−ikxu(2)(x, t) dx, x1 Z t Z t ωs (1) ωs (2) g0(ω, t) = e u (x1, s) ds = e u (x1, s) ds, 0 0 Z t 2 Z t ωs (1) σ2 ωs (2) g1(ω, t) = e ux (x1, s) ds = 2 e ux (x1, s) ds, 0 σ1 0 Z t Z t ωs (1) ωs (2) h0(ω, t) = e u (x0, s) ds = e u (x2, s) ds, 0 0 Z t 2 Z t ωs (1) σ2 ωs (2) h1(ω, t) = e ux (x0, s) ds = 2 e ux (x2, s) ds. 0 σ1 0 Using Green’s Theorem on the domains [x0, x1] × [0, t], and [x1, x2] × [0, t] respectively, 2.5. PERIODIC BOUNDARY CONDITIONS 51 we have the global relations ω1t (1) 2 −ikx1 e uˆ (k, t) =σ1e (g1(ω1, t) + ikg0(ω1, t)) (2.45a) 2 −ikx0 (1) − σ1e (h1(ω1, t) + ikh0(ω1, t)) +u ˆ0 (k), ω2t (2) −ikx2 2 2 e uˆ (k, t) =e σ1h1(ω2, t) + ikσ2h0(ω2, t) (2.45b) −ikx1 2 2 (2) − e σ1g1(ω2, t) + ikσ2g0(ω2, t) +u ˆ0 (k). Both equations are valid for k ∈ C as is to be expected for the Fokas Method in bounded 2 2 domains. Using the invariance of ω1(k) = (σ1k) and ω2(k) = (σ2k) under k → −k as well σ1 σ2 as the transformation k → k and k → k which transform ω1(k) ↔ ω2(k) we obtain σ2 σ1 ω1t (1) 2 ikx1 e uˆ (−k, t) =σ1e (g1(ω1, t) − ikg0(ω1, t)) (2.46a) 2 ikx0 (1) − σ1e (h1(ω1, t) − ikh0(ω1, t)) +u ˆ0 (−k), ω2t (2) ikx2 2 2 e uˆ (k, t) =e σ1h1(ω2, t) − ikσ2h0(ω2, t) (2.46b) ikx1 2 2 (2) − e σ1g1(ω2, t) − ikσ2g0(ω2, t) +u ˆ0 (−k), σ σ2 ω2t (1) 2 −ikx1 σ 2 e uˆ k, t =e 1 σ1g1(ω2, t) + ikσ1σ2g0(ω2, t) σ1 (2.46c) σ2 σ −ikx0 σ 2 (1) 2 − e 1 σ1h1(ω2, t) + ikσ1σ2h0(ω2, t) +u ˆ0 k , σ1 σ σ1 ω1t (2) 1 −ikx2 σ 2 e uˆ k, t =e 2 σ1h1(ω1, t) + ikσ1σ2h0(ω1, t) σ2 (2.46d) σ1 σ −ikx1 σ 2 (2) 1 − e 2 σ1g1(ω1, t) + ikσ1σ2g0(ω1, t) +u ˆ0 k . σ2 Inverting the Fourier transforms in (2.45a) 1 Z ∞ (1) ikx−ω1t (1) u (x, t) = e uˆ0 (k) dk 2π −∞ σ2 Z ∞ 1 ik(x−x1)−ω1t + e (g1(ω1, t) + ikg0(ω1, t)) dk 2π −∞ σ2 Z ∞ 1 ik(x−x0)−ω1t − e (h1(ω1, t) + ikh0(ω1, t)) dk. 2π −∞ 52 CHAPTER 2 The integrand of the second integral is entire and decays as k → ∞ for k ∈ C− \ D−. The third integral has an integrand that is entire and decays as k → ∞ for k ∈ C+ \ D+. It is convenient to deform both contours away from k = 0 to avoid singularities in the integrands below as shown in Figure 2.6. Thus 1 Z ∞ (1) ikx−ω1t (1) u (x, t) = e uˆ0 (k) dk 2π −∞ σ2 Z 1 ik(x−x1)−ω1t − e (g1(ω1, t) + ikg0(ω1, t)) dk (2.47) 2π − ∂DR σ2 Z 1 ik(x−x0)−ω1t − e (h1(ω1, t) + ikh0(ω1, t)) dk. 2π + ∂DR To obtain the solution u2(x, t) for x1 < x < x2 we apply the inverse Fourier transform to (2.45b) and again deform where appropriate to find 1 Z ∞ (2) ikx−ω2t (2) u (x, t) = e uˆ0 (k) dk 2π −∞ 1 Z ik(x−x1)−ω2t 2 2 − e (σ1g1(ω2, t) + ikσ2g0(ω2, t)) dk 2π + ∂DR 1 Z ik(x−x2)−ω2t 2 2 − e (σ1h1(ω1, t) + ikσ2h0(ω2, t)) dk. 2π − ∂DR All the global relations, using the symmetries of the set of dispersion relations, that is Equations (2.45) and (2.46), are used to solve for the unknown functions at the interface. Substituting these expressions into (2.47) we have equations for u(1)(x, t) and u(2)(x, t) which involveu ˆ(1)(k, t) andu ˆ(2)(k, t) evaluated at a variety of arguments but without the factor eωj t. Such integrands decay in the regions around whose boundaries they are integrated. Making extensive use of Jordan’s Lemma and Cauchy’s Theorem, these integrals are shown to vanish. Thus the final solution is given by 2.5. PERIODIC BOUNDARY CONDITIONS 53 1 Z ∞ (1) ikx−ω1t (1) u (x, t) = e uˆ0 (k) dk 2π −∞ ikx−ω t Z e 1 ikσ1 2 ik(x0−x1)+ σ (x1−x2) + (σ1 + σ2) e 2 − 4σ1σ2 − 2∆1(k) ∂DR ikσ1 2 ik(x0−x1)+ σ (x2−x1) (1) −(σ1 − σ2) e 2 uˆ0 (k) dk 2 2 ik(x−x −x )−ω t Z (σ − σ )e 0 1 1 ikσ1 ikσ1 1 2 σ (x1−x2) σ (x2−x1) (1) + e 2 − e 2 uˆ0 (−k) dk − 2∆1(k) ∂DR ikx−ω1t Z σ (σ + σ )e ikσ1 ikσ1 kσ 1 1 2 −ikx1+ σ x1 −ikx0+ σ x2 (2) 1 + e 2 − e 2 uˆ0 dk − ∆1(k) σ2 ∂DR ikx−ω1t Z σ (σ − σ )e ikσ1 ikσ1 kσ 1 1 2 −ikx0− σ x2 −ikx1− σ x1 (2) 1 + e 2 − e 2 uˆ0 − dk − ∆1(k) σ2 ∂DR ikx−ω t Z e 1 ikσ1 2 ik(x1−x0)+ σ (x2−x1) + (σ1 − σ2) e 2 + 4σ1σ2 + 2∆1(k) ∂DR ikσ1 2 ik(x0−x1)+ σ (x2−x1) (1) −(σ1 + σ2) e 2 uˆ0 (k) dk 2 2 ik(x−x −x )−ω t Z (σ − σ )e 0 1 1 ikσ1 ikσ1 1 2 σ (x1−x2) σ (x2−x1) (1) + e 2 − e 2 uˆ0 (−k) dk + 2∆1(k) ∂DR ikx−ω1t Z σ (σ + σ )e ikσ1 ikσ1 kσ 1 1 2 −ikx1+ σ x1 −ikx0+ σ x2 (2) 1 + e 2 − e 2 uˆ0 dk + ∆1(k) σ2 ∂DR ikx−ω1t Z σ (σ − σ )e ikσ1 ikσ1 kσ 1 2 1 −ikx0− σ x2 −ikx1− σ x1 (2) 1 + e 2 − e 2 uˆ0 − dk, + ∆1(k) σ2 ∂DR for x0 < x < x1 where σ1 σ1 σ1 σ1 −ik σ x1 −ik σ x2 −ikx0 −ikx1 −ik σ x1 −ik σ x2 −ikx0 −ikx1 ∆1(k) =π σ1 e 2 − e 2 e + e + σ2 e 2 + e 2 e − e ∗ σ1 σ1 σ1 σ1 −ik σ x1 −ik σ x2 −ikx0 −ikx1 −ik σ x1 −ik σ x2 −ikx0 −ikx1 σ1 e 2 + e 2 e − e + σ2 e 2 − e 2 e + e . (2) For x1 < x < x2, the solution u (x, t) is found by switching the indices (1) and (2) on σ1, (1) (2) σ2, u (·) and u (·), replacing ∆1(k) with ∆2(k) = −∆1 (kσ2/σ1), and interchanging the R R integration paths D+ and − D− . R R k(x0−x1) kσ1(x1−x2) σ2 Note that ∆1(k) = 0 whenever k = 0, cot tan = − , or 2 2σ2 σ1 kσ1(x1−x2) k(x0−x1) σ2 cot tan = − are satisfied. Observe that ∆j(k) = 0 only for real 2σ2 2 σ1 54 CHAPTER 2 + − values of k for j = 1, 2. Thus, through the deformation to DR and DR we have avoided any singularities and, on the contours, the quantities needed are evaluated without problem. Remarks: • To solve (2.43) using separation of variables results in a solution defined implicitly in terms of the eigenvalues which solve ∆1(σ1k) = 0. Thus, the Fokas Method provides an alternative to this important classical problem. It is interesting to note that although P∞ ijx the solution is periodic, it is not useful to assume a solution of the form j=−∞ aj(t)e 2 because the equation defined on the whole domain ut = σ (x)uxx with σ(x) piecewise constant is no longer diagonal in Fourier space since σ(x) has an infinite-term Fourier series. • It is straightforward to generalize this work to the problem of n domains with pe- riodic boundary conditions by combining what was done in [14] and [4, 47] for the heat equation with multiple domains with what we present here for periodic boundary conditions. 2.6 Burgers’ Equation Burgers’ equation is a nonlinear PDE which models gas dynamics and traffic flow [38]. For a velocity q(x, t) and viscosity coefficient σ2 a general form of the viscous Burgers’ equation in one spatial dimension is [5, 8, 9] 2 qt = σ qxx + qqx. (2.48) This equation can be linearized via the Cole-Hopf transformation u(x, t) q(x, t) = −2σ2 . ux(x, t) 2.6. BURGERS’ EQUATION 55 2 The Burgers’ equation is then reduced to the linear heat equation ut = σ uxx [38, Section 1.7] which can be easily solved. If σ is piecewise constant then we can pose (2.48) as an interface problem as in Section 2.1. Using the Cole-Hopf transformation u(j)(x, t) q(j)(x, t) = −2σ2 x j u(j)(x, t) for j = 1, 2 we find that q(x, t) satisfies q(1)(x, t), x < 0, t ≥ 0, q(x, t) = q(2)(x, t), x > 0, t ≥ 0, which solve the Burgers’ equations, (1) 2 (1) (1) (1) qt = σ1qxx − q qx , x < 0, t ≥ 0, (2.49a) (2) 2 (2) (2) (2) qt = σ2qxx − q qx , x > 0, t ≥ 0, (2.49b) the initial conditions (1) (1) (1) 2 ux (x, 0) q (x, 0) =q0 (x) = −2σ1 (1) , x < 0, (2.50a) u0 (x) (2) (2) (2) 2 ux (x, 0) q (x, 0) =q0 (x) = −2σ2 (2) , x > 0, (2.50b) u0 (x) the asymptotic conditions lim q(1)(x, t) =0, t ≥ 0, (2.51a) x→−∞ lim q(2)(x, t) =0, t ≥ 0, (2.51b) x→∞ and the continuity interface conditions q(1)(0, t) = q(2)(0, t), t > 0, (2.52a) (1) 2 (1) (2) 2 (2) qx (0, t) + 2σ1uxx (0, t) = qx (0, t) + 2σ2uxx (0, t), t > 0. (2.52b) We are not aware of any physically relevant problems which can be modeled by the Burgers’ equation as presented in (2.49)-(2.52). However, the Cole-Hopf transformation and the methods presented in Section 2.1 give an analytical, closed-form solution for this nonlinear PDE with an interface. Chapter 3 The heat equation on a graph In Chapter 2 we applied the Fokas Method to a subclass of the problems described in this chapter in which each vertex has at most two edges: a configuration of metal rods with different diffusivities joined end-to-end along a line. The principal contribution of the work in this chapter is to show that the Fokas Method may also be applied to the more general configurations of connected rods described below. Examples of such configurations are shown in Figure 3.1. This work was done in collaboration with D.A. Smith [58]. The examples presented in this chapter and the paper [58] were selected because they can be formulated as linear systems which are relatively easy to solve by hand. It should be noted that this is not always the case. In general, for a graph with mf finite edges and mi infinite edges, it is always possible to express the generalized spectral map as a linear system of dimension 4mf + 2mi but it may not be practical to solve this system by hand. Suppose V is a set of vertices and E is a set of directed edges between those vertices so that (V,E) is a finite connected directed graph. Associated with each edge r ∈ E is the length Lr ∈ (0, ∞]. Suppose additionally if Lr = ∞, then the vertex at which r terminates has no other edges. For each edge r ∈ E, we define the open interval Ωr = (0,Lr). We consider the graph to represent a configuration of narrow rods joined at the vertices in perfect thermal contact. 3.1. INTERFACE CONDITIONS FOR GRAPHS 57 (a) Eagle Catching Fish, sculpted by (b) virtual woman, sculpted by Toby Amy Goodman Short Figure 3.1: Examples of connected rods in art. 3.1 Interface conditions for graphs In order to derive the proper interface conditions we generalize what is outlined in [38] and repeated in Section 1.1 for problems with multiple rods. Assume each edge r ∈ E is a rod made of some heat-conducting material with density ρr(x) and unit cross-sectional area. We assume the surface of the rod is perfectly insulated so no heat is lost or gained through this (r) surface. If we consider an infinitesimal section of length dx for x ∈ Ωr, then dC , the heat content in the section, is proportional to the mass and the temperature, q(r)(x, t). That is (r) (r) dC (t) = cr(x)ρr(x)q (x, t) dx, 58 CHAPTER 3 where cr(x) is the specific heat on r and x ∈ Ωr. Thus, the total heat content in the interval x1 ≤ x ≤ x2 where x1, x2 ∈ Ωr is Z x2 (r) (r) C (t) = cr(x)ρr(x)q (x, t) dx. x1 Fourier’s Law for heat conduction [30] states that the rate of heat flowing into a body is proportional to the area of that element and to the outward normal derivative of the temperature at that location. The constant of proportionality is the thermal conductivity, kr(x). In our example, the net inflow of heat through the boundaries x1 and x2 is (r) (r) R(t) = kr(x2)qx (x2, t) − kr(x1)qx (x1, t), (3.1) d (r) where x1, x2 ∈ Ωr. Conservation of heat implies dt C (t) = R(t) along each rod. That is, Z x2 d (r) (r) (r) cr(x)ρr(x)q (x, t) dx = kr(x2)qx (x2, t) − kr(x1)qx (x1, t), (3.2) dt x1 for every r. This is a typical conservation law. On each rod we assume constant material properties. That is cr(x) = cr, ρr(x) = ρr, and kr(x) = kr for x ∈ Ωr and t > 0. Expressing R(t) as the integral of a derivative and rewriting (3.2), we have Z x2 (r) ∂ (r) crρrqt (x, t) dx − krqx (x, t) dx = 0, x1 ∂x for x1, x2 ∈ Ωr. Since this is true for any x1 and x2 in this range, it follows that the integrand must vanish. That is, (r) kr (r) qt (x, t) − qxx (x, t) = 0. crρr Next, we scale x such thatx ˆ = x for x ∈ Ω . Note that such a scaling also affects L crρr r r and Ωr and in what follows we assume all quantities are properly scaled. Dropping the ˆ· and 2 defining σr = krcrρr as the (scaled) thermal diffusivity in rod r we have (r) 2 (r) qt = σr qxx , x ∈ Ωr, t > 0, r ∈ E, (3.3a) (r) (r) q (x, 0) = q0 (x), x ∈ Ωr, r ∈ E, (3.3b) 3.1. INTERFACE CONDITIONS FOR GRAPHS 59 (r) where q0 ∈ S Ωr is given initial data for each r ∈ E with S Ω a Schwartz space of smooth, rapidly decaying functions restricted to the closure of the interval Ω. We also assume that the rods at each vertex v are in perfect thermal contact [10]. The temperature at x = 0 of the rods emanating from v, q(s)(0, t), is the same as the temperature (r) at x = Lr of the rods terminating at v, q (Lr, t). That is, (s) (r) q (0, t) = q (Lr, t), t ≥ 0, (3.4) where q(s)(x, t) emanates from the same vertex where q(r)(x, t) terminates. The relation (3.4) is true for all r, s ∈ E that meet at a given vertex. If vertex v has p edges then (3.4) gives p − 1 conditions. In order to find a condition on the set of spatial derivatives of q(r)(x, t) we require an appropriately scaled Condition (3.2) valid for on a region centered at the vertex v. Consider a ball centered at a vertex v, with radius > 0 sufficiently small so that all rods are straight lines within the ball and no other rods intersect the ball. Then, similar to Equation (3.1) we have X 2 (s) X 2 (r) R(t) = σs ()qx (, t) − σr (Lr − )qx (Lr − , t). s∈E: r∈E: s emanates r terminates from v at v By conservation of energy, Z Z Lr d X 2 2 (s) X 2 2 (r) csρs lim q (x, t) dx + crρr lim q (x, t) dx dt →0 →0 s∈E: 0 r∈E: Lr− s emanates r terminates from v at v (3.5) X 2 (s) X 2 (r) = lim σs qx (, t) − lim σr qx (Lr − , t). →0 →0 s∈E: r∈E: s emanates r terminates from v at v The left-hand-side of (3.5) is zero by (3.4). This implies X 2 (s) X 2 (r) σs qx (0, t) − σr qx (Lr, t) = 0. (3.6) s∈E: r∈E: s emanates r terminates from v at v Thus the appropriate sum of the heat flux is continuous across the interface. 60 CHAPTER 3 For each finite endpoint vertex v ∈ V which has only one finite-length edge rv ∈ E (and no infinite-length edges) we prescribe a general Robin boundary condition v (rv) v (rv) β0 q (X, t) + β1 ∂xq (X, t) = fv(t), t ≥ 0, (3.7) v v where fv is known boundary datum and β0 , β1 ∈ R where X = 0 if rv emanates from v, and X = Lrv if rv terminates at v. If the graph has mf finite edges and mi infinite edges, then (3.4), (3.6), and (3.7) together prescribe a total of 2mf + mi boundary and interface conditions. We insist that the initial data and interface conditions are compatible. That is, we require for each interface vertex v, X 2 s X 2 (r) σs ∂xq0(0) − σr ∂xq0 (Lr) = 0, s∈E: r∈E: s emanates r terminates from v at v (s) (r) q0 (0) = q0 (Lr), for q(s)(x, t) emanating from v and q(r)(x, t) terminating at v. We also require the initial and boundary conditions are compatible in the sense that for each finite endpoint vertex v with edge rv, v rv v rv β0 q0 (X) + β1 ∂xq0 (X) = fv(0). 3.2 Implicit integral representation of the solution There is one global relation for each domain Ωr. Each global relation links the boundary and interface values with the initial value for a particular r ∈ E. In contrast with Chapter 2, but following the innovation of [4, 47], we scale k in a way that will simplify later calculations. For x ∈ Ωr, t ≥ 0, and k ∈ C, we have the local relations 2 2 −ixk/σr+k t (r) −ixk/σr+k t (r) 2 (r) e q (x, t) = e σrikq (x, t) + σr qx (x, t) , (3.8) t x 3.2. IMPLICIT INTEGRAL REPRESENTATION OF THE SOLUTION 61 which are a one parameter family rewrite of (3.3a). We define Z Lr (r) −ixk qˆ0 (k) = e q0(x) dx, k ∈ C, 0 Z Lr (r) −ixk (r) qˆ (k, t) = e q (x, t) dx, t ≥ 0, k ∈ C, 0 Z t (r) ωs (r) g0 (ω, t) = e q (0, s) ds, t ≥ 0, 0 Z t (r) ωs (r) g1 (ω, t) = e qx (0, s) ds, t ≥ 0, 0 Z t (r) ωs (r) h0 (ω, t) = e q (Lr, s) ds, t ≥ 0, 0 Z t (r) ωs (r) h1 (ω, t) = e qx (Lr, s) ds, t ≥ 0. 0 Applying Green’s Theorem to [0,Lr] × [0, t] (where Lr < ∞) yields the global relation (r) k k2t (r) k (r) 2 2 (r) 2 qˆ0 − e qˆ , t = σrikg0 (k , t) + σr g1 (k , t) σr σr (3.9a) −ikLr/σr (r) 2 2 (r) 2 − e σrikh0 (k , t) + σr h1 (k , t) , for k ∈ C, t ≥ 0, and each r ∈ E. If Lr = ∞ the global relation is (r) k k2t (r) k (r) 2 2 (r) 2 qˆ0 − e qˆ , t = σrikg0 (k , t) + σr g1 (k , t), (3.9b) σr σr for k ∈ C−, t ≥ 0, and each r ∈ E. Inverting the Fourier transform in (3.9a) and (3.9b) respectively we have ∞ 1 Z 2 2 (r) ikx−σr k t (r) q (x, t) = e qˆ0 (k) dk 2π −∞ ∞ Z 2 1 ixk/σr−k t (r) 2 (r) 2 − e ikg0 (k , t) + σrg1 (k , t) dk (3.10a) 2π −∞ ∞ Z 2 1 ik/σr(x−Lr)−k t (r) 2 (r) 2 + e ikh0 (k , t) + σrh1 (k , t) dk, 2π −∞ and ∞ 1 Z 2 2 (r) ikx−σr k t (r) q (x, t) = e qˆ0 (k) dk 2π −∞ ∞ (3.10b) Z 2 1 ixk/σr−k t (r) 2 (r) 2 − e ikg0 (k , t) + σrg1 (k , t) dk. 2π −∞ 62 CHAPTER 3 Define 2 ± ± D = {k ∈ C : Re(k ) < 0},D = {k ∈ C : D ∩ C }, as shown in Figure 1.2. The integrand of the second integral in both (3.10a) and (3.10b) is entire and decays as k → ∞ for k ∈ C+ \ D+. Hence, by Jordan’s Lemma we can replace R the contour of integration of the second integral by ∂D+ . It is convenient to deform both contours away from k = 0 to avoid singularities in the integrands that become apparent in what follows. Initially, these singularities are removable, since the integrands are entire. Writing integrals of sums as sums of integrals, the singularities may cease to be removable. ± ± In other words we deform ∂D to ∂DR, where ± ± DR = {k ∈ D : |k| > R}, and R > 0 is an arbitrary constant. An appropriate (sufficiently large) value of this constant may be chosen for any individual problem as in Figure 2.6. A similar deformation can be R ∞ R done for the third integral in (3.10a) from · dk to − − · dk. −∞ ∂DR Then, for each r ∈ E such that Lr < ∞, ∞ 1 Z 2 2 (r) ikx−σr k t (r) q (x, t) = e qˆ0 (k) dk 2π −∞ Z 2 1 ixk/σr−k t (r) 2 (r) 2 − e ikg0 (k , t) + σrg1 (k , t) dk (3.11a) 2π + ∂DR Z 2 1 i(x−Lr)k/σr−k t (r) 2 (r) 2 − e ikh0 (k , t) + σrh1 (k , t) dk. 2π − ∂DR Similarly, for each r ∈ E such that Lr = ∞, Z ∞ 1 2 2 (r) q(r)(x, t) = eikx−σr k tqˆ (k) dk 2π 0 −∞ (3.11b) Z 2 1 ixk/σr−k t (r) 2 (r) 2 − e ikg0 (k , t) + σrg1 (k , t) dk. 2π + ∂DR 3.3 m semi-infinite rods In this section, we consider the case of m ∈ N semi-infinite rods of differing thermal diffusivity, joined at a single vertex. The graph is as shown in Figure 3.2. Of the m + 1 vertices, m are 3.3. M SEMI-INFINITE RODS 63 each the terminus of a single edge, and all m edges emanate from the other vertex. Identify the set of edges E with the set {1, 2, . . . , m}. The single interface vertex is denoted as v. (3) 2 (3) qt = σ3qxx (2) 2 (2) qt = σ2qxx (4) 2 (4) qt = σ4qxx q(1) = σ2q(1) . t 1 xx . 0 (m) 2 (m) qt = σmqxx Figure 3.2: m semi-infinite rods. (r) 2 Since gj (k , t) is invariant under the transformation k → −k we supplement the global relation (3.9b) with its evaluation at −k. Namely, (r) 2 2 (r) 2 (r) −k k2t (r) −k −σrikg0 (k , t) + σr g1 (k , t) =q ˆ0 − e qˆ , t , (3.12) σr σr for all k ∈ C+. Notice that this transformation is essential because our “solution” (3.11b) (r) 2 + requires equations for gj (k , t) valid for k ∈ D , whereas the original global relation (3.9b) is valid only for k ∈ C−. Equations (3.12) represent a system of m linear equations in the 2m unknowns. Appropriately transforming the interface conditions (3.4) and (3.6) for this problem we 64 CHAPTER 3 find Z t 2 (s) 2 k2τ (s) g0(k , t) := g0 (k , t) = e q (0, τ) dτ, 1 ≤ s ≤ m, (3.13a) 0 m X 2 (s) 2 σs g1 (k , t) = 0, (3.13b) s=1 for all k ∈ C. Equation (3.13a) reduces the number of unknown functions from 2m to m + 1. Equations (3.12), (3.13b) provide m + 1 linear equations in these unknown functions. We represent this system as a matrix: AX = Y, with > 2 2 (1) 2 2 (m) 2 X = g0(k , t), σ1g1 (k , t), . . . , σmg1 (k , t) , > (1) −k k2t (1) −k (m) −k k2t (m) −k Y = 0, qˆ0 − e qˆ , t ,..., qˆ0 − e qˆ , t , σ1 σ1 σ1 σm 0 1 1 ··· 1 −ikσ1 1 0 ··· 0 A = −ikσ2 0 1 ··· 0 . ...... . . . . . −ikσm 0 0 ··· 1 For notational convenience, the entries of Y are denoted Yr, where r is enumerated 0, . . . , m. Similarly, the rows of the other matrices are counted from 0 to m. Clearly, Y depends not only upon the initial data, but also upon the Fourier transforms of the solutions at time t which are not given data of the problem. Nevertheless, we proceed to solve the system as if Y is composed purely of known data and show afterwards that terms involvingq ˆ(r)(·, t) make no contribution to the solution representation. Subtracting the sum of rows 1, . . . , m from row 0 in matrix A it is immediate that m X det(A) = ik σr. r=1 3.3. M SEMI-INFINITE RODS 65 Let Aj be the matrix formed by replacing column j of A with the column vector Y . By Cramer’s rule [12], 2 det(A0) (r) 2 det(Ar) g0(k , t) = , g1 (k , t) = 2 , 1 ≤ r ≤ m. det(A) σr det(A) Trivially, m X det(A0) = − Yp. p=1 th To find det(Ar) we subtract the j row for j = 1, . . . , r − 1, r + 1, . . . , m from the first row. Then, for each j = r, j = r − 1, ... , j = 2, we switch the jth and (j − 1)st rows and switch the jth and (j − 1)st columns. The resulting matrix is m m X X ik σ − Y 0 ··· 0 p p p=1 p=1 p6=r p6=r −ikσr Yr 0 ··· 0 Br = , −ikσr0 Yr0 1 ··· 0 ...... . . . . . −ikσr00 Yr00 0 ··· 1 where the sequence (r0, . . . , r00) of length m − 1 is the sequence (1, 2, . . . , m) with the term r excluded. Clearly, det(Br) = det(Ar). Hence m m X X det(Ar) = ik Yr σp − σr Yp , p=1 p=1 p6=r p6=r and it follows that − Pm Y 2 p=1 p g0(k , t) = Pm , (3.14) ik p=1 σp Pm Pm Yr σp − σr Yp g(r)(k2, t) = p=1 p=1 , 1 ≤ r ≤ m. (3.15) 1 2 Pm σr p=1 σp Substituting Equations (3.14) and (3.15) into Equation (3.11b), we obtain expressions for (r) (r) 2 each q in terms of the Fourier transforms of every initial datumq ˆ0 (k , t) and of every 66 CHAPTER 3 solutionq ˆ(r)(·, t): ∞ 1 Z 2 2 (r) ixk−σr k t (r) q (x, t)= e qˆ0 (k) dk 2π −∞ ixk 2 Pm (p) −k (r) −k Pm Pm (p) −k Z σ −k t qˆ qˆ σp −σr qˆ e r p=1 0 σp 0 σr p=1 p=1 0 σp + Pm − Pm dk ∂D+ 2π p=1 σp σr p=1 σp ixk Pm (p) −k (r) −k Pm Pm (p) −k Z σ qˆ , t qˆ , t σp −σr qˆ e r p=1 σp σr p=1 p=1 0 σp − Pm − Pm dk. ∂D+ 2π p=1 σp σr p=1 σp (3.16) Note that the integrand of the third integral in (3.16) is analytic for all k ∈ C+ and decays for k → ∞ for k ∈ C+. Thus, by Jordan’s Lemma, the final integral of Equation (3.16) is 0. Hence, we obtain an explicit integral representation of the solution, ∞ 1 Z 2 2 (r) ixk−σr k t (r) q (x, t) = e qˆ0 (k) dk 2π −∞ 2 Pm (p) −k (r) −k (3.17) Z ixk/σr−k t 2 qˆ qˆ e p=1 0 σp 0 σr + Pm − dk, ∂D+ 2π p=1 σp σr in terms of only the initial data. Notice that in this example we were able to set R = 0. This will not generally occur even for the semi-infinite rods when the network also contains finite rods (see, for example, [14, Proposition 3]). Indeed, R = 0 is possible here because det(A) is monomial which occurs for no configurations of rods except the one considered in this section. 3.4 m parallel finite rods In this section we consider the case of m ∈ N parallel finite rods of differing thermal diffusivity extending between a pair of vertices. Note that we have chosen the rods to all be oriented in one direction. This is purely for notational convenience, the parameterization of the rod from 0 to Lr or from Lr to 0 is not important. The graph is as shown in Figure 3.3. One of the 3.4. M PARALLEL FINITE RODS 67 two vertices is the terminus of every edge, and every edge emanates from the other vertex. Again, it is notationally convenient to identify the set of edges E with the set {1, 2, . . . , m}. (1) 2 (1) qt = σ1qxx (2) 2 (2) qt = σ2qxx (3) 2 (3) qt = σ3qxx 0 Lr . . (m) 2 (m) qt = σmqxx Figure 3.3: m parallel finite rods. The continuity interface conditions allow us to define 2 (r) 2 g0(k , t) := g0 (k , t), 1 ≤ r ≤ m, (3.18a) 2 (r) 2 h0(k , t) := h0 (k , t), 1 ≤ r ≤ m. (3.18b) Similarly, the continuity of flux interface conditions imply m X 2 (r) 2 σr g1 (k , t) = 0, (3.19a) r=1 m X 2 (r) 2 σr h1 (k , t) = 0. (3.19b) r=1 Using the notation (3.18) the global relation (3.9a) reduces to (r) k k2t (r) k 2 2 (r) 2 qˆ0 − e qˆ , t =σrikg0(k , t) + σr g1 (k , t) σr σr −ikLr/σr 2 2 (r) 2 − e σrikh0(k , t) + σr h1 (k , t) . 68 CHAPTER 3 (r) 2 (r) 2 Applying the transformation k → −k which leaves the functions gj (k , t) and hj (k , t) invariant we obtain (r) −k k2t (r) −k 2 2 (r) 2 qˆ0 − e qˆ , t = − σrikg0(k , t) + σr g1 (k , t) σr σr ikLr/σr 2 2 (r) 2 − e −σrikh0(k , t) + σr h1 (k , t) . This provides a system of 2m equations valid for k ∈ C in 2m+2 unknowns. System (3.19) provides two further equations in a subset of the same unknowns. We express this linear system as AX = Y, where > 2 2 2 (1) 2 2 (m) 2 2 (1) 2 2 (m) 2 X = g0(k , t), h0(k , t), σ1g1 (k , t), . . . , σmg1 (k , t), σ1h1 (k , t), . . . , σmh1 (k , t) , (3.20a) > Y = (0,Y1(k),...,Ym(k),Y1(−k),...,Ym(−k)) , (3.20b) (r) k k2t (r) k Yr(k) =q ˆ0 − e qˆ , t , (3.20c) σr σr and 0 0 1 1 ··· 1 0 0 ··· 0 0 0 0 0 ··· 0 1 1 ··· 1 −ikL1 −ikL1 σ σ ikσ1 −ikσ1e 1 1 0 ··· 0 −e 1 0 ··· 0 −ikL2 −ikL2 σ σ ikσ2 −ikσ2e 2 0 1 ··· 0 0 −e 2 ··· 0 ...... ...... A = . −ikLm −ikLm σ σ ikσm −ikσme m 0 0 ··· 1 0 0 · · · −e m ikL1 ikL1 σ σ −ikσ1 ikσ1e 1 1 0 ··· 0 −e 1 0 ··· 0 ikL2 ikL2 σ σ −ikσ2 ikσ2e 2 0 1 ··· 0 0 −e 2 ··· 0 ...... ...... ikLm ikLm −ikσm ikσme σm 0 0 ··· 1 0 0 · · · −e σm 3.4. M PARALLEL FINITE RODS 69 Solving the system via Cramer’s rule, we obtain AC − BD BC − AD g (k2, t) = , h (k2, t) = , 0 k(A2 − B2) 0 k(A2 − B2) BAC − det ABD (r) ikL /σ −ikL /σ 1 C (k) Yr(k)e r r −Yr(−k)e r r σr σr (r) 2 Sr(k) Sr(k) eikLr/σr −e−ikLr/σr g1 (k , t) = 2 2 2 , (3.21) σr (A − B ) BAD det ABC (r) 1 C (k) Yr(k)−Yr(−k) σr σr (r) 2 Sr(k) Sr(k) eikLr/σr −e−ikLr/σr h1 (k , t) = 2 2 2 , σr (A − B ) where m m X 1 X Yp(k) − Yp(−k) A = σp ,C = , S (k) eikLp/σp − e−ikLp/σp p=1 p p=1 m m ikLp/σp −ikLp/σp X Cp(k) X Yp(k)e − Yp(−k)e B = σp ,D = , S (k) eikLp/σp − e−ikLp/σp p=1 p p=1 and Sp(k) = sin(kLp/σp),Cp(k) = cos(kLp/σp). Equation (3.21) for the t-transformed boundary and interface values depends on the (r) Fourier transform of the solutionq ˆ (·, t) through Expression (3.20c) for Yp. In order for Equation (3.11a) to represent an effective integral representation for each solution q(r)(x, t) we must remove this dependence. The product of a meromorphic function with a holomorphic function must include as zeros every zero of the meromorphic function. As m !2 Y 2 2 Sp(k) (A − B ) (3.22) p=1 is an exponential polynomial (indeed an exponential sum), it is possible to obtain bounds on its zeros. By [42, Theorem 3], the zeros of (3.22) are confined within a finite-width horizontal 70 CHAPTER 3 2 2 + − strip. Hence, for sufficiently large R > 0, there are no zeros of A − B within DR ∪ DR. Indeed, a simple calculation reveals (m − 1) log 2 + log(8 + m(m − 1)) R = √ 2 min { Lr } 1≤r≤m σr is sufficient. A standard asymptotic analysis as in Chapter 2 shows that the terms involving (p) ± qˆ (·, t) decay as k → ∞ from within the appropriate domains DR, and Jordan’s Lemma establishes that these terms make no contribution to the integral representation. We have established the effective integral representation for the solution given by equa- 2 2 (r) 2 (r) 2 tion (3.11a) with g0(k , t), h0(k , t), g1 (k , t), and h1 (k , t) given by equations (3.21) where Yr(k) in (3.20c) is replaced by (r) k Yr(k) =q ˆ0 , 1 ≤ r ≤ m. σr 3.5 m finite rods connected at a single point In this section we consider the case of m ∈ N finite rods of differing thermal diffusivity joined at a single vertex. The graph is as shown in Figure 3.4. Of the m + 1 vertices m are the terminus of a single edge and all m edges emanate from the other vertex. As before we identify the set of edges E with the set {1, 2, . . . , m}. We enumerate the vertices so that each edge r emanates from vertex 0 and terminates at vertex r. We use the condition of continuity across the interface to establish Z t 2 (s) 2 k2τ (s) g0(k , t) := g0 (k , t) = e q (0, τ) dτ (3.23) 0 for 1 ≤ s ≤ m, k ∈ C. Taking the time transform of the Robin boundary condition (3.7) we have Z t ˜ k2s (r) (r) 2 (r) (r) 2 fr(k, t) := e fr(s) ds = β0 h0 (k , t) + β1 h1 (k , t). (3.24) 0 In order to reduce the size of the linear system that will eventually have to be solved, it is helpful to use the Robin condition to express either the 0th order or the 1st order 3.5. M FINITE RODS CONNECTED AT A SINGLE POINT 71 L3 (3) 2 (3) qt = σ3qxx L2 (2) 2 (2) L4 qt = σ2qxx (4) 2 (4) qt = σ4qxx q(1) = σ2q(1) . t 1 xx . 0 . L1 (m) 2 (m) qt = σmqxx Lm Figure 3.4: m finite rods joined at a single vertex. boundary value at Lr in terms of the other. Suppose that precisely 1 ≤ mN ≤ m of (r) the boundary conditions are in fact Neumann conditions (that is the corresponding β0 = 0). Moreover suppose, without loss of generality, that these Neumann conditions are the (r) boundary conditions at vertices 1, 2, . . . , mN , that β1 = 1 for each 1 ≤ r ≤ mN , and (r) that β0 = 1 for each mN + 1 ≤ r ≤ m. We use the boundary conditions (3.24) and Equation (3.23) to rewrite the global relation (3.9a) as 2 (r) k k t (r) k 2 2 (r) 2 −ikLr/σr (r) 2 qˆ0 − e qˆ , t = σrikg0(k , t) + σr g1 (k , t) − e ikσrh0 (k , t) σr σr (3.25a) −ikLr/σr 2 ˜ − e σr fr(k, t), for 1 ≤ r ≤ mN , k ∈ C and (r) k k2t (r) k 2 2 (r) 2 qˆ0 − e qˆ , t = σrikg0(k , t) + σr g1 (k , t) σr σr (3.25b) −ikLr/σr (r) (r) 2 ˜ − e σr σr − ikβ1 h1 (k , t) + ikfr(k, t) , for mN + 1 ≤ r ≤ m and k ∈ C. As before, another set of m global relations is obtained by 72 CHAPTER 3 evaluating (3.25) for k = −k. Together with a t-transform of the interface condition (3.6) the 2m global relations form a system of linear equations in the 2m + 1 functions 2 g0(k , t), t > 0, (r) 2 g1 (k , t), 1 ≤ r ≤ m, t > 0, (r) 2 h0 (k , t), 1 ≤ r ≤ mN , t > 0, (r) 2 h1 (k , t), mN + 1 ≤ r ≤ m, t > 0. The system can be expressed as AX = Y, (3.26a) where X = g , σ2g(1), . . . , σ2 g(m), σ h(1), . . . , σ h(mN ), σ2 h(mN +1), . . . , σ2 h(m)>, 0 1 1 m 1 1 0 mN 0 mN +1 1 m 1 (3.26b) > Y = (0,Y1(k),...,Ym(k),Y1(−k),...,Ym(−k)) , (3.26c) −ikL (r) k k2t (r) k r 2 qˆ − e qˆ , t + e σr σ f˜ (k, t), 1 ≤ r ≤ m , 0 σr σr r r N Yr(k, t) = (3.26d) −ikL (r) k k2t (r) k r 2 qˆ − e qˆ , t + ike σr σ f˜ (k, t), m + 1 ≤ r ≤ m, 0 σr σr r r N 0 11×m 01×m A = A0(k) Im×m A1(−k) , (3.26e) A0(−k) Im×m A1(k) > A0(k) = ikσ1, . . . , ikσm , (3.26f) 3.5. M FINITE RODS CONNECTED AT A SINGLE POINT 73 and A1(k) = ikL1 ike σ1 ··· 0 0 ··· 0 ...... ...... ikL mN σ 0 ··· ike mN 0 ··· 0 ikLm +1 , (3.26g) mN +1 N ikβ σ 0 ··· 0 − 1 + 1 e mN +1 ··· 0 σmN +1 ...... ...... ikβm ikLm 0 ··· 0 0 · · · − 1 + 1 e σm , σm where 1m×n is an m×n matrix with every entry equal to 1 and Im×n is an m×n identity ma- trix. The arguments of each of the functions in X are (k2, t). The boundary conditions (3.24) give the remaining spectral functions in terms of those appearing in the vector X. Solving this system and substituting the solution into (3.11a) provides an integral repre- sentation of the solution in terms of the initial and boundary data, and the Fourier transform of the solutionq ˆ(r)(·, t). It remains to show that it is possible to remove the dependence on the Fourier transform of the solution. When the system (3.26) is solved using Cramer’s rule, each entry Xj of X is expressed as the ratio of two determinants, each of which is an analytic function of k. The denomi- nator is an exponential polynomial in which every exponent is purely imaginary. Hence the zeros of the denominator lie asymptotically within a horizontal logarithmic strip [42, Theo- rem 6]. Moreover, Xj is holomorphic except at the zeros of the denominator, so choosing R + − sufficiently large ensures that Xj is holomorphic on DR ∪ DR. As the growing entries of A lie in the same rows as the growing entries of Y involving qˆ(r)(·, t), but each such entry in Y grows like O(k−1) multiplied by the corresponding entry in A, each integrand involvingq ˆ(r)(·, t) decays as k → ∞ from within the relevant sector ± (r) DR. Hence, by Jordan’s Lemma, the terms involvingq ˆ (·, t) make no contribution to the solution representation. Chapter 4 Interface problems for dispersive equations In Chapter 2 the Fokas Method was used to solve the classical problem of the heat equation with interfaces. The same is done here for the linear Schr¨odinger(LS) equation with an interface. We restrict ourselves to the case of a continuous wave function with a jump in the derivative across the interface. Although the problem considered here is similar to the one presented in Chapter 2, the dispersive nature of the problem makes it more difficult to solve both classically and using the Fokas Method. The LS equation is arguably the simplest dispersive equation, having the dispersion relation ω(k) = −ik2. It arises in its own right in quantum mechanics [54], and as the linearization of various nonlinear equations, most notably the nonlinear Schr¨odinger(NLS) 2 equations iqt(x, t) = −qxx(x, t) ± |q(x, t)| q(x, t). As such, it arises in a large variety of application areas, whenever the modulation of nonlinear wave trains is considered. Indeed, it has been derived in such diverse fields as waves in deep water [68], plasma physics [69], nonlinear fiber optics [34, 35], magneto-static spin waves [71], and many other settings. The LS equation describes the behavior of solutions of the NLS equation in the small amplitude limit and understanding the linear dynamics is fundamental in understanding the dynamics of the more complicated nonlinear problem. 4.1. TWO SEMI-INFINITE DOMAINS 75 Recently, Cascaval and Hunter [11] have considered the time-dependent LS on simple networks. Their solution formulas are not explicit, as they contain implicit integral equations for the interface conditions. Their analysis is easily extended to more than two domains and also considers the NLS equation. The LS equation in two semi-infinite domains with an interface is considered in Sec- tion 4.1. The method is adapted to the problem of two finite domains in Section 4.2. As before, the solution formulae given are easily computed numerically using techniques pre- sented in [44, 62]. Throughout, our emphasis is on non-steady state solutions. The solutions presented here using the Fokas Method are explicit and depend only on known quantities. Although we present solution formulas only for the case of two domains (both finite or both infinite) it is straightforward to generalize this method to n domains. 4.1 Two semi-infinite domains We seek two functions q(1)(x, t), x < 0, t ≥ 0, and q(2)(x, t), x > 0, t ≥ 0, satisfying the equations (1) (1) iqt (x, t) =σ1qxx (x, t), x < 0, t > 0, (4.1a) (2) (2) iqt (x, t) =σ2qxx (x, t), x > 0, t > 0, (4.1b) the initial conditions (1) (1) q (x, 0) =q0 (x), x < 0, (4.2a) (2) (2) q (x, 0) =q0 (x), x > 0, (4.2b) 76 CHAPTER 4 the asymptotic conditions lim q(1)(x, t) =γ(1), t ≥ 0, (4.3a) x→−∞ lim q(2)(x, t) =γ(2), t ≥ 0, (4.3b) x→∞ and the continuity interface conditions q(1)(0, t) =q(2)(0, t), t > 0, (4.4a) (1) (2) ρ1qx (0, t) =ρ2qx (0, t), t > 0, (4.4b) (1) (2) as shown in Figure 4.1 where γ , γ , σ1, σ2, ρ1 and ρ2 are t-independent nonzero constants. The sub- and super-indices 1 and 2 denote the left and right domain, respectively. In what follows we assume that σ1 and σ2 are both positive for convenience. First, we shift iq(1) = σ q(1) iq(2) = σ q(2) t 1 xx t 2 xx x −∞ 0 ∞ Figure 4.1: The LS equation for two semi-infinite domains. the problem so that the asymptotic conditions are identically zero. We define v(1)(x, t) = q(1)(x, t) − γ(1) and v(2)(x, t) = q(2)(x, t) − γ(2) as the functions that satisfy (1) (1) ivt (x, t) =σ1vxx (x, t), x < 0 t ≥ 0, (4.5a) (2) (2) ivt (x, t) =σ2vxx (x, t), x > 0 t ≥ 0, (4.5b) lim v(1)(x, t) =0, t ≥ 0, (4.5c) x→−∞ lim v(2)(x, t) =0, t ≥ 0, (4.5d) x→∞ (1) (1) v (x, 0) =v0 (x), x < 0, (4.5e) (2) (2) v (x, 0) =v0 (x), x > 0, (4.5f) v(1)(0, t) + γ(1) =v(2)(0, t) + γ(2), t ≥ 0, (4.5g) (1) (2) ρ1vx (0, t) =ρ2vx (0, t), t ≥ 0. (4.5h) 4.1. TWO SEMI-INFINITE DOMAINS 77 We begin with the local relations