• Journal of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1065-1082
• /
• 2012

In this paper we first investigate the existence of the generalized Fourier-Feynman transform of the functional F given by $$F(x)={\hat{\nu}}((e_1,x)^{\sim},{\ldots},(e_n,x)^{\sim})$$, where $(e,x)^{\sim}$ denotes the Paley-Wiener-Zygmund stochastic integral with $x$ in a very general function space $C_{a,b}[0,T]$ and $\hat{\nu}$ is the Fourier transform of complex measure ${\nu}$ on $B({\mathbb{R}}^n)$ with finite total variation. We then define two sequential transforms. Finally, we establish that the one is to identify the generalized Fourier-Feynman transform and the another transform acts like an inverse generalized Fourier-Feynman transform.

• Journal of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.451-470
• /
• 2020

Let C[0, T] denote an analogue of Wiener space, the space of real-valued continuous functions on the interval [0, T]. For a partition 0 = t₀ < t₁ < ⋯ < t_n < t_n+1 = T of [0, T], define X_n : C[0, T] → ℝⁿ⁺¹ by X_n(x) = (x(t₀), x(t₁), …, x(t_n)). In this paper we derive a simple evaluation formula for Radon-Nikodym derivatives similar to the conditional expectations of functions on C[0, T] with the conditioning function X_n which has a drift and does not contain the present position of paths. As applications of the formula with X_n, we evaluate the Radon-Nikodym derivatives of the functions ∫₀^T[x(t)]^mdλ(t)(m∈ℕ) and [∫₀^Tx(t)dλ(t)]² on C[0, T], where λ is a complex-valued Borel measure on [0, T]. Finally we derive two translation theorems for the Radon-Nikodym derivatives of the functions on C[0, T].

• Journal of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.541-555
• /
• 1996

The Fourier transform plays a central role in the theory of distribution on Euclidean spaces. Although Lebesgue measure does not exist in infinite dimensional spaces, the Fourier transform can be introduced in the space $(S)^*$ of generalized white noise functionals. This has been done in the series of paper by H.-H. Kuo [1, 2, 3], [4] and [5]. The Fourier transform $F$ has many properties similar to the finite dimensional case; e.g., the Fourier transform carries coordinate differentiation into multiplication and vice versa. It plays an essential role in the theory of differential equations in infinite dimensional spaces.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.809-823
• /
• 2020

Let C[0, T] denote the space of continuous, real-valued functions on the interval [0, T] and let C₀[0, T] be the space of functions x in C[0, T] with x(0) = 0. In this paper, we introduce a Banach algebra ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ on C[0, T] and its equivalent space ${\bar{\mathcal{F}}}({\mathcal{H}}) $, a space of transforms of equivalence classes of measures, which generalizes Fresnel class 𝓕(𝓗), where 𝓗 is an appropriate real separable Hilbert space of functions on [0, T]. We also investigate their properties and derive an isomorphism between ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ and ${\bar{\mathcal{F}}}({\mathcal{H}}) $. When C[0, T] is replaced by C₀[0, T], ${\bar{\mathcal{F}}}({\mathcal{H}}) $ and ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ reduce to 𝓕(𝓗) and Cameron-Storvick's Banach algebra 𝓢, respectively, which is the space of generalized Fourier-Stieltjes transforms of the complex-valued, finite Borel measures on L²[0, T].

• Journal of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1105-1127
• /
• 2013

Let C[0, $t$] denote the function space of real-valued continuous paths on [0, $t$]. Define $X_n\;:\;C[0,t]{\rightarrow}\mathbb{R}^{n+1}$ and $X_{n+1}\;:\;C[0,t]{\rightarrow}\mathbb{R}^{n+2}$ by $X_n(x)=(x(t_0),x(t_1),{\ldots},x(t_n))$ and $X_{n+1}(x)=(x(t_0),x(t_1),{\ldots},x(t_n),x(t_{n+1}))$, respectively, where $0=t_0 <; t_1 <{\ldots} < t_n < t_{n+1}=t$. In the present paper, using simple formulas for the conditional expectations with the conditioning functions $X_n$ and $X_{n+1}$, we evaluate the $L_p(1{\leq}p{\leq}{\infty})$-analytic conditional Fourier-Feynman transforms and the conditional convolution products of the functions, which have the form $fr((v_1,x),{\ldots},(v_r,x)){\int}_{L_2}_{[0,t]}\exp\{i(v,x)\}d{\sigma}(v)$ for $x{\in}C[0,t]$, where $\{v_1,{\ldots},v_r\}$ is an orthonormal subset of $L_2[0,t]$, $f_r{\in}L_p(\mathbb{R}^r)$, and ${\sigma}$ is the complex Borel measure of bounded variation on $L_2[0,t]$. We then investigate the inverse conditional Fourier-Feynman transforms of the function and prove that the analytic conditional Fourier-Feynman transforms of the conditional convolution products for the functions can be expressed by the products of the analytic conditional Fourier-Feynman transform of each function.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.317-334
• /
• 1997

The existence of an operator-valued function space integral as an operator on $L_p(R) (1 \leq p \leq 2)$ was established for certain functionals which involved the Labesgue measure [1,2,6,7]. Johnson and Lapidus showed the existence of the integral as an operator on $L_2(R)$ for certain functionals which involved any Borel measures [5]. J. S. Chang and Johnson proved the existence of the integral as an operator from L_1(R)$ to $C_0(R)$ for certain functionals involving some Borel measures [3]. K. S. Chang and K. S. Ryu showed the existence of the integral as an operator from $L_p(R) to L_p'(R)$ for certain functionals involving some Borel measures [4].