On the topological derivative due to kink of a crack with non-penetration. Anti-plane model

A topological derivative is defined, which is caused by kinking of a crack, thus, representing the topological change. Using variational methods, the anti-plane model of a solid subject to a non-penetration condition imposed at the kinked crack is considered. The objective function of the potential energy is expanded with respect to the diminishing branch of the incipient crack. The respective sensitivity analysis is provided by a Saint-Venant principle and a local decomposition of the solution of the variational problem in the Fourier series.     

Crack nucleation sensitivity analysis

A simple analytical expression for crack nucleation sensitivity analysis is proposed relying on the concept of topological derivative and applied within a two‐dimensional linear elastic fracture mechanics theory (LEFM). In particular, the topological asymptotic expansion of the total potential energy together with a Griffith‐type energy of an elastic cracked body is calculated. As a main result, we derive a crack nucleation criterion based on the topological derivative and a criterion for determining the direction of crack growth based on the topological gradient. The proposed methodology leads to an axiomatic approach of crack nucleation sensitivity analysis. Copyright © 2010 John Wiley & Sons, Ltd.     

Topological gradient for fourth-order PDE and application to the detection of fine structures in 2D images

In this paper we describe a new approach for the detection of fine structures in an image. This approach is based on the computation of the topological gradient associated with a cost function defined from a regularization of the data (possibly noisy). We get this approximation by solving a fourth-order PDE. The study of the topological sensitivity is made in the cases of both a circular inclusion and a crack. We illustrate our approach by giving two experimental results.     

Topological sensitivity analysis of a multi‐scale constitutive model considering a cracked microstructure

This paper deals with the sensitivity analysis of the macroscopic elasticity tensor to topological microstructural changes of the underlying material. In particular, the microstucture is topologicaly perturbed by the nucleation of a small circular inclusion. The derivation of the proposed sensitivity relies on the concept of topological derivative, applied within a variational multi‐scale constitutive framework where the macroscopic strain and stress at each point of the macroscopic continuum are defined as volume averages of their microscopic counterparts over a representative volume element (RVE) of material associated with that point. We consider that the RVE can contain a number of voids, inclusions and/or cracks. It is assumed that non‐penetration conditions are imposed at the crack faces, which do not allow the opposite crack faces to penetrate each other. The derived sensitivity leads to a symmetric fourth‐order tensor field over the unperturbed RVE domain, which measures how the macroscopic elasticity parameters estimated within the multi‐scale framework changes when a small circular inclusion is introduced at the micro‐scale level. Copyright © 2009 John Wiley & Sons, Ltd.     

The Topological Gradient Method: From Optimal Design to Image Processing

The aim of this article is to review and extend the applications of the topological gradient to major image processing problems. We briefly review the topological gradient, and then present its application to the crack localization problem, which can be solved using the Dirichlet to Neumann approach. A very natural application of this technique in image processing is the inpainting problem, which can be solved by identifying the optimal location of the missing edges. Edge detection is of extreme importance, as edges convey essential information in a picture. A second natural application is then the image reconstruction. A class of image reconstruction problems is considered that includes restoration, demosaicing, segmentation and super-resolution. These problems are studied using a unified theoretical framework which is based on the topological gradient method. This tool is able to find the localization and orientation of the edges for blurred, low sampled, partially masked, noisy images. We review existing algorithms and propose new ones. The performance of our approach is compared with conventional image reconstruction processes.     

Shape and topological sensitivity analysis in domains with cracks

The framework for shape and topology sensitivity analysis in geometrical domains with cracks is established for elastic bodies in two spatial dimensions. The equilibrium problem for the elastic body with cracks is considered. Inequality type boundary conditions are prescribed at the crack faces providing a non-penetration between the crack faces. Modelling of such problems in two spatial dimensions is presented with all necessary details for further applications in shape optimization in structural mechanics. In the paper, general results on the shape and topology sensitivity analysis of this problem are provided. The results are of interest of their own. In particular, the existence of the shape and topological derivatives of the energy functional is obtained. The results presented in the paper can be used for numerical solution of shape optimization and inverse problems in structural mechanics.     

