Loading [MathJax]/jax/output/HTML-CSS/jax.js

2024年3月3日 星期日

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

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

  1. Let K(x)=(4π|x|)1, fC(R3) with f(x)=O(|x|2ϵ) as |x|, and u(x)=R3K(xy)f(y)dy.
    1. Show uC1(R3) and u(x)=O(|x|1ϵ) as |x|.
    2. If additionally fC1(R3), show uC2(R3).
  2. Solution
    1. Since f(x)=O(|x|2ϵ) as |x|, there exist positive constants C and R such that |f(y)|C|y|2ϵ for |y|R, which implies M=maxyR3|f(y)| is finite. For any xR3, we set R=max{R,2|x|} and pick ρ>0 such that Bρ(x)BR(0). Then u can be represented as

      u(x)=BR(0)Bρ(x)K(xy)f(y)dy+Bρ(x)K(xy)f(y)dy+R3BR(0)K(xy)f(y)dy.

      The first integral is proper so it is well-defined. The second integral can be estimated by

      |Bρ(x)K(xy)f(y)dy|M4πBρ(x)dy|xy|=M4ππ02π0ϵ0ρ2sinϕρdρdθdϕ=M4π22πϵ22=Mϵ22.

      The third integral can be estimated by

      |R3BR(0)K(xy)f(y)dy|C4πR3BR(0)|y|2ϵ|xy|2dyC2πR3BR(0)|y|3ϵdy=C2ππ02π0Rρ3ϵρ2sinϕdρdθdϕ=C2π22πρϵϵ|R=2C(R)ϵϵ.

      Here we have used the inequality |xy||y|/2 for yR3BR(0). Therefore, the Newtonian potential u of f is well-defined for all xR3.
      For any i=1,,n, let

      u(i)(x)=R3Kxi(xy)f(y)dy=14πR3xiyi|xy|3f(y)dy,

      which is well-defined because Kxi is O(|xy|2 as |xy|0 and Kxi(xy)f(y) is O(|y|4ϵ) as |y| (as for the above estimate of u). To show u(i)=uxi, we first approximate u by a smooth function as follows. Let ηC(R) satisfy η(t)=0 for t<1, η(t)=1 for t>2 and 0η(t)1 and 0η(t)2 for all t. Then we define

      uδ(x)=R3Kδ(xy)f(y)dy:=R3K(xy)η(|xy|δ)f(y)dy=14πR3η(|xy|/δ)|xy|f(y)dyfor xR3,

      where Kδ(z)=η(|z|/δ)|z| for δ>0 and zR3. Note that Kδ is smooth so uδ is also smooth and satisfies

      uδxi(x)=14πR3[xiyi|xy|3η(|xy|δ)+xiyiδ|xy|η(|xy|δ)]f(y)dy

      It is straightforward to check that uδu uniformly on any compact subsets of R3, which means u is continuous in R3. Now we prove uδxiu(i) as δ0. Since η(t)=1 for t>2, we observe that

      u(i)(x)uδxi(x)=14π|xy|<2δ{[1η(|xy|δ)]xiyi|xy|3xiyiδ|xy|η(|xy|δ)}f(y)dy=14π|z|<2δ{[1η(|z|δ)]zi|z|3ziδ|z|η(|z|δ)}f(xz)dz.

      It is easy to estimate the following integrals

      |14π|z|<2δziδ|z|η(|z|δ)f(xz)dz|2M4πδ|z|<2δdz=2M4πδ4π(2δ)33=16Mδ23,|14π|z|<2δ[1η(|z|δ)]zi|z|3f(xz)dz|M2π|z|<2δdz|z|2=M2ππ02π0δ0ρ2sinϕρ2dρdθdϕ=M2π22πδ=2Mδ.

      Thus, we see that

      |u(i)(x)uδxi(x)|(16δ3+2)Mδfor xR3,

      which implies u(i) is the uniform limit of the continuous functions uδxi as δ tends to zero. Recall that Theorem 7.12 of "Introduction to Analysis (Fourth Edition)" states that "Let (a,b) be a bounded interval and suppose that fn is a sequence of functions which converges at some x0(a,b). If each fn is differentiable on (a,b) and fn converges uniformly on (a,b) as n, then fn converges uniformly on (a,b) and limnfn(x)=(limnfn(x))". Therefore we show that uC1(R3) and

      uxi(x)=u(i)(x)=14πR3xiyi|xy|3f(y)dy.

      Write x=|x|ω for ωS2 and use the change of variable y=|x|z, we find

      |u(x)|14πR3|f(y)||xy|2dy=14πR3f(|x|z)|x|x|z|2|x|3dz=|x|4πR3f(|x|z)|ωz|2dz=|x|4π(BR/|x|(0)f(|x|z)|ωz|2dz+R3BR/|x|(0)f(|x|z)|ωz|2dz).

      When |x|2R, the first integral can be estimated by

      BR/|x|(0)f(|x|z)|ωz|2dz4MBR/|x|(0)dz=4M4π(R/|x|)33=16MπR33|x|3.

      On the other hand, the second integral is estimated by

      R3BR/|x|(0)f(|x|z)|ωz|2dzCR3BR/|x|(0)|x|2ϵ|z|2ϵ|ωz|2dz=C|x|2ϵR3BR/|x|(0)|z|2ϵ|ωz|2dz˜C|x|2ϵ.

      Here we have used the fact that improer integral is convergent because |z|2ϵ|ωz|2/1|z|4+ϵ1 as |z| and is O(|ωz|2) as zω. Therefore, we obtain

      |u(x)||x|4π(16MπR33|x|3+˜C|x|2ϵ)ˆC|x|1ϵ.


      The original statement is that "Show that uC1(Rn) and u(x)=O(|x|2)", which might be typos so I correct it directly. As my best knowledge, u=O(|x|1ϵ) is more reasonable because u=O(|x|ϵ) as |x|, which is shown in two papers: "On Helmholtz's theorem and the completeness of the Papkovich-Neuber stress functions for infinite domains" (Author: M. E. Gurtin) and "A Constructive Proof of Helmholtz’s Theorem" (Author: Bernardo De La Calle Ysern, José C. Sabina De Lis). If you have a better proof to improve this decaying rate, please tell me! Thank you.
    2. Note that

      uxi=14πR3xiyi|xy|f(y)dy=14πR3yi|y|f(xy)dy.

      Then it is clear that

      2uxjxi=14πR3yi|y|3fxj(xy)dy,

      which is continuous in R3. Thus, uC2(R3).

沒有留言:

張貼留言