Processing math: 100%

2024年3月8日 星期五

Solution to Partial Differential Equations: Methods and Applications (Robert McOwen) Section 5.2

Solution to Partial Differential Equations: Methods and Applications (Robert McOwen) Section 5.2

  1. Proof of Theorem 1. Let K(x,y,t) be the Gaussian kernel (18).
    1. Show that K(x,y,t) is C and satisfies (tΔx)K(x,y,t)=0 for x,yRn and t>0.
    2. Prove that for every xRn and t>0, RnK(x,y,t)dy=1.
    3. For any δ>0, show that

      limt0+|xy|>δK(x,y,t)dy=0

      uniformly for xRn.
    4. Use (a)-(c) and gCB(Rn) to show u(x,t)g(x0) as (x,t)(x0,0+), proving the theorem.
  2. Solution
    1. We firstly recall that the heat kernel K given by

      K(x,y,t)=1(4πt)n/2exp(|xy|24t)for x,yRn and t>0.

      It is clear that K is C(Rn×Rn×R+) because all functions composing K are smooth. A direct computation gives

      Kt(x,y,t)=n21(4πt)n/2texp(|xy|24t)+1(4πt)n/2exp(|xy|24t)|xy|24t2,Kxi(x,y,t)=1(4πt)n/2exp(|xy|24t)2(xiyi)4t,2Kx2i(x,y,t)=1(4πt)n/2exp(|xy|24t)(xiyi)24t212(4πt)n/2texp(|xy|24t).

      Hence it is easy to verify that

      (tΔx)K(x,y,t)=Ktni=12Kx2i=n21(4πt)n/2exp(|xy|24t)+1(4πt)n/2exp(|xy|24t)|xy|24t21(4πt)n/2exp(|xy|24t)|xy|24t2n2(4πt)n/2texp(|xy|24t)=0.

      The proof is complete.
    2. For every xRn and t>0, it is clear that

      RnK(x,y,t)dy=1(4πt)n/2Rnexp(|xy|24t)dy=1(4πt)n/2Rnexp(14tni=1(xiyi)2)dy=1(4πt)n/2ni=1Rexp((xiyi)24t)dyi=1(4πt)n/2ni=14πt=1.

      Here we have used the fact that Rexp(k(xy)2)dy=πk for k>0.
    3. Using the polar coordinate, we have

      |xy|>δK(x,y,t)dy=1(4πt)n/2Sn1δexp(r24t)rn1drdωSn1=Hn1(Sn1)(4πt)n/2δexp(r24t)rn1dr,

      where Hn1(Sn1) denotes the (n1)-dimensional Hausdorff measure of Sn1, i.e., the surface area of Sn1. Using the change of variable with s=r/4t, the integral can be transformed into

      |xy|>δK(x,y,t)dy=Hn1(Sn1)πn/2δ/4tsn1exp(s2)ds

      Since 0sn1exp(s2)ds is convergent and limt0+δ4t=, we obtain

      limt0+|xy|>δK(x,y,t)dy=Hn1(Sn1)πn/2limt0+δ/4tsn1exp(s2)ds=0.

      Note that this convergence rate is independent of x so the convergnece is uniform in x.
    4. Fix x0Rn and ϵ>0. Since g is continuous in Rn, there exists δ>0 such that |g(y)g(x0)|<ϵ for |yx0|<δ and yRn. For |xx0|<δ/2, we can use (b) to find that

      |u(x,t)g(x0)|=|RnK(x,y,t)[g(y)g(x0)]dy|Bδ(x0)K(x,y,t)|g(y)g(x0)|dy+RnBδ(x0)K(x,y,t)|g(y)g(x0)|dy.

      Clearly, we have

      Bδ(x0)K(x,y,t)|g(y)g(x0)|dyϵBδ(x0)K(x,y,t)dyϵRnK(x,y,t)dy=ϵ.

      Here we have used (b) again. On the other hand, if |yx0|δ, we observe that

      |yx0||yx|+|xx0||yx|+δ2|yx|+12|yx0|,

      which implies |yx|12|yx0|. Hence, by (c), we have

      RnBδ(x0)K(x,y,t)|g(y)g(x0)|dy2supyRn|g(y)|RnBδ(x0)K(x,y,t)dy0as t0+,

      which means

      RnBδ(x0)K(x,y,t)|g(y)g(x0)|dyϵfor 0<tt0,

      where t0 is sufficiently small. Therefore, |u(x,t)g(x0)|<2ϵ for |xx0|<δ/2 and 0<t<t0 and the proof is complete.

      Remark. The original statement is that "u(x,t)g(x) as t0+", which cannot be regarded as the continuous extension of u to t0. A suitable continuous extension of u has been shown.

  3. Let g(x) be bounded and continuous for xRn and define u by (19).
    1. Show |u(x,t)|sup{|g(y)|:yRn}.
    2. If, in addition, Rn|g(y)|dy<, show that limtu(x,t)=0 uniformly in xRn.
  4. Solution
    1. By part (b) of Exercise 1, we have

      |u(x,t)|=|RnK(x,y,t)g(y)dy|RnK(x,y,t)|g(y)|dysupyRn|g(y)|RnK(x,y,t)dy=supyRn|g(y)|.

      Here we have used the fact that K0 in Rn×(0,).
    2. A direct estimate implies

      |u(x,t)|=|RnK(x,y,t)g(y)dy|1(4πt)n/2Rnexp(|xy|24t)|g(y)|dy1(4πt)n/2Rn|g(y)|dy.

      Here we have used the fact that K0 in Rn×Rn×(0,) and exp(|xy|24t)1 for x,yRn and t(0,). Since limt1(4πt)n/2Rn|g(y)|dy=0 and is independent of xRn, we obtain limtu(x,t)=0 uniformly in xRn. The proof is complete.

  5. Let g(x)Ck(Rn) with Dαg uniformly bounded on Rn for each |α|k. Show that u defined by (19) satisfies uCk,[k/2](Rn×[0,)).
  6. SolutionWe prove the statement by mathematical induction. Clearly, the statement holds true for k=0 due to Theorem 1 at page 149 in the textbook. Suppose the statement holds true for k=m, i.e., uCm,[m/2](Rn×[0,)) when gCm(Rn). Now we suppose that gCm+1(Rn). Then by the inductive assumption, we have

    uCm,[m/2](Rn×[0,))Cm+1,[(m+1)/2](Rn×(0,))Cm,[m/2](Rn×[0,))C,(Rn×(0,)).

    To show that uCm+1,[(m+1)/2](Rn×[0,)), we need to prove Dαxu (|α|=m+1) and [(m+1)/2]tu can be continously extended to Rn×{0}. Since uC(Rn×(0,)), it is clear that Dαxu and [(m+1/2)]t satisfies the heat equation:

    (Dαxu)t=Δ(Dαxu)in Rn×(0,),([(m+1)/2]tu)t=Δ([(m+1)/2]tu)in Rn×(0,).

    • For Dαxu, we find

      Dαxu(x,t)=Dαx1(4πt)n/2Rnexp(|xy|24t)g(y)dy=1(4πt)n/2DαxRnexp(|y|24t)g(xy)dy=1(4πt)n/2Rnexp(|y|24t)(Dαg)(xy)dy=1(4πt)n/2Rnexp(|xy|24t)(Dαg)(y)dy.

      Since Dαg is bounded and continuous in Rn, we can apply Theorem 1 for Dαxu(x,t), which can be continuously extended to Rn×{0}.
    • For [(m+1)/2]tu, we can use tK(x,y,t)=ΔxK(x,y,t) to find

      [(m+1)/2]tu(x,t)=[(m+1)/2]tRnK(x,y,t)g(y)dy=Rn(Δ[(m+1)/2]xK)(x,y,t)g(y)dy=Rn(Δ[(m+1)/2]yK)(x,y,t)g(y)dy=RnK(x,y,t)(Δ[(m+1)/2]g)(y)dy.

      Since Δ[(m+1)/2]g is bounded and continuous in Rn, we can apply Theorem 1 for [(m+1)/2]tu(x,t), which can be continuously extended to Rn×{0}.
    Since Dαxu and [(m+1)/2]tu are continuous in Rn×[0,), we arrive at uCm+1,[(m+1)/2](Rn×[0,)). By the mathematical induction, we complete the proof.

    Remark. In fact, when gCk(Rn), Dαxstu are continuous for multi-index α and nonnegative integer s satisfying |α|+2sk.


  7. Formally check that

    u(x,t)=k=01(2k)!x2kdkdtke1/t2

    satisfies ut=uxx for t>0, xR with u(x,0)=0 for xR. (Proving the convergence of the infinite series is not easy; see [John, 1] or [Widder].)
  8. SolutionHere we suppose that the differentiation and summation can be intercahgned freely. A direct computation shows

    ut(x,t)=tk=01(2k)!x2kdk+1dtk+1e1/t2=k=11(2k2)!x2k2dkdtke1/t2=k=11(2k)!(2k)(2k1)x2k2dkdtke1/t2=k=11(2k)!(d2dx2x2k)dkdtke1/t2=k=01(2k)!(d2dx2x2k)dkdtke1/t2=2x2k=01(2k)!x2kdkdtke1/t2=uxx(x,t).

    Next we prove that limt0+u(x,t)=0. For this purpose, it suffices to show limt0+dkdtke1/t2=0 for all kN{0}, which implies

    limt0+u(x,t)=limt0+k=01(2k)!x2kdkdtke1/t2=k=01(2k)!x2klimt0+dkdtke1/t2=0=u(x,0)for xR.

    Let f(t)=e1/t2 for t0 and f(0)=0. Then for nN, we use the mathematical induction to prove that there exist a(n)1,,a(n)2n1 such that

    f(n)(t)={2n1k=1a(n)ktn+k+1e1/t2if t0,0if t=0.

    When n=1, we have f(t)=2t3e1/t2 for t0. For t=0, we observe that

    f(0)=limh0f(h)f(0)h=limh0e1/h2h=limh01/he1/h2=limh01h22h3e1/h2=limh0h2e1/h2=0.

    Thus, we get

    f(t)={2t3e1/t2if t0,0if t=0.

    Here a(1)1=2. Now we suppose that the statement holds true for n=m, i.e., there exists a(m)1,,a(m)2m1 such that

    f(m)(t)={2m1k=1a(m)kxm+k+1e1/x2if t0,0if t=0.

    For x0, we have

    f(m+1)(t)=2m1k=1a(m)k(m+k+1)tm+k+2e1/t2+2m1k=12a(m)ktm+k+4e1/t2=2m1k=1a(m)k(m+k+1)tm+k+2e1/t2+2m+1k=32a(m)k2tm+k+2e1/t2=2m+1k=1a(m+1)ktm+k+2e1/t2,

    where a(m+1)1=(m+2)a(m)1, a(m+1)2=(m+3)a(m)2, a(m+1)2m=2a(m)2m2, a(m+1)2m+1=2a(m)2m1, and a(m+1)k=(m+k+1)a(m)k2a(m)k2 for 3k2m1. For x=0, we have

    f(m+1)(0)=limh0f(m)(h)f(m)(0)h=limh02m1k=1a(m)khm+k+2e1/h2=2m1k=1limh0a(m)khm+k+2e1/h2=0.

    Here we have used the same technique to calculuate the limit. Therefore, by mathematical induction, we complete the proof of statement, which tells us f(n)(0)=0, i.e., limt0dkdtke1/t2=0 for all kN.

    1. Prove the following weak maximum principle for the heat equation in U=Rn×(0,T): Let u be bounded and continuous on ˉU=Rn×[0,T] with ut,uxixjC(U) and utΔu0 in U. Then

      Msup(x,t)Uu(x,t)=supxRnu(x,0)m.

    2. Use the maximum principle of (a) to show that the solution (19) is the unique solution that is bounded in Rn×[0,T].
  9. Solution
    1. Clearly, Mm follows from the fact that (Rn×{0})ˉU. It suffices to show that Mm. For this purpose, we fix x0Rn and consider the function

      v(x,t)=u(x,t)ϵ(3nt+|xx0|2)for (x,t)ˉU and ϵ>0.

      It is easy to verify that

      vt(x,t)Δv(x,t)=ut(x,t)Δu(x,t)ϵn<0in U.

      Since u is bounded, lim|x|v(x,t)= for any t[0,T], which implies there exists R>0 (independent of t) such that v(x,t)1+infxRnu(x,0) for |xx0|R and tR. On the other hand, v(x0,t)=u(x0,0)infxRnu(x,0)>v(x,t) for |xx0|R and t[0,T]. Hence for any τ(0,T), we can apply the weak maximum principle for heat equation on the bounded domain:

      supRn×(0,τ)v(x,t)=supBR(x0)×(0,τ)v(x,t)=maxˉBR(x0)×[0,τ]v(x,t)=max(ˉBR(x0)×{0})(BR(x0)×[0,τ])v(x,t).

      Let (x,t)(ˉBR(x0)×{0})(BR(x0)×[0,τ]) be the maximum point of v. Suppose by contradiction that (x,t)BR(x0)×(0,τ]. Then vt(x,t)0 and Δv(x,t)0, which implies vt(x,t)Δv(x,t)0. This leads a contradiction. Due to the arbitrariness of τ(0,T), we have

      u(x0,t)3ϵnTu(x0,t)3ϵnt=v(x0,t)sup(x,t)Rn×[0,T]v(x,t)=maxxˉBR(x0)v(x,0)supxRnv(x,0)=supxRn[u(x,0)ϵ|xx0|2]supxRnu(x,0)=m.

      Letting ϵ0+, we obtain u(x0,t)m for any (x0,t)Rn×[0,T]. Therefore, we obtain Mm and complete the proof.
    2. Suppose ˜u and u are bounded solution of the heat equation ut(x,t)Δu(x,t)=0 in U with initial condition u(x,0)=g(x) for xRn, where gCB(Rn). Let w(x,t)=˜u(x,t)u(x,t) for (x,t)Rn×R+. Then w is also bounded and satisfies

      {wt(x,t)Δw(x,t)=0for (x,t)U,w(x,0)=0for xRn.

      By the result of part (a) for w and w, we have

      0=supxRn(w)(x,0)=sup(x,t)U(w)(x,t)=inf(x,t)Uw(x,t)sup(x,t)Uw(x,t)=supxRnw(x,0)=0,

      which shows w0, and hence ˜uu in ˉU. Therefore, we complete the proof of the uniqueness of bounded solution of heat equation with initial condition.

  10. For |x|0, show that ˜K (given in (22)) is smooth (C) in tR. Conclude that ˜K is smooth for (x,t)(0,0).
  11. SolutionRecall that

    ˜K(x,t)={1(4πt)n/2e|x|2/4tfor t>0,0for t0.

    To show ˜K is smooth in t for |x|0, it suffices to prove mt˜K(x,0)=0 for |x|0 and mN. The major observation is based on the calculation in the solution of Exercise 4, which shows that

    m˜Ktm(x,t)={mi=0(didti(4πt)n/2)(mitmie|x|2/4t)for t>0,0for t<0.

    Clearly limt0m˜Ktm(x,t)=0 and hence ˜K is smooth in t. On the other hand, for t0, ˜K is obviously smooth for all xRn. Therefore, ˜K is smooth for (x,t)(0,0).

    The original statement does not follow English grammar so I correct it directly.


  12. Heat conduction in a semi-infinite rod with initial temperature g(x) leads to the equations

    {ut=uxxfor x>0 and t>0,u(x,0)=g(x)for x>0.

    Assume that g is continuous and bounded for x0.
    1. If g(0)=0 and the rod has its end maintained at zero temperature, then we must include the boundary condition u(0,t)=0 for t>0. Find a formula for the solution u(x,t).
    2. If the rod has its end insulated so that there is no heat flow at x=0, then we must include the boundary condition ux(0,t)=0 for t>0. Find a formula for the solution u(x,t). Do you need to require g(0)=0?
  13. Solution
    1. The problem can be formulated as

      {ut=uxxfor x>0 and t>0,u(x,0)=g(x)for x>0,u(0,t)=0for t>0.

      Here g is continuous and bouneded for x0 with g(0)=0. To solve this problem, we use the reflection method to extend g by

      ˜g(x)={g(x)if x0,g(x)if x<0.

      Note that ˜g is continuous and bounded in Rn since g(0)=0. Now we pay attention on the following pure initial value problem

      {˜ut=˜uxxfor xR and t>0,˜u(x,0)=˜g(x)for xR.

      By Theorem 1 at page 149 in the textbook, we get

      ˜u(x,t)=14πtRexp((xy)24t)˜g(y)dy=14πt[0exp((xy)24t)˜g(y)dy+0exp((xy)24t)˜g(y)dy]=14πt[0exp((xy)24t)g(y)dy0exp((xy)24t)g(y)dy]=14πt[0exp((xy)24t)g(y)dy0exp((x+y)24t)g(y)dy]=14πt0[exp((xy)24t)exp((x+y)24t)]g(y)dy=1πt0exp(x2+y24t)sinh(xy2t)g(y)dy.

      It is clear that ˜u(0,t)=0 because sinh(0)=0. Therefore, the solution u can be obtained from the restriction of ˜u over [0,)×[0,), i.e., u=˜u|[0,)×[0,).
    2. The problem can be formulated as

      {ut=uxxfor x>0 and t>0,u(x,0)=g(x)for x>0,ux(0,t)=0for t>0.

      To solve this problem, we use the reflection method to extend g by

      ˜g(x)={g(x)if x0,g(x)if x<0.

      Clearly, ˜g is continuous and bounded in R. Now we pay attention on the following pure initial value problem

      {˜ut=˜uxxfor xR and t>0,˜u(x,0)=˜g(x)for xR.

      By Theorem 1 at page 149 in the textbook, we get

      ˜u(x,t)=14πtRexp((xy)24t)˜g(y)dy=14πt[0exp((xy)24t)˜g(y)dy+0exp((xy)24t)˜g(y)dy]=14πt[0exp((xy)24t)g(y)dy+0exp((xy)24t)g(y)dy]=14πt[0exp((xy)24t)g(t)dy+0exp((x+y)24t)g(y)dy]=14πt0[exp((xy)24t)+exp((x+y)24t)]g(y)dy=1πt0exp(x2+y24t)cosh(xy2t)g(y)dy.

      To verify that the boundary condition holds, we notice that

      ˜ux(x,t)=1πt0[exp(x2+y24t)x2tcosh(xy2t)+exp(x2+y24t)sinh(xy2t)y2t]g(y)dy,

      which implies

      ˜ux(0,t)=1πt0[exp(y24t)0+exp(y24t)0y2t]g(y)dy=0.

      Therefore, the solution u can be obtained from the restriction of ˜u over [0,)×[0,), i.e., u=˜u|[0,)×[0,). Clearly, we do not need to require g(0)=0.

  14. If uC2,1(Rn×[0,)) and fC(Rn+1), show that (29) is equivalent to (27).
  15. SolutionSuppose that uC2,1(Rn×[0,)) and fC(Rn+1) satisfies (29), i.e.,

    0Rn(uvt+uΔv+fv)dxdt=0for vCc(Rn+1).

    Using the intergration by parts, we find

    0=0Rn(uvt+uΔv+fv)dxdt=Rn[u(x,t)v(x,t)|t=t=00utvdt]dx+0Rn(Δu)vdxdt+0Rnfvdxdt=Rnu(x,0)v(x,0)dx+0Rn(ut+Δu+f)vdxdt.

    Due to arbitrariness of vCc(Rn+1), we get ut+Δu+f0 in Rn×(0,) and u(x,0)=0 on Rn, which gives (27).

    Conversely, we suppose that uC2,1(Rn×[0,)) and fC(Rn+1) satisfies (27), i.e.,

    {ut=Δu+f(x,t)for (x,t)Rn×(0,),u(x,0)=0for xRn.

    Multiplying it by vCc(Rn+1) and then integrating it over Rn×[0,), we get

    0Rn(ut+Δu+f(x,t))vdxdt=0.

    Using the integration by parts, we have

    0Rn(uvt+uΔv+fv)dxdt=0,

    which means (29). Here we have used the condition that v has compact support in Rn+1.

    Therefore these calculations end the proof.

    1. Use (30) to prove Theorem 3.
    2. Verify the following elementary fact: If 0<α<1 and β0, then there exists a constant M=M(α,β)>0 so that zβezMeαz for all z0.
    3. Use (b) to verify the following estimates:

      t˜K(x,t)M1t˜K(x,2t),xi˜K(x,t)M2t˜K(x,2t),xixj˜K(x,t)M3t˜K(x,2t).

    4. Use (30) and (c) to confirm the Remark following Theorem 3.
  16. Solution
    1. In order to prove Theorem 3, we need to check that function u defined by

      u(x,t)=t0Rn˜K(xy,ts)f(y,s)dyds

      satisfies nonhomogeneous heat equation with homogeneous initial condition:

      {ut=Δu+f(x,t)for xRn and t>0,u(x,0)=0for xRn.

      Here fC2,1(Rn×[0,T]) is bounded for every T>0 and ˜K is defined in (22) (also see Exercise 6). In addition, we set

      M=max{sup(x,t)Rn|ft(x,t)|,sup(x,t)Rn|f(x,t)|,sup(x,t)Rn|D2xf(x,t)|}.

      Firstly we change variable to write

      u(x,t)=t0Rn˜K(y,s)f(xy,ts)dyds.

      Since fC2,1(Rn×[0,T]) is bounded for every T>0 and ˜K=˜K(y,s) is smooth near s=t>0, we get

      ut(x,t)=t0Rn˜K(y,s)ft(xy,ts)dyds+Rn˜K(y,t)f(xy,0)dy,uxixj(x,t)=t0Rn˜K(y,s)fxixj(xy,ts)dyds.

      Clearly, ut and uxixj are continuous so uC2,1(Rn×(0,)). Then we find

      ut(x,t)Δu(x,t)=t0Rn˜K(y,s)[tΔx]f(xy,ts)dyds+Rn˜K(y,t)f(xy,0)dy=(ϵ0+tϵ)Rn˜K(y,s)[sΔy]f(xy,ts)dyds+Rn˜K(y,t)f(xy,0)dy

      For 0tT, we note that

      |ϵ0Rn˜K(y,s)[sΔy]f(xy,ts)dyds|2Mϵ0Rn˜K(y,s)dyds=2Mϵ.

      Using the integrating by parts, we find

      tϵRn˜K(y,s)[sΔy]f(xy,ts)dyds=tϵRn[sΔy]˜K(y,s)f(xy,ts)dyds+Rn˜K(y,ϵ)f(xy,tϵ)dyRn˜K(y,t)f(xy,0)dy,

      which implies

      tϵRn˜K(y,s)[sΔy]f(xy,ts)dyds+Rn˜K(y,t)f(xy,0)dy=Rn˜K(y,ϵ)f(xy,tϵ)dy.

      Here we have used the fact that ˜Ks(y,s)=Δy˜K(y,s) for yRn and ϵst. Thus, by Proposition we obtain

      ut(x,t)Δu(x,t)=limϵ0+Rn˜K(y,ϵ)f(xy,tϵ)dy=f(x,t).

      Here we have used the fact that (21), i.e., limt0+˜K(x,t)=δ0(x)=δ(x) as distribution on Rn. Finally, we note that |u(x,t)|tM0 as t0+, which gives u(x,0)=0. The proof is complete.
    2. Consider the function g:[0,)R defined by

      g(z)=zβe(α1)zfor z0.

      It is easy to see

      g(z)=βzβ1e(α1)z+zβe(α1)z(α1)=g(z)z(β+(α1)z).

      By solving g(z)=0, we get z=β/(1α). Since g(z)0, we have g(z)>0 on (0,(1α)1β) and g(z)<0 on ((1α)1β,), which implies g attina its maximum value at z=(1α)1β. Therefore, we find

      g(z)g(β1α):=M(α,β)=M,

      which gives zβezMeαz for all z0.
    3. Some direct computations give

      t˜K(x,t)=t[(4πt)n/2exp(|x|24t)]=(n2)(4πt)(n+2)/2exp(|x|24t)+(4πt)n/2exp(|x|24t)|x|24t2=(n8πt+|x|24t2)(4πt)n/2exp(|x|24t)2n/2t(4π(2t))n/2|x|24texp(|x|24t)2n/2t(4π(2t))n/2M(12,1)exp(|x|28t)=2n/2M(1/2,1)t˜K(x,2t):=M1t˜K(x,2t),

      where M1=2n/2M(1/2,1). On the other hand, we have

      xi˜K(x,t)=xi(4πt)n/2exp(|x|24t)=(4πt)n/2exp(|x|24t)xi2t2n/2t(4π(2t))n/2|x|2texp(|x|24t)2n/2t(8πt)n/2M(12,12)exp(|x|28t)=2n/2M(1/2,1/2)t˜K(x,2t):=M2t˜K(x,2t),

      where M2=2n/2M(1/2,1/2). Moreover, we have

      xixj˜K(x,t)=xj[(4πt)n/2exp(|x|24t)xi2t]=(4πt)n/2exp(|x|24t)[xixj4t2δij2t]2n/2t(4π(2t))n/2|x|24texp(|x|24t)2n/2t(8πt)n/2M(12,1)exp(|x|28t)=2n/2M(1/2,1)t˜K(x,2t):=M3t˜K(x,2t),

      where M3=2n/2M(1/2,1). The proof is complete.
    4. I am not sure why we need to use (c). In my opinion, we need to prove the equality ut=Δu+f(x,t) so we cannot use too weak inequality unless we can drop those terms. I think there is a formal derivation as follows.

      ut(x,t)=Rn(Δx˜K)(xy,0)f(y,t)dyds+t0Rn˜Kt(xy,ts)f(y,s)dyds=f(x,t)+t0Rn(Δx˜K)(xy,ts)f(y,s)dyds=Δu(x,t)+f(x,t)in Rn×(0,T).

      Since f is continuous and bounded in Rn×[0,T], we have |u(x,t)|tsup(y,s)Rn×[0,T]|f(y,s)|, which implies limt0+u(x,t)=0 for any xRn. Therefore, we complete the proof.

  17. If f(x,t) is continuous and bounded on Rn+1 and vanishes for t sufficiently negative [i.e., f(x,t)=0 for tτ<0], show that the convolution u=˜Kf defines a continuous weak solution of the nonhomogeneous heat equation ut=Δu+f(x,t) in Rn+1.
  18. SolutionSince f is defined in Rn+1 and vanishes for t sufficiently negative, the convolution u can be denoted as

    u(x,t)=t0Rn˜K(xy,ts)f(y,s)dyds=Rn˜K(xy,ts)f(y,s)dyds=Rn+1˜K(xy,ts)f(y,s)dyds.

    Here we have used the fact that ˜K(xy,ts)=0 for st. Using the integration by parts, we can verify that

    Rn+1Rn+1[˜K(xy,ts)f(y,s)(ϕt(x,t)+Δϕ(x,t))]dydsdxdt+Rn+1f(x,t)ϕ(x,t)dxdt=0

    for any ϕCc(Rn+1). Hecne we need to show that u is continuous in Rn+1. Clearly, u(x,t)=0 for t<0. Let us consider the function v(x,t,s)=RnK(x,y,ts)f(y,s)dy, which is continuous in (x,s)Rn×[0,t] and by Theorem 1 with the intial data g(y)=f(y,s). Therefore, the solution u=t0v(x,t,s)ds is also continuous in (x,t)Rn+1. The proof is complete.

  19. Find a formula for the solution of the initial value problem

    {ut=Δuufor xRn and t>0,u(x,0)=g(x)for xRn,

    where g is continuous and bouneded. Is the solution bounded? Is it the only bounded solution?
  20. SolutionLet v(x,t)=etu(x,t) for xRn and t>0. Then v satisfies

    {vt=Δvfor xRn and t>0,v(x,0)=g(x)for xRn.

    Since g is continuous and bouneded in Rn, we can apply Theorem 1 to get

    v(x,t)=RnK(x,y,t)g(y)dy=1(4πt)n/2Rnexp(|xy|24t)g(y)dy,

    which gives

    u(x,t)=et(4πt)n/2Rnexp(|xy|24t)g(y)dy.

    Since v is bounded and et1, this solution u is also bounded in Rn×[0,). To show the uniqueness of bounded solution, we suppose that ˜u is also a bounded solution of

    {˜ut=Δ˜u˜ufor xRn and t>0,˜u(x,0)=g(x)for xRn.

    Let w=et(˜uu) in Rn×[0,). Then w is also bounded in Rn×[0,) and satisfies

    {wt=Δwfor xRn and t>0,w(x,0)=0for xRn.

    By the result of part (b) of Exercise 5, we have w0 in Rn×[0,T] for any T>0, which means w0 and hence ˜uu in Rn×[0,).

沒有留言:

張貼留言