• Journal of the Chungcheong Mathematical Society
• /
• v.1 no.1
• /
• pp.71-76
• /
• 1988

For each continuous convex function ${\phi}$ defined on an open convex subset $A_{\phi}$ of a Banach space X, if we define a positively homogeneous sublinear functional ${\sigma}_x$ on X by ${\sigma}_x(y)=\sup{\lbrace}f(y)\;:\;f{\in}{\partial}{\phi}(x){\rbrace}$, where ${\partial}{\phi}(x)$ is a subdifferential of ${\phi}$ at x, then we get the following characterization theorem of Gateaux differentiability (weak Asplund) sapce. THEOREM. For every ${\phi}$ above, $D_{\phi}={\lbrace}x{\in}A\;:\;\sup_{||u||=1}\;{\sigma}_x(u)+{\sigma}_x(-u)=0{\rbrace}$ contains dense (dense $G_{\delta}$) subset of $A_{\phi}$ if and only if X is a Gateaux differentiability (weak Asplund) space.

• The Pure and Applied Mathematics
• /
• v.1 no.1
• /
• pp.25-27
• /
• 1994

Suppose that X is a Banach space with continuous dual $X^{**}$, ($\Omega$, $\Sigma$, ${\mu}$) is a finite measure space. f : $\Omega\;{\longrightarrow}$ $X^{*}$ is a weakly measurable function such that $\chi$$^{**}$ f $\in$ $L_1$(${\mu}$) for each $\chi$$^{**}$ $\in$ $X^{**}$ and $T_{f}$ : $X^{**}$ \longrightarrow $L_1$(${\mu}$) is the operator defined by $T_{f}$($\chi$$^{**}$) = $\chi$$^{**}$f. In this paper we study the properties of bounded $X^{*}$ - valued weakly measurable functions and bounded $X^{*}$ - valued weak＊ measurable functions.(omitted)

• Korean Journal of Mathematics
• /
• v.28 no.2
• /
• pp.223-240
• /
• 2020

The paper is concerned with periodic linear evolution equations of the form x"(t) = A(t)x(t)+f(t), where A(t) is a family of (unbounded) linear operators in a Banach space X, strongly and periodically depending on t, f is an almost (or asymptotic) almost periodic function. We study conditions for this equation to have almost periodic solutions on ℝ as well as to have asymptotic almost periodic solutions on ℝ⁺. We convert the second order equation under consideration into a first order equation to use the spectral theory of functions as well as recent methods of study. We obtain new conditions that are stated in terms of the spectrum of the monodromy operator associated with the first order equation and the frequencies of the forcing term f.

• Honam Mathematical Journal
• /
• v.30 no.2
• /
• pp.233-246
• /
• 2008

