No label defined (Q4360164)

Let \(A\) be an ordinary nonempty set. With \(l^\infty(A)\) we denote the Banach space of all bounded functions on \(A\) to \(\mathbb{R}\) with the norm \(|(z^a)_{a\in A}|= \sup_{a\in A}|z^a|\). In \(l^\infty(A)\) there is an order given by \(x\leq y\Leftrightarrow \{x^a\leq y^a\) for all \(a\in A\}\). The object of this paper is to transform the parabolic differential equation \[ u_t(x,t)- u_{xx}(x,t)= f(x,t,u(x,t)),\quad (x,t)\in\mathbb{R}\times (0,T],\qquad u(x,0)= 0,\quad\text{for }x\in\mathbb{R}, \] into a fixed point problem in order to solve the latter with the Tarski fixed point theorem. Its advantage is that there is no need to consider compact sets as it is the case in the Schauder fixed point theorem, so we are able to get an existence theorem in \(l^\infty(A)\).