A level-set topological optimization method to analyze two-dimensional thermal problem using BEM

A level-set based topological optimization approach is proposed using boundary element method (BEM) to solve two-dimensional(2D) thermal problems. The objective function is considered as a function of temperature and thermal flux defined on boundaries with Dirichlet and Neumann boundary conditions. The topological sensitivity is derived combining BEM under the assumption of insulating topological boundaries generated during optimization. Smooth boundaries represented by the level-set function is updated using topological sensitivity with a regularization term. Numerical examples with different objective functions considering the real-world problems are presented to show the effectiveness of the proposed approach. The topological sensitivity, computational time and boundary smoothness are verified by comparing with finite difference method (FDM).     

Region merging with topological control

This paper presents a region merging process controlled by topological features on regions in three-dimensional (3D) images. Betti numbers, a well-known topological invariant, are used as criteria. Classical and incremental algorithms to compute the Betti numbers using information represented by the topological map of an image are provided. The region merging algorithm, which merges any number of connected components of regions together, is explained. A topological control of the merging process is implemented using Betti numbers to control the topology of an evolving 3D image partition. The interest in incremental approaches of the computation of Betti numbers is established by providing a processing time comparison. A visual example showing the result of the algorithm and the impact of topological control is also given.     

拓扑系统的紧性和分离性

考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。     

Multi-mobs

The study of set-valued multiplications on a set is originated and developed by O. Ore. The development of projective geometry as a multigroup by W. Prenowitz is a cute application to it. On the other hand, the topological observations of set-valued functions have been investigated extensively over the past forty years. No literature concerning topological algebra based on a set-valued multiplication could readily be found. This paper is devoted to the investigation of a basic theory of binary set-valued topological algebra combining the above two algebraic and topological concepts together. The author wishes to express his sincere gratitude to Professor Alexander D. Wallace for his continued guidance and encouragement.     

细长体截面绕流中的一种临界状态

应用拓扑分析的方法研究了细长体截面绕流拓扑结构的演变过程．指出随着细长体背涡的发展,导致截面流场的拓扑结构发生变化,会出现一种临界流动状态．在这种临界流态下,流场中会出现一种高阶奇点．这种高阶奇点的指数为-3/2．这种高阶奇点是结构不稳定的,稍有扰动就会产生分叉,使流场的拓扑结构发生变化．     

A new fractal dimension: The topological Hausdorff dimension

We introduce a new concept of dimension for metric spaces, the so-called topological Hausdorff dimension. It is defined by a very natural combination of the definitions of the topological dimension and the Hausdorff dimension. The value of the topological Hausdorff dimension is always between the topological dimension and the Hausdorff dimension, in particular, this new dimension is a non-trivial lower estimate for the Hausdorff dimension.     

Geometric bases and topological equivalence

There are many algebraic and topological invariants associated to a singular point of a complex analytic function. The intent here is to discuss some of these invariants and the topological classification of singularities. Specifically, we establish that the topological type is determined by the Lefschetz vanishing cycles obtained by unfolding the singularity and certain local monodromy operators defined by Gabrielov. In Brieskorn's terminology singularities with the same geometric bases are topologically indistinguishable. Thus the higher invariants in the hierarchy of Brieskorn are necessary to understand the geometry of higher singularities. As a corollary to our main theorem, we obtain the result of Lê-Ramanujam which states that the topological type is constant in a oneparameter family of singularities with constant Milnor number.     

Noncommutative two-dimensional topological field theories and Hurwitz numbers for real algebraic curves

It is well known that the classical two-dimensional topological field theories are in one-to-one correspondence with the commutative Frobenius algebras. An important extension of classical two-dimensional topological field theories is provided by open-closed two-dimensional topological field theories. In this paper we extend open-closed two-dimensional topological field theories to nonorientable surfaces. We call them Klein topological field theories (KTFT). We prove that KTFTs bijectively correspond to (in general noncommutative) algebras with certain additional structures, called structure algebras. The semisimple structure algebras are classified. Starting from an arbitrary finite group, we construct a structure algebra and prove that it is semisimple. We define an analog of Hurwitz numbers for real algebraic curves and prove that they are correlators of a KTFT. The structure algebra of this KTFT is the structure algebra of a symmetric group.     

