8

I was wondering

  1. If there is distinction between existence of Bochner integral and Bochner integrability, or the two always mean the same?
  2. If in Bochner integral, the integrand is assumed to be measurable wrt the Borel $\sigma$-algebra of the codomain Banach space?

  3. if differentiation under integral sign is still true for Bochner integral? What is the condition for that to be true? What kinds of derivatives are involved above, Fréchet derivative, the Gâteaux derivative, or something else?

    For example, $\frac{d}{dt} \int_a^t f(t) g(x,t) dt$, where $f: \mathbb{R} \rightarrow \mathbb{R}$, $g: B \times \mathbb{R} \rightarrow \mathbb{R}$, $B$ is a Banach space, and the Bochner integral exists.

Thanks and regards! Also are there some nice references?

Tim
  • 47,382

3 Answers3

11

About 3. we have something even better! Hille's theorem.

https://fa.ewi.tudelft.nl/~neerven/publications/notes/ISEM.pdf Theorem 1.19

Theorem 1.19 (Hille). Let $f : A \to E$ be $\mu$-Bochner integrable and let $T$ be a closed linear operator with domain $D(T)$ in $E$ taking values in a Banach space $F$ . Assume that $f$ takes its values in $D(T)$ $\mu$-almost everywhere and the $\mu$-almost everywhere defined function $T f : A \to F$ is $\mu$-Bochner integrable. Then $$T \int_A f \, d\mu = \int_A T f \, d\mu \,.$$

A lovely theorem. Your other questions can be answered by the first chapter of the refered document.

G.J
  • 115
  • 5
JT_NL
  • 14,514
  • This looks like a really nice set of notes. What is ISEM? – t.b. Jun 28 '11 at 23:26
  • 2
    @Theo I nternet Sem inar. http://fa.its.tudelft.nl/isemwiki/moin.cgi/TitlePage – Willie Wong Jun 29 '11 at 00:33
  • 2
    @Theo: Internet Seminar as Willie says. Every year there is an internet seminar where you get lectures via internet in the first phase about something related to evolution equations, in the second phase there is a project with other participants and in the last phase there is a workshop in Blaubeuren. The ISEMs of this year and next year seem a bit boring to me... But they had nice things about SPDEs or Ergodic Theory. – JT_NL Jun 29 '11 at 10:02
  • Thanks a lot for these explanations, to both @Willie and @Jonas. – t.b. Jun 29 '11 at 10:59
  • 2
    The link doesn't seem to work - is there another link? – Jeremy Jeffrey James Mar 20 '19 at 15:08
  • 1
    @Jeremy It's been a while since your comment, but just in case you were still interested: https://fa.its.tudelft.nl/~neerven/publications/notes/ISEM.pdf – Theoretical Economist May 07 '20 at 20:59
3

Anton Deitmar and coauthor(s) have recently been writing some things about this: e.g., http://arxiv.org/abs/1102.1246 Presumably they give references.

paul garrett
  • 52,465
1

Here is some information:
http://en.wikipedia.org/wiki/Bochner_integral
A Bochner integrable function is almost all its values in a separable subspace, and (if the domain sigma-algebra is complete) is therefore measurable in your sense.

GEdgar
  • 111,679