0
$\begingroup$

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\diff}{\mathop{}\!\mathrm{d}} \newcommand{\qtext}[1]{\quad\text{#1}} \newcommand{\qtextq}[1]{\quad\text{#1}\quad} $ I am reading Roland Schnaubelt's survey paper Well-posedness and Asymptotic Behaviour of Non-autonomous Linear Evolution Equations.


In this section we review existence results for the non-autonomous Cauchy problem $$ \mathrm{(C P)} \begin{cases} \frac{\diff}{\diff t} u(t) & =A(t) u(t)+f(t) \qtextq{for} t \in J , \\ u(s) & = x, \end{cases} $$ on a Banach space $X$, where $A(t)$ are linear operators on $X$; $x \in X, f \in L_{\mathrm{loc}}^1(J, X)$; and $J \subseteq \mathbb{R}$ is a closed interval. The homogeneous problem with $f=0$ is denoted by $\mathrm{(C P)_0}$.

Definition 2.1. The homogeneous problem $\mathrm{(C P)_0}$ is called well-posed (on spaces $Y_s$ ) if there are dense subspaces $Y_s, s \in J$, of $X$ with $Y_s \subseteq D(A(s))$ such that for each $x \in Y_s$ there is a unique solution $u=u(\cdot ; s, x) \in C^1\left(J_s, X\right)$ of $\mathrm{(C P)_0}$ with $u(t) \in Y_t$ for $t \in J_s$ and if $s_n \rightarrow s$ and $x_n \rightarrow x$ in $X$ for $s_n \in J, x_n \in Y_{s_n}, x \in Y_s$, then $\hat{u}\left(t ; s_n, x_n\right) \rightarrow \hat{u}(t ; s, x)$ in $X$ uniformly for $t$ in compact subsets of $J$.

Above, we set $\hat{u}(t ; r, y):=u(t ; r, y)$ for $t \geq r$ and $\hat{u}(t ; r, y):=y$ for $t \leq r$ and $y \in Y_r$. Starting with a well-posed Cauchy problem, we define $U(t, s) x:=u(t ; s, x)$ for $t, s \in J ; t \geq s$, and $x \in Y_s$. It is not difficult to show that $U(t, s)$ can be extended to a unique bounded linear operator on $X$ (denoted by the same symbol) such that

  • (E1) $U(t, s)=U(t, r) U(r, s), U(s, s)=I$, and
  • (E2) $(t, s) \mapsto U(t, s)$ is strongly continuous for $t \geq r \geq s$ and $t, s, r \in J$.

Definition 2.2. A collection $U(\cdot, \cdot)=(U(t, s))_{t \geq s ; t, s \in J} \subseteq \mathcal{L}(X)$ satisfying (E1) and (E2) is called an evolution family. If $\mathrm{(C P)_0}$ is well-posed (on $Y_t$ ) with solutions $u=U(\cdot, s) x$, we say that $U(\cdot, \cdot)$ solves $\mathrm{(C P)_0}$ on ($Y_t$) or that $A(\cdot)$ generates $U(\cdot, \cdot)$.

The parabolic case: Here one assumes that the operators $A(t)$ generate analytic $C_0$-semigroups of the same type and that $t \mapsto A(t)$ is regular in a sense specified below. Then there exists an evolution family $U(\cdot, \cdot)$ on $X$ solving $\mathrm{(C P)_0}$ on $D(A(t))$ such that $U(t, s) X \subseteq D(A(t)), \frac{\diff}{\diff t} U(t, s)=A(t) U(t, s)$ in $\mathcal{L}(X)$, and $\|A(t) U(t, s)\| \leq \frac{C}{t-s}$ for $0 \leq s<$ $t \leq T$. The operators $U(t, s)$ can be constructed as solutions to certain integral equations like $$ U(t, s)=e^{(t-s) A(s)}+\int_s^t U(t, \tau)(A(\tau)-A(s)) e^{(\tau-s) A(s)} \diff \tau $$ (in the case $D(A(t)) \equiv D(A(0))$).


I am interested in $\mathrm{(C P)_0}$ where $f=0$. Let $\frac{\diff}{\diff t} U(t, s)=A(t) U(t, s)$ hold (e.g. backward Kolmogorov equation in this question). Assume that $X$ is a Hilbert space and that $A(t)$ is self-adjoint for $t \in J$.

Is it true that $U(t, s)$ is self-adjoint? Any reference is appreciated.

$\endgroup$
3
  • $\begingroup$ Why do you surmise the representation in your question to be true? It seems to me to hold only for $A(t)$ constant in $t$. $\endgroup$ Commented Nov 26 at 3:39
  • $\begingroup$ Thank you very much for above comments. I have edited my questions. $\endgroup$
    – Akira
    Commented Nov 26 at 3:55
  • $\begingroup$ OK, I saw it just after I'd posted my comment, sorry for that. I've already deleted that comment. $\endgroup$ Commented Nov 27 at 2:49

1 Answer 1

3
$\begingroup$

No, $U(t,s)$ is, in general, not self-adjoint. If we, for ease of formulation, denote the parameters $t,s$ as "times", then $U(t,s)$ is given by the time-ordered exponential $$ U(t,s) = T\exp \left( \int_{s}^{t} A(u) \, du \right) \ . $$ Taking the adjoint reverses the time-ordering in the time-ordered exponential, and the original time-ordering can only be restored straightforwardly if the $A(u)$ at different times commute, $[A(u),A(u')]=0$. So, in general, if $[A(u),A(u')]\neq 0$, then $U^{\dagger } (t,s) \neq U(t,s)$ except possibly in especially crafted cases.

$\endgroup$
5
  • $\begingroup$ Could you explain what the square bracket means? $\endgroup$
    – Akira
    Commented Nov 26 at 16:08
  • $\begingroup$ The square bracket is the commutator, $[B,C]=BC-CB$. $\endgroup$ Commented Nov 26 at 16:10
  • $\begingroup$ Do you have some references for results about self-adjointness of $U(s,t)$? I would like to read more details about what you wrote. $\endgroup$
    – Akira
    Commented Nov 27 at 3:49
  • $\begingroup$ Hm - not sure where to point you in the mathematical literature. Objects of this type are standard in physics textbooks, where they are related to time evolution - that's where I'm familiar with them from. But maybe you don't want to start rummaging around there. The wikipedia entry on "ordered exponential" seems ok and the references there might provide a lead. $\endgroup$ Commented Nov 27 at 14:50
  • $\begingroup$ The "ordered exponential" is too abstract for me... I have put a 500-bounty of a related question. Could you please have a look at it? $\endgroup$
    – Akira
    Commented Nov 27 at 15:21

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .