The weak solution of a functional differential equation in a general Banach space (Q1117088)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The weak solution of a functional differential equation in a general Banach space |
scientific article |
Statements
The weak solution of a functional differential equation in a general Banach space (English)
0 references
1988
0 references
Let X be a B-space, \(r\in]-\infty,0]\), C([r,0],X) the space of bounded, uniformly continuous functions from [r,0] to X, \(A(t): D(A(t))\subset X\to X\) an m-accretive operator for each \(t\in [0,T]\) \((T>0)\) and \(G: [0,T]\times C([r,0],X)\to X\) a Lipschitz continuous function in each variable. Let \(A_{\lambda}(t)=1/\lambda (I-(I+\lambda A(t))^{-1})\) \((\lambda >0)\) and we suppose there exist \(\lambda_ 0>0\) and a nondecreasing continuous function \(\ell: [0,+\infty [\to [0,+\infty [\) such that \(| A_{\lambda}(t)u-A_{\lambda}(s)u| \leq \ell (| u|)| t-s| (1+| A_{\lambda}(s)u|)\) for \(0<\lambda \leq \lambda_ 0,t\), \(s\in [0,T]\), \(u\in X\); there exists \(\beta >0\) such that \(| G(t,\psi_ 1)-G(t,\psi_ 2)| \leq \beta | \psi_ 1- \psi_ 2|\) for \(t\in [0,T]\), \(\psi_ 1,\psi_ 2\in C([r,0],X)\); there exists an increasing function \(g: [0,+\infty [\to [0,+\infty [\) such that \(| G(t,\psi)-G(s,\psi)| \leq g(| \psi |)| t- s|\) for \(t,s\in [0,T]\), \(\psi\in C([r,0],X)\). Let \(\Phi\) : [r,0]\(\to X\) be a bounded, continuously differentiable function with \[ \Phi (0)\in \hat D\equiv \{x\in X:| A(t)x| =\lim_{\lambda \to 0}| A_{\lambda}(t)x| <+\infty \quad for\quad all\quad t\in [0,T]\}. \] Then: Theorem. There exists a unique u: [r,T]\(\to X\) continuous function such that \(u(t)=\Phi (t)\) for \(t\in [r,0]\) and u is a weak solution, in the sense of \textit{L. C. Evans} [Israel J. Math. 26, 1-42 (1977; Zbl 0349.34043)], of the problem \(u'(t)+A(t)u(t)=G(t,u_ t),\) \(t\in [0,T]\), \(u(0)=\Phi (0)\), where \(u_ t(s)=u(t+s)\) for \(s\in [r,0]\); furthermore u is Lipschitz continuous and u(t)\(\in \hat D\) for \(t\in [0,T]\).
0 references
weak solution
0 references
Banach space
0 references