Expanding topological space,study and applications

In this paper, we introduce the notion of expanding topological space. We define the topological expansion of a topological space via local multi-homeomorphism over coproduct topology, and we prove that the coproduct family associated to any fractal family of topological spaces is expanding. In particular, we prove that the more a topological space expands, the finer the topology of its indexed states is. Using multi-homeomorphisms over associated coproduct topological spaces, we define a locally expandable topological space and we prove that a locally expandable topological space has a topological expansion. Specifically, we prove that the fractal manifold is locally expandable and has a topological expansion.     

On Topological Derivatives for Elastic Solids with Uncertain Input Data

In this paper, a new approach to the derivation of the worst scenario and the maximum range scenario methods is proposed. The derivation is based on the topological derivative concept for the boundary-value problems of elasticity in two and three spatial dimensions. It is shown that the topological derivatives can be applied to the shape and topology optimization problems within a certain range of input data including the Lamé coefficients and the boundary tractions. In other words, the topological derivatives are stable functions and the concept of topological sensitivity is robust with respect to the imperfections caused by uncertain data. Two classes of integral shape functionals are considered, the first for the displacement field and the second for the stresses. For such classes, the form of the topological derivatives is given and, for the second class, some restrictions on the shape functionals are introduced in order to assure the existence of topological derivatives. The results on topological derivatives are used for the mathematical analysis of the worst scenario and the maximum range scenario methods. The presented results can be extended to more realistic methods for some uncertain material parameters and with the optimality criteria including the shape and topological derivatives for a broad class of shape functionals. This research is partially supported by the Brazilian Agency CNPq under Grant 472182/2007-2, FAPERJ under Grant E-26/171.099/2006 (Rio de Janeiro) and Brazilian-French Research Program CAPES/COFECUB under Grant 604/08 between LNCC in Petrópolis and IECN in Nancy, and by the Research Grant CNRS-CSAV between Institut Elie Cartan in Nancy and the Institut of Mathematics in Prague. The support is gratefully acknowledged.     

Energy change to insertion of inclusions associated with a diffusive/convective steady‐state heat conduction problem

The topological derivative concept has been successfully applied in many relevant physics and engineering problems. In particular, the topological asymptotic analysis has been fully developed for a wide range of problems modeled by partial differential equations. In this paper, the topological asymptotic analysis of the energy shape functional associated with a diffusive/convective steady‐state heat equation is developed. The topological derivative with respect to the nucleation of a circular inclusion is derived in its closed form with help of a non‐standard adjoint state. Finally, we provide the estimates for the remainders of the topological asymptotic expansion and perform a complete mathematical justification for the derived formulas. The obtained result is new and can be applied in the context of topology design of heat sinks, for instance. Copyright © 2015 John Wiley & Sons, Ltd.     

Compactly generated stacks: A Cartesian closed theory of topological stacks

A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a different Grothendieck topology. In fact, there is an equivalence of bicategories between compactly generated stacks and those classical topological stacks which admit locally compact Hausdorff atlases. Compactly generated stacks are also equivalent to a bicategory of topological groupoids and principal bundles, just as in the classical case. If a classical topological stack and a compactly generated stack have a presentation by the same topological groupoid, then they restrict to the same stack over locally compact Hausdorff spaces and are homotopy equivalent.     

Higher topological cyclic homology and the Segal conjecture for tori

We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory.The fixed points of toral topological Hochschild homology are related to one another by restriction and Frobenius operators. We introduce two additional families of operators on fixed points, the Verschiebung, indexed on self-isogenies of the n-torus, and the differentials, indexed on n-vectors. We give a detailed analysis of the relations among the restriction, Frobenius, Verschiebung, and differentials, producing a higher analog of the structure Hesselholt and Madsen described for 1-dimensional topological cyclic homology.We calculate two important pieces of higher topological cyclic homology, namely topological restriction homology and topological Frobenius homology, for the sphere spectrum. The latter computation allows us to establish the Segal conjecture for the torus, which is to say to completely compute the cohomotopy type of the classifying space of the torus.