Section 6.3

Parabolic Equations

[16/100%]
Show
LaTeX
Problem 6.3.1

Consider the Cauchy problem for the Heat Operator in R1\mathbb {R}^{1}:

u_t = u_xx (-< x < , t > 0) u(x,0) = f(x) (-< x < ),

where ff is bounded, continuous, and satisfies

∫−∞∞∣f(x)∣2 dx<∞. \int _{-\infty }^{\infty } \left|f(x)\right|^2\, dx < \infty .

Show that there exists a constant CC such that

∣u(x,t)∣≤Ct14 \left|u(x,t)\right| \leq \frac{C}{t^{\frac{1}{4}}}

for all −∞<x<∞-\infty < x < \infty, t>0t > 0.

?
Problem 6.3.2

Let Ω⊂Rn\Omega \subset \mathbb {R}^{n} be an open set with smooth boundary and suppose u∈C∞(Ω×[0,∞))u \in C^{\infty }(\Omega \times [0,\infty )) is a solution of the equation

ut−Δu=f u_t - \Delta u = f

with u=0u = 0 on ∂Ω×[0,∞)\partial \Omega \times [0,\infty ). Assume that

lim⁡t→∞∫Ωf(x,t)2 dx=0. \lim _{t \to \infty } \int _{\Omega } f(x,t)^2\, dx = 0.

Let

ψ(t)=∫Ωu(x,t)2 dx. \psi (t) = \int _{\Omega } u(x,t)^2\, dx.

Prove that ψ(t)→0\psi (t) \to 0 as t→+∞t \to +\infty.

?
Problem 6.3.3

Consider the Cauchy problem

u_t = u_xx (-< x < , t > 0), u(x,0) = f(x),

where ff is bounded and continuous.

?
(a)

Using the Fourier Transform, construct explicitly a fundamental solution for this problem, and write down the solution uu.

(b)

State a maximum principle for this problem. Why is the Tychanov non-uniqueness example possible?

(c)

Suppose in addition that f∈L1(R)f \in L^1(\mathbb {R}). Show that

lim⁡x→∞u(x,t)=0. \lim _{x \to \infty } u(x,t) = 0.
(d)

Show how to solve the problem

u_t = u_xx (x > 0, t > 0) u(x,0) = f(x) (x > 0) u(0,t) = 0 (t > 0)

by using (a) and an appropriate extension of ff.

Problem 6.3.4

Consider the problem

u_t = u_xx (x R, t > 0) u(x,0) = u_0(x) L^2(R).

Find a bound on ∫−∞∞∣ux(x,t)∣2 dx\int_{-\infty }^{\infty } \left|u_x(x,t)\right|^2\, dx in t>0t > 0.

?
Problem 6.3.5

For the indicated domain Ω\Omega (interior of the parabola) let ΩT\Omega_T denote the points (x,t)(x,t) with x∈Ωx \in \Omega and t<Tt < T. Let B1B_1 denote the open line-segment forming the top of ∂ΩT\partial \Omega_T, and let B2=∂ΩT∖B1B_2 = \partial \Omega_T \setminus B_1. Let u(x,t)∈C0(ΩT‾)u(x,t) \in C^0(\overline{\Omega_T}) with uxx,ut∈C0(ΩT∪B1)u_{xx}, u_t \in C^0(\Omega_T \cup B_1) be a solution of

uxx−ut+a(x,t)u=f(x,t) u_{xx} - u_t + a(x,t) u = f(x,t)

with a,f∈C0(Ω‾)a, f \in C^0(\overline{\Omega }). Show that if a<0a < 0, f≤0f \leq 0 in ΩT\Omega_T, then every non-constant solution uu assumes its negative minimum (if one exists) on B2B_2. What can you say if a<0a < 0, f≥0f \geq 0 in ΩT\Omega_T?

?
Problem 6.3.6

Consider the boundary-value problem

u_xx + u_t = 0 (0 x and t > 0), B.C. u(0,t) = 0, u_x(,t) = 0, I.C. u(x,0) = f(x).

Use the sequence {fn(x)=2n+1sin⁡(n+12x)}\left\{ f_n(x) = \dfrac {2}{n+1} \sin \left(\dfrac {n+1}{2}x\right)\right\} and an appropriate space of continuous functions to decide whether this problem is well-posed.

?
Problem 6.3.7

In Probability Theory one encounters the Ornstein-Uhlenbeck process, in which the particles of Brownian motion are subjected to an elastic force. One is required to solve

u_t = u_xx - xu_x (x R, t > 0) u(x,0) = u_0(x).

Assume u0∈Su_0 \in S and find uu. (You should be able to find uu explicitly; if not, leave your result in the form of a one-dimensional integral.)

?
Problem 6.3.8

Let LL be the usual heat operator

