Résolution en temps court d'une équation de Hamilton–Jacobi non locale décrivant la dynamique d'une dislocation

This Note studies a nonlocal geometric Hamilton–Jacobi equation that models the motion of a planar dislocation in a crystal. Within the framework of viscosity solutions and of the level-set approach, we show that the equation has a unique solution on a small time interval when the initial curve is the graph of a Lipschitz bounded function. To cite this article: O. Alvarez et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Approximation par éléments finis de problèmes elliptiques d'optimisation de forme

We consider a problem of elliptic optimal design. The control is the shape of the domain on which the Dirichlet problem for the Laplace equation is posed. In dimension n=2, S?veràk proved that there exists an optimal domain in the class of all open subsets of a given bounded open set, whose complements have a uniformly bounded number of connected components. The proof (J. Math. Pures Appl. 72 (1993) 537–551) is based on the compactness of this class of domains with respect to the complementary-Hausdorff topology and the continuous dependence of the solutions of the Dirichlet Laplacian in H¹ with respect to it. In this Note we consider a finite-element discrete version of this problem and prove that the discrete optimal domains converge in that topology towards the continuous one as the mesh-size tends to zero. The key point of the proof is that finite-element approximations of the solution of the Dirichlet Laplacian converge in H¹ whenever the polygonal domains converge in the sense of that topology. To cite this article: D. Chenais, E. Zuazua, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Topologische Divisionsalgebren ohne zugehörige topologische affine Ebene

We prove that many (non-associative) topological division algebrasD of dimensionn ∈ N over the centreK do not yield topological affine or projective planes (of Lenz-Barlotti type V) in contrast to the results of SKORNJAKOV [20], SALZMANN [18] and [19], GRUNDHÖFER [7], HARTMANN [11] and RINK [17] concerning projective planes coordinatized by compact or special topological ternary fields. In particular, this holds for every non-trivial and non-archimedian valuation topology ofK distinct from the order topology ifK is a real-closed field, and if the division algebraD =K ⁿ carries the product topology.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

A hybrid level-set/moving-mesh interface tracking method

An approach for combining Arbitrary–Lagrangian–Eulerian (ALE) moving-mesh and level-set interface tracking methods is presented that allows the two methods to be used in different spatial regions and coupled across the region boundaries. The coupling allows interface shapes to be convected from the ALE method to the level-set method and vice-versa across the ALE/level-set boundary. The motivation for this is to allow high-order ALE methods to represent interface motion in regions where there is no topology change, and the level-set function to be used in regions where topology change occurs. The coupling method is based on the characteristic directions of information propagation and can be implemented in any geometrical configuration. In addition, an iterative method for the hybrid formulation has been developed that can be combined with pre-existing solution methods. Tests of a propagating interface in a uniform flow show that the hybrid approach provides accuracy equivalent to what one is able to obtain with either of the methods individually.     

A Banach-Dieudonné theorem for germs of holomorphic functions

Let $\text{H}$(U) denote the space of all holomorphic functions on an open subset U of a complex Fréchet space E. Let $\text{H}$(K) denote the space of all holomorphic germs on a compact subset K of E. It is shown that $\text{H}$(K), with a natural topology, is the inductive limit of a suitable sequence of compact subsets, within the category of all topological spaces. As an application of this result it is shown that the compact-ported topology introduced by Nachbin coincides with the compact-open topology on $\text{H}$(U) whenever U is a balanced open subset of a Fréchet-Schwartz space. This last result improves earlier results of P. Boland and S. Dineen [Bull. Soc. Math. France106 (1978), 311–336], R. Meise [Proc. Roy. Irish Acad. Sect. A81 (1981), 217–223], and others.     

Conservation de la charge dans les codes PIC

This Note introduces a new integral form of the charge and current deposition scheme given in 1992 by Villasenor and Buneman, which permits the conservation of charge in PIC codes. This integral form extends directly to higher order spline shape factors, whose use produces less numerical noise. We thus get a discrete charge conserving method for high order shape factors. This method extends easily to nonuniform Cartesian grids for first order shape factors. To cite this article: R. Barthelmé, C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

Existence and uniqueness of C0-semigroup in L∞: a new topological approachExistence et unicité de C0-semigroupe sur L∞

A sub-Markov semigroup in L^∞ is in general not strongly continuous with respect to the norm topology. We introduce a new topology on L^∞ for which the usual sub-Markov semigroups in the literature become C₀-semigroups. This is realized by a natural extension of the Phillips theorem about dual semigroup. A simplified Hille–Yosida theorem is furnished. Moreover this new topological approach will allow us to introduce the notion of L^∞-uniqueness of pre-generator. We present several important pre-generators for which we can prove their L^∞-uniqueness. To cite this article: L. Wu, Y. Zhang, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 699–704.     

Some extremely amenable groupsQuelques groupes extrêmement moyennables

A topological group G is extremely amenable if every continuous action of G on a compact space has a fixed point. Using the concentration of measure techniques developed by Gromov and Milman, we prove that the group of automorphisms of a Lebesgue space with a non-atomic measure is extremely amenable with the weak topology but not with the uniform one. Strengthening a de la Harpe's result, we show that a von Neumann algebra is approximately finite-dimensional if and only if its unitary group with the strong topology is the product of an extremely amenable group with a compact group. To cite this article: T. Giordano, V. Pestov, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 273–278.     

