To be honest I do not know how I should define this question. Apologies
Question:
Let $u(x,t)$ be continuous on $(-\infty, \infty) \times [0,T]$ and suppose that $$u_t = u_{xx}$$ with $u(x,0) = 0, \lvert u(x,t) \rvert \le \exp(ax^2)$ for $-\infty\lt x\lt\infty$ and $0\lt t\lt T$. The aim is to conclude that $u(x,t) = 0$ everywhere.
Firstly, I pick an $s \gt 0$ such that $a \lt {1\over4s}$, and let $$b(x,t) = {1\over\sqrt{1-{s\over t}}}{\exp({x^2\over 4(s-t)}})$$
I have already verified that $b_t = b_{xx}$, the question wants me to show:
a)For any $\epsilon \gt 0$, there will be a sufficiently large $l$ such that $|u(\pm l,t)| \le \epsilon b(\pm l, t), 0\le t\lt s.$ b)Conclude that $u(x,t) = 0,-\infty\lt x\lt \infty, 0 \le t\le s$.
c)Finally induct that $u(x,t) = 0$ everywhere.
My first intuition about the first part is to take log on both sides since I thought that $\epsilon b(\pm l, t) \le \exp(al^2)$, but I do not know how to continue since after calculation that $l$ is cancelled out and I am not sure if this is a right direction. Hope for any suggestions, if you could give some hints or ideas about next 2 questions, then that would be perfect
Your formula for $b(x,t)$ is a little odd, probably a typo and I'm not sure how you managed to check $b_t=b_{xx}$ when the square root is complex. You can complete the proof instead using $$b(x,t):=\frac{1}{\sqrt{s-t}}\exp(x^2/4(s-t)).$$ Note that $$ b_{xx} = \exp(x^2/4(s-t))\left[\frac{x^2}{4(s-t)^{5/2}} + \frac{1}{2(s-t)^{3/2}}\right],\\ b_t = \exp(x^2/4(s-t))\left[\frac{-1/2}{(s-t)^{3/2}}\times (-1) + \frac{-x^2(s-t)^{-2}}{4\sqrt{s-t}}\times (- 1)\right], $$ so $b_t = b_{xx}$.
A rough sketch that should lead you to the end of the question eventually. Once you have (a), then (b) will follow by maximum principle, and then for (c), you can just note that you can repeat the argument again for $\tilde u(x,t) := u(x,t-s)$.
For (a), this should be a direct calculation that follows from $a<\frac1{4s}$, using nothing more than the bound given.
$$|u(x,t)| - \epsilon b(x,t) \le \exp(ax^2)-\frac{\epsilon}{\sqrt{s-t}}\exp(x^2/4(s-t)) \le 0?$$ this question is equivalent to: $$ \sqrt{s-t}\exp\left(x^2\left[a-4/(s-t)\right]\right)\le \epsilon ?$$ We want control for all $t\in[0,s)$. So can we get rid of $t$ somehow? Yes. First, $\sqrt{s-t}\le \sqrt s$. Then, note that $$ a-\frac4{s-t} \le a - \frac{4}s < 0,$$
and these two things give $\sqrt{s-t}\exp\left(x^2\left[a-4/(s-t)\right]\right) \to 0$ uniformly in $t\in[0,s)$, as $|x|\to\infty$. This leads to (a).