• Bulletin of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.171-181
• /
• 1999

In this note, we will prove that the operator-valued function space integral as an operator from $L_p\;to\;L_{p'}$ (1

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.977-991
• /
• 2008

We characterize the boundedness and compactness of the weighted composition operator $uC_{\psi}$ from the general function space F(p, q, s) into the logarithmic Bloch space ${\beta}_L$ on the unit disk. Some necessary and sufficient conditions are given for which $uC_{\psi}$ is a bounded or a compact operator from F(p,q,s), $F_0$(p,q,s) into ${\beta}_L$, ${\beta}_L^0$ respectively.

• Journal of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.375-391
• /
• 1994

In 1968k Cameron and Storvick introduced the analytic and the sequential operator-valued function space integral [2]. Since then, the theo교 of the analytic operator-valued function space integral has been investigated by many mathematicians - Cameron, Storvick, Johnson, Skoug, Lapidus, Chang and author etc. But there are not that many papers related to the theory of the sequential operator-valued function space integral. In this paper, we establish the existence of the sequential operator-valued function space integral as an operator from $L_p$ to $L_p'(1 and investigated the integral equation related to this integral.

• The Mathematical Education
• /
• v.21 no.3
• /
• pp.7-11
• /
• 1983

A measurable function f defined on a measurable subset A of the real line R is called pth power summable on A if │f│$^{p}$ is integrable on A and the set of all pth power summable functions on A is denoted by L$^{p}$ (A). For each member f in L$^{p}$ (A), we define ∥f∥$_{p}$ =(equation omitted) For real numbers p and q where (equation omitted) and (equation omitted), we discuss the Holder's inequality ∥fg∥$_1$<∥f∥$_{p}$ ∥g∥$_{q}$ , f$\in$L$^{p}$ (A), g$\in$L$^{q}$ (A) and the Minkowski inequality ∥＋g∥$_{p}$ <∥f∥$_{p}$ ＋∥g∥$_{p}$ , f,g$\in$L$^{p}$ (A). In this paper also discuss that L$_{p}$ (A) becomes a metric space with the metric $\rho$ : L$^{p}$ (A) $\times$L$^{p}$ (A) longrightarrow R where $\rho$(f,g)=∥f-g∥$_{p}$ , f,g$\in$L$^{p}$ (A). Then, in this paper prove the Riesz-Fischer theorem, i.e., the space L$^{p}$ (A) is complete and that the space L$^{p}$ (A) is separable.

• Communications of the Korean Mathematical Society
• /
• v.24 no.3
• /
• pp.367-379
• /
• 2009

For a prime number p, let $\mathbb{Q}_p$ denote the p-adic field and let $\mathbb{Q}_p^d$ denote a vector space over $\mathbb{Q}_p$ which consists of all d-tuples of $\mathbb{Q}_p$. For a function f ${\in}L_{loc}^1(\mathbb{Q}_p^d)$, we define the Hardy-Littlewood maximal function of f on $\mathbb{Q}_p^d$ by $$M_pf(x)=sup\frac{1}{\gamma{\in}\mathbb{Z}|B_{\gamma}(x)|H}{\int}_{B\gamma(x)}|f(y)|dy$$, where |E|$_H$ denotes the Haar measure of a measurable subset E of $\mathbb{Q}_p^d$ and $B_\gamma(x)$ denotes the p-adic ball with center x ${\in}\;\mathbb{Q}_p^d$ and radius $p^\gamma$. If 1 < q $\leq\;\infty$, then we prove that $M_p$ is a bounded operator of $L^q(\mathbb{Q}_p^d)$ into $L^q(\mathbb{Q}_p^d)$; moreover, $M_p$ is of weak type (1, 1) on $L^1(\mathbb{Q}_p^d)$, that is to say, |{$x{\in}\mathbb{Q}_p^d:|M_pf(x)|$>$\lambda$}|$_H{\leq}\frac{p^d}{\lambda}||f||_{L^1(\mathbb{Q}_p^d)},\;\lambda$ > 0 for any f ${\in}L^1(\mathbb{Q}_p^d)$.

• Journal of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.129-134
• /
• 2005

Lpt X be a reduced Stein space and L a holomorphic line bundle on X. L is spanned by its global sections and the associated holomorphic map $h_L\;:\;X{\to}P(H^0(X, L)^{\ast})$ is an embedding. Choose any locally convex vector topology ${\tau}\;on\;H^0(X, L)^{\ast}$ stronger than the weak-topology. Here we prove that $h_L(X)$ is sequentially closed in $P(H^0(X, L)^{\ast})$ and arithmetically Cohen -Macaulay. i.e. for all integers $k{\ge}1$ the restriction map ${\rho}_k\;:\;H^0(P(H^0(X, L)^{\ast}),\;O_{P(H^0(X, L)^{\ast})}(k)){\to}H^0(h_L(X),O_{hL_(X)}(k)){\cong}H^0(X, L^{\otimes{k}})$ is surjective.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.331-340
• /
• 1998

We define the spherical non-commutative torus $L_{\omega}$/ as the crossed product obtained by an iteration of l crossed products by actions of, the first action on C( $S^{2n＋l}$). Assume the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus $A_{p}$ with a matrix algebra $M_{m}$ ( ) (m > 1). We prove that $L_{\omega}$/ $M_{p}$ (C) is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{mp}$ (C), and that the tensor product of $L_{\omega}$/ with a UHF-algebra $M_{p{\infty}}$ of type $p^{\infty}$ is isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) $M_{p{\infty}}$ if and only if the set of prime factors of m is a subset of the set of prime factors of p. Furthermore, it is shown that the tensor product of $L_{\omega}$/, with the C＊-algebra K(H) of compact operators on a separable Hilbert space H is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) K(H) if Prim( $L_{\omega}$/) is homeomorphic to $L^{k}$ (n)$\times$ $T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.$T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.e.

