# Proof about the derivative of operators in $L(V,V')$

I'm trying to understand the following proposition (from the textbook "Monotone Operators in Banach Space and Nonlinear Partial Differential Equations"-Showalter, chapter III.3, proposition 3.1):

Where $V$ is a reflexive and separable Banach space; $\nu = L^2(0,T;X)$; $W^{1,2}(0,T,V)=\{f\in L^2(0,T;V) : f'\in L^2(0,T;V)\}$; the definition of a regular family of operators (in the proof they mention an "above estimate", it's the one that appears in the definition) and Proposition 1.1 are the following:

Now, I understand the proof clearly until the part it states "$A(t)u(t)(v) = A^*(t)v(u(t))$ is absolutely continuous, since the above shows the function $A^*(t)v$ is absolutely continuous". But, after that, I don't really undersatand how the proof ends. Why is $$\frac{d}{dt}((A(t)u(t)) = A'(t)u(t) + A(t)u'(t)?$$

Believe me, I'm tired of trying to prove it formally. And, how is that the result "follows easily" from that? I'd really appreciate some help with this.

• I tried something like that but, how can I justify that, indeed, $\frac{A(t+h)-A(t)}{h}\to A'(t)$? – Juan David Samboní May 1 '18 at 23:52
• The point is that, how do you define $A'(t)$? Not of the quotient type? – user284331 May 2 '18 at 0:02
• $A'(t)$ is such that, for all $u,v\in V$, $\langle A'(t)u,v \rangle = \frac{d}{dt}\langle A(t)u,v \rangle$, where $\frac{d}{dt}$ denotes the generalized derivative ($g$ is the generalized derivate of $f$ in $(0,T)$ if $g$ satisfies that $\int_0^T \phi'(t)f(t)dt = -\int_0^T \phi(t)g(t)dt$, for all $\phi\in C_0^{\infty}(0,T)$). – Juan David Samboní May 2 '18 at 3:04
• Don't worry about it. Actually, in the proof it's stated that $A(t)u(t)$ is absolutely continuous. That implies that $A(t)u(t)$ is strongly differentiable, i.e. we can obtain the derivative with the quotient's limit. That's why I tried to prove it just like you wrote above. But the part that I don't ser clearly is that $\frac{A(t+h)-A(t)}{h}\to A'(t)$ – Juan David Samboní May 2 '18 at 15:39