• 대한수학회지
• /
• 제34권4호
• /
• pp.973-1008
• /
• 1997

We reconsider the problem of calssifying all classical orthogonal polynomial sequences which are solutions to a second-order differential equation of the form $$ \ell_2(x)y"(x) + \ell_1(x)y'(x) = \lambda_n y(x). $$ We first obtain new (algebraic) necessary and sufficient conditions on the coefficients $\ell_1(x)$ and $\ell_2(x)$ for the above differential equation to have orthogonal polynomial solutions. Using this result, we then obtain a complete classification of all classical orthogonal polynomials : up to a real linear change of variable, there are the six distinct orthogonal polynomial sets of Jacobi, Bessel, Laguerre, Hermite, twisted Hermite, and twisted Jacobi.cobi.

• Kyungpook Mathematical Journal
• /
• 제50권1호
• /
• pp.1-5
• /
• 2010

Let P be a prime ideal of a commutative unital ring R; X an indeterminate; D := R/P; L the quotient field of D; F an algebraic closure of L; ${\alpha}$ ${\in}$ L[X] a monic irreducible polynomial; ${\xi}$ any root of in F; and Q = ${\alpha}$>, the upper to P with respect to ${\alpha}$. Then R[X]/Q is R-algebra isomorphic to $D[{\xi}]$; and is R-isomorphic to an overring of D if and only if deg(${\alpha}$) = 1.

• Journal of the Korean Data and Information Science Society
• /
• 제20권6호
• /
• pp.1015-1027
• /
• 2009

대수기하학적 접근이란 실험계획에서의 공간 내의 점들 즉, 기하학적 대상인 다양체에 대한 문제를 다항식을 매개로 하여 아이디얼 즉, 대수적 문제로 전환하고자 한 것이라 할 수 있다. 지금까지의 연구는 완전요인실험으로부터 효율적인 부분요인실험을 선택하는 절차에 집중되어 왔다. 본 논문에서는 지금까지 연구 방법의 역의 과정을 추정해 보기로 한다. 한 부분요인실험이 선택되었을 때, 그 실험의 교락구조를 그뢰브너 기저를 구한 후 해석한다. 다음으로 그뢰브너 기저를 생성자로 활용하여 선택된 부분실험의 집합을 구별하기 위한 다항함수인 지시함수를 구하는 절차를 알아보기로 한다. 실제로 몇 가지 부분요인실험을 예로 택하여 그 과정을 수행하였다. 연산은 CoCoA 대수연산 소프트웨어를 이용하였다.

• 한국수학사학회지
• /
• 제27권3호
• /
• pp.165-182
• /
• 2014

After algebraic expressions for the roots of 3rd and 4th degree polynomial equations were given in the mid 16th century, seeking such a formula for the 5th and greater degree equations had been one main problem for algebraists for almost 200 years. Lagrange made careful and thorough investigation of various solving methods for equations with the purpose of finding a principle which could be applicable to general equations. In the process of doing this, he found a relation between the roots of the original equation and its auxiliary equation using permutations of the roots. Lagrange's ingenious idea of using permutations of roots of the original equation is regarded as the key factor of the Abel's proof of unsolvability by radicals of general 5th degree equations and of Galois' theory as well. This paper intends to examine Lagrange's contribution in the theory of polynomial equations, providing a detailed analysis of various solving methods of Lagrange and others before him.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제29권4호
• /
• pp.661-685
• /
• 2015

본 연구는 수학교사의 전문성을 신장시킬 수 있는 구체적인 가능성을 탐색하는 연구로, 다항식의 해법에 대한 수학교사의 대수 내용지식을 선정하고, 선정된 내용지식을 바탕으로 수학교사의 자립연수를 위한 학습 자료를 개발하였다. 개발된 학습 자료는 수학교사들에게 제공되었으며, 학습 자료가 자립연수에서 활용 가능한지, 수학교사들이 이해 가능한지 등에 대해 검사지로 조사하였고, 연수 방법 및 내용에 대해서도 설문을 하였다. 교사들의 대답을 분석한 결과, 개발된 학습 자료는 자립연수의 활용 가능성, 교사들의 이해 가능성, 연수 방법에 대해 긍정적인 결과를 얻었다.

• Coupled systems mechanics
• /
• 제1권2호
• /
• pp.155-163
• /
• 2012

