• Korean Journal of Mathematics
• /
• 제30권4호
• /
• pp.561-569
• /
• 2022

In this paper, we study the generalization of the Banach contraction principle in the vector space, involving four rational square terms in the inequality, by using the notation of bilinear functional. We also present an extension of Selberg's inequality to vector space.

• Kyungpook Mathematical Journal
• /
• 제55권1호
• /
• pp.119-126
• /
• 2015

First we present the explicit formula for the norm of a (continuous) linear functional of $\mathcal{L}(^2d_*(1,w)^2)^*$. Using this formula and results of [16] and [17], we show that every extreme bilinear form of the unit ball of $\mathcal{L}(^2d_*(1,w)^2)$ is exposed.

• 전자공학회논문지
• /
• 제51권1호
• /
• pp.57-70
• /
• 2014

내적 암호화 방식은 비밀키와 암호문 사이에 파인 그레인 관계를 제공하는 암호학적 프리미티브이다. 본 논문은 완전한 속성 은닉 보호를 수행하는 새로운 IPE 방식을 제안한다. 제안한 IPE 방식은 합성 위수의 bilinear groups에 기반한다. 본 논문에서는 이중 암호화 시스템 체계를 사용하여 제안한 IPE의 완전한 속성 은닉 보호를 증명한다. 성능 분석에서 기존의 IPE 방식들과 제안한 IPE 방식의 연산량과 메모리 할당량을 비교한다.

• 대한수학회보
• /
• 제36권3호
• /
• pp.543-564
• /
• 1999

Consider a symmetric bilinear form defined on $\prod\times\prod$ by $_{\lambda\mu}$ = $<\sigma,fg>\;+\;\lambdaL[f](a)L[g](a)\;+\;\muM[f](b)m[g](b)$ ,where $\sigma$ is a quasi-definite moment functional, L and M are linear operators on $\prod$, the space of all real polynomials and a,b,$\lambda$ , and $\mu$ are real constants. We find a necessary and sufficient condition for the above bilinear form to be quasi-definite and study various properties of corresponding orthogonal polynomials. This unifies many previous works which treated cases when both L and M are differential or difference operators. finally, infinite order operator equations having such orthogonal polynomials as eigenfunctions are given when $\mu$=0.

• 대한수학회논문집
• /
• 제12권4호
• /
• pp.935-950
• /
• 1997

When $\tau$ is a quasi-definite moment functional on P, the vector space of all real polynomials, we consider a symmetric bilinear form $\phi(\cdot,\cdot)$ on $P \times P$ defined by $$ \phi(p,q) = \lambad p(a)q(a) + \mu p(b)q(b) + <\tau,p'q'>, $$ where $\lambda,\mu,a$, and b are real numbers. We first find a necessary and sufficient condition for $\phi(\cdot,\cdot)$ and show that such orthogonal polynomials satisfy a fifth order differential equation with polynomial coefficients.

• Interaction and multiscale mechanics
• /
• 제1권2호
• /
• pp.279-301
• /
• 2008

This paper develops a 3D homogenization based continuum damage mechanics (HCDM) model for fiber reinforced composites undergoing micromechanical damage under monotonic and cyclic loading. Micromechanical damage in a representative volume element (RVE) of the material occurs by fiber-matrix interfacial debonding, which is incorporated in the model through a hysteretic bilinear cohesive zone model. The proposed model expresses a damage evolution surface in the strain space in the principal damage coordinate system or PDCS. PDCS enables the model to account for the effect of non-proportional load history. The loading/unloading criterion during cyclic loading is based on the scalar product of the strain increment and the normal to the damage surface in strain space. The material constitutive law involves a fourth order orthotropic tensor with stiffness characterized as a macroscopic internal variable. Three dimensional damage in composites is accounted for through functional forms of the fourth order damage tensor in terms of components of macroscopic strain and elastic stiffness tensors. The HCDM model parameters are calibrated from homogenization of micromechanical solutions of the RVE for a few representative strain histories. The proposed model is validated by comparing results of the HCDM model with pure micromechanical analysis results followed by homogenization. Finally, the potential of HCDM model as a design tool is demonstrated through macro-micro analysis of monotonic and cyclic damage progression in composite structures.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제22권1호
• /
• pp.29-62
• /
• 2018

We investigate a class of HIV infection models with two kinds of target cells: $CD4^+$ T cells and macrophages. We incorporate three distributed time delays into the models. Moreover, we consider the effect of humoral immunity on the dynamical behavior of the HIV. The viruses are produced from four types of infected cells: short-lived infected $CD4^+$T cells, long-lived chronically infected $CD4^+$T cells, short-lived infected macrophages and long-lived chronically infected macrophages. The drug efficacy is assumed to be different for the two types of target cells. The HIV-target incidence rate is given by bilinear and saturation functional response while, for the third model, both HIV-target incidence rate and neutralization rate of viruses are given by nonlinear general functions. We show that the solutions of the proposed models are nonnegative and ultimately bounded. We derive two threshold parameters which fully determine the positivity and stability of the three steady states of the models. Using Lyapunov functionals, we established the global stability of the steady states of the models. The theoretical results are confirmed by numerical simulations.

• 대한기계학회논문집A
• /
• 제23권7호
• /
• pp.1205-1214
• /
• 1999

A new quadrilateral plane stress element is developed for efficient and accurate analysis of thermal stress problems. It is convenient to use the same mesh and the same shape functions for thermal analysis and stress analysis. But, because of the inconsistency between deformation related strain field and thermal strain field, oscillatory responses and considerable errors in stresses are resulted in. To avoid undesired oscillations, strain approximation is enhanced by supplementing several assumed strain terms based on the variational principle. Thermal deformation is incorporated into the generalized mixed variational principle for displacement, strain and stress fields, and basic equations for the modified enhanced assumed strain method are derived. For the stress approximation of bilinear elements, the $5{\beta}$ version of Pian and Sumihara is adopted. The numerical results for several problems show that the present element behaves well and reduces oscillatory responses. it also results in almost the same magnitude of error as compared with the quadratic element.