TheoremComplete

Introduction to Nonlinear PDE - Main Theorem

TheoremLocal Existence for Semilinear Parabolic

Consider ut=Ξ”u+f(u)u_t = \Delta u + f(u) in Rn\mathbb{R}^n with u(0)=u0∈L∞u(0) = u_0 \in L^\infty and ff locally Lipschitz.

There exists T>0T > 0 (depending on βˆ₯u0βˆ₯L∞\|u_0\|_{L^\infty} and Lipschitz constant of ff) such that a unique classical solution exists on [0,T)[0, T).

If f(u)/uβ†’βˆ’βˆžf(u)/u \to -\infty as ∣uβˆ£β†’βˆž|u| \to \infty (negative feedback), then T=∞T = \infty (global existence).

TheoremFujita's Blowup Theorem

For ut=Ξ”u+upu_t = \Delta u + u^p on Rn\mathbb{R}^n with non-negative, non-trivial u0u_0:

  • If 1<p≀1+2/n1 < p \leq 1 + 2/n: All solutions blow up in finite time
  • If p>1+2/np > 1 + 2/n: Small data gives global existence, large data blows up

The critical exponent pc=1+2/np_c = 1 + 2/n (Fujita exponent) is sharp.

TheoremContraction Mapping for Quasilinear

For ut+F(u,Du,D2u)=0u_t + F(u, Du, D^2u) = 0 with FF smooth and satisfying structural conditions (parabolicity, growth bounds), local-in-time solutions exist in HΓΆlder or Sobolev spaces via contraction mapping on solution operator written as integral equation.

Remark

Blowup analysis: When blowup occurs at (xβˆ—,Tβˆ—)(x^*, T^*), solutions often exhibit self-similar structure near singularity: u(x,t)∼(Tβˆ—βˆ’t)βˆ’Ξ±f((xβˆ’xβˆ—)/(Tβˆ—βˆ’t)Ξ²)u(x,t) \sim (T^* - t)^{-\alpha}f((x - x^*)/(T^* - t)^\beta). Understanding blowup profiles is crucial for applications (combustion, chemotaxis).

TheoremWeak Solutions via Monotonicity

For ut=Δϕ(u)u_t = \Delta\phi(u) with monotone Ο•\phi, weak solutions exist globally using compactness methods. Uniqueness may fail, but entropy solutions (satisfying additional inequalities) are unique.