C
Hmm, ich habe das ja als Verkettung von
x→(x,g(.,x))x \to (x, g(.,x))x→(x,g(.,x))
und
(x,g(.,x))→∫x0xg(s,x)ds(x, g(.,x)) \to \int_{x_0}^x g(s,x)ds(x,g(.,x))→∫x0xg(s,x)ds
gesehen und dann die Kettenregel angewandt.
Damit das geht müssen beide Abbildungen differenzierbar sein.
Wenn man im mittleren Raum mal den Betrag plus die L1-Norm als Norm ansetzt, sollte es mit folgenden Voraussetzungen klappen:
x -> g(x,x) stetig
s -> g(x,s) stetig und integrierbar
x -> g(x,.) diffbar in L1-Norm
(ohne Gewähr, da der mittlere Raum so nicht vollständig ist; braucht man das hier?)