When is this stochastic integral a martingale











up vote
0
down vote

favorite












Let $B = (B_t)_{t in [0,T} $ a Brownian motion.
Let $H = (H_t)_{t in [0,T}, G = (G_t)_{t in [0,T} $ be progressively measurable.



What are the conditions on $H,G$ such that $(int_0^t H_s G_s dB_s)_{t in [0,T]} $ is a true martingale?



From what I know we should have
$$
E left[ int_0^T mid H_s G_s mid^2 ; ds right] < infty.
$$



This in turn would be guaranteed if
$$
E left[ int_0^T |H_s|^4 + |G_s|^4 ; ds right] < infty.
$$



Is it possible to have a weaker condition to get a martingale?



Edit: Is it enough to ask for
$$
int_0^T | H_s G_s |^2 ; ds < infty, quad P-a.s. ?
$$



Edit: I was missing some information. $G$ is $dtotimes P$ square integrable and $E[ sup_{t in [0,T] } |H_s|^2 ] < infty. $ Then
$$
Eleft[ left(int_0^T | H_s G_s |^2 ; ds right)^{frac{1}{2}} right] < infty.
$$



Thus, $ int_0^cdot H_s G_s ds $ is a true martingale by BDG-inequality.










share|cite|improve this question
























  • Do you have a particular application in mind or are you just asking out of curiousity?
    – saz
    Nov 14 at 19:57










  • Im reading a paper. They claim that this particular stochastic integral is a martingale.
    – White
    Nov 15 at 11:25






  • 1




    I see; I would say it's not enough to get a (true) martingale... it's only going to be a local martingale.
    – saz
    Nov 15 at 11:41










  • Thank you, I missed out on some information, see the edit. I think it works now. Have a nice day.
    – White
    Nov 15 at 12:02















up vote
0
down vote

favorite












Let $B = (B_t)_{t in [0,T} $ a Brownian motion.
Let $H = (H_t)_{t in [0,T}, G = (G_t)_{t in [0,T} $ be progressively measurable.



What are the conditions on $H,G$ such that $(int_0^t H_s G_s dB_s)_{t in [0,T]} $ is a true martingale?



From what I know we should have
$$
E left[ int_0^T mid H_s G_s mid^2 ; ds right] < infty.
$$



This in turn would be guaranteed if
$$
E left[ int_0^T |H_s|^4 + |G_s|^4 ; ds right] < infty.
$$



Is it possible to have a weaker condition to get a martingale?



Edit: Is it enough to ask for
$$
int_0^T | H_s G_s |^2 ; ds < infty, quad P-a.s. ?
$$



Edit: I was missing some information. $G$ is $dtotimes P$ square integrable and $E[ sup_{t in [0,T] } |H_s|^2 ] < infty. $ Then
$$
Eleft[ left(int_0^T | H_s G_s |^2 ; ds right)^{frac{1}{2}} right] < infty.
$$



Thus, $ int_0^cdot H_s G_s ds $ is a true martingale by BDG-inequality.










share|cite|improve this question
























  • Do you have a particular application in mind or are you just asking out of curiousity?
    – saz
    Nov 14 at 19:57










  • Im reading a paper. They claim that this particular stochastic integral is a martingale.
    – White
    Nov 15 at 11:25






  • 1




    I see; I would say it's not enough to get a (true) martingale... it's only going to be a local martingale.
    – saz
    Nov 15 at 11:41










  • Thank you, I missed out on some information, see the edit. I think it works now. Have a nice day.
    – White
    Nov 15 at 12:02













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $B = (B_t)_{t in [0,T} $ a Brownian motion.
Let $H = (H_t)_{t in [0,T}, G = (G_t)_{t in [0,T} $ be progressively measurable.



What are the conditions on $H,G$ such that $(int_0^t H_s G_s dB_s)_{t in [0,T]} $ is a true martingale?



From what I know we should have
$$
E left[ int_0^T mid H_s G_s mid^2 ; ds right] < infty.
$$



This in turn would be guaranteed if
$$
E left[ int_0^T |H_s|^4 + |G_s|^4 ; ds right] < infty.
$$



Is it possible to have a weaker condition to get a martingale?



Edit: Is it enough to ask for
$$
int_0^T | H_s G_s |^2 ; ds < infty, quad P-a.s. ?
$$



Edit: I was missing some information. $G$ is $dtotimes P$ square integrable and $E[ sup_{t in [0,T] } |H_s|^2 ] < infty. $ Then
$$
Eleft[ left(int_0^T | H_s G_s |^2 ; ds right)^{frac{1}{2}} right] < infty.
$$



Thus, $ int_0^cdot H_s G_s ds $ is a true martingale by BDG-inequality.










share|cite|improve this question















Let $B = (B_t)_{t in [0,T} $ a Brownian motion.
Let $H = (H_t)_{t in [0,T}, G = (G_t)_{t in [0,T} $ be progressively measurable.



What are the conditions on $H,G$ such that $(int_0^t H_s G_s dB_s)_{t in [0,T]} $ is a true martingale?



From what I know we should have
$$
E left[ int_0^T mid H_s G_s mid^2 ; ds right] < infty.
$$



This in turn would be guaranteed if
$$
E left[ int_0^T |H_s|^4 + |G_s|^4 ; ds right] < infty.
$$



Is it possible to have a weaker condition to get a martingale?



Edit: Is it enough to ask for
$$
int_0^T | H_s G_s |^2 ; ds < infty, quad P-a.s. ?
$$



Edit: I was missing some information. $G$ is $dtotimes P$ square integrable and $E[ sup_{t in [0,T] } |H_s|^2 ] < infty. $ Then
$$
Eleft[ left(int_0^T | H_s G_s |^2 ; ds right)^{frac{1}{2}} right] < infty.
$$



Thus, $ int_0^cdot H_s G_s ds $ is a true martingale by BDG-inequality.







stochastic-calculus stochastic-integrals






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 15 at 12:01

























asked Nov 14 at 18:51









White

789




789












  • Do you have a particular application in mind or are you just asking out of curiousity?
    – saz
    Nov 14 at 19:57










  • Im reading a paper. They claim that this particular stochastic integral is a martingale.
    – White
    Nov 15 at 11:25






  • 1




    I see; I would say it's not enough to get a (true) martingale... it's only going to be a local martingale.
    – saz
    Nov 15 at 11:41










  • Thank you, I missed out on some information, see the edit. I think it works now. Have a nice day.
    – White
    Nov 15 at 12:02


















  • Do you have a particular application in mind or are you just asking out of curiousity?
    – saz
    Nov 14 at 19:57










  • Im reading a paper. They claim that this particular stochastic integral is a martingale.
    – White
    Nov 15 at 11:25






  • 1




    I see; I would say it's not enough to get a (true) martingale... it's only going to be a local martingale.
    – saz
    Nov 15 at 11:41










  • Thank you, I missed out on some information, see the edit. I think it works now. Have a nice day.
    – White
    Nov 15 at 12:02
















Do you have a particular application in mind or are you just asking out of curiousity?
– saz
Nov 14 at 19:57




Do you have a particular application in mind or are you just asking out of curiousity?
– saz
Nov 14 at 19:57












Im reading a paper. They claim that this particular stochastic integral is a martingale.
– White
Nov 15 at 11:25




Im reading a paper. They claim that this particular stochastic integral is a martingale.
– White
Nov 15 at 11:25




1




1




I see; I would say it's not enough to get a (true) martingale... it's only going to be a local martingale.
– saz
Nov 15 at 11:41




I see; I would say it's not enough to get a (true) martingale... it's only going to be a local martingale.
– saz
Nov 15 at 11:41












Thank you, I missed out on some information, see the edit. I think it works now. Have a nice day.
– White
Nov 15 at 12:02




Thank you, I missed out on some information, see the edit. I think it works now. Have a nice day.
– White
Nov 15 at 12:02















active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2998675%2fwhen-is-this-stochastic-integral-a-martingale%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2998675%2fwhen-is-this-stochastic-integral-a-martingale%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?