• Kyungpook Mathematical Journal
• /
• 제50권2호
• /
• pp.177-193
• /
• 2010

Working with the various special functions of mathematical physics and applied mathematics we often encounter inverse relations of the type $F_n(x)=\sum\limits_{k=0}^{n}A^n_kG_k(x)$ and $ G_n(x)=\sum\limits_{k=0}^{n}B_k^nF_k(x)$, where 0, 1, 2,$\cdots$. Here $F_n(x)$, $G_n(x)$ denote special polynomial functions, and $A_k^n$, $B_k^n$ denote coefficients found by use of the orthogonal properties of $F_n(x)$ and $G_n(x)$, or by skillful series manipulations. Typically $G_n(x)=x^n$ and $F_n(x)=P_n(x)$, the n-th Legendre polynomial. We give a collection of inverse series pairs of the type $f(n)=\sum\limits_{k=0}^{n}A_k^ng(k)$ if and only if $g(n)=\sum\limits_{k=0}^{n}B_k^nf(k)$, each pair being based on some reasonably well-known special function. We also state and prove an interesting generalization of a theorem of Rainville in this form.

• 대한수학회보
• /
• 제22권1호
• /
• pp.11-15
• /
• 1985

Manddelberg [9] has shown that a Clifford algebra of a free quadratic space over an arbitrary semi-local ring R in Brawer-Wall group BW(R) is determined by its rank, determinant, and Hasse invariant. In this paper, we prove a corresponding result when R is a full ring.Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is non-degenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$(V,R) induced by B is an isomorphism), and with a quadratic mapping .phi.: V.rarw.R such that B(x,y)=1/2(.phi.(x+y)-.phi.(x)-.phi.(y)) and .phi.(rx) = $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U9R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$,.., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2 we reserve the notation [a $a_{11}$, $a_{22}$] for the space. A commutative ring R having 2 a unit is called full [10] if for every triple $a_{1}$, $a_{2}$, $a_{3}$ of elements in R with ( $a_{1}$, $a_{2}$, $a_{3}$)=R, there is an element w in R such that $a_{1}$+ $a_{2}$w+ $a_{3}$ $w^{2}$=unit.TEX>=unit.t.t.t.

• 한국통신학회논문지
• /
• 제24권12B호
• /
• pp.2249-2261
• /
• 1999

본 논문에서는 Multiprotocol Label Switching 시스템을 위한 Label Distribution Protocol의 설계와 구현에 관해서 서술한다. 먼저 Gigabit Switched Router를 만들기 위해서 필요한 LDP의 구현 시 고려해야 될 사항에 대해 살피고, 상세 설계를 제안한다. 결과로써, IETE 표준에 의거한, LDP를 구현하는 데이터 구조 및 처리 절차들을 제시한다. 본 논문에서는 구현 시 Carrier Class Product에 적용하기 위해 고려해야 할 점들을 제시한다. 구현된 프로토콜은 상용망에서 요구되는 IP 라우팅 테이블 항목 개수인 4만개의 엔트리들 수용 요구를 만족시킨다. 또한 본 시스템은 표준 Unix API를 사용하여 구현됨으로써 이식성을 가지고 있다. 이러한 구현 시 고려할 사항들과 표준에 의거하여 구현을 함으로써, 우리는 본 LDP가 표준에 기준한 다른 상용제품과 연동성을 확보할 것을 기대한다. 이 LDP의 프로토타입을 구축하고, 이 구현 결과의 프로세스 대수를 사용한 형식적 명세와 분석 그리고 성능 분석을 함으로써 메커니즘의 타당성을 검증하고있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제18권2호
• /
• pp.239-261
• /
• 2008

본 연구는 TIMSS 2003 결과를 토대로 우리나라 중학생들의 수학 성취도를 내용 영역별로 싱가포르, 대만, 홍콩, 일본과 비교한 것이다. 우리나라는 구성형과 선다형 문항 모두에서 싱가포르에 비해 정답률이 낮았으며 일본에 비해서는 선다형 문항의 정답률이 더 높은 것으로 나타났다. 내용 영역별 평균 정답률을 보면, 우리나라는 수 영역에서 싱가포르보다 낮았는데, 특히 '비 비율 백분율'의 차이가 컸다. 대수 영역의 하위 주제 정답률은 높았지만 측정 영역, 특히 '속성과 단위'에서는 정답률이 5개국 중 가장 낮았다. 기하 영역에서는 평균 정답률이 가장 높았으나, '평면도형과 입체도형', '대칭과 변환'에서는 높지 않았다. 자료 영역에서도 정답률이 높지 않았는데 우리나라 학생들이 중앙값, 범위, 분포 상태, 자료를 통해 미지의 값 추정하기, 자료 해석에 대하여 평가하기 등의 내용에 대한 학습 경험이 부족한 것에 그 원인이 있을 수 있다. 문항 분석 결과, 우리나라 정답률이 국제 평균보다 35% 이상 높은 문항은 194개 중 42개로서 수 10개, 대수 9개, 측정 10개, 기하 7개, 자료 6개였고, 국제 평균보다 낮은 문항은 측정, 기하, 자료 영역에 각각 하나씩 있었다. 또한 우리나라보다 전체 성취도 순위가 높았던 싱가포르에 비해 정답률이 20% 이상 낮았던 문항은 10개가 있었다.

• 대한수학회논문집
• /
• 제9권4호
• /
• pp.881-889
• /
• 1994