• Bulletin of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.91-95
• /
• 1984

Let D$^{p}$ be the space of distributions of $L^{p}$-growth and S the space of tempered destributions in $R^{n}$: D$^{p}$, 1.leq.P.leq..inf., is the dual of the space $D^{p}$ which we discribe later. We denote by O$_{c}$(S:S') the space of convolution operators in S. In [8] S. Sznajder and Z. Zielezny proved the following necessary conditions for convolution operators in O$_{c}$(S:S) to be solvable in S.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1117-1127
• /
• 2019

Let ${\mathcal{L}}_2=(-{\Delta})^2+V^2$ be the $Schr{\ddot{o}}dinger$ type operator, where nonnegative potential V belongs to the reverse $H{\ddot{o}}lder$ class $RH_s$, s > n/2. In this paper, we consider the operator $T_{{\alpha},{\beta}}=V^{2{\alpha}}{\mathcal{L}}^{-{\beta}}_2$ and its conjugate $T^*_{{\alpha},{\beta}}$, where $0<{\alpha}{\leq}{\beta}{\leq}1$. We establish the $(L^p,\;L^q)$-boundedness of operator $T_{{\alpha},{\beta}}$ and $T^*_{{\alpha},{\beta}}$, respectively, we also show that $T_{{\alpha},{\beta}}$ is bounded from Hardy type space $H^1_{L_2}({\mathbb{R}}^n)$ into $L^{p_2}({\mathbb{R}}^n)$ and $T^*_{{\alpha},{\beta}}$ is bounded from $L^{p_1}({\mathbb{R}}^n)$ into BMO type space $BMO_{{\mathcal{L}}1}({\mathbb{R}}^n)$, where $p_1={\frac{n}{4({\beta}-{\alpha})}}$, $p_2={\frac{n}{n-4({\beta}-{\alpha})}}$.

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

In this paper, we establish an $L_p$ analytic Fourier-Feynman transform theory for a class of cylinder functions on an abstract Wiener space. Also we define a convolution product for functions on an abstract Wiener space and then prove that the $L_p$ analytic Fourier-Feyman transform of the convolution product is a product of $L_p$ analytic Fourier-Feyman transforms.