• Environmental Engineering Research
• /
• v.10 no.4
• /
• pp.191-198
• /
• 2005

A novel technology for the removal of nitrogen from wastewater, an autotrophic denitrification process with sulfur particles, has been developed. A respirometer was employed to monitor the nitrogen gas produced in the reactor, while 4',6-diamidino-2-phenylindole staining was employed to investigate the biomass distribution in terms of cell number according to the reactor height. From the respirometric monitoring, the denitrification reaction was defined as a first order reaction. The reactor was divided into 7 sections and biomass was analyzed in each section where cell number was ranged from $4.8\;{\times}\;10^6\;to\;8.7\;{\times}\;10^7$ cells/g dry weight of sulfur. Cells placed mostly in the lower layer ( < 10 cm of height). A function for biomass distribution was obtained with non-linear regression. Then a mathematical model has been developed by combining a plug-flow model with the biomass distribution function. The model could make a vertical profile of the up-flow packed-bed reactor resulting in a reasonable comparison with measured nitrate concentration with 5% of error range.

• Journal of the Korean Mathematical Society
• /
• v.40 no.5
• /
• pp.901-920
• /
• 2003

The notion of infinitely near singular points, classical in the case of plane curves, has been generalized to higher dimensions in my earlier articles ([5], [6], [7]). There, some basic techniques were developed, notably the three technical theorems which were Differentiation Theorem, Numerical Exponent Theorem and Ambient Reduction Theorem [7]. In this paper, using those results, we will prove the Finite Presentation Theorem, which the auther believes is the first of the most important milestones in the general theory of infinitely near singular points. The presentation is in terms of a finitely generated graded algebra which describes the total aggregate of the trees of infinitely near singular points. The totality is a priori very complex and intricate, including all possible successions of permissible blowing-ups toward the reduction of singularities. The theorem will be proven for singular data on an ambient algebraic shceme, regular and of finite type over any perfect field of any characteristics. Very interesting but not yet apparent connections are expected with many such works as ([1], [8]).

• Journal of the Korean Mathematical Society
• /
• v.55 no.5
• /
• pp.1257-1268
• /
• 2018

In this article we first investigate a sort of unit-IFP ring by which Antoine provides very useful information to ring theory in relation with the structure of coefficients of zero-dividing polynomials. Here we are concerned with the whole shape of units and nilpotent elements in such rings. Next we study the properties of unit-IFP rings through group actions of units on nonzero nilpotent elements. We prove that if R is a unit-IFP ring such that there are finite number of orbits under the left (resp., right) action of units on nonzero nilpotent elements, then R satisfies the descending chain condition for nil left (resp., right) ideals of R and the upper nilradical of R is nilpotent.

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

In this note we give the mapping properties of the Marcinkiewicz integral !-to. at some end spaces. More precisely, we first prove that !-to. is a bounded operator from H$^{1,($\mathbb{R) to H$^{1, ($\mathbb{R). As a corollary of the results above, we obtain again the weak type (1,1) boundedness of $\mu$$_{, but the condition assumed on n is weaker than Stein's condition. Finally, we show that !-to. is bounded from BMO($\mathbb{R) to BMO($\mathbb{R). The results in this note are the extensions of the results obtained by Lee and Rim recently.

• The Journal of Korean Physical Therapy
• /
• v.13 no.2
• /
• pp.257-264
• /
• 2001

To take the Far-infrared(FIR) ray which is a optimized wavewlength and strength, at first, it is to be induced the characteristic algorithm and the computerized programing of FlR radiating materials. In this study, we induced that the formular of optimized FIR with physical, mathematical logic and theory, especially, Plank, Kirchhoff, Wien, Stefan-Boltzmann's logic and law. In the long run the formular was induced with mathematical integration. since we had to know the molecular wavelength. Base on the induced formular as above, we programmed the optimized FlR radiating computerized program, it would be useful to design semiconductor( VLSI) as the FlR instrument center control system.

• Journal of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.227-274
• /
• 2001

In this paper we intended to discuss the following topics: (1) Notation, generalities, Markov processes. The close relationship between (generators of) Markov processes and the martingale problem is exhibited. A link between the Korovkin property and generators of Feller semigroups is established. (2) Feynman-Kac semigroups: 0-order regular perturbations, pinned Markov measures. A basic representation via distributions of Markov processes is depicted. (3) Dirichlet semigroups: 0-order singular perturbations, harmonic functions, multiplicative functionals. Here a representation theorem of solutions to the heat equation is depicted in terms of the distributions of the underlying Markov process and a suitable stopping time. (4) Sets of finite capacity, wave operators, and related results. In this section a number of results are presented concerning the completeness of scattering systems (and its spectral consequences). (5) Some (abstract) problems related to Neumann semigroups: 1st order perturbations. In this section some rather abstract problems are presented, which lie on the borderline between first order perturbations together with their boundary limits (Neumann type boundary conditions and) and reflected Markov processes.

• Journal of the Korean Mathematical Society
• /
• v.49 no.3
• /
• pp.515-536
• /
• 2012

This work focuses on the general decay stability of nonlinear stochastic differential equations with unbounded delay. A Razumikhin-type theorem is first established to obtain the moment stability but without almost sure stability. Then an improved edition is presented to derive not only the moment stability but also the almost sure stability, while existing Razumikhin-type theorems aim at only the moment stability. By virtue of the $M$-matrix techniques, we further develop the aforementioned Razumikhin-type theorems to be easily implementable. Two examples are given for illustration.

• Journal of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.719-733
• /
• 2010

We observe a structure on the products of coefficients of nilpotent polynomials, introducing the concept of n-semi-Armendariz that is a generalization of Armendariz rings. We first obtain a classification of reduced rings, proving that a ring R is reduced if and only if the n by n upper triangular matrix ring over R is n-semi-Armendariz. It is shown that n-semi-Armendariz rings need not be (n+1)-semi-Armendariz and vice versa. We prove that a ring R is n-semi-Armendariz if and only if so is the polynomial ring over R. We next study interesting properties and useful examples of n-semi-Armendariz rings, constructing various kinds of counterexamples in the process.

• Journal of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.531-551
• /
• 2018

In this paper we consider a class of nonlocal parabolic equations in bounded domains with Dirichlet boundary conditions and a new class of nonlinearities. We first prove the existence and uniqueness of weak solutions by using the compactness method. Then we study the existence and fractal dimension estimates of the global attractor for the continuous semigroup generated by the problem. We also prove the existence of stationary solutions and give a sufficient condition for the uniqueness and global exponential stability of the stationary solution. The main novelty of the obtained results is that no restriction is imposed on the upper growth of the nonlinearities.

• Journal of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.735-747
• /
• 2018

Let M be a real hypersurface of a complex space form with constant curvature c. In this paper, we study the hypersurface M admitting Miao-Tam critical metric, i.e., the induced metric g on M satisfies the equation: $-({\Delta}_g{\lambda})g+{\nabla}^2_g{\lambda}-{\lambda}Ric=g$, where ${\lambda}$ is a smooth function on M. At first, for the case where M is Hopf, c = 0 and $c{\neq}0$ are considered respectively. For the non-Hopf case, we prove that the ruled real hypersurfaces of non-flat complex space forms do not admit Miao-Tam critical metrics. Finally, it is proved that a compact hypersurface of a complex Euclidean space admitting Miao-Tam critical metric with ${\lambda}$ > 0 or ${\lambda}$ < 0 is a sphere and a compact hypersurface of a non-flat complex space form does not exist such a critical metric.