A linear condition determining local or global existence for nonlinear problems (Q360340): Difference between revisions

Let \(X\) be a complete separable metric space. The mapping \((t,x)\mapsto T(t)x\) is called a local semigroup on \(X\), provided that {\parindent=0.8cm\begin{itemize}\item[(i)] there exists \(\omega\in (0,\infty]\) so that, for \(0\leq t< \omega\), \(T(t)\) maps a subset \(D(T(t))\) of \(X\) into \(X\); \item[(ii)] \(T(0)x=x\), for all \( x\in X\); \item[(iii)] there exists a continuous function \(m:X\to (0,\infty]\) such that \(t\in [0,m(x))\) implies \(x\in D(T(t))\); \item[(iv)] \(m(x)< \infty\) for some \(x\in X\); \item[(v)] \(t,s\geq 0\), \(x\in X\), and \(t+s< m(x)\) imply \(T(t+s)x=T(t)T(s)x\); \item[(vi)] \(T\) is jointly continuous; \item[(vii)] if \(\lim_{t\to s-} T(t)x\) exists, then \(s< m(x)\). \end{itemize}} We then say that \(m(\cdot)\) is the stopping time function of \(T\). The following is the main result of the authors: {Theorem.} Let \(T\) be a local semigroup on \(X\) and \(m(\cdot)\) be its associated stopping time function. Let \(A\) be the Lie generator of \(T\). Then {\parindent=0.8cm\begin{itemize}\item[(a)] the function \(f\in CB(X)\) defined as \(f(x)=\exp(-m(x))\), \(x\in X\), is an eigenfunction of \(A\) with eigenvalue one; \item[(b)] if \(g\in CB(X)\) fulfills \(Ag=g\) and \(x\in X\) is fixed, then \(g(T(t)x)=cf(T(t)x)\), \(t\in [0,m(x))\), for some \(c\in\mathbb R\). \end{itemize}} Some particular Lie generator eigenfunctions for \((u'=u^2\)), \((u'=u(u-1))\), \((u'=-u^2)\), (\(u'=u^2\), \(v'=v^2\)), (\(u'=u^2\), \(v'=-v^2\)), (\(u'=v^2\), \(v'=u^2)\) are then presented as illustrations of the obtained result.