• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.767-787
• /
• 2019

In this paper, we give some characterizations of p-adic central Campanato spaces via the boundedness of commutators of p-adic Hardy type operators. Besides, some further boundedness of p-adic Hardy operators and their commutators is also presented.

• International Journal of Safety
• /
• v.5 no.2
• /
• pp.29-33
• /
• 2006

A numerical flow analysis of the case of a refrigeration warehouse where an unusual death of an operator occurred by deficiency of oxygen is performed by using STAR-CD program of the computational fluid dynamics (CFD) code. The refrigeration room of the warehouse for storing the fruits maintains an atmosphere of 95% nitrogen and 5% oxygen by volume. When the operator was found dead in the refrigeration room, the room was in normal operating conditions except for the fact that the auxiliary door had been left open. For the flow analysis, unsteady 3-dimensional natural convection with mass transfer is considered. The flow analysis result is compared with the oxygen concentration level measured against time during on-site investigation. The change in oxygen concentration level in the warehouse due to the opening of the auxiliary door is found to be negligible.

• Korean Journal of Mathematics
• /
• v.8 no.2
• /
• pp.163-172
• /
• 2000

Let $\mathcal{S}^{\prime}(\mathbb{R})$ be the dual of the Schwartz spaces $\mathcal{S}(\mathbb{R})$), A be a self-adjoint operator in $L^2(\mathbb{R})$ and ${\Gamma}(A)^*$ be the adjoint operator of ${\Gamma}(A)$ which is the second quantization operator of A. It is proven that under a suitable condition on A there exists a nuclear subspace $\mathcal{S}$ of a fundamental space $\mathcal{S}_A$ of Hida's type on $\mathcal{S}^{\prime}(\mathbb{R})$) such that ${\Gamma}(A)\mathcal{S}{\subset}\mathcal{S}$ and $e^{-t{\Gamma}(A)}\mathcal{S}{\subset}\mathcal{S}$, which enables us to show that a stochastic differential equation: $$dX(t)=dW(t)-{\Gamma}(A)^*X(t)dt$$, arising from the central limit theorem for spatially extended neurons has an unique solution on the dual space $\mathcal{S}^{\prime}$ of $\mathcal{S}$.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.273-293
• /
• 2016

In this paper, we obtain that every biharmonic non-degenerate hypersurfaces in semi-Euclidean space $E^5_s$ with constant scalar curvature of diagonal shape operator has zero mean curvature.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.893-912
• /
• 2005

We discuss a certain geometric property $X_{{\theta},{\gamma}}$ of dual algebras generated by a polynomially bounded operator and property ($\mathbb{A}_{N_0,N_0}$; these are central to the study of $N_{0}\timesN_{0}$-systems of simultaneous equations of weak$^{*}$-continuous linear functionals on a dual algebra. In particular, we prove that if T $\in$ $\mathbb{A}$$^{M}$ satisfies a certain sequential property, then T $\in$ $\mathbb{A}^{M}_{N_0}(H) if and only if the algebra $A_{T}$ has property $X_{0, 1/M}$, which is an improvement of Li-Pearcy theorem in [8].

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.649-659
• /
• 2015

The space $BV^2_{\alpha}(I)$ of all the real functions defined on interval $I=[a,b]{\subset}\mathbb{R}$, which are of bounded second ${\alpha}$-variation (in the sense De la Vall$\acute{e}$ Poussin) on I forms a Banach space. In this space we define an operator of substitution H generated by a function $h:I{\times}\mathbb{R}{\rightarrow}\mathbb{R}$, and prove, in particular, that if H maps $BV^2_{\alpha}(I)$ into itself and is globally Lipschitz or uniformly continuous, then h is an affine function with respect to the second variable.

• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.33-69
• /
• 2023

Let α ∈ (0, ∞), p ∈ (0, ∞) and q(·) : ℝⁿ → [1, ∞) satisfy the globally log-Hölder continuity condition. We introduce the weak Herz-type Hardy spaces with variable exponents via the radial grand maximal operator and to give its maximal characterizations, we establish a version of the boundedness of the Hardy-Littlewood maximal operator M and the Fefferman-Stein vector-valued inequality on the weak Herz spaces with variable exponents. We also obtain the atomic and the molecular decompositions of the weak Herz-type Hardy spaces with variable exponents. As an application of the atomic decomposition we provide various equivalent characterizations of our spaces by means of the Lusin area function, the Littlewood-Paley g-function and the Littlewood-Paley $g^*_{\lambda}$-function.

• Journal of applied mathematics & informatics
• /
• v.31 no.3_4
• /
• pp.399-416
• /
• 2013

The semilocal convergence of a third order iterative method used for solving nonlinear operator equations in Banach spaces is established by using recurrence relations under the assumption that the second Fr´echet derivative of the involved operator satisfies the ${\omega}$-continuity condition given by $||F^{\prime\prime}(x)-F^{\prime\prime}(y)||{\leq}{\omega}(||x-y||)$, $x,y{\in}{\Omega}$, where, ${\omega}(x)$ is a nondecreasing continuous real function for x > 0, such that ${\omega}(0){\geq}0$. This condition is milder than the usual Lipschitz/H$\ddot{o}$lder continuity condition on $F^{\prime\prime}$. A family of recurrence relations based on two constants depending on the involved operator is derived. An existence-uniqueness theorem is established to show that the R-order convergence of the method is (2+$p$), where $p{\in}(0,1]$. A priori error bounds for the method are also derived. Two numerical examples are worked out to demonstrate the efficacy of our approach and comparisons are elucidated with a known result.

• Journal of applied mathematics & informatics
• /
• v.40 no.1_2
• /
• pp.153-171
• /
• 2022

In 1960, Schatten studied operators of the form $\sum_{n=1}^{{\infty}}\;{\lambda}_n(x_n{\otimes}{\bar{y_n}})$, where {x_n}n and {y_n}_n are orthonormal sequences in a Hilbert space, and {λ_n}n ∈ ℓ^∞(ℕ). Balazs generalized some of the results of Schatten in 2007. In this paper, we further generalize results of Balazs by studying the operators of the form $\sum_{n=1}^{{\infty}}\;{\lambda}_n(A^*_nx_n{\otimes}{\bar{B^*_ny_n}})$, where {A_n}n and {B_n}_n are operator-valued Bessel sequences, {x_n}_n and {y_n}_n are sequences in the Hilbert space such that {║x_n║║y_n║}_n ∈ ℓ^∞(ℕ). We also generalize the class of Hilbert-Schmidt operators studied by Balazs.