https://mathoverflow.net/questions/510417/a-c1-chain-rule-for-bochner-sobolev-spaces
fa.functional analysis - A $C^1$ - chain rule for Bochner-Sobolev spaces? - MathOverflow
Let $p\in [1,\infty]$, and $\Omega\subset\mathbb{R}^N$ a bounded, open and connected set. If $u\in W^{1,p}((0,T);L^{p}(\Omega))$ and...
a c 1functional analysischain rulefaspaces