Real quadrics in C n , complex manifolds and convex polytopes

In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics C ⁿ which are invariant with respect to the natural action of the real torus (S ¹) ⁿ onto C ⁿ . The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-crossing problem by introducing holomorphic equivariant elementary surgeries related to some transformations of the simple convex polytope. Finally, as a nice consequence, we obtain that affine non-Kähler compact complex manifolds can have arbitrary amount of torsion in their homology groups, contrasting with the Kähler situation.     

Idéaux fermés dans des intersections de classes non-quasi-analytiques

The author proves that any ideal generated by a finite number of real analytic functions in an intersection of non-quasi-analytic classes is closed for the natural Frechet topology associated to such a space. She also establishes a closedness criterion when the generators are less regular. To cite this article: E. Croix, C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

An efficient optimization method for mechanical shells considering cut-outs

In this contribution an optimization method for shell structures is presented. This method was developed in order to perform a simultaneous optimization of the shape and position of the mid surface and a topology optimization to introduce cut-outs. A topology optimization method for continuum structures is combined with a manufacturing constraint for deep drawable sheet metals. It is shown, how more than a million design variables can be handled efficiently using a mathematical optimization algorithm for the design update and the finite element method for the structural simulation. © 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

L'invariant de Calabi pour les homéomorphismes quasiconformes du disqueThe Calabi invariant for quasiconformal mappings of the unit disk

We prove that the Calabi invariant for the symplectic diffeomorphisms of the unit disk with compact support is well defined for quasiconformal maps and depends continuously with respect to these homeomorphisms in the quasiconformal topology. To cite this article: P. Ha??ssinsky, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 635–638.     

Linearized Elasticity as Γ-Limit of Finite Elasticity

Linearized elastic energies are derived from rescaled nonlinear energies by means of Γ-convergence. For Dirichlet and mixed boundary value problems in a Lipschitz domain Ω, the convergence of minimizers takes place in the weak topology of H ¹(Ω,R ⁿ ) and in the strong topology of W ^1,q (Ω,R ⁿ ) for 1≤q<2.     

Représentation de Feynman–Kac dans des domaines temps–espace et sensibilité par rapport au domaine

We consider the solution X=(X_t)_t?0 of a time-inhomogeneous stochastic differential equation and the exit time τ by (t,X_t)_t?0 of the time–space domain $\text{D}$. We prove the differentiability of expectations of functionals of X stopped at τ, with respect to the domain $\text{D}$: these results extend those in the literature, known in particular by the analysts for the issues of shape optimization. However from the probabilistic point of view, this is not standard. To cite this article: C. Costantini et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

On the universal coefficients formula for shape homology

In this paper it is investigated whether various shape homology theories satisfy the Universal Coefficients Formula (UCF). It is proved that pro-homology and strong homology satisfy UCF in the class FAB of finitely generated abelian groups, while they do not satisfy UCF in the class AB of all abelian groups. Two new shape homology theories (called UCF-balanced) are constructed. It is proved that balanced pro-homology satisfies UCF in the class AB, while balanced strong homology satisfies UCF only in the class FAB.     

Topological sensitivity analysis for elliptic differential operators of order 2m

The topological derivative is defined as the first term of the asymptotic expansion of a given shape functional with respect to a small parameter that measures the size of a singular domain perturbation. It has applications in many different fields such as shape and topology optimization, inverse problems, image processing and mechanical modeling including synthesis and/or optimal design of microstructures, fracture mechanics sensitivity analysis and damage evolution modeling. The topological derivative has been fully developed for a wide range of second order differential operators. In this paper we deal with the topological asymptotic expansion of a class of shape functionals associated with elliptic differential operators of order 2m  , m?1$m?1$. The general structure of the polarization tensor is derived and the concept of degenerate polarization tensor is introduced. We provide full mathematical justifications for the derived formulas, including precise estimates of remainders.     

On the generalization of density topologies on the real line

The paper concerns the density points with respect to the sequences of intervals tending to zero in the family of Lebesgue measurable sets. It shows that for some sequences analogue of the Lebesgue density theorem holds. Simultaneously, this paper presents proof of theorem that for any sequence of intervals tending to zero a relevant operator ? _J generates a topology. It is almost but not exactly the same result as in the category aspect presented in [WIERTELAK, R.: A generalization of density topology with respect to category, Real Anal. Exchange 32 (2006/2007), 273–286]. Therefore this paper is a continuation of the previous research concerning similarities and differences between measure and category.     

Optimality criteria coupled adaptive mesh method for optimal shape design of Stokes flow

An adaptive mesh method combined with the optimality criteria algorithm is applied to optimal shape design problems of fluid dynamics. The shape sensitivity analysis of the cost functional is derived. The optimization problem is solved by a simple but robust optimality criteria algorithm, and an automatic local adaptive mesh refinement method is proposed. The mesh adaptation, with an indicator based on the material distribution information, is itself shown as a shape or topology optimization problem. Taking advantages of this algorithm, the optimal shape design problem concerning fluid flow can be solved with higher resolution of the interface and a minimum of additional expense. Details on the optimization procedure are provided. Numerical results for two benchmark topology optimization problems are provided and compared with those obtained by other methods. Copyright © 2016 John Wiley & Sons, Ltd.