The kinetics of ice-lens growth in porous media

We analyse the growth rate of segregated ice (ice lenses) in freezing porous media. For typical colloidal materials such as soils we show that the commonly-employed Clapeyron equation is not valid macroscopically at the interface between the ice lens and the surrounding porous medium owing to the viscous dynamics of flow in premelted films. This gives rise to an ‘interfacial resistance’ to flow towards the growing ice which causes a significant drop in predicted ice-growth (heave) rates and explains why many previous models predict ice-growth rates that are much larger than those seen in experiments. We derive an explicit formula for the ice-growth rate in a given porous medium, and show that this only depends on temperature and on the external pressures imposed on the freezing system. This growth-rate formula contains a material-specific function which can be calculated (with a knowledge of the of the geometry and material of the porous medium), but which is also readily experimentally-measurable. We apply the formula to plate-like particles, and obtain good agreement with previous experimental data. Finally we show how the interfacial resistance explains the observation that the maximum heave rate in soils occurs in medium-grained particles such as silts, while heave rates are smaller for fine- and coarse- grained particles

Surface tension and the Mori-Tanaka theory of non-dilute soft composite solids

Eshelby's theory is the foundation of composite mechanics, allowing calculation of the effective elastic moduli of composites from a knowledge of their microstructure. However it ignores interfacial stress and only applies to very dilute composites -- i.e. where any inclusions are widely spaced apart. Here, within the framework of the Mori-Tanaka multiphase approximation scheme, we extend Eshelby's theory to treat a composite with interfacial stress in the non-dilute limit. In particular we calculate the elastic moduli of composites comprised of a compliant, elastic solid hosting a non-dilute distribution of identical liquid droplets. The composite stiffness depends strongly on the ratio of the droplet size, $R$, to an elastocapillary length scale, $L$. Interfacial tension substantially impacts the effective elastic moduli of the composite when $R/L\lesssim 100$. When $R < 3L/2$ ($R=3L/2$) liquid inclusions stiffen (cloak the far-field signature of) the solid

Interfacial tension and a three-phase generalized self-consistent theory of non-dilute soft composite solids

In the dilute limit Eshelby's inclusion theory captures the behavior of a wide range of systems and properties. However, because Eshelby's approach neglects interfacial stress, it breaks down in soft materials as the inclusion size approaches the elastocapillarity length $L$. Here, we use a three-phase generalized self-consistent method to calculate the elastic moduli of composites comprised of an isotropic, linear-elastic compliant solid hosting a spatially random monodisperse distribution of spherical liquid droplets. As opposed to similar approaches, we explicitly capture the liquid-solid interfacial stress when it is treated as an isotropic, strain-independent surface tension. Within this framework, the composite stiffness depends solely on the ratio of the elastocapillarity length $L$ to the inclusion radius $R$. Independent of inclusion volume fraction, we find that the composite is stiffened by the inclusions whenever $R < 3L/2$. Over the same range of parameters, we compare our results with alternative approaches (dilute and Mori-Tanaka theories that include surface tension). Our framework can be easily extended to calculate the composite properties of more general soft materials where surface tension plays a role

Relating Church-Style and Curry-Style Subtyping

Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A complication for these systems is that bounds declared in the context do not interact well with the logical relation proof of completeness or termination. This paper proposes a natural modification to the type syntax for F-Omega-Sub, adding variable's bound to the variable type constructor, thereby separating the computational behavior of the variable from the context. The algorithm for subtyping in F-Omega-Sub can then be given on types without context or kind information. As a consequence, the metatheory follows the general approach for type systems without computational information in the context, including a simple logical relation definition without Kripke-style indexing by context. This new presentation of the system is shown to be equivalent to the traditional presentation without bounds on the variable type constructor.Comment: In Proceedings ITRS 2010, arXiv:1101.410