• Journal of applied mathematics & informatics
• /
• 제31권1_2호
• /
• pp.165-177
• /
• 2013

In this paper, we apply Homotopy perturbation transform method (HPTM) for solving singular fourth order parabolic partial differential equations with variable coefficients. This method is the combination of the Laplace transform method and Homotopy perturbation method. The nonlinear terms can be easily handled by the use of He's polynomials. The aim of using the Laplace transform is to overcome the deficiency that is mainly caused by unsatisfied conditions in other semi-analytical methods such as Homotopy perturbation method (HPM), Variational iteration method (VIM) and Adomain Decomposition method (ADM). The proposed scheme finds the solutions without any discretization or restrictive assumptions and avoids the round-off errors. The comparison shows a precise agreement between the results and introduces this method as an applicable one which it needs fewer computations and is much easier and more convenient than others, so it can be widely used in engineering too.

• 대한수학회논문집
• /
• 제34권3호
• /
• pp.991-1004
• /
• 2019

Firstly we consider preorders (not necessarily partial orders) on a canonical quotient of the set of the homotopy classes of continuous maps between two spaces induced by a certain equivalence relation ${\sim}_{{\varepsilon}R}$. Secondly we apply it to a classification of orientable fibrations over Y with fibre X. In the classification theorem of J. Stasheff [22] and G. Allaud [3], they use the set $[Y,\;Baut_1X]$ of homotopy classes of continuous maps from Y to $Baut_1X$, which is the classifying space for fibrations with fibre X due to A. Dold and R. Lashof [11]. In this paper we give a classification of fibrations using a preordered set (abbr., proset) structure induced by $[Y,\;Baut_1X]_{{\varepsilon}R}:=[Y,\;Baut_1X]/{\sim}_{{\varepsilon}R}$.

• 대한수학회지
• /
• 제58권3호
• /
• pp.761-790
• /
• 2021

For given spaces X and Y, let map(X, Y) and map_*(X, Y) be the unbased and based mapping spaces from X to Y, equipped with compact-open topology respectively. Then let map(X, Y ; f) and map_*(X, Y ; g) be the path component of map(X, Y) containing f and map_*(X, Y) containing g, respectively. In this paper, we compute cohomotopy groups of suspended complex plane π^n+m(ΣⁿℂP²) for m = 6, 7. Using these results, we classify path components of the spaces map(ΣⁿℂP², S^m) up to homotopy equivalence. We also determine the generalized Gottlieb groups G_n(ℂP², S^m). Finally, we compute homotopy groups of mapping spaces map(ΣⁿℂP², S^m; f) for all generators [f] of [ΣⁿℂP², S^m], and Gottlieb groups of mapping components containing constant map map(ΣⁿℂP², S^m; *).

• 대한수학회보
• /
• 제55권4호
• /
• pp.1051-1063
• /
• 2018

The real moment-angle complex (or, more generally, real polyhedral product) and its real toric space have recently attracted much attention in toric topology. The aim of this paper is to give two interesting remarks regarding real polyhedral products and real toric spaces. That is, we first show that Moore's conjecture holds to be true for certain real polyhedral products. In general, real polyhedral products show some drastic difference between the rational and torsion homotopy groups. Our result shows that at least in terms of the homotopy exponent at a prime this is not the case for real polyhedral products associated to a simplicial complex whose minimal missing faces are all k-simplices with $k{\geq}2$. Moreover, we also show a structural theorem for a finite group G acting simplicially on the real toric space. In other words, we show that G always contains an element of order 2, and so the order of G should be even.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제25권3호
• /
• pp.77-100
• /
• 1987

