A linear condition determining local or global existence for nonlinear problems (Q360340): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Mihai Turinici / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47H20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47J35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37B99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 34G20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6201579 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Polish space | |||
Property / zbMATH Keywords: Polish space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local semigroup | |||
Property / zbMATH Keywords: local semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lie generator | |||
Property / zbMATH Keywords: Lie generator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
eigenfunction | |||
Property / zbMATH Keywords: eigenfunction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
steepest descent method | |||
Property / zbMATH Keywords: steepest descent method / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local-global existence | |||
Property / zbMATH Keywords: local-global existence / rank | |||
Normal rank |
Revision as of 11:27, 28 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A linear condition determining local or global existence for nonlinear problems |
scientific article |
Statements
A linear condition determining local or global existence for nonlinear problems (English)
0 references
26 August 2013
0 references
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.
0 references
Polish space
0 references
local semigroup
0 references
Lie generator
0 references
eigenfunction
0 references
steepest descent method
0 references
local-global existence
0 references