• Journal of applied mathematics & informatics
• /
• v.32 no.1_2
• /
• pp.137-152
• /
• 2014

In this paper, we prove, in the spirit of [3, 12, 20, 22, 23], the existence of infinitely many small solutions to the following quasilinear elliptic equation $-{\Delta}_{p(x)}u+{\mid}u{\mid}^{p(x)-2}u={\mid}u{\mid}^{q(x)-2}u+{\lambda}f(x,u)$ in a smooth bounded domain ${\Omega}$ of ${\mathbb{R}}^N$. We also assume that $\{q(x)=p^*(x)\}{\neq}{\emptyset}$, where $p^*(x)$ = Np(x)/(N - p(x)) is the critical Sobolev exponent for variable exponents. The proof is based on a new version of the symmetric mountainpass lemma due to Kajikiya [22], and property of these solutions are also obtained.

• Journal of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.559-574
• /
• 1998

Let the Gel'fand triple (E)$_{\beta}$/ ⊂ ( $L^2$) ⊂ (E)＊$_{\beta}$/ be the framework of white noise distribution theory constructed by Kon-dratiev and Streit. A new class of continuous multiplicative products on (E)$_{\beta}$/ is introduced and associated continuous derivations on (E)$_{\beta}$/ are discussed. Algebraic characterizations of first order differential operators on (E)$_{\beta}$/ are proved. Some applications are also discussed. $\beta$/ are proved. Some applications are also discussed.

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.485-502
• /
• 2015

A computational method for solving singularly perturbed boundary value problem of differential equation with shift arguments of mixed type is presented. When shift arguments are sufficiently small (o(ε)), most of the existing method in the literature used Taylor's expansion to approximate the shift term. This procedure may lead to a bad approximation when the delay argument is of O(ε). The main idea for this work is to deal with constant shift arguments, which are independent of ε. In the present method, we construct the formally asymptotic solution of the problem using the method of composite expansion. The reduced problem is solved numerically by using operator compact implicit method, and the second problem is solved analytically. Error estimate is derived by using the maximum norm. Numerical examples are provided to support the theoretical results and to show the efficiency of the proposed method.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.20 no.1
• /
• pp.1-15
• /
• 2016

The continuous analysis, such as smoothness and uniform convergence, for polynomials and polynomial-like functions using differential operators have been studied considerably, parallel to the study of discrete analysis for these functions, using difference operators. In this work, for the difference operator ${\nabla}_h$ with size h > 0, we verify that for an integer $m{\geq}0$ and a strictly decreasing sequence $h_n$ converging to zero, a continuous function f(x) satisfying $${\nabla}_{h_n}^{m+1}f(kh_n)=0,\text{ for every }n{\geq}1\text{ and }k{\in}{\mathbb{Z}}$$, turns to be a polynomial of degree ${\leq}m$. The proof used the polynomial convergence, and additionally, we investigated several conditions on convergence to polynomials.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.655-664
• /
• 1997

The existence and behavior of a bounded solution for a perturbed nonlinear differential equation of the type $$ (DE) x'(t) + Ax(t) \ni G(x(t)), t \in [0, \infty) $$ is considered. First, we consider the existence of a bounded solution with more simple assumptions using the concept of "the method of lines". Then we devote to study its behavior using recent results of almost non-expansive curve which is developed by Djafari Rouhani.i Rouhani.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.185-190
• /
• 1989

