Research Article Malliavin Derivatives in Spaces with Variable Exponents
Hindawi Publishing Corporation Journal of Function Spaces Volume 2014, Article ID 198060, 5 pages
Research Article Malliavin Derivatives in Spaces with Variable Exponents
Bochi Xu, Yongqiang Fu, and Boping Tian
Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China Correspondence should be addressed to Bochi Xu; xubochi@ Received 22 January 2014; Accepted 13 March 2014; Published 3 April 2014 Academic Editor: Donghai Ji Copyright ? 2014 Bochi Xu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Spaces with variable exponents ()(, ) and ()(, ; ) are introduced. After discussing some approximation results of ()(, ), Sobolev spaces on H with variable exponents are introduced. At last, we define Malliavin derivatives in ()(, ) and discuss some properties of Malliavin derivatives in ()(, ).
1. Introduction
Variable exponent spaces play an important role in the study of some nonlinear problems in natural science and engineering. In decades, there is a rapid development on the subject of variable exponent function spaces. Basic properties of the spaces have been discussed by Kova?ci k and Ra?kosn?ik in [1]. Some theories of variable exponent spaces can also be found in [2, 3]. Harjulehto et al. present an overview of applications to differential equations with nonstandard growth in [4]. Diening et al. [5] summarize most of the existing literature of theory of function spaces with variable exponents and applications to partial differential equations. In [6], Aoyama discusses the properties of Lebesgue spaces with variable exponents on a probability space.
Malliavin derivatives have many applications on mathematical finance (see Malliavin and Thalmaier [7] and di Nunno et al. [8]), and we are interested in the behavior of Malliavin derivatives in spaces with variable exponents. In this paper, in Section 2, motivated by [6, 9, 10], we will first introduce ()(, ) and ()(, ; ) and give some approximation results of ()(, ), which are useful in the definition on Malliavin derivatives in the following parts. In Section 3 we discuss gradients in ()(, ) and give properties of the linear operator . At the end of this section, we define variable exponent Sobolev spaces on . After the above preparation, we give Malliavin derivatives
in ()(, ) and discuss some properties of the Malliavin derivative operator in ()(, ) in the last section.
2. Preliminaries
Let be a separable Hilbert space. A Borel probability measure , in with mean and compact covariance operator is called Gaussian measure if the Fourier transform satisfies
,, () = ,(-1/2),, . (1)
, is called nondegenerate if Ker = {0}. We are given a nondegenerate Gaussian measure = 0, in the Hilbert space . Since the operator is compact, there exists a complete orthonormal system {} in and a sequence {} of positive numbers such that
= , N.
(2)
We denote by () the space of all mappings : R, which are both continuous and bounded. () is a Banach space with the norm 0 = sup|()|. And denote by (), N, the space of all mappings : R which are continuous and bounded together with their derivatives of order not bigger than .
Given a variable exponent : [1, ], it is
assumed to be a Borel measurable function. On the set of all
2
Journal of Function Spaces
Borel measurable functions, the moduli and are defined, respectively, by
() = ()() () + ess sup () ,
\
(3)
() =
\
|
()|()
()
+
ess sup |
()|,
where = { : () = }, : R, and : .
Definition 1. The space L()(, ) is the set of Borel measurable functions : R such that () < , and it is endowed with the Luxemburg norm:
()(,)
=
inf
{
>
0
:
(
)
1}
.
(4)
Define the equivalence relation 1 : if and only if - ()(,) = 0. Denote by ()(, ) the quotient L()(, ) with respect to the equivalence relation 1.
Definition 2. The space L()(, ; ) is the set of Borel measurable functions : such that () < ,
and it is endowed with the Luxemburg norm:
()(,;)
=
inf
{
>
0
:
(
)
1}
.
(5)
Define the equivalence relation 2 : if and only if - ()(,;) = 0. Denote by ()(, ; ) the quotient L()(, ; ) with respect to the equivalence relation 2.
Proposition 3 (see Lemma 3.2.20 in [5]). Let variable exponents (), (), () [1, ] be such that 1/() = (1/()) + (1/()), -a.e.; then the inequality
()(,) 2()(,)()(,)
(6)
holds for every ()(, ) and ()(, ), where in the case = = = we use the convention / = / = 1.
Proposition 4. The variable exponent satisfies 1 - () + < , -a.e. Let ()(, ; ) and set () = (), ; N. Then ()(, ) for all N and
() = () , -a.e.,
(7)
=1
where the series is convergent in ()(, ; ).
Proof. For , N,
()() () | ()|() () < , (8)
so ()(, ). Since {} is a complete orthonormal system in and () for , we have
() = () , -a.e.
(9)
=1
Set () = =1 (), and we have
lim () = () , -a.e.,
| ()|()
=
(
()/2
()2)
(
()/2
()2)
=1
=+1
= () - ()(), (10)
so by Lebesgue's Dominated Convergence Theorem, we have
lim
()
-
()()
()
=
0.
(11)
Thus, the series are convergent in ()(, ; ). The proof is completed.
Denote the linear span of all real and imaginary parts functions () = ,, , and , by E().
Proposition 5 (see Lemma 2.2 in [9]). For all () there exists a two-index sequence {,} E() such that ,0 0, , N, and
lim lim, () = () , .
(12)
() is the space of all mappings : R which are continuous and have compact support in . We have the following proposition about ().
Proposition 6. If the variable exponent satisfies 1 - () + < , -a.e., then () is dense in ()(, ).
Proof. Note that := (, ) is the set of all the simple functions. It is easy to check that ()(, ). Let ()(, ) with 0. Since is a Borel measurable
function, there exist {} with 0 , -a.e., and |() - ()|() |()|(), so by Lebesgue's Dominated Convergence Theorem, we have in ()(, ). Thus, is in the closure of . If we drop the assumption 0,
then we split into positive and negative parts which belong to the closure of . Thus is dense in ()(, ). For any > 0 and ()(, ), there exists such that
- ()(,) < /2. On the other hand, for + < , () is dense
in ++1(, ). So there exists () such that - ++1(,) < /4. By Proposition 3, we have
- ()(,)
2 - ++1(,)
<
2
.
(13)
Thus, - ()(,) and () is dense in ()(, ). The proof is completed.
Proposition 7. If the variable exponent satisfies 1 - () + < , -a.e., then E() is dense in ()(, ).
Journal of Function Spaces
3
Proof. Since () (), by Proposition 6 () is dense in ()(, ). So for any > 0 and ()(, ),
there exists () such that
- ()(,)
<
2
.
(14)
By Proposition 5 and diagonal rule, there exists a sequence {} E() such that |()| 0, N, and
lim () = () , .
(15)
By Lebesgue's Dominated Convergence Theorem, we have
lim
()
-
()
()
=
0.
(16)
And as
() - ()() ()
(17)
(20)+
()
-
()
()
,
we have in ()(, ). Suppose that N, - ()(,) < /2 for > , and we have - ()(,) < for > . Thus, E() is dense in ()(, ).
Proposition 8. Suppose that function on . If the variable
, exponent
, is a white satisfies 1
noise -
() + < , -a.e., then
()(,)
2(
(2)! 2!
1/2
||)
,
(18)
where + < 2 and N.
Proof. Since is a Gaussian random variable with mean 0 and covariance ||, by Proposition 3, we have
()(,) 21(2())/(2-())(,)2(,)
=
2(
(2)! 2!
1/2
||) .
(19)
The proof is completed.
3. Variable Exponent Sobolev Spaces on Separable Hilbert Space
For any E() and N, we denote by its derivative in the direction of ; that is,
()
=
lim
0
1
(
(
+
)
-
())
,
.
(20)
Denote the gradient of by . We will consider the following linear mapping:
: E () () (, ) () (, ; ) , , (21)
where 1 - () + < , -a.e.
Lemma 9 (see Lemma 2.6 in [9]). Suppose , E(); then
=
-
+
1
,
(22)
where and = , .
Lemma 10 (see Corollary 2.7 in [9]). Suppose , E() and 1/2(); then
, = - , + -1/2 .
(23)
Given a linear operator , not necessarily closed, if the closure of its graph happens to be the graph of some operator, that operator is called the closure of , and we say that is
closable. Denote the closure of by . And is closable if and only if for any sequence {} () such that
lim = 0,
lim = ,
(24)
one has = 0.
Theorem 11. The mapping is a closable linear operator.
Proof. Let {} E() such that
0 in () (, ) , (25)
in () (, ; ) .
By the definition of closable operators, we only need to prove that = 0.
For any E() and 1/2(), by Lemma 10, we have
, = - , + -1/2 .
(26)
By Proposition 3, we have
-
,
-
||
2|| - ()(,;)
? ()(,),
, 2||()(,)()(,;), (27)
where (1/()) + (1/()) = 1; . Since is bounded, by Propositions 3 and 8, we have
-1/2 2()(,)-1/2()(,)
+ -1/21/2()(,). (28)
4
Journal of Function Spaces
Tfohruas,fixed,N,s=up0p,oasse
{}
. Since E()
such
()(, that
),
||()-1 sgn() in ()(, ). We have
lim
=
0;
(29)
that is, () =
0,
||() -a.e. The
= 0. Thus, we have () proof is completed.
=
0,
-a.e.,
and
We denote by the closable operator of and by 1,()(, ) the domain of .
Proposition 12. For any N, the linear operator is closable and its closure satisfies = , for 1,()(, ).
Proof. For any N, let {} E() such that 0 in () (, ) , (30) in () (, ) .
By the definition of closable operators, we only need to prove
that = 0. For any E() and , by Lemma 9, we have
=
-
+
1
.
(31)
Similar to the proof of Theorem 11, we and = 0, -a.e. Thus is
have closable. And
=
0
as
=
lim
=
lim
,
=
,
.
(32)
The proof is completed.
4. Malliavin Derivatives in 1,()(,)
For any E(), define the linear operator:
0 : E () () (, ) () (, ; ) , (33)
0 () = 1/2 () , E () , , where 1 - () + < , -a.e. And
() = 0 () , = 1/2 () ,
(34)
where E() and .
Proposition 13 (see Corollary 2.10 in [9]). Suppose , E() and ; then the following identity holds:
0, = - 0, + .
(35)
In a similar way to Theorem 11, one has Theorem 14.
Theorem 14. The mapping 0 is a closable linear operator.
Proof. Let {} E() such that
0 in () (, ) , (36)
0 in () (, ; ) .
We only need to prove that = 0. For any E() and , by Proposition 13, we have
0, = - 0, + .
(37)
tAondThweoerehmav1e1,we,have(=)
0, as . Similar = 0, -a.e. The proof is
completed.
We denote by the closable operator of 0 and by 1,()(, ) the domain of . For any 1,()(, ), we call the Malliavin derivative of .
Proposition 15. If satisfies 1 () + < , -a.e., then 1,()(, ) 1,()(, ) and = 1/2 for any 1,()(, ).
Proof. For any 1,()(, ), there exists {} E() such that in ()(, ). As
1/2
()
-
1/2
()()
()
1/2()
()
-
()()
()
max
{1/2
,
1/2+
}
()
-
()()
()
(38)
we have = 1/2 and 1,()(, ).
To prove Proposition 17, we need the following lemma.
Lemma 16 (see Lemma 2.3 in [9]). For all 1() there exists a two-index sequence {,} E() such that ,0 + ,0 0 + 0, , N, and
lim
lim,
()
=
()
,
,
(39)
lim
lim,
()
=
()
,
.
Proposition 17. If satisfies 1 () + < , -a.e., then one has () 1,()(, ) and () = () for any 1,()(, ) and 1().
Proof. First, we prove that () 1,()(, ) for any E(). By Lemma 16, for (), there exists a two-index sequence {,} E() such that ,0 + ,0 ()0 + ()0, , N, and
lim
lim,
()
=
() ()
,
,
(40)
lim
lim,
()
=
()
()
,
.
Journal of Function Spaces
5
By diagonal rule and Lebesgue's Dominated Convergence Theorem, () in ()(, ). Since is closed, we have () = lim 0 and () 1,()(, ).
Now we will prove the proposition. For 1,()(, ),
there exists {} E() such that
lim = in () (, ) .
(41)
By the first part of this proof, () 1,()(, ). And
() = 1/2 () = () 1/2 = () . (42)
Since ()(, ; ) and () (), we have
lim
()
=
lim
(
)
= () .
(43)
As is closed, () = (). The proof is completed.
Proposition 18. Assume that satisfies 1 () + < , -a.e. For , 1,()(, ); suppose and are bounded; then 1,()(, ) and () = +
.
Proof. First, for E(), as 1,()(, ), there exists {} E() such that in ()(, ). And since
0 () = 0 + 0,
(44)
we have
lim
0
()
=
lim
(0
+
0)
=
0
+
.
(45)
As E(), in ()(, ), and () = lim 0() in ()(, ; ), we have 1,()(, ).
Secondly, for 1,()(, ), there exists {} E() such that in ()(, ). By the first part of the proof,
() = 0 + .
(46)
Since and are bounded, we have
() =
lim
0
()
=
+
,
(47)
and 1,()(, ). The proof is completed.
5. Conclusion
In this work some new results on Malliavin derivatives are given. Malliavin derivatives are extended from 1,2(, ) to variable exponent spaces and some properties of Malliavin derivatives in variable exponent spaces are obtained. We introduce ()(, ) and ()(, ; ), and this work generalizes classical variable exponents spaces based on Kova?ci k and Ra?kosn?ik [1]. Then, we prove that E() is dense in ()(, ) and by this approximation result we give extension of Malliavin derivatives which are given by P. Malliavin [11]. Some properties of Malliavin derivatives in 1,2(, ) are also discussed.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
This work was supported by the National Natural Science Foundation of China (Grant no. 11371110).
References
[1] O. Kova?cik and J. Ra?kosn?ik, "On spaces () and ,()," Czechoslovak Mathematical Journal, vol. 41, no. 4, pp. 592?618, 1991.
[2] L. Diening, "Maximal function on generalized Lebesgue spaces ()," Mathematical Inequalities & Applications, vol. 7, no. 2, pp. 245?253, 2004.
[3] T. Futamura, Y. Mizuta, and T. Shimomura, "Sobolev embeddings for variable exponent Riesz potentials on metric spaces," Annales Academi? Scientiarum Fennic?. Mathematica, vol. 31, no. 2, pp. 495?522, 2006.
[4] P. Harjulehto, P. Ha?sto?, U. V. Le, and M. Nuortio, "Overview of differential equations with non-standard growth," Nonlinear Analysis: Theory, Methods & Applications, vol. 72, no. 12, pp. 4551?4574, 2010.
[5] L. Diening, P. Harjulehto, P. Ha?sto?, and M. Ru?zicka, Lebesgue and Sobolev Spaces with Variable Exponents, Springer, 2010.
[6] H. Aoyama, "Lebesgue spaces with variable exponent on a probability space," Hiroshima Mathematical Journal, vol. 39, no. 2, pp. 207?216, 2009.
[7] P. Malliavin and A. Thalmaier, Stochastic Calculus of Variations in Mathematical Finance, World Publishing Company, Springer, 2007.
[8] G. di Nunno, B. ?ksendal, and F. Proske, Malliavin Calculus for Le?vy Processes with Applications to Finance, Universitext, Springer, 2009.
[9] G. da Prato, Introduction to Stochastic Analysis and Malliavin Calculus, vol. 6, Scuola Normale Superiore, Pisa, Italy, 2007.
[10] Y. Q. Fu, "Weak solution for obstacle problem with variable growth," Nonlinear Analysis: Theory, Methods & Applications, vol. 59, no. 3, pp. 371?383, 2004.
[11] P. Malliavin, "Stochastic calculus of variations and hypoelliptic operators," in Proceedings of the International Symposium on Stochastic Differential Equations, pp. 193?263, Kyoto, Japan, 1976.
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related download
- derivative and lipschitz type characterizations of variable exponent
- michael s awesome derivative rules sheet rutgers university
- handout derivative chain rule power chain rule
- 1 introduction to differential equations pennsylvania state university
- calculus cheat sheet lamar university
- derivative with variable in exponent
- research article malliavin derivatives in spaces with variable exponents
- differentiation of exponential functions alamo colleges district
- rules for derivatives csusm
- some equations the derivative is very simple because the slope is
Related searches
- medical research article websites
- how to cite a research article mla
- research article analysis template
- research article analysis
- quantitative research article in nursing
- derivatives practice problems with answers
- research article on language
- free research article database
- research article about social psychology
- free psychology research article database
- qualitative research article pdf
- sample research article papers