L=∂∂t−(∂2∂x12+⋯+∂2∂xn2), L = \frac{\partial }{\partial t} - \left(\frac{\partial ^2}{\partial x_1^2} + \cdots + \frac{\partial ^2}{\partial x_n^2}\right),

let ϕ∈D(Rn)\phi \in D(\mathbb {R}^{n}), and let hh be a fixed point of Rn\mathbb {R}^{n}. Consider the problem

(Lu)(x,t) = u(x-h,t), x R^n, t > 0, u(x,0) = (x), x R^n

for an unknown function u(x,t)u(x,t).

?
(a)

Derive an explicit representation for a solution u(x,t)u(x,t) of the above problem in terms of the initial data. (You should prove that your uu is well-defined, but you need not prove that it represents a smooth solution.)

(b)

Assume that ϕ\phi is the Fourier transform of a function which vanishes in the ball of radius R≥0R \geq 0 centered at the origin. Show then that the solution uu satisfies

∥u(⋅,t)∥L2(Rn)≤e(1−R2)t∥ϕ∥L2(Rn). \left\| u(\cdot ,t)\right\| _{L^2(\mathbb {R}^{n})} \leq e^{(1-R^2)t} \left\| \phi \right\| _{L^2(\mathbb {R}^{n})}.
Problem 6.3.9

Let Ω⊂Rn\Omega \subset \mathbb {R}^{n} be a bounded domain and assume u(x,t)≥0u(x,t) \geq 0 is a function with u∈C2(Ω‾×[0,∞))u \in C^2(\overline{\Omega } \times [0,\infty )), which solves the equation

ut−Δu=−u4 u_t - \Delta u = -u^4

(heat conduction with heat loss due to radiation) with the boundary condition u∣∂Ω=0u|_{\partial \Omega } = 0. Prove that we can find a constant CC such that

E(1)=∫Ωu2(x,1) dx≤C E(1) = \int _{\Omega } u^2(x,1)\, dx \leq C

regardless of the initial value u(x,0)u(x,0).

?
Problem 6.3.10

Let

u∈C2(B(0,r)×(0,T])∩C(B(0,r)‾×[0,T]) u \in C^2(B(0,r) \times (0,T]) \cap C(\overline{B(0,r)} \times [0,T])

satisfy