Let G : R$^n$${\times}$R\longrightarrowR$^n$ be defined by a Homotopy solving a system F($\chi$)=0 of nonlinear equations. For the vector v$\^$k/ with G'(u$\sub$k/)v$\^$k/=0, ∥v$\^$k/∥=1 where uk is one point in Zero Curve let u$\sub$0/$\^$k/=v$\^$k/＋$\tau$v$\^$k/ be the first prediction for the next point u$\^$k+1/, $\tau$$\in$(0, 1). When u$\sub$0/$\^$k/ approaching too losely to some unwanted point. to follow the Zero Curve may occur the returning or cycling. One lion for it is discussed and tile parametrizied Homotopy algorithm for solving F($\chi$)=0 with it been established. Also some theorems by means of the regular value have been discussed for Zero Curves of G(u)=0 and some theorems for algorithm have been obtained.

• 대한수학회논문집
• /
• 제10권3호
• /
• pp.699-705
• /
• 1995

We first generalize the Volodin space which Volodin constructed in order to define a new algebraic K-theory. We investigate the topological (homotopy) properties of the general Volodin space. We also provide a theorem which seems to be useful in pure homotopy theory. We prove that $V(*_\alpha G_\alpha, {G_\alpha})$ is simply connected.

• 대한수학회논문집
• /
• 제37권1호
• /
• pp.259-267
• /
• 2022

We use L_∞ models to compute the rational homotopy type of the mapping space of the component of the natural inclusion i_n,k : ℂPⁿ ↪ ℂP^n+k between complex projective spaces and show that it has the rational homotopy type of a product of odd dimensional spheres and a complex projective space. We also characterize the mapping aut₁ ℂPⁿ → map(ℂPⁿ, ℂP^n+k; i_n,k) and the resulting G-sequence.

• 대한수학회보
• /
• 제32권1호
• /
• pp.45-56
• /
• 1995

D. H. Gottlieb [1, 2] studied the subgroups $G_n(X)$ of homotopy groups $\pi_n(X)$. In [5, 7, 10], the authors introduced subgroups $G_n(X, A)$ and $G_n^{Rel}(X, A) of \pi_n(X)$ and $\pi_n(X, A)$ respectively and showed that they fit together into a sequence $$ \cdots \to G_n(A) \longrightarrow^{i_*} G_n(X, A) \longrightarrow^{j_*} G_n^{Rel}(X, A) \longrightarrow^\partial $$ $$ \cdots \to G_1^{Rel}(X, A) \to G_0(A) \ to G_0(X, A) $$ where $i_*, j_*$ and \partial$ are restrictions of the usual homomorphisms of the homotopy sequence $$ \cdot \to^\partial \pi_n(A) \longrightarrow^{i_*} \pi_n(X) \longrightarrow^{j_*} \pi_n(X, A) \to \cdot \to \pi_0(A) \to \pi_0(X) $$.

• 호남수학학술지
• /
• 제27권1호
• /
• pp.115-129
• /
• 2005

In this paper, we give a digital graph-theoretical approach of the study of digital images with relation to a simplicial complex. Thus, a digital graph $G_k$ with some k-adjacency in ${\mathbb{Z}}^n$ can be recognized by the simplicial complex spanned by $G_k$. Moreover, we demonstrate that a graphically $(k_0,\;k_1)$-continuous map $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}}^{n_1}$ can be converted into the simplicial map $S(f):S(G_{k_0}){\rightarrow}S(G_{k_1})$ with relation to combinatorial topology. Finally, if $G_{k_0}$ is not $(k_0,\;3^{n_0}-1)$-homotopy equivalent to $SC^{n_0,4}_{3^{n_0}-1}$, a graphically $(k_0,\;k_1)$-continuous map (respectively a graphically $(k_0,\;k_1)$-isomorphisim) $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}^{n_1}$ induces the group homomorphism (respectively the group isomorphisim) $S(f)_*:{\pi}_1(S(G_{k_0}),\;v_0){\rightarrow}{\pi}_1(S(G_{k_1}),\;f(v_0))$ in algebraic topology.

• 대한수학회보
• /
• 제38권4호
• /
• pp.719-725
• /
• 2001

For a p-compact group G, if G-space X is of finite S-type then we show that the localization $S^{-1}H^*(X_{hG})$is zero. By using this result, we prove the localization theorem for the pair G-space (X, A)