In [4], J. Leray introduced the notion of partial hyperbolicity to characterize the operators for which the non-characteristic Cauchy problem is solvable in the Geverey class for any data which are holomorphic in a part of variables x"=(x$_{2}$,..,x$_{l}$ ) in the initial hyperplane x$_{1}$=0. A linear partial differential operator is called partially hyperbolic modulo the linear subvarieties S:x"=constant if the equation P$_{m}$(x, .zeta.$_{1}$, .xi.')=0 for .zeta.$_{1}$ has only real roots when .xi.'is real and .xi."=0, where P$_{m}$ is the principal symbol of pp. Limiting to the case of operators with constant coefficients, A. Kaneko proposed a new sharper condition when S is a hyperplane [3]. In this paper, we generalize this condition to the case of general linear subvariety S and show that it is sufficient for the solvability of Cauchy problem for the hyperfunction Cauchy data which contains variables parallel to S as holomorphic parameters.blem for the hyperfunction Cauchy data which contains variables parallel to S as holomorphic parameters.

• Journal of applied mathematics & informatics
• /
• v.3 no.2
• /
• pp.279-290
• /
• 1996

In the present paper we study the Cauchy problem in a Banach space E for an abstract nonlinear differential equation of form $$\frac{d^2u}{dt^2}=-A{\frac{du}{dt}}+B(t)u+f(t, W)$$ where W=($A_1$(t)u, A_2(t)u)..., A_{\nu}(t)u), A_{i}(t),\;i=1,2,...{\nu}$,(B(t), t{\in}I$=[0, b]) are families of closed operators defined on dense sets in E into E, f is a given abstract nonlinear function on $I{\times}E^{\nu}$ into E and -A is a closed linar operator defined on dense set in e into E which generates a semi-group. Further the existence and uniqueness of the solution of the considered Cauchy problem is studied for a wide class of the families ($A_{i}$(t), i =1.2...${\nu}$), (B(t), $t{\in}I$) An application and some properties are also given for the theory of partial diferential equations.

• Journal of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.929-967
• /
• 2016

Let p(t, x) be the fundamental solution to the problem $${\partial}^{\alpha}_tu=-(-{\Delta})^{\beta}u,\;{\alpha}{\in}(0,2),\;{\beta}{\in}(0,{\infty})$$. If ${\alpha},{\beta}{\in}(0,1)$, then the kernel p(t, x) becomes the transition density of a Levy process delayed by an inverse subordinator. In this paper we provide the asymptotic behaviors and sharp upper bounds of p(t, x) and its space and time fractional derivatives $$D^n_x(-{\Delta}_x)^{\gamma}D^{\sigma}_tI^{\delta}_tp(t,x),\;{\forall}n{\in}{\mathbb{Z}}_+,\;{\gamma}{\in}[0,{\beta}],\;{\sigma},{\delta}{\in}[0,{\infty})$$, where $D^n_x$ x is a partial derivative of order n with respect to x, $(-{\Delta}_x)^{\gamma}$ is a fractional Laplace operator and $D^{\sigma}_t$ and $I^{\delta}_t$ are Riemann-Liouville fractional derivative and integral respectively.

• Journal of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1451-1470
• /
• 2020

We are concerned with the following elliptic equations: $$\{(-{\Delta})^s_pu={\lambda}f(x,u)\;{\text{in {\Omega}}},\\u=0\;{\text{on {\mathbb{R}}^N{\backslash}{\Omega}},$$ where λ are real parameters, (-∆)^s_p is the fractional p-Laplacian operator, 0 < s < 1 < p < + ∞, sp < N, and f : Ω × ℝ → ℝ satisfies a Carathéodory condition. By applying abstract critical point results, we establish an estimate of the positive interval of the parameters λ for which our problem admits at least one or two nontrivial weak solutions when the nonlinearity f has the subcritical growth condition. In addition, under adequate conditions, we establish an apriori estimate in L^∞(Ω) of any possible weak solution by applying the bootstrap argument.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.1087-1094
• /
• 2016

On a compact n-dimensional manifold M, it has been conjectured that a critical point of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, is Einstein. In this paper, after derivng an interesting curvature identity, we show that the conjecture is true in dimension three and four when g is weakly Einstein. In higher dimensional case $n{\geq}5$, we also show that the conjecture is true under an additional Ricci curvature bound. Moreover, we prove that the manifold is isometric to a standard n-sphere when it is n-dimensional weakly Einstein and the kernel of the linearized scalar curvature operator is nontrivial.