• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제17권3호
• /
• pp.139-170
• /
• 2013

We extend a p-hierarchical decomposition of the second degree finite element space of N$\acute{e}$d$\acute{e}$lec for tetrahedral meshes in three dimensions given in [1] to meshes with hexahedral elements, and derive p-hierarchical decompositions of the second degree finite element space of Raviart-Thomas in two dimensions for triangular and quadrilateral meshes. After having proved stability of these subspace decompositions and requiring certain saturation assumptions to hold, we construct a local a posteriori error estimator for fem and bem coupling of a time-harmonic electromagnetic eddy current problem in $\mathbb{R}^3$. We perform some numerical tests to underline reliability and efficiency of the estimator and test its usefulness in an adaptive refinement scheme.

• 대한수학회보
• /
• 제49권4호
• /
• pp.737-748
• /
• 2012

The goal of this paper is to study the existence of non-trivial non-negative weak solution for the nonlinear elliptic equation: $$-div(h(x){\nabla}u)=f(x,u)\;in\;{\Omega}$$ with Dirichlet boundary condition in a bounded domain ${\Omega}{\subset}\mathbb{R}^N$, $N{\geq}3$, where $h(x){\in}L^1_{loc}({\Omega})$, $f(x,s)$ has asymptotically linear behavior. The solutions will be obtained in a subspace of the space $H^1_0({\Omega})$ and the proofs rely essentially on a variation of the mountain pass theorem in [12].

• 대한수학회지
• /
• 제57권1호
• /
• pp.89-111
• /
• 2020

In the present paper, we give some characterization of the L₂ maximal estimate for the operator P^t_a,γf(Γ(x, t)) along curve with complex time, which is defined by $$P^t_{a,{\gamma}}f({\Gamma}(x,t))={\displaystyle\smashmargin{2}{\int\nolimits_{\mathbb{R}}}}\;e^{i{\Gamma}(x,t){\xi}}e^{it{\mid}{\xi}{\mid}^a}e^{-t^{\gamma}{\mid}{\xi}{\mid}^a}{\hat{f}}({\xi})d{\xi}$$, where t, γ > 0 and a ≥ 2, curve Γ is a function such that Γ : ℝ×[0, 1] → ℝ, and satisfies Hölder's condition of order σ and bilipschitz conditions. The authors extend the results of the Schrödinger type with complex time of Bailey [1] and Cho, Lee and Vargas [3] to Schrödinger operators along the curves.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권4호
• /
• pp.387-392
• /
• 2008

In this note, an alternative proof and extensions are provided for the following conclusions in [6, Theorem 1 and Theorem 3]: The functions $\frac1{x^2}-\frac{e^{-x}}{(1-e^{-x})^2}\;and\;\frac1{t}-\frac1{e^t-1}$ are decreasing in (0, ${\infty}$) and the function $\frac{t}{e^{at}-e^{(a-1)t}}$ for a $a{\in}\mathbb{R}\;and\;t\;{\in}\;(0,\;{\infty})$ is logarithmically concave.

• East Asian mathematical journal
• /
• 제35권3호
• /
• pp.285-288
• /
• 2019

Let $F_n$, $n{\in}{\mathbb{N}}$ be the n - th Fibonacci number, and let (p, q) be one of ordered pairs ($F_{n+2}$, $F_n$) or ($F_{n+1}$, $F_n$). Then we show that the multiplicative inverse of q mod p as well as that of p mod q are again Fibonacci numbers. For proof of our claim we make use of well-known Cassini, Catlan and dOcagne identities. As an application, we determine the number $N_{p,q}$ of nonzero term of a polynomial ${\Delta}_{p,q}(t)=\frac{(t^{pq}-1)(t-1)}{(t^p-1)(t^q-1)}$ through the Carlitz's formula.

• 대한수학회논문집
• /
• 제38권3호
• /
• pp.787-805
• /
• 2023