Let ($X, \Beta, \mu$) be a measure space with the $\sigma$-algebra $\Beta$ and the probability measure $\mu$. Throughouth this article set equalities and inclusions are understood as being so modulo measure zero sets. A transformation T defined on a probability space X is said to be measure preserving if $\mu(T^{-1}E) = \mu(E)$ for $E \in B$. It is said to be ergodic if $\mu(E) = 0$ or i whenever $T^{-1}E = E$ for $E \in B$. Consider the sequence ${x, Tx, T^2x,...}$ for $x \in X$. One may ask the following questions: What is the relative frequency of the points $T^nx$ which visit the set E\ulcorner Birkhoff Ergodic Theorem states that for an ergodic transformation T the time average $lim_{n \to \infty}(1/N)\sum^{N-1}_{n=0}{f(T^nx)}$ equals for almost every x the space average $(1/\mu(X)) \int_X f(x)d\mu(x)$. In the special case when f is the characteristic function $\chi E$ of a set E and T is ergodic we have the following formula for the frequency of visits of T-iterates to E : $$ lim_{N \to \infty} \frac{$\mid${n : T^n x \in E, 0 \leq n $\mid$}{N} = \mu(E) $$ for almost all $x \in X$ where $$\mid$\cdot$\mid$$ denotes cardinality of a set. For the details, see [8], [10].

• Kyungpook Mathematical Journal
• /
• 제63권2호
• /
• pp.235-250
• /
• 2023

Let 1 ≤ p, q < ∞ be fixed, and let R = [r_jk] be an infinite scalar matrix such that 1 ≤ r_jk < ∞ and sup_j,k r_jk < ∞. Let 𝓑(𝑙_p, 𝑙_q) be the set of all bounded linear operator from 𝑙_p into 𝑙_q. For a fixed Banach algebra 𝐁 with identity, we define a new vector space S^R_p,q(𝐁) of infinite matrices over 𝐁 and a paranorm G on S^R_p,q(𝐁) as follows: let $$S^R_{p,q}({\mathbf{B}})=\{A:A^{[R]}{\in}{\mathcal{B}}(l_p,l_q)\}$$ and $G(A)={\parallel}A^{[R]}{\parallel}^{\frac{1}{M}}_{p,q}$, where $A^{[R]}=[{\parallel}a_{jk}{\parallel}^{r_{jk}}]$ and M = max{1, sup_j,k r_jk}. The existance of S^R_p,q(𝐁) equipped with the paranorm G(·) including its completeness are studied. We also provide characterizations of β -dual of the paranormed space.

• 대한수학회보
• /
• 제40권3호
• /
• pp.437-456
• /
• 2003

In this paper we use a generalized Brownian motion process to define a generalized analytic Feynman integral. We then establish a Fubini theorem for the function space integral and generalized analytic Feynman integral of a functional F belonging to Banach algebra $S(L^2_{a,b}[0,T])$ and we proceed to obtain several integration formulas. Finally, we use this Fubini theorem to obtain several Feynman integration formulas involving analytic generalized Fourier-Feynman transforms. These results subsume similar known results obtained by Huffman, Skoug and Storvick for the standard Wiener process.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제5권2호
• /
• pp.109-114
• /
• 1998

Let H be a separable complex H be a space and let (equation omitted)(H) be the *-algebra of all bounded linear operators on H. An operator T in (equation omitted)(H) is said to be p-hyponormal if ($T^{\ast}T)^p - (TT^{\ast})^{p}\geq$ 0 for 0 ＜ p ＜ 1. If p = 1, T is hyponormal and if p = $\frac{1}{2}$, T is semi-hyponormal. In this paper, by using a technique introduced by S. K. Berberian, we show that the approximate point spectrum $\sigma_{\alpha p}(T) of a pure p-hyponormal operator T is empty, and obtains the compact perturbation of T.

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

For principal component analysis (PCA) to efficiently analyze large scale matrices, it is crucial to find a few singular vectors in cheaper computational cost and under lower memory requirement. To compute those in a fast and robust way, we propose a new stochastic method. Especially, we adopt the stochastic variance reduced gradient (SVRG) method [11] to avoid asymptotically slow convergence in stochastic gradient descent methods. For that purpose, we reformulate the PCA problem as a unconstrained optimization problem using a quadratic penalty. In general, increasing the penalty parameter to infinity is needed for the equivalence of the two problems. However, in this case, exact penalization is guaranteed by applying the analysis in [24]. We establish the convergence rate of the proposed method to a stationary point and numerical experiments illustrate the validity and efficiency of the proposed method.

• 대한수학회지
• /
• 제55권1호
• /
• pp.147-160
• /
• 2018

In this article, we establish translation theorems for the analytic Fourier-Feynman transform of functionals in non-stationary Gaussian processes on Wiener space. We then proceed to show that these general translation theorems can be applied to two well-known classes of functionals; namely, the Banach algebra S introduced by Cameron and Storvick, and the space ${\mathcal{B}}^{(P)}_{\mathcal{A}}$ consisting of functionals of the form $F(x)=f({\langle}{\alpha}_1,x{\rangle},{\ldots},{\langle}{\alpha}_n,x{\rangle})$, where ${\langle}{\alpha},x{\rangle}$ denotes the Paley-Wiener-Zygmund stochastic integral ${\int_{0}^{T}}{\alpha}(t)dx(t)$.