Paper 3, Section II, E

Partial Differential Equations | Part II, 2015

(a) Show that if f∈S(Rn)f \in \mathcal{S}\left(\mathbb{R}^{n}\right) is a Schwartz function and uu is a tempered distribution which solves

−Δu+m2u=f-\Delta u+m^{2} u=f

for some constant m≠0m \neq 0, then there exists a number C>0C>0 which depends only on mm, such that ∥u∥Hs+2⩽C∥f∥Hs\|u\|_{H^{s+2}} \leqslant C\|f\|_{H^{s}} for any s⩾0s \geqslant 0. Explain briefly why this inequality remains valid if ff is only assumed to be in Hs(Rn)H^{s}\left(\mathbb{R}^{n}\right).

Show that if ϵ>0\epsilon>0 is given then ∥v∥H12⩽ϵ∥v∥H22+14ϵ∥v∥H02\|v\|_{H^{1}}^{2} \leqslant \epsilon\|v\|_{H^{2}}^{2}+\frac{1}{4 \epsilon}\|v\|_{H^{0}}^{2} for any v∈H2(Rn)v \in H^{2}\left(\mathbb{R}^{n}\right).

[Hint: The inequality a⩽ϵa2+14ϵa \leqslant \epsilon a^{2}+\frac{1}{4 \epsilon} holds for any positive ϵ\epsilon and a∈R.a \in \mathbb{R} . ]

Prove that if uu is a smooth bounded function which solves

−Δu+m2u=u3+α⋅∇u-\Delta u+m^{2} u=u^{3}+\alpha \cdot \nabla u

for some constant vector α∈Rn\alpha \in \mathbb{R}^{n} and constant m≠0m \neq 0, then there exists a number C′>0C^{\prime}>0 such that ∥u∥H2⩽C′\|u\|_{H^{2}} \leqslant C^{\prime} and C′C^{\prime} depends only on m,α,∥u∥L∞,∥u∥L2m, \alpha,\|u\|_{L^{\infty}},\|u\|_{L^{2}}.

[You may use the fact that, for non-negative ss, the Sobolev space of functions

Hs(Rn)={f∈L2(Rn):∥f∥Hs2=∫Rn(1+∥ξ∥2)s∣f^(ξ)∣2dξ<∞}.]\left.H^{s}\left(\mathbb{R}^{n}\right)=\left\{f \in L^{2}\left(\mathbb{R}^{n}\right):\|f\|_{H^{s}}^{2}=\int_{\mathbb{R}^{n}}\left(1+\|\xi\|^{2}\right)^{s}|\hat{f}(\xi)|^{2} d \xi<\infty\right\} .\right]

(b) Let u(x,t)u(x, t) be a smooth real-valued function, which is 2π2 \pi-periodic in xx and satisfies the equation

ut=u2uxx+u3u_{t}=u^{2} u_{x x}+u^{3}

Give a complete proof that if u(x,0)>0u(x, 0)>0 for all xx then u(x,t)>0u(x, t)>0 for all xx and t>0t>0.

Typos? Please submit corrections to this page on GitHub.