{ut+u3+sin⁡(u)=Δxu,B(0,r)×(0,T],u=h,∂B(0,r)×(0,T],u=g,B(0,r)‾×{0} \begin{cases} u_t + u^3 + \sin (u) = \Delta _x u, & B(0,r) \times (0,T], \\ u = h, & \partial B(0,r) \times (0,T], \\ u = g, & \overline{B(0,r)} \times \left\{ 0\right\} \end{cases}

with g,hg,h continuous and g,h<1g,h < 1. Prove that max⁡u<1\max u < 1 on B(0,r)‾×[0,T]\overline{B(0,r)} \times [0,T].

?
Problem 6.3.11

Let u∈C2(Ω×(0,T))∩C0(Ω‾×[0,T])u \in C^2(\Omega \times (0,T)) \cap C^0(\overline{\Omega } \times [0,T]) be a solution to the problem

{ut=Δu−u3x∈Ω,t>0,u=0x∈∂Ω,t>0,u(x,0)=f(x)x∈Ω, \begin{cases} u_t = \Delta u - u^3 & x \in \Omega , t > 0, \\ u = 0 & x \in \partial \Omega , t > 0, \\ u(x,0) = f(x) & x \in \Omega , \end{cases}

where Ω\Omega is a smooth bounded domain in Rn\mathbb {R}^{n}.

?
(a)

Prove that

∥u∥L2(Ω)(t)≤∥f∥L2(Ω)for all t∈(0,T]. \left\| u\right\| _{L^2(\Omega )}(t) \leq \left\| f\right\| _{L^2(\Omega )} \quad \text{for all } t \in (0,T].
(b)

Prove that

∥u∥L∞(Ω)(t)≤∥f∥L∞(Ω)for all t∈(0,T]. \left\| u\right\| _{L^{\infty }(\Omega )}(t) \leq \left\| f\right\| _{L^{\infty }(\Omega )} \quad \text{for all } t \in (0,T].
(c)

Prove that the solution to this boundary value problem is unique.

(d)

Show that for f∈L4(Ω)∩H1(Ω)f \in L^4(\Omega ) \cap H^1(\Omega ), the following bound also holds:

∥u∥L4(Ω)4(t)+∥u∥H1(Ω)2(t)≤∥f∥L4(Ω)4+∥f∥H1(Ω)2. \left\| u\right\| _{L^4(\Omega )}^4(t) + \left\| u\right\| _{H^1(\Omega )}^2(t) \leq \left\| f\right\| _{L^4(\Omega )}^4 + \left\| f\right\| _{H^1(\Omega )}^2.
Problem 6.3.12

For each p∈Rnp \in \mathbb {R}^{n}, let A(p)A(p) be a real positive definite n×nn \times n matrix with entries aij(p)a_{ij}(p). Assume A∈C1(Rn)A \in C^1(\mathbb {R}^{n}). Let Ω⊂Rn\Omega \subset \mathbb {R}^{n} be a bounded open set. Prove (from first principles) the following comparison principle:

Let uu and vv be C2C^2 solutions to the inequalities

ut≤aij(∇u)uxixjfor (x,t)∈Ω×(0,∞) u_t \leq a_{ij}(\nabla u) u_{x_ix_j} \quad \text{for } (x,t) \in \Omega \times (0,\infty )

and

vt≥aij(∇v)vxixjfor (x,t)∈Ω×(0,∞), v_t \geq a_{ij}(\nabla v) v_{x_ix_j} \quad \text{for } (x,t) \in \Omega \times (0,\infty ),

respectively. Suppose, furthermore, that uu and vv are continuous on Ω‾×[0,∞)\overline{\Omega } \times [0,\infty ) and satisfy the condition u≤vu \leq v on the parabolic boundary

(Ω×{0})∪(∂Ω×[0,∞)). (\Omega \times \left\{ 0\right\} ) \cup (\partial \Omega \times [0,\infty )).

Then u≤vu \leq v on Ω‾×[0,∞)\overline{\Omega } \times [0,\infty ).

?
Problem 6.3.13

For Ω⊂Rn\Omega \subset \mathbb {R}^{n} bounded and open, let u∈C2(Ω‾×[0,∞))u \in C^2(\overline{\Omega } \times [0,\infty )). Assume aij(x,t,z,p)a_{ij}(x,t,z,p) and bi(x,t,z)b_i(x,t,z) are continuous functions of their arguments and assume that

∑i,j=1naij(x,t,z,p)ξiξj≥λ(x,t,z,p)∣ξ∣2>0for every ξ∈Rn−{0}, \sum _{i,j=1}^n a_{ij}(x,t,z,p) \xi _i \xi _j \geq \lambda (x,t,z,p) \left|\xi \right|^2 > 0 \quad \text{for every } \xi \in \mathbb {R}^{n} - \left\{ 0\right\} ,

where λ\lambda is a positive function. Suppose uu satisfies the inequality

ut−∑i,j=1naij(x,t,u,∇u)uxixj−∑i=1nbi(x,t,u)uxi≥0for x∈Ω,t>0. u_t - \sum _{i,j=1}^n a_{ij}(x,t,u,\nabla u) u_{x_ix_j} - \sum _{i=1}^n b_i(x,t,u) u_{x_i} \geq 0 \quad \text{for } x \in \Omega , t > 0.

Prove that for any T>0T > 0

min⁡Ω‾×[0,T]u(x,t)=min⁡Qu(x,t) \min _{\overline{\Omega } \times [0,T]} u(x,t) = \min _Q u(x,t)

where Q=(Ω×{0})∪(∂Ω×[0,T])Q = (\Omega \times \left\{ 0\right\} ) \cup (\partial \Omega \times [0,T]).

?
Problem 6.3.14

Let Ω\Omega be a bounded open set of Rn\mathbb {R}^{n} with smooth boundary ∂Ω\partial \Omega. Let u∈C2(Ω×(0,∞))u \in C^2(\Omega \times (0,\infty )), with uu continuous on Ω×[0,∞)\Omega \times [0,\infty ), be a solution of the initial-boundary problem

u_t - u = (u) for x , t > 0 u(x,t) = 0 for x u(x,0) = f(x) for x .

Show that if f(x)≤1f(x) \leq 1, then u(x,t)≤etu(x,t) \leq e^t for all x∈Ω,t>0x \in \Omega , t > 0.

?
Problem 6.3.15

Consider the Cauchy problem for Burger's equation:

u_t - u_xx + uu_x = 0, R (0,), u(x,0) = g(x)

where g∈L∞∩L1(−∞,∞)g \in L^{\infty } \cap L^1(-\infty ,\infty ). Derive the explicit formula of the solution for the Cauchy problem.

?
Problem 6.3.16

Consider the rectangle Q=[0,a]×[0,b]⊂R2Q = [0,a] \times [0,b] \subset \mathbb {R}^{2}.

?
(a)

By separation of variables, compute the first eigenvalue λ1\lambda_1 and the first eigenfunction ϕ1\phi_1 of the Laplacian operator −Δ-\Delta on QQ:

Δu+λu=0, on Q,u=0 on ∂Q. \Delta u + \lambda u = 0, \text{ on } Q, \quad u = 0 \text{ on } \partial Q.
(b)

Let gg be a smooth function that vanishes on the boundary ∂Q\partial Q. Assuming that κ<λ1\kappa < \lambda_1, prove that the solution of the parabolic problem

u_t = u + u t > 0, x Q u(0,x) = g(x), x Q u(t,x) = 0, x Q

converges to zero uniformly on QQ, as t→∞t \to \infty.