Porous polycrystals built up by uniformly and axisymmetrically oriented needles: homogenization of elastic propertiesPolycristaux poreux constitués d'aiguilles orientées de façon uniforme ou axisymétrique : homogénéisation des propriétés élastiques

Porous polycrystal-type microstructures built up of needle-like platelets or sheets are characteristic for a number of biological and man-made materials. Herein, we consider (i) uniform, (ii) axisymmetrical orientation distribution of linear elastic, isotropic as well as anisotropic needles. Axisymmetrical needle orientation requires derivation of the Hill tensor for arbitrarily oriented ellipsoidal inclusions with one axis tending towards infinity, embedded in a transversely isotropic matrix; therefore, Laws' integral expression of the Hill tensor is evaluated employing the theory of rational functions. For a porosity lower 0.4, the elastic properties of the polycrystal with uniformly oriented needles are quasi-identical to those of a polycrystal with solid spheres. However, as opposed to the sphere-based model, the needle-based model does not predict a percolation threshold. As regards axisymmetrical orientation distribution of needles, two effects are remarkable: Firstly, the sharper the cone of orientations the higher the anisotropy of the polycrystal. Secondly, for a given cone, the anisotropy increases with the porosity. Estimates for the polycrystal stiffness are hardly influenced by the anisotropy of the bone mineral needles. Our results also confirm the very high degree of orientation randomness of crystals building up mineral foams in bone tissues. To cite this article: A. Fritsch et al., C. R. Mecanique 334 (2006).     

Melt shear rheology of carbon nanofiber/polystyrene composites

The rheological behavior and morphology of carbon nanofiber/polystyrene (CNF/PS) composites in their melt phase have been characterized both through experimental measurements and modeling. Composites prepared in the two different processes of solvent casting and melt blending are contrasted; melt-blended and solvent-cast composites were each prepared with CNF loadings of 2, 5, and 10 wt%. A morphological study revealed that the melt blending process results in composites with shorter CNFs than in the solvent-cast composites, due to damage caused by the higher stresses the CNFs encounter in melt blending, and that both processes retain the diameter of the as-received CNFs. The addition of carbon nanofiber to the polystyrene through either melt blending or solvent casting increases the linear viscoelastic moduli, G′ and G″, and steady-state viscosity, η, in the melt phase monotonically with CNF concentration, more so in solvent cast composites with their longer CNFs. The melt phase of solvent-cast composites with higher CNF concentrations exhibit a plateau of the elastic modulus, G′, at low frequencies, an apparent yield stress, and large first normal stress difference, N ₁, at low strain rates, which can be attributed to contact-based network nanostructure formed by the long CNFs. A nanostructurally-based model for CNF/PS composites in their melt phase is presented which considers the composite system as rigid rods in a viscoelastic fluid matrix. Except for two coupling parameters, all material constants in the model for the composite systems are deduced from morphological and shear flow measurements of its separate nanofiber and polymer melt constituents of the composite. These two coupling parameters are polymer–fiber interaction parameter, σ, and interfiber interaction parameter, C _I. Through comparison with our experimental measurements of the composite systems, we deduce that σ is effectively 1 (corresponding to no polymer–fiber interaction) for all CNF/PS nanocomposites studied. The dependence of CNF orientation on strain rate which we observe in our experiments is captured in the model by considering the interfiber interaction parameter, C _I, as a function of strain rate. Applied to shear flows, the model predicts the melt-phase, steady-state viscosities, and normal stress differences of the CNF/PS composites as functions of shear rate, polymer matrix properties, fiber length, and mass concentration consistent with our experimental measurements.     

Rotating bunsen flames as solutions of the Kuramoto-Sivashinsky equation

Steadily rotating solutions of the Kuramoto-Sivashinsky equationu _t + ² u++¦u¦ ² =c ² are studied. These solutions bifurcate from the steady radial solution of the above equation. For large values ofc and angular velocities such thatN¦¦<2c<(N+1)¦¦, we show that there exists a 2N-1 family of bifurcating solutions. The proof is based on a certain generic transversality assumption. A computer-assisted proof of this assumption is given for 1N10.     

A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

A basic result in intuitionism is Π⁰₂‐conservativity. Take any proof p in classical arithmetic of some Π⁰₂‐statement (some arithmetical statement ?x.?y.P(x, y), with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ?x.?y.P(x, y), with P of degree k, may be effectively turned into some proof of the same statement, using Excluded Middle only over degree k formulas. When k = 0, we get the original conservativity result as particular case. This result was a by‐product of a semantical construction. J. Avigad of Carnegie Mellon University, found a short, direct syntactical derivation of the same result, using H. Friedman's A‐translation. His proof is included here with his permission. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the geometric autocorrelation function of polycrystalline materials

Herein we derive an expression for direct determination of the geometric autocorrelation function W of a polycrystalline material from images of its grain boundary network (e.g., those delivered by orientation imaging microscopy). We also obtain an identity that relates the mean linear intercept function to a directional derivative of the geometric autocorrelation function. These formulae were applied to examine whether a widely-used formula for W, particularly in theoretical studies of attenuation of elastic waves in polycrystalline media, would be valid for the grain boundary structure of a commercial aluminum alloy. The conclusion was negative.     

Existence test for solution of nonlinear systems applying affine arithmetic

A computational test is proposed for existence of solution in nonlinear systems. In this test, an interval inclusion of Newton mapping is estimated applying affine arithmetic. Numerical examples are presented to show the efficiency of this test.     

The small octagon with longest perimeter

The convex octagon with unit diameter and maximum perimeter is determined. This answers an open question dating from 1922. The proof uses geometric reasoning and an interval arithmetic based global optimization algorithm to solve a series of non-linear and non-convex programs involving trigonometric functions.     

Phase transition thresholds for some Friedman-style independence results

We classify the phase transition thresholds from provability to unprovability for certain Friedman-style miniaturizations of Kruskal's Theorem and Higman's Lemma. In addition we prove a new and unexpected phase transition result for ε₀. Motivated by renormalization and universality issues from statistical physics we finally state a universality hypothesis. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Modified Newton method in circular interval arithmetic

The modified Newton method for multiple roots is organized in an interval method to include simultaneously the distinct roots of a given polynomialP in complex circular interval arithmetic. A condition on the starting disks which ensures convergence is given, and convergence is shown to be quadratic. As a consequence, a simple parallel algorithm to approach all the distinct roots ofP is derived from the modified Newton method.The research reported in this paper has been made possible through the support and the sponsorship of the Italian Government through the Ministero per l'Universitá e la Ricerca Scientifica under Contract MURST 60%, 1990 at the Universitá di L'Aquila.