Bubble dispersion patterns in bubbly-flow released from a porous plug into a gas-stirred ladle

Bubbles released from a porous plug into a gas-stirred ladle present different bubbly dispersion patterns that can be studied by CFD means. Recent modeling (Alexiadis et al.) has, in fact, led to numerical results in accord with experimental data. However, due to the high number of equations involved, it is not easy to understand the physical reasons of the transitions between these patterns. In the present paper, attention was focused on the role of fragmentation and coalescence and the pattern-transition modeled by means of intersection points between these functions.     

Spectral theory for commutative algebras of differential operators on Lie groups

The joint spectral theory of a system of pairwise commuting self-adjoint left-invariant differential operators L₁,…,Ln on a connected Lie group G is studied, under the hypothesis that the algebra generated by them contains a “weighted subcoercive operator” of ter Elst and Robinson (1998) [52]. The joint spectrum of L₁,…,Ln in every unitary representation of G is characterized as the set of the eigenvalues corresponding to a particular class of (generalized) joint eigenfunctions of positive type of L₁,…,Ln. Connections with the theory of Gelfand pairs are established in the case L₁,…,Ln generate the algebra of K-invariant left-invariant differential operators on G for some compact subgroup K of Aut(G).     

On groups whose subgroups are closed in the profinite topology

A group is called extended residually finite (ERF) if every subgroup is closed in the profinite topology. The ERF-property is studied for nilpotent groups, soluble groups, locally finite groups and FC-groups. A complete characterization is given of FC-groups which are ERF.     

Perimeter of sets and BMO-type norms

The aim of this note is to announce some recent results showing that an isotropic variant of the BMO-type norm introduced in [3] can be related via a precise formula to the perimeter of sets.     

Deligne��s representation theory in complex rank and objects of integral type

Working with Pierre Deligne??s category of representations of the ??symmetric group S _t with t a complex number?? we give negative answers to certain questions on ${\otimes}$ -categories raised by Bruno Kahn and Charles A. Weibel.     

On the regularity of the pressure field of Brenier’s weak solutions to incompressible Euler equations

In this paper we improve the regularity in time of the gradient of the pressure field arising in Brenier’s variational weak solutions (Comm Pure Appl Math 52:411–452, 1999) to incompressible Euler equations. This improvement is necessary to obtain that the pressure field is not only a measure, but a function in . In turn, this is a fundamental ingredient in the analysis made by Ambrosio and Figalli (2007, preprint) of the necessary and sufficient optimality conditions for the variational problem by Brenier (J Am Mat Soc 2:225–255, 1989; Comm Pure Appl Math 52:411–452, 1999).     

Composing dinatural transformations: Towards a calculus of substitution

Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in general; this has been known since they were discovered by Dubuc and Street in 1970. Many ad hoc solutions to this remarkable shortcoming have been found, but a general theory of compositionality was missing until Petri?, in 2003, introduced the concept of g-dinatural transformations, that is, dinatural transformations together with an appropriate graph: he showed how acyclicity of the composite graph of two arbitrary dinatural transformations is a sufficient and essentially necessary condition for the composite transformation to be in turn dinatural. Here we propose an alternative, semantic rather than syntactic, proof of Petri?'s theorem, which the authors independently rediscovered with no knowledge of its prior existence; we then use it to define a generalised functor category, whose objects are functors of mixed variance in many variables, and whose morphisms are transformations that happen to be dinatural only in some of their variables.We also define a notion of horizontal composition for dinatural transformations, extending the well-known version for natural transformations, and prove it is associative and unitary. Horizontal composition embodies substitution of functors into transformations and vice-versa, and is intuitively reflected from the string-diagram point of view by substitution of graphs into graphs.This work represents the first, fundamental steps towards a substitution calculus for dinatural transformations as sought originally by Kelly, with the intention then to apply it to describe coherence problems abstractly. There are still fundamental difficulties that are yet to be overcome in order to achieve such a calculus, and these will be the subject of future work; however, our contribution places us well in track on the path traced by Kelly towards a calculus of substitution for dinatural transformations.     

Parabolic Capacity and Soft Measures for Nonlinear Equations

We first introduce, using a functional approach, the notion of capacity related to the parabolic p-Laplace operator. Then we prove a decomposition theorem for measures (in space and time) that do not charge the sets of null capacity. We apply this result to prove existence and uniqueness of renormalized solutions for nonlinear parabolic initial boundary-value problems with such measures as right-hand side.     

Some noncoercive parabolic equations with lower order terms in divergence form

This paper deals with existence and regularity results for the problem $ \cases{u_t-\mathrm{div}(a(x,t,u )\nabla u)=-\mathrm{div}(u\,E) \qquad in \Omega\times (0,T),\cr u=0 \qquad on \partial \Omega\times (0,T), \cr u (0)= u_0 \qquad in \Omega ,\cr} $ under various assumptions on E and $ u_0 $. The main difculty in studying this problem is due to the presence of the term div(uE), which makes the differential operator non coercive on the "energy space" $ L^2 (0, T; H_0^1 (\Omega)) $.AMS Subject Classification: 35K10, 35K15, 35K65.