• The Pure and Applied Mathematics
• /
• v.29 no.4
• /
• pp.335-352
• /
• 2022

In this paper, we give an extended version of fixed point results for 𝜃-contraction and 𝜃-𝜙-contraction and define a new type of contraction, namely, cyclic 𝜃-contraction and cyclic 𝜃-𝜙-contraction in a complete metric space. Moreover, we prove the existence of best proximity point for cyclic 𝜃-contraction and cyclic 𝜃-𝜙-contraction. Also, we establish best proximity result in the setting of uniformly convex Banach space.

• Korean Journal of Mathematics
• /
• v.29 no.4
• /
• pp.741-747
• /
• 2021

The Cayley-Bacharach theorem says that every cubic curve on an algebraically closed field that passes through a given 8 points must contain a fixed ninth point, counting multiplicities. Ren et al. introduced a concrete formula for the ninth point in terms of the 8 points [4]. We would like to consider a different approach to find the ninth point via the theory of truncated moment problems. Various connections between algebraic geometry and truncated moment problems have been discussed recently; thus, the main result of this note aims to observe an interplay between linear algebra, operator theory, and real algebraic geometry.

• The Pure and Applied Mathematics
• /
• v.29 no.4
• /
• pp.369-399
• /
• 2022

In the last few decades, a lot of generalizations of the Banach contraction principle have been introduced. In this paper, we present the notion of (𝜙, F)-contraction in generalized asymmetric metric spaces and we investigate the existence of fixed points of such mappings. We also provide some illustrative examples to show that our results improve many existing results.

• Journal of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.239-268
• /
• 2015

Let Q be a finite quiver and $G{\subseteq}Aut(\mathbb{k}Q)$ a finite abelian group. Assume that $\hat{Q}$ and ${\Gamma}$ are the generalized Mckay quiver and the valued graph corresponding to (Q, G) respectively. In this paper we discuss the relationship between indecomposable $\hat{Q}$-representations and the root system of Kac-Moody algebra $g({\Gamma})$. Moreover, we may lift G to $\bar{G}{\subseteq}Aut(g(\hat{Q}))$ such that $g({\Gamma})$ embeds into the fixed point algebra $g(\hat{Q})^{\bar{G}}$ and $g(\hat{Q})^{\bar{G}}$ as a $g({\Gamma})$-module is integrable.

• The Pure and Applied Mathematics
• /
• v.23 no.3
• /
• pp.237-246
• /
• 2016

Ebadian et al. proved the Hyers-Ulam stability of bimultipliers and Jordan bimultipliers in C*-ternary algebras by using the fixed point method. Under the conditions in the main theorems for bimultipliers, we can show that the related mappings must be zero. Moreover, there are some mathematical errors in the statements and the proofs of the results. In this paper, we correct the statements and the proofs of the results, and prove the corrected theorems by using the direct method.

• Journal of Applied and Pure Mathematics
• /
• v.5 no.3_4
• /
• pp.211-222
• /
• 2023

In this paper, we study the following hybrid Caputo-Fabrizio fractional differential equation: ^𝐶𝓕_α𝕯^θ_ϑ [ω(ϑ) - 𝕱(ϑ, ω(ϑ))] = 𝕲(ϑ, ω(ϑ)), ϑ ∈ 𝕵 := [a, b], ω(α) = 𝜑_α ∈ ℝ, The result is based on a Dhage fixed point theorem in Banach algebra. Further, an example is provided for the justification of our main result.

• The Pure and Applied Mathematics
• /
• v.25 no.2
• /
• pp.135-147
• /
• 2018

Lu et al. [27] defined derivations on fuzzy Banach spaces and fuzzy Lie Banach spaces and proved the Hyers-Ulam stability of derivations on fuzzy Banach spaces and fuzzy Lie Banach spaces. It is easy to show that the definitions of derivations on fuzzy Banach spaces and fuzzy Lie Banach spaces are wrong and so the results of [27] are wrong. Moreover, there are a lot of seroius problems in the statements and the proofs of the results in Sections 2 and 3. In this paper, we correct the definitions of biderivations on fuzzy Banach algebras and fuzzy Lie Banach algebras and the statements of the results in [27], and prove the corrected theorems.

• Journal of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.1-20
• /
• 2004

Let A be a uniform algebra, and let $\phi$ be a self-map of the spectrum $M_A$ of A that induces a composition operator $C_{\phi}$, on A. It is shown that the image of $M_A$ under some iterate ${\phi}^n$ of \phi is hyperbolically bounded if and only if \phi has a finite number of attracting cycles to which the iterates of $\phi$ converge. On the other hand, the image of the spectrum of A under $\phi$ is not hyperbolically bounded if and only if there is a subspace of $A^{**}$ "almost" isometric to ${\ell}_{\infty}$ on which ${C_{\phi}}^{**}$ "almost" an isometry. A corollary of these characterizations is that if $C_{\phi}$ is weakly compact, and if the spectrum of A is connected, then $\phi$ has a unique fixed point, to which the iterates of $\phi$ converge. The corresponding theorem for compact composition operators was proved in 1980 by H. Kamowitz [17].

• The Pure and Applied Mathematics
• /
• v.22 no.4
• /
• pp.389-401
• /
• 2015

We will show the general solution of the functional equation f(x + ay) + f(x − ay) + 2(a² − 1)f(x) = a²f(x + y) + a²f(x − y) + 2a²(a² − 1)f(y) and investigate the stability of quartic Lie *-derivations associated with the given functional equation.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.565-570
• /
• 1994

In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.