Integrated resolvent operators (Q1904065)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Integrated resolvent operators |
scientific article |
Statements
Integrated resolvent operators (English)
0 references
23 September 1996
0 references
Der Autor betrachtet die Integro-Differential-Gleichung \[ u'(t)=Au (t)+\int^t_0 B(t-s) u(s) ds+f(t), \quad t\in [ 0,T ], \quad u(0) =x. \tag{VE} \] Dabei ist \(A\) ein linearer abgeschlossener Operator mit (nicht notwendig dichtem) Definitionsbereich \(D(A)\) in einem Banachraum \(X\), der die Hille-Yoshida-Bedingung erfüllt. Es gibt reelle Konstanten \(M\) und \(\omega\), so daß \((\omega, \infty) \subset \rho (A)\) (die Resolventenmenge von \(A\)) und \(|(\lambda-A)|\leq M(\lambda-\omega)^{-n}\) für \(n=1, 2, \dots\) und \(\lambda> \omega\). \(\{B (t): t\geq 0\}\) ist eine Familie linearer Operatoren in \(X\) mit \(D(A) \subset D(B (t))\) für \(t\geq 0\) linearer beschränkter Operatoren von \(D(A)\) mit der Graphennorm nach \(X\), so daß die Funktion \(B(\cdot) x\) für \(x\in D(A)\) auf jedem Intervall \([ 0,T ]\) im starken Sinn von beschränkter Variation ist. Der Autor zeigt, daß es dann für (VE) ``a unique locally Lipschitz-continuous integrated resolvent operator \(\{ R(t): t\geq 0\}\)'' gibt, und daß dann (VE) für alle \(x\in X\) eine eindeutige ``Integral-Lösung'' und eine eindeutige ``schwache Lösung'' hat, Begriffe, die in der Arbeit definiert werden. Mit Hilfe dieser Ergebnisse wird für die beiden Cauchy-Probleme \[ u'(t)-Au(t)-Bu(t)=f(t), \quad t\in [0, T], \quad u(0)=x, \quad u'(t)=y \] und \[ u'(t)=A\Biggl( u(t)+\int^t_0 F(t-s) u(s) ds \Biggr)+Ku(t)+f(t), \quad t\in [0, T], \quad u(0)=x \] (unter weiteren Bedingungen an die auftretenden Größen) die Existenz klassischer Lösungen nachgewiesen.
0 references
integrodifferential equation
0 references
Banach space
0 references
Hille-Yoshida condition
0 references
integral solution
0 references
weak solution
0 references
Cauchy problem
0 references
integrated resolvent operator
0 references
0 references
0 references