In this paper, we obtain the general solution of the following cubic type functional equation and establish the stability of this equation (0.1) $kf({{\sum}\limits^{n-1}_{j=1}}x_j+kx_n)+kf({{\sum}\limits^{n-1}_{j=1}}x_j-kx_n)+2{{\sum}\limits^{n-1}_{j=1}}f(kx_j)+(k^3-1)(n-1)[f(x_1)+f(-x_1)]=2kf({\sum\limits^{n-1}_{j=1}}x_j)=K^3{\sum\limits^{n-1}_{j=1}[f(x_j+x_n)+f(x_j-x_n)]$ for any integers k and n with k ${\geq}$ 2 and n ${\geq}$ 3.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.547-564
• /
• 1994

Let X be a real Banach space. We consider the existence of solutions of the abstract nonlinear functional evolution equation : $$ (E) \frac{du(t)}{dt} + A(t)u(t) + F(u)(t) \ni h(t), $$ $$ u(s) = x_o \in D(A(s)), 0 \leq s \leq t \leq T, $$ where u : $[s, T] \to x$ is an unknown function, ${A(t) : 0 \leq t \leq T}$ is a given family of nonlinear (possibly multivalued) operators in X, and $F : C([s, t];X) \to L^{\infty}([s, X];X)$ and $h : [s, T] \to X$ are given functions.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.731-742
• /
• 2007

Let X be a Banach space, $A:D(A){\subset}X{\rightarrow}X$ the generator of a compact $C_0-semigroup\;S(t):X{\rightarrow}X,\;t{\geq}0$, D a locally closed subset in X, and $f:(a,b){\times}C([-q,0];X){\rightarrow}X$ a function of Caratheodory type. The main result of this paper is that a necessary and sufficient condition in order that D be a viable domain of the semi linear differential equation of retarded type $$u#(t)=Au(t)+f(t,u_t),\;t{\in}[t_0,\;t_0+T],{u_t}_0={\phi}{\in}C([-q,0];X)$$ is the tangency condition $$\limits_{h{\downarrow}0}^{lim\;inf\;h^{-1}d(S(h)v(0)+hf(t,v);D)=0}$$ for almost every $t{\in}(a,b)$ and every $v{\in}C([-q,0];X)\;with\;v(0){\in}D$.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.787-811
• /
• 1999

Let M be the maximal ideal space of the Banach algebra $H^{\infty}$ of bounded analytic functions on the open unit disc $\triangle$. For a positive singular measure ${\mu}\;on\;{\partial\triangle},\;let\;{L_{+}}^1(\mu)$ be the set of measures v with $0\;{\leq}\;{\nu}\;{\ll}\;{\mu}\;and\;{{\psi}_{\nu}}$ the associated singular inner functions. Let $R(\mu)\;and\;R_0(\mu)$ be the union sets of $\{$\mid$\psiv$\mid$\;<\;1\}\;and\;\{$\mid${\psi}_{\nu}$\mid$\;<\;0\}\;in\;M\;{\setminus}\;{\triangle},\;{\nu}\;\in\;{L_{+}}^1(\mu)$, respectively. It is proved that if $S(\mu)\;=\;{\partial\triangle}$, where $S(\mu)$ is the closed support set of $\mu$, then $R(\mu)\;=\;R0(\mu)\;=\;M{\setminus}({\triangle}\;{\cup}\;M(L^{\infty}(\partial\triangle)))$ is generated by $H^{\infty}\;and\;\overline{\psi_{\nu}},\;{\nu}\;{\in}\;{L_1}^{+}(\mu)$. It is proved that %d{\theta}(S(\mu))\;=\;0$ if and only if there exists as Blaschke product b with zeros $\{Zn\}_n$ such that $R(\mu)\;{\subset}\;{$\mid$b$\mid$\;<\;1}\;and\;S(\mu)$ coincides with the set of cluster points of $\{Zn\}_n$. While, we proved that $\mu$ is a sum of finitely many point measure such that $R(\mu)\;{\subset}\;\{$\mid${\psi}_{\lambda}$\mid$\;<\;1}\;and\;S(\lambda)\;=\;S(\mu)$. Also it is studied conditions on \mu for which $R(\mu)\;=\;R0(\mu)$.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1531-1548
• /
• 2016

Let C[0, t] denote the space of real-valued continuous functions on [0, t] and define a random vector $Z_n:C[0,t]{\rightarrow}\mathbb{R}^n$ by $Z_n(x)=(\int_{0}^{t_1}h(s)dx(s),{\ldots},\int_{0}^{t_n}h(s)dx(s))$, where 0 < $t_1$ < ${\cdots}$ < $ t_n=t$ is a partition of [0, t] and $h{\in}L_2[0,t]$ with $h{\neq}0$ a.e. Using a simple formula for a conditional expectation on C[0, t] with $Z_n$, we evaluate a generalized analytic conditional Wiener integral of the function $G_r(x)=F(x){\Psi}(\int_{0}^{t}v_1(s)dx(s),{\ldots},\int_{0}^{t}v_r(s)dx(s))$ for F in a Banach algebra and for ${\Psi}=f+{\phi}$ which need not be bounded or continuous, where $f{\in}L_p(\mathbb{R}^r)(1{\leq}p{\leq}{\infty})$, {$v_1,{\ldots},v_r$} is an orthonormal subset of $L_2[0,t]$ and ${\phi}$ is the Fourier transform of a measure of bounded variation over $\mathbb{R}^r$. Finally we establish various change of scale transformations for the generalized analytic conditional Wiener integrals of $G_r$ with the conditioning function $Z_n$.