Corner-source nonuniqueness for a degenerate parabolic problem
ID: corner-source-nonuniqueness-for-a-degenerate-parabolic-problem
On , the displayed smooth nonzero function satisfies . For each fixed it tends to zero at and at spatial infinity; for each fixed it tends to zero as . Thus these three pointwise limits do not determine a unique solution: a multiple of may be added to any particular solution of the same forced equation.
To verify the PDE, set . Both and equal . The missing control is at the corner: diverges as . There is no contradiction with the weak parabolic maximum principle, because a supremum on a past strip may be infinite or unattained. A bounded-solution class excludes this example. A standard uniqueness proof there applies the maximum principle to the difference minus and lets . Conditions at infinity and at initial time must control the relevant strip, not only each fixed-variable limit.
New to topics? Read the docs here!