• Bulletin of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.103-114
• /
• 1997

The asymptotic Dirichlet problem for harmonic functions on a noncompact complete Riemannian manifold has a long history. It is to find the harmonic function satisfying the given Dirichlet boundary condition at infinity. By now, it is well understood [A, AS, Ch, S], when M is a Cartan-Hadamard manifold with sectional curvature $-b^2 \leq K_M \leq -a^2 < 0$. (By a Cartan-Hadamard manifold, we mean a complete simply connected manifold of non-positive sectional curvature.)

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.387-395
• /
• 1998

In this article we prove a Harnack inequality for the positive solutions of the heat equation with Neumann boundary condition for a compact Riemannian manifold with possibly non-convex boundary.

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.1
• /
• pp.1-19
• /
• 1996

Non-manifold topological representations can provide a single unified representation for mixed dimensional models or cellular models and thus have a great potential to be applied in many application areas. Various boundary representations for non-manifold topology have been proposed in recent years. These representations are mainly interested in describing the sufficient adjacency relationships and too redundant as a result. A model stored in these representations occupies too much storage space and is hard to be manipulated. In this paper, we proposed a compact hierarchical non-manifold boundary representation that is extended from the half-edge data structure for solid models by introducing the partial topological entities to represent some non-manifold conditions around a vertex, edge or face. This representation allows to reduce the redundancy of the existing schemes while full topological adjacencies are still derived without the loss of efficiency. To verify the statement above, the storage size requirement of the representation is compared with other existing representations and present some main procedures for querying and traversing the representation. We have also implemented a set of the generalized Euler operators that satisfy the Euler-Poincare formula for non-manifold geometric models.

• Journal of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.351-361
• /
• 1995

Let M be a complete open Riemannian manifold. When the sectional curvature $K_M$ of M is nonpositive, Gromov has defined, in his lectures [3], the ideal boundary of M, and used it to study the geometric structure of M. In a Hadamard manifold, a simply connected manifold with nonpositive sectional curvature, a point at infinity can be defined as an equivalence class of rays. He proved many interesting theorems using this definition of ideal boundary and the so-called Tit's metric on it. He also suggested a counterpart to this for nonnegative curvature case. This idea has been taken up by Kasue to study the structure of complete open manifolds with asympttically nonnegative curvature [14]. Motivated by these works, we will define an idela boundary of a general noncompact manifold M, and study its structure.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.1025-1031
• /
• 2017

We prove the uniqueness of solutions for the boundary value problem of certain nonlinear elliptic operators in the setting: Given any continuous function f on the p-harmonic boundary of a complete Riemannian manifold, there exists a unique solution of certain nonlinear elliptic operators, which is a limit of a sequence of solutions of the operators with finite energy in the sense of supremum norm, on the manifold taking the same boundary value at each p-harmonic boundary as that of f.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.815-823
• /
• 1996

M. Kontsevich posed a problem on mapping class groups of 3-manifold that is if M is a compact 3-manifold with nonempty boundary, then BDiff (M rel $\partial$ M) has the homotopy type of a finite complex. Here, Diff (M rel $\partial$ M) is the group of diffeomorphisms of M which restrict to the identity on $\partial$ M, and BDiff (M rel $\partial$ M) is its classifying space. In this paper we resolve the problem affirmatively in the case when M is a Haken 3-manifold.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.229-238
• /
• 1993

Let M be an n-dimensional compact Riemannian manifold with boundary .part.M. We consider the Neumann eigenvalue problem on M of the equation (Fig.) where .upsilon. is the unit outward normal vector to the boundary .part.M. due to the importance of Poincare inequality for analysis on manifolds, one wishes to obtain the lower bound of the first non-zero eigenvalue .eta.$_{1}$ of (1.1). For the purpose of applications, it is important to relax the dependency of the lower bound on the geometric quantities. For general compact manifolds with convex boundary, Li-Yau [3] obtained the lower bound of .eta.$_{1}$. Recently, Roger Chen [1] investigated the lower bound of the first Neumann eigenvalue .eta.$_{1}$ on compact manifold M with nonconvex boundary. We investigate the lower bound .eta.$_{1}$ with the same conditions as those of Roger chen. But, using the different auxiliary function, we have the following theorem.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.293-300
• /
• 2000

The non-manifold geometric modeling technique is to improve design process and to Integrate design, analysis, and manufacturing by handling mixture of wireframe model, surface model, and solid model in a single data structure. For the non-manifold geometric modeling, Euler operators and other high level modeling methods are necessary. Boolean operation is one of the representative modeling method for the non-manifold geometric modeling. This thesis studies Boolean operations of non-manifold model with the data structure of selective storage. The data structure of selective storage is improved non-manifold data structure in that existing non-manifold data structures using ordered topological representation method always store non-manifold information even if edges and vortices are in the manifold situation. To implement Boolean operations for non-manifold model, intersection algorithm for topological cells of three different dimensions, merging and selection algorithm for three dimensional model, and Open Inventor(tm), a 3D toolkit from SGI, are used.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.1
• /
• pp.99-113
• /
• 2014

A nonlinear elliptic problem involving p-Laplacian and nonlinear boundary condition is considered in this paper. By using the method of Nehari manifold, it is proved that the system possesses two nontrivial nonnegative solutions if the parameter is small enough.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.20 no.6
• /
• pp.1921-1930
• /
• 1996

To design an optimum engine intake system, a flow model for the intake manifold was developed by the finite difference method. The flow in the intake manifold was one-dimensional, and the finite difference equations were derived from governing equations of flow, continuity, momentum and energy. The thermodynamic properties of the cylinder were found by the first law of thermodynamics, and the boundary conditions were formulated using steady flow model. By comparing the calculated results with experimental data, the appropriate boundary conditions and convergence limits for the flow model were established. From this model, the optimum manifold lengths at different engine operating conditions were investigated. The optimum manifold length became shorter when the engine speeds were increased. The effect of intake valve timings on inlet air mass was also studied by this model. Advancing intake valve opening decreased inlet air mass slightly, and the optimum intake valve closing was found. The difference in inlet air mass between cylinders was very small in this engine.