• Computational Structural Engineering
• /
• v.5 no.1
• /
• pp.75-82
• /
• 1992

In the h-version of F.E.M., all piecewisely smooth curved boundaries can be approximated by a sufficient number of straight-sided elements. However, in the p-version the size of the element is usually large and hence the probability of distortions is more. An attempt has been made to generate a curved boundary by using a transfinite interpolation technique to avoid the discretization errors. In the following sections, it will be shown how to construct transfinite interpolants both in h-version and in p-version over polygonal and nonpolygonal regions. Three numerical tests are shown to validate the applicability and superior capability of transfinite interpolation technique.

• Journal of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.105-127
• /
• 2022

It is known that the maximal invariant set of a continuous iterative dynamical system in a compact Hausdorff space is equal to the intersection of its forward image sets, which we will call the first minimal image set. In this article, we investigate the corresponding relation for a class of discontinuous self maps that are on the verge of continuity, or topologically almost continuous endomorphisms. We prove that the iterative dynamics of a topologically almost continuous endomorphisms yields a chain of minimal image sets that attains a unique transfinite length, which we call the maximal invariance order, as it stabilizes itself at the maximal invariant set. We prove the converse, too. Given ordinal number ξ, there exists a topologically almost continuous endomorphism f on a compact Hausdorff space X with the maximal invariance order ξ. We also discuss some further results regarding the maximal invariance order as more layers of topological restrictions are added.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.32 no.1A
• /
• pp.39-48
• /
• 2012

This study deals with numerical determination of stress intensity factors of adhesively patch-repaired plates with cracks at V-shaped or semicircular notches. The p-convergent anisoparametric model are considered and then three-dimensional virtual crack closure technique is presented using formulations of anisoparametric elements. In assumed displacement fields of an element, strain-displacement relations and three-dimensional constitutive equations are derived with three-dimensional hierarchical shape functions expanded from one-dimensional Lobatto functions. Transfinite mapping technique is used to represent a circular boundary. The present model provides accuracy and simplicity in terms of stress concentration factor, stress distribution, the number of degrees of freedom, and non-dimensional stress intensity factor as compared with previous works in literatures. Stress intensity factors obtained by the three-dimensional virtual crack closure technique are estimated with respect to the variation of width of finite plate, radius of notch root, angular inclination of V-shaped notch, and crack length.

• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.883-896
• /
• 2022

A hereditary base-b representation, used in the celebrated Goodstein's theorem, can easily be converted into a labeled rooted tree. In this way it is possible to give a more elementary geometric proof of the aforementioned theorem and to establish a more general version, geometrically proved. This view is very useful for better understanding the underlying logical problems and the need to use transfinite induction in the proof. Similar problems will then be considered, such as the so-called "hydra game".

• Journal for History of Mathematics
• /
• v.21 no.3
• /
• pp.31-52
• /
• 2008

The concept of infinity, as with other scientific concepts, has a history of evolution. In the present work we intend to discuss the subject matter with regard to Bolzano since he is considered to be the first to accept the idea of actual infinity not just from a metaphysical perspective but from a mathematical one. Like modem platonists, Bolzano defended the infinite set itself regardless of the construction process; this is based on the principal of comprehension and unicity of denotation regarding all concepts. In addition, instead of considering as paradoxical the fact that a one-to-one correspondence existed between an infinite set and its parts, he regarded it in a positive way as a special characteristic. While the Greek era recognized the existence of only one infinity, Balzano acknowledged the existence of various types of infinity and formulated a logical definition for it. The question of infinity is a touchstone of constructive method which holds an increasingly important role in mathematics. The present study stops with just a brief reference to the subject matter and we will leave further in-depth investigation for later.