• Bulletin of the Korean Mathematical Society
• /
• v.60 no.3
• /
• pp.611-622
• /
• 2023

The main purpose of this paper is to study the hybrid mean value problem involving generalized Dedekind sums, generalized Hardy sums and Kloosterman sums. Some exact computational formulas are given by using the properties of Gauss sums and the mean value theorem of the Dirichlet L-function. A result of W. Peng and T. P. Zhang [12] is extended. The new results avoid the restriction that q is a prime.

• Kyungpook Mathematical Journal
• /
• v.13 no.2
• /
• pp.235-240
• /
• 1973

A k-dimensional vector bundle is a bundle ${\xi}=(E,P,B,F^k)$ with fibre $F^k$ satisfying the local triviality, where F is the field of real numbers R or complex numbers C ([1], [2] and [3]). Let $Vect_k(X)$ be the set consisting of all isomorphism classes of k-dimensional vector bundles over the topological space X. Then $Vect_F(X)=\{Vect_k(X)\}_{k=0,1,{\cdots}}$ is a semigroup with Whitney sum (${\S}1$). For a pair (X, A) of topological spaces, a difference isomorphism over (X, A) is a vector bundle morphism ([2], [3]) ${\alpha}:{\xi}_0{\rightarrow}{\xi}_1$ such that the restriction ${\alpha}:{\xi}_0{\mid}A{\longrightarrow}{\xi}_1{\mid}A$ is an isomorphism. Let $S_k(X,A)$ be the set of all difference isomorphism classes over (X, A) of k-dimensional vector bundles over X with fibre $F^k$. Then $S_F(X,A)=\{S_k(X,A)\}_{k=0,1,{\cdots}}$, is a semigroup with Whitney Sum (${\S}2$). In this paper, we shall prove a relation between $Vect_F(X)$ and $S_F(X,A)$ under some conditions (Theorem 2, which is the main theorem of this paper). We shall use the following theorem in the paper. THEOREM 1. Let ${\xi}=(E,P,B)$ be a locally trivial bundle with fibre F, where (B, A) is a relative CW-complex. Then all cross sections S of ${\xi}{\mid}A$ prolong to a cross section $S^*$ of ${\xi}$ under either of the following hypothesis: (H1) The space F is (m-1)-connected for each $m{\leq}dim$ B. (H2) There is a relative CW-complex (Y, X) such that $B=Y{\times}I$ and $A=(X{\times}I)$ ${\cap}(Y{\times}O)$, where I=[0, 1]. (For proof see p.21 [2]).

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.803-810
• /
• 2000

Let N($d_1,...,{\;}d_n;c_1,...,{\;}c_n$) be the number of solutions $(x_1,...,{\;}x_n){\in}F^{n}_p$ of the diagonal equation $c_lx_1^{d_1}+c_2x_2^{d_2}+{\cdots}+c_nx_n^{d_n}{\;}={\;}0{\;}n{\geq},{\;}c_j{\;}{\in}{\;}F^{*}_q,{\;}j=1,2,...,{\;}n$ where $d_j{\;}>{\;}1{\;}and{\;}d_j{\;}$\mid${\;}q{\;}-{\;}1$ for all j = 1,2,..., n. In this paper, we find all n-tuples ($d_1,...,{\;}d_n$) such that the reduced form of ($d_1,...,{\;}d_n$) and N($d_1,...,{\;}d_n;c_1,...,{\;}c_n$) are the same as in the theorem obtained by Sun Qi [3]. Improving this, we also get an explicit formula for the number of solutions of the diagonal equation, unver a certain natural restriction on the exponents.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.6
• /
• pp.621-629
• /
• 2007

In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs more restrictions on the control gain than the indirect configuration. In general, these restrictions are difficult to check in practice where mathematical models of plant are not available. In this paper, using a simple extension of the universal approximation theorem, we show that the only required constraint on the control gain is that its sign is known. The Lyapunov synthesis approach is used to guarantee the stability and convergence of the closed loop system. Finally, examples of an inverted pendulum and a magnet levitation system demonstrate the theoretical results.

• Journal of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.935-955
• /
• 2020

In this paper we present a measurable version of the Smale's spectral decomposition theorem for homeomorphisms on compact metric spaces. More precisely, we prove that if a homeomorphism f on a compact metric space X is invariantly measure expanding on its chain recurrent set CR(f) and has the eventually shadowing property on CR(f), then f has the spectral decomposition. Moreover we show that f is invariantly measure expanding on X if and only if its restriction on CR(f) is invariantly measure expanding. Using this, we characterize the measure expanding diffeomorphisms on compact smooth manifolds via the notion of Ω-stability.

• Communications of Mathematical Education
• /
• v.5
• /
• pp.523-523
• /
• 1997

Suppose that G is a group of permutations of a set ${\Omega}$. For a finite subset ${\gamma}$of${\Omega}$, the movement of ${\gamma}$ under the action of G is defined as move(${\gamma}$):=$max\limits_{g{\epsilon}G}|{\Gamma}^{g}{\backslash}{\Gamma}|$, and ${\gamma}$ will be said to have restricted movement if move(${\gamma}$)<|${\gamma}$|. Moreover if, for an infinite subset ${\gamma}$of${\Omega}$, the sets|{\Gamma}^{g}{\backslash}{\Gamma}| are finite and bounded as g runs over all elements of G, then we may define move(${\gamma}$)in the same way as for finite subsets. If move(${\gamma}$)${\leq}$m for all ${\gamma}$${\subseteq}$${\Omega}$, then G is said to have bounded movement and the movement of G move(G) is defined as the maximum of move(${\gamma}$) over all subsets ${\gamma}$ of ${\Omega}$. Having bounded movement is a very strong restriction on a group, but it is natural to ask just which permutation groups have bounded movement m. If move(G)=m then clearly we may assume that G has no fixed points is${\Omega}$, and with this assumption it was shown in [4, Theorem 1]that the number t of G=orbits is at most 2m-1, each G-orbit has length at most 3m, and moreover|${\Omega}$|${\leq}$3m+t-1${\leq}$5m-2. Moreover it has recently been shown by P. S. Kim, J. R. Cho and C. E. Praeger in [1] that essentially the only examples with as many as 2m-1 orbits are elementary abelian 2-groups, and by A. Gardiner, A. Mann and C. E. Praeger in [2,3]that essentially the only transitive examples in a set of maximal size, namely 3m, are groups of exponent 3. (The only exceptions to these general statements occur for small values of m and are known explicitly.) Motivated by these results, we would decide what role if any is played by primes other that 2 and 3 for describing the structure of groups of bounded movement.