Reynold's transport theorem for differential inclusions (Q2432661)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reynold's transport theorem for differential inclusions |
scientific article |
Statements
Reynold's transport theorem for differential inclusions (English)
0 references
25 October 2006
0 references
Reynold's transport theorem is a fundamental theorem used in formulating the basic laws of fluid mechanics [see \textit{R. B. Bird, W. E. Stewart} and \textit{E. N. Lightfoot}, Transport phenomena. 2nd edition. New York: John Wiley (2002)]. The author considers the integral over the reachable set \[ {\mathcal I}_F: [0,T]\to \mathbb R,\;t\mapsto \int_{v(_F(t,K_0)}\psi(x)\,dx,\tag{\(*\)} \] where \(F: [0,T]\times\mathbb R^N\to {\mathcal P}(\mathbb R^N)\) is a multivalued map with compact, convex values \(({\mathcal P}(\mathbb R^N)\) is the family of all nonempty subsets of \(\mathbb R^N)\), \(\psi\in L^1(\mathbb R^N)\), \(K_0\) is a compact subset of \(\mathbb R^N\) and \[ \begin{multlined} v(t,K_0)=\{ x\in\mathbb R^n\mid \exists\;x(.)\in A([0,t],\mathbb R^N):\;x'(.)\in F(x(.),.)\text{ a.e. in } [0,t],\\ x(0)\in K_0, x(t)=x \}.\end{multlined} \] Under the nonautonomous Marchoud map and growth conditions on \(F\) and under assumptions on the regularity of the compact initial set, the author gives sufficient conditions for the absolute continuity of \({\mathcal I}_F\) and an explicit formula for the weak derivative. The analysis is based on the solution and thus has geometric character. The results extend the classical Reynold's transport theorem [\textit{O. Reynolds}, Papers on mechanical and physical subjects. Collected Work, Volume III. The submechanics of the iniverse. Cambridge: At the University Press (1903; JFM 34.0037.02)]. It is a good contribution in the field of differential inclusions.
0 references
differential inclusions
0 references
Carathéodory map
0 references
nonautonomous Marchoud conditions
0 references
Reynold's transport theorem
0 references
reachable sets
0 references
minimal time function
0 references
co-area formula
0 references