Let (Ω, µ) be a measure space and {τ_α}_α∈Ω be a normalized continuous Bessel family for a finite dimensional Hilbert space 𝓗 of dimension d. If the diagonal ∆ := {(α, α) : α ∈ Ω} is measurable in the measure space Ω × Ω, then we show that $$\sup\limits_{{\alpha},{\beta}{\in}{\Omega},{\alpha}{\neq}{\beta}}\,{\mid}{\langle}{\tau}_{\alpha},\,{\tau}_{\beta}{\rangle}{\mid}^{2m}\,{\geq}\,{\frac{1}{({\mu}{\times}{\mu})(({\Omega}{\times}{\Omega}{\backslash}{\Delta})}\;\[\frac{{\mu}({\Omega})^2}{\({d+m-1 \atop m}\)}-({\mu}{\times}{\mu})({\Delta})\],\;{\forall}m{\in}{\mathbb{N}}.$$ This improves 48 years old celebrated result of Welch [41]. We introduce the notions of continuous cross correlation and frame potential of Bessel family and give applications of continuous Welch bounds to these concepts. We also introduce the notion of continuous Grassmannian frames.

• ETRI Journal
• /
• 제21권1호
• /
• pp.28-39
• /
• 1999

Koblitz has suggested to use "anomalous" elliptic curves defined over ${\mathbb{F}}_2$, which are non-supersingular and allow or efficient multiplication of a point by and integer, For these curves, Meier and Staffelbach gave a method to find a polynomial of the Frobenius map corresponding to a given multiplier. Muller generalized their method to arbitrary non-supersingular elliptic curves defined over a small field of characteristic 2. in this paper, we propose an algorithm to speed up scalar multiplication on an elliptic curve defined over a small field. The proposed algorithm uses the same field. The proposed algorithm uses the same technique as Muller's to get an expansion by the Frobenius map, but its expansion length is half of Muller's due to the reduction step (Algorithm 1). Also, it uses a more efficient algorithm (Algorithm 3) to perform multiplication using the Frobenius expansion. Consequently, the proposed algorithm is two times faster than Muller's. Moreover, it can be applied to an elliptic curve defined over a finite field with odd characteristic and does not require any precomputation or additional memory.

• 대한수학회지
• /
• 제46권5호
• /
• pp.895-905
• /
• 2009

Let $B^{n+1}$ be the unit ball in the complex vector space $\mathbb{C}^{n+1}$ with the standard Hermitian metric. Let ${\Sigma}^n={\partial}B^{n+1}=S^{2n+1}$ be the boundary sphere with the induced CR structure. Let f : ${\Sigma}^n{\hookrightarrow}{\Sigma}^N$ be a local CR immersion. If N < 3n - 1, the asymptotic vectors of the CR second fundamental form of f at each point form a subspace of the CR(horizontal) tangent space of ${\Sigma}^n$ of codimension at most 1. We study the higher order derivatives of this relation, and we show that a linearly full local CR immersion f : ${\Sigma}^n{\hookrightarrow}{\Sigma}^N$, N $\leq$ 3n-2, can only occur when N = n, 2n, or 2n + 1. As a consequence, it gives an extension of the classification of the rational proper holomorphic maps from $B^{n+1}$ to $B^{2n+2}$ by Hamada to the classification of the rational proper holomorphic maps from $B^{n+1}$ to $B^{3n+1}$.

• Journal of Magnetics
• /
• 제9권4호
• /
• pp.101-104
• /
• 2004

The crystallization behaviours of nanocomposite made by a function of quenching rate (roller speed) were studied. The results showed that there was one step c$\mathbb{r}$ystallization process for the alloy quenched at roller speed of 32 m/s, which could be shown as, Am (amorphouse) + ${\alpha}-Fe/Nd_2Fe_{14}B$ ${\rightarrow}$ ${\alpha}-Fe/Nd_2Fe_{14}B$ . For the alloy quenched at roller speed of 40 m/s, there was steps crystallization process taking place at different temperatures, which could be shown as, Am ${\rightarrow}$ ${\alpha}-Fe/Nd_2Fe_{23}B_3+Nd_2Fe_{14}B+Am`$ ${\rightarrow}$ ${\alpha}-Fe/Nd_2Fe_{14}B$. The presence of transition phase ($Nd_2Fe_{23}B_3$) was harmful to get fine and uniform grain size during crystallization process. Uniform microstructures and high magnetic properties could be attained for the as-quenched alloy containing less amorphous phase and no presence of transition phase during annealing treatment. For the alloy prepared at roller speed of 32 m/s, the following properties were obtained, $B_r= 0.904 T,_iH_c = 801 kA/m, (BH)_{max} = 122 kJ/m^3 and M_r/M_s = 0.6$.

• 대한수학회논문집
• /
• 제39권3호
• /
• pp.693-715
• /
• 2024

Let n ∈ ℕ, n ≥ 2. An element (x₁, . . . , x_n) ∈ Eⁿ is called a norming point of T ∈ 𝓛(ⁿE) if ||x₁|| = ··· = ||x_n|| = 1 and |T(x₁, . . . , x_n)| = ||T||, where 𝓛(ⁿE) denotes the space of all continuous n-linear forms on E. For T ∈ 𝓛(ⁿE), we define Norm(T) = {(x₁, . . . , x_n) ∈ Eⁿ : (x₁, . . . , x_n) is a norming point of T}. Norm(T) is called the norming set of T. Let $0{\leq}{\theta}{\leq}{\frac{{\pi}}{4}}$ and ${\ell}^2_{{\infty},{\theta}}={\mathbb{R}}^2$ with the rotated supremum norm $${\parallel}(x,y){\parallel}_{({\infty},{\theta})}={\max}\{{\mid}x\;cos\;{\theta}+y\;sin\;{\theta}{\mid},\;{\mid}x\;sin\;{\theta}-y\;cos\;{\theta}|\}$$. In this paper, we characterize the norming set of T ∈ 𝓛(ⁿℓ²_(∞,θ)). Using this result, we completely describe the norming set of T ∈ 𝓛_s(ⁿℓ²_(∞,θ)) for n = 3, 4, 5, where 𝓛_s(ⁿℓ²_(∞,θ)) denotes the space of all continuous symmetric n-linear forms on ℓ²_(∞,θ). We generalizes the results from [9] for n = 3 and ${\theta}={\frac{{\pi}}{4}}$.