• 충청수학회지
• /
• 제20권1호
• /
• pp.81-95
• /
• 2007

We are concerned with the multiplicity of solutions of the nonlinear biharmonic equation with Dirichlet boundary condition, ${\Delta}^2u+c{\Delta}u=g(u)$, in ${\Omega}$, where $c{\in}R$ and ${\Delta}^2$ denotes the biharmonic operator. We show that there exists at least three solutions of the above problem under the suitable condition of g(u).

• Korean Journal of Mathematics
• /
• 제18권4호
• /
• pp.473-487
• /
• 2010

We investigate the existence of multiple nontrivial solutions (${\xi}$, ${\eta}$) for perturbations $g_1$, $g_2$ of the harmonic system with Dirichlet boundary condition $${\Delta}^2{\xi}+c{\Delta}{\xi}=g_1(2{\xi}+3{\eta})\;in\;{\Omega}\\{\Delta}^2{\eta}+c{\Delta}{\eta}=g_2(2{\xi}+3{\eta})\;in\;{\Omega}$$ where we assume that ${\lambda}_1$ < $c$ < ${\lambda}_2$, $g^{\prime}_1({\infty})$, $g^{\prime}_2({\infty})$ are finite. We prove that the system has at least three solutions under some condition on $g$.

• Korean Journal of Mathematics
• /
• 제17권4호
• /
• pp.419-428
• /
• 2009

We show the existence of at least one nontrivial solution of the homogeneous mixed type nonlinear elliptic problem. Here mixed type nonlinearity means that the nonlinear part contain the jumping nonlinearity and the critical growth nonlinearity. We first investigate the sub-level sets of the corresponding functional in the Soboles space and the linking inequalities of the functional on the sub-level sets. We next investigate that the functional I satisfies the mountain pass geometry in the critical point theory. We obtain the result by the mountain pass method, the critical point theory and variational method.

• 대한수학회보
• /
• 제46권2호
• /
• pp.311-319
• /
• 2009

Let H be a Hilbert space which is the direct sum of five closed subspaces $X_0,\;X_1,\;X_2,\;X_3$ and $X_4$ with $X_1,\;X_2,\;X_3$ of finite dimension. Let J be a $C^{1,1}$ functional defined on H with J(0) = 0. We show the existence of at least four nontrivial critical points when the sublevels of J (the torus with three holes and sphere) link and the functional J satisfies sup-inf variational inequality on the linking subspaces, and the functional J satisfies $(P.S.)^*_c$ condition and $f|X_0{\otimes}X_4$ has no critical point with level c. For the proof of main theorem we use the nonsmooth version of the classical deformation lemma and the limit relative category theory.

• 대한수학회보
• /
• 제43권4호
• /
• pp.693-701
• /
• 2006

Using Minimax principle and Linking theorem in critical point theory, we prove the existence of two nontrivial solutions for the following second order superlinear difference systems $$(P)\{{\Delta}^2x(k-1)+g(k,y(k))=0,\;k{\in}[1,\;T],\;{\Delta}^2y(k-1)+f(k,\;x(k)=0,\;k{\in}[1,\;T],\;x(0)=y(0)=0,\;x(T+1)=y(T+1)=0$$ where T is a positive integer, [1, T] is the discrete interval {1, 2,..., T}, ${\Delat}x(k)=x(k+1)-x(k)$ is the forward difference operator and ${\Delta}^2x(k)={\Delta}({\Delta}x(k))$.

• ETRI Journal
• /
• 제9권1호
• /
• pp.84-96
• /
• 1987

The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.

• 한국전산구조공학회논문집
• /
• 제19권4호
• /
• pp.357-367
• /
• 2006

재분배 기법은 민감도 해석 없이 변위에 대한 각 부재의 변위기여도를 간단하게 계산 한 후, 변위기여도에 근거하여 물량을 분배함으로서 변위를 제어할 수 있는 실용적인 고층건물 변위 설계법으로 인식되고 있다. 그러나 에너지 이론에 근거한 재분배 기법은 하중 조건에 따라서 서로 다른 변위기여도를 가질 수 있게 되며, 특히 횡력 뿐만 아니라 상당한 량의 연직하중도 함께 받고 있는 고층건물의 재분배 기법 적용시의 변위기여도 계산에는 연직하중의 영향이 고려하여야 한다. 또한, 고층 건물의 변위설계에 재분배 기법을 적용하기 위해서는 실용성을 높이기 위해서 부재 그룹핑이 고려되어지는데 부재 그룹핑 고려에 따른 연직하중의 영향을 다르게 나타나게 된다. 그러므로, 본 연구에서는 하중의 종류와 부재 그룹핑 여부를 변수로 하여 세 가지의 재분배 알고리즘을 개발한 후, 이를 20층 강접 골조 전단벽 예제와 60층 아웃리거 예제의 변위 설계 적용하였다.