• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제20권1호
• /
• pp.37-50
• /
• 2013

In the theory of hypergeometric functions of one or several variables, a remarkable amount of mathematicians's concern has been given to develop their transformation formulas and summation identities. Here we aim at presenting explicit expressions (in a single form) of the following weighted Appell's function $F_1$: $$(1+2x)^{-a}(1+2z)^{-b}F_1\;\(c,\;a,\;b;\;2c+j;\;\frac{4x}{1+2x},\;\frac{4z}{1+2z}\)\;(j=0,\;{\pm}1,\;{\ldots},\;{\pm}5)$$ in terms of Exton's triple hypergeometric $X_9$. The results are derived with the help of generalizations of Kummer's second theorem very recently provided by Kim et al. A large number of very interesting special cases including Exton's result are also given.

• 대한수학회보
• /
• 제60권4호
• /
• pp.905-913
• /
• 2023

Suppose that M is a strictly convex hypersurface in the (n + 1)-dimensional Euclidean space 𝔼ⁿ⁺¹ with the origin o in its convex side and with the outward unit normal N. For a fixed point p ∈ M and a positive constant t, we put 𝚽_t the hyperplane parallel to the tangent hyperplane 𝚽 at p and passing through the point q = p - tN(p). We consider the region cut from M by the parallel hyperplane 𝚽_t, and denote by I_p(t) the (n + 1)-dimensional volume of the convex hull of the region and the origin o. Then Schneider's characterization theorem for ellipsoids states that among centrally symmetric, strictly convex and closed surfaces in the 3-dimensional Euclidean space 𝔼³, the ellipsoids are the only ones satisfying I_p(t) = 𝜙(p)t, where 𝜙 is a function defined on M. Recently, the characterization theorem was extended to centrally symmetric, strictly convex and closed hypersurfaces in 𝔼ⁿ⁺¹ satisfying for a constant 𝛽, I_p(t) = 𝜙(p)t^𝛽. In this paper, we study the volume I_p(t) of a strictly convex and complete hypersurface in 𝔼ⁿ⁺¹ with the origin o in its convex side. As a result, first of all we extend the characterization theorem to strictly convex and closed (not necessarily centrally symmetric) hypersurfaces in 𝔼ⁿ⁺¹ satisfying I_p(t) = 𝜙(p)t^𝛽. After that we generalize the characterization theorem to strictly convex and complete (not necessarily closed) hypersurfaces in 𝔼ⁿ⁺¹ satisfying I_p(t) = 𝜙(p)t^𝛽.

• 대한수학회보
• /
• 제53권2호
• /
• pp.487-494
• /
• 2016

Let p be an odd prime and c be a fixed integer with (c, p) = 1. For each integer a with $1{\leq}a{\leq}p-1$, it is clear that there exists one and only one b with $0{\leq}b{\leq}p-1$ such that $ab{\equiv}c$ mod p. Let N(c, p) denote the number of all solutions of the congruence equation $ab{\equiv}c$ mod p for $1{\leq}a$, $b{{\leq}}p-1$ in which a and $\bar{b}$ are of opposite parity, where $\bar{b}$ is defined by the congruence equation $b{\bar{b}}{\equiv}1$ mod p. The main purpose of this paper is using the mean value theorem of Dirichlet L-functions and the properties of Gauss sums to study the computational problem of one kind mean value function related to $E(c,p)=N(c,p)-{\frac{1}{2}}{\phi}(p)$, and give its an exact computational formula.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1664-1665
• /
• 2011

This paper presents a derivation of the capacitance of a shielded microstrip line using the Finite Element Method (FEM). The first approach adopts a 2-D version of Gauss's theorem and an approximation of integral to finite differencing. In this case, the choice of a contour and the size of a mesh affects the validity of the capacitance. Next, the method for deriving the capacitance by using of energy relation is shown. Finally, the simulation results are compared to those of the commercial tool (COMSOL) adopted FEM.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 E
• /
• pp.2287-2289
• /
• 1999

In this paper, a new method for calculating capacitance in multi-electrode system with arbitrarily shape is presented. This new approach based on divergence theorem and Gauss's law is achieved by Surface-Contacted Element(SCE) for Gaussian surface. To evaluate capacitance in multi-electrode system, two dimensional finite element method using only the elements which is contacted one nod (PE: Point-Element) or two nod (FE: Face-Element) with surface is employed. The proposed SCE method has short computing time to calculate capacitance which is because it uses only SCE elements and needs one calculation loop while exiting FEM method in servral loops. This method is verified by application in calculating capacitance using potential detection device model which is composed with anode, cathode, and floating electrode.

• 대한조선학회논문집
• /
• 제41권4호
• /
• pp.17-29
• /
• 2004

Internal waves are computed using a ghost fluid method on an unstructured grid. Discontinuities in density and dynamic pressure are captured in one cell without smearing or oscillations along a multimaterial interface. A time-accurate incompressible Navier-Stokes/Euler solver is developed based on a three-point backward difference formula for the physical time marching. Artificial compressibility is introduced with respect to pseudotime and an implicit method is used for the pseudotime iteration. To track evolution of an interface, a level set function is coupled with the governing equations. Roe's flux difference splitting method is used to calculate numerical fluxes of the coupled equations. To get higher order accuracy, dependent variables are reconstructed based on gradients which are calculated using Gauss theorem. For each edge crossing an interface, dynamic pressure is assigned for a ghost node to enforce the continuity of total pressure along the interface. Solitary internal waves are computed and the results are compared with other computational and experimental results.