This paper presents analytical approximate solutions for the initial post-buckling deformation of the pipes in oil and gas wells. The governing differential equation with sinusoidal nonlinearity can be reduced to form a third-order-polynomial nonlinear equation, by coupling of the well-known Maclaurin series expansion and orthogonal Chebyshev polynomials. Analytical approximations to the resulting boundary condition problem are established by combining the Newton's method with the method of harmonic balance. The linearization is performed prior to proceeding with harmonic balancing thus resulting in a set of linear algebraic equations instead of one of non-linear algebraic equations, unlike the classical method of harmonic balance. We are hence able to establish analytical approximate solutions. The approximate formulae for load along axis, and periodic solution are established for derivative of the helix angle at the end of the pipe. Illustrative examples are selected and compared to "reference" solution obtained by the shooting method to substantiate the accuracy and correctness of the approximate analytical approach.

• 대한수학회보
• /
• 제60권6호
• /
• pp.1651-1672
• /
• 2023

In 2010, Li-Ye [13, Theorem 0.1] proved that P(ζ(z), ζ'(z), . . . , ζ^(m)(z), Γ(z), Γ'(z), Γ"(z)) ≢ 0 in ℂ, where m is a non-negative integer, and P(u₀, u₁, . . . , u_m, v₀, v₁, v₂) is any non-trivial polynomial in its arguments with coefficients in the field ℂ. Later on, Li-Ye [15, Theorem 1] proved that P(z, Γ(z), Γ'(z), . . . , Γ⁽ⁿ⁾(z), ζ(z)) ≢ 0 in z ∈ ℂ for any non-trivial distinguished polynomial P(z, u₀, u₁, . . ., u_n, v) with coefficients in a set L_δ of the zero function and a class of nonzero functions f from ℂ to ℂ ∪ {∞} (cf. [15, Definition 1]). In this paper, we prove that P(z, ζ(z), ζ'(z), . . . , ζ^(m)(z), Γ(z), Γ'(z), . . . , Γ⁽ⁿ⁾(z)) ≢ 0 in z ∈ ℂ, where m and n are two non-negative integers, and P(z, u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n) is any non-trivial polynomial in the m + n + 2 variables u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n with coefficients being meromorphic functions of order less than one, and the polynomial P(z, u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n) is a distinguished polynomial in the n + 1 variables v₀, v₁, . . . , v_n. The question studied in this paper is concerning the conjecture of Markus from [16]. The main results obtained in this paper also extend the corresponding results from Li-Ye [12] and improve the corresponding results from Chen-Wang [5] and Wang-Li-Liu-Li [23], respectively.

• Journal of applied mathematics & informatics
• /
• 제32권1_2호
• /
• pp.17-26
• /
• 2014

In this paper, we present an algorithm for computing the number of points on the Jacobian varieties of genus 3 hyperelliptic curves of type $y^2=x^7+ax$ over finite prime fields. The problem of determining the group order of the Jacobian varieties of algebraic curves defined over finite fields is important not only arithmetic geometry but also curve-based cryptosystems in order to find a secure curve. Based on this, we provide the explicit formula of the characteristic polynomial of the Frobenius endomorphism of the Jacobian variety of hyperelliptic curve $y^2=x^7+ax$ over a finite field $\mathbb{F}_p$ with $p{\equiv}1$ modulo 12. Moreover, we also introduce some implementation results by using our algorithm.

• 대한수학회보
• /
• 제57권2호
• /
• pp.459-479
• /
• 2020

In the last two decades, codes over noncommutative rings have been one of the main trends in coding theory. Due to the fact that noncommutativity brings many challenging problems in its nature, still there are many open problems to be addressed. In 2015, generator polynomial matrices and parity-check polynomial matrices of generalized quasi-cyclic (GQC) codes were investigated by Matsui. We extended these results to the noncommutative case. Exploring the dual structures of skew constacyclic codes, we present a direct way of obtaining parity-check polynomials of skew multi-twisted codes in terms of their generators. Further, we lay out the algebraic structures of skew multipolycyclic codes and their duals and we give some examples to illustrate the theorems.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.971-974
• /
• 2002

Petri net is an effective modeling tool for concurrent systems. Liveness problem is one of analysis problems in Petri net theory verifying whether the system is free from any local deadlocks. It is well known that computational complexity of liveness problem of general Petri net is deterministic exponential space. Some subclasses, such as marked graph and free choice net, are suggested where liveness problem is verified in less complexity. This paper studies liveness of siphon containing circuit (SCC) net. Liveness condition based on algebraic inequalities is shown. Then polynomial time decidability of liveness of SCC net is derived, if the given net is known to be an SCC net a priori.