Vol. 22, No. 3, 1967

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 332: 1  2
Vol. 331: 1  2
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
The higher order differentiability of solutions of abstract evolution equations

Ponnaluri Suryanarayana

Vol. 22 (1967), No. 3, 543–561
Abstract

In this paper, the regularity of the solution of the initial value problem for the abstract evolution equation

du+ A (t)u = f (t),u(0) ∈ X, 0 ≦ t ≦ T
dt
(0.1)

and the associated homogeneous equation

du+ A (t)u = 0,u(0) ∈ X, 0 ≦ t ≦ T
dt
(0.2)

in a Banach space X is considered. Here u = u(t) and f(t) are functions from [0,T] to X and A(t) is a function on [0,T] to the set of (in general) unbounded linear operators acting in X.

Definition. u(t) is called a strict solution of (0.1) or (0.2) in (s,T] if

(i) u(t) is strongly continuous in the closed interval [s,T] and is strongly continuously differentiable in the semiclosed interval (s,T],

(ii) u(t) D(A(t)), the domain of A(t), for each t (s,T],

(iii) u(t) satisfies (0.1) resp. (0.2) in (s,T],u(s) coinciding with the given initial value at t = s. It is assumed that A(t) for each t [0,T] satisfies the following conditions.

(i) A(t) generates a semigroup exp(sA(t)) of operators analytic in the sector |arg s| < 𝜃,s0,0 < 𝜃 < π∕2,

(ii) For any complex number λ satisfying |arg λ| < π∕2 + 𝜃, 0 < 𝜃 < π∕2,(∂∕∂t)(λ + A(t))1 exists in the operator topology and that there exist constants N and ρ independent of t and λ with N > 0,0 ρ < 1 such that

∥ ∂-(λ+ A(t))− 1∥ ≦ N |λ|p−1
∂t

The main result proved in the paper can be stated as follows. If, in addition to the above assumptions, A(t)1 Cn+α[0,T] in the uniform operator topology, B(t), a bounded operator for each t [0,T] is of class Cn1+β[0,T], and f(t) Cn1+γ[0,T] in the strong topology, then the unique strict solution u(t) of

du
dt-+ (A (t)+ B (t))u = f(t),u (0) ∈ X.0 ≦ t ≦ T

belongs to the class Cn+δ[s0,T],s0 > 0 arbitrary, δ > 0 depending on α,β,γ and ρ. In this no assumption regarding the constancy of the domain D(A(t)) is made.

Mathematical Subject Classification
Primary: 34.95
Milestones
Received: 11 March 1965
Published: 1 September 1967
Authors
Ponnaluri Suryanarayana