The complex interplay between chemical, electrical, and mechanical factors is fundamental to the function and homeostasis of the brain, but the effect of electrochemical gradients on brain interstitial fluid flow, solute transport, and clearance remains poorly quantified. Here, via in-silico experiments based on biophysical modeling, we estimate water movement across astrocyte cell membranes, within astrocyte networks, and within the extracellular space (ECS) induced by neuronal activity, and quantify the relative role of different forces (osmotic, hydrostatic, and electrical) on transport and fluid flow under such conditions. We find that neuronal activity alone may induce intracellular fluid velocities in astrocyte networks of up to 14μm/min, and fluid velocities in the ECS of similar magnitude. These velocities are dominated by an osmotic contribution in the intracellular compartment; without it, the estimated fluid velocities drop by a factor of ×34-45. Further, the compartmental fluid flow has a pronounced effect on transport: advection accelerates ionic transport within astrocytic networks by a factor of ×1-5 compared to diffusion alone.

Mixed dimensional partial differential equations (PDEs) are equations coupling unknown fields defined over domains of differing topological dimension. Such equations naturally arise in a wide range of scientific fields including geology, physiology, biology, and fracture mechanics. Mixed dimensional PDEs are also commonly encountered when imposing non-standard conditions over a subspace of lower dimension, e.g., through a Lagrange multiplier. In this article, we present general abstractions and algorithms for finite element discretizations of mixed domain and mixed dimensional PDEs of codimension up to one (i.e., n D- m D with |n-m| ≤ 1). We introduce high-level mathematical software abstractions together with lower-level algorithms for expressing and efficiently solving such coupled systems. The concepts introduced here have also been implemented in the context of the FEniCS finite element software. We illustrate the new features through a range of examples, including a constrained Poisson problem, a set of Stokes-type flow models, and a model for ionic electrodiffusion.